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: 1657
149 Team MembersFilters -> Year: 2026
961
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
DBLP962
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
963
TITLE: DATAFLASKS: epidemic store for massive scale systems Full Text
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
964
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
965
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
966
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
967
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
968
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 DBLP969
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
970
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 DBLP971
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
972
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
973
TITLE: FaultySheet Detective: When Smells Meet Fault Localization Full Text
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
974
TITLE: Formal Aspects of Component Software (FACS 2010 selected and extended papers) Preface Full Text
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
975
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
976
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 DBLP977
TITLE: Generating attribute grammar-based bidirectional transformations from rewrite rules Full Text
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
978
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
979
TITLE: HCI engineering: charting the way towards methods and tools for advanced interactive systems. charting the way towards methods and tools for advanced interactive systems
AUTHORS: Jürgen Ziegler; José Creissac Campos ; Laurence Nigay;
PUBLISHED: 2014, SOURCE: EICS, PAGES: 299-300
AUTHORS: Jürgen Ziegler; José Creissac Campos ; Laurence Nigay;
PUBLISHED: 2014, SOURCE: EICS, PAGES: 299-300
980
TITLE: Improving FEM crash simulation accuracy through local thickness estimation based on CAD data Full Text
AUTHORS: Vanio Ferreira; Luis Paulo Santos ; Markus Franzen; Omar O Ghouati; Ricardo Simoes;
PUBLISHED: 2014, SOURCE: ADVANCES IN ENGINEERING SOFTWARE, VOLUME: 71, PAGES: 52-62
AUTHORS: Vanio Ferreira; Luis Paulo Santos ; Markus Franzen; Omar O Ghouati; Ricardo Simoes;
PUBLISHED: 2014, SOURCE: ADVANCES IN ENGINEERING SOFTWARE, VOLUME: 71, PAGES: 52-62
