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: 1486
150 Team MembersFilters -> Year: 2024
1141
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
1142
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
DBLP1143
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
1144
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
WOS1145
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
1146
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
1147
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
1148
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
1149
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 DBLP1150
TITLE: Scalable Transactions in the Cloud: Partitioning Revisited
AUTHORS: Francisco Maia ; Jose E Enrique Armendariz Inigo; Idoia Ruiz Fuertes, MI; 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: 785-797
AUTHORS: Francisco Maia ; Jose E Enrique Armendariz Inigo; Idoia Ruiz Fuertes, MI; 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: 785-797
1151
TITLE: Second Life In-World Action Traffic Modeling
AUTHORS: Mario Ferreira; Ricardo Morla ;
PUBLISHED: 2010, SOURCE: 20th ACM Workshop on Network and Operating System Support for Digital Audio and Video in NOSSDAV 2010: PROCEEDINGS OF THE 20TH INTERNATIONAL WORKSHOP ON NETWORK AND OPERATING SYSTEMS SUPPORT FOR DIGITAL AUDIO AND VIDEO, PAGES: 3-8
AUTHORS: Mario Ferreira; Ricardo Morla ;
PUBLISHED: 2010, SOURCE: 20th ACM Workshop on Network and Operating System Support for Digital Audio and Video in NOSSDAV 2010: PROCEEDINGS OF THE 20TH INTERNATIONAL WORKSHOP ON NETWORK AND OPERATING SYSTEMS SUPPORT FOR DIGITAL AUDIO AND VIDEO, PAGES: 3-8
1152
TITLE: Slicing for architectural analysis Full Text
AUTHORS: Nuno F Rodrigues ; Luis S Barbosa ;
PUBLISHED: 2010, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 75, ISSUE: 10, PAGES: 828-847
AUTHORS: Nuno F Rodrigues ; Luis S Barbosa ;
PUBLISHED: 2010, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 75, ISSUE: 10, PAGES: 828-847
1153
TITLE: StAN: exploiting shared interests without disclosing them in gossip-based publish/subscribe PDF
AUTHORS: Miguel Matos ; Ana Nunes ; Rui Oliveira ; José Pereira ;
PUBLISHED: 2010, SOURCE: 9th International Workshop on Peer-to-Peer Systems, IPTPS 2010 in Proceedings of the 9th international conference on Peer-to-peer systems, IPTPS'10, San Jose, CA, USA, April 27, 2010, PAGES: 9
AUTHORS: Miguel Matos ; Ana Nunes ; Rui Oliveira ; José Pereira ;
PUBLISHED: 2010, SOURCE: 9th International Workshop on Peer-to-Peer Systems, IPTPS 2010 in Proceedings of the 9th international conference on Peer-to-peer systems, IPTPS'10, San Jose, CA, USA, April 27, 2010, PAGES: 9
INDEXED IN: Scopus DBLP
Scopus DBLP1154
TITLE: Strong Knowledge Extractors for Public-Key Encryption Schemes Full Text
AUTHORS: Manuel Barbosa ; Pooya Farshim;
PUBLISHED: 2010, SOURCE: 15th Australasian conference, ACISP 2010 in INFORMATION SECURITY AND PRIVACY, VOLUME: 6168, PAGES: 164-181
AUTHORS: Manuel Barbosa ; Pooya Farshim;
PUBLISHED: 2010, SOURCE: 15th Australasian conference, ACISP 2010 in INFORMATION SECURITY AND PRIVACY, VOLUME: 6168, PAGES: 164-181
1155
TITLE: The APEX Framework: Prototyping of Ubiquitous Environments Based on Petri Nets
AUTHORS: Jose Luis Silva ; Oscar R Ribeiro; Joao M Fernandes ; Jose Creissac Campos ; Michael D Harrison ;
PUBLISHED: 2010, SOURCE: 3rd International Conference on Human-Centred Software Engineering in HUMAN-CENTRED SOFTWARE ENGINEERING, VOLUME: 6409, PAGES: 6-21
AUTHORS: Jose Luis Silva ; Oscar R Ribeiro; Joao M Fernandes ; Jose Creissac Campos ; Michael D Harrison ;
PUBLISHED: 2010, SOURCE: 3rd International Conference on Human-Centred Software Engineering in HUMAN-CENTRED SOFTWARE ENGINEERING, VOLUME: 6409, PAGES: 6-21
1156
TITLE: The GUISurfer Tool: Towards a Language Independent Approach to Reverse Engineering GUI Code. towards a language independent approach to reverse engineering GUI code
AUTHORS: Joao Carlos Silva; Carlos Silva; Rui Goncalo; Joao Saraiva ; Jose Creissac Campos ;
PUBLISHED: 2010, SOURCE: 2nd ACM SIGCHI Symposium on Engineering Interactive Computing Systems in EICS 2010: PROCEEDINGS OF THE 2010 ACM SIGCHI SYMPOSIUM ON ENGINEERING INTERACTIVE COMPUTING SYSTEMS, PAGES: 181-186
AUTHORS: Joao Carlos Silva; Carlos Silva; Rui Goncalo; Joao Saraiva ; Jose Creissac Campos ;
PUBLISHED: 2010, SOURCE: 2nd ACM SIGCHI Symposium on Engineering Interactive Computing Systems in EICS 2010: PROCEEDINGS OF THE 2010 ACM SIGCHI SYMPOSIUM ON ENGINEERING INTERACTIVE COMPUTING SYSTEMS, PAGES: 181-186
1157
TITLE: Towards the introduction of QoS information in a component model Full Text
AUTHORS: Meng, S; Barbosa, LS ;
PUBLISHED: 2010, SOURCE: 25th Annual ACM Symposium on Applied Computing, SAC 2010 in Proceedings of the ACM Symposium on Applied Computing, PAGES: 2045-2046
AUTHORS: Meng, S; Barbosa, LS ;
PUBLISHED: 2010, SOURCE: 25th Annual ACM Symposium on Applied Computing, SAC 2010 in Proceedings of the ACM Symposium on Applied Computing, PAGES: 2045-2046
1158
TITLE: Using Directional Antennas on Stub Wireless Mesh Networks: Impact on Throughput, Delay, and Fairness Full Text
AUTHORS: Saravanan Kandasamy ; Rui Lopes Campos ; Ricardo Morla ; Manuel Ricardo ;
PUBLISHED: 2010, SOURCE: 2010 19th International Conference on Computer Communications and Networks, ICCCN 2010 in Proceedings of the 19th International Conference on Computer Communications and Networks, IEEE ICCCN 2010, Zürich, Switzerland, August 2-5, 2010, PAGES: 1-6
AUTHORS: Saravanan Kandasamy ; Rui Lopes Campos ; Ricardo Morla ; Manuel Ricardo ;
PUBLISHED: 2010, SOURCE: 2010 19th International Conference on Computer Communications and Networks, ICCCN 2010 in Proceedings of the 19th International Conference on Computer Communications and Networks, IEEE ICCCN 2010, Zürich, Switzerland, August 2-5, 2010, PAGES: 1-6
1159
TITLE: VS-GAMES 2010 preface
AUTHORS: Debattista, K; Dickey, M; Proenca, A ; Santos, LP ;
PUBLISHED: 2010, SOURCE: 2nd IEEE International Conference on Games and Virtual Worlds for Serious Applications, VS-GAMES 2010 in 2nd International Conference on Games and Virtual Worlds for Serious Applications, VS-GAMES 2010
AUTHORS: Debattista, K; Dickey, M; Proenca, A ; Santos, LP ;
PUBLISHED: 2010, SOURCE: 2nd IEEE International Conference on Games and Virtual Worlds for Serious Applications, VS-GAMES 2010 in 2nd International Conference on Games and Virtual Worlds for Serious Applications, VS-GAMES 2010
INDEXED IN: Scopus
Scopus1160
TITLE: A generic library for GUI reasoning and testing Full Text
AUTHORS: Silva, JC; Saraiva, J ; Campos, JC ;
PUBLISHED: 2009, SOURCE: 24th Annual ACM Symposium on Applied Computing, SAC 2009 in Proceedings of the ACM Symposium on Applied Computing, PAGES: 121-128
AUTHORS: Silva, JC; Saraiva, J ; Campos, JC ;
PUBLISHED: 2009, SOURCE: 24th Annual ACM Symposium on Applied Computing, SAC 2009 in Proceedings of the ACM Symposium on Applied Computing, PAGES: 121-128
