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: 1659
149 Team MembersFilters -> Year: 2026
1201
TITLE: Significant motifs in time series
AUTHORS: Nuno Filipe Castro ; Paulo J Azevedo ;
PUBLISHED: 2012, SOURCE: Stat. Anal. Data Min., VOLUME: 5, ISSUE: 1, PAGES: 35-53
AUTHORS: Nuno Filipe Castro ; Paulo J Azevedo ;
PUBLISHED: 2012, SOURCE: Stat. Anal. Data Min., VOLUME: 5, ISSUE: 1, PAGES: 35-53
1202
TITLE: Slead: Low-Memory, Steady Distributed Systems Slicing
AUTHORS: Francisco Maia ; Miguel Matos ; Etienne Rivière; Rui Oliveira ;
PUBLISHED: 2012, SOURCE: DAIS, VOLUME: 7272 LNCS, PAGES: 1-15
AUTHORS: Francisco Maia ; Miguel Matos ; Etienne Rivière; Rui Oliveira ;
PUBLISHED: 2012, SOURCE: DAIS, VOLUME: 7272 LNCS, PAGES: 1-15
1203
TITLE: SmellSheet Detective: A Tool for Detecting Bad Smells in Spreadsheets
AUTHORS: Cunha, J ; Fernandes, JP ; Martins, P ; Mendes, J ; Saraiva, J ;
PUBLISHED: 2012, SOURCE: IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) Co-Located with the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS) in 2012 IEEE SYMPOSIUM ON VISUAL LANGUAGES AND HUMAN-CENTRIC COMPUTING (VL/HCC), PAGES: 243-244
AUTHORS: Cunha, J ; Fernandes, JP ; Martins, P ; Mendes, J ; Saraiva, J ;
PUBLISHED: 2012, SOURCE: IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) Co-Located with the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS) in 2012 IEEE SYMPOSIUM ON VISUAL LANGUAGES AND HUMAN-CENTRIC COMPUTING (VL/HCC), PAGES: 243-244
1204
TITLE: Software components as invariant-typed arrows
AUTHORS: Barbosa, LS ;
PUBLISHED: 2012, SOURCE: 16th Brazilian Symposium on Programming Languages, SBLP 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7554 LNCS, PAGES: 1-5
AUTHORS: Barbosa, LS ;
PUBLISHED: 2012, SOURCE: 16th Brazilian Symposium on Programming Languages, SBLP 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7554 LNCS, PAGES: 1-5
1205
TITLE: Specifying UML Protocol State Machines in Alloy
AUTHORS: Ana Gabriela Garis; Ana C R Paiva ; Alcino Cunha ; Daniel Riesco;
PUBLISHED: 2012, SOURCE: IFM, VOLUME: 7321 LNCS, PAGES: 312-326
AUTHORS: Ana Gabriela Garis; Ana C R Paiva ; Alcino Cunha ; Daniel Riesco;
PUBLISHED: 2012, SOURCE: IFM, VOLUME: 7321 LNCS, PAGES: 312-326
1206
TITLE: Spectra: Robust Estimation of Distribution Functions in Networks
AUTHORS: Miguel Borges; Paulo Jesus ; Carlos Baquero ; Paulo Sérgio Almeida ;
PUBLISHED: 2012, SOURCE: DAIS, VOLUME: 7272 LNCS, PAGES: 96-103
AUTHORS: Miguel Borges; Paulo Jesus ; Carlos Baquero ; Paulo Sérgio Almeida ;
PUBLISHED: 2012, SOURCE: DAIS, VOLUME: 7272 LNCS, PAGES: 96-103
1207
TITLE: Stopping ongoing broadcasts in large MANETs
AUTHORS: Rui Lima ; Carlos Baquero ; Hugo Miranda ;
PUBLISHED: 2012, SOURCE: ARMOR, PAGES: 4:1-4:5
AUTHORS: Rui Lima ; Carlos Baquero ; Hugo Miranda ;
PUBLISHED: 2012, SOURCE: ARMOR, PAGES: 4:1-4:5
1208
TITLE: Structured editing of handwritten mathematics
AUTHORS: Alexandra Mendes ;
PUBLISHED: 2012, SOURCE: British Library, EThOS
AUTHORS: Alexandra Mendes ;
PUBLISHED: 2012, SOURCE: British Library, EThOS
INDEXED IN: 
DBLP
DBLP1209
TITLE: The ABS tool suite: modelling, executing and analysing distributed adaptable object-oriented systems
AUTHORS: Peter Y H Wong; Elvira Albert; Radu Muschevici; José Proença ; Jan Schäfer; Rudolf Schlatte;
PUBLISHED: 2012, SOURCE: Int. J. Softw. Tools Technol. Transf., VOLUME: 14, ISSUE: 5, PAGES: 567-588
AUTHORS: Peter Y H Wong; Elvira Albert; Radu Muschevici; José Proença ; Jan Schäfer; Rudolf Schlatte;
PUBLISHED: 2012, SOURCE: Int. J. Softw. Tools Technol. Transf., VOLUME: 14, ISSUE: 5, PAGES: 567-588
1210
TITLE: Towards a Catalog of Spreadsheet Smells
AUTHORS: Cunha, J ; Fernandes, JP ; Ribeiro, H; Saraiva, J ;
PUBLISHED: 2012, SOURCE: 12th International Conference on Computational Science and Its Applications (ICCSA) in COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2012, PT IV, VOLUME: 7336, ISSUE: PART 4, PAGES: 202-216
AUTHORS: Cunha, J ; Fernandes, JP ; Ribeiro, H; Saraiva, J ;
PUBLISHED: 2012, SOURCE: 12th International Conference on Computational Science and Its Applications (ICCSA) in COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2012, PT IV, VOLUME: 7336, ISSUE: PART 4, PAGES: 202-216
1211
TITLE: Towards a linear algebra of programming Full Text
AUTHORS: Jose N Oliveira ;
PUBLISHED: 2012, SOURCE: FORMAL ASPECTS OF COMPUTING, VOLUME: 24, ISSUE: 4-6, PAGES: 433-458
AUTHORS: Jose N Oliveira ;
PUBLISHED: 2012, SOURCE: FORMAL ASPECTS OF COMPUTING, VOLUME: 24, ISSUE: 4-6, PAGES: 433-458
1212
TITLE: Towards an evaluation of bidirectional model-driven spreadsheets
AUTHORS: Jácome Cunha ; João Paulo Fernandes ; Jorge Mendes ; João Saraiva ;
PUBLISHED: 2012, SOURCE: USER@ICSE, PAGES: 25-28
AUTHORS: Jácome Cunha ; João Paulo Fernandes ; Jorge Mendes ; João Saraiva ;
PUBLISHED: 2012, SOURCE: USER@ICSE, PAGES: 25-28
1213
TITLE: Towards linear algebras of components
AUTHORS: Macedo, HD; Oliveira, JN ;
PUBLISHED: 2012, SOURCE: 7th International Workshop on Formal Aspects of Component Software, FACS 2010 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6921 LNCS, PAGES: 300-303
AUTHORS: Macedo, HD; Oliveira, JN ;
PUBLISHED: 2012, SOURCE: 7th International Workshop on Formal Aspects of Component Software, FACS 2010 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6921 LNCS, PAGES: 300-303
1214
TITLE: Towards the Improvement of Diagnostic Metrics <i>Fault Diagnosis for DSL</i>-<i>Based IPTV Networks using the Renyi Entropy</i>
AUTHORS: Marnerides, AK; Malinowski, S; Morla, R ; Rodrigues, MRD ; Kim, HS;
PUBLISHED: 2012, SOURCE: IEEE Global Communications Conference (GLOBECOM) in 2012 IEEE GLOBAL COMMUNICATIONS CONFERENCE (GLOBECOM), PAGES: 2779-2784
AUTHORS: Marnerides, AK; Malinowski, S; Morla, R ; Rodrigues, MRD ; Kim, HS;
PUBLISHED: 2012, SOURCE: IEEE Global Communications Conference (GLOBECOM) in 2012 IEEE GLOBAL COMMUNICATIONS CONFERENCE (GLOBECOM), PAGES: 2779-2784
1215
TITLE: Typed linear algebra for weigthed (probabilistic) automata
AUTHORS: Oliveira, JN ;
PUBLISHED: 2012, SOURCE: 17th International Conference on Implementation and Application of Automata, CIAA 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7381 LNCS, PAGES: 52-65
AUTHORS: Oliveira, JN ;
PUBLISHED: 2012, SOURCE: 17th International Conference on Implementation and Application of Automata, CIAA 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7381 LNCS, PAGES: 52-65
1216
TITLE: Using Term Rewriting to Solve Bit-Vector Arithmetic Problems - (Poster Presentation)
AUTHORS: Iago Abal; Alcino Cunha ; Joe Hurd; Jorge Sousa Pinto ;
PUBLISHED: 2012, SOURCE: SAT, VOLUME: 7317 LNCS, PAGES: 493-495
AUTHORS: Iago Abal; Alcino Cunha ; Joe Hurd; Jorge Sousa Pinto ;
PUBLISHED: 2012, SOURCE: SAT, VOLUME: 7317 LNCS, PAGES: 493-495
1217
TITLE: Verification conditions for single-assignment programs
AUTHORS: Daniela Carneiro da Cruz; Maria João Frade ; Jorge Sousa Pinto ;
PUBLISHED: 2012, SOURCE: SAC, PAGES: 1264-1270
AUTHORS: Daniela Carneiro da Cruz; Maria João Frade ; Jorge Sousa Pinto ;
PUBLISHED: 2012, SOURCE: SAC, PAGES: 1264-1270
1218
TITLE: WIKI::SCORE A Collaborative Environment For Music Transcription And Publishing
AUTHORS: Almeida, JJ ; Carvalho, NR; Oliveira, JN ;
PUBLISHED: 2012, SOURCE: 16th International Conference on Electronic Publishing (ELPUB) in SOCIAL SHAPING OF DIGITAL PUBLISHING: EXPLORING THE INTERPLAY BETWEEN CULTURE AND TECHNOLOGY, PAGES: 82-93
AUTHORS: Almeida, JJ ; Carvalho, NR; Oliveira, JN ;
PUBLISHED: 2012, SOURCE: 16th International Conference on Electronic Publishing (ELPUB) in SOCIAL SHAPING OF DIGITAL PUBLISHING: EXPLORING THE INTERPLAY BETWEEN CULTURE AND TECHNOLOGY, PAGES: 82-93
INDEXED IN: 
Scopus 
WOS
Scopus WOS1219
TITLE: X-BOT: A Protocol for Resilient Optimization of Unstructured Overlay Networks
AUTHORS: Leitao, J ; Marques, JP; Pereira, J ; Rodrigues, L ;
PUBLISHED: 2012, SOURCE: IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, VOLUME: 23, ISSUE: 11, PAGES: 2175-2188
AUTHORS: Leitao, J ; Marques, JP; Pereira, J ; Rodrigues, L ;
PUBLISHED: 2012, SOURCE: IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, VOLUME: 23, ISSUE: 11, PAGES: 2175-2188
1220
TITLE: A 3D simulation framework for safe ambient-assisted home care
AUTHORS: Velasquez, C; Christophe Soares ; Morla, R ; Moreira, RS ; Jose M Torres ; Sobral, P ;
PUBLISHED: 2011, SOURCE: 5th International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies, UBICOMM 2011; 3rd International Workshop on Pervasive Computing in Embedded Systems, PECES 2011 in UBICOMM 2011 - 5th International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies; PECES 2011 - 3rd International Workshop on Pervasive Computing in Embedded Systems, PAGES: 61-66
AUTHORS: Velasquez, C; Christophe Soares ; Morla, R ; Moreira, RS ; Jose M Torres ; Sobral, P ;
PUBLISHED: 2011, SOURCE: 5th International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies, UBICOMM 2011; 3rd International Workshop on Pervasive Computing in Embedded Systems, PECES 2011 in UBICOMM 2011 - 5th International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies; PECES 2011 - 3rd International Workshop on Pervasive Computing in Embedded Systems, PAGES: 61-66
INDEXED IN: Scopus
Scopus