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: 1499
150 Team MembersFilters -> Year: 2025
481
TITLE: Formal Modelling as a Component of User Centred Design
AUTHORS: Michael D Harrison; Paolo Masci ; José Creissac Campos ;
PUBLISHED: 2018, SOURCE: International Conference on Software Technologies: Applications and Foundations, STAF 2018 in Software Technologies: Applications and Foundations - STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers, VOLUME: 11176, PAGES: 274-289
AUTHORS: Michael D Harrison; Paolo Masci ; José Creissac Campos ;
PUBLISHED: 2018, SOURCE: International Conference on Software Technologies: Applications and Foundations, STAF 2018 in Software Technologies: Applications and Foundations - STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers, VOLUME: 11176, PAGES: 274-289
482
TITLE: GENERATING THE ALGEBRAIC THEORY OF C(X): THE CASE OF PARTIALLY ORDERED COMPACT SPACES
AUTHORS: Dirk Hofmann ; Renato Neves ; Pedro Nora;
PUBLISHED: 2018, SOURCE: THEORY AND APPLICATIONS OF CATEGORIES, VOLUME: 33, PAGES: 276-295
AUTHORS: Dirk Hofmann ; Renato Neves ; Pedro Nora;
PUBLISHED: 2018, SOURCE: THEORY AND APPLICATIONS OF CATEGORIES, VOLUME: 33, PAGES: 276-295
INDEXED IN: 
Scopus 
WOS
Scopus WOS483
TITLE: Global-Local View: Scalable Consistency for Concurrent Data Types
AUTHORS: Deepthi Devaki Akkoorath; José Brandão; Annette Bieniusa; Carlos Baquero ;
PUBLISHED: 2018, SOURCE: 24th International European Conference on Parallel and Distributed Computing, Euro-Par 2018 in Euro-Par 2018: Parallel Processing - 24th International Conference on Parallel and Distributed Computing, Turin, Italy, August 27-31, 2018, Proceedings, VOLUME: 11014, PAGES: 492-504
AUTHORS: Deepthi Devaki Akkoorath; José Brandão; Annette Bieniusa; Carlos Baquero ;
PUBLISHED: 2018, SOURCE: 24th International European Conference on Parallel and Distributed Computing, Euro-Par 2018 in Euro-Par 2018: Parallel Processing - 24th International Conference on Parallel and Distributed Computing, Turin, Italy, August 27-31, 2018, Proceedings, VOLUME: 11014, PAGES: 492-504
INDEXED IN: Scopus 
DBLP
Scopus DBLP484
TITLE: GreenSoftwareLab: Towards an Engineering Discipline for Green Software Full Text
AUTHORS: João Saraiva ; Rui Abreu ; Jácome Cunha ; João Paulo Fernandes ;
PUBLISHED: 2018, SOURCE: Impact, VOLUME: 2018, ISSUE: 1, PAGES: 9-11
AUTHORS: João Saraiva ; Rui Abreu ; Jácome Cunha ; João Paulo Fernandes ;
PUBLISHED: 2018, SOURCE: Impact, VOLUME: 2018, ISSUE: 1, PAGES: 9-11
INDEXED IN: 
CrossRef
CrossRef485
TITLE: Hierarchical Hybrid Logic
AUTHORS: Alexandre Madeira ; Renato Neves ; Manuel A Martins ; Luis S Barbosa ;
PUBLISHED: 2018, SOURCE: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 338, PAGES: 167-184
AUTHORS: Alexandre Madeira ; Renato Neves ; Manuel A Martins ; Luis S Barbosa ;
PUBLISHED: 2018, SOURCE: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 338, PAGES: 167-184
486
TITLE: hnforcing ideal-world leakage bounds in real-world secret sharing MPC frameworks
AUTHORS: Almeida, JB ; Barbosa, M ; Barthe, G ; Pacheco, H ; Pereira, V ; Portela, B ;
PUBLISHED: 2018, SOURCE: 31st IEEE Computer Security Foundations Symposium (CSF) held as part of the Federated Logic Conference (FLoC) in IEEE 31ST COMPUTER SECURITY FOUNDATIONS SYMPOSIUM (CSF 2018), VOLUME: 2018-July, PAGES: 132-146
AUTHORS: Almeida, JB ; Barbosa, M ; Barthe, G ; Pacheco, H ; Pereira, V ; Portela, B ;
PUBLISHED: 2018, SOURCE: 31st IEEE Computer Security Foundations Symposium (CSF) held as part of the Federated Logic Conference (FLoC) in IEEE 31ST COMPUTER SECURITY FOUNDATIONS SYMPOSIUM (CSF 2018), VOLUME: 2018-July, PAGES: 132-146
487
TITLE: Improving the Visualization of Alloy Instances PDF Full Text
AUTHORS: Couto, R ; Campos, JC ; Macedo, N ; Cunha, A ;
PUBLISHED: 2018, SOURCE: 4th Workshop on Formal Integrated Development Environment (F-IDE) held as a Satellite Workshop of FLoC in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 284, ISSUE: 284, PAGES: 37-52
AUTHORS: Couto, R ; Campos, JC ; Macedo, N ; Cunha, A ;
PUBLISHED: 2018, SOURCE: 4th Workshop on Formal Integrated Development Environment (F-IDE) held as a Satellite Workshop of FLoC in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 284, ISSUE: 284, PAGES: 37-52
488
TITLE: Improving traces visualisation through layout managers
AUTHORS: Couto, R ; Campos, JC ;
PUBLISHED: 2018, SOURCE: 1st International Conference on Graphics and Interaction (ICGI) in 2018 1ST INTERNATIONAL CONFERENCE ON GRAPHICS AND INTERACTION (ICGI 2018)
AUTHORS: Couto, R ; Campos, JC ;
PUBLISHED: 2018, SOURCE: 1st International Conference on Graphics and Interaction (ICGI) in 2018 1ST INTERNATIONAL CONFERENCE ON GRAPHICS AND INTERACTION (ICGI 2018)
489
TITLE: Indifferentiable Authenticated Encryption
AUTHORS: Manuel Barbosa ; Pooya Farshim;
PUBLISHED: 2018, SOURCE: IACR Cryptology ePrint Archive, VOLUME: 2018, PAGES: 547
AUTHORS: Manuel Barbosa ; Pooya Farshim;
PUBLISHED: 2018, SOURCE: IACR Cryptology ePrint Archive, VOLUME: 2018, PAGES: 547
INDEXED IN: DBLP
DBLP490
TITLE: Indifferentiable Authenticated Encryption
AUTHORS: Manuel Barbosa ; Pooya Farshim;
PUBLISHED: 2018, SOURCE: 38th Annual International Cryptology Conference (CRYPTO) in ADVANCES IN CRYPTOLOGY - CRYPTO 2018, PT I, VOLUME: 10991, PAGES: 187-220
AUTHORS: Manuel Barbosa ; Pooya Farshim;
PUBLISHED: 2018, SOURCE: 38th Annual International Cryptology Conference (CRYPTO) in ADVANCES IN CRYPTOLOGY - CRYPTO 2018, PT I, VOLUME: 10991, PAGES: 187-220
491
TITLE: jStanley: placing a green thumb on Java collections
AUTHORS: Rui Pereira ; Pedro Simão; Jácome Cunha ; João Saraiva ;
PUBLISHED: 2018, SOURCE: 33rd IEEE/ACM International Conference on Automated Software Engineering, ASE 2018 in Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, ASE 2018, Montpellier, France, September 3-7, 2018, PAGES: 856-859
AUTHORS: Rui Pereira ; Pedro Simão; Jácome Cunha ; João Saraiva ;
PUBLISHED: 2018, SOURCE: 33rd IEEE/ACM International Conference on Automated Software Engineering, ASE 2018 in Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, ASE 2018, Montpellier, France, September 3-7, 2018, PAGES: 856-859
492
TITLE: K-Taint: An Executable Rewriting Logic Semantics for Taint Analysis in the K Framework
AUTHORS: Md. Imran Alam; Raju Halder; Harshita Goswami; Jorge Sousa Pinto ;
PUBLISHED: 2018, SOURCE: 13th International Conference on Evaluation of Novel Approaches to Software Engineering in PROCEEDINGS OF THE 13TH INTERNATIONAL CONFERENCE ON EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING, PAGES: 359-366
AUTHORS: Md. Imran Alam; Raju Halder; Harshita Goswami; Jorge Sousa Pinto ;
PUBLISHED: 2018, SOURCE: 13th International Conference on Evaluation of Novel Approaches to Software Engineering in PROCEEDINGS OF THE 13TH INTERNATIONAL CONFERENCE ON EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING, PAGES: 359-366
493
TITLE: Languages and models for hybrid automata: A coalgebraic perspective Full Text
AUTHORS: Renato Neves ; Luis S Barbosa ;
PUBLISHED: 2018, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 744, PAGES: 113-142
AUTHORS: Renato Neves ; Luis S Barbosa ;
PUBLISHED: 2018, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 744, PAGES: 113-142
494
TITLE: Layered logics, coalgebraically
AUTHORS: Barbosa, LS ;
PUBLISHED: 2018, SOURCE: 1st International Workshop on Dynamic Logic, DALI 2017 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 10669 LNCS, PAGES: 55-63
AUTHORS: Barbosa, LS ;
PUBLISHED: 2018, SOURCE: 1st International Workshop on Dynamic Logic, DALI 2017 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 10669 LNCS, PAGES: 55-63
INDEXED IN: Scopus CrossRef
Scopus CrossRef495
TITLE: nSharma: Numerical simulation heterogeneity aware runtime manager for openFOAM
AUTHORS: Roberto Ribeiro; Luís Paulo Santos ; João Miguel Nóbrega;
PUBLISHED: 2018, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 10860 LNCS, PAGES: 429-443
AUTHORS: Roberto Ribeiro; Luís Paulo Santos ; João Miguel Nóbrega;
PUBLISHED: 2018, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 10860 LNCS, PAGES: 429-443
496
TITLE: Optimized Planning of Different Crops in a Field Using Optimal Control in Portugal Full Text
AUTHORS: Rui M S Pereira; Sofia Lopes; Amelia Caldeira; Victor Fonte ;
PUBLISHED: 2018, SOURCE: SUSTAINABILITY, VOLUME: 10, ISSUE: 12, PAGES: 4648
AUTHORS: Rui M S Pereira; Sofia Lopes; Amelia Caldeira; Victor Fonte ;
PUBLISHED: 2018, SOURCE: SUSTAINABILITY, VOLUME: 10, ISSUE: 12, PAGES: 4648
497
TITLE: Parallel Polyglot Query Processing on Heterogeneous Cloud Data Stores with LeanXcale
AUTHORS: Boyan Kolev; Oleksandra Levchenko; Esther Pacitti; Patrick Valduriez; Ricardo Vilaça ; Rui C Gonçalves; Ricardo Jiménez Peris; Pavlos Kranas;
PUBLISHED: 2018, SOURCE: IEEE International Conference on Big Data (IEEE BigData 2018), Seattle, WA, USA, December 10-13, 2018, PAGES: 1757-1766
AUTHORS: Boyan Kolev; Oleksandra Levchenko; Esther Pacitti; Patrick Valduriez; Ricardo Vilaça ; Rui C Gonçalves; Ricardo Jiménez Peris; Pavlos Kranas;
PUBLISHED: 2018, SOURCE: IEEE International Conference on Big Data (IEEE BigData 2018), Seattle, WA, USA, December 10-13, 2018, PAGES: 1757-1766
INDEXED IN: DBLP CrossRef
DBLP CrossRef498
TITLE: Permutability in proof terms for intuitionistic sequent calculus with cuts
AUTHORS: Santo, JE; Frade, MJ ; Pinto, L;
PUBLISHED: 2018, SOURCE: 22nd International Conference on Types for Proofs and Programs, TYPES 2016 in Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 97
AUTHORS: Santo, JE; Frade, MJ ; Pinto, L;
PUBLISHED: 2018, SOURCE: 22nd International Conference on Types for Proofs and Programs, TYPES 2016 in Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 97
INDEXED IN: Scopus
Scopus499
TITLE: Preference rules for label ranking: Mining patterns in multi-target relations Full Text
AUTHORS: Claudio Rebelo de Sa ; Paulo Azevedo ; Carlos Soares ; Alipio Mario Jorge ; Arno Knobbe;
PUBLISHED: 2018, SOURCE: INFORMATION FUSION, VOLUME: 40, PAGES: 112-125
AUTHORS: Claudio Rebelo de Sa ; Paulo Azevedo ; Carlos Soares ; Alipio Mario Jorge ; Arno Knobbe;
PUBLISHED: 2018, SOURCE: INFORMATION FUSION, VOLUME: 40, PAGES: 112-125
500
TITLE: Proceedings of the 6th International Workshop on Green and Sustainable Software, GREENS@ICSE 2018, Gothenburg, Sweden, May 27, 2018
AUTHORS: Ivano Malavolta; Rick Kazman; João Saraiva ;
PUBLISHED: 2018, SOURCE: GREENS@ICSE
AUTHORS: Ivano Malavolta; Rick Kazman; João Saraiva ;
PUBLISHED: 2018, SOURCE: GREENS@ICSE
INDEXED IN: DBLP CrossRef
DBLP CrossRef