High-Assurance Software Laboratory (HASLab)
Laboratório de Software Confiável
Inesc Technology and Science (INESC TEC) :: CS: Computer Science
AuthID: I-000-AY4
Publications Actions
Publications at Authenticus Institutional Profile
An Authenticus institution (group) is an organization which consists of a set of researchers (institutional/group team). The set of researchers depends on the organizational structure of the institution per year and can be set at the institution profile, under ‘Researchers’ interface. Based on the institutional team we produce listings of publications, statistics and institutional reports.
Publications displayed at an Authenticus institutional profile depend on two parameters:
- Researchers team associated with the institution per year.
- Publications source type.
We define 3 types of publication sources:
- Validated by team members - includes all publications validated by team members. Requires the definition of the institutional team.
- All published by team members - includes all publications validated by the institution team members plus all not-validated (only identified) publications. Requires the definition of the institutional team.
- Affiliation Based - includes publications that have the institution/group in the publication affiliation. Does not require institutional team, but at the same time does not guarantee that all publications will be listed.
External
Internal
No data about last update.
Rules:
This actions updates publications citations of every team member.
Only validated by team members publications are included.
Only the current year team is included in this action.>
The action is executed in the background, thus the results are NOT immediate.
This actions can be executed only once a month!
Only validated by team members publications are included.
Only the current year team is included in this action.>
The action is executed in the background, thus the results are NOT immediate.
This actions can be executed only once a month!
No data about last update.
Rules:
This actions updates all pre print publications of the group/institution.
Only validated by current year team members publications are included.
The action is executed in the background, thus the results are NOT immediate.
This actions can be executed only once a day!
Only validated by current year team members publications are included.
The action is executed in the background, thus the results are NOT immediate.
This actions can be executed only once a day!
Publications Count: 1498
150 Team MembersFilters -> Year: 2025
1141
TITLE: Improving P2P video streaming in wireless mesh networks
AUTHORS: Nuno Salta; Ricardo Morla ; Manuel Ricardo ;
PUBLISHED: 2010, SOURCE: 9th IFIP Annual Mediterranean Ad Hoc Networking Workshop, MED-HOC-NET 2010 in The 9th IFIP Annual Mediterranean Ad Hoc Networking Workshop, Med-Hoc-Net 2010, Juan Les Pins, France, 23-25 June, 2010, PAGES: 1-8
AUTHORS: Nuno Salta; Ricardo Morla ; Manuel Ricardo ;
PUBLISHED: 2010, SOURCE: 9th IFIP Annual Mediterranean Ad Hoc Networking Workshop, MED-HOC-NET 2010 in The 9th IFIP Annual Mediterranean Ad Hoc Networking Workshop, Med-Hoc-Net 2010, Juan Les Pins, France, 23-25 June, 2010, PAGES: 1-8
1142
TITLE: Matrices as Arrows! A Biproduct Approach to Typed Linear Algebra
AUTHORS: Hugo Daniel Macedo; Jose Nuno Oliveira ;
PUBLISHED: 2010, SOURCE: 10th International Conference on Mathematics of Program Construction in MATHEMATICS OF PROGRAM CONSTRUCTION, PROCEEDINGS, VOLUME: 6120, PAGES: 271-287
AUTHORS: Hugo Daniel Macedo; Jose Nuno Oliveira ;
PUBLISHED: 2010, SOURCE: 10th International Conference on Mathematics of Program Construction in MATHEMATICS OF PROGRAM CONSTRUCTION, PROCEEDINGS, VOLUME: 6120, PAGES: 271-287
INDEXED IN: 
Scopus 
WOS
Scopus WOS1143
TITLE: Measuring Software Systems Scalability for Proactive Data Center Management
AUTHORS: Nuno A Carvalho; Jose Pereira ;
PUBLISHED: 2010, SOURCE: On the Move Confederated International Conference in ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS: OTM 2010, PT II, VOLUME: 6427, ISSUE: PART 2, PAGES: 829-842
AUTHORS: Nuno A Carvalho; Jose Pereira ;
PUBLISHED: 2010, SOURCE: On the Move Confederated International Conference in ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS: OTM 2010, PT II, VOLUME: 6427, ISSUE: PART 2, PAGES: 829-842
1144
TITLE: Message from the technical program co-chairs Full Text
AUTHORS: Joshi, A; Oliveira, R ; Prakash, A;
PUBLISHED: 2010, SOURCE: 29th IEEE Symposium on Reliable Distributed Systems, SRDS 2010 in Proceedings of the IEEE Symposium on Reliable Distributed Systems
AUTHORS: Joshi, A; Oliveira, R ; Prakash, A;
PUBLISHED: 2010, SOURCE: 29th IEEE Symposium on Reliable Distributed Systems, SRDS 2010 in Proceedings of the IEEE Symposium on Reliable Distributed Systems
INDEXED IN: Scopus 
CrossRef
Scopus CrossRef1145
TITLE: Model-Checking Temporal Properties of Real-Time HTL Programs
AUTHORS: Carvalho, A; Carvalho, J; Pinto, JS ; de Sousa, SM ;
PUBLISHED: 2010, SOURCE: 4th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation in LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION, AND VALIDATION, PT II, VOLUME: 6416, ISSUE: PART 2, PAGES: 191-205
AUTHORS: Carvalho, A; Carvalho, J; Pinto, JS ; de Sousa, SM ;
PUBLISHED: 2010, SOURCE: 4th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation in LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION, AND VALIDATION, PT II, VOLUME: 6416, ISSUE: PART 2, PAGES: 191-205
1146
TITLE: Modeling 802.11 AP usage through daily keep-alive event counts
AUTHORS: Morla, R ; Massa, D;
PUBLISHED: 2010, SOURCE: 13th International Conference on Network-Based Information Systems, NBiS 2010 in Proceedings - 13th International Conference on Network-Based Information Systems, NBiS 2010, PAGES: 195-200
AUTHORS: Morla, R ; Massa, D;
PUBLISHED: 2010, SOURCE: 13th International Conference on Network-Based Information Systems, NBiS 2010 in Proceedings - 13th International Conference on Network-Based Information Systems, NBiS 2010, PAGES: 195-200
1147
TITLE: Multiresolution motif discovery in time series
AUTHORS: Castro, N ; Azevedo, P ;
PUBLISHED: 2010, SOURCE: 10th SIAM International Conference on Data Mining, SDM 2010 in Proceedings of the 10th SIAM International Conference on Data Mining, SDM 2010, PAGES: 665-676
AUTHORS: Castro, N ; Azevedo, P ;
PUBLISHED: 2010, SOURCE: 10th SIAM International Conference on Data Mining, SDM 2010 in Proceedings of the 10th SIAM International Conference on Data Mining, SDM 2010, PAGES: 665-676
1148
TITLE: On adding structure to unstructured overlay networks
AUTHORS: Leitao, J; Carvalho, NA; Pereira, J ; Oliveira, R ; Rodrigues, L ;
PUBLISHED: 2010, SOURCE: Handbook of Peer-to-Peer Networking, PAGES: 327-365
AUTHORS: Leitao, J; Carvalho, NA; Pereira, J ; Oliveira, R ; Rodrigues, L ;
PUBLISHED: 2010, SOURCE: Handbook of Peer-to-Peer Networking, PAGES: 327-365
1149
TITLE: On the Expressiveness and Trade-Offs of Large Scale Tuple Stores
AUTHORS: Ricardo Vilaça ; Francisco Cruz ; Rui Carlos Oliveira ;
PUBLISHED: 2010, SOURCE: On the Move to Meaningful Internet Systems, OTM 2010 - Confederated International Conferences: CoopIS, IS, DOA and ODBASE, Hersonissos, Crete, Greece, October 25-29, 2010, Proceedings, Part II, VOLUME: 6427, PAGES: 727-744
AUTHORS: Ricardo Vilaça ; Francisco Cruz ; Rui Carlos Oliveira ;
PUBLISHED: 2010, SOURCE: On the Move to Meaningful Internet Systems, OTM 2010 - Confederated International Conferences: CoopIS, IS, DOA and ODBASE, Hersonissos, Crete, Greece, October 25-29, 2010, Proceedings, Part II, VOLUME: 6427, PAGES: 727-744
INDEXED IN: 
DBLP
DBLP1150
TITLE: On the Expressiveness and Trade-Offs of Large Scale Tuple Stores
AUTHORS: Ricardo Vilaca ; Francisco Cruz ; Rui Oliveira ;
PUBLISHED: 2010, SOURCE: On the Move Confederated International Conference in ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS: OTM 2010, PT II, VOLUME: 6427, ISSUE: PART 2, PAGES: 727-744
AUTHORS: Ricardo Vilaca ; Francisco Cruz ; Rui Oliveira ;
PUBLISHED: 2010, SOURCE: On the Move Confederated International Conference in ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS: OTM 2010, PT II, VOLUME: 6427, ISSUE: PART 2, PAGES: 727-744
1151
TITLE: Open source certification
AUTHORS: Ernesto Damiani; Luis Barbosa ; Peter T Breuer; Claudio A Ardagna;
PUBLISHED: 2010, SOURCE: COMPUTER SYSTEMS SCIENCE AND ENGINEERING, VOLUME: 25, ISSUE: 4, PAGES: 271-272
AUTHORS: Ernesto Damiani; Luis Barbosa ; Peter T Breuer; Claudio A Ardagna;
PUBLISHED: 2010, SOURCE: COMPUTER SYSTEMS SCIENCE AND ENGINEERING, VOLUME: 25, ISSUE: 4, PAGES: 271-272
INDEXED IN: Scopus WOS DBLP
Scopus WOS DBLP1152
TITLE: Practical Database Replication
AUTHORS: Alfranio Correia; Jose Pereira ; Luis Rodrigues ; Nuno Carvalho; Rui Oliveira ;
PUBLISHED: 2010, SOURCE: Seminar on 30-Year Perspective on Replication 2007 in REPLICATION: THEORY AND PRACTICE, VOLUME: 5959, PAGES: 253-285
AUTHORS: Alfranio Correia; Jose Pereira ; Luis Rodrigues ; Nuno Carvalho; Rui Oliveira ;
PUBLISHED: 2010, SOURCE: Seminar on 30-Year Perspective on Replication 2007 in REPLICATION: THEORY AND PRACTICE, VOLUME: 5959, PAGES: 253-285
1153
TITLE: Preface
AUTHORS: Luís Soares Barbosa ; Antonio Cerone; Siraj Ahmed Shaikh;
PUBLISHED: 2010, SOURCE: ECEASST, VOLUME: 33
AUTHORS: Luís Soares Barbosa ; Antonio Cerone; Siraj Ahmed Shaikh;
PUBLISHED: 2010, SOURCE: ECEASST, VOLUME: 33
INDEXED IN: DBLP
DBLP1154
TITLE: Preface and biographic notes for the special issue on graphics for serious games
AUTHORS: Debattista, K; Proenca, AJ ; Santos, LP ;
PUBLISHED: 2010, SOURCE: COMPUTERS & GRAPHICS-UK, VOLUME: 34, ISSUE: 6, PAGES: 641-642
AUTHORS: Debattista, K; Proenca, AJ ; Santos, LP ;
PUBLISHED: 2010, SOURCE: COMPUTERS & GRAPHICS-UK, VOLUME: 34, ISSUE: 6, PAGES: 641-642
1155
TITLE: Principles of Ergonomics and Design discussed through systems utilized for e-learning
AUTHORS: Luciana L Freire; Pedro M Arezes ; Jose Creissac Campos ;
PUBLISHED: 2010, SOURCE: 6th International Symposium on Occupational Safety and Hygiene (SHO 2010) in SHO2010: INTERNATIONAL SYMPOSIUM ON OCCUPATIONAL SAFETY AND HYGIENE, PAGES: 256-260
AUTHORS: Luciana L Freire; Pedro M Arezes ; Jose Creissac Campos ;
PUBLISHED: 2010, SOURCE: 6th International Symposium on Occupational Safety and Hygiene (SHO 2010) in SHO2010: INTERNATIONAL SYMPOSIUM ON OCCUPATIONAL SAFETY AND HYGIENE, PAGES: 256-260
INDEXED IN: WOS
WOS1156
TITLE: Program Verification in SPARK and ACSL: A Comparative Case Study
AUTHORS: Eduardo Brito ; Jorge Sousa Pinto ;
PUBLISHED: 2010, SOURCE: 15th Ada-Europe International Conference on Reliable Software Technologies in RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2010, VOLUME: 6106, PAGES: 97-110
AUTHORS: Eduardo Brito ; Jorge Sousa Pinto ;
PUBLISHED: 2010, SOURCE: 15th Ada-Europe International Conference on Reliable Software Technologies in RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2010, VOLUME: 6106, PAGES: 97-110
1157
TITLE: QoS-aware Component Composition
AUTHORS: Luis S Barbosa ; Sun Meng;
PUBLISHED: 2010, SOURCE: 4th International Conference on Complex, Intelligent and Software Intensive Systems (CICIS) in PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON COMPLEX, INTELLIGENT AND SOFTWARE INTENSIVE SYSTEMS (CISIS 2010), PAGES: 1008-1013
AUTHORS: Luis S Barbosa ; Sun Meng;
PUBLISHED: 2010, SOURCE: 4th International Conference on Complex, Intelligent and Software Intensive Systems (CICIS) in PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON COMPLEX, INTELLIGENT AND SOFTWARE INTENSIVE SYSTEMS (CISIS 2010), PAGES: 1008-1013
1158
TITLE: Relations among Notions of Complete Non-malleability: Indistinguishability Characterisation and Efficient Construction without Random Oracles Full Text
AUTHORS: Manuel Barbosa ; Pooya Farshim;
PUBLISHED: 2010, SOURCE: 15th Australasian conference, ACISP 2010 in INFORMATION SECURITY AND PRIVACY, VOLUME: 6168, PAGES: 145-163
AUTHORS: Manuel Barbosa ; Pooya Farshim;
PUBLISHED: 2010, SOURCE: 15th Australasian conference, ACISP 2010 in INFORMATION SECURITY AND PRIVACY, VOLUME: 6168, PAGES: 145-163
1159
TITLE: Rules for contrast sets Full Text
AUTHORS: Paulo J Azevedo ;
PUBLISHED: 2010, SOURCE: INTELLIGENT DATA ANALYSIS, VOLUME: 14, ISSUE: 6, PAGES: 623-640
AUTHORS: Paulo J Azevedo ;
PUBLISHED: 2010, SOURCE: INTELLIGENT DATA ANALYSIS, VOLUME: 14, ISSUE: 6, PAGES: 623-640
1160
TITLE: Safe Integration of Annotated Components in Open Source Projects Full Text
AUTHORS: Sergio Areias; Daniela Carneiro da Cruz; Pedro Rangel Henriques ; Jorge Sousa Pinto ;
PUBLISHED: 2010, SOURCE: ECEASST, VOLUME: 33
AUTHORS: Sergio Areias; Daniela Carneiro da Cruz; Pedro Rangel Henriques ; Jorge Sousa Pinto ;
PUBLISHED: 2010, SOURCE: ECEASST, VOLUME: 33
INDEXED IN: Scopus DBLP
Scopus DBLP