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: 1553
150 Team MembersFilters -> Year: 2024
981
TITLE: Property-Driven Cooperative Logging for Concurrency Bugs Replication
AUTHORS: Nuno Machado ; Paolo Romano ; Luís E T Rodrigues;
PUBLISHED: 2013, SOURCE: 5th USENIX Workshop on Hot Topics in Parallelism, HotPar'13, San Jose, CA, USA, June 24-25, 2013
AUTHORS: Nuno Machado ; Paolo Romano ; Luís E T Rodrigues;
PUBLISHED: 2013, SOURCE: 5th USENIX Workshop on Hot Topics in Parallelism, HotPar'13, San Jose, CA, USA, June 24-25, 2013
INDEXED IN: 
DBLP
DBLP982
TITLE: Querying Model-Driven Spreadsheets
AUTHORS: Cunha, Jacome ; Fernandes, Joao Paulo ; Mendes, Jorge ; Pereira, Rui ; Saraiva, Joao ;
PUBLISHED: 2013, SOURCE: IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) in 2013 IEEE SYMPOSIUM ON VISUAL LANGUAGES AND HUMAN-CENTRIC COMPUTING (VL/HCC 2013), PAGES: 83-86
AUTHORS: Cunha, Jacome ; Fernandes, Joao Paulo ; Mendes, Jorge ; Pereira, Rui ; Saraiva, Joao ;
PUBLISHED: 2013, SOURCE: IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) in 2013 IEEE SYMPOSIUM ON VISUAL LANGUAGES AND HUMAN-CENTRIC COMPUTING (VL/HCC 2013), PAGES: 83-86
983
TITLE: QuerySheet: A Bidirectional Query Environment for Model-Driven Spreadsheets
AUTHORS: Belo, Orlando ; Cunha, Jacorne ; Fernandes, Joao Paulo ; Mendes, Jorge ; Pereira, Rui ; Saraiva, Joao ;
PUBLISHED: 2013, SOURCE: IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) in 2013 IEEE SYMPOSIUM ON VISUAL LANGUAGES AND HUMAN-CENTRIC COMPUTING (VL/HCC 2013), PAGES: 199-200
AUTHORS: Belo, Orlando ; Cunha, Jacorne ; Fernandes, Joao Paulo ; Mendes, Jorge ; Pereira, Rui ; Saraiva, Joao ;
PUBLISHED: 2013, SOURCE: IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) in 2013 IEEE SYMPOSIUM ON VISUAL LANGUAGES AND HUMAN-CENTRIC COMPUTING (VL/HCC 2013), PAGES: 199-200
984
TITLE: Reconfiguration mechanisms for service coordination
AUTHORS: Oliveira, N; Barbosa, LS ;
PUBLISHED: 2013, SOURCE: 9th International Workshop on Web Services and Formal Methods, WS-FM 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7843 LNCS, PAGES: 134-149
AUTHORS: Oliveira, N; Barbosa, LS ;
PUBLISHED: 2013, SOURCE: 9th International Workshop on Web Services and Formal Methods, WS-FM 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7843 LNCS, PAGES: 134-149
985
TITLE: Scaling Up Publish/Subscribe Overlays Using Interest Correlation for Link Sharing Full Text
AUTHORS: Miguel Matos ; Pascal Felber; Rui Oliveira ; Jose O Pereira ; Etienne Riviere;
PUBLISHED: 2013, SOURCE: IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, VOLUME: 24, ISSUE: 12, PAGES: 2462-2471
AUTHORS: Miguel Matos ; Pascal Felber; Rui Oliveira ; Jose O Pereira ; Etienne Riviere;
PUBLISHED: 2013, SOURCE: IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, VOLUME: 24, ISSUE: 12, PAGES: 2462-2471
986
TITLE: Slicing as a Distributed Systems Primitive
AUTHORS: Francisco Maia ; Miguel Matos ; Rui Oliveira ; Etienne Riviere;
PUBLISHED: 2013, SOURCE: 6th Latin-American Symposium on Dependable Computing (LADC) in 2013 SIXTH LATIN-AMERICAN SYMPOSIUM ON DEPENDABLE COMPUTING (LADC), PAGES: 124-133
AUTHORS: Francisco Maia ; Miguel Matos ; Rui Oliveira ; Etienne Riviere;
PUBLISHED: 2013, SOURCE: 6th Latin-American Symposium on Dependable Computing (LADC) in 2013 SIXTH LATIN-AMERICAN SYMPOSIUM ON DEPENDABLE COMPUTING (LADC), PAGES: 124-133
987
TITLE: Special section on the Brazilian Symposium on Programming Languages Full Text
AUTHORS: Andre Santos; Joao Saraiva ;
PUBLISHED: 2013, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 78, ISSUE: 8, PAGES: 1119-1120
AUTHORS: Andre Santos; Joao Saraiva ;
PUBLISHED: 2013, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 78, ISSUE: 8, PAGES: 1119-1120
988
TITLE: Special track on dependable and adaptive distributed systems
AUTHORS: Goeschka, KM; Oliveira, R ; Pietzuch, P; Russello, G;
PUBLISHED: 2013, SOURCE: 28th Annual ACM Symposium on Applied Computing, SAC 2013 in Proceedings of the ACM Symposium on Applied Computing, PAGES: 413-414
AUTHORS: Goeschka, KM; Oliveira, R ; Pietzuch, P; Russello, G;
PUBLISHED: 2013, SOURCE: 28th Annual ACM Symposium on Applied Computing, SAC 2013 in Proceedings of the ACM Symposium on Applied Computing, PAGES: 413-414
INDEXED IN: 
Scopus
Scopus989
TITLE: Spherical Fibonacci Point Sets for Illumination Integrals. Spherical Fibonacci Point Sets for Illumination Integrals Full Text
AUTHORS: Marques, R; Bouville, C; Ribardiere, M; Santos, LP ; Bouatouch, K;
PUBLISHED: 2013, SOURCE: COMPUTER GRAPHICS FORUM, VOLUME: 32, ISSUE: 8, PAGES: 134-143
AUTHORS: Marques, R; Bouville, C; Ribardiere, M; Santos, LP ; Bouatouch, K;
PUBLISHED: 2013, SOURCE: COMPUTER GRAPHICS FORUM, VOLUME: 32, ISSUE: 8, PAGES: 134-143
990
TITLE: SwiftCloud: Fault-Tolerant Geo-Replication Integrated all the Way to the Client Machine PDF
AUTHORS: Marek Zawirski; Annette Bieniusa; Valter Balegas; Sérgio Duarte; Carlos Baquero ; Marc Shapiro; Nuno M. Preguiça;
PUBLISHED: 2013, SOURCE: CoRR, VOLUME: abs/1310.3107
AUTHORS: Marek Zawirski; Annette Bieniusa; Valter Balegas; Sérgio Duarte; Carlos Baquero ; Marc Shapiro; Nuno M. Preguiça;
PUBLISHED: 2013, SOURCE: CoRR, VOLUME: abs/1310.3107
INDEXED IN: DBLP 
arXiv
DBLP arXiv991
TITLE: The mobile context framework: Providing context to mobile applications
AUTHORS: Oliveira, L; Ribeiro, AN ; Campos, JC ;
PUBLISHED: 2013, SOURCE: 1st International Conference on Distributed, Ambient, and Pervasive Interactions, DAPI 2013, Held as Part of 15th International Conference on Human-Computer Interaction, HCI International 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8028 LNCS, PAGES: 144-153
AUTHORS: Oliveira, L; Ribeiro, AN ; Campos, JC ;
PUBLISHED: 2013, SOURCE: 1st International Conference on Distributed, Ambient, and Pervasive Interactions, DAPI 2013, Held as Part of 15th International Conference on Human-Computer Interaction, HCI International 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8028 LNCS, PAGES: 144-153
992
TITLE: Topic 8: Distributed Systems and Algorithms - (Introduction)
AUTHORS: Achour Mostéfaoui; Andreas Polze; Carlos Baquero ; Paul D Ezhilchelvan; Lars Lundberg;
PUBLISHED: 2013, SOURCE: 19th International Conference on Parallel Processing, Euro-Par 2013 in Euro-Par 2013 Parallel Processing - 19th International Conference, Aachen, Germany, August 26-30, 2013. Proceedings, VOLUME: 8097, PAGES: 367-368
AUTHORS: Achour Mostéfaoui; Andreas Polze; Carlos Baquero ; Paul D Ezhilchelvan; Lars Lundberg;
PUBLISHED: 2013, SOURCE: 19th International Conference on Parallel Processing, Euro-Par 2013 in Euro-Par 2013 Parallel Processing - 19th International Conference, Aachen, Germany, August 26-30, 2013. Proceedings, VOLUME: 8097, PAGES: 367-368
993
TITLE: Towards a mostly-automated prover for bit-vector arithmetic
AUTHORS: Abal, I; Pinto, JS ;
PUBLISHED: 2013, SOURCE: 6th International C* Conference on Computer Science and Software Engineering, C3S2E 2013 in ACM International Conference Proceeding Series, PAGES: 132-133
AUTHORS: Abal, I; Pinto, JS ;
PUBLISHED: 2013, SOURCE: 6th International C* Conference on Computer Science and Software Engineering, C3S2E 2013 in ACM International Conference Proceeding Series, PAGES: 132-133
994
TITLE: Towards an accurate evaluation of deduplicated storage systems
AUTHORS: Joao Paulo ; Pedro Reis; Jose Pereira ; Antonio Sousa ;
PUBLISHED: 2013, SOURCE: COMPUTER SYSTEMS SCIENCE AND ENGINEERING, VOLUME: 28, ISSUE: 6, PAGES: 427-437
AUTHORS: Joao Paulo ; Pedro Reis; Jose Pereira ; Antonio Sousa ;
PUBLISHED: 2013, SOURCE: COMPUTER SYSTEMS SCIENCE AND ENGINEERING, VOLUME: 28, ISSUE: 6, PAGES: 427-437
INDEXED IN: Scopus 
WOS DBLP
Scopus WOS DBLP995
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 Proceedings of the 9th Workshop on Hot Topics in Dependable Systems, HotDep 2013, Farmington, Pennsylvania, USA, November 3, 2013, 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 Proceedings of the 9th Workshop on Hot Topics in Dependable Systems, HotDep 2013, Farmington, Pennsylvania, USA, November 3, 2013, PAGES: 10:1-10:6
996
TITLE: Typing linear algebra: A biproduct-oriented approach Full Text
AUTHORS: Hugo Daniel Macedo; Jose Nuno Oliveira ;
PUBLISHED: 2013, SOURCE: 10th International Conference on Mathematics of Program Construction in SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 78, ISSUE: 11, PAGES: 2160-2191
AUTHORS: Hugo Daniel Macedo; Jose Nuno Oliveira ;
PUBLISHED: 2013, SOURCE: 10th International Conference on Mathematics of Program Construction in SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 78, ISSUE: 11, PAGES: 2160-2191
997
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: Advances in Data Mining, 13th Industrial Conference, ICDM 2013, New York, NY, USA, July 2013. Workshop Proceedings, PAGES: 111-122
AUTHORS: Antonio Damasceno; Andreia Carreiro; João Saraiva ; Jose Neto; Jorge Landeck;
PUBLISHED: 2013, SOURCE: Advances in Data Mining, 13th Industrial Conference, ICDM 2013, New York, NY, USA, July 2013. Workshop Proceedings, PAGES: 111-122
INDEXED IN: DBLP
DBLP998
TITLE: Verifying bigraphical models of architectural reconfigurations
AUTHORS: Alejandro Sanchez ; Luis S Soares Barbosa ; Daniel Riesco;
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: Alejandro Sanchez ; Luis S Soares Barbosa ; Daniel Riesco;
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
999
TITLE: WEIGHTED AUTOMATA AS COALGEBRAS IN CATEGORIES OF MATRICES Full Text
AUTHORS: Jose N Oliveira ;
PUBLISHED: 2013, SOURCE: INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, VOLUME: 24, ISSUE: 6, PAGES: 709-728
AUTHORS: Jose N Oliveira ;
PUBLISHED: 2013, SOURCE: INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, VOLUME: 24, ISSUE: 6, PAGES: 709-728
1000
TITLE: When even the interface evolves ...
AUTHORS: Alexandre Madeira ; Renato Neves ; Manuel A Martins ; Luis S Barbosa ;
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: Alexandre Madeira ; Renato Neves ; Manuel A Martins ; Luis S Barbosa ;
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
