High-Assurance Software Laboratory (HASLab)
Laboratório de Software Confiável
Inesc Technology and Science (INESC TEC) :: CS: Computer Science
AuthID: I-000-AY4
Publications Actions
Publications at Authenticus Institutional Profile
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.
External
Internal
No data about last update.
Rules:
This actions updates publications citations of every team member.
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 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!
No data about last update.
Rules:
This actions updates all pre print publications of the group/institution.
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!
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: 1490
150 Team MembersFilters -> Year: 2024
81
TITLE: Capturing Qubit Decoherence through Paraconsistent Transition Systems
AUTHORS: Barbosa, Luis Soares ; Madeira, Alexandre ;
PUBLISHED: 2023, SOURCE: 7th International Conference on the Art, Science, and Engineering of Programming (Programming) in COMPANION PROCEEDINGS OF THE 7TH INTERNATIONAL CONFERENCE ON THE ART, SCIENCE, AND ENGINEERING OF PROGRAMMING, PROGRAMMING 2023, PAGES: 109-110
AUTHORS: Barbosa, Luis Soares ; Madeira, Alexandre ;
PUBLISHED: 2023, SOURCE: 7th International Conference on the Art, Science, and Engineering of Programming (Programming) in COMPANION PROCEEDINGS OF THE 7TH INTERNATIONAL CONFERENCE ON THE ART, SCIENCE, AND ENGINEERING OF PROGRAMMING, PROGRAMMING 2023, PAGES: 109-110
82
TITLE: CI/CD Meets Block-Based Languages
AUTHORS: da Giao, Hugo; Pereira, Rui ; Cunha, Jacome ;
PUBLISHED: 2023, SOURCE: IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) in 2023 IEEE SYMPOSIUM ON VISUAL LANGUAGES AND HUMAN-CENTRIC COMPUTING, VL/HCC, PAGES: 232-234
AUTHORS: da Giao, Hugo; Pereira, Rui ; Cunha, Jacome ;
PUBLISHED: 2023, SOURCE: IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) in 2023 IEEE SYMPOSIUM ON VISUAL LANGUAGES AND HUMAN-CENTRIC COMPUTING, VL/HCC, PAGES: 232-234
83
TITLE: Consistent comparison of symptom-based methods for COVID-19 infection detection Full Text
AUTHORS: Rufino, Jesus; Ramirez, Juan Marcos; Aguilar, Jose; Baquero, Carlos ; Champati, Jaya; Frey, Davide; Lillo, Rosa Elvira; Fernandez Anta, Antonio;
PUBLISHED: 2023, SOURCE: INTERNATIONAL JOURNAL OF MEDICAL INFORMATICS, VOLUME: 177, PAGES: 105133
AUTHORS: Rufino, Jesus; Ramirez, Juan Marcos; Aguilar, Jose; Baquero, Carlos ; Champati, Jaya; Frey, Davide; Lillo, Rosa Elvira; Fernandez Anta, Antonio;
PUBLISHED: 2023, SOURCE: INTERNATIONAL JOURNAL OF MEDICAL INFORMATICS, VOLUME: 177, PAGES: 105133
INDEXED IN: 
WOS 
DBLP
WOS DBLP84
TITLE: CRIBA: A Tool for Comprehensive Analysis of Cryptographic Ransomware's I/O Behavior Full Text
AUTHORS: Esteves, Tania ; Pereira, Bruno ; Oliveira, Rui Pedro; Marco, Joao ; Paulo, Joao ;
PUBLISHED: 2023, SOURCE: 42nd International Symposium on Reliable Distributed Systems (SRDS) in 2023 42ND INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS, SRDS 2023, PAGES: 46-58
AUTHORS: Esteves, Tania ; Pereira, Bruno ; Oliveira, Rui Pedro; Marco, Joao ; Paulo, Joao ;
PUBLISHED: 2023, SOURCE: 42nd International Symposium on Reliable Distributed Systems (SRDS) in 2023 42ND INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS, SRDS 2023, PAGES: 46-58
85
TITLE: Diagnosing applications' I/O behavior through system call observability
AUTHORS: Tânia Esteves; Ricardo Macedo; Rui Oliveira ; João Paulo;
PUBLISHED: 2023, SOURCE: 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2023 - Workshops, Porto, Portugal, June 27-30, 2023, PAGES: 1-8
AUTHORS: Tânia Esteves; Ricardo Macedo; Rui Oliveira ; João Paulo;
PUBLISHED: 2023, SOURCE: 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2023 - Workshops, Porto, Portugal, June 27-30, 2023, PAGES: 1-8
INDEXED IN: DBLP
DBLP86
TITLE: Diagnosing applications' I/O behavior through system call observability
AUTHORS: Tânia Esteves; Ricardo Macedo ; Rui Oliveira; João Paulo ;
PUBLISHED: 2023, SOURCE: CoRR, VOLUME: abs/2304.08569
AUTHORS: Tânia Esteves; Ricardo Macedo ; Rui Oliveira; João Paulo ;
PUBLISHED: 2023, SOURCE: CoRR, VOLUME: abs/2304.08569
INDEXED IN: DBLP
DBLP87
TITLE: Diagnosing applications' I/O behavior through system call observability
AUTHORS: Esteves, Tania ; Macedo, Ricardo ; Oliveira, Rui ; Paulo, Joao ;
PUBLISHED: 2023, SOURCE: 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) in 2023 53RD ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS WORKSHOPS, DSN-W, PAGES: 1-8
AUTHORS: Esteves, Tania ; Macedo, Ricardo ; Oliveira, Rui ; Paulo, Joao ;
PUBLISHED: 2023, SOURCE: 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) in 2023 53RD ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS WORKSHOPS, DSN-W, PAGES: 1-8
88
TITLE: Distributed and Dependable Software-Defined Storage Control Plane for HPC
AUTHORS: Miranda, Mariana ;
PUBLISHED: 2023, SOURCE: 23rd IEEE/ACM International Symposium on Cluster, Cloud and Internet Computing (CCGrid) in 2023 IEEE/ACM 23RD INTERNATIONAL SYMPOSIUM ON CLUSTER, CLOUD AND INTERNET COMPUTING WORKSHOPS, CCGRIDW, PAGES: 319-321
AUTHORS: Miranda, Mariana ;
PUBLISHED: 2023, SOURCE: 23rd IEEE/ACM International Symposium on Cluster, Cloud and Internet Computing (CCGrid) in 2023 IEEE/ACM 23RD INTERNATIONAL SYMPOSIUM ON CLUSTER, CLOUD AND INTERNET COMPUTING WORKSHOPS, CCGRIDW, PAGES: 319-321
89
TITLE: Distributed Applications and Interoperable Systems - 23rd IFIP WG 6.1 International Conference, DAIS 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023, Proceedings
AUTHORS: Marta Patiño Martínez; João Paulo ;
PUBLISHED: 2023, SOURCE: DAIS, VOLUME: 13909
AUTHORS: Marta Patiño Martínez; João Paulo ;
PUBLISHED: 2023, SOURCE: DAIS, VOLUME: 13909
INDEXED IN: DBLP
DBLP90
TITLE: Editorial to the Second IFIP WG 2.7/13.4 Workshop on HCI Engineering Education
AUTHORS: Lucio Davide Spano; José Creissac Campos ; Anke Dittmar;
PUBLISHED: 2023, SOURCE: Design for Equality and Justice - INTERACT 2023 IFIP TC 13 Workshops, York, UK, August 28 - September 1, 2023, Revised Selected Papers, Part I, VOLUME: 14535, PAGES: 177-182
AUTHORS: Lucio Davide Spano; José Creissac Campos ; Anke Dittmar;
PUBLISHED: 2023, SOURCE: Design for Equality and Justice - INTERACT 2023 IFIP TC 13 Workshops, York, UK, August 28 - September 1, 2023, Revised Selected Papers, Part I, VOLUME: 14535, PAGES: 177-182
INDEXED IN: DBLP
DBLP91
TITLE: Efficient Embedding of Strategic Attribute Grammars via Memoization
AUTHORS: José Nuno Macedo ; Emanuel Rodrigues; Marcos Viera; João Saraiva ;
PUBLISHED: 2023, SOURCE: 2023 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation, PEPM 2023, in affiliation with the Annual Symposium on Principles of Programming Languages, POPL 2023 in Proceedings of the 2023 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation, PEPM 2023, Boston, MA, USA, January 16-17, 2023, PAGES: 41-54
AUTHORS: José Nuno Macedo ; Emanuel Rodrigues; Marcos Viera; João Saraiva ;
PUBLISHED: 2023, SOURCE: 2023 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation, PEPM 2023, in affiliation with the Annual Symposium on Principles of Programming Languages, POPL 2023 in Proceedings of the 2023 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation, PEPM 2023, Boston, MA, USA, January 16-17, 2023, PAGES: 41-54
92
TITLE: Energy Efficient Software in an Engineering Course
AUTHORS: João Saraiva ; Rui Pereira ;
PUBLISHED: 2023, SOURCE: 8th Central European Functional Programming School, CEFP 2019 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 11950 LNCS, PAGES: 77-97
AUTHORS: João Saraiva ; Rui Pereira ;
PUBLISHED: 2023, SOURCE: 8th Central European Functional Programming School, CEFP 2019 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 11950 LNCS, PAGES: 77-97
INDEXED IN: 
Scopus 
CrossRef
Scopus CrossRef93
TITLE: Execution Time Program Verification with Tight Bounds
AUTHORS: Silva, Ana Carolina; Barbosa, Manuel ; Florido, Mario ;
PUBLISHED: 2023, SOURCE: 25th International Symposium on Practical Aspects of Declarative Languages (PADL) in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PADL 2023, VOLUME: 13880, PAGES: 56-72
AUTHORS: Silva, Ana Carolina; Barbosa, Manuel ; Florido, Mario ;
PUBLISHED: 2023, SOURCE: 25th International Symposium on Practical Aspects of Declarative Languages (PADL) in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PADL 2023, VOLUME: 13880, PAGES: 56-72
94
TITLE: Exploring Automatic Specification Repair in Dafny Programs
AUTHORS: Abreu, Alexandre ; Macedo, Nuno ; Mendes, Alexandra ;
PUBLISHED: 2023, SOURCE: 38th IEEE/ACM International Conference on Automated Software Engineering (ASE) in 2023 38TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING WORKSHOPS, ASEW, PAGES: 105-112
AUTHORS: Abreu, Alexandre ; Macedo, Nuno ; Mendes, Alexandra ;
PUBLISHED: 2023, SOURCE: 38th IEEE/ACM International Conference on Automated Software Engineering (ASE) in 2023 38TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING WORKSHOPS, ASEW, PAGES: 105-112
95
TITLE: Exploring Data Analysis and Visualization Techniques for Project Tracking: Insights from the ITC
AUTHORS: Barrocas, Andre; da Silva, Alberto Rodrigues; Saraiva, Joao ;
PUBLISHED: 2023, SOURCE: 16th International Conference on the Quality of Information and Communications Technology (QUATIC) in QUALITY OF INFORMATION AND COMMUNICATIONS TECHNOLOGY, QUATIC 2023, VOLUME: 1871, PAGES: 147-162
AUTHORS: Barrocas, Andre; da Silva, Alberto Rodrigues; Saraiva, Joao ;
PUBLISHED: 2023, SOURCE: 16th International Conference on the Quality of Information and Communications Technology (QUATIC) in QUALITY OF INFORMATION AND COMMUNICATIONS TECHNOLOGY, QUATIC 2023, VOLUME: 1871, PAGES: 147-162
96
TITLE: Fixing and Mechanizing the Security Proof of Fiat-Shamir with Aborts and Dilithium
AUTHORS: Barbosa, Manuel ; Barthe, Gilles; Doczkal, Christian; Don, Jelle; Fehr, Serge; Gregoire, Benjamin; Huang, Yu Hsuan; Hulsing, Andreas; Lee, Yi; Wu, Xiaodi;
PUBLISHED: 2023, SOURCE: 43rd International Cryptology Conference (CRYPTO) in ADVANCES IN CRYPTOLOGY - CRYPTO 2023, PT V, VOLUME: 14085, PAGES: 358-389
AUTHORS: Barbosa, Manuel ; Barthe, Gilles; Doczkal, Christian; Don, Jelle; Fehr, Serge; Gregoire, Benjamin; Huang, Yu Hsuan; Hulsing, Andreas; Lee, Yi; Wu, Xiaodi;
PUBLISHED: 2023, SOURCE: 43rd International Cryptology Conference (CRYPTO) in ADVANCES IN CRYPTOLOGY - CRYPTO 2023, PT V, VOLUME: 14085, PAGES: 358-389
97
TITLE: Fixing and Mechanizing the Security Proof of Fiat-Shamir with Aborts and Dilithium
AUTHORS: Manuel Barbosa ; Gilles Barthe; Christian Doczkal; Jelle Don; Serge Fehr; Benjamin Grégoire; Yu Hsuan Huang; Andreas Hülsing; Yi Lee; Xiaodi Wu;
PUBLISHED: 2023, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2023, PAGES: 246
AUTHORS: Manuel Barbosa ; Gilles Barthe; Christian Doczkal; Jelle Don; Serge Fehr; Benjamin Grégoire; Yu Hsuan Huang; Andreas Hülsing; Yi Lee; Xiaodi Wu;
PUBLISHED: 2023, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2023, PAGES: 246
INDEXED IN: DBLP
DBLP98
TITLE: Flexcomm Simulator: Exploring Energy Flexibility in Software Defined Networks with ns-3
AUTHORS: Monteiro, Rui Pedro C. ; Silva, Joao Marco C. ;
PUBLISHED: 2023, SOURCE: 15th Workshop on Network Simulator-3 (WNS3) in PROCEEDINGS OF THE 2023 WORKSHOP ON NS-3, WNS3 2023, PAGES: 94-101
AUTHORS: Monteiro, Rui Pedro C. ; Silva, Joao Marco C. ;
PUBLISHED: 2023, SOURCE: 15th Workshop on Network Simulator-3 (WNS3) in PROCEEDINGS OF THE 2023 WORKSHOP ON NS-3, WNS3 2023, PAGES: 94-101
99
TITLE: Formally verifying Kyber Episode IV: Implementation correctness. Episode IV: Implementation correctness
AUTHORS: José Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe; Benjamin Grégoire; Vincent Laporte; Jean Christophe Léchenet; Tiago Oliveira; Hugo Pacheco ; Miguel Quaresma; Peter Schwabe; Antoine Séré; Pierre Yves Strub;
PUBLISHED: 2023, SOURCE: IACR Trans. Cryptogr. Hardw. Embed. Syst., VOLUME: 2023, ISSUE: 3, PAGES: 164-193
AUTHORS: José Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe; Benjamin Grégoire; Vincent Laporte; Jean Christophe Léchenet; Tiago Oliveira; Hugo Pacheco ; Miguel Quaresma; Peter Schwabe; Antoine Séré; Pierre Yves Strub;
PUBLISHED: 2023, SOURCE: IACR Trans. Cryptogr. Hardw. Embed. Syst., VOLUME: 2023, ISSUE: 3, PAGES: 164-193
100
TITLE: Formally verifying Kyber Part I: Implementation Correctness
AUTHORS: José Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe; Benjamin Grégoire; Vincent Laporte; Jean Christophe Léchenet; Tiago Oliveira; Hugo Pacheco ; Miguel Quaresma; Peter Schwabe; Antoine Séré; Pierre Yves Strub;
PUBLISHED: 2023, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2023, PAGES: 215
AUTHORS: José Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe; Benjamin Grégoire; Vincent Laporte; Jean Christophe Léchenet; Tiago Oliveira; Hugo Pacheco ; Miguel Quaresma; Peter Schwabe; Antoine Séré; Pierre Yves Strub;
PUBLISHED: 2023, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2023, PAGES: 215
INDEXED IN: DBLP
DBLP