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: 1492
150 Team MembersFilters -> Year: 2025
821
TITLE: FaultySheet Detective: When Smells Meet Fault Localization Full Text
AUTHORS: Rui Abreu ; Jacome Cunha ; Joao Paulo Fernandes ; Pedro Martins ; Alexandre Perez ; Joao Saraiva ;
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: Rui Abreu ; Jacome Cunha ; Joao Paulo Fernandes ; Pedro Martins ; Alexandre Perez ; Joao Saraiva ;
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
822
TITLE: FLOSS in technology-enhanced learning
AUTHORS: Fernandes, S; Cerone, A; Barbosa, LS ; Papadopoulos, PM;
PUBLISHED: 2014, 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 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7991 LNCS, PAGES: 121-132
AUTHORS: Fernandes, S; Cerone, A; Barbosa, LS ; Papadopoulos, PM;
PUBLISHED: 2014, 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 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7991 LNCS, PAGES: 121-132
823
TITLE: Formal Aspects of Component Software (FACS 2010 selected and extended papers) Preface Full Text
AUTHORS: Luis Soares Barbosa ; Markus Lumpe;
PUBLISHED: 2014, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 94, ISSUE: P3, PAGES: 253-254
AUTHORS: Luis Soares Barbosa ; Markus Lumpe;
PUBLISHED: 2014, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 94, ISSUE: P3, PAGES: 253-254
824
TITLE: Formal Verification of kLIBC with the WP Frama-C Plug-in
AUTHORS: Nuno Carvalho; Cristiano da Silva Sousa; Jorge Sousa Pinto ; Aaron Tomb;
PUBLISHED: 2014, SOURCE: 6th NASA Formal Methods Symposium (NFM) in NASA FORMAL METHODS, NFM 2014, VOLUME: 8430, PAGES: 343-358
AUTHORS: Nuno Carvalho; Cristiano da Silva Sousa; Jorge Sousa Pinto ; Aaron Tomb;
PUBLISHED: 2014, SOURCE: 6th NASA Formal Methods Symposium (NFM) in NASA FORMAL METHODS, NFM 2014, VOLUME: 8430, PAGES: 343-358
825
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: 2014 AAAI Spring Symposium in 2014 AAAI Spring Symposia, Stanford University, Palo Alto, California, USA, March 24-26, 2014, VOLUME: SS-14-02, PAGES: 62-67
AUTHORS: Manuel Sousa; José Creissac Campos ; Miriam C Bergue Alves; Michael D Harrison ;
PUBLISHED: 2014, SOURCE: 2014 AAAI Spring Symposium in 2014 AAAI Spring Symposia, Stanford University, Palo Alto, California, USA, March 24-26, 2014, VOLUME: SS-14-02, PAGES: 62-67
INDEXED IN: 
Scopus 
DBLP
Scopus DBLP826
TITLE: Generating attribute grammar-based bidirectional transformations from rewrite rules
AUTHORS: Martins, P ; Saraiva, J ; Fernandes, JP ; Van Wyk, E;
PUBLISHED: 2014, SOURCE: ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2014 - Co-located with POPL 2014 in PEPM 2014 - Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, Co-located with POPL 2014, PAGES: 63-70
AUTHORS: Martins, P ; Saraiva, J ; Fernandes, JP ; Van Wyk, E;
PUBLISHED: 2014, SOURCE: ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2014 - Co-located with POPL 2014 in PEPM 2014 - Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, Co-located with POPL 2014, PAGES: 63-70
827
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
828
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: 6th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS 2014 in ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS'14, Rome, Italy, June 17-20, 2014, PAGES: 299-300
AUTHORS: Jürgen Ziegler; José Creissac Campos ; Laurence Nigay;
PUBLISHED: 2014, SOURCE: 6th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS 2014 in ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS'14, Rome, Italy, June 17-20, 2014, PAGES: 299-300
829
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
830
TITLE: Improving the Scalability of DPWS-Based Networked Infrastructures PDF
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 
arXiv
DBLP arXiv831
TITLE: LAYSTREAM: composing standard gossip protocols for live video streaming
AUTHORS: Miguel Matos ; Valerio Schiavoni; Etienne Riviere; Pascal Felber; Rui Oliveira ;
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: Miguel Matos ; Valerio Schiavoni; Etienne Riviere; Pascal Felber; Rui Oliveira ;
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
832
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
833
TITLE: Making Operation-Based CRDTs Operation-Based
AUTHORS: Carlos Baquero ; Paulo Sergio Almeida ; Ali Shoker ;
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: Carlos Baquero ; Paulo Sergio Almeida ; Ali Shoker ;
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
834
TITLE: Making operation-based CRDTs operation-based
AUTHORS: Carlos Baquero ; Paulo Sérgio Almeida ; Ali Shoker ;
PUBLISHED: 2014, SOURCE: 1st Workshop on the Principles and Practice of Eventual Consistency, PaPEC 2014 in Proceedings of the First Workshop on the Principles and Practice of Eventual Consistency, PaPEC@EuroSys 2014, April 13, 2014, Amsterdam, The Netherlands, PAGES: 7:1-7:2
AUTHORS: Carlos Baquero ; Paulo Sérgio Almeida ; Ali Shoker ;
PUBLISHED: 2014, SOURCE: 1st Workshop on the Principles and Practice of Eventual Consistency, PaPEC 2014 in Proceedings of the First Workshop on the Principles and Practice of Eventual Consistency, PaPEC@EuroSys 2014, April 13, 2014, Amsterdam, The Netherlands, PAGES: 7:1-7:2
835
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 Handle836
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
837
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 ; Antonio Nestor Ribeiro ; Bruno Oliveira ; Santos, Vasco ;
PUBLISHED: 2014, SOURCE: 8th International Conference on Theory and Practice of Electronic Governance, ICEGOV 2014 in Proceedings of the 8th International Conference on Theory and Practice of Electronic Governance, ICEGOV 2014, Guimaraes, Portugal, October 27-30, 2014, VOLUME: 2014-January, PAGES: 288-291
AUTHORS: Orlando Belo ; José Luis Faria ; Antonio Nestor Ribeiro ; Bruno Oliveira ; Santos, Vasco ;
PUBLISHED: 2014, SOURCE: 8th International Conference on Theory and Practice of Electronic Governance, ICEGOV 2014 in Proceedings of the 8th International Conference on Theory and Practice of Electronic Governance, ICEGOV 2014, Guimaraes, Portugal, October 27-30, 2014, VOLUME: 2014-January, PAGES: 288-291
838
TITLE: Monadic combinators for "Putback" style bidirectional programming
AUTHORS: Hugo Pacheco ; Zhenjiang Hu; Sebastian Fischer;
PUBLISHED: 2014, SOURCE: ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2014 - Co-located with POPL 2014 in Proceedings of the ACM SIGPLAN 2014 workshop on Partial evaluation and program manipulation, PEPM 2014, January 20-21, 2014, San Diego, California, USA, PAGES: 39-50
AUTHORS: Hugo Pacheco ; Zhenjiang Hu; Sebastian Fischer;
PUBLISHED: 2014, SOURCE: ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2014 - Co-located with POPL 2014 in Proceedings of the ACM SIGPLAN 2014 workshop on Partial evaluation and program manipulation, PEPM 2014, January 20-21, 2014, San Diego, California, USA, PAGES: 39-50
839
TITLE: On the Support of Versioning in Distributed Key-Value Stores Full Text
AUTHORS: Felber, P; Pasin, M; Riviere, E; Schiavoni, V; Sutra, P; Coelho, F ; Oliveira, R ; Matos, M ; Vilaca, 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; Riviere, E; Schiavoni, V; Sutra, P; Coelho, F ; Oliveira, R ; Matos, M ; Vilaca, 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
840
TITLE: Outlier Detection in 802.11 Wireless Access Points Using Hidden Markov Models
AUTHORS: Anisa Allahdadi ; Ricardo Morla ; Jaime S Cardoso ;
PUBLISHED: 2014, SOURCE: 7th IFIP Wireless and Mobile Networking Conference (WMNC) in 2014 7TH IFIP WIRELESS AND MOBILE NETWORKING CONFERENCE (WMNC), PAGES: 1-8
AUTHORS: Anisa Allahdadi ; Ricardo Morla ; Jaime S Cardoso ;
PUBLISHED: 2014, SOURCE: 7th IFIP Wireless and Mobile Networking Conference (WMNC) in 2014 7TH IFIP WIRELESS AND MOBILE NETWORKING CONFERENCE (WMNC), PAGES: 1-8
