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: 1637
149 Team MembersFilters -> Year: 2026
441
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 arXiv442
TITLE: alurity, a toolbox for robot cybersecurity PDF
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 arXiv
DBLP arXiv443
TITLE: ARx: Reactive Programming for Synchronous Connectors
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
444
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
445
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
446
TITLE: Causality is Graphically Simple PDF
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 arXiv
DBLP arXiv447
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
448
TITLE: CoronaSurveys: Using Surveys with Indirect Reporting to Estimate the Incidence and Evolution of Epidemics PDF
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 arXiv
DBLP arXiv449
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
450
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
451
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
452
TITLE: Does Domain Name Encryption Increase Users' Privacy?
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
453
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 Openlibrary454
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
DBLP455
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
456
TITLE: e-LiteSense: Self-adaptive energy-aware data sensing in WSN environments
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
457
TITLE: EAGP: An Energy-Aware Gossip Protocol for Wireless Sensor Networks PDF
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
458
TITLE: Energy Refactorings for Android in the Large and in the Wild
AUTHORS: Couto, M ; Saraiva, J ; Fernandes, JP ;
PUBLISHED: 2020, SOURCE: 27th IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER) in PROCEEDINGS OF THE 2020 IEEE 27TH INTERNATIONAL CONFERENCE ON SOFTWARE ANALYSIS, EVOLUTION, AND REENGINEERING (SANER '20), PAGES: 217-228
AUTHORS: Couto, M ; Saraiva, J ; Fernandes, JP ;
PUBLISHED: 2020, SOURCE: 27th IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER) in PROCEEDINGS OF THE 2020 IEEE 27TH INTERNATIONAL CONFERENCE ON SOFTWARE ANALYSIS, EVOLUTION, AND REENGINEERING (SANER '20), PAGES: 217-228
459
TITLE: Energy Wars - Chrome vs. Firefox. which browser is more energy efficient?
AUTHORS: de Macedo, J; Aloisio, J; Goncalves, N; Pereira, R; Saraiva, J ;
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: 159-165
AUTHORS: de Macedo, J; Aloisio, J; Goncalves, N; Pereira, R; Saraiva, J ;
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: 159-165
460
TITLE: Energy wars - Chrome vs. Firefox: which browser is more energy efficient?
AUTHORS: João de Macedo; João Aloísio; Nelson Gonçalves; Rui Pereira ; João Saraiva ;
PUBLISHED: 2020, SOURCE: ASE Workshops, PAGES: 159-165
AUTHORS: João de Macedo; João Aloísio; Nelson Gonçalves; Rui Pereira ; João Saraiva ;
PUBLISHED: 2020, SOURCE: ASE Workshops, PAGES: 159-165
INDEXED IN: DBLP
DBLP