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: 1570
167 Team MembersFilters -> Year: 2026
341
TITLE: Verification of Multiple Models of a Safety-Critical Motor Controller in Railway Systems
AUTHORS: José Proença ; Sina Borrami; Jorge Sanchez de Nova; David Pereira ; Giann Spilere Nandi;
PUBLISHED: 2022, SOURCE: RSSRail, VOLUME: 13294 LNCS, PAGES: 83-94
AUTHORS: José Proença ; Sina Borrami; Jorge Sanchez de Nova; David Pereira ; Giann Spilere Nandi;
PUBLISHED: 2022, SOURCE: RSSRail, VOLUME: 13294 LNCS, PAGES: 83-94
342
TITLE: Verification of Railway Network Models with EVEREST
AUTHORS: Martins, J; Fonseca, JM; Costa, R ; Campos, JC ; Cunha, A ; Macedo, N ; Oliveira, JN ;
PUBLISHED: 2022, SOURCE: PROCEEDINGS OF THE 25TH INTERNATIONAL ACM/IEEE CONFERENCE ON MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, MODELS 2022, PAGES: 345-355
AUTHORS: Martins, J; Fonseca, JM; Costa, R ; Campos, JC ; Cunha, A ; Macedo, N ; Oliveira, JN ;
PUBLISHED: 2022, SOURCE: PROCEEDINGS OF THE 25TH INTERNATIONAL ACM/IEEE CONFERENCE ON MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, MODELS 2022, PAGES: 345-355
343
TITLE: Verified Password Generation from Password Composition Policies
AUTHORS: Grilo, Miguel; Campos, Joao; Ferreira, Joao F.; Almeida, Jose Bacelar ; Mendes, Alexandra ;
PUBLISHED: 2022, SOURCE: 17th International Conference on Integrated Formal Methods (IFM) in INTEGRATED FORMAL METHODS, IFM 2022, VOLUME: 13274, PAGES: 271-288
AUTHORS: Grilo, Miguel; Campos, Joao; Ferreira, Joao F.; Almeida, Jose Bacelar ; Mendes, Alexandra ;
PUBLISHED: 2022, SOURCE: 17th International Conference on Integrated Formal Methods (IFM) in INTEGRATED FORMAL METHODS, IFM 2022, VOLUME: 13274, PAGES: 271-288
344
TITLE: WebAssembly versus JavaScript: Energy and Runtime Performance
AUTHORS: De Macedo, Joao; Abreu, Rui ; Pereira, Rui ; Saraiva, Joao ;
PUBLISHED: 2022, SOURCE: 8th International Conference on ICT for Sustainability (ICT4S) in 2022 INTERNATIONAL CONFERENCE ON ICT FOR SUSTAINABILITY (ICT4S 2022), PAGES: 24-34
AUTHORS: De Macedo, Joao; Abreu, Rui ; Pereira, Rui ; Saraiva, Joao ;
PUBLISHED: 2022, SOURCE: 8th International Conference on ICT for Sustainability (ICT4S) in 2022 INTERNATIONAL CONFERENCE ON ICT FOR SUSTAINABILITY (ICT4S 2022), PAGES: 24-34
345
TITLE: Weighted synchronous automata
AUTHORS: Gomes, Leandro ; Madeira, Alexandre ; Barbosa, Luis Soares ;
PUBLISHED: 2022, SOURCE: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, VOLUME: 32, ISSUE: 9, PAGES: 1234-1253
AUTHORS: Gomes, Leandro ; Madeira, Alexandre ; Barbosa, Luis Soares ;
PUBLISHED: 2022, SOURCE: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, VOLUME: 32, ISSUE: 9, PAGES: 1234-1253
346
TITLE: Which Technologies are Most Frequently Used by Data Scientists?
AUTHORS: Paula Pereira; João Paulo Fernandes ; Jácome Cunha ;
PUBLISHED: 2022, SOURCE: VL/HCC, VOLUME: 2022-September, PAGES: 1-5
AUTHORS: Paula Pereira; João Paulo Fernandes ; Jácome Cunha ;
PUBLISHED: 2022, SOURCE: VL/HCC, VOLUME: 2022-September, PAGES: 1-5
347
TITLE: Why3-do: The Way of Harmonious Distributed System Proofs
AUTHORS: Lourenco, Claudio Belo; Pinto, Jorge Sousa ;
PUBLISHED: 2022, SOURCE: 31st European Symposium on Programming (ESOP) Held as Part of the 25th European Joint Conferences on Theory and Practice of Software (ETAPS) in PROGRAMMING LANGUAGES AND SYSTEMS, ESOP 2022, VOLUME: 13240, PAGES: 114-142
AUTHORS: Lourenco, Claudio Belo; Pinto, Jorge Sousa ;
PUBLISHED: 2022, SOURCE: 31st European Symposium on Programming (ESOP) Held as Part of the 25th European Joint Conferences on Theory and Practice of Software (ETAPS) in PROGRAMMING LANGUAGES AND SYSTEMS, ESOP 2022, VOLUME: 13240, PAGES: 114-142
348
TITLE: Zipping Strategies and Attribute Grammars
AUTHORS: José Nuno Macedo ; Marcos Viera; João Saraiva ;
PUBLISHED: 2022, SOURCE: FLOPS, VOLUME: 13215 LNCS, PAGES: 112-132
AUTHORS: José Nuno Macedo ; Marcos Viera; João Saraiva ;
PUBLISHED: 2022, SOURCE: FLOPS, VOLUME: 13215 LNCS, PAGES: 112-132
349
TITLE: A deductive reasoning approach for database applications using verification conditions
AUTHORS: Alam, MI; Halder, R; Pinto, JS ;
PUBLISHED: 2021, SOURCE: JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 175, PAGES: 110903
AUTHORS: Alam, MI; Halder, R; Pinto, JS ;
PUBLISHED: 2021, SOURCE: JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 175, PAGES: 110903
350
TITLE: A Proposal for the Classification of Methods for Verification and Validation of Safety, Cybersecurity, and Privacy of Automated Systems
AUTHORS: Jose Luis de la Vara; Thomas Bauer; Bernhard Fischer; Mustafa Karaca; Henrique Madeira ; Martin Matschnig; Silvia Mazzini; Giann Spilere Nandi; Fabio Patrone; David Pereira; José Proença ; Rupert Schlick; Stefano Tonetta; Ugur Yayan; Behrooz Sangchoolie;
PUBLISHED: 2021, SOURCE: QUATIC, VOLUME: 1439 CCIS, PAGES: 325-340
AUTHORS: Jose Luis de la Vara; Thomas Bauer; Bernhard Fischer; Mustafa Karaca; Henrique Madeira ; Martin Matschnig; Silvia Mazzini; Giann Spilere Nandi; Fabio Patrone; David Pereira; José Proença ; Rupert Schlick; Stefano Tonetta; Ugur Yayan; Behrooz Sangchoolie;
PUBLISHED: 2021, SOURCE: QUATIC, VOLUME: 1439 CCIS, PAGES: 325-340
351
TITLE: A semantics and a logic for <i>Fuzzy Arden Syntax</i>
AUTHORS: Gomes, L ; Madeira, A ; Barbosa, LS ;
PUBLISHED: 2021, SOURCE: SOFT COMPUTING, VOLUME: 25, ISSUE: 9, PAGES: 6789-6805
AUTHORS: Gomes, L ; Madeira, A ; Barbosa, LS ;
PUBLISHED: 2021, SOURCE: SOFT COMPUTING, VOLUME: 25, ISSUE: 9, PAGES: 6789-6805
352
TITLE: Algebraic Adversaries in the Universal Composability Framework
AUTHORS: Michel Abdalla; Manuel Barbosa ; Jonathan Katz; Julian Loss; Jiayu Xu;
PUBLISHED: 2021, SOURCE: ASIACRYPT (3), VOLUME: 13092 LNCS, PAGES: 311-341
AUTHORS: Michel Abdalla; Manuel Barbosa ; Jonathan Katz; Julian Loss; Jiayu Xu;
PUBLISHED: 2021, SOURCE: ASIACRYPT (3), VOLUME: 13092 LNCS, PAGES: 311-341
353
TITLE: An Outlook on using Packet Sampling in Flow-based C2 TLS Malware Traffic Detection
AUTHORS: Novo, Carlos; Silva, Joao Marco C. ; Morla, Ricardo ;
PUBLISHED: 2021, SOURCE: 12th International Conference on Network of the Future (NoF)) in PROCEEDINGS OF THE 2021 12TH INTERNATIONAL CONFERENCE ON NETWORK OF THE FUTURE (NOF 2021), PAGES: 1-5
AUTHORS: Novo, Carlos; Silva, Joao Marco C. ; Morla, Ricardo ;
PUBLISHED: 2021, SOURCE: 12th International Conference on Network of the Future (NoF)) in PROCEEDINGS OF THE 2021 12TH INTERNATIONAL CONFERENCE ON NETWORK OF THE FUTURE (NOF 2021), PAGES: 1-5
354
TITLE: ATOCS: Automatic Configuration of Encryption Schemes for Secure NoSQL Databases
AUTHORS: Ferreira, David; Paulo, Joao ; Matos, Miguel;
PUBLISHED: 2021, SOURCE: 17th European Dependable Computing Conference (EDCC) in 2021 17TH EUROPEAN DEPENDABLE COMPUTING CONFERENCE (EDCC 2021), PAGES: 67-74
AUTHORS: Ferreira, David; Paulo, Joao ; Matos, Miguel;
PUBLISHED: 2021, SOURCE: 17th European Dependable Computing Conference (EDCC) in 2021 17TH EUROPEAN DEPENDABLE COMPUTING CONFERENCE (EDCC 2021), PAGES: 67-74
355
TITLE: Automatic Repair of Java Code with Timing Side-Channel Vulnerabilities
AUTHORS: Lima, Rui; Ferreira, Joao F. ; Mendes, Alexandra ;
PUBLISHED: 2021, SOURCE: 36th IEEE/ACM International Conference on Automated Software Engineering (ASE) in 2021 36TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING WORKSHOPS (ASEW 2021), PAGES: 1-8
AUTHORS: Lima, Rui; Ferreira, Joao F. ; Mendes, Alexandra ;
PUBLISHED: 2021, SOURCE: 36th IEEE/ACM International Conference on Automated Software Engineering (ASE) in 2021 36TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING WORKSHOPS (ASEW 2021), PAGES: 1-8
356
TITLE: Balancing the Detection of Malicious Traffic in SDN Context
AUTHORS: Machado, Bruno Salgado; Silva, Joao Marco C. ; Lima, Solange Rito; Carvalho, Paulo ;
PUBLISHED: 2021, SOURCE: 12th International Conference on Ubiquitous and Future Networks (ICUFN) in 12TH INTERNATIONAL CONFERENCE ON UBIQUITOUS AND FUTURE NETWORKS (ICUFN 2021), VOLUME: 2021-August, PAGES: 106-111
AUTHORS: Machado, Bruno Salgado; Silva, Joao Marco C. ; Lima, Solange Rito; Carvalho, Paulo ;
PUBLISHED: 2021, SOURCE: 12th International Conference on Ubiquitous and Future Networks (ICUFN) in 12TH INTERNATIONAL CONFERENCE ON UBIQUITOUS AND FUTURE NETWORKS (ICUFN 2021), VOLUME: 2021-August, PAGES: 106-111
357
TITLE: Balancing the Formal and the Informal in User-centred Design
AUTHORS: Harrison, MD ; Masci, P; Campos, JC ;
PUBLISHED: 2021, SOURCE: INTERACTING WITH COMPUTERS, VOLUME: 33, ISSUE: 1, PAGES: 55-72
AUTHORS: Harrison, MD ; Masci, P; Campos, JC ;
PUBLISHED: 2021, SOURCE: INTERACTING WITH COMPUTERS, VOLUME: 33, ISSUE: 1, PAGES: 55-72
358
TITLE: BDUS. implementing block devices in user space
AUTHORS: Alberto Faria; Ricardo Macedo ; José Pereira; João Paulo;
PUBLISHED: 2021, SOURCE: Proceedings of the 14th ACM International Conference on Systems and Storage
AUTHORS: Alberto Faria; Ricardo Macedo ; José Pereira; João Paulo;
PUBLISHED: 2021, SOURCE: Proceedings of the 14th ACM International Conference on Systems and Storage
359
TITLE: BDUS: implementing block devices in user space
AUTHORS: Alberto Faria ; Ricardo Macedo ; José Pereira ; João Paulo ;
PUBLISHED: 2021, SOURCE: SYSTOR, PAGES: 8:1-8:11
AUTHORS: Alberto Faria ; Ricardo Macedo ; José Pereira ; João Paulo ;
PUBLISHED: 2021, SOURCE: SYSTOR, PAGES: 8:1-8:11
INDEXED IN: 
DBLP
DBLP360
TITLE: Bringing Green Software to Computer Science Curriculum: Perspectives from Researchers and Educators
AUTHORS: João Saraiva ; Ziliang Zong; Rui Pereira ;
PUBLISHED: 2021, SOURCE: ITiCSE (1), PAGES: 498-504
AUTHORS: João Saraiva ; Ziliang Zong; Rui Pereira ;
PUBLISHED: 2021, SOURCE: ITiCSE (1), PAGES: 498-504
