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: 1642
149 Team MembersFilters -> Year: 2026
721
TITLE: Safety Analysis of Software Components of a Dialysis Machine Using Model Checking
AUTHORS: Harrison, MD; Drinnan, M; Campos, JC ; Masci, P ; Freitas, L; di Maria, C; Whitaker, M;
PUBLISHED: 2017, SOURCE: 14th International Conference on Formal Aspects of Component Software (FACS) in FORMAL ASPECTS OF COMPONENT SOFTWARE (FACS 2017), VOLUME: 10487, PAGES: 137-154
AUTHORS: Harrison, MD; Drinnan, M; Campos, JC ; Masci, P ; Freitas, L; di Maria, C; Whitaker, M;
PUBLISHED: 2017, SOURCE: 14th International Conference on Formal Aspects of Component Software (FACS) in FORMAL ASPECTS OF COMPONENT SOFTWARE (FACS 2017), VOLUME: 10487, PAGES: 137-154
722
TITLE: Secure Multiparty Computation from SGX Full Text
AUTHORS: Raad Bahmani; Manuel Barbosa ; Ferdinand Brasser; Bernardo Portela ; Ahmad Reza Sadeghi; Guillaume Scerri; Bogdan Warinschi;
PUBLISHED: 2017, SOURCE: Financial Cryptography, VOLUME: 10322 LNCS, PAGES: 477-497
AUTHORS: Raad Bahmani; Manuel Barbosa ; Ferdinand Brasser; Bernardo Portela ; Ahmad Reza Sadeghi; Guillaume Scerri; Bogdan Warinschi;
PUBLISHED: 2017, SOURCE: Financial Cryptography, VOLUME: 10322 LNCS, PAGES: 477-497
723
TITLE: Similarity Aware Shuffling for the Distributed Execution of SQL Window Functions
AUTHORS: Fábio Coelho ; Miguel Matos ; José Pereira ; Rui Oliveira ;
PUBLISHED: 2017, SOURCE: DAIS, VOLUME: 10320 LNCS, PAGES: 3-18
AUTHORS: Fábio Coelho ; Miguel Matos ; José Pereira ; Rui Oliveira ;
PUBLISHED: 2017, SOURCE: DAIS, VOLUME: 10320 LNCS, PAGES: 3-18
724
TITLE: SMT-based schedulability analysis using RMTL-∫ Full Text
AUTHORS: André de Matos Pedro; David Pereira ; Luís Miguel Pinho ; Jorge Sousa Pinto ;
PUBLISHED: 2017, SOURCE: SIGBED Rev., VOLUME: 14, ISSUE: 3, PAGES: 40-42
AUTHORS: André de Matos Pedro; David Pereira ; Luís Miguel Pinho ; Jorge Sousa Pinto ;
PUBLISHED: 2017, SOURCE: SIGBED Rev., VOLUME: 14, ISSUE: 3, PAGES: 40-42
725
TITLE: Support for automatic refactoring of business logic
AUTHORS: Tiago B Fernandes; António N Ribeiro ; David V Nunes; Hugo R Lourenço; Luiz C Santos;
PUBLISHED: 2017
AUTHORS: Tiago B Fernandes; António N Ribeiro ; David V Nunes; Hugo R Lourenço; Luiz C Santos;
PUBLISHED: 2017
INDEXED IN: 
Handle
Handle726
TITLE: Systematic Spreadsheet Construction Processes
AUTHORS: Mendes, J ; Cunha, J ; Duarte, F; Engels, G; Saraiva, J ; Sauer, S;
PUBLISHED: 2017, SOURCE: IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) in 2017 IEEE SYMPOSIUM ON VISUAL LANGUAGES AND HUMAN-CENTRIC COMPUTING (VL/HCC), VOLUME: 2017-October, PAGES: 123-127
AUTHORS: Mendes, J ; Cunha, J ; Duarte, F; Engels, G; Saraiva, J ; Sauer, S;
PUBLISHED: 2017, SOURCE: IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) in 2017 IEEE SYMPOSIUM ON VISUAL LANGUAGES AND HUMAN-CENTRIC COMPUTING (VL/HCC), VOLUME: 2017-October, PAGES: 123-127
727
TITLE: Tabula: A Language to Model Spreadsheet Tables
AUTHORS: Jorge Mendes ; João Saraiva ;
PUBLISHED: 2017, SOURCE: CoRR, VOLUME: abs/1707.02833
AUTHORS: Jorge Mendes ; João Saraiva ;
PUBLISHED: 2017, SOURCE: CoRR, VOLUME: abs/1707.02833
INDEXED IN: 
DBLP
DBLP728
TITLE: The Data Cube as a Typed Linear Algebra Operator
AUTHORS: Oliveira, JN ; Macedo, HD;
PUBLISHED: 2017, SOURCE: 16th International Symposium on Database Programming Languages (DBPL) in PROCEEDINGS OF THE 16TH INTERNATIONAL SYMPOSIUM ON DATABASE PROGRAMMING LANGUAGES (DBPL 2017), VOLUME: Part F130653
AUTHORS: Oliveira, JN ; Macedo, HD;
PUBLISHED: 2017, SOURCE: 16th International Symposium on Database Programming Languages (DBPL) in PROCEEDINGS OF THE 16TH INTERNATIONAL SYMPOSIUM ON DATABASE PROGRAMMING LANGUAGES (DBPL 2017), VOLUME: Part F130653
729
TITLE: The Single-Writer Principle in CRDT Composition
AUTHORS: Vitor Enes ; Paulo Sérgio Almeida ; Carlos Baquero ;
PUBLISHED: 2017, SOURCE: PMLDC@ECOOP, PAGES: 4:1-4:3
AUTHORS: Vitor Enes ; Paulo Sérgio Almeida ; Carlos Baquero ;
PUBLISHED: 2017, SOURCE: PMLDC@ECOOP, PAGES: 4:1-4:3
730
TITLE: The Specification and Analysis of Use Properties of a Nuclear Control System
AUTHORS: Michael D Harrison ; Paolo M Masci ; José Creissac Campos ; Paul Curzon;
PUBLISHED: 2017, SOURCE: Handbook of Formal Methods in Human-Computer Interaction, PAGES: 379-403
AUTHORS: Michael D Harrison ; Paolo M Masci ; José Creissac Campos ; Paul Curzon;
PUBLISHED: 2017, SOURCE: Handbook of Formal Methods in Human-Computer Interaction, PAGES: 379-403
731
TITLE: TOM: A Model-Based GUI Testing Framework
AUTHORS: Pinto, M; Gonçalves, M; Masci, P ; Campos, JC ;
PUBLISHED: 2017, SOURCE: 14th International Conference on Formal Aspects of Component Software (FACS) in FORMAL ASPECTS OF COMPONENT SOFTWARE (FACS 2017), VOLUME: 10487, PAGES: 155-161
AUTHORS: Pinto, M; Gonçalves, M; Masci, P ; Campos, JC ;
PUBLISHED: 2017, SOURCE: 14th International Conference on Formal Aspects of Component Software (FACS) in FORMAL ASPECTS OF COMPONENT SOFTWARE (FACS 2017), VOLUME: 10487, PAGES: 155-161
732
TITLE: Towards a Green Ranking for Programming Languages
AUTHORS: Couto, M ; Pereira, R ; Ribeiro, F ; Rua, R ; Saraiva, J ;
PUBLISHED: 2017, SOURCE: 21st Brazilian Symposium on Programming Languages (SBLP) as Part of 8th Brazilian Conference on Software (CBSoft) in PROCEEDINGS OF THE 21ST BRAZILIAN SYMPOSIUM ON PROGRAMMING LANGUAGES (SBLP 2017), VOLUME: Part F130805, PAGES: 7:1-7:8
AUTHORS: Couto, M ; Pereira, R ; Ribeiro, F ; Rua, R ; Saraiva, J ;
PUBLISHED: 2017, SOURCE: 21st Brazilian Symposium on Programming Languages (SBLP) as Part of 8th Brazilian Conference on Software (CBSoft) in PROCEEDINGS OF THE 21ST BRAZILIAN SYMPOSIUM ON PROGRAMMING LANGUAGES (SBLP 2017), VOLUME: Part F130805, PAGES: 7:1-7:8
733
TITLE: Towards new data management platforms for a DSO as market enabler - UPGRID Portugal demo
AUTHORS: Alonso, A ; Couto, R ; Pacheco, H; Bessa, R ; Gouveia, C ; Seca, L; Moreira, J ; Nunes, P; Matos, PG; Oliveira, A;
PUBLISHED: 2017, SOURCE: 24th International Conference and Exhibition on Electricity Distribution, CIRED 2017 in CIRED - Open Access Proceedings Journal, VOLUME: 2017, ISSUE: 1, PAGES: 2926-2930
AUTHORS: Alonso, A ; Couto, R ; Pacheco, H; Bessa, R ; Gouveia, C ; Seca, L; Moreira, J ; Nunes, P; Matos, PG; Oliveira, A;
PUBLISHED: 2017, SOURCE: 24th International Conference and Exhibition on Electricity Distribution, CIRED 2017 in CIRED - Open Access Proceedings Journal, VOLUME: 2017, ISSUE: 1, PAGES: 2926-2930
734
TITLE: Towards Systematic Spreadsheet Construction Processes
AUTHORS: Mendes, J ; Cunha, J ; Duarte, F; Engels, G; Saraiva, J ; Sauer, S;
PUBLISHED: 2017, SOURCE: IEEE/ACM 39th International Conference on Software Engineering Companion (ICSE-C) in PROCEEDINGS OF THE 2017 IEEE/ACM 39TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING COMPANION (ICSE-C 2017), PAGES: 356-358
AUTHORS: Mendes, J ; Cunha, J ; Duarte, F; Engels, G; Saraiva, J ; Sauer, S;
PUBLISHED: 2017, SOURCE: IEEE/ACM 39th International Conference on Software Engineering Companion (ICSE-C) in PROCEEDINGS OF THE 2017 IEEE/ACM 39TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING COMPANION (ICSE-C 2017), PAGES: 356-358
735
TITLE: Transparent cross-system consistency
AUTHORS: João Loff; Carlos Baquero ; Nuno Preguiça ;
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: 8:1-8:4
AUTHORS: João Loff; Carlos Baquero ; Nuno Preguiça ;
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: 8:1-8:4
736
TITLE: Type-Safe Evolution of Web Services
AUTHORS: João Campinhos; João Costa Seco; Jácome Cunha ;
PUBLISHED: 2017, SOURCE: VACE@ICSE, PAGES: 20-26
AUTHORS: João Campinhos; João Costa Seco; Jácome Cunha ;
PUBLISHED: 2017, SOURCE: VACE@ICSE, PAGES: 20-26
737
TITLE: Typed connector families and their semantics
AUTHORS: José Proença ; Dave Clarke;
PUBLISHED: 2017, SOURCE: Sci. Comput. Program., VOLUME: 146, PAGES: 28-49
AUTHORS: José Proença ; Dave Clarke;
PUBLISHED: 2017, SOURCE: Sci. Comput. Program., VOLUME: 146, PAGES: 28-49
738
TITLE: Variability and Complexity in Software Design: Towards Quality through Modeling and Testing. Towards Quality through Modeling and Testing Full Text
AUTHORS: Matthias Galster; Danny Weyns; Michael Goedicke; Uwe Zdun; Jácome Cunha ; Jaime Chavarriaga;
PUBLISHED: 2017, SOURCE: ACM SIGSOFT Softw. Eng. Notes, VOLUME: 42, ISSUE: 4, PAGES: 35-37
AUTHORS: Matthias Galster; Danny Weyns; Michael Goedicke; Uwe Zdun; Jácome Cunha ; Jaime Chavarriaga;
PUBLISHED: 2017, SOURCE: ACM SIGSOFT Softw. Eng. Notes, VOLUME: 42, ISSUE: 4, PAGES: 35-37
INDEXED IN: DBLP 
CrossRef
DBLP CrossRef739
TITLE: Verification of User Interface Software: The Example of Use-Related Safety Requirements and Programmable Medical Devices Full Text
AUTHORS: Harrison, MD; Masci, P ; Campos, JC ; Curzon, P;
PUBLISHED: 2017, SOURCE: IEEE TRANSACTIONS ON HUMAN-MACHINE SYSTEMS, VOLUME: 47, ISSUE: 6, PAGES: 834-846
AUTHORS: Harrison, MD; Masci, P ; Campos, JC ; Curzon, P;
PUBLISHED: 2017, SOURCE: IEEE TRANSACTIONS ON HUMAN-MACHINE SYSTEMS, VOLUME: 47, ISSUE: 6, PAGES: 834-846
740
TITLE: Welcome to the First Issue of PACMHCI EICS
AUTHORS: Gaëlle Calvary; Jeffrey Nichols; José Creissac Campos ; Nuno Jardim Nunes; Pedro F Campos ;
PUBLISHED: 2017, SOURCE: Proc. ACM Hum. Comput. Interact., VOLUME: 1, ISSUE: EICS, PAGES: 1:1-1:2
AUTHORS: Gaëlle Calvary; Jeffrey Nichols; José Creissac Campos ; Nuno Jardim Nunes; Pedro F Campos ;
PUBLISHED: 2017, SOURCE: Proc. ACM Hum. Comput. Interact., VOLUME: 1, ISSUE: EICS, PAGES: 1:1-1:2
