High-Assurance Software Laboratory (HASLab)
Laboratório de Software Confiável
Inesc Technology and Science (INESC TEC) :: CS: Computer Science
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.
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 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
AUTHORS: Michael D Harrison; Leo Freitas; Michael Drinnan; Jose C Campos ; Paolo Masci ; Costanzo di Maria; Michael Whitaker;
PUBLISHED: 2019, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 175, PAGES: 17-34
AUTHORS: José Creissac Campos ; Michael D Harrison;
PUBLISHED: 2019, SOURCE: 2019 Joint HCI Engineering - Methods and Tools for Advanced Interactive Systems and Integration of Multiple Stakeholder Viewpoints, HCI Engineering 2019 in Joint Proceedings HCI Engineering 2019 - Methods and Tools for Advanced Interactive Systems and Integration of Multiple Stakeholder Viewpoints co-located with 11th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2019), Valencia, Spain, June 18, 2019., VOLUME: 2503, PAGES: 69-75
AUTHORS: Leonardo Gomes ; Alexandre Madeira ; Luís Soares Barbosa ;
PUBLISHED: 2019, SOURCE: SCIENTIFIC ANNALS OF COMPUTER SCIENCE, VOLUME: 29, ISSUE: 2, PAGES: 141-184
AUTHORS: José Nuno Macedo; Ricardo Moreira; Jácome Cunha ; João Saraiva ;
PUBLISHED: 2019, SOURCE: 22nd Ibero-American Conference on Software Engineering, CIbSE 2019 in Proceedings of the XXII Iberoamerican Conference on Software Engineering, CIbSE 2019, La Habana, Cuba, April 22-26, 2019., PAGES: 100-113
AUTHORS: Rui Rua ; Marco Couto ; João Saraiva ;
PUBLISHED: 2019, SOURCE: 16th IEEE/ACM International Conference on Mining Software Repositories, MSR 2019 in Proceedings of the 16th International Conference on Mining Software Repositories, MSR 2019, 26-27 May 2019, Montreal, Canada., VOLUME: 2019-May, PAGES: 176-180
AUTHORS: Falcao, G ; Cabeleira, F; Mariano, A; Santos, LP ;
PUBLISHED: 2019, SOURCE: IEEE ACCESS, VOLUME: 7, PAGES: 127012-127023
AUTHORS: Rui Couto ; José Creissac Campos ;
PUBLISHED: 2019, SOURCE: 2019 Joint HCI Engineering - Methods and Tools for Advanced Interactive Systems and Integration of Multiple Stakeholder Viewpoints, HCI Engineering 2019 in Joint Proceedings HCI Engineering 2019 - Methods and Tools for Advanced Interactive Systems and Integration of Multiple Stakeholder Viewpoints co-located with 11th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2019), Valencia, Spain, June 18, 2019., VOLUME: 2503, PAGES: 46-50
AUTHORS: Adriaan Leijnse; Paulo Sérgio Almeida ; Carlos Baquero ;
PUBLISHED: 2019, SOURCE: 6th Workshop on Principles and Practice of Consistency for Distributed Data, PaPoC 2019 in Proceedings of the 6th Workshop on Principles and Practice of Consistency for Distributed Data, PaPoC@EuroSys 2019, Dresden, Germany, March 25-28, 2019, PAGES: 5:1-5:6
AUTHORS: Rui Couto ; Jose Creissac Campos ;
PUBLISHED: 2019, SOURCE: 11th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS) in PROCEEDINGS OF THE ACM SIGCHI SYMPOSIUM ON ENGINEERING INTERACTIVE COMPUTING SYSTEMS (EICS'19), PAGES: 5:1-5:6
AUTHORS: Francisco Ribeiro ; Joao Saraiva ; Alberto Pardo;
PUBLISHED: 2019, SOURCE: 23rd Brazilian Symposium on Programming Languages (SBLP) in XXIII BRAZILIAN SYMPOSIUM ON PROGRAMMING LANGUAGES, PAGES: 30-37
AUTHORS: Ana Aguiar ; Ricardo Morla ;
PUBLISHED: 2019, SOURCE: 2nd Workshop on Benchmarking Cyber-Physical Systems and Internet of Things (CPS-IoTBench) in CPS-IOTBENCH '19: PROCEEDINGS OF THE 2019 2ND WORKSHOP ON BENCHMARKING CYBER-PHYSICAL SYSTEMS AND INTERNET OF THINGS, PAGES: 24-29
AUTHORS: Hofmann, D ; Neves, R ; Nora, P;
PUBLISHED: 2019, SOURCE: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, VOLUME: 29, ISSUE: 4, PAGES: 552-587
AUTHORS: Tony Hoare; Alexandra Mendes ; João F Ferreira;
PUBLISHED: 2019, SOURCE: 3rd International Workshop and Tutorial, FMTea 2019, held as part of the 3rd World Congress on Formal Methods, FM 2019 in Formal Methods Teaching - Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings, VOLUME: 11758, PAGES: 3-20
AUTHORS: Saul A Johnson; João Ferreira; Alexandra Mendes ; Julien Cordry;
PUBLISHED: 2019, SOURCE: 30th IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2019 in IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops 2019, Berlin, Germany, October 27-30, 2019, PAGES: 264-269
AUTHORS: José Bacelar Almeida ; Cecile Baritel Ruet; Manuel Barbosa ; Gilles Barthe ; François Dupressoir; Benjamin Grégoire; Vincent Laporte; Tiago Oliveira; Alley Stoughton; Pierre Yves Strub;
PUBLISHED: 2019, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2019, PAGES: 1155
AUTHORS: Jose Bacelar Almeida ; Cecile Baritel Ruet; Manuel Barbosa ; Gilles Barthe ; Francois Dupressoir; Benjamin Gregoire; Vincent Laporte; Tiago Oliveira ; Alley Stoughton; Pierre Yves Strub;
PUBLISHED: 2019, SOURCE: ACM SIGSAC Conference on Computer and Communications Security (CCS) in PROCEEDINGS OF THE 2019 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY (CCS'19), PAGES: 1607-1622
AUTHORS: Joao Paulo Fernandes ; Pedro Martins; Alberto Pardo; Joao Saraiva ; Marcos Viera;
PUBLISHED: 2019, SOURCE: 20th Brazilian Symposium on Programing Languages (SBLP) in SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 173, PAGES: 71-94
AUTHORS: Nuno Machado ; Francisco Maia ; Francisco Neves ; Fábio Coelho ; José Pereira ;
PUBLISHED: 2019, SOURCE: 23rd International Conference on Principles of Distributed Systems, OPODIS 2019 in 23rd International Conference on Principles of Distributed Systems, OPODIS 2019, December 17-19, 2019, Neuchâtel, Switzerland., VOLUME: 153, PAGES: 11:1-11:17
AUTHORS: Alexandre Canny; David Navarre; José Creissac Campos ; Philippe A Palanque;
PUBLISHED: 2019, SOURCE: 3rd World Congress on Formal Methods, FM 2019 in Formal Methods. FM 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part I, VOLUME: 12232, PAGES: 486-502
AUTHORS: Leandro Gomes ; Alexandre Madeira ; Manisha Jain; Luís Soares Barbosa ;
PUBLISHED: 2019, SOURCE: 21st International Conference on Formal Engineering Methods, ICFEM 2019 in Formal Methods and Software Engineering - 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019, Proceedings, VOLUME: 11852, PAGES: 154-169