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: 1300
118 Team MembersFilters -> Year: 2020
1
TITLE: 802.11 wireless simulation and anomaly detection using HMM and UBM
AUTHORS: Anisa Allahdadi; Ricardo Morla ; Jaime S Cardoso ;
SOURCE: SIMULATION-TRANSACTIONS OF THE SOCIETY FOR MODELING AND SIMULATION INTERNATIONAL, PAGES: 003754972095848, PUBLISHED: 2020
AUTHORS: Anisa Allahdadi; Ricardo Morla ; Jaime S Cardoso ;
SOURCE: SIMULATION-TRANSACTIONS OF THE SOCIETY FOR MODELING AND SIMULATION INTERNATIONAL, PAGES: 003754972095848, PUBLISHED: 2020
2
TITLE: A Case for Partitioned Bloom Filters
AUTHORS: Paulo Sérgio Almeida ;
SOURCE: CoRR, VOLUME: abs/2009.11789, PUBLISHED: 2020
AUTHORS: Paulo Sérgio Almeida ;
SOURCE: CoRR, VOLUME: abs/2009.11789, PUBLISHED: 2020
INDEXED IN: 
DBLP
DBLP3
TITLE: A Comparison of Message Exchange Patterns in BFT Protocols - (Experience Report)
AUTHORS: Fábio Silva ; Ana Nunes Alonso ; José Pereira ; Rui Oliveira ;
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, PUBLISHED: 2020
AUTHORS: Fábio Silva ; Ana Nunes Alonso ; José Pereira ; Rui Oliveira ;
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, PUBLISHED: 2020
4
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
5
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 CrossRef6
TITLE: A Survey and Classification of Software-Defined Storage Systems Full Text
AUTHORS: Ricardo Macedo ; Joao Paulo ; Jose Pereira ; Alysson Bessani;
SOURCE: ACM COMPUTING SURVEYS, VOLUME: 53, ISSUE: 3, PAGES: 48:1-48:38, PUBLISHED: 2020
AUTHORS: Ricardo Macedo ; Joao Paulo ; Jose Pereira ; Alysson Bessani;
SOURCE: ACM COMPUTING SURVEYS, VOLUME: 53, ISSUE: 3, PAGES: 48:1-48:38, PUBLISHED: 2020
7
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 arXiv8
TITLE: ARx: Reactive Programming for Synchronous Connectors
AUTHORS: José Proença ; Guillermina Cledou ;
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 Coordination Models and Languages - 22nd IFIP WG 6.1 International Conference, COORDINATION 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings, VOLUME: 12134, PAGES: 39-56, PUBLISHED: 2020
AUTHORS: José Proença ; Guillermina Cledou ;
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 Coordination Models and Languages - 22nd IFIP WG 6.1 International Conference, COORDINATION 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings, VOLUME: 12134, PAGES: 39-56, PUBLISHED: 2020
9
TITLE: Black-box inter-application traffic monitoring for adaptive container placement
AUTHORS: Francisco Neves ; Ricardo Vilaca ; Jose Pereira ;
SOURCE: 35th Annual ACM Symposium on Applied Computing (SAC) in PROCEEDINGS OF THE 35TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING (SAC'20), PAGES: 259-266, PUBLISHED: 2020
AUTHORS: Francisco Neves ; Ricardo Vilaca ; Jose Pereira ;
SOURCE: 35th Annual ACM Symposium on Applied Computing (SAC) in PROCEEDINGS OF THE 35TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING (SAC'20), PAGES: 259-266, PUBLISHED: 2020
10
TITLE: Boolean Searchable Symmetric Encryption with Filters on Trusted Hardware
AUTHORS: Bernardo Ferreira; Bernardo Portela; Tiago Oliveira ; Guilherme Borges; Henrique Joao Domingos; Joao Leitao;
SOURCE: IEEE Transactions on Dependable and Secure Computing, PAGES: 1-1, PUBLISHED: 2020
AUTHORS: Bernardo Ferreira; Bernardo Portela; Tiago Oliveira ; Guilherme Borges; Henrique Joao Domingos; Joao Leitao;
SOURCE: IEEE Transactions on Dependable and Secure Computing, PAGES: 1-1, PUBLISHED: 2020
INDEXED IN: CrossRef
CrossRef11
TITLE: Building a Polyglot Data Access Layer for a Low-Code Application Development Platform - (Experience Report)
AUTHORS: Ana Nunes Alonso ; João Abreu; David Nunes; André Vieira; Luiz Santos; Tércio Soares; José Pereira ;
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: 95-103, PUBLISHED: 2020
AUTHORS: Ana Nunes Alonso ; João Abreu; David Nunes; André Vieira; Luiz Santos; Tércio Soares; José Pereira ;
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: 95-103, PUBLISHED: 2020
12
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
DBLP13
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
14
TITLE: Data governance: Organizing data for trustworthy Artificial Intelligence
AUTHORS: Marijn Janssen; Paul Brous; Elsa Estevez; Luis S Barbosa ; Tomasz Janowski;
SOURCE: GOVERNMENT INFORMATION QUARTERLY, VOLUME: 37, ISSUE: 3, PAGES: 101493, PUBLISHED: 2020
AUTHORS: Marijn Janssen; Paul Brous; Elsa Estevez; Luis S Barbosa ; Tomasz Janowski;
SOURCE: GOVERNMENT INFORMATION QUARTERLY, VOLUME: 37, ISSUE: 3, PAGES: 101493, PUBLISHED: 2020
15
TITLE: Decentralized Privacy-Preserving Proximity Tracing PDF
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: IEEE Data Eng. Bull., VOLUME: 43, ISSUE: 2, PAGES: 36-66, 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: IEEE Data Eng. Bull., VOLUME: 43, ISSUE: 2, PAGES: 36-66, PUBLISHED: 2020
INDEXED IN: DBLP
DBLP16
TITLE: Development and Validation of a Descriptive Cognitive Model for Predicting Usability Issues in a Low-Code Development Platform
AUTHORS: Carlos Silva; Joana Vieira; Jose C Campos ; Rui Couto ; Antonio N Ribeiro ;
SOURCE: HUMAN FACTORS, PAGES: 001872082092042, PUBLISHED: 2020
AUTHORS: Carlos Silva; Joana Vieira; Jose C Campos ; Rui Couto ; Antonio N Ribeiro ;
SOURCE: HUMAN FACTORS, PAGES: 001872082092042, PUBLISHED: 2020
17
TITLE: Does Domain Name Encryption Increase Users' Privacy? Full Text
AUTHORS: Martino Trevisan; Francesca Soro; Marco Mellia; Idilio Drago; Ricardo Morla ;
SOURCE: ACM SIGCOMM COMPUTER COMMUNICATION REVIEW, VOLUME: 50, ISSUE: 3, PAGES: 17-22, PUBLISHED: 2020
AUTHORS: Martino Trevisan; Francesca Soro; Marco Mellia; Idilio Drago; Ricardo Morla ;
SOURCE: ACM SIGCOMM COMPUTER COMMUNICATION REVIEW, VOLUME: 50, ISSUE: 3, PAGES: 17-22, PUBLISHED: 2020
18
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
DBLP19
TITLE: e-LiteSense: Self-adaptive energy-aware data sensing in WSN environments Full Text
AUTHORS: Joao Marco Silva ; Paulo Carvalho; Kalil Araujo Bispo; Solange Rito Lima;
SOURCE: INTERNATIONAL JOURNAL OF COMMUNICATION SYSTEMS, VOLUME: 33, ISSUE: 10, PUBLISHED: 2020
AUTHORS: Joao Marco Silva ; Paulo Carvalho; Kalil Araujo Bispo; Solange Rito Lima;
SOURCE: INTERNATIONAL JOURNAL OF COMMUNICATION SYSTEMS, VOLUME: 33, ISSUE: 10, PUBLISHED: 2020
20
TITLE: EAGP: An Energy-Aware Gossip Protocol for Wireless Sensor Networks
AUTHORS: Ferreira, BC; Fonte, V; Silva, JMC ;
SOURCE: 28th International Conference on Software, Telecommunications and Computer Networks, SoftCOM 2020 in 2020 28th International Conference on Software, Telecommunications and Computer Networks, SoftCOM 2020, PUBLISHED: 2020
AUTHORS: Ferreira, BC; Fonte, V; Silva, JMC ;
SOURCE: 28th International Conference on Software, Telecommunications and Computer Networks, SoftCOM 2020 in 2020 28th International Conference on Software, Telecommunications and Computer Networks, SoftCOM 2020, PUBLISHED: 2020
INDEXED IN: 
Scopus CrossRef
Scopus CrossRef