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: 1570
167 Team MembersFilters -> Year: 2026
901
TITLE: Classifying Heart Sounds using SAX Motifs, Random Forests and Text Mining techniques
AUTHORS: Gomes, Elsa Ferreira ; 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, Elsa Ferreira ; 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
902
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
903
TITLE: Compiling CAO: From Cryptographic Specifications to C Implementations
AUTHORS: Manuel Barbosa ; David Castro; Paulo F Silva ;
PUBLISHED: 2014, SOURCE: POST, VOLUME: 8414 LNCS, PAGES: 240-244
AUTHORS: Manuel Barbosa ; David Castro; Paulo F Silva ;
PUBLISHED: 2014, SOURCE: POST, VOLUME: 8414 LNCS, PAGES: 240-244
904
TITLE: Computational Weight of Network Traffic Sampling Techniques
AUTHORS: Silva, JMC ; Carvalho, P ; Lima, SR;
PUBLISHED: 2014, SOURCE: IEEE Symposium on Computers and Communication (ISCC) in 2014 IEEE SYMPOSIUM ON COMPUTERS AND COMMUNICATION (ISCC), PAGES: 1-6
AUTHORS: Silva, JMC ; Carvalho, P ; Lima, SR;
PUBLISHED: 2014, SOURCE: IEEE Symposium on Computers and Communication (ISCC) in 2014 IEEE SYMPOSIUM ON COMPUTERS AND COMMUNICATION (ISCC), PAGES: 1-6
905
TITLE: Correction: Depth cues and perceived audiovisual synchrony of biological motion (PLoS ONE) Full Text
AUTHORS: Silva, CC; Mendonca, C; Mouta, S ; Silva, R; Campos, JC ; Santos, J;
PUBLISHED: 2014, SOURCE: PLoS ONE, VOLUME: 9, ISSUE: 1
AUTHORS: Silva, CC; Mendonca, C; Mouta, S ; Silva, R; Campos, JC ; Santos, J;
PUBLISHED: 2014, SOURCE: PLoS ONE, VOLUME: 9, ISSUE: 1
906
TITLE: DATAFLASKS: epidemic store for massive scale systems
AUTHORS: Maia, F ; Matos, M ; Vilaça, R ; Pereira, J ; Oliveira, R ; Rivière, E;
PUBLISHED: 2014, SOURCE: IEEE 33rd International Symposium on Reliable Distributed Systems in 2014 IEEE 33RD INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS (SRDS), VOLUME: 2014-January, PAGES: 79-88
AUTHORS: Maia, F ; Matos, M ; Vilaça, R ; Pereira, J ; Oliveira, R ; Rivière, E;
PUBLISHED: 2014, SOURCE: IEEE 33rd International Symposium on Reliable Distributed Systems in 2014 IEEE 33RD INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS (SRDS), VOLUME: 2014-January, PAGES: 79-88
907
TITLE: Defining Energy Consumption Plans for Data Querying Processes
AUTHORS: Gonçalves, R; Saraiva, J ; Belo, O ;
PUBLISHED: 2014, SOURCE: IEEE Fourth International Conference on Big Data and Cloud Computing (BdCloud) in 2014 IEEE FOURTH INTERNATIONAL CONFERENCE ON BIG DATA AND CLOUD COMPUTING (BDCLOUD), PAGES: 641-647
AUTHORS: Gonçalves, R; Saraiva, J ; Belo, O ;
PUBLISHED: 2014, SOURCE: IEEE Fourth International Conference on Big Data and Cloud Computing (BdCloud) in 2014 IEEE FOURTH INTERNATIONAL CONFERENCE ON BIG DATA AND CLOUD COMPUTING (BDCLOUD), PAGES: 641-647
908
TITLE: Design and Evaluation of a Smart Library Using the APEX Framework
AUTHORS: Tiago Abade; Tiago Gomes; José Luís Silva ; José Creissac Campos ;
PUBLISHED: 2014, SOURCE: HCI (21), VOLUME: 8530 LNCS, PAGES: 307-318
AUTHORS: Tiago Abade; Tiago Gomes; José Luís Silva ; José Creissac Campos ;
PUBLISHED: 2014, SOURCE: HCI (21), VOLUME: 8530 LNCS, PAGES: 307-318
909
TITLE: Detecting Anomalous Energy Consumption in Android Applications
AUTHORS: Couto, M ; Carçao, T; Cunha, J ; Fernandes, JP ; Saraiva, J ;
PUBLISHED: 2014, SOURCE: 18th Brazilian Symposium on Programing Languages (SBLP) in PROGRAMMING LANGUAGES, SBLP 2014, VOLUME: 8771, PAGES: 77-91
AUTHORS: Couto, M ; Carçao, T; Cunha, J ; Fernandes, JP ; Saraiva, J ;
PUBLISHED: 2014, SOURCE: 18th Brazilian Symposium on Programing Languages (SBLP) in PROGRAMMING LANGUAGES, SBLP 2014, VOLUME: 8771, PAGES: 77-91
910
TITLE: Development of Dependable Controllers in the Context of Machines Design
AUTHORS: Machado, J ; Campos, JC ;
PUBLISHED: 2014, SOURCE: 54th International Conference of Machine-Design-Departments in MODERN METHODS OF CONSTRUCTION DESIGN, VOLUME: 16, PAGES: 125-131
AUTHORS: Machado, J ; Campos, JC ;
PUBLISHED: 2014, SOURCE: 54th International Conference of Machine-Design-Departments in MODERN METHODS OF CONSTRUCTION DESIGN, VOLUME: 16, PAGES: 125-131
911
TITLE: Distributed Exact Deduplication for Primary Storage Infrastructures
AUTHORS: Paulo, J ; Pereira, J ;
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: 52-66
AUTHORS: Paulo, J ; Pereira, J ;
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: 52-66
INDEXED IN: 
Scopus 
WOS 
DBLP
Scopus WOS DBLP912
TITLE: Efficient generic face model fitting to images and videos Full Text
AUTHORS: Luis Unzueta; Waldir Pimenta; Jon Goenetxea; Luis Paulo Santos ; Fadi Dornaika;
PUBLISHED: 2014, SOURCE: IMAGE AND VISION COMPUTING, VOLUME: 32, ISSUE: 5, PAGES: 321-334
AUTHORS: Luis Unzueta; Waldir Pimenta; Jon Goenetxea; Luis Paulo Santos ; Fadi Dornaika;
PUBLISHED: 2014, SOURCE: IMAGE AND VISION COMPUTING, VOLUME: 32, ISSUE: 5, PAGES: 321-334
913
TITLE: Efficient state-based CRDTs by decomposition
AUTHORS: Paulo Sérgio Almeida ; Ali Shoker ; Carlos Baquero ;
PUBLISHED: 2014, SOURCE: PaPEC@EuroSys, PAGES: 3:1-3:2
AUTHORS: Paulo Sérgio Almeida ; Ali Shoker ; Carlos Baquero ;
PUBLISHED: 2014, SOURCE: PaPEC@EuroSys, PAGES: 3:1-3:2
INDEXED IN: Scopus DBLP
Scopus DBLP914
TITLE: Embedding Model-Driven Spreadsheet Queries in Spreadsheet Systems
AUTHORS: Cunha, J ; Fernandes, JP ; Mendes, J ; Pereira, R ; Saraiva, J ;
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: 153-156
AUTHORS: Cunha, J ; Fernandes, JP ; Mendes, J ; Pereira, R ; Saraiva, J ;
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: 153-156
915
TITLE: ES-SQL: Visually Querying Spreadsheets
AUTHORS: Cunha, J ; Fernandes, JP ; Mendes, J ; Pereira, R ; Saraiva, J ;
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: 203-204
AUTHORS: Cunha, J ; Fernandes, JP ; Mendes, J ; Pereira, R ; Saraiva, J ;
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: 203-204
916
TITLE: FaultySheet Detective: When Smells Meet Fault Localization
AUTHORS: Abreu, R ; Cunha, J ; Fernandes, JP ; Martins, P ; Perez, A ; Saraiva, J ;
PUBLISHED: 2014, SOURCE: 30th IEEE International Conference on Software Maintenance and Evolution (ICSME) in 2014 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE AND EVOLUTION (ICSME), PAGES: 625-628
AUTHORS: Abreu, R ; Cunha, J ; Fernandes, JP ; Martins, P ; Perez, A ; Saraiva, J ;
PUBLISHED: 2014, SOURCE: 30th IEEE International Conference on Software Maintenance and Evolution (ICSME) in 2014 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE AND EVOLUTION (ICSME), PAGES: 625-628
917
TITLE: Formal Aspects of Component Software (FACS 2010 selected and extended papers) Preface
AUTHORS: Barbosa, LS ; Lumpe, M;
PUBLISHED: 2014, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 94, ISSUE: P3, PAGES: 253-254
AUTHORS: Barbosa, LS ; Lumpe, M;
PUBLISHED: 2014, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 94, ISSUE: P3, PAGES: 253-254
918
TITLE: Formal Verification of kLIBC with the WP Frama-C Plug-in
AUTHORS: Carvalho, N; Sousa, CD; Pinto, JS ; Tomb, A;
PUBLISHED: 2014, SOURCE: 6th NASA Formal Methods Symposium (NFM) in NASA FORMAL METHODS, NFM 2014, VOLUME: 8430, PAGES: 343-358
AUTHORS: Carvalho, N; Sousa, CD; Pinto, JS ; Tomb, A;
PUBLISHED: 2014, SOURCE: 6th NASA Formal Methods Symposium (NFM) in NASA FORMAL METHODS, NFM 2014, VOLUME: 8430, PAGES: 343-358
919
TITLE: Formal Verification of Safety-Critical User Interfaces: a space system case study
AUTHORS: Manuel Sousa; José Creissac Campos ; Miriam C Bergue Alves; Michael D Harrison ;
PUBLISHED: 2014, SOURCE: AAAI Spring Symposia, VOLUME: SS-14-02, PAGES: 62-67
AUTHORS: Manuel Sousa; José Creissac Campos ; Miriam C Bergue Alves; Michael D Harrison ;
PUBLISHED: 2014, SOURCE: AAAI Spring Symposia, VOLUME: SS-14-02, PAGES: 62-67
INDEXED IN: Scopus DBLP
Scopus DBLP920
TITLE: Generating attribute grammar-based bidirectional transformations from rewrite rules
AUTHORS: Pedro Martins ; João Saraiva ; João Paulo Fernandes ; Eric Van Wyk;
PUBLISHED: 2014, SOURCE: PEPM, PAGES: 63-70
AUTHORS: Pedro Martins ; João Saraiva ; João Paulo Fernandes ; Eric Van Wyk;
PUBLISHED: 2014, SOURCE: PEPM, PAGES: 63-70
