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: 1642
149 Team MembersFilters -> Year: 2026
961
TITLE: Embedding Model-Driven Spreadsheet Queries in Spreadsheet Systems
AUTHORS: Cunha, J ; Fernandes, JP ; Mendes, J ; Pereira, R ; Saraiva, J ;
PUBLISHED: 2014, SOURCE: IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) in 2014 IEEE SYMPOSIUM ON VISUAL LANGUAGES AND HUMAN-CENTRIC COMPUTING (VL/HCC 2014), PAGES: 153-156
AUTHORS: Cunha, J ; Fernandes, JP ; Mendes, J ; Pereira, R ; Saraiva, J ;
PUBLISHED: 2014, SOURCE: IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) in 2014 IEEE SYMPOSIUM ON VISUAL LANGUAGES AND HUMAN-CENTRIC COMPUTING (VL/HCC 2014), PAGES: 153-156
962
TITLE: ES-SQL: Visually Querying Spreadsheets
AUTHORS: Cunha, J ; Fernandes, JP ; Mendes, J ; Pereira, R ; Saraiva, J ;
PUBLISHED: 2014, SOURCE: IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) in 2014 IEEE SYMPOSIUM ON VISUAL LANGUAGES AND HUMAN-CENTRIC COMPUTING (VL/HCC 2014), PAGES: 203-204
AUTHORS: Cunha, J ; Fernandes, JP ; Mendes, J ; Pereira, R ; Saraiva, J ;
PUBLISHED: 2014, SOURCE: IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) in 2014 IEEE SYMPOSIUM ON VISUAL LANGUAGES AND HUMAN-CENTRIC COMPUTING (VL/HCC 2014), PAGES: 203-204
963
TITLE: FaultySheet Detective: When Smells Meet Fault Localization Full Text
AUTHORS: Abreu, R ; Cunha, J ; Fernandes, JP ; Martins, P ; Perez, A ; Saraiva, J ;
PUBLISHED: 2014, SOURCE: 30th IEEE International Conference on Software Maintenance and Evolution (ICSME) in 2014 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE AND EVOLUTION (ICSME), PAGES: 625-628
AUTHORS: Abreu, R ; Cunha, J ; Fernandes, JP ; Martins, P ; Perez, A ; Saraiva, J ;
PUBLISHED: 2014, SOURCE: 30th IEEE International Conference on Software Maintenance and Evolution (ICSME) in 2014 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE AND EVOLUTION (ICSME), PAGES: 625-628
964
TITLE: Formal Aspects of Component Software (FACS 2010 selected and extended papers) Preface Full Text
AUTHORS: Barbosa, LS ; Lumpe, M;
PUBLISHED: 2014, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 94, ISSUE: P3, PAGES: 253-254
AUTHORS: Barbosa, LS ; Lumpe, M;
PUBLISHED: 2014, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 94, ISSUE: P3, PAGES: 253-254
965
TITLE: Formal Verification of kLIBC with the WP Frama-C Plug-in
AUTHORS: Carvalho, N; Sousa, CD; Pinto, JS ; Tomb, A;
PUBLISHED: 2014, SOURCE: 6th NASA Formal Methods Symposium (NFM) in NASA FORMAL METHODS, NFM 2014, VOLUME: 8430, PAGES: 343-358
AUTHORS: Carvalho, N; Sousa, CD; Pinto, JS ; Tomb, A;
PUBLISHED: 2014, SOURCE: 6th NASA Formal Methods Symposium (NFM) in NASA FORMAL METHODS, NFM 2014, VOLUME: 8430, PAGES: 343-358
966
TITLE: Formal Verification of Safety-Critical User Interfaces: a space system case study
AUTHORS: Manuel Sousa; José Creissac Campos ; Miriam C Bergue Alves; Michael D Harrison ;
PUBLISHED: 2014, SOURCE: AAAI Spring Symposia, VOLUME: SS-14-02, PAGES: 62-67
AUTHORS: Manuel Sousa; José Creissac Campos ; Miriam C Bergue Alves; Michael D Harrison ;
PUBLISHED: 2014, SOURCE: AAAI Spring Symposia, VOLUME: SS-14-02, PAGES: 62-67
INDEXED IN: 
Scopus 
DBLP
Scopus DBLP967
TITLE: Generating attribute grammar-based bidirectional transformations from rewrite rules Full Text
AUTHORS: Pedro Martins ; João Saraiva ; João Paulo Fernandes ; Eric Van Wyk;
PUBLISHED: 2014, SOURCE: PEPM, PAGES: 63-70
AUTHORS: Pedro Martins ; João Saraiva ; João Paulo Fernandes ; Eric Van Wyk;
PUBLISHED: 2014, SOURCE: PEPM, PAGES: 63-70
968
TITLE: Graphical Querying of Model-Driven Spreadsheets
AUTHORS: Cunha, J ; Fernandes, JP ; Pereira, R ; Saraiva, J ;
PUBLISHED: 2014, SOURCE: 16th International Conference on Human-Computer Interaction (HCI) in HUMAN INTERFACE AND THE MANAGEMENT OF INFORMATION: INFORMATION AND KNOWLEDGE DESIGN AND EVALUATION, PT I, VOLUME: 8521, ISSUE: PART 1, PAGES: 419-430
AUTHORS: Cunha, J ; Fernandes, JP ; Pereira, R ; Saraiva, J ;
PUBLISHED: 2014, SOURCE: 16th International Conference on Human-Computer Interaction (HCI) in HUMAN INTERFACE AND THE MANAGEMENT OF INFORMATION: INFORMATION AND KNOWLEDGE DESIGN AND EVALUATION, PT I, VOLUME: 8521, ISSUE: PART 1, PAGES: 419-430
969
TITLE: HCI engineering: charting the way towards methods and tools for advanced interactive systems. charting the way towards methods and tools for advanced interactive systems
AUTHORS: Jürgen Ziegler; José Creissac Campos ; Laurence Nigay;
PUBLISHED: 2014, SOURCE: EICS, PAGES: 299-300
AUTHORS: Jürgen Ziegler; José Creissac Campos ; Laurence Nigay;
PUBLISHED: 2014, SOURCE: EICS, PAGES: 299-300
970
TITLE: Improving FEM crash simulation accuracy through local thickness estimation based on CAD data Full Text
AUTHORS: Vanio Ferreira; Luis Paulo Santos ; Markus Franzen; Omar O Ghouati; Ricardo Simoes;
PUBLISHED: 2014, SOURCE: ADVANCES IN ENGINEERING SOFTWARE, VOLUME: 71, PAGES: 52-62
AUTHORS: Vanio Ferreira; Luis Paulo Santos ; Markus Franzen; Omar O Ghouati; Ricardo Simoes;
PUBLISHED: 2014, SOURCE: ADVANCES IN ENGINEERING SOFTWARE, VOLUME: 71, PAGES: 52-62
971
TITLE: Improving the Scalability of DPWS-Based Networked Infrastructures
AUTHORS: Filipe Campos; José Pereira ;
PUBLISHED: 2014, SOURCE: CoRR, VOLUME: abs/1407.8546
AUTHORS: Filipe Campos; José Pereira ;
PUBLISHED: 2014, SOURCE: CoRR, VOLUME: abs/1407.8546
INDEXED IN: DBLP
DBLP972
TITLE: LAYSTREAM: composing standard gossip protocols for live video streaming
AUTHORS: Matos, M ; Schiavoni, V; Riviere, E; Felber, P; Oliveira, R ;
PUBLISHED: 2014, SOURCE: 14th IEEE International Conference on Peer-to-Peer Computing (P2P) in 14-TH IEEE INTERNATIONAL CONFERENCE ON PEER-TO-PEER COMPUTING (P2P), PAGES: 1-10
AUTHORS: Matos, M ; Schiavoni, V; Riviere, E; Felber, P; Oliveira, R ;
PUBLISHED: 2014, SOURCE: 14th IEEE International Conference on Peer-to-Peer Computing (P2P) in 14-TH IEEE INTERNATIONAL CONFERENCE ON PEER-TO-PEER COMPUTING (P2P), PAGES: 1-10
973
TITLE: Link Community Detection Using Generative Model and Nonnegative Matrix Factorization Full Text
AUTHORS: Dongxiao X He; Di Jin; Carlos Baquero ; Dayou Y Liu;
PUBLISHED: 2014, SOURCE: PLOS ONE, VOLUME: 9, ISSUE: 1
AUTHORS: Dongxiao X He; Di Jin; Carlos Baquero ; Dayou Y Liu;
PUBLISHED: 2014, SOURCE: PLOS ONE, VOLUME: 9, ISSUE: 1
974
TITLE: Making Operation-Based CRDTs Operation-Based
AUTHORS: Baquero, C ; Almeida, PS ; Shoker, A ;
PUBLISHED: 2014, SOURCE: 14th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems (DAIS) in DISTRIBUTED APPLICATIONS AND INTEROPERABLE SYSTEMS (DAIS 2014), VOLUME: 8460, PAGES: 126-140
AUTHORS: Baquero, C ; Almeida, PS ; Shoker, A ;
PUBLISHED: 2014, SOURCE: 14th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems (DAIS) in DISTRIBUTED APPLICATIONS AND INTEROPERABLE SYSTEMS (DAIS 2014), VOLUME: 8460, PAGES: 126-140
975
TITLE: Making operation-based CRDTs operation-based
AUTHORS: Carlos Baquero ; Paulo Sérgio Almeida ; Ali Shoker ;
PUBLISHED: 2014, SOURCE: PaPEC@EuroSys, PAGES: 7:1-7:2
AUTHORS: Carlos Baquero ; Paulo Sérgio Almeida ; Ali Shoker ;
PUBLISHED: 2014, SOURCE: PaPEC@EuroSys, PAGES: 7:1-7:2
976
TITLE: MDSheet -model-driven spreadsheets
AUTHORS: Cunha, J ; Fernandes, JP ; Mendes, J ; Pereira, R ; Saraiva, J ;
PUBLISHED: 2014, SOURCE: 1st Workshop on Software Engineering Methods in Spreadsheets, SEMS 2014 in CEUR Workshop Proceedings, VOLUME: 1209, PAGES: 31-33
AUTHORS: Cunha, J ; Fernandes, JP ; Mendes, J ; Pereira, R ; Saraiva, J ;
PUBLISHED: 2014, SOURCE: 1st Workshop on Software Engineering Methods in Spreadsheets, SEMS 2014 in CEUR Workshop Proceedings, VOLUME: 1209, PAGES: 31-33
INDEXED IN: Scopus 
Handle
Scopus Handle977
TITLE: Model-based programming environments for spreadsheets Full Text
AUTHORS: Cunha, J ; Mendes, J ; Saraiva, J ; Visser, J;
PUBLISHED: 2014, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 96, ISSUE: P2, PAGES: 254-275
AUTHORS: Cunha, J ; Mendes, J ; Saraiva, J ; Visser, J;
PUBLISHED: 2014, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 96, ISSUE: P2, PAGES: 254-275
978
TITLE: Modeling e-government processes using YAWL: half-way towards their effective real implementation. half-way towards their effective real implementation
AUTHORS: Orlando Belo ; José Luis Faria ; António Nestor Ribeiro ; Bruno Oliveira ; Santos, Vasco ;
PUBLISHED: 2014, SOURCE: ICEGOV, VOLUME: 2014-January, PAGES: 288-291
AUTHORS: Orlando Belo ; José Luis Faria ; António Nestor Ribeiro ; Bruno Oliveira ; Santos, Vasco ;
PUBLISHED: 2014, SOURCE: ICEGOV, VOLUME: 2014-January, PAGES: 288-291
979
TITLE: Monadic combinators for "Putback" style bidirectional programming Full Text
AUTHORS: Hugo Pacheco ; Zhenjiang Hu; Sebastian Fischer;
PUBLISHED: 2014, SOURCE: PEPM, PAGES: 39-50
AUTHORS: Hugo Pacheco ; Zhenjiang Hu; Sebastian Fischer;
PUBLISHED: 2014, SOURCE: PEPM, PAGES: 39-50
980
TITLE: On the Support of Versioning in Distributed Key-Value Stores Full Text
AUTHORS: Felber, P; Pasin, M; Rivière, É; Schiavoni, V; Sutra, P; Coelho, F ; Oliveira, R ; Matos, M ; Vilaça, R ;
PUBLISHED: 2014, SOURCE: IEEE 33rd International Symposium on Reliable Distributed Systems in 2014 IEEE 33RD INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS (SRDS), VOLUME: 2014-January, PAGES: 95-104
AUTHORS: Felber, P; Pasin, M; Rivière, É; Schiavoni, V; Sutra, P; Coelho, F ; Oliveira, R ; Matos, M ; Vilaça, R ;
PUBLISHED: 2014, SOURCE: IEEE 33rd International Symposium on Reliable Distributed Systems in 2014 IEEE 33RD INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS (SRDS), VOLUME: 2014-January, PAGES: 95-104
