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: 1639
149 Team MembersFilters -> Year: 2026
921
TITLE: A Bounded Model Checker for SPARK Programs
AUTHORS: Lourenço, CB ; Frade, MJ ; Pinto, JS ;
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: Lourenço, CB ; Frade, MJ ; Pinto, JS ;
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
922
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
923
TITLE: A graph-based approach for interference free integration of commercial off-the-shelf elements in pervasive computing systems
AUTHORS: Christophe Soares ; Moreira, RS ; Morla, R ; Jose M Torres ; Sobral, P ;
PUBLISHED: 2014, SOURCE: FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE, VOLUME: 39, PAGES: 3-15
AUTHORS: Christophe Soares ; Moreira, RS ; Morla, R ; Jose M Torres ; Sobral, P ;
PUBLISHED: 2014, SOURCE: FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE, VOLUME: 39, PAGES: 3-15
924
TITLE: A Hilbert-Style Axiomatisation for Equational Hybrid Logic
AUTHORS: Barbosa, LS ; Martins, MA ; Carreteiro, M;
PUBLISHED: 2014, SOURCE: JOURNAL OF LOGIC LANGUAGE AND INFORMATION, VOLUME: 23, ISSUE: 1, PAGES: 31-52
AUTHORS: Barbosa, LS ; Martins, MA ; Carreteiro, M;
PUBLISHED: 2014, SOURCE: JOURNAL OF LOGIC LANGUAGE AND INFORMATION, VOLUME: 23, ISSUE: 1, PAGES: 31-52
925
TITLE: A Modular Architecture for Deploying Self-adaptive Traffic Sampling
AUTHORS: Silva, JMC ; Carvalho, P ; Lima, SR;
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: Silva, JMC ; Carvalho, P ; Lima, SR;
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
926
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
927
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
928
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 Handle929
TITLE: A self-adaptation strategy for service-based architectures
AUTHORS: Oliveira, N ; Barbosa, LS ;
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: Oliveira, N ; Barbosa, LS ;
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
930
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
931
TITLE: A Survey and Classification of Storage Deduplication Systems
AUTHORS: Paulo, J ; Pereira, J ;
PUBLISHED: 2014, SOURCE: ACM COMPUTING SURVEYS, VOLUME: 47, ISSUE: 1, PAGES: 11:1-11:30
AUTHORS: Paulo, J ; Pereira, J ;
PUBLISHED: 2014, SOURCE: ACM COMPUTING SURVEYS, VOLUME: 47, ISSUE: 1, PAGES: 11:1-11:30
932
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: EAI Endorsed Trans. Ambient Syst., VOLUME: 1, ISSUE: 3
AUTHORS: Tiago Gomes; Tiago Abade; José Creissac Campos ; Michael D Harrison ; José Luís Silva;
PUBLISHED: 2014, SOURCE: EAI Endorsed Trans. Ambient Syst., VOLUME: 1, ISSUE: 3
933
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
934
TITLE: Analysing interactive devices based on information resource constraints
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
935
TITLE: Analysis of FLOSS Communities as Learning Contexts
AUTHORS: Fernandes, S; Cerone, A; Barbosa, LS ;
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: Fernandes, S; Cerone, A; Barbosa, LS ;
PUBLISHED: 2014, SOURCE: 11th International Conference on Software Engineering and Formal Methods (SEFM) in SOFTWARE ENGINEERING AND FORMAL METHODS, VOLUME: 8368, PAGES: 405-416
936
TITLE: Application of Ontologies in Identifying Requirements Patterns in Use Cases
AUTHORS: Rui Couto ; António Nestor Ribeiro ; José Creissac Campos ;
PUBLISHED: 2014, SOURCE: FESCA, VOLUME: 147, PAGES: 62-76
AUTHORS: Rui Couto ; António Nestor Ribeiro ; José Creissac Campos ;
PUBLISHED: 2014, SOURCE: FESCA, VOLUME: 147, PAGES: 62-76
937
TITLE: Autonomous Multi-dimensional Slicing for Large-Scale Distributed Systems
AUTHORS: Pasquet, M; Maia, F ; Rivière, E; Schiavoni, V;
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: Pasquet, M; Maia, F ; Rivière, E; Schiavoni, V;
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
938
TITLE: BenchmarX
AUTHORS: Anthony Anjorin; Alcino Cunha ; Holger Giese; Frank Hermann; Arend Rensink; Andy Schürr;
PUBLISHED: 2014, SOURCE: EDBT/ICDT Workshops, VOLUME: 1133, PAGES: 82-86
AUTHORS: Anthony Anjorin; Alcino Cunha ; Holger Giese; Frank Hermann; Arend Rensink; Andy Schürr;
PUBLISHED: 2014, SOURCE: EDBT/ICDT Workshops, VOLUME: 1133, PAGES: 82-86
INDEXED IN: 
Scopus DBLP
Scopus DBLP939
TITLE: Bidirectional Spreadsheet Formulas
AUTHORS: Macedo, N ; Pacheco, H ; Sousa, NR; Cunha, A ;
PUBLISHED: 2014, SOURCE: IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) in 2014 IEEE SYMPOSIUM ON VISUAL LANGUAGES AND HUMAN-CENTRIC COMPUTING (VL/HCC 2014), PAGES: 161-168
AUTHORS: Macedo, N ; Pacheco, H ; Sousa, NR; Cunha, A ;
PUBLISHED: 2014, SOURCE: IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) in 2014 IEEE SYMPOSIUM ON VISUAL LANGUAGES AND HUMAN-CENTRIC COMPUTING (VL/HCC 2014), PAGES: 161-168
940
TITLE: BiFluX: A Bidirectional Functional Update Language for XML. A Bidirectional Functional Update Language for XML
AUTHORS: Hugo Pacheco ; Tao Zan; Zhenjiang Hu;
PUBLISHED: 2014, SOURCE: PPDP, PAGES: 147-158
AUTHORS: Hugo Pacheco ; Tao Zan; Zhenjiang Hu;
PUBLISHED: 2014, SOURCE: PPDP, PAGES: 147-158
