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: 1639
149 Team MembersFilters -> Year: 2026
641
TITLE: Transforming Legal Documents for Visualization and Analysis
AUTHORS: Nuno Ramos Carvalho; Luís Soares Barbosa ;
PUBLISHED: 2018, SOURCE: ICEGOV, PAGES: 23-26
AUTHORS: Nuno Ramos Carvalho; Luís Soares Barbosa ;
PUBLISHED: 2018, SOURCE: ICEGOV, PAGES: 23-26
642
TITLE: Validating the Hybrid ERTMS/ETCS Level 3 Concept with Electrum
AUTHORS: Cunha, A ; Macedo, N ;
PUBLISHED: 2018, SOURCE: ABSTRACT STATE MACHINES, ALLOY, B, TLA, VDM, AND Z, ABZ 2018, VOLUME: 10817, PAGES: 307-321
AUTHORS: Cunha, A ; Macedo, N ;
PUBLISHED: 2018, SOURCE: ABSTRACT STATE MACHINES, ALLOY, B, TLA, VDM, AND Z, ABZ 2018, VOLUME: 10817, PAGES: 307-321
643
TITLE: 2017 Wireless Days, Porto, Portugal, March 29-31, 2017
AUTHORS: Manuel Ricardo ; Rui Campos; José Ruela; Ricardo Morla ; Filipe Teixeira; Luís M Pessoa ; Henrique M Salgado;
PUBLISHED: 2017, SOURCE: Wireless Days
AUTHORS: Manuel Ricardo ; Rui Campos; José Ruela; Ricardo Morla ; Filipe Teixeira; Luís M Pessoa ; Henrique M Salgado;
PUBLISHED: 2017, SOURCE: Wireless Days
INDEXED IN: 
DBLP
DBLP644
TITLE: A Fast and Verified Software Stack for Secure Function Evaluation
AUTHORS: Almeida, JB ; Barbosa, M ; Barthe, G ; Dupressoir, F; Grégoire, B; Laporte, V; Pereira, V ;
PUBLISHED: 2017, SOURCE: 24th ACM-SIGSAC Conference on Computer and Communications Security (ACM CCS) in CCS'17: PROCEEDINGS OF THE 2017 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY, PAGES: 1989-2006
AUTHORS: Almeida, JB ; Barbosa, M ; Barthe, G ; Dupressoir, F; Grégoire, B; Laporte, V; Pereira, V ;
PUBLISHED: 2017, SOURCE: 24th ACM-SIGSAC Conference on Computer and Communications Security (ACM CCS) in CCS'17: PROCEEDINGS OF THE 2017 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY, PAGES: 1989-2006
645
TITLE: A Feature-Based Classification of Model Repair Approaches
AUTHORS: Macedo, N ; Jorge, T; Cunha, A ;
PUBLISHED: 2017, SOURCE: IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOLUME: 43, ISSUE: 7, PAGES: 615-640
AUTHORS: Macedo, N ; Jorge, T; Cunha, A ;
PUBLISHED: 2017, SOURCE: IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOLUME: 43, ISSUE: 7, PAGES: 615-640
646
TITLE: A Framework for Certification of Large-scale Component-based Parallel Computing Systems in a Cloud Computing Platform for HPC Services
AUTHORS: Allberson Bruno de Oliveira Dantas; Francisco Heron de Carvalho Junior; Luís Soares Barbosa ;
PUBLISHED: 2017, SOURCE: CLOSER, PAGES: 201-212
AUTHORS: Allberson Bruno de Oliveira Dantas; Francisco Heron de Carvalho Junior; Luís Soares Barbosa ;
PUBLISHED: 2017, SOURCE: CLOSER, PAGES: 201-212
INDEXED IN: DBLP
DBLP647
TITLE: A Hazard Analysis Method for Systematic Identification of Safety Requirements for User Interface Software in Medical Devices
AUTHORS: Paolo Masci ; Yi Zhang; Paul L Jones; José Creissac Campos ;
PUBLISHED: 2017, SOURCE: SEFM, VOLUME: 10469 LNCS, PAGES: 284-299
AUTHORS: Paolo Masci ; Yi Zhang; Paul L Jones; José Creissac Campos ;
PUBLISHED: 2017, SOURCE: SEFM, VOLUME: 10469 LNCS, PAGES: 284-299
648
TITLE: A Modular Traffic Sampling Architecture: Bringing Versatility and Efficiency to Massive Traffic Analysis
AUTHORS: João Marco C Silva ; Paulo Carvalho ; Solange Rito Lima;
PUBLISHED: 2017, SOURCE: J. Netw. Syst. Manag., VOLUME: 25, ISSUE: 3, PAGES: 643-668
AUTHORS: João Marco C Silva ; Paulo Carvalho ; Solange Rito Lima;
PUBLISHED: 2017, SOURCE: J. Netw. Syst. Manag., VOLUME: 25, ISSUE: 3, PAGES: 643-668
649
TITLE: A More Intelligent Test Case Generation Approach through Task Models Manipulation
AUTHORS: José Creissac Campos ; Camille Fayollas; Marcelo Gonçalves; Célia Martinie; David Navarre; Philippe A Palanque; Miguel Pinto;
PUBLISHED: 2017, SOURCE: Proc. ACM Hum. Comput. Interact., VOLUME: 1, ISSUE: EICS, PAGES: 9:1-9:20
AUTHORS: José Creissac Campos ; Camille Fayollas; Marcelo Gonçalves; Célia Martinie; David Navarre; Philippe A Palanque; Miguel Pinto;
PUBLISHED: 2017, SOURCE: Proc. ACM Hum. Comput. Interact., VOLUME: 1, ISSUE: EICS, PAGES: 9:1-9:20
650
TITLE: A Practical Framework for Privacy-Preserving NoSQL Databases
AUTHORS: Macedo, R ; Paulo, J ; Pontes, R ; Portela, B ; Oliveira, T ; Matos, M ; Oliveira, R ;
PUBLISHED: 2017, SOURCE: 36th IEEE Symposium on Reliable Distributed Systems (SRDS) in 2017 IEEE 36TH INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS (SRDS), VOLUME: 2017-September, PAGES: 11-20
AUTHORS: Macedo, R ; Paulo, J ; Pontes, R ; Portela, B ; Oliveira, T ; Matos, M ; Oliveira, R ;
PUBLISHED: 2017, SOURCE: 36th IEEE Symposium on Reliable Distributed Systems (SRDS) in 2017 IEEE 36TH INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS (SRDS), VOLUME: 2017-September, PAGES: 11-20
651
TITLE: A Refinement Relation for Families of Timed Automata
AUTHORS: Cledou, G ; Proença, J ; Barbosa, LS ;
PUBLISHED: 2017, SOURCE: 20th Brazilian Symposium on Formal Methods (SBMF) in FORMAL METHODS: FOUNDATIONS AND APPLICATIONS, SBMF 2017, VOLUME: 10623, PAGES: 161-178
AUTHORS: Cledou, G ; Proença, J ; Barbosa, LS ;
PUBLISHED: 2017, SOURCE: 20th Brazilian Symposium on Formal Methods (SBMF) in FORMAL METHODS: FOUNDATIONS AND APPLICATIONS, SBMF 2017, VOLUME: 10623, PAGES: 161-178
652
TITLE: Administrative Burden Reduction Over Time: Literature Review, Trends and Gap Analysis. Literature Review, Trends and Gap Analysis
AUTHORS: Morten Meyerhoff Nielsen; Nuno Ramos Carvalho; Linda Veiga ; Luís Soares Barbosa ;
PUBLISHED: 2017, SOURCE: ICEGOV, VOLUME: Part F128003, PAGES: 140-148
AUTHORS: Morten Meyerhoff Nielsen; Nuno Ramos Carvalho; Linda Veiga ; Luís Soares Barbosa ;
PUBLISHED: 2017, SOURCE: ICEGOV, VOLUME: Part F128003, PAGES: 140-148
653
TITLE: Aggregation Protocols in Light of Reliable Communication
AUTHORS: Kassam, Z ; Shoker, A ; Almeida, PS ; Baquero, C ;
PUBLISHED: 2017, SOURCE: IEEE 16th International Symposium on Network Computing and Applications (NCA) in 2017 IEEE 16TH INTERNATIONAL SYMPOSIUM ON NETWORK COMPUTING AND APPLICATIONS (NCA), VOLUME: 2017-January, PAGES: 145-148
AUTHORS: Kassam, Z ; Shoker, A ; Almeida, PS ; Baquero, C ;
PUBLISHED: 2017, SOURCE: IEEE 16th International Symposium on Network Computing and Applications (NCA) in 2017 IEEE 16TH INTERNATIONAL SYMPOSIUM ON NETWORK COMPUTING AND APPLICATIONS (NCA), VOLUME: 2017-January, PAGES: 145-148
654
TITLE: AN ECONOMIC ENERGY APPROACH FOR QUERIES ON DATA CENTERS
AUTHORS: Joao Saraiva ; Miguel Guimarales; Orlando Belot;
PUBLISHED: 2017, SOURCE: 3rd Internacional Conference on Energy and Environment (ICEE) - Bringing Together Economics and Engineering in PROCEEDINGS OF THE 3RD INTERNATIONAL CONFERENCE ON ENERGY AND ENVIRONMENT (ICEE 2017), PAGES: 679-685
AUTHORS: Joao Saraiva ; Miguel Guimarales; Orlando Belot;
PUBLISHED: 2017, SOURCE: 3rd Internacional Conference on Energy and Environment (ICEE) - Bringing Together Economics and Engineering in PROCEEDINGS OF THE 3RD INTERNATIONAL CONFERENCE ON ENERGY AND ENVIRONMENT (ICEE 2017), PAGES: 679-685
INDEXED IN: 
WOS
WOS655
TITLE: As Secure as Possible Eventual Consistency. Work in Progress
AUTHORS: Shoker, A ; Yactine, H ; Baquero, C ;
PUBLISHED: 2017, SOURCE: 3rd International Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC) in PROCEEDINGS OF THE 3RD INTERNATIONAL WORKSHOP ON PRINCIPLES AND PRACTICE OF CONSISTENCY FOR DISTRIBUTED DATA (PAPOC 17), PAGES: 5:1-5:5
AUTHORS: Shoker, A ; Yactine, H ; Baquero, C ;
PUBLISHED: 2017, SOURCE: 3rd International Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC) in PROCEEDINGS OF THE 3RD INTERNATIONAL WORKSHOP ON PRINCIPLES AND PRACTICE OF CONSISTENCY FOR DISTRIBUTED DATA (PAPOC 17), PAGES: 5:1-5:5
656
TITLE: Benchmarking IoT Middleware Platforms
AUTHORS: Cardoso, J; Pereira, C; Aguiar, A ; Morla, R ;
PUBLISHED: 2017, SOURCE: 18th IEEE International Symposium on A World of Wireless, Mobile and Multimedia Networks (WoWMoM) in 2017 IEEE 18TH INTERNATIONAL SYMPOSIUM ON A WORLD OF WIRELESS, MOBILE AND MULTIMEDIA NETWORKS (WOWMOM), PAGES: 1-7
AUTHORS: Cardoso, J; Pereira, C; Aguiar, A ; Morla, R ;
PUBLISHED: 2017, SOURCE: 18th IEEE International Symposium on A World of Wireless, Mobile and Multimedia Networks (WoWMoM) in 2017 IEEE 18TH INTERNATIONAL SYMPOSIUM ON A WORLD OF WIRELESS, MOBILE AND MULTIMEDIA NETWORKS (WOWMOM), PAGES: 1-7
657
TITLE: Bidirectional Transformations (BX 2015) Editorial
AUTHORS: Alcino Cunha ; Ekkart Kindler;
PUBLISHED: 2017, SOURCE: J. Object Technol., VOLUME: 16, ISSUE: 1, PAGES: 1-2
AUTHORS: Alcino Cunha ; Ekkart Kindler;
PUBLISHED: 2017, SOURCE: J. Object Technol., VOLUME: 16, ISSUE: 1, PAGES: 1-2
658
TITLE: BiFluX: A Bidirectional Functional Update Language for XML
AUTHORS: Tao Zan; Hugo Pacheco ; Hsiang Shang Ko; Zhenjiang Hu;
PUBLISHED: 2017, SOURCE: Inf. Media Technol., VOLUME: 12, ISSUE: 4, PAGES: 1-23
AUTHORS: Tao Zan; Hugo Pacheco ; Hsiang Shang Ko; Zhenjiang Hu;
PUBLISHED: 2017, SOURCE: Inf. Media Technol., VOLUME: 12, ISSUE: 4, PAGES: 1-23
INDEXED IN: 
Scopus DBLP
Scopus DBLP659
TITLE: Borrowing an Identity for a Distributed Counter. Work in progress report
AUTHORS: Enes, V ; Baquero, C ; Almeida, PS ; Leitao, J;
PUBLISHED: 2017, SOURCE: 3rd International Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC) in PROCEEDINGS OF THE 3RD INTERNATIONAL WORKSHOP ON PRINCIPLES AND PRACTICE OF CONSISTENCY FOR DISTRIBUTED DATA (PAPOC 17), PAGES: 4:1-4:3
AUTHORS: Enes, V ; Baquero, C ; Almeida, PS ; Leitao, J;
PUBLISHED: 2017, SOURCE: 3rd International Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC) in PROCEEDINGS OF THE 3RD INTERNATIONAL WORKSHOP ON PRINCIPLES AND PRACTICE OF CONSISTENCY FOR DISTRIBUTED DATA (PAPOC 17), PAGES: 4:1-4:3
660
TITLE: Certification of Workflows in a Component-Based Cloud of High Performance Computing Services
AUTHORS: Dantas, ABD; de Carvalho, FH; Barbosa, LS ;
PUBLISHED: 2017, SOURCE: 14th International Conference on Formal Aspects of Component Software (FACS) in FORMAL ASPECTS OF COMPONENT SOFTWARE (FACS 2017), VOLUME: 10487, PAGES: 198-215
AUTHORS: Dantas, ABD; de Carvalho, FH; Barbosa, LS ;
PUBLISHED: 2017, SOURCE: 14th International Conference on Formal Aspects of Component Software (FACS) in FORMAL ASPECTS OF COMPONENT SOFTWARE (FACS 2017), VOLUME: 10487, PAGES: 198-215
