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: 1641
149 Team MembersFilters -> Year: 2026
541
TITLE: Lessons Learned and Challenges on Benchmarking Publish-Subscribe loT Platforms
AUTHORS: Aguiar, A ; Morla, R ;
PUBLISHED: 2019, SOURCE: 2nd Workshop on Benchmarking Cyber-Physical Systems and Internet of Things (CPS-IoTBench) in CPS-IOTBENCH '19: PROCEEDINGS OF THE 2019 2ND WORKSHOP ON BENCHMARKING CYBER-PHYSICAL SYSTEMS AND INTERNET OF THINGS, PAGES: 24-29
AUTHORS: Aguiar, A ; Morla, R ;
PUBLISHED: 2019, SOURCE: 2nd Workshop on Benchmarking Cyber-Physical Systems and Internet of Things (CPS-IoTBench) in CPS-IOTBENCH '19: PROCEEDINGS OF THE 2019 2ND WORKSHOP ON BENCHMARKING CYBER-PHYSICAL SYSTEMS AND INTERNET OF THINGS, PAGES: 24-29
542
TITLE: Limits in categories of Vietoris coalgebras PDF
AUTHORS: Hofmann, D ; Neves, R ; Nora, P;
PUBLISHED: 2019, SOURCE: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, VOLUME: 29, ISSUE: 4, PAGES: 552-587
AUTHORS: Hofmann, D ; Neves, R ; Nora, P;
PUBLISHED: 2019, SOURCE: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, VOLUME: 29, ISSUE: 4, PAGES: 552-587
543
TITLE: Logic, Algebra, and Geometry at the Foundation of Computer Science
AUTHORS: Tony Hoare; Alexandra Mendes ; João F Ferreira;
PUBLISHED: 2019, SOURCE: FMTea, VOLUME: 11758 LNCS, PAGES: 3-20
AUTHORS: Tony Hoare; Alexandra Mendes ; João F Ferreira;
PUBLISHED: 2019, SOURCE: FMTea, VOLUME: 11758 LNCS, PAGES: 3-20
INDEXED IN: 
Scopus 
DBLP
Scopus DBLP544
TITLE: Logics for Petri Nets with Propagating Failures
AUTHORS: Leandro Gomes ; Alexandre Madeira ; Mario R F Benevides;
PUBLISHED: 2019, SOURCE: FSEN, VOLUME: 11761 LNCS, PAGES: 145-157
AUTHORS: Leandro Gomes ; Alexandre Madeira ; Mario R F Benevides;
PUBLISHED: 2019, SOURCE: FSEN, VOLUME: 11761 LNCS, PAGES: 145-157
545
TITLE: Lost in Disclosure: On the Inference of Password Composition Policies
AUTHORS: Saul A Johnson; João F Ferreira; Alexandra Mendes ; Julien Cordry;
PUBLISHED: 2019, SOURCE: ISSRE Workshops, PAGES: 264-269
AUTHORS: Saul A Johnson; João F Ferreira; Alexandra Mendes ; Julien Cordry;
PUBLISHED: 2019, SOURCE: ISSRE Workshops, PAGES: 264-269
546
TITLE: Machine-Checked Proofs for Cryptographic Standards
AUTHORS: José Bacelar Almeida ; Cécile Baritel Ruet; Manuel Barbosa ; Gilles Barthe ; François Dupressoir; Benjamin Grégoire; Vincent Laporte; Tiago Oliveira; Alley Stoughton; Pierre Yves Strub;
PUBLISHED: 2019, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2019, PAGES: 1155
AUTHORS: José Bacelar Almeida ; Cécile Baritel Ruet; Manuel Barbosa ; Gilles Barthe ; François Dupressoir; Benjamin Grégoire; Vincent Laporte; Tiago Oliveira; Alley Stoughton; Pierre Yves Strub;
PUBLISHED: 2019, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2019, PAGES: 1155
INDEXED IN: DBLP
DBLP547
TITLE: Machine-Checked Proofs for Cryptographic Standards Indifferentiability of SPONGE and Secure High-Assurance Implementations of SHA-3. Indifferentiability of Sponge and Secure High-Assurance Implementations of SHA-3
AUTHORS: Almeida, JB ; Baritel Ruet, C; Barbosa, M ; Barthe, G ; Dupressoir, F; Grégoire, B; Laporte, V; Oliveira, T ; Stoughton, A; Strub, PY;
PUBLISHED: 2019, SOURCE: ACM SIGSAC Conference on Computer and Communications Security (CCS) in PROCEEDINGS OF THE 2019 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY (CCS'19), PAGES: 1607-1622
AUTHORS: Almeida, JB ; Baritel Ruet, C; Barbosa, M ; Barthe, G ; Dupressoir, F; Grégoire, B; Laporte, V; Oliveira, T ; Stoughton, A; Strub, PY;
PUBLISHED: 2019, SOURCE: ACM SIGSAC Conference on Computer and Communications Security (CCS) in PROCEEDINGS OF THE 2019 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY (CCS'19), PAGES: 1607-1622
548
TITLE: Memoized zipper-based attribute grammars and their higher order extension Full Text
AUTHORS: Fernandes, JP ; Martins, P; Pardo, A; Saraiva, J ; Viera, M;
PUBLISHED: 2019, SOURCE: 20th Brazilian Symposium on Programing Languages (SBLP) in SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 173, PAGES: 71-94
AUTHORS: Fernandes, JP ; Martins, P; Pardo, A; Saraiva, J ; Viera, M;
PUBLISHED: 2019, SOURCE: 20th Brazilian Symposium on Programing Languages (SBLP) in SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 173, PAGES: 71-94
549
TITLE: Minha: Large-Scale Distributed Systems Testing Made Practical
AUTHORS: Nuno Machado ; Francisco Maia ; Francisco Neves ; Fábio Coelho ; José Pereira ;
PUBLISHED: 2019, SOURCE: OPODIS, VOLUME: 153, PAGES: 11:1-11:17
AUTHORS: Nuno Machado ; Francisco Maia ; Francisco Neves ; Fábio Coelho ; José Pereira ;
PUBLISHED: 2019, SOURCE: OPODIS, VOLUME: 153, PAGES: 11:1-11:17
INDEXED IN: Scopus DBLP
Scopus DBLP550
TITLE: Model-Based Testing of Post-WIMP Interactions Using Object Oriented Petri-Nets
AUTHORS: Alexandre Canny; David Navarre; José Creissac Campos ; Philippe A Palanque;
PUBLISHED: 2019, SOURCE: FM Workshops (1), VOLUME: 12232 LNCS, PAGES: 486-502
AUTHORS: Alexandre Canny; David Navarre; José Creissac Campos ; Philippe A Palanque;
PUBLISHED: 2019, SOURCE: FM Workshops (1), VOLUME: 12232 LNCS, PAGES: 486-502
551
TITLE: On the Generation of Equational Dynamic Logics for Weighted Imperative Programs
AUTHORS: Leandro Gomes ; Alexandre Madeira ; Manisha Jain; Luís Soares Barbosa ;
PUBLISHED: 2019, SOURCE: ICFEM, VOLUME: 11852 LNCS, PAGES: 154-169
AUTHORS: Leandro Gomes ; Alexandre Madeira ; Manisha Jain; Luís Soares Barbosa ;
PUBLISHED: 2019, SOURCE: ICFEM, VOLUME: 11852 LNCS, PAGES: 154-169
552
TITLE: Open and Interactive Learning Resources for Algorithmic Problem Solving
AUTHORS: João F Ferreira; Alexandra Mendes ;
PUBLISHED: 2019, SOURCE: FM Workshops (2), VOLUME: 12233 LNCS, PAGES: 200-208
AUTHORS: João F Ferreira; Alexandra Mendes ;
PUBLISHED: 2019, SOURCE: FM Workshops (2), VOLUME: 12233 LNCS, PAGES: 200-208
INDEXED IN: Scopus DBLP
Scopus DBLP553
TITLE: Optimal control applied to an irrigation planning problem: A real case study in Portugal
AUTHORS: Lopes, SO ; Pereira, RMS; Pereira, PA; Caldeira, AC; Fonte, VF ;
PUBLISHED: 2019, SOURCE: International Journal of Hydrology Science and Technology, VOLUME: 9, ISSUE: 2, PAGES: 173-188
AUTHORS: Lopes, SO ; Pereira, RMS; Pereira, PA; Caldeira, AC; Fonte, VF ;
PUBLISHED: 2019, SOURCE: International Journal of Hydrology Science and Technology, VOLUME: 9, ISSUE: 2, PAGES: 173-188
INDEXED IN: Scopus 
CrossRef
Scopus CrossRef554
TITLE: Paint Your Programs Green: On the Energy Efficiency of Data Structures
AUTHORS: Rui Pereira ; Marco Couto; Jácome Cunha ; Gilberto Melfe; João Saraiva ; João Paulo Fernandes ;
PUBLISHED: 2019, SOURCE: 8th Central European Functional Programming School, CEFP 2019 in CEFP, VOLUME: 11950 LNCS, PAGES: 53-76
AUTHORS: Rui Pereira ; Marco Couto; Jácome Cunha ; Gilberto Melfe; João Saraiva ; João Paulo Fernandes ;
PUBLISHED: 2019, SOURCE: 8th Central European Functional Programming School, CEFP 2019 in CEFP, VOLUME: 11950 LNCS, PAGES: 53-76
555
TITLE: Perfect Forward Security of SPAKE2
AUTHORS: Michel Abdalla; Manuel Barbosa ;
PUBLISHED: 2019, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2019, PAGES: 1194
AUTHORS: Michel Abdalla; Manuel Barbosa ;
PUBLISHED: 2019, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2019, PAGES: 1194
INDEXED IN: DBLP
DBLP556
TITLE: Predicting throughput in IEEE 802.11 based wireless networks using directional antenna Full Text
AUTHORS: Kandasamy, S ; Morla, R ; Ramos, P ; Ricardo, M ;
PUBLISHED: 2019, SOURCE: WIRELESS NETWORKS, VOLUME: 25, ISSUE: 4, PAGES: 1567-1584
AUTHORS: Kandasamy, S ; Morla, R ; Ramos, P ; Ricardo, M ;
PUBLISHED: 2019, SOURCE: WIRELESS NETWORKS, VOLUME: 25, ISSUE: 4, PAGES: 1567-1584
557
TITLE: Preface Full Text
AUTHORS: Monahan, R; Prevosto, V; Proença, J ;
PUBLISHED: 2019, SOURCE: 5th Workshop on Formal Integrated Development Environment, F-IDE 2019 in Electronic Proceedings in Theoretical Computer Science, EPTCS, VOLUME: 310
AUTHORS: Monahan, R; Prevosto, V; Proença, J ;
PUBLISHED: 2019, SOURCE: 5th Workshop on Formal Integrated Development Environment, F-IDE 2019 in Electronic Proceedings in Theoretical Computer Science, EPTCS, VOLUME: 310
INDEXED IN: Scopus CrossRef
Scopus CrossRef558
TITLE: Preference rules for label ranking: Mining patterns in multi-target relations
AUTHORS: Cláudio Rebelo de Sá; Paulo J Azevedo ; Carlos Soares ; Alípio Mário Jorge ; Arno J Knobbe;
PUBLISHED: 2019, SOURCE: CoRR, VOLUME: abs/1903.08504
AUTHORS: Cláudio Rebelo de Sá; Paulo J Azevedo ; Carlos Soares ; Alípio Mário Jorge ; Arno J Knobbe;
PUBLISHED: 2019, SOURCE: CoRR, VOLUME: abs/1903.08504
INDEXED IN: DBLP
DBLP559
TITLE: Privacy and Data Protection Concerns Regarding the Use of Blockchains in Smart Cities
AUTHORS: Ramos, LFM; Silva, JMC ;
PUBLISHED: 2019, SOURCE: 12th International Conference on Theory and Practice of Electronic Governance (ICEGOV) in PROCEEDINGS OF THE 12TH INTERNATIONAL CONFERENCE ON THEORY AND PRACTICE OF ELECTRONIC GOVERNANCE (ICEGOV2019), VOLUME: Part F148155, PAGES: 342-347
AUTHORS: Ramos, LFM; Silva, JMC ;
PUBLISHED: 2019, SOURCE: 12th International Conference on Theory and Practice of Electronic Governance (ICEGOV) in PROCEEDINGS OF THE 12TH INTERNATIONAL CONFERENCE ON THEORY AND PRACTICE OF ELECTRONIC GOVERNANCE (ICEGOV2019), VOLUME: Part F148155, PAGES: 342-347
560
TITLE: Privacy and Data Protection Concerns Regarding the Use of Blockchains in Smart Cities
AUTHORS: Luis Felipe M Ramos; João Marco C Silva ;
PUBLISHED: 2019, SOURCE: ICEGOV 2019: 12th International Conference on Theory and Practice of Electronic Governance, Melbourne, VIC, Australia, 3-5 April, 2019, PAGES: 342-347
AUTHORS: Luis Felipe M Ramos; João Marco C Silva ;
PUBLISHED: 2019, SOURCE: ICEGOV 2019: 12th International Conference on Theory and Practice of Electronic Governance, Melbourne, VIC, Australia, 3-5 April, 2019, PAGES: 342-347
INDEXED IN: DBLP
DBLP