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
Publications Count: 1304
112 Team MembersFilters -> Year: 2020
1
TITLE: A Comparison of Message Exchange Patterns in BFT Protocols: (Experience Report)
AUTHORS: Silva, F ; Alonso, A ; Pereira, J; Oliveira, R;
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 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 12135 LNCS, PAGES: 104-120, PUBLISHED: 2020
AUTHORS: Silva, F ; Alonso, A ; Pereira, J; Oliveira, R;
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 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 12135 LNCS, PAGES: 104-120, PUBLISHED: 2020
INDEXED IN: 
Scopus 
CrossRef
Scopus CrossRef2
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 ;
SOURCE: 16th International Workshop on Foundations of Coordination Languages and Self-Adaptative Systems (FOCLASA) in SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 191, PAGES: 102379, PUBLISHED: 2020
AUTHORS: Allberson Bruno D de Oliveira Dantas; Francisco Heron de Carvalho Junior; Luis Soares Barbosa ;
SOURCE: 16th International Workshop on Foundations of Coordination Languages and Self-Adaptative Systems (FOCLASA) in SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 191, PAGES: 102379, PUBLISHED: 2020
3
TITLE: A Fuzzy Modal Logic for Fuzzy Transition Systems
AUTHORS: Manisha Jain; Alexandre Madeira ; Manuel A Martins;
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, PUBLISHED: 2020
AUTHORS: Manisha Jain; Alexandre Madeira ; Manuel A Martins;
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, PUBLISHED: 2020
INDEXED IN: 
WOS CrossRef
WOS CrossRef4
TITLE: A Survey and Classification of Software-Defined Storage Systems Full Text
AUTHORS: Ricardo Macedo ; João Paulo ; José Pereira; Alysson Bessani;
SOURCE: ACM Computing Surveys, VOLUME: 53, ISSUE: 3, PAGES: 1-38, PUBLISHED: 2020
AUTHORS: Ricardo Macedo ; João Paulo ; José Pereira; Alysson Bessani;
SOURCE: ACM Computing Surveys, VOLUME: 53, ISSUE: 3, PAGES: 1-38, PUBLISHED: 2020
INDEXED IN: CrossRef
CrossRef5
TITLE: Age-Partitioned Bloom Filters PDF
AUTHORS: Ariel Shtul; Carlos Baquero ; Paulo Sérgio Almeida ;
SOURCE: CoRR, VOLUME: abs/2001.03147, PUBLISHED: 2020
AUTHORS: Ariel Shtul; Carlos Baquero ; Paulo Sérgio Almeida ;
SOURCE: CoRR, VOLUME: abs/2001.03147, PUBLISHED: 2020
INDEXED IN: 
DBLP 
arXiv
DBLP arXiv6
TITLE: Arx: reactive programming for synchronous connectors
AUTHORS: Proença, J; Cledou, G ;
SOURCE: 22nd IFIP WG 6.1 International Conference on Coordination Models and Languages, COORDINATION 2020, held as part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 12134 LNCS, PAGES: 39-56, PUBLISHED: 2020
AUTHORS: Proença, J; Cledou, G ;
SOURCE: 22nd IFIP WG 6.1 International Conference on Coordination Models and Languages, COORDINATION 2020, held as part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 12134 LNCS, PAGES: 39-56, PUBLISHED: 2020
INDEXED IN: Scopus CrossRef
Scopus CrossRef7
TITLE: Behavioural and Abstractor Specifications for a Dynamic Logic with Binders and Silent Transitions
AUTHORS: Hennicker, R; Knapp, A; Madeira, A ; Mindt, F;
SOURCE: 2nd International Workshop on Dynamic Logic, DALI 2019 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 12005 LNCS, PAGES: 19-34, PUBLISHED: 2020
AUTHORS: Hennicker, R; Knapp, A; Madeira, A ; Mindt, F;
SOURCE: 2nd International Workshop on Dynamic Logic, DALI 2019 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 12005 LNCS, PAGES: 19-34, PUBLISHED: 2020
INDEXED IN: Scopus CrossRef
Scopus CrossRef8
TITLE: Black-box inter-application traffic monitoring for adaptive container placement Full Text
AUTHORS: Neves, F ; Vilaça, R ; Pereira, J ;
SOURCE: 35th Annual ACM Symposium on Applied Computing, SAC 2020 in Proceedings of the ACM Symposium on Applied Computing, PAGES: 259-266, PUBLISHED: 2020
AUTHORS: Neves, F ; Vilaça, R ; Pereira, J ;
SOURCE: 35th Annual ACM Symposium on Applied Computing, SAC 2020 in Proceedings of the ACM Symposium on Applied Computing, PAGES: 259-266, PUBLISHED: 2020
INDEXED IN: Scopus CrossRef
Scopus CrossRef9
TITLE: Building a Polyglot Data Access Layer for a Low-Code Application Development Platform: (Experience Report)
AUTHORS: Nunes Alonso, A ; Abreu, J; Nunes, D; Vieira, A; Santos, L; Soares, T; Pereira, J;
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 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 12135 LNCS, PAGES: 95-103, PUBLISHED: 2020
AUTHORS: Nunes Alonso, A ; Abreu, J; Nunes, D; Vieira, A; Santos, L; Soares, T; Pereira, J;
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 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 12135 LNCS, PAGES: 95-103, PUBLISHED: 2020
INDEXED IN: Scopus CrossRef
Scopus CrossRef10
TITLE: CoronaSurveys: Using Surveys with Indirect Reporting to Estimate the Incidence and Evolution of Epidemics
AUTHORS: Oluwasegun Ojo; Augusto García Agundez; Benjamin Girault; Harold Hernández; Elisa Cabana; Amanda García García; Payman Arabshahi; Carlos Baquero ; Paolo Casari; Ednaldo José Ferreira; Davide Frey; Chryssis Georgiou; Mathieu Goessens; Anna Ishchenko; Ernesto Jiménez; Oleksiy Kebkal; Rosa Lillo; Raquel Menezes; Nicolas Nicolaou; Antonio Ortega; ...More
SOURCE: CoRR, VOLUME: abs/2005.12783, PUBLISHED: 2020
AUTHORS: Oluwasegun Ojo; Augusto García Agundez; Benjamin Girault; Harold Hernández; Elisa Cabana; Amanda García García; Payman Arabshahi; Carlos Baquero ; Paolo Casari; Ednaldo José Ferreira; Davide Frey; Chryssis Georgiou; Mathieu Goessens; Anna Ishchenko; Ernesto Jiménez; Oleksiy Kebkal; Rosa Lillo; Raquel Menezes; Nicolas Nicolaou; Antonio Ortega; ...More
SOURCE: CoRR, VOLUME: abs/2005.12783, PUBLISHED: 2020
INDEXED IN: DBLP
DBLP11
TITLE: DaLi - Dynamic Logic, new trends and applications
AUTHORS: Mario R F Benevides; Alexandre Madeira ;
SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 111, PAGES: 100514, PUBLISHED: 2020
AUTHORS: Mario R F Benevides; Alexandre Madeira ;
SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 111, PAGES: 100514, PUBLISHED: 2020
12
TITLE: DaLí - Dynamic Logic, new trends and applications
AUTHORS: Mario R F Benevides; Alexandre Madeira ;
SOURCE: J. Log. Algebraic Methods Program., VOLUME: 111, PAGES: 100514, PUBLISHED: 2020
AUTHORS: Mario R F Benevides; Alexandre Madeira ;
SOURCE: J. Log. Algebraic Methods Program., VOLUME: 111, PAGES: 100514, PUBLISHED: 2020
INDEXED IN: DBLP
DBLP13
TITLE: Decentralized Privacy-Preserving Proximity Tracing
AUTHORS: Carmela Troncoso; Mathias Payer; Jean Pierre Hubaux; Marcel Salathé; James R Larus; Edouard Bugnion; Wouter Lueks; Theresa Stadler; Apostolos Pyrgelis; Daniele Antonioli; Ludovic Barman; Sylvain Chatel; Kenneth G Paterson; Srdjan Capkun; David A Basin; Jan Beutel; Dennis Jackson; Marc Roeschlin; Patrick Leu; Bart Preneel; ...More
SOURCE: CoRR, VOLUME: abs/2005.12273, PUBLISHED: 2020
AUTHORS: Carmela Troncoso; Mathias Payer; Jean Pierre Hubaux; Marcel Salathé; James R Larus; Edouard Bugnion; Wouter Lueks; Theresa Stadler; Apostolos Pyrgelis; Daniele Antonioli; Ludovic Barman; Sylvain Chatel; Kenneth G Paterson; Srdjan Capkun; David A Basin; Jan Beutel; Dennis Jackson; Marc Roeschlin; Patrick Leu; Bart Preneel; ...More
SOURCE: CoRR, VOLUME: abs/2005.12273, PUBLISHED: 2020
INDEXED IN: DBLP
DBLP14
TITLE: Dynamic Logic. New Trends and Applications - Second International Workshop, DaLí 2019, Porto, Portugal, October 7-11, 2019, Proceedings
AUTHORS: Luís Soares Barbosa ; Alexandru Baltag;
SOURCE: DaLí, VOLUME: 12005, PUBLISHED: 2020
AUTHORS: Luís Soares Barbosa ; Alexandru Baltag;
SOURCE: DaLí, VOLUME: 12005, PUBLISHED: 2020
INDEXED IN: DBLP
DBLP15
TITLE: Energy Refactorings for Android in the Large and in the Wild
AUTHORS: Marco Couto ; João Saraiva ; João Paulo Fernandes ;
SOURCE: 27th IEEE International Conference on Software Analysis, Evolution and Reengineering, SANER 2020, London, ON, Canada, February 18-21, 2020, PAGES: 217-228, PUBLISHED: 2020
AUTHORS: Marco Couto ; João Saraiva ; João Paulo Fernandes ;
SOURCE: 27th IEEE International Conference on Software Analysis, Evolution and Reengineering, SANER 2020, London, ON, Canada, February 18-21, 2020, PAGES: 217-228, PUBLISHED: 2020
INDEXED IN: DBLP CrossRef
DBLP CrossRef16
TITLE: Experiences on Teaching Alloy with an Automated Assessment Platform
AUTHORS: Nuno Macedo ; Alcino Cunha ; José Pereira; Renato Carvalho; Ricardo Silva; Ana C R Paiva; Miguel Sozinho Ramalho; Daniel Castro Silva;
SOURCE: Rigorous State-Based Methods - 7th International Conference, ABZ 2020, Ulm, Germany, May 27-29, 2020, Proceedings, VOLUME: 12071, PAGES: 61-77, PUBLISHED: 2020
AUTHORS: Nuno Macedo ; Alcino Cunha ; José Pereira; Renato Carvalho; Ricardo Silva; Ana C R Paiva; Miguel Sozinho Ramalho; Daniel Castro Silva;
SOURCE: Rigorous State-Based Methods - 7th International Conference, ABZ 2020, Ulm, Germany, May 27-29, 2020, Proceedings, VOLUME: 12071, PAGES: 61-77, PUBLISHED: 2020
INDEXED IN: DBLP
DBLP17
TITLE: Expressing disambiguation filters as combinators
AUTHORS: José Nuno Macedo ; João Saraiva ;
SOURCE: SAC '20: The 35th ACM/SIGAPP Symposium on Applied Computing, online event, [Brno, Czech Republic], March 30 - April 3, 2020, PAGES: 1348-1351, PUBLISHED: 2020
AUTHORS: José Nuno Macedo ; João Saraiva ;
SOURCE: SAC '20: The 35th ACM/SIGAPP Symposium on Applied Computing, online event, [Brno, Czech Republic], March 30 - April 3, 2020, PAGES: 1348-1351, PUBLISHED: 2020
INDEXED IN: DBLP
DBLP18
TITLE: GenoDedup: Similarity-Based Deduplication and Delta-Encoding for Genome Sequencing Data
AUTHORS: Vinicius Vielmo Cogo; Joao Paulo ; Alysson Bessani;
SOURCE: IEEE Transactions on Computers, PAGES: 1-1, PUBLISHED: 2020
AUTHORS: Vinicius Vielmo Cogo; Joao Paulo ; Alysson Bessani;
SOURCE: IEEE Transactions on Computers, PAGES: 1-1, PUBLISHED: 2020
INDEXED IN: CrossRef
CrossRef19
TITLE: Introducing Synchrony in Fuzzy Automata
AUTHORS: Leandro Gomes ; Alexandre Madeira ; Luis Soares Barbosa ;
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: 43-60, PUBLISHED: 2020
AUTHORS: Leandro Gomes ; Alexandre Madeira ; Luis Soares Barbosa ;
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: 43-60, PUBLISHED: 2020
INDEXED IN: WOS CrossRef
WOS CrossRef20
TITLE: On the Construction of Multi-valued Concurrent Dynamic Logics
AUTHORS: Gomes, L ;
SOURCE: 2nd International Workshop on Dynamic Logic, DALI 2019 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 12005 LNCS, PAGES: 218-226, PUBLISHED: 2020
AUTHORS: Gomes, L ;
SOURCE: 2nd International Workshop on Dynamic Logic, DALI 2019 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 12005 LNCS, PAGES: 218-226, PUBLISHED: 2020
INDEXED IN: Scopus CrossRef
Scopus CrossRef