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: 1570
167 Team MembersFilters -> Year: 2026
1041
TITLE: Topic 8: Distributed Systems and Algorithms - (Introduction). (Introduction)
AUTHORS: Achour Mostéfaoui; Andreas Polze; Carlos Baquero ; Paul D Ezhilchelvan; Lars Lundberg;
PUBLISHED: 2013, SOURCE: Euro-Par, VOLUME: 8097 LNCS, PAGES: 367-368
AUTHORS: Achour Mostéfaoui; Andreas Polze; Carlos Baquero ; Paul D Ezhilchelvan; Lars Lundberg;
PUBLISHED: 2013, SOURCE: Euro-Par, VOLUME: 8097 LNCS, PAGES: 367-368
1042
TITLE: Towards a mostly-automated prover for bit-vector arithmetic
AUTHORS: Iago Abal; Jorge Sousa Pinto ;
PUBLISHED: 2013, SOURCE: C3S2E, PAGES: 132-133
AUTHORS: Iago Abal; Jorge Sousa Pinto ;
PUBLISHED: 2013, SOURCE: C3S2E, PAGES: 132-133
1043
TITLE: Towards an accurate evaluation of deduplicated storage systems
AUTHORS: Paulo, J ; Reis, P; Pereira, J ; Sousa, A ;
PUBLISHED: 2013, SOURCE: COMPUTER SYSTEMS SCIENCE AND ENGINEERING, VOLUME: 28, ISSUE: 6, PAGES: 427-437
AUTHORS: Paulo, J ; Reis, P; Pereira, J ; Sousa, A ;
PUBLISHED: 2013, SOURCE: COMPUTER SYSTEMS SCIENCE AND ENGINEERING, VOLUME: 28, ISSUE: 6, PAGES: 427-437
INDEXED IN: 
Scopus 
WOS 
DBLP
Scopus WOS DBLP1044
TITLE: Towards effective and efficient search-based deterministic replay
AUTHORS: Manuel Bravo; Nuno Machado ; Paolo Romano ; Luís E T Rodrigues ;
PUBLISHED: 2013, SOURCE: 9th Workshop on Hot Topics in Dependable Systems, HotDep 2013 in HotDep, PAGES: 10:1-10:6
AUTHORS: Manuel Bravo; Nuno Machado ; Paolo Romano ; Luís E T Rodrigues ;
PUBLISHED: 2013, SOURCE: 9th Workshop on Hot Topics in Dependable Systems, HotDep 2013 in HotDep, PAGES: 10:1-10:6
1045
TITLE: Typing linear algebra: A biproduct-oriented approach
AUTHORS: Macedo, HD; Oliveira, JN ;
PUBLISHED: 2013, SOURCE: 10th International Conference on Mathematics of Program Construction in SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 78, ISSUE: 11, PAGES: 2160-2191
AUTHORS: Macedo, HD; Oliveira, JN ;
PUBLISHED: 2013, SOURCE: 10th International Conference on Mathematics of Program Construction in SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 78, ISSUE: 11, PAGES: 2160-2191
1046
TITLE: Uma abordagem para a geração de casos de teste baseada em modelos. A Model-based Approach for Test Cases Generation
AUTHORS: João C Silva; José L C Silva; Campos, J. Creissac ; João A Saraiva;
PUBLISHED: 2013
AUTHORS: João C Silva; José L C Silva; Campos, J. Creissac ; João A Saraiva;
PUBLISHED: 2013
INDEXED IN: 
Handle
Handle1047
TITLE: Using Cloogy and Case Based Reasoning to Identify Electrical Consumptions
AUTHORS: Antonio Damasceno; Andreia Carreiro; João Saraiva ; Jose Neto; Jorge Landeck;
PUBLISHED: 2013, SOURCE: ICDM (Workshops), PAGES: 111-122
AUTHORS: Antonio Damasceno; Andreia Carreiro; João Saraiva ; Jose Neto; Jorge Landeck;
PUBLISHED: 2013, SOURCE: ICDM (Workshops), PAGES: 111-122
INDEXED IN: DBLP
DBLP1048
TITLE: Verifying bigraphical models of architectural reconfigurations
AUTHORS: Sánchez, A ; Barbosa, LS ; Riesco, D;
PUBLISHED: 2013, SOURCE: 7th International Symposium on Theoretical Aspects of Software Engineering (TASE) in 2013 INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING (TASE), PAGES: 135-138
AUTHORS: Sánchez, A ; Barbosa, LS ; Riesco, D;
PUBLISHED: 2013, SOURCE: 7th International Symposium on Theoretical Aspects of Software Engineering (TASE) in 2013 INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING (TASE), PAGES: 135-138
1049
TITLE: WEIGHTED AUTOMATA AS COALGEBRAS IN CATEGORIES OF MATRICES
AUTHORS: Oliveira, JN ;
PUBLISHED: 2013, SOURCE: INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, VOLUME: 24, ISSUE: 6, PAGES: 709-728
AUTHORS: Oliveira, JN ;
PUBLISHED: 2013, SOURCE: INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, VOLUME: 24, ISSUE: 6, PAGES: 709-728
1050
TITLE: When even the interface evolves ...
AUTHORS: Madeira, A ; Neves, R ; Martins, MA ; Barbosa, LS ;
PUBLISHED: 2013, SOURCE: 7th International Symposium on Theoretical Aspects of Software Engineering (TASE) in 2013 INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING (TASE), PAGES: 79-82
AUTHORS: Madeira, A ; Neves, R ; Martins, MA ; Barbosa, LS ;
PUBLISHED: 2013, SOURCE: 7th International Symposium on Theoretical Aspects of Software Engineering (TASE) in 2013 INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING (TASE), PAGES: 79-82
1051
TITLE: Zipper-Based Attribute Grammars and Their Extensions
AUTHORS: Martins, P ; Fernandes, JP ; Saraiva, J ;
PUBLISHED: 2013, SOURCE: 17th Brazilian Symposium on Programming Languages (SBLP) in PROGRAMMING LANGUAGES, SBLP 2013, VOLUME: 8129, PAGES: 135-149
AUTHORS: Martins, P ; Fernandes, JP ; Saraiva, J ;
PUBLISHED: 2013, SOURCE: 17th Brazilian Symposium on Programming Languages (SBLP) in PROGRAMMING LANGUAGES, SBLP 2013, VOLUME: 8129, PAGES: 135-149
1052
TITLE: A Bidirectional Model-Driven Spreadsheet Environment
AUTHORS: Cunha, J ; Fernandes, JP ; Mendes, J ; Saraiva, J ;
PUBLISHED: 2012, SOURCE: 34th International Conference on Software Engineering (ICSE) in 2012 34TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE), PAGES: 1443-1444
AUTHORS: Cunha, J ; Fernandes, JP ; Mendes, J ; Saraiva, J ;
PUBLISHED: 2012, SOURCE: 34th International Conference on Software Engineering (ICSE) in 2012 34TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE), PAGES: 1443-1444
1053
TITLE: A Calculus for Generic, QoS-Aware Component Composition
AUTHORS: Luís Soares Barbosa ; Meng Sun;
PUBLISHED: 2012, SOURCE: Math. Comput. Sci., VOLUME: 6, ISSUE: 4, PAGES: 475-497
AUTHORS: Luís Soares Barbosa ; Meng Sun;
PUBLISHED: 2012, SOURCE: Math. Comput. Sci., VOLUME: 6, ISSUE: 4, PAGES: 475-497
1054
TITLE: A Comprehensive Taxonomy for Three-dimensional Display
AUTHORS: Waldir Pimenta; Luis Paulo Santos ;
PUBLISHED: 2012, SOURCE: 20th International Conference in Central Europe on Computer Graphics, Visualization and Computer Vision in WSCG'2012, CONFERENCE PROCEEDINGS, PTS I & II, ISSUE: PART 1, PAGES: 139-146
AUTHORS: Waldir Pimenta; Luis Paulo Santos ;
PUBLISHED: 2012, SOURCE: 20th International Conference in Central Europe on Computer Graphics, Visualization and Computer Vision in WSCG'2012, CONFERENCE PROCEEDINGS, PTS I & II, ISSUE: PART 1, PAGES: 139-146
INDEXED IN: Scopus WOS
Scopus WOS1055
TITLE: A literature review about usability evaluation methods for e-learning platforms Full Text
AUTHORS: Luciana Lopes Freire; Pedro Miguel Arezes ; Jose Creissac Campos ;
PUBLISHED: 2012, SOURCE: WORK-A JOURNAL OF PREVENTION ASSESSMENT & REHABILITATION, VOLUME: 41, ISSUE: SUPPL.1, PAGES: 1038-1044
AUTHORS: Luciana Lopes Freire; Pedro Miguel Arezes ; Jose Creissac Campos ;
PUBLISHED: 2012, SOURCE: WORK-A JOURNAL OF PREVENTION ASSESSMENT & REHABILITATION, VOLUME: 41, ISSUE: SUPPL.1, PAGES: 1038-1044
1056
TITLE: A Patterns based reverse engineering approach for Java source code
AUTHORS: Couto, R ; Ribeiro, AN ; Campos, JC ;
PUBLISHED: 2012, SOURCE: 35th IEEE Software Engineering Workshop (SEW) in PROCEEDINGS OF THE 2012 IEEE 35TH SOFTWARE ENGINEERING WORKSHOP (SEW 2012), PAGES: 140-147
AUTHORS: Couto, R ; Ribeiro, AN ; Campos, JC ;
PUBLISHED: 2012, SOURCE: 35th IEEE Software Engineering Workshop (SEW) in PROCEEDINGS OF THE 2012 IEEE 35TH SOFTWARE ENGINEERING WORKSHOP (SEW 2012), PAGES: 140-147
1057
TITLE: A Preliminary Analysis of Learning Awareness in FLOSS Projects
AUTHORS: Sara Fernandes; Antonio Cerone; Luís Soares Barbosa ;
PUBLISHED: 2012, SOURCE: 10th International Conference on Software Engineering and Formal Methods, SEFM 2012, 1st International Symposium on InSuEdu 2012, 1st International Symposium on MoKMaSD 2012, 6th International Workshop on Foundations and Techniques for OpenCert 2012 in SEFM Satellite Events, VOLUME: 7991 LNCS, PAGES: 133-139
AUTHORS: Sara Fernandes; Antonio Cerone; Luís Soares Barbosa ;
PUBLISHED: 2012, SOURCE: 10th International Conference on Software Engineering and Formal Methods, SEFM 2012, 1st International Symposium on InSuEdu 2012, 1st International Symposium on MoKMaSD 2012, 6th International Workshop on Foundations and Techniques for OpenCert 2012 in SEFM Satellite Events, VOLUME: 7991 LNCS, PAGES: 133-139
1058
TITLE: A Procedure for Splitting Processes and its Application to Coordination
AUTHORS: Sung Shik T Q Jongmans; Dave Clarke; José Proença ;
PUBLISHED: 2012, SOURCE: FOCLASA, VOLUME: 91, PAGES: 79-96
AUTHORS: Sung Shik T Q Jongmans; Dave Clarke; José Proença ;
PUBLISHED: 2012, SOURCE: FOCLASA, VOLUME: 91, PAGES: 79-96
1059
TITLE: A Purely Functional Combinator Language for Software Quality Assessment
AUTHORS: Pedro Martins ; João Paulo Fernandes ; João Saraiva ;
PUBLISHED: 2012, SOURCE: SLATE, VOLUME: 21, PAGES: 51-69
AUTHORS: Pedro Martins ; João Paulo Fernandes ; João Saraiva ;
PUBLISHED: 2012, SOURCE: SLATE, VOLUME: 21, PAGES: 51-69
INDEXED IN: Scopus DBLP
Scopus DBLP1060
TITLE: A Quality Model for Spreadsheets
AUTHORS: Cunha, J ; Fernandes, JP ; Peixoto, C; Saraiva, J ;
PUBLISHED: 2012, SOURCE: 8th International Conference on the Quality of Information and Communications Technology (QUATIC) in 2012 EIGHTH INTERNATIONAL CONFERENCE ON THE QUALITY OF INFORMATION AND COMMUNICATIONS TECHNOLOGY (QUATIC 2012), PAGES: 231-236
AUTHORS: Cunha, J ; Fernandes, JP ; Peixoto, C; Saraiva, J ;
PUBLISHED: 2012, SOURCE: 8th International Conference on the Quality of Information and Communications Technology (QUATIC) in 2012 EIGHTH INTERNATIONAL CONFERENCE ON THE QUALITY OF INFORMATION AND COMMUNICATIONS TECHNOLOGY (QUATIC 2012), PAGES: 231-236
