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: 1551
150 Team MembersFilters -> Year: 2024
221
TITLE: Experiences on teaching alloy with an automated assessment platform Full Text
AUTHORS: Macedo, N ; Cunha, A ; Pereira, J; Carvalho, R; Silva, R; Paiva, ACR ; Ramalho, MS; Silva, D;
PUBLISHED: 2021, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 211, PAGES: 102690
AUTHORS: Macedo, N ; Cunha, A ; Pereira, J; Carvalho, R; Silva, R; Paiva, ACR ; Ramalho, MS; Silva, D;
PUBLISHED: 2021, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 211, PAGES: 102690
222
TITLE: Exploring Usable Security to Improve the Impact of Formal Verification: A Research Agenda
AUTHORS: Carolina Carreira; João F Ferreira; Alexandra Mendes ; Nicolas Christin;
PUBLISHED: 2021, SOURCE: 1st Workshop on Applicable Formal Methods, AppFM 2021 in Proceedings First Workshop on Applicable Formal Methods, AppFM@FM 2021, virtual, 23rd November 2021., VOLUME: 349, PAGES: 77-84
AUTHORS: Carolina Carreira; João F Ferreira; Alexandra Mendes ; Nicolas Christin;
PUBLISHED: 2021, SOURCE: 1st Workshop on Applicable Formal Methods, AppFM 2021 in Proceedings First Workshop on Applicable Formal Methods, AppFM@FM 2021, virtual, 23rd November 2021., VOLUME: 349, PAGES: 77-84
INDEXED IN: 
Scopus 
DBLP
Scopus DBLP223
TITLE: Featured Team Automata
AUTHORS: Maurice H ter Beek; Guillermina Cledou ; Rolf Hennicker; José Proença ;
PUBLISHED: 2021, SOURCE: Formal Methods - 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings, VOLUME: 13047, PAGES: 483-502
AUTHORS: Maurice H ter Beek; Guillermina Cledou ; Rolf Hennicker; José Proença ;
PUBLISHED: 2021, SOURCE: Formal Methods - 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings, VOLUME: 13047, PAGES: 483-502
224
TITLE: Formal Methods Teaching. 4th International Workshop and Tutorial, FMTea 2021, Virtual Event, November 21, 2021, Proceedings
AUTHORS: João F Ferreira; Alexandra Mendes ; Claudio Menghi;
PUBLISHED: 2021, SOURCE: Lecture Notes in Computer Science
AUTHORS: João F Ferreira; Alexandra Mendes ; Claudio Menghi;
PUBLISHED: 2021, SOURCE: Lecture Notes in Computer Science
225
TITLE: Formal Methods Teaching - 4th International Workshop and Tutorial, FMTea 2021, Virtual Event, November 21, 2021, Proceedings
AUTHORS: João F Ferreira; Alexandra Mendes ; Claudio Menghi;
PUBLISHED: 2021, SOURCE: FMTea, VOLUME: 13122
AUTHORS: João F Ferreira; Alexandra Mendes ; Claudio Menghi;
PUBLISHED: 2021, SOURCE: FMTea, VOLUME: 13122
INDEXED IN: DBLP
DBLP226
TITLE: Functional Scalability and Replicability Analysis for Smart Grid Functions: The InteGrid Project Approach Full Text
AUTHORS: Menci, SP; Bessa, RJ ; Herndler, B; Korner, C; Rao, BV; Leimgruber, F; Madureira, AA ; Rua, D ; Coelho, F ; Silva, JV; Andrade, JR ; Sampaio, G ; Teixeira, H ; Simoes, M ; Viana, J ; Oliveira, L; Castro, D; Krisper, U; Andre, R;
PUBLISHED: 2021, SOURCE: ENERGIES, VOLUME: 14, ISSUE: 18, PAGES: 5685
AUTHORS: Menci, SP; Bessa, RJ ; Herndler, B; Korner, C; Rao, BV; Leimgruber, F; Madureira, AA ; Rua, D ; Coelho, F ; Silva, JV; Andrade, JR ; Sampaio, G ; Teixeira, H ; Simoes, M ; Viana, J ; Oliveira, L; Castro, D; Krisper, U; Andre, R;
PUBLISHED: 2021, SOURCE: ENERGIES, VOLUME: 14, ISSUE: 18, PAGES: 5685
227
TITLE: Fuzzy Automata as Coalgebras Full Text
AUTHORS: Liu, A; Wang, S; Barbosa, LS ; Sun, M;
PUBLISHED: 2021, SOURCE: MATHEMATICS, VOLUME: 9, ISSUE: 3, PAGES: 1-21
AUTHORS: Liu, A; Wang, S; Barbosa, LS ; Sun, M;
PUBLISHED: 2021, SOURCE: MATHEMATICS, VOLUME: 9, ISSUE: 3, PAGES: 1-21
228
TITLE: Generalised Quantum Tree Search
AUTHORS: Sequeira, Andre; Santos, Luis Paulo ; Barbosa, Luis Soares ;
PUBLISHED: 2021, SOURCE: 2nd IEEE/ACM International Workshop on Quantum Software Engineering (Q-SE) in 2021 IEEE/ACM 2ND INTERNATIONAL WORKSHOP ON QUANTUM SOFTWARE ENGINEERING (Q-SE 2021), PAGES: 39-40
AUTHORS: Sequeira, Andre; Santos, Luis Paulo ; Barbosa, Luis Soares ;
PUBLISHED: 2021, SOURCE: 2nd IEEE/ACM International Workshop on Quantum Software Engineering (Q-SE) in 2021 IEEE/ACM 2ND INTERNATIONAL WORKSHOP ON QUANTUM SOFTWARE ENGINEERING (Q-SE 2021), PAGES: 39-40
229
TITLE: GenoDedup: Similarity-Based Deduplication and Delta-Encoding for Genome Sequencing Data
AUTHORS: Cogo, V ; Paulo, J ; Bessani, A ;
PUBLISHED: 2021, SOURCE: IEEE TRANSACTIONS ON COMPUTERS, VOLUME: 70, ISSUE: 5, PAGES: 669-681
AUTHORS: Cogo, V ; Paulo, J ; Bessani, A ;
PUBLISHED: 2021, SOURCE: IEEE TRANSACTIONS ON COMPUTERS, VOLUME: 70, ISSUE: 5, PAGES: 669-681
230
TITLE: Green Software Lab: Towards an Engineering Discipline for Green Software
AUTHORS: Rui Abreu; Marco Couto ; Luís Cruz; Jácome Cunha ; João Paulo Fernandes ; Rui Pereira ; Alexandre Perez; João Saraiva ;
PUBLISHED: 2021, SOURCE: CoRR, VOLUME: abs/2108.03028
AUTHORS: Rui Abreu; Marco Couto ; Luís Cruz; Jácome Cunha ; João Paulo Fernandes ; Rui Pereira ; Alexandre Perez; João Saraiva ;
PUBLISHED: 2021, SOURCE: CoRR, VOLUME: abs/2108.03028
INDEXED IN: DBLP
DBLP231
TITLE: GreenHub: a large-scale collaborative dataset to battery consumption analysis of android devices Full Text
AUTHORS: Pereira, R ; Matalonga, H; Couto, M ; Castor, F; Cabral, B; Carvalho, P; de Sousa, SM ; Fernandes, JP ;
PUBLISHED: 2021, SOURCE: EMPIRICAL SOFTWARE ENGINEERING, VOLUME: 26, ISSUE: 3, PAGES: 38
AUTHORS: Pereira, R ; Matalonga, H; Couto, M ; Castor, F; Cabral, B; Carvalho, P; de Sousa, SM ; Fernandes, JP ;
PUBLISHED: 2021, SOURCE: EMPIRICAL SOFTWARE ENGINEERING, VOLUME: 26, ISSUE: 3, PAGES: 38
232
TITLE: HCI-E-2: HCI Engineering Education For Developers, Designers and More. For Developers, Designers and More
AUTHORS: Baumann, K; Campos, JC ; Dix, A; Nigay, L; Palanque, P; Vanderdonckt, J; van der Veer, G; Weyers, B;
PUBLISHED: 2021, SOURCE: 18th IFIP TC 13 International Conference on Human-Computer Interaction (INTERACT) in HUMAN-COMPUTER INTERACTION, INTERACT 2021, PT V, VOLUME: 12936, PAGES: 542-547
AUTHORS: Baumann, K; Campos, JC ; Dix, A; Nigay, L; Palanque, P; Vanderdonckt, J; van der Veer, G; Weyers, B;
PUBLISHED: 2021, SOURCE: 18th IFIP TC 13 International Conference on Human-Computer Interaction (INTERACT) in HUMAN-COMPUTER INTERACTION, INTERACT 2021, PT V, VOLUME: 12936, PAGES: 542-547
233
TITLE: HEP-Frame: Improving the efficiency of pipelined data transformation & filtering for scientific analyses Full Text
AUTHORS: Pereira, A ; Proenca, A ;
PUBLISHED: 2021, SOURCE: COMPUTER PHYSICS COMMUNICATIONS, VOLUME: 263, PAGES: 107844
AUTHORS: Pereira, A ; Proenca, A ;
PUBLISHED: 2021, SOURCE: COMPUTER PHYSICS COMMUNICATIONS, VOLUME: 263, PAGES: 107844
234
TITLE: Heterogeneous Models and Modelling Approaches for Engineering of Interactive Systems Full Text
AUTHORS: Ait Ameur, Y; Bowen, J; Campos, J ; Palanque, P; Weyers, B;
PUBLISHED: 2021, SOURCE: INTERACTING WITH COMPUTERS, VOLUME: 33, ISSUE: 1, PAGES: 1-2
AUTHORS: Ait Ameur, Y; Bowen, J; Campos, J ; Palanque, P; Weyers, B;
PUBLISHED: 2021, SOURCE: INTERACTING WITH COMPUTERS, VOLUME: 33, ISSUE: 1, PAGES: 1-2
235
TITLE: Hidden Markov models on a self-organizing map for anomaly detection in 802.11 wireless networks Full Text
AUTHORS: Allahdadi, A ; Pernes, D ; Cardoso, JS ; Morla, R ;
PUBLISHED: 2021, SOURCE: NEURAL COMPUTING & APPLICATIONS, VOLUME: 33, ISSUE: 14, PAGES: 8777-8794
AUTHORS: Allahdadi, A ; Pernes, D ; Cardoso, JS ; Morla, R ;
PUBLISHED: 2021, SOURCE: NEURAL COMPUTING & APPLICATIONS, VOLUME: 33, ISSUE: 14, PAGES: 8777-8794
236
TITLE: Horus: Non-Intrusive Causal Analysis of Distributed Systems Logs
AUTHORS: Neves, F ; Machado, N ; Vilaca, R ; Pereira, J ;
PUBLISHED: 2021, SOURCE: 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) in 51ST ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS (DSN 2021), PAGES: 212-223
AUTHORS: Neves, F ; Machado, N ; Vilaca, R ; Pereira, J ;
PUBLISHED: 2021, SOURCE: 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) in 51ST ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS (DSN 2021), PAGES: 212-223
237
TITLE: Hubs for VirtuosoNext: Online verification of real-time coordinators Full Text
AUTHORS: Cledou, G ; Proenca, J ; Sputh, BHC; Verhulst, E;
PUBLISHED: 2021, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 203, PAGES: 102566
AUTHORS: Cledou, G ; Proenca, J ; Sputh, BHC; Verhulst, E;
PUBLISHED: 2021, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 203, PAGES: 102566
238
TITLE: Hybrid dynamic logic institutions for event/data-based systems Full Text
AUTHORS: Hennicker, R; Knapp, A; Madeira, A ;
PUBLISHED: 2021, SOURCE: FORMAL ASPECTS OF COMPUTING, VOLUME: 33, ISSUE: 6, PAGES: 1209-1248
AUTHORS: Hennicker, R; Knapp, A; Madeira, A ;
PUBLISHED: 2021, SOURCE: FORMAL ASPECTS OF COMPUTING, VOLUME: 33, ISSUE: 6, PAGES: 1209-1248
239
TITLE: Identification of microservices from monolithic applications through topic modelling
AUTHORS: Miguel Brito; Jácome Cunha ; João Saraiva ;
PUBLISHED: 2021, SOURCE: 36th Annual ACM Symposium on Applied Computing, SAC 2021 in SAC '21: The 36th ACM/SIGAPP Symposium on Applied Computing, Virtual Event, Republic of Korea, March 22-26, 2021, PAGES: 1409-1418
AUTHORS: Miguel Brito; Jácome Cunha ; João Saraiva ;
PUBLISHED: 2021, SOURCE: 36th Annual ACM Symposium on Applied Computing, SAC 2021 in SAC '21: The 36th ACM/SIGAPP Symposium on Applied Computing, Virtual Event, Republic of Korea, March 22-26, 2021, PAGES: 1409-1418
INDEXED IN: Scopus DBLP
Scopus DBLP240
TITLE: IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2021, St Louis, MO, USA, October 10-13, 2021
AUTHORS: Kyle J Harms; Jácome Cunha ; Steve Oney; Caitlin Kelleher;
PUBLISHED: 2021, SOURCE: VL/HCC
AUTHORS: Kyle J Harms; Jácome Cunha ; Steve Oney; Caitlin Kelleher;
PUBLISHED: 2021, SOURCE: VL/HCC
INDEXED IN: DBLP
DBLP