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: 1499
150 Team MembersFilters -> Year: 2025
1161
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 DBLP1162
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
1163
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
1164
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
1165
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 DBLP1166
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
1167
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
1168
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
1169
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
1170
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
1171
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
Scopus1172
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
1173
TITLE: A perspective on service orchestration Full Text
AUTHORS: Marco A Barbosa; Luis S Barbosa ;
PUBLISHED: 2009, SOURCE: 5th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA'06) in SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 74, ISSUE: 9, PAGES: 671-687
AUTHORS: Marco A Barbosa; Luis S Barbosa ;
PUBLISHED: 2009, SOURCE: 5th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA'06) in SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 74, ISSUE: 9, PAGES: 671-687
1174
TITLE: A simple approach to shared storage database servers
AUTHORS: Luís Soares; José Pereira ;
PUBLISHED: 2009, SOURCE: 3rd Workshop on Dependable Distributed Data Management, WDDM'09 in Proceedings of the Third Workshop on Dependable Distributed Data Management, WDDM '09, Nuremberg, Germany, March 31, 2009, PAGES: 21-24
AUTHORS: Luís Soares; José Pereira ;
PUBLISHED: 2009, SOURCE: 3rd Workshop on Dependable Distributed Data Management, WDDM'09 in Proceedings of the Third Workshop on Dependable Distributed Data Management, WDDM '09, Nuremberg, Germany, March 31, 2009, PAGES: 21-24
1175
TITLE: A Single Complete Relational Rule for Coalgebraic Refinement
AUTHORS: Rodrigues, CJ; Oliveira, JN ; Barbosa, LS ;
PUBLISHED: 2009, SOURCE: Electronic Notes in Theoretical Computer Science, VOLUME: 259, ISSUE: C, PAGES: 3-19
AUTHORS: Rodrigues, CJ; Oliveira, JN ; Barbosa, LS ;
PUBLISHED: 2009, SOURCE: Electronic Notes in Theoretical Computer Science, VOLUME: 259, ISSUE: C, PAGES: 3-19
1176
TITLE: Advanced engineering tools for next generation substation automation systems: The added value of IEC 61850 and the InPACT project
AUTHORS: Paulo, R; Carrapatoso, A; Lemos, M; Bernardo, R; Campos, J ;
PUBLISHED: 2009, SOURCE: 20th International Conference and Exhibition on Electricity Distribution, CIRED 2009 in IET Conference Publications, ISSUE: 550 CP
AUTHORS: Paulo, R; Carrapatoso, A; Lemos, M; Bernardo, R; Campos, J ;
PUBLISHED: 2009, SOURCE: 20th International Conference and Exhibition on Electricity Distribution, CIRED 2009 in IET Conference Publications, ISSUE: 550 CP
INDEXED IN: Scopus 
CrossRef
Scopus CrossRef1177
TITLE: An Infrastructure for Experience Centered Agile Prototyping of Ambient Intelligence
AUTHORS: Silva, JL ; Campos, JC ; Harrison, MD ;
PUBLISHED: 2009, SOURCE: ACM SIGCHI Symposium on Engineering Interactice Computing Systems in EICS'09: PROCEEDINGS OF THE ACM SIGCHI SYMPOSIUM ON ENGINEERING INTERACTIVE COMPUTING SYSTEMS, PAGES: 79-84
AUTHORS: Silva, JL ; Campos, JC ; Harrison, MD ;
PUBLISHED: 2009, SOURCE: ACM SIGCHI Symposium on Engineering Interactice Computing Systems in EICS'09: PROCEEDINGS OF THE ACM SIGCHI SYMPOSIUM ON ENGINEERING INTERACTIVE COMPUTING SYSTEMS, PAGES: 79-84
1178
TITLE: An integrated formal methods tool-chain and its application to verifying a file system model
AUTHORS: Ferreira, MA; Oliveira, JN ;
PUBLISHED: 2009, SOURCE: 12th Brazilian Symposium on Formal Methods, SBMF 2009 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 5902 LNCS, PAGES: 153-169
AUTHORS: Ferreira, MA; Oliveira, JN ;
PUBLISHED: 2009, SOURCE: 12th Brazilian Symposium on Formal Methods, SBMF 2009 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 5902 LNCS, PAGES: 153-169
1179
TITLE: Bidirectional data-flow analyses, type-systematically
AUTHORS: Frade, MJ ; Saabas, A; Uustalu, T;
PUBLISHED: 2009, SOURCE: 2009 ACM SIGPLAN Symposium on Partial Evaluation and Program Manipulation, PEPM'09 in Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Program Manipulation, PEPM'09, PAGES: 141-149
AUTHORS: Frade, MJ ; Saabas, A; Uustalu, T;
PUBLISHED: 2009, SOURCE: 2009 ACM SIGPLAN Symposium on Partial Evaluation and Program Manipulation, PEPM'09 in Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Program Manipulation, PEPM'09, PAGES: 141-149
1180
TITLE: CLON: overlay network for clouds. overlay network for clouds
AUTHORS: Miguel Matos ; António Luís Sousa ; José Pereira ; Rui Oliveira ;
PUBLISHED: 2009, SOURCE: 3rd Workshop on Dependable Distributed Data Management, WDDM'09 in Proceedings of the Third Workshop on Dependable Distributed Data Management, WDDM '09, Nuremberg, Germany, March 31, 2009, PAGES: 14-17
AUTHORS: Miguel Matos ; António Luís Sousa ; José Pereira ; Rui Oliveira ;
PUBLISHED: 2009, SOURCE: 3rd Workshop on Dependable Distributed Data Management, WDDM'09 in Proceedings of the Third Workshop on Dependable Distributed Data Management, WDDM '09, Nuremberg, Germany, March 31, 2009, PAGES: 14-17
