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: Francisco Neves ; Nuno Machado ; Jose Pereira ;
SOURCE: 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) in 2018 48TH ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS (DSN), PAGES: 534-541, PUBLISHED: 2018
AUTHORS: Joao Marco C Silva ; Kalil Araujo Bispo; Paulo Carvalho; Solange Rito Lima;
SOURCE: International Conference on Smart Communications in Network Technologies (SaCoNeT) in 2018 INTERNATIONAL CONFERENCE ON SMART COMMUNICATIONS IN NETWORK TECHNOLOGIES (SACONET), PAGES: 317-322, PUBLISHED: 2018
AUTHORS: Michael D Harrison; Paolo Masci ; José Creissac Campos ;
SOURCE: International Conference on Software Technologies: Applications and Foundations, STAF 2018 in Software Technologies: Applications and Foundations - STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers, VOLUME: 11176, PAGES: 274-289, PUBLISHED: 2018
AUTHORS: Dirk Hofmann; Renato Neves ; Pedro Nora;
SOURCE: THEORY AND APPLICATIONS OF CATEGORIES, VOLUME: 33, PAGES: 276-295, PUBLISHED: 2018
AUTHORS: Deepthi Devaki Akkoorath; José Brandão; Annette Bieniusa; Carlos Baquero ;
SOURCE: 24th International European Conference on Parallel and Distributed Computing, Euro-Par 2018 in Euro-Par 2018: Parallel Processing - 24th International Conference on Parallel and Distributed Computing, Turin, Italy, August 27-31, 2018, Proceedings, VOLUME: 11014, PAGES: 492-504, PUBLISHED: 2018
AUTHORS: Jose Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe; Hugo Pacheco ; Vitor Pereira ; Bernardo Portela ;
SOURCE: 31st IEEE Computer Security Foundations Symposium (CSF) held as part of the Federated Logic Conference (FLoC) in IEEE 31ST COMPUTER SECURITY FOUNDATIONS SYMPOSIUM (CSF 2018), VOLUME: 2018-July, PAGES: 132-146, PUBLISHED: 2018
AUTHORS: Rui Couto ; Jose C Campos ; Nuno Macedo ; Alcino Cunha ;
SOURCE: 4th Workshop on Formal Integrated Development Environment (F-IDE) held as a Satellite Workshop of FLoC in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 284, ISSUE: 284, PAGES: 37-52, PUBLISHED: 2018
AUTHORS: Rui Couto ; Jose Creissac Campos ;
SOURCE: 1st International Conference on Graphics and Interaction (ICGI) in 2018 1ST INTERNATIONAL CONFERENCE ON GRAPHICS AND INTERACTION (ICGI 2018), PUBLISHED: 2018
AUTHORS: Rui Pereira ; Pedro Simão; Jácome Cunha; João Saraiva ;
SOURCE: Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, ASE 2018, Montpellier, France, September 3-7, 2018, PAGES: 856-859, PUBLISHED: 2018
AUTHORS: Md. Imran Alam; Raju Halder; Harshita Goswami; Jorge Sousa Pinto ;
SOURCE: 13th International Conference on Evaluation of Novel Approaches to Software Engineering in PROCEEDINGS OF THE 13TH INTERNATIONAL CONFERENCE ON EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING, PAGES: 359-366, PUBLISHED: 2018
AUTHORS: Renato Neves ; Luis S Barbosa ;
SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 744, PAGES: 113-142, PUBLISHED: 2018
AUTHORS: Barbosa, LS ;
SOURCE: 1st International Workshop on Dynamic Logic, DALI 2017 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 10669 LNCS, PAGES: 55-63, PUBLISHED: 2018
AUTHORS: Santo, JE; Frade, MJ ; Pinto, L;
SOURCE: 22nd International Conference on Types for Proofs and Programs, TYPES 2016 in Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 97, PUBLISHED: 2018
AUTHORS: Benevides, M; Madeira, A ;
SOURCE: 1st International Workshop on Dynamic Logic, DALI 2017 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 10669 LNCS, PUBLISHED: 2018
AUTHORS: Claudio Rebelo de Sa ; Paulo Azevedo ; Carlos Soares ; Alipio Mario Jorge ; Arno Knobbe;
SOURCE: INFORMATION FUSION, VOLUME: 40, PAGES: 112-125, PUBLISHED: 2018
AUTHORS: Francisco Maia ; Hugues Mercier; Andrey Brito;
SOURCE: P2DS@EuroSys, PUBLISHED: 2018