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: Lima, Rui ; Ferreira, Joao F.; Mendes, Alexandra ; Carreira, Carolina;
PUBLISHED: 2024, SOURCE: AUTOMATED SOFTWARE ENGINEERING, VOLUME: 31, ISSUE: 1, PAGES: 1
AUTHORS: Guimaraes, Jose D.; Vasilevskiy, Mikhail I.; Barbosa, Luis S. ;
PUBLISHED: 2024, SOURCE: QUANTUM, VOLUME: 8, PAGES: 1242
AUTHORS: Spano, Lucio Davide; Campos, Jose Creissac ; Dittmar, Anke;
PUBLISHED: 2024, SOURCE: 19th International-Federation-for-Information-Processing-Technical-Committee-13 (IFIP TC13) International Conference on Human-Computer Interaction (INTERACT) in DESIGN FOR EQUALITY AND JUSTICE, INTERACT 2023, PT I, VOLUME: 14535, PAGES: 177-182
AUTHORS: Walter Lucas; Fausto Carvalho; Rafael Campos Nunes; Rodrigo Bonifácio; João Saraiva ; Paola R G Accioly;
PUBLISHED: 2024, SOURCE: J. Softw. Evol. Process., VOLUME: 36, ISSUE: 5
AUTHORS: Cardoso, Waldson Rodrigues; Lima Ribeiro, Admilson de Ribamar; Cardoso da Silva, Joao Marco ;
PUBLISHED: 2024, SOURCE: 12th World Conference on Information Systems and Technologies (WorldCIST) in GOOD PRACTICES AND NEW PERSPECTIVES IN INFORMATION SYSTEMS AND TECHNOLOGIES, VOL 2, WORLDCIST 2024, VOLUME: 986, PAGES: 34-43
AUTHORS: Ferreira Moreira, Ezequiel Jose Veloso; Campo, Jose Creissac ;
PUBLISHED: 2024, SOURCE: 15th ACMSIGCHI Conference on Engineering Interactive Computing Systems (EICS) in ENGINEERING INTERACTIVE COMPUTER SYSTEMS, EICS 2023 INTERNATIONAL WORKSHOPS AND DOCTORAL CONSORTIUM, VOLUME: 14517, PAGES: 179-197
AUTHORS: Rovedy Aparecida Busquim e Silva; Nanci Naomi Arai; Luciana Akemi Burgareli; Jose Maria Parente de Oliveira; Jorge Sousa Pinto ;
PUBLISHED: 2024, SOURCE: Computer Science Foundations and Applied Logic, PAGES: 583-615
AUTHORS: Daniela Lopes; Jin Dong Dong; Pedro Medeiros; Daniel Castro; Diogo Barradas; Bernardo Portela ; João Vinagre; Bernardo Ferreira; Nicolas Christin; Nuno Santos;
PUBLISHED: 2024, SOURCE: 31st Annual Network and Distributed System Security Symposium, NDSS 2024, San Diego, California, USA, February 26 - March 1, 2024
AUTHORS: Almeida, Jose Bacelar ; Olmos, Santiago Arranz; Barbosa, Manuel ; Barthe, Gilles; Dupressoir, Francois; Gregoire, Benjamin; Laporte, Vincent; Lechenet, Jean Christophe; Low, Cameron; Oliveira, Tiago; Pacheco, Hugo ; Quaresma, Miguel; Schwabe, Peter; Strub, Pierre Yves;
PUBLISHED: 2024, SOURCE: 44th Annual International Cryptology Conference on Advances in Cryptology (CRYPTO) in ADVANCES IN CRYPTOLOGY - CRYPTO 2024, PT II, VOLUME: 14921, PAGES: 384-421
AUTHORS: Coelho, Fabio ; Rodrigues, Luis ; Mello, Joao; Villar, Jose ; Bessa, Ricardo ;
PUBLISHED: 2024, SOURCE: 20th International Conference on the European Energy Market (EEM) in 2024 20TH INTERNATIONAL CONFERENCE ON THE EUROPEAN ENERGY MARKET, EEM 2024, VOLUME: 158, PAGES: 1-6
AUTHORS: David R Ferreira; Alexandra Mendes ; João F Ferreira;
PUBLISHED: 2024, SOURCE: 46th International Conference on Software Engineering: Companion, ICSE-Companion 2024 in Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings, ICSE Companion 2024, Lisbon, Portugal, April 14-20, 2024, PAGES: 400-401
AUTHORS: Mendes, Joao; Lima, Solange Rito; Carvalho, Paulo; Silva, Joao Marco C. ;
PUBLISHED: 2024, SOURCE: 11st World Conference on Information Systems and Technologies (WorldCIST) in INFORMATION SYSTEMS AND TECHNOLOGIES, VOL 1, WORLDCIST 2023, VOLUME: 799, PAGES: 26-36
AUTHORS: Santos, Sofia; Saraiva, Joao ; Ribeiro, Francisco;
PUBLISHED: 2024, SOURCE: 5th ACM/IEEE International Workshop on Automated Program Repair (APR) in 2024 ACM/IEEE INTERNATIONAL WORKSHOP ON AUTOMATED PROGRAM REPAIR, APR 2024, PAGES: 42-45
AUTHORS: Silva, Alvaro; Mendes, Alexandra ; Ferreira, Joao F.;
PUBLISHED: 2024, SOURCE: IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE) in PROCEEDINGS OF THE 2024 IEEE/ACM 12TH INTERNATIONAL CONFERENCE ON FORMAL METHODS IN SOFTWARE ENGINEERING, FORMALISE 2024, PAGES: 138-142
AUTHORS: Alícia Oliveira; Beatriz Cepa; Cláudia Brito ; António Sousa;
PUBLISHED: 2024
AUTHORS: Alícia Oliveira; Beatriz Cepa; Cláudia Brito ; António Sousa;
PUBLISHED: 2024
AUTHORS: Alícia Oliveira; Beatriz Cepa; Cláudia Brito ; António Sousa;
PUBLISHED: 2024
AUTHORS: André Sequeira; Luís Paulo Santos ; Luís Soares Barbosa ;
PUBLISHED: 2024, SOURCE: CoRR, VOLUME: abs/2401.08307, PAGES: 1-11
AUTHORS: Rodrigues, Bruno; Amorim, Ivone ; Silva, Ivan; Mendes, Alexandra ;
PUBLISHED: 2024, SOURCE: 28th European Symposium on Research in Computer Security (ESORICS) in COMPUTER SECURITY. ESORICS 2023 INTERNATIONAL WORKSHOPS, PT I, VOLUME: 14398, PAGES: 199-215
AUTHORS: Rufino, Jesus; Ramirez, Juan Marcos; Aguilar, Jose; Baquero, Carlos ; Champati, Jaya; Frey, Davide; Lillo, Rosa Elvira; Fernandez Anta, Antonio;
PUBLISHED: 2024, SOURCE: HELIYON, VOLUME: 10, ISSUE: 1