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: 1554
150 Team MembersFilters -> Year: 2024
281
TITLE: The High-Assurance ROS Framework
AUTHORS: Santos, Andre ; Cunha, Alcino ; Macedo, Nuno ;
PUBLISHED: 2021, SOURCE: 3rd IEEE/ACM International Workshop on Robotics Software Engineering (RoSE) in 2021 IEEE/ACM 3RD INTERNATIONAL WORKSHOP ON ROBOTICS SOFTWARE ENGINEERING (ROSE 2021), PAGES: 37-40
AUTHORS: Santos, Andre ; Cunha, Alcino ; Macedo, Nuno ;
PUBLISHED: 2021, SOURCE: 3rd IEEE/ACM International Workshop on Robotics Software Engineering (RoSE) in 2021 IEEE/ACM 3RD INTERNATIONAL WORKSHOP ON ROBOTICS SOFTWARE ENGINEERING (ROSE 2021), PAGES: 37-40
282
TITLE: The Management of Risks and Benefits when Engineering Interactive Digital Systems
AUTHORS: José Creissac Campos ; Nicholas Graham, TC; Lucio Davide Spano; Jan Van den Bergh;
PUBLISHED: 2021, SOURCE: EICS '21: ACM SIGCHI Symposium on Engineering Interactive Computing Systems, Virtual Event, The Netherlands, 8-11 June 2021, PAGES: 81-83
AUTHORS: José Creissac Campos ; Nicholas Graham, TC; Lucio Davide Spano; Jan Van den Bergh;
PUBLISHED: 2021, SOURCE: EICS '21: ACM SIGCHI Symposium on Engineering Interactive Computing Systems, Virtual Event, The Netherlands, 8-11 June 2021, PAGES: 81-83
INDEXED IN: 
DBLP
DBLP283
TITLE: The VALU3S ECSEL project: Verification and validation of automated systems safety and security Full Text
AUTHORS: Joseba Andoni Agirre; Leire Etxeberria; Raul Barbosa; Stylianos Basagiannis; Georgios Giantamidis; Thomas Bauer; Enrico Ferrari; Mikel Labayen Esnaola; Vanessa Orani; Johnny Öberg; David Pereira; José Proença ; Rupert Schlick; Ales Smrcka; Walter Tiberti; Stefano Tonetta; Marco Bozzano; Ahmet Yazici; Behrooz Sangchoolie;
PUBLISHED: 2021, SOURCE: Microprocess. Microsystems, VOLUME: 87, PAGES: 104349
AUTHORS: Joseba Andoni Agirre; Leire Etxeberria; Raul Barbosa; Stylianos Basagiannis; Georgios Giantamidis; Thomas Bauer; Enrico Ferrari; Mikel Labayen Esnaola; Vanessa Orani; Johnny Öberg; David Pereira; José Proença ; Rupert Schlick; Ales Smrcka; Walter Tiberti; Stefano Tonetta; Marco Bozzano; Ahmet Yazici; Behrooz Sangchoolie;
PUBLISHED: 2021, SOURCE: Microprocess. Microsystems, VOLUME: 87, PAGES: 104349
INDEXED IN: 
Scopus DBLP
Scopus DBLP284
TITLE: Totally-Ordered Prefix Parallel Snapshot Isolation
AUTHORS: Nuno Faria ; José Pereira ;
PUBLISHED: 2021, SOURCE: 8th Workshop on Principles and Practice of Consistency for Distributed Data, PaPoC 2021 in PaPoC@EuroSys 2021, 8th Workshop on Principles and Practice of Consistency for Distributed Data, Online Event, United Kingdom, April 26, 2021, PAGES: 6:1-6:7
AUTHORS: Nuno Faria ; José Pereira ;
PUBLISHED: 2021, SOURCE: 8th Workshop on Principles and Practice of Consistency for Distributed Data, PaPoC 2021 in PaPoC@EuroSys 2021, 8th Workshop on Principles and Practice of Consistency for Distributed Data, Online Event, United Kingdom, April 26, 2021, PAGES: 6:1-6:7
285
TITLE: Towards a bottom-up approach to inclusive digital identity systems
AUTHORS: João Marco C Silva ; Vitor Fonte ; António Sousa;
PUBLISHED: 2021, SOURCE: ICEGOV 2021: 14th International Conference on Theory and Practice of Electronic Governance, Athens, Greece, October 6 - 8, 2021, PAGES: 523-525
AUTHORS: João Marco C Silva ; Vitor Fonte ; António Sousa;
PUBLISHED: 2021, SOURCE: ICEGOV 2021: 14th International Conference on Theory and Practice of Electronic Governance, Athens, Greece, October 6 - 8, 2021, PAGES: 523-525
INDEXED IN: DBLP
DBLP286
TITLE: Towards a bottom-up approach to inclusive digital identity systems
AUTHORS: Silva, JM ; Fonte, V; Sousa, A;
PUBLISHED: 2021, SOURCE: 14th International Conference on Theory and Practice of Electronic Governance, ICEGOV 2021 in ACM International Conference Proceeding Series, PAGES: 523-525
AUTHORS: Silva, JM ; Fonte, V; Sousa, A;
PUBLISHED: 2021, SOURCE: 14th International Conference on Theory and Practice of Electronic Governance, ICEGOV 2021 in ACM International Conference Proceeding Series, PAGES: 523-525
INDEXED IN: Scopus
Scopus287
TITLE: Towards a Distributed Learning Architecture for Securing ISP Home Customers
AUTHORS: Pedro M Santos ; Joana Sousa; Ricardo Morla ; Nuno Martins; João Tagaio; João Serra; Carlos Silva; Mário Sousa; Pedro F Souto; Luis Lino Ferreira; João Ferreira; Luís Almeida ;
PUBLISHED: 2021, SOURCE: Artificial Intelligence Applications and Innovations. AIAI 2021 IFIP WG 12.5 International Workshops - 5G-PINE 2021, AI-BIO 2021, DAAI 2021, DARE 2021, EEAI 2021, and MHDW 2021, Hersonissos, Crete, Greece, June 25-27, 2021, Proceedings, VOLUME: 628, PAGES: 311-322
AUTHORS: Pedro M Santos ; Joana Sousa; Ricardo Morla ; Nuno Martins; João Tagaio; João Serra; Carlos Silva; Mário Sousa; Pedro F Souto; Luis Lino Ferreira; João Ferreira; Luís Almeida ;
PUBLISHED: 2021, SOURCE: Artificial Intelligence Applications and Innovations. AIAI 2021 IFIP WG 12.5 International Workshops - 5G-PINE 2021, AI-BIO 2021, DAAI 2021, DARE 2021, EEAI 2021, and MHDW 2021, Hersonissos, Crete, Greece, June 25-27, 2021, Proceedings, VOLUME: 628, PAGES: 311-322
INDEXED IN: DBLP
DBLP288
TITLE: Towards a specification theory for fuzzy modal logic
AUTHORS: Jain, M; Gomes, L ; Madeira, A ; Barbosa, LS ;
PUBLISHED: 2021, SOURCE: 15th International Symposium on Theoretical Aspects of Software Engineering (TASE) in 2021 INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING (TASE 2021), PAGES: 175-182
AUTHORS: Jain, M; Gomes, L ; Madeira, A ; Barbosa, LS ;
PUBLISHED: 2021, SOURCE: 15th International Symposium on Theoretical Aspects of Software Engineering (TASE) in 2021 INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING (TASE 2021), PAGES: 175-182
289
TITLE: Towards Formal Verification of Password Generation Algorithms used in Password Managers
AUTHORS: Miguel Grilo; João F Ferreira; José Bacelar Almeida ;
PUBLISHED: 2021, SOURCE: CoRR, VOLUME: abs/2106.03626
AUTHORS: Miguel Grilo; João F Ferreira; José Bacelar Almeida ;
PUBLISHED: 2021, SOURCE: CoRR, VOLUME: abs/2106.03626
INDEXED IN: DBLP
DBLP290
TITLE: Towards Generic Fine-Grained Transaction Isolation in Polystores
AUTHORS: Nuno Faria ; José Pereira ; Ana Nunes Alonso ; Ricardo Vilaça ;
PUBLISHED: 2021, SOURCE: VLDB workshops: International Workshop on Polystore Systems for Heterogeneous Data in Multiple Databases with Privacy and Security Assurances, Poly 2021 and 7th International Workshop on Data Management and Analytics for Medicine and Healthcare, DMAH 2021 in Heterogeneous Data Management, Polystores, and Analytics for Healthcare - VLDB Workshops, Poly 2021 and DMAH 2021, Virtual Event, August 20, 2021, Revised Selected Papers, VOLUME: 12921, PAGES: 29-42
AUTHORS: Nuno Faria ; José Pereira ; Ana Nunes Alonso ; Ricardo Vilaça ;
PUBLISHED: 2021, SOURCE: VLDB workshops: International Workshop on Polystore Systems for Heterogeneous Data in Multiple Databases with Privacy and Security Assurances, Poly 2021 and 7th International Workshop on Data Management and Analytics for Medicine and Healthcare, DMAH 2021 in Heterogeneous Data Management, Polystores, and Analytics for Healthcare - VLDB Workshops, Poly 2021 and DMAH 2021, Virtual Event, August 20, 2021, Revised Selected Papers, VOLUME: 12921, PAGES: 29-42
291
TITLE: Towards the integration of user interface prototyping and model-based development
AUTHORS: Catarina Machado; José Creissac Campos ;
PUBLISHED: 2021, SOURCE: International Conference on Graphics and Interaction, ICGI 2021, Porto, Portugal, November 4-5, 2021, PAGES: 1-8
AUTHORS: Catarina Machado; José Creissac Campos ;
PUBLISHED: 2021, SOURCE: International Conference on Graphics and Interaction, ICGI 2021, Porto, Portugal, November 4-5, 2021, PAGES: 1-8
INDEXED IN: DBLP
DBLP292
TITLE: Zipping Strategies and Attribute Grammars
AUTHORS: José Nuno Macedo; Marcos Viera; João Saraiva ;
PUBLISHED: 2021, SOURCE: CoRR, VOLUME: abs/2110.07902
AUTHORS: José Nuno Macedo; Marcos Viera; João Saraiva ;
PUBLISHED: 2021, SOURCE: CoRR, VOLUME: abs/2110.07902
INDEXED IN: DBLP
DBLP293
TITLE: 802.11 wireless simulation and anomaly detection using HMM and UBM
AUTHORS: Allahdadi, A ; Morla, R ; Cardoso, JS ;
PUBLISHED: 2020, SOURCE: SIMULATION-TRANSACTIONS OF THE SOCIETY FOR MODELING AND SIMULATION INTERNATIONAL, VOLUME: 96, ISSUE: 12, PAGES: 939-956
AUTHORS: Allahdadi, A ; Morla, R ; Cardoso, JS ;
PUBLISHED: 2020, SOURCE: SIMULATION-TRANSACTIONS OF THE SOCIETY FOR MODELING AND SIMULATION INTERNATIONAL, VOLUME: 96, ISSUE: 12, PAGES: 939-956
294
TITLE: A Case for Partitioned Bloom Filters
AUTHORS: Paulo Sérgio Almeida ;
PUBLISHED: 2020, SOURCE: CoRR, VOLUME: abs/2009.11789, ISSUE: 6, PAGES: 1681-1691
AUTHORS: Paulo Sérgio Almeida ;
PUBLISHED: 2020, SOURCE: CoRR, VOLUME: abs/2009.11789, ISSUE: 6, PAGES: 1681-1691
295
TITLE: A Comparison of Message Exchange Patterns in BFT Protocols - (Experience Report). (Experience Report)
AUTHORS: Fábio Silva ; Ana Nunes Alonso ; José Pereira ; Rui Oliveira ;
PUBLISHED: 2020, SOURCE: 20th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems, DAIS 2020, held as part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020 in Distributed Applications and Interoperable Systems - 20th IFIP WG 6.1 International Conference, DAIS 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings, VOLUME: 12135, PAGES: 104-120
AUTHORS: Fábio Silva ; Ana Nunes Alonso ; José Pereira ; Rui Oliveira ;
PUBLISHED: 2020, SOURCE: 20th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems, DAIS 2020, held as part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020 in Distributed Applications and Interoperable Systems - 20th IFIP WG 6.1 International Conference, DAIS 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings, VOLUME: 12135, PAGES: 104-120
296
TITLE: A component-based framework for certification of components in a cloud of HPC services Full Text
AUTHORS: Allberson Bruno D de Oliveira Dantas; Francisco Heron de Carvalho Junior; Luis Soares Barbosa ;
PUBLISHED: 2020, SOURCE: 16th International Workshop on Foundations of Coordination Languages and Self-Adaptative Systems (FOCLASA) in SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 191, PAGES: 102379
AUTHORS: Allberson Bruno D de Oliveira Dantas; Francisco Heron de Carvalho Junior; Luis Soares Barbosa ;
PUBLISHED: 2020, SOURCE: 16th International Workshop on Foundations of Coordination Languages and Self-Adaptative Systems (FOCLASA) in SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 191, PAGES: 102379
297
TITLE: A Fuzzy Modal Logic for Fuzzy Transition Systems
AUTHORS: Jain, M; Madeira, A ; Martins, MA ;
PUBLISHED: 2020, SOURCE: 14th International Workshop on Logical and Semantic Frameworks, with Applications (LSFA) / 27th International Conference on Automated Deduction (CADE) in ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 348, PAGES: 85-103
AUTHORS: Jain, M; Madeira, A ; Martins, MA ;
PUBLISHED: 2020, SOURCE: 14th International Workshop on Logical and Semantic Frameworks, with Applications (LSFA) / 27th International Conference on Automated Deduction (CADE) in ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 348, PAGES: 85-103
298
TITLE: A Survey and Classification of Software-Defined Storage Systems Full Text
AUTHORS: Ricardo Macedo ; Joao Paulo ; Jose Pereira ; Alysson Bessani ;
PUBLISHED: 2020, SOURCE: ACM COMPUTING SURVEYS, VOLUME: 53, ISSUE: 3, PAGES: 48:1-48:38
AUTHORS: Ricardo Macedo ; Joao Paulo ; Jose Pereira ; Alysson Bessani ;
PUBLISHED: 2020, SOURCE: ACM COMPUTING SURVEYS, VOLUME: 53, ISSUE: 3, PAGES: 48:1-48:38
299
TITLE: Age-Partitioned Bloom Filters PDF
AUTHORS: Ariel Shtul; Carlos Baquero ; Paulo Sérgio Almeida ;
PUBLISHED: 2020, SOURCE: CoRR, VOLUME: abs/2001.03147
AUTHORS: Ariel Shtul; Carlos Baquero ; Paulo Sérgio Almeida ;
PUBLISHED: 2020, SOURCE: CoRR, VOLUME: abs/2001.03147
INDEXED IN: DBLP 
arXiv
DBLP arXiv300
TITLE: alurity, a toolbox for robot cybersecurity
AUTHORS: Víctor Mayoral Vilches; Irati Abad Fernández; Martin Pinzger; Stefan Rass; Bernhard Dieber; Alcino Cunha ; Francisco J Rodríguez Lera; Giovanni Lacava; Angelica Marotta; Fabio Martinelli; Endika Gil Uriarte;
PUBLISHED: 2020, SOURCE: CoRR, VOLUME: abs/2010.07759
AUTHORS: Víctor Mayoral Vilches; Irati Abad Fernández; Martin Pinzger; Stefan Rass; Bernhard Dieber; Alcino Cunha ; Francisco J Rodríguez Lera; Giovanni Lacava; Angelica Marotta; Fabio Martinelli; Endika Gil Uriarte;
PUBLISHED: 2020, SOURCE: CoRR, VOLUME: abs/2010.07759
INDEXED IN: DBLP
DBLP