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
961
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
962
TITLE: Computational Weight of Network Traffic Sampling Techniques
AUTHORS: Joao Marco C Silva ; Paulo Carvalho ; Solange Rito Lima;
PUBLISHED: 2014, SOURCE: IEEE Symposium on Computers and Communication (ISCC) in 2014 IEEE SYMPOSIUM ON COMPUTERS AND COMMUNICATION (ISCC)
AUTHORS: Joao Marco C Silva ; Paulo Carvalho ; Solange Rito Lima;
PUBLISHED: 2014, SOURCE: IEEE Symposium on Computers and Communication (ISCC) in 2014 IEEE SYMPOSIUM ON COMPUTERS AND COMMUNICATION (ISCC)
963
TITLE: Computational weight of network traffic sampling techniques
AUTHORS: João Marco C Silva ; Paulo Carvalho; Solange Rito Lima;
PUBLISHED: 2014, SOURCE: IEEE Symposium on Computers and Communications, ISCC 2014, Funchal, Madeira, Portugal, June 23-26, 2014, PAGES: 1-6
AUTHORS: João Marco C Silva ; Paulo Carvalho; Solange Rito Lima;
PUBLISHED: 2014, SOURCE: IEEE Symposium on Computers and Communications, ISCC 2014, Funchal, Madeira, Portugal, June 23-26, 2014, PAGES: 1-6
INDEXED IN: 
DBLP
DBLP964
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
965
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
966
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
967
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
968
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
969
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
970
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 DBLP971
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
972
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 DBLP973
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
974
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
975
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
976
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
977
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
978
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 DBLP979
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
980
TITLE: Graphical Querying of Model-Driven Spreadsheets
AUTHORS: Cunha, J ; Fernandes, JP ; Pereira, R ; Saraiva, J ;
PUBLISHED: 2014, SOURCE: 16th International Conference on Human-Computer Interaction (HCI) in HUMAN INTERFACE AND THE MANAGEMENT OF INFORMATION: INFORMATION AND KNOWLEDGE DESIGN AND EVALUATION, PT I, VOLUME: 8521, ISSUE: PART 1, PAGES: 419-430
AUTHORS: Cunha, J ; Fernandes, JP ; Pereira, R ; Saraiva, J ;
PUBLISHED: 2014, SOURCE: 16th International Conference on Human-Computer Interaction (HCI) in HUMAN INTERFACE AND THE MANAGEMENT OF INFORMATION: INFORMATION AND KNOWLEDGE DESIGN AND EVALUATION, PT I, VOLUME: 8521, ISSUE: PART 1, PAGES: 419-430
