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: 1643
149 Team MembersFilters -> Year: 2026
441
TITLE: A component-based framework for certification of components in a cloud of HPC services Full Text
AUTHORS: Dantas, ABD; de Carvalho, FH; Barbosa, LS ;
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: Dantas, ABD; de Carvalho, FH; Barbosa, LS ;
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
442
TITLE: A Survey and Classification of Software-Defined Storage Systems Full Text
AUTHORS: Macedo, R ; Paulo, J ; Pereira, J ; Bessani, A ;
PUBLISHED: 2020, SOURCE: ACM COMPUTING SURVEYS, VOLUME: 53, ISSUE: 3, PAGES: 48:1-48:38
AUTHORS: Macedo, R ; Paulo, J ; Pereira, J ; Bessani, A ;
PUBLISHED: 2020, SOURCE: ACM COMPUTING SURVEYS, VOLUME: 53, ISSUE: 3, PAGES: 48:1-48:38
443
TITLE: Age-Partitioned Bloom Filters
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
DBLP444
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
DBLP445
TITLE: ARx: Reactive Programming for Synchronous Connectors Full Text
AUTHORS: José Proença ; Guillermina Cledou ;
PUBLISHED: 2020, SOURCE: COORDINATION, VOLUME: 12134 LNCS, PAGES: 39-56
AUTHORS: José Proença ; Guillermina Cledou ;
PUBLISHED: 2020, SOURCE: COORDINATION, VOLUME: 12134 LNCS, PAGES: 39-56
446
TITLE: Black-box inter-application traffic monitoring for adaptive container placement
AUTHORS: Neves, F ; Vilaça, R ; Pereira, J ;
PUBLISHED: 2020, 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
AUTHORS: Neves, F ; Vilaça, R ; Pereira, J ;
PUBLISHED: 2020, 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
447
TITLE: Building a Polyglot Data Access Layer for a Low-Code Application Development Platform - (Experience Report). (Experience Report) PDF
AUTHORS: Ana Nunes Alonso ; João Abreu; David Nunes; André Vieira; Luiz Santos; Tércio Soares; José Pereira ;
PUBLISHED: 2020, SOURCE: DAIS, VOLUME: 12135 LNCS, PAGES: 95-103
AUTHORS: Ana Nunes Alonso ; João Abreu; David Nunes; André Vieira; Luiz Santos; Tércio Soares; José Pereira ;
PUBLISHED: 2020, SOURCE: DAIS, VOLUME: 12135 LNCS, PAGES: 95-103
448
TITLE: Causality is Graphically Simple
AUTHORS: Carlos Baquero ;
PUBLISHED: 2020, SOURCE: CoRR, VOLUME: abs/2012.09086
AUTHORS: Carlos Baquero ;
PUBLISHED: 2020, SOURCE: CoRR, VOLUME: abs/2012.09086
INDEXED IN: DBLP
DBLP449
TITLE: Certified Compilation for Cryptography: Extended x86 Instructions and Constant-Time Verification
AUTHORS: José Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe ; Vincent Laporte; Tiago Oliveira ;
PUBLISHED: 2020, SOURCE: INDOCRYPT, VOLUME: 12578 LNCS, PAGES: 107-127
AUTHORS: José Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe ; Vincent Laporte; Tiago Oliveira ;
PUBLISHED: 2020, SOURCE: INDOCRYPT, VOLUME: 12578 LNCS, PAGES: 107-127
450
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 E Lillo; Raquel Menezes; Nicolas Nicolaou; Antonio Ortega; ...More
PUBLISHED: 2020, SOURCE: CoRR, VOLUME: abs/2005.12783
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 E Lillo; Raquel Menezes; Nicolas Nicolaou; Antonio Ortega; ...More
PUBLISHED: 2020, SOURCE: CoRR, VOLUME: abs/2005.12783
INDEXED IN: DBLP
DBLP451
TITLE: Data Curation: Towards a Tool for All
AUTHORS: José Dias; Jácome Cunha ; Rui Pereira ;
PUBLISHED: 2020, SOURCE: HCI (48), VOLUME: 1293, PAGES: 176-183
AUTHORS: José Dias; Jácome Cunha ; Rui Pereira ;
PUBLISHED: 2020, SOURCE: HCI (48), VOLUME: 1293, PAGES: 176-183
452
TITLE: Data governance: Organizing data for trustworthy Artificial Intelligence
AUTHORS: Janssen, M; Brous, P; Estevez, E; Barbosa, LS ; Janowski, T;
PUBLISHED: 2020, SOURCE: GOVERNMENT INFORMATION QUARTERLY, VOLUME: 37, ISSUE: 3, PAGES: 101493
AUTHORS: Janssen, M; Brous, P; Estevez, E; Barbosa, LS ; Janowski, T;
PUBLISHED: 2020, SOURCE: GOVERNMENT INFORMATION QUARTERLY, VOLUME: 37, ISSUE: 3, PAGES: 101493
453
TITLE: Detection of Anonymised Traffic: Tor as Case Study
AUTHORS: Bruno Dantas; Paulo Carvalho ; Solange Rito Lima; João Marco C Silva ;
PUBLISHED: 2020, SOURCE: 20th International Conference on Next Generation Teletraffic and Wired/Wireless Advanced Networks and Systems, NEW2AN 2020 and 13th Conference on the Internet of Things and Smart Spaces, ruSMART 2020 in NEW2AN/ruSMART (2), VOLUME: 12526 LNCS, PAGES: 95-109
AUTHORS: Bruno Dantas; Paulo Carvalho ; Solange Rito Lima; João Marco C Silva ;
PUBLISHED: 2020, SOURCE: 20th International Conference on Next Generation Teletraffic and Wired/Wireless Advanced Networks and Systems, NEW2AN 2020 and 13th Conference on the Internet of Things and Smart Spaces, ruSMART 2020 in NEW2AN/ruSMART (2), VOLUME: 12526 LNCS, PAGES: 95-109
454
TITLE: Does Domain Name Encryption Increase Users' Privacy? Full Text
AUTHORS: Trevisan, M; Soro, F; Mellia, M; Drago, I; Morla, R ;
PUBLISHED: 2020, SOURCE: ACM SIGCOMM COMPUTER COMMUNICATION REVIEW, VOLUME: 50, ISSUE: 3, PAGES: 17-22
AUTHORS: Trevisan, M; Soro, F; Mellia, M; Drago, I; Morla, R ;
PUBLISHED: 2020, SOURCE: ACM SIGCOMM COMPUTER COMMUNICATION REVIEW, VOLUME: 50, ISSUE: 3, PAGES: 17-22
455
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;
PUBLISHED: 2020, SOURCE: Lecture Notes in Computer Science
AUTHORS: Luís Soares Barbosa ; Alexandru Baltag;
PUBLISHED: 2020, SOURCE: Lecture Notes in Computer Science
INDEXED IN: 
CrossRef 
Openlibrary
CrossRef Openlibrary456
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;
PUBLISHED: 2020, SOURCE: DaLí, VOLUME: 12005
AUTHORS: Luís Soares Barbosa ; Alexandru Baltag;
PUBLISHED: 2020, SOURCE: DaLí, VOLUME: 12005
INDEXED IN: DBLP
DBLP457
TITLE: E-Debitum: Managing Software Energy Debt. managing software energy debt
AUTHORS: Maia, D; Couto, M ; Saraiva, J ; Pereira, R ;
PUBLISHED: 2020, SOURCE: 35th IEEE/ACM International Conference on Automated Software Engineering (ASE) in 2020 35TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING WORKSHOPS (ASEW 2020), PAGES: 170-177
AUTHORS: Maia, D; Couto, M ; Saraiva, J ; Pereira, R ;
PUBLISHED: 2020, SOURCE: 35th IEEE/ACM International Conference on Automated Software Engineering (ASE) in 2020 35TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING WORKSHOPS (ASEW 2020), PAGES: 170-177
458
TITLE: e-LiteSense: Self-adaptive energy-aware data sensing in WSN environments Full Text
AUTHORS: Silva, JM ; Carvalho, P ; Bispo, KA; Lima, SR;
PUBLISHED: 2020, SOURCE: INTERNATIONAL JOURNAL OF COMMUNICATION SYSTEMS, VOLUME: 33, ISSUE: 10
AUTHORS: Silva, JM ; Carvalho, P ; Bispo, KA; Lima, SR;
PUBLISHED: 2020, SOURCE: INTERNATIONAL JOURNAL OF COMMUNICATION SYSTEMS, VOLUME: 33, ISSUE: 10
459
TITLE: EAGP: An Energy-Aware Gossip Protocol for Wireless Sensor Networks PDF
AUTHORS: Bruno Chianca Ferreira; Vitor Fonte ; João Marco C Silva ;
PUBLISHED: 2020, SOURCE: 28th International Conference on Software, Telecommunications and Computer Networks, SoftCOM 2020, Split, Croatia, September 17-19, 2020, PAGES: 1-6
AUTHORS: Bruno Chianca Ferreira; Vitor Fonte ; João Marco C Silva ;
PUBLISHED: 2020, SOURCE: 28th International Conference on Software, Telecommunications and Computer Networks, SoftCOM 2020, Split, Croatia, September 17-19, 2020, PAGES: 1-6
INDEXED IN: DBLP 
arXiv
DBLP arXiv460
TITLE: EAGP: An Energy-Aware Gossip Protocol for Wireless Sensor Networks
AUTHORS: Ferreira, BC; Fonte, V ; Silva, JMC ;
PUBLISHED: 2020, SOURCE: 28th International Conference on Software, Telecommunications and Computer Networks (SoftCOM) in 2020 28TH INTERNATIONAL CONFERENCE ON SOFTWARE, TELECOMMUNICATIONS AND COMPUTER NETWORKS (SOFTCOM), PAGES: 467-472
AUTHORS: Ferreira, BC; Fonte, V ; Silva, JMC ;
PUBLISHED: 2020, SOURCE: 28th International Conference on Software, Telecommunications and Computer Networks (SoftCOM) in 2020 28TH INTERNATIONAL CONFERENCE ON SOFTWARE, TELECOMMUNICATIONS AND COMPUTER NETWORKS (SOFTCOM), PAGES: 467-472
