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: 1685
149 Team MembersFilters -> Year: 2026
941
TITLE: Zipper-Based Modular and Deforested Computations
AUTHORS: Pedro Martins ; Joao Paulo Fernandes ; Joao Saraiva ;
PUBLISHED: 2015, SOURCE: 5th Central European Functional Programming School (CEFP) in Central European Functional Programming School, CEFP 2013, VOLUME: 8606, PAGES: 407-427
AUTHORS: Pedro Martins ; Joao Paulo Fernandes ; Joao Saraiva ;
PUBLISHED: 2015, SOURCE: 5th Central European Functional Programming School (CEFP) in Central European Functional Programming School, CEFP 2013, VOLUME: 8606, PAGES: 407-427
942
TITLE: A Bounded Model Checker for SPARK Programs
AUTHORS: Claudio Belo Lourenco ; Maria Joao Frade ; Jorge Sousa Pinto ;
PUBLISHED: 2014, SOURCE: 12th International Symposium on Automated Technology for Verification and Analysis (ATVA) in AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, ATVA 2014, VOLUME: 8837, PAGES: 24-30
AUTHORS: Claudio Belo Lourenco ; Maria Joao Frade ; Jorge Sousa Pinto ;
PUBLISHED: 2014, SOURCE: 12th International Symposium on Automated Technology for Verification and Analysis (ATVA) in AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, ATVA 2014, VOLUME: 8837, PAGES: 24-30
943
TITLE: A Compositional Monitoring Framework for Hard Real-Time Systems
AUTHORS: Pedro, AD ; Pereira, D ; Pinho, LM ; Pinto, JS ;
PUBLISHED: 2014, SOURCE: 6th NASA Formal Methods Symposium (NFM) in NASA FORMAL METHODS, NFM 2014, VOLUME: 8430, PAGES: 16-30
AUTHORS: Pedro, AD ; Pereira, D ; Pinho, LM ; Pinto, JS ;
PUBLISHED: 2014, SOURCE: 6th NASA Formal Methods Symposium (NFM) in NASA FORMAL METHODS, NFM 2014, VOLUME: 8430, PAGES: 16-30
944
TITLE: A graph-based approach for interference free integration of commercial off-the-shelf elements in pervasive computing systems Full Text
AUTHORS: Christophe Soares ; Rui S Moreira ; Ricardo Morla ; Jose M Torres ; Pedro Sobral ;
PUBLISHED: 2014, SOURCE: FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF GRID COMPUTING AND ESCIENCE, VOLUME: 39, PAGES: 3-15
AUTHORS: Christophe Soares ; Rui S Moreira ; Ricardo Morla ; Jose M Torres ; Pedro Sobral ;
PUBLISHED: 2014, SOURCE: FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF GRID COMPUTING AND ESCIENCE, VOLUME: 39, PAGES: 3-15
945
TITLE: A Hilbert-Style Axiomatisation for Equational Hybrid Logic Full Text
AUTHORS: Luis S Barbosa ; Manuel A Martins ; Marta Carreteiro;
PUBLISHED: 2014, SOURCE: JOURNAL OF LOGIC LANGUAGE AND INFORMATION, VOLUME: 23, ISSUE: 1, PAGES: 31-52
AUTHORS: Luis S Barbosa ; Manuel A Martins ; Marta Carreteiro;
PUBLISHED: 2014, SOURCE: JOURNAL OF LOGIC LANGUAGE AND INFORMATION, VOLUME: 23, ISSUE: 1, PAGES: 31-52
946
TITLE: A Modular Architecture for Deploying Self-adaptive Traffic Sampling
AUTHORS: Joao Marco C Silva ; Paulo Carvalho ; Solange Rito Lima;
PUBLISHED: 2014, SOURCE: 8th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security (AIMS) in MONITORING AND SECURING VIRTUALIZED NETWORKS AND SERVICES, VOLUME: 8508, PAGES: 179-183
AUTHORS: Joao Marco C Silva ; Paulo Carvalho ; Solange Rito Lima;
PUBLISHED: 2014, SOURCE: 8th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security (AIMS) in MONITORING AND SECURING VIRTUALIZED NETWORKS AND SERVICES, VOLUME: 8508, PAGES: 179-183
947
TITLE: A Modular Architecture for Deploying Self-adaptive Traffic Sampling
AUTHORS: João Marco C Silva ; Paulo Carvalho; Solange Rito Lima;
PUBLISHED: 2014, SOURCE: Monitoring and Securing Virtualized Networks and Services - 8th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2014, Brno, Czech Republic, June 30 - July 3, 2014. Proceedings, VOLUME: 8508, PAGES: 179-183
AUTHORS: João Marco C Silva ; Paulo Carvalho; Solange Rito Lima;
PUBLISHED: 2014, SOURCE: Monitoring and Securing Virtualized Networks and Services - 8th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2014, Brno, Czech Republic, June 30 - July 3, 2014. Proceedings, VOLUME: 8508, PAGES: 179-183
INDEXED IN: 
DBLP
DBLP948
TITLE: A peer-to-peer service architecture for the Smart Grid
AUTHORS: Campos, F ; Matos, M ; Pereira, J ; Rua, D ;
PUBLISHED: 2014, SOURCE: 14th IEEE International Conference on Peer-to-Peer Computing (P2P) in 14-TH IEEE INTERNATIONAL CONFERENCE ON PEER-TO-PEER COMPUTING (P2P), PAGES: 1-5
AUTHORS: Campos, F ; Matos, M ; Pereira, J ; Rua, D ;
PUBLISHED: 2014, SOURCE: 14th IEEE International Conference on Peer-to-Peer Computing (P2P) in 14-TH IEEE INTERNATIONAL CONFERENCE ON PEER-TO-PEER COMPUTING (P2P), PAGES: 1-5
949
TITLE: A relation-algebraic approach to the "Hoare logic" of functional dependencies
AUTHORS: Oliveira, JN ;
PUBLISHED: 2014, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 83, ISSUE: 2, PAGES: 249-262
AUTHORS: Oliveira, JN ;
PUBLISHED: 2014, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 83, ISSUE: 2, PAGES: 249-262
950
TITLE: A relational approach to bidirectional transformation. Uma abordagem relacional à transformação bidirecional
AUTHORS: Nuno Macedo ;
PUBLISHED: 2014
AUTHORS: Nuno Macedo ;
PUBLISHED: 2014
INDEXED IN: DBLP 
Handle
DBLP Handle951
TITLE: A self-adaptation strategy for service-based architectures
AUTHORS: Nuno Oliveira ; Luis S Barbosa ;
PUBLISHED: 2014, SOURCE: 8th Brazilian Symposium on Software Components, Architectures and Reuse (SBCARS) in 2014 EIGHTH BRAZILIAN SYMPOSIUM ON SOFTWARE COMPONENTS, ARCHITECTURES AND REUSE (SBCARS), PAGES: 1-10
AUTHORS: Nuno Oliveira ; Luis S Barbosa ;
PUBLISHED: 2014, SOURCE: 8th Brazilian Symposium on Software Components, Architectures and Reuse (SBCARS) in 2014 EIGHTH BRAZILIAN SYMPOSIUM ON SOFTWARE COMPONENTS, ARCHITECTURES AND REUSE (SBCARS), PAGES: 1-10
952
TITLE: A study on the viability of formalizing Use Cases
AUTHORS: Couto, R ; Ribeiro, AN ; Campos, JC ;
PUBLISHED: 2014, SOURCE: 9th International Conference on the Quality of Information and Communications Technology (QUATIC) in 2014 9th International Conference on the Quality of Information and Communications Technology (QUATIC), PAGES: 130-133
AUTHORS: Couto, R ; Ribeiro, AN ; Campos, JC ;
PUBLISHED: 2014, SOURCE: 9th International Conference on the Quality of Information and Communications Technology (QUATIC) in 2014 9th International Conference on the Quality of Information and Communications Technology (QUATIC), PAGES: 130-133
953
TITLE: A Survey and Classification of Storage Deduplication Systems Full Text
AUTHORS: Joao Paulo ; Jose Pereira ;
PUBLISHED: 2014, SOURCE: ACM COMPUTING SURVEYS, VOLUME: 47, ISSUE: 1, PAGES: 11:1-11:30
AUTHORS: Joao Paulo ; Jose Pereira ;
PUBLISHED: 2014, SOURCE: ACM COMPUTING SURVEYS, VOLUME: 47, ISSUE: 1, PAGES: 11:1-11:30
954
TITLE: A Virtual Environment based Serious Game to Support Health Education
AUTHORS: Tiago Gomes; Tiago Abade; José Creissac Campos ; Michael D Harrison ; José Luís Silva;
PUBLISHED: 2014, SOURCE: ICST Trans. Ambient Systems, VOLUME: 1, ISSUE: 3
AUTHORS: Tiago Gomes; Tiago Abade; José Creissac Campos ; Michael D Harrison ; José Luís Silva;
PUBLISHED: 2014, SOURCE: ICST Trans. Ambient Systems, VOLUME: 1, ISSUE: 3
955
TITLE: An Approach for Graphical User Interface External Bad Smells Detection
AUTHORS: Silva, JC; Campos, JC ; Saraiva, J ; Silva, JL ;
PUBLISHED: 2014, SOURCE: World Conference on Information Systems and Technologies (WorldCIST) in NEW PERSPECTIVES IN INFORMATION SYSTEMS AND TECHNOLOGIES, VOL 2, VOLUME: 276, PAGES: 199-205
AUTHORS: Silva, JC; Campos, JC ; Saraiva, J ; Silva, JL ;
PUBLISHED: 2014, SOURCE: World Conference on Information Systems and Technologies (WorldCIST) in NEW PERSPECTIVES IN INFORMATION SYSTEMS AND TECHNOLOGIES, VOL 2, VOLUME: 276, PAGES: 199-205
956
TITLE: Analysing interactive devices based on information resource constraints Full Text
AUTHORS: Campos, JC ; Doherty, G; Harrison, MD ;
PUBLISHED: 2014, SOURCE: INTERNATIONAL JOURNAL OF HUMAN-COMPUTER STUDIES, VOLUME: 72, ISSUE: 3, PAGES: 284-297
AUTHORS: Campos, JC ; Doherty, G; Harrison, MD ;
PUBLISHED: 2014, SOURCE: INTERNATIONAL JOURNAL OF HUMAN-COMPUTER STUDIES, VOLUME: 72, ISSUE: 3, PAGES: 284-297
957
TITLE: Analysis of FLOSS Communities as Learning Contexts
AUTHORS: Sara Fernandes; Antonio Cerone; Luis Soares Barbosa ;
PUBLISHED: 2014, SOURCE: 11th International Conference on Software Engineering and Formal Methods (SEFM) in SOFTWARE ENGINEERING AND FORMAL METHODS, VOLUME: 8368, PAGES: 405-416
AUTHORS: Sara Fernandes; Antonio Cerone; Luis Soares Barbosa ;
PUBLISHED: 2014, SOURCE: 11th International Conference on Software Engineering and Formal Methods (SEFM) in SOFTWARE ENGINEERING AND FORMAL METHODS, VOLUME: 8368, PAGES: 405-416
958
TITLE: Application of ontologies in identifying requirements patterns in use cases Full Text
AUTHORS: Couto, R ; Ribeiro, AN ; Campos, JC ;
PUBLISHED: 2014, SOURCE: 11th International Workshop on Formal Engineering Approaches to Software Components and Architectures, FESCA 2014 in Electronic Proceedings in Theoretical Computer Science, EPTCS, VOLUME: 147, PAGES: 62-76
AUTHORS: Couto, R ; Ribeiro, AN ; Campos, JC ;
PUBLISHED: 2014, SOURCE: 11th International Workshop on Formal Engineering Approaches to Software Components and Architectures, FESCA 2014 in Electronic Proceedings in Theoretical Computer Science, EPTCS, VOLUME: 147, PAGES: 62-76
959
TITLE: Autonomous Multi-dimensional Slicing for Large-Scale Distributed Systems
AUTHORS: Mathieu Pasquet; Francisco Maia ; Etienne Riviere; Valerio Schiavoni;
PUBLISHED: 2014, SOURCE: 14th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems (DAIS) in DISTRIBUTED APPLICATIONS AND INTEROPERABLE SYSTEMS (DAIS 2014), VOLUME: 8460, PAGES: 141-155
AUTHORS: Mathieu Pasquet; Francisco Maia ; Etienne Riviere; Valerio Schiavoni;
PUBLISHED: 2014, SOURCE: 14th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems (DAIS) in DISTRIBUTED APPLICATIONS AND INTEROPERABLE SYSTEMS (DAIS 2014), VOLUME: 8460, PAGES: 141-155
960
TITLE: BenchmarX PDF
AUTHORS: Anthony Anjorin; Alcino Cunha ; Holger Giese; Frank Hermann; Arend Rensink; Andy Schürr;
PUBLISHED: 2014, SOURCE: 2014 Joint Workshops on International Conference on Extending Database Technology, EDBT 2014 and International Conference on Database Theory, ICDT 2014 in Proceedings of the Workshops of the EDBT/ICDT 2014 Joint Conference (EDBT/ICDT 2014), Athens, Greece, March 28, 2014., VOLUME: 1133, PAGES: 82-86
AUTHORS: Anthony Anjorin; Alcino Cunha ; Holger Giese; Frank Hermann; Arend Rensink; Andy Schürr;
PUBLISHED: 2014, SOURCE: 2014 Joint Workshops on International Conference on Extending Database Technology, EDBT 2014 and International Conference on Database Theory, ICDT 2014 in Proceedings of the Workshops of the EDBT/ICDT 2014 Joint Conference (EDBT/ICDT 2014), Athens, Greece, March 28, 2014., VOLUME: 1133, PAGES: 82-86
INDEXED IN: 
Scopus DBLP
Scopus DBLP