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
501
TITLE: Unifying Parsing and Reflective Printing for Fully Disambiguated Grammars Full Text
AUTHORS: Zhu, ZR; Ko, HS; Zhang, YZ; Martins, P; Saraiva, J ; Hu, ZJ;
PUBLISHED: 2020, SOURCE: NEW GENERATION COMPUTING, VOLUME: 38, ISSUE: 3, PAGES: 423-476
AUTHORS: Zhu, ZR; Ko, HS; Zhang, YZ; Martins, P; Saraiva, J ; Hu, ZJ;
PUBLISHED: 2020, SOURCE: NEW GENERATION COMPUTING, VOLUME: 38, ISSUE: 3, PAGES: 423-476
502
TITLE: Universally Composable Relaxed Password Authenticated Key Exchange
AUTHORS: Abdalla, M; Barbosa, M ; Bradley, T; Jarecki, S; Katz, J; Xu, JY;
PUBLISHED: 2020, SOURCE: 40th Annual International Cryptology Conference (CRYPTO) in ADVANCES IN CRYPTOLOGY - CRYPTO 2020, PT I, VOLUME: 12170, PAGES: 278-307
AUTHORS: Abdalla, M; Barbosa, M ; Bradley, T; Jarecki, S; Katz, J; Xu, JY;
PUBLISHED: 2020, SOURCE: 40th Annual International Cryptology Conference (CRYPTO) in ADVANCES IN CRYPTOLOGY - CRYPTO 2020, PT I, VOLUME: 12170, PAGES: 278-307
503
TITLE: Validating Multiple Variants of an Automotive Light System with Electrum
AUTHORS: Cunha, A ; Macedo, N ; Liu, C;
PUBLISHED: 2020, SOURCE: RIGOROUS STATE-BASED METHODS, ABZ 2020, VOLUME: 12071, PAGES: 318-334
AUTHORS: Cunha, A ; Macedo, N ; Liu, C;
PUBLISHED: 2020, SOURCE: RIGOROUS STATE-BASED METHODS, ABZ 2020, VOLUME: 12071, PAGES: 318-334
505
TITLE: Verification of system-wide safety properties of ROS applications
AUTHORS: Carvalho, R; Cunha, A ; Macedo, N ; Santos, A ;
PUBLISHED: 2020, SOURCE: IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) in 2020 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS (IROS), PAGES: 7249-7254
AUTHORS: Carvalho, R; Cunha, A ; Macedo, N ; Santos, A ;
PUBLISHED: 2020, SOURCE: IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) in 2020 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS (IROS), PAGES: 7249-7254
506
TITLE: Work-In-Progress: a DSL for the safe deployment of Runtime Monitors in Cyber-Physical Systems
AUTHORS: Nandi, GS; Pereira, D; Proença, J ; Tovar, E ;
PUBLISHED: 2020, SOURCE: 41st IEEE Real-Time Systems Symposium (RTSS) in 2020 IEEE 41ST REAL-TIME SYSTEMS SYMPOSIUM (RTSS), VOLUME: 2020-December, PAGES: 395-398
AUTHORS: Nandi, GS; Pereira, D; Proença, J ; Tovar, E ;
PUBLISHED: 2020, SOURCE: 41st IEEE Real-Time Systems Symposium (RTSS) in 2020 IEEE 41ST REAL-TIME SYSTEMS SYMPOSIUM (RTSS), VOLUME: 2020-December, PAGES: 395-398
507
TITLE: A Case for Dynamically Programmable Storage Background Tasks
AUTHORS: Macedo, R ; Faria, A ; Paulo, J ; Pereira, J ;
PUBLISHED: 2019, SOURCE: 38th International Symposium on Reliable Distributed Systems (SRDS) in 2019 38TH INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS WORKSHOPS (SRDSW 2019), PAGES: 7-12
AUTHORS: Macedo, R ; Faria, A ; Paulo, J ; Pereira, J ;
PUBLISHED: 2019, SOURCE: 38th International Symposium on Reliable Distributed Systems (SRDS) in 2019 38TH INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS WORKSHOPS (SRDSW 2019), PAGES: 7-12
508
TITLE: A generalized program verification workflow based on loop elimination and SA form
AUTHORS: Cláudio Belo Lourenço; Maria João Frade ; Jorge Sousa Pinto ;
PUBLISHED: 2019, SOURCE: FormaliSE@ICSE, PAGES: 75-84
AUTHORS: Cláudio Belo Lourenço; Maria João Frade ; Jorge Sousa Pinto ;
PUBLISHED: 2019, SOURCE: FormaliSE@ICSE, PAGES: 75-84
509
TITLE: A Generator of User Interface Prototypes for the IVY Workbench
AUTHORS: Araújo, JM; Couto, R ; Campos, JC ;
PUBLISHED: 2019, SOURCE: International Conference on Graphics and Interaction (ICGI) in PROCEEDINGS OF THE 2019 INTERNATIONAL CONFERENCE ON GRAPHICS AND INTERACTION (ICGI 2019), PAGES: 32-39
AUTHORS: Araújo, JM; Couto, R ; Campos, JC ;
PUBLISHED: 2019, SOURCE: International Conference on Graphics and Interaction (ICGI) in PROCEEDINGS OF THE 2019 INTERNATIONAL CONFERENCE ON GRAPHICS AND INTERACTION (ICGI 2019), PAGES: 32-39
510
TITLE: A Machine-Checked Proof of Security for AWS Key Management Service
AUTHORS: Almeida, JB ; Barbosa, M ; Barthe, G ; Campagna, M; Cohen, E; Gregoire, B; Pereira, V; Portela, B ; Strub, PY; Tasiran, S;
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: 63-78
AUTHORS: Almeida, JB ; Barbosa, M ; Barthe, G ; Campagna, M; Cohen, E; Gregoire, B; Pereira, V; Portela, B ; Strub, PY; Tasiran, S;
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: 63-78
511
TITLE: A Quantum Algorithm for Ray Casting using an Orthographic Camera
AUTHORS: Alves, C; Santos, LP ; Bashford Rogers, T;
PUBLISHED: 2019, SOURCE: International Conference on Graphics and Interaction (ICGI) in PROCEEDINGS OF THE 2019 INTERNATIONAL CONFERENCE ON GRAPHICS AND INTERACTION (ICGI 2019), PAGES: 56-63
AUTHORS: Alves, C; Santos, LP ; Bashford Rogers, T;
PUBLISHED: 2019, SOURCE: International Conference on Graphics and Interaction (ICGI) in PROCEEDINGS OF THE 2019 INTERNATIONAL CONFERENCE ON GRAPHICS AND INTERACTION (ICGI 2019), PAGES: 56-63
512
TITLE: A use error taxonomy for improving human-machine interface design in medical devices
AUTHORS: Carlos Silva; Paolo Masci; Yi Zhang; Paul L Jones; José Creissac Campos ;
PUBLISHED: 2019, SOURCE: SIGBED Rev., VOLUME: 16, ISSUE: 2, PAGES: 24-30
AUTHORS: Carlos Silva; Paolo Masci; Yi Zhang; Paul L Jones; José Creissac Campos ;
PUBLISHED: 2019, SOURCE: SIGBED Rev., VOLUME: 16, ISSUE: 2, PAGES: 24-30
513
TITLE: An Adequate While-Language for Hybrid Computation
AUTHORS: Goncharov, S; Neves, R ;
PUBLISHED: 2019, SOURCE: 21st International Symposium on Principles and Practice of Declarative Programming (PPDP) in PROCEEDINGS OF THE 21ST INTERNATIONAL SYMPOSIUM ON PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING (PPDP 2019), PAGES: 11:1-11:15
AUTHORS: Goncharov, S; Neves, R ;
PUBLISHED: 2019, SOURCE: 21st International Symposium on Principles and Practice of Declarative Programming (PPDP) in PROCEEDINGS OF THE 21ST INTERNATIONAL SYMPOSIUM ON PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING (PPDP 2019), PAGES: 11:1-11:15
INDEXED IN: 
WOS 
DBLP
WOS DBLP514
TITLE: An Ontology-Based Recommendation System for Context-Aware Network Monitoring
AUTHORS: Ricardo F Silva; Paulo Carvalho ; Solange Rito Lima; Luis Álvarez Sabucedo; Juan M Santos Gago; João Marco C Silva ;
PUBLISHED: 2019, SOURCE: WorldCIST (2), VOLUME: 931, PAGES: 373-384
AUTHORS: Ricardo F Silva; Paulo Carvalho ; Solange Rito Lima; Luis Álvarez Sabucedo; Juan M Santos Gago; João Marco C Silva ;
PUBLISHED: 2019, SOURCE: WorldCIST (2), VOLUME: 931, PAGES: 373-384
515
TITLE: Anomaly Detection and Modeling in 802.11 Wireless Networks Full Text
AUTHORS: Allahdadi, A ; Morla, R ;
PUBLISHED: 2019, SOURCE: JOURNAL OF NETWORK AND SYSTEMS MANAGEMENT, VOLUME: 27, ISSUE: 1, PAGES: 3-38
AUTHORS: Allahdadi, A ; Morla, R ;
PUBLISHED: 2019, SOURCE: JOURNAL OF NETWORK AND SYSTEMS MANAGEMENT, VOLUME: 27, ISSUE: 1, PAGES: 3-38
516
TITLE: BISEN: Efficient Boolean Searchable Symmetric Encryption with Verifiability and Minimal Leakage Full Text
AUTHORS: Bernardo Ferreira; Bernardo Portela ; Tiago Oliveira ; Guilherme Borges ; Henrique João L Domingos; João Leitão;
PUBLISHED: 2019, SOURCE: SRDS, PAGES: 103-112
AUTHORS: Bernardo Ferreira; Bernardo Portela ; Tiago Oliveira ; Guilherme Borges ; Henrique João L Domingos; João Leitão;
PUBLISHED: 2019, SOURCE: SRDS, PAGES: 103-112
517
TITLE: Combining Advantages from Parameters in Modeling and Control of Discrete Event Systems
AUTHORS: Luiz Fernando Puttow Southier; Muriel Mazzetto; Dalcimar Casanova; Marco A C Barbosa; Luís Soares Barbosa ; Marcelo Teixeira;
PUBLISHED: 2019, SOURCE: ETFA, VOLUME: 2019-September, PAGES: 370-377
AUTHORS: Luiz Fernando Puttow Southier; Muriel Mazzetto; Dalcimar Casanova; Marco A C Barbosa; Luís Soares Barbosa ; Marcelo Teixeira;
PUBLISHED: 2019, SOURCE: ETFA, VOLUME: 2019-September, PAGES: 370-377
518
TITLE: Concurrency Debugging with MaxSMT
AUTHORS: Terra Neves, M; Machado, N ; Lynce, I ; Manquinho, V;
PUBLISHED: 2019, SOURCE: 33rd AAAI Conference on Artificial Intelligence / 31st Innovative Applications of Artificial Intelligence Conference / 9th AAAI Symposium on Educational Advances in Artificial Intelligence in THIRTY-THIRD AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE / THIRTY-FIRST INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE / NINTH AAAI SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE, PAGES: 1608-+
AUTHORS: Terra Neves, M; Machado, N ; Lynce, I ; Manquinho, V;
PUBLISHED: 2019, SOURCE: 33rd AAAI Conference on Artificial Intelligence / 31st Innovative Applications of Artificial Intelligence Conference / 9th AAAI Symposium on Educational Advances in Artificial Intelligence in THIRTY-THIRD AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE / THIRTY-FIRST INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE / NINTH AAAI SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE, PAGES: 1608-+
INDEXED IN: WOS DBLP
WOS DBLP519
TITLE: Conflict-Free Replicated Data Types CRDTs
AUTHORS: Nuno M Preguiça ; Carlos Baquero ; Marc Shapiro;
PUBLISHED: 2019, SOURCE: Encyclopedia of Big Data Technologies, PAGES: 491-500
AUTHORS: Nuno M Preguiça ; Carlos Baquero ; Marc Shapiro;
PUBLISHED: 2019, SOURCE: Encyclopedia of Big Data Technologies, PAGES: 491-500
INDEXED IN: 
Scopus DBLP
Scopus DBLP520
TITLE: Coordination of Tasks on a Real-Time OS
AUTHORS: Cledou, G ; Proença, J ; Sputh, BHC; Verhulst, E;
PUBLISHED: 2019, SOURCE: 21st IFIP WG 6.1 International Conference on Coordination Models and Languages (COORDINATION,) Held as Part of the 14th International Federated Conference on Distributed Computing Techniques (DisCoTec) in COORDINATION MODELS AND LANGUAGES, COORDINATION 2019, VOLUME: 11533, PAGES: 250-266
AUTHORS: Cledou, G ; Proença, J ; Sputh, BHC; Verhulst, E;
PUBLISHED: 2019, SOURCE: 21st IFIP WG 6.1 International Conference on Coordination Models and Languages (COORDINATION,) Held as Part of the 14th International Federated Conference on Distributed Computing Techniques (DisCoTec) in COORDINATION MODELS AND LANGUAGES, COORDINATION 2019, VOLUME: 11533, PAGES: 250-266
