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: 1659
149 Team MembersFilters -> Year: 2026
941
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
942
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
943
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 Handle944
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
945
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
946
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
947
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
948
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
949
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
950
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
951
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
952
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
953
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 DBLP954
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
955
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
956
TITLE: Bounded Model Checking of Temporal Formulas with Alloy
AUTHORS: Alcino Cunha ;
PUBLISHED: 2014, SOURCE: 4th International Conference on Abstract State Machines, Alloy, B, TLA,VDM, and Z (ABZ) in ABSTRACT STATE MACHINES, ALLOY, B, TLA, VDM, AND Z, ABZ 2014, VOLUME: 8477, PAGES: 303-308
AUTHORS: Alcino Cunha ;
PUBLISHED: 2014, SOURCE: 4th International Conference on Abstract State Machines, Alloy, B, TLA,VDM, and Z (ABZ) in ABSTRACT STATE MACHINES, ALLOY, B, TLA, VDM, AND Z, ABZ 2014, VOLUME: 8477, PAGES: 303-308
957
TITLE: CAOVerif: An open-source deductive verification platform for cryptographic software implementations
AUTHORS: Almeida, JB ; Barbosa, M ; Filliatre, JC; Pinto, JS ; Vieira, B;
PUBLISHED: 2014, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 91, ISSUE: PART B, PAGES: 216-233
AUTHORS: Almeida, JB ; Barbosa, M ; Filliatre, JC; Pinto, JS ; Vieira, B;
PUBLISHED: 2014, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 91, ISSUE: PART B, PAGES: 216-233
958
TITLE: Characterizing the Control Logic of Web Applications' User Interfaces
AUTHORS: Silva, CE ; Campos, JC ;
PUBLISHED: 2014, SOURCE: 14th International Conference on Computational Science and Its Applications (ICCSA) in COMPUTATIONAL SCIENCE AND ITS APPLICATIONS, PART VI - ICCSA 2014, VOLUME: 8584, ISSUE: PART 6, PAGES: 263-276
AUTHORS: Silva, CE ; Campos, JC ;
PUBLISHED: 2014, SOURCE: 14th International Conference on Computational Science and Its Applications (ICCSA) in COMPUTATIONAL SCIENCE AND ITS APPLICATIONS, PART VI - ICCSA 2014, VOLUME: 8584, ISSUE: PART 6, PAGES: 263-276
959
TITLE: Classifying Heart Sounds using SAX Motifs, Random Forests and Text Mining techniques
AUTHORS: Gomes, EF ; Jorge, Alipio M. ; Azevedo, Paulo J. ;
PUBLISHED: 2014, SOURCE: 18th International Database Engineering and Applications Symposium (IDEAS) in PROCEEDINGS OF THE 18TH INTERNATIONAL DATABASE ENGINEERING AND APPLICATIONS SYMPOSIUM (IDEAS14), PAGES: 334-337
AUTHORS: Gomes, EF ; Jorge, Alipio M. ; Azevedo, Paulo J. ;
PUBLISHED: 2014, SOURCE: 18th International Database Engineering and Applications Symposium (IDEAS) in PROCEEDINGS OF THE 18TH INTERNATIONAL DATABASE ENGINEERING AND APPLICATIONS SYMPOSIUM (IDEAS14), PAGES: 334-337
960
TITLE: Collaborative and Privacy-Aware Sensing for Observing Urban Movement Patterns
AUTHORS: Gonçalves, N; José, R ; Baquero, C ;
PUBLISHED: 2014, SOURCE: 8th Data Privacy Management International Workshop (DPM) / 6th International Workshop on Autonomous and Spontaneous Security (SETOP) in DATA PRIVACY MANAGEMENT AND AUTONOMOUS SPONTANEOUS SECURITY, DPM 2013, VOLUME: 8247, PAGES: 51-65
AUTHORS: Gonçalves, N; José, R ; Baquero, C ;
PUBLISHED: 2014, SOURCE: 8th Data Privacy Management International Workshop (DPM) / 6th International Workshop on Autonomous and Spontaneous Security (SETOP) in DATA PRIVACY MANAGEMENT AND AUTONOMOUS SPONTANEOUS SECURITY, DPM 2013, VOLUME: 8247, PAGES: 51-65
