High-Assurance Software Laboratory (HASLab)
Laboratório de Software Confiável
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.
Publications Count: 1241112 Team Members
Filters -> Year: 2020
AUTHORS: Guillermina Cledou ; Jose Proenca ; Luis Soares Barbosa ;
SOURCE: 7th IPM International Conference on Fundamentals of Software Engineering (FSEN) in FUNDAMENTALS OF SOFTWARE ENGINEERING, FSEN 2017, VOLUME: 10522, PAGES: 51-66, PUBLISHED: 2017
AUTHORS: Claudia M Necco; Jose N Oliveira ; Joost Visser; Roberto Uzal;
SOURCE: JOURNAL OF COMPUTER SCIENCE & TECHNOLOGY, VOLUME: 17, ISSUE: 2, PAGES: 140-148, PUBLISHED: 2017
AUTHORS: Catarina Peixoto; Claudia Brito ; Mariana Fontainhas; Hugo Peixoto; José Machado ; António Abelha ;
SOURCE: IEEE 5th International Conference on Future Internet of Things and Cloud (FiCloud) in 2017 5TH INTERNATIONAL CONFERENCE ON FUTURE INTERNET OF THINGS AND CLOUD WORKSHOPS (FICLOUDW) 2017, VOLUME: 2017-January, PAGES: 178-185, PUBLISHED: 2017
AUTHORS: Francisco Maia ;
SOURCE: 13th European Dependable Computing Conference, EDCC 2017, Geneva, Switzerland, September 4-8, 2017, PAGES: 6-7, PUBLISHED: 2017
AUTHORS: Francisco Maia ; João Paulo ; Fábio Coelho ; Francisco Neves ; José Pereira ; Rui Oliveira ;
SOURCE: 17th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems, DAIS 2017 - Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017 in Distributed Applications and Interoperable Systems - 17th IFIP WG 6.1 International Conference, DAIS 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings, VOLUME: 10320, PAGES: 51-66, PUBLISHED: 2017
AUTHORS: Michael D Harrison; Paolo Masci ; Jose Creissac Campos ; Paul Curzon;
SOURCE: 4th International Symposium on Foundations of Health Information Engineering and Systems (FHIES) / 6th International Workshop on Software Engineering in Healthcare (SEHC) in SOFTWARE ENGINEERING IN HEALTH CARE, SEHC 2014, VOLUME: 9062, PAGES: 113-128, PUBLISHED: 2017
AUTHORS: Luís Soares Barbosa ;
SOURCE: 16th IFIP WG 6.11 Conference on e-Business, e-Services, and e-Society, I3E 2017 in Digital Nations - Smart Cities, Innovation, and Sustainability - 16th IFIP WG 6.11 Conference on e-Business, e-Services, and e-Society, I3E 2017, Delhi, India, November 21-23, 2017, Proceedings, VOLUME: 10595, PAGES: 85-93, PUBLISHED: 2017
AUTHORS: José Creissac Campos ; Tiago Abade; José Luís Silva; Michael D Harrison;
SOURCE: J. Ambient Intelligence and Humanized Computing, VOLUME: 8, ISSUE: 4, PAGES: 551-566, PUBLISHED: 2017
AUTHORS: Ricardo Goncalves ; Paulo Sergio Almeida ; Carlos Baquero ; Vitor Fonte ;
SOURCE: 36th IEEE Symposium on Reliable Distributed Systems (SRDS) in 2017 IEEE 36TH INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS (SRDS), PAGES: 194-203, PUBLISHED: 2017
AUTHORS: Ricardo Morla ;
SOURCE: CoRR, VOLUME: abs/1707.00641, PUBLISHED: 2017
AUTHORS: Mário Santos; João Saraiva ; Zoltán Porkoláb; Dániel Krupp;
SOURCE: 6th Workshop on Software Quality Analysis, Monitoring, Improvement, and Applications, SQAMIA 2017 in Proceedings of the Sixth Workshop on Software Quality Analysis, Monitoring, Improvement, and Applications, Belgrade, Serbia, September 11-13, 2017., VOLUME: 1938, PUBLISHED: 2017
AUTHORS: Rui Pereira ; Marco Couto ; Francisco Ribeiro ; Rui Rua ; Jacome Cunha; Joao Paulo Fernandes ; Joao Saraiva ;
SOURCE: 10th ACM SIGPLAN International Conference on Software Language Engineering (SLE) as part of ACM SIGPLAN Conference on Systems, Programming, Languages and Applications - Software for Humanity (SPLASH) in SLE'17: PROCEEDINGS OF THE 10TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON SOFTWARE LANGUAGE ENGINEERING, PAGES: 256-267, PUBLISHED: 2017
AUTHORS: Nuno Macedo ; Alcino Cunha ; Eduardo Pessoa;
SOURCE: 15th International Conference on Automated Technology for Verification and Analysis, ATVA 2017 in Automated Technology for Verification and Analysis - 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings, VOLUME: 10482, PAGES: 344-362, PUBLISHED: 2017
AUTHORS: da Silva, CP; Lima, SR; Silva, JM ;
SOURCE: 17th International Conference on Next Generation Teletraffic and Wired/Wireless Advanced Networks and Systems, NEW2AN 2017, 10th Conference on Internet of Things and Smart Spaces, ruSMART 2017 and 3rd International Workshop on Nano-scale Computing and Communications, NsCC 2017 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 10531 LNCS, PAGES: 109-120, PUBLISHED: 2017
AUTHORS: Paulo Sergio Almeida ; Carlos Baquero ; Martin Farach Colton; Paulo Jesus; Miguel A Mosteiro;
SOURCE: DISTRIBUTED COMPUTING, VOLUME: 30, ISSUE: 4, PAGES: 281-291, PUBLISHED: 2017
AUTHORS: José Proença ; Markus Lumpe;
SOURCE: FACS, VOLUME: 10487, PUBLISHED: 2017
AUTHORS: Raju Halder; Jose Proenca ; Nuno Macedo ; Andre Santos;
SOURCE: 5th IEEE/ACM International FME Workshop on Formal Methods in Software Engineering (FormaliSE) in 2017 IEEE/ACM 5TH INTERNATIONAL FME WORKSHOP ON FORMAL METHODS IN SOFTWARE ENGINEERING (FORMALISE) PROCEEDINGS, PAGES: 44-50, PUBLISHED: 2017