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: 1486
150 Team MembersFilters -> Year: 2024
801
TITLE: Collaborative and Privacy-Aware Sensing for Observing Urban Movement Patterns
AUTHORS: Nelson Goncalves; Rui Jose; Carlos Baquero ;
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: Nelson Goncalves; Rui Jose; Carlos Baquero ;
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
802
TITLE: Compiling CAO: From cryptographic specifications to C implementations
AUTHORS: Barbosa, M ; Castro, D; Silva, PF ;
PUBLISHED: 2014, SOURCE: 3rd International Conference on Principles of Security and Trust, POST 2014 - Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8414 LNCS, PAGES: 240-244
AUTHORS: Barbosa, M ; Castro, D; Silva, PF ;
PUBLISHED: 2014, SOURCE: 3rd International Conference on Principles of Security and Trust, POST 2014 - Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8414 LNCS, PAGES: 240-244
803
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)
804
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
DBLP805
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
806
TITLE: DATAFLASKS: epidemic store for massive scale systems Full Text
AUTHORS: Francisco Maia ; Miguel Matos ; Ricardo Vilaca ; Jose Pereira ; Rui Oliveira ; Etienne Riviere;
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: Francisco Maia ; Miguel Matos ; Ricardo Vilaca ; Jose Pereira ; Rui Oliveira ; Etienne Riviere;
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
807
TITLE: Defining Energy Consumption Plans for Data Querying Processes
AUTHORS: Ricardo Goncalves; Joao Saraiva ; Orlando Belo ;
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: Ricardo Goncalves; Joao Saraiva ; Orlando Belo ;
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
808
TITLE: Design and evaluation of a smart library using the APEX framework
AUTHORS: Abade, T; Gomes, T; Silva, JL ; Campos, JC ;
PUBLISHED: 2014, SOURCE: 2nd International Conference on Distributed, Ambient and Pervasive Interactions, DAPI 2014 - Held as Part of 16th International Conference on Human-Computer Interaction, HCI International 2014 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8530 LNCS, PAGES: 307-318
AUTHORS: Abade, T; Gomes, T; Silva, JL ; Campos, JC ;
PUBLISHED: 2014, SOURCE: 2nd International Conference on Distributed, Ambient and Pervasive Interactions, DAPI 2014 - Held as Part of 16th International Conference on Human-Computer Interaction, HCI International 2014 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8530 LNCS, PAGES: 307-318
809
TITLE: Detecting Anomalous Energy Consumption in Android Applications
AUTHORS: Couto, M ; Carcao, 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 ; Carcao, 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
810
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
811
TITLE: Distributed Exact Deduplication for Primary Storage Infrastructures
AUTHORS: Joao Paulo ; Jose Pereira ;
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: Joao Paulo ; Jose Pereira ;
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 DBLP812
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
813
TITLE: Efficient state-based CRDTs by decomposition
AUTHORS: Almeida, PS ; Shoker, A ; Baquero, C ;
PUBLISHED: 2014, SOURCE: 1st Workshop on the Principles and Practice of Eventual Consistency, PaPEC 2014 in Proceedings of the 1st Workshop on the Principles and Practice of Eventual Consistency, PaPEC 2014, PAGES: 3:1-3:2
AUTHORS: Almeida, PS ; Shoker, A ; Baquero, C ;
PUBLISHED: 2014, SOURCE: 1st Workshop on the Principles and Practice of Eventual Consistency, PaPEC 2014 in Proceedings of the 1st Workshop on the Principles and Practice of Eventual Consistency, PaPEC 2014, PAGES: 3:1-3:2
INDEXED IN: Scopus DBLP
Scopus DBLP814
TITLE: Embedding Model-Driven Spreadsheet Queries in Spreadsheet Systems
AUTHORS: Jacome Cunha ; Joao Paulo Fernandes ; Jorge Mendes ; Rui Pereira ; Joao Saraiva ;
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: Jacome Cunha ; Joao Paulo Fernandes ; Jorge Mendes ; Rui Pereira ; Joao Saraiva ;
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
815
TITLE: ES-SQL: Visually Querying Spreadsheets
AUTHORS: Jacome Cunha ; Joao Paulo Fernandes ; Jorge Mendes ; Rui Pereira ; Joao Saraiva ;
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: Jacome Cunha ; Joao Paulo Fernandes ; Jorge Mendes ; Rui Pereira ; Joao Saraiva ;
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
816
TITLE: FaultySheet Detective: When Smells Meet Fault Localization Full Text
AUTHORS: Rui Abreu ; Jacome Cunha ; Joao Paulo Fernandes ; Pedro Martins ; Alexandre Perez ; Joao Saraiva ;
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: Rui Abreu ; Jacome Cunha ; Joao Paulo Fernandes ; Pedro Martins ; Alexandre Perez ; Joao Saraiva ;
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
817
TITLE: FLOSS in technology-enhanced learning
AUTHORS: Fernandes, S; Cerone, A; Barbosa, LS ; Papadopoulos, PM;
PUBLISHED: 2014, SOURCE: 10th International Conference on Software Engineering and Formal Methods, SEFM 2012, 1st International Symposium on InSuEdu 2012, 1st International Symposium on MoKMaSD 2012, 6th International Workshop on Foundations and Techniques for OpenCert 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7991 LNCS, PAGES: 121-132
AUTHORS: Fernandes, S; Cerone, A; Barbosa, LS ; Papadopoulos, PM;
PUBLISHED: 2014, SOURCE: 10th International Conference on Software Engineering and Formal Methods, SEFM 2012, 1st International Symposium on InSuEdu 2012, 1st International Symposium on MoKMaSD 2012, 6th International Workshop on Foundations and Techniques for OpenCert 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7991 LNCS, PAGES: 121-132
818
TITLE: Formal Aspects of Component Software (FACS 2010 selected and extended papers) Preface Full Text
AUTHORS: Luis Soares Barbosa ; Markus Lumpe;
PUBLISHED: 2014, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 94, ISSUE: P3, PAGES: 253-254
AUTHORS: Luis Soares Barbosa ; Markus Lumpe;
PUBLISHED: 2014, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 94, ISSUE: P3, PAGES: 253-254
819
TITLE: Formal Verification of kLIBC with the WP Frama-C Plug-in
AUTHORS: Nuno Carvalho; Cristiano da Silva Sousa; Jorge Sousa Pinto ; Aaron Tomb;
PUBLISHED: 2014, SOURCE: 6th NASA Formal Methods Symposium (NFM) in NASA FORMAL METHODS, NFM 2014, VOLUME: 8430, PAGES: 343-358
AUTHORS: Nuno Carvalho; Cristiano da Silva Sousa; Jorge Sousa Pinto ; Aaron Tomb;
PUBLISHED: 2014, SOURCE: 6th NASA Formal Methods Symposium (NFM) in NASA FORMAL METHODS, NFM 2014, VOLUME: 8430, PAGES: 343-358
820
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: 2014 AAAI Spring Symposium in 2014 AAAI Spring Symposia, Stanford University, Palo Alto, California, USA, March 24-26, 2014, VOLUME: SS-14-02, PAGES: 62-67
AUTHORS: Manuel Sousa; José Creissac Campos ; Miriam C Bergue Alves; Michael D Harrison ;
PUBLISHED: 2014, SOURCE: 2014 AAAI Spring Symposium in 2014 AAAI Spring Symposia, Stanford University, Palo Alto, California, USA, March 24-26, 2014, VOLUME: SS-14-02, PAGES: 62-67
INDEXED IN: Scopus DBLP
Scopus DBLP