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: 1539
150 Team MembersFilters -> Year: 2024
AUTHORS: Baumann, K; Campos, JC ; Dix, A; Nigay, L; Palanque, P; Vanderdonckt, J; van der Veer, G; Weyers, B;
PUBLISHED: 2021, SOURCE: 18th IFIP TC 13 International Conference on Human-Computer Interaction (INTERACT) in HUMAN-COMPUTER INTERACTION, INTERACT 2021, PT V, VOLUME: 12936, PAGES: 542-547
AUTHORS: Pereira, A ; Proenca, A ;
PUBLISHED: 2021, SOURCE: COMPUTER PHYSICS COMMUNICATIONS, VOLUME: 263, PAGES: 107844
AUTHORS: Ait Ameur, Y; Bowen, J; Campos, J ; Palanque, P; Weyers, B;
PUBLISHED: 2021, SOURCE: INTERACTING WITH COMPUTERS, VOLUME: 33, ISSUE: 1, PAGES: 1-2
AUTHORS: Allahdadi, A ; Pernes, D ; Cardoso, JS ; Morla, R ;
PUBLISHED: 2021, SOURCE: NEURAL COMPUTING & APPLICATIONS, VOLUME: 33, ISSUE: 14, PAGES: 8777-8794
AUTHORS: Neves, F ; Machado, N ; Vilaca, R ; Pereira, J ;
PUBLISHED: 2021, SOURCE: 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) in 51ST ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS (DSN 2021), PAGES: 212-223
AUTHORS: Cledou, G ; Proenca, J ; Sputh, BHC; Verhulst, E;
PUBLISHED: 2021, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 203, PAGES: 102566
AUTHORS: Hennicker, R; Knapp, A; Madeira, A ;
PUBLISHED: 2021, SOURCE: FORMAL ASPECTS OF COMPUTING, VOLUME: 33, ISSUE: 6, PAGES: 1209-1248
AUTHORS: Miguel Brito; Jácome Cunha ; João Saraiva ;
PUBLISHED: 2021, SOURCE: 36th Annual ACM Symposium on Applied Computing, SAC 2021 in SAC '21: The 36th ACM/SIGAPP Symposium on Applied Computing, Virtual Event, Republic of Korea, March 22-26, 2021, PAGES: 1409-1418
AUTHORS: Kyle J Harms; Jácome Cunha ; Steve Oney; Caitlin Kelleher;
PUBLISHED: 2021, SOURCE: VL/HCC
AUTHORS: Rodrigo Caldas; Carlos Novo; Ricardo Morla ; Luis Cruz; António Carvalho; David Campelo;
PUBLISHED: 2021, SOURCE: 5th Cyber Security in Networking Conference, CSNet 2021 in 5th Cyber Security in Networking Conference, CSNet 2021, Abu Dhabi, United Arab Emirates, October 12-14, 2021, PAGES: 23-30
AUTHORS: da Giao, Hugo; Cunha, Jacome ; Pereira, Rui ;
PUBLISHED: 2021, SOURCE: IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) in 2021 IEEE SYMPOSIUM ON VISUAL LANGUAGES AND HUMAN-CENTRIC COMPUTING (VL/HCC 2021), VOLUME: 2010-October, PAGES: 1-3
AUTHORS: Barbosa, J ; Navratil, P; Paulo Santos, L; Fussell, D;
PUBLISHED: 2021, SOURCE: In Situ Infrastructures for Enabling Extreme-Scale Analysis and Visualization, ISAV 2021 - Held in conjunction with the International Conference for High Performance Computing, Networking, Storage and Analysis, SC 2021 in ACM International Conference Proceeding Series, PAGES: 1-5
AUTHORS: Almeida, Jose Bacelar ; Barbosa, Manuel ; Correia, Manuel L.; Eldefrawy, Karim; Graham Lengrand, Stephane; Pacheco, Hugo ; Pereira, Vitor;
PUBLISHED: 2021, SOURCE: ACM SIGSAC Conference on Computer and Communications Security (ACM CCS) in CCS '21: PROCEEDINGS OF THE 2021 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY, PAGES: 2587-2600
AUTHORS: José Bacelar Almeida ; Manuel Barbosa ; Manuel L Correia; Karim Eldefrawy; Stéphane Graham Lengrand; Hugo Pacheco ; Vitor Pereira;
PUBLISHED: 2021, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2021, PAGES: 1149
AUTHORS: José Carlos Bacelar Almeida ; Manuel Barbosa ; Karim Eldefrawy; Stéphane Graham Lengrand; Hugo Pacheco ; Vitor Pereira ;
PUBLISHED: 2021, SOURCE: CoRR, VOLUME: abs/2104.05516
AUTHORS: Manuel Barbosa ; Gilles Barthe ; Benjamin Grégoire; Adrien Koutsos; Pierre Yves Strub;
PUBLISHED: 2021, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2021, PAGES: 156
AUTHORS: Barbosa, Manuel ; Barthe, Gilles ; Gregoire, Benjamin; Koutsos, Adrien; Strub, Pierre Yves;
PUBLISHED: 2021, SOURCE: ACM SIGSAC Conference on Computer and Communications Security (ACM CCS) in CCS '21: PROCEEDINGS OF THE 2021 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY, PAGES: 2541-2563
AUTHORS: Dantas, M; Leitao, D ; Correia, C ; Macedo, R ; Xu, WJ; Paulo, J ;
PUBLISHED: 2021, SOURCE: IEEE International Conference on Cluster Computing (Cluster) in 2021 IEEE INTERNATIONAL CONFERENCE ON CLUSTER COMPUTING (CLUSTER 2021), PAGES: 657-663
AUTHORS: Hennicker, R; Knapp, A; Madeira, A ;
PUBLISHED: 2021, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 122, PAGES: 100698
AUTHORS: Rolf Hennicker; Alexander Knapp; Alexandre Madeira ;
PUBLISHED: 2021, SOURCE: J. Log. Algebraic Methods Program., VOLUME: 122, PAGES: 100698