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: 1502
150 Team MembersFilters -> Year: 2025
541
TITLE: Aggregation Protocols in Light of Reliable Communication
AUTHORS: Ziad Kassam ; Ali Shoker ; Paulo Sergio Almeida ; Carlos Baquero ;
PUBLISHED: 2017, SOURCE: IEEE 16th International Symposium on Network Computing and Applications (NCA) in 2017 IEEE 16TH INTERNATIONAL SYMPOSIUM ON NETWORK COMPUTING AND APPLICATIONS (NCA), VOLUME: 2017-January, PAGES: 145-148
AUTHORS: Ziad Kassam ; Ali Shoker ; Paulo Sergio Almeida ; Carlos Baquero ;
PUBLISHED: 2017, SOURCE: IEEE 16th International Symposium on Network Computing and Applications (NCA) in 2017 IEEE 16TH INTERNATIONAL SYMPOSIUM ON NETWORK COMPUTING AND APPLICATIONS (NCA), VOLUME: 2017-January, PAGES: 145-148
542
TITLE: AN ECONOMIC ENERGY APPROACH FOR QUERIES ON DATA CENTERS
AUTHORS: Joao Saraiva ; Miguel Guimarales; Orlando Belot;
PUBLISHED: 2017, SOURCE: 3rd Internacional Conference on Energy and Environment (ICEE) - Bringing Together Economics and Engineering in PROCEEDINGS OF THE 3RD INTERNATIONAL CONFERENCE ON ENERGY AND ENVIRONMENT (ICEE 2017), PAGES: 679-685
AUTHORS: Joao Saraiva ; Miguel Guimarales; Orlando Belot;
PUBLISHED: 2017, SOURCE: 3rd Internacional Conference on Energy and Environment (ICEE) - Bringing Together Economics and Engineering in PROCEEDINGS OF THE 3RD INTERNATIONAL CONFERENCE ON ENERGY AND ENVIRONMENT (ICEE 2017), PAGES: 679-685
INDEXED IN: 
WOS
WOS543
TITLE: As Secure as Possible Eventual Consistency. Work in Progress
AUTHORS: Ali Shoker ; Houssam Yactine ; Carlos Baquero ;
PUBLISHED: 2017, SOURCE: 3rd International Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC) in PROCEEDINGS OF THE 3RD INTERNATIONAL WORKSHOP ON PRINCIPLES AND PRACTICE OF CONSISTENCY FOR DISTRIBUTED DATA (PAPOC 17), PAGES: 5:1-5:5
AUTHORS: Ali Shoker ; Houssam Yactine ; Carlos Baquero ;
PUBLISHED: 2017, SOURCE: 3rd International Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC) in PROCEEDINGS OF THE 3RD INTERNATIONAL WORKSHOP ON PRINCIPLES AND PRACTICE OF CONSISTENCY FOR DISTRIBUTED DATA (PAPOC 17), PAGES: 5:1-5:5
544
TITLE: Benchmarking IoT Middleware Platforms
AUTHORS: Joao Cardoso; Carlos Pereira; Ana Aguiar ; Ricardo Morla ;
PUBLISHED: 2017, SOURCE: 18th IEEE International Symposium on A World of Wireless, Mobile and Multimedia Networks (WoWMoM) in 2017 IEEE 18TH INTERNATIONAL SYMPOSIUM ON A WORLD OF WIRELESS, MOBILE AND MULTIMEDIA NETWORKS (WOWMOM), PAGES: 1-7
AUTHORS: Joao Cardoso; Carlos Pereira; Ana Aguiar ; Ricardo Morla ;
PUBLISHED: 2017, SOURCE: 18th IEEE International Symposium on A World of Wireless, Mobile and Multimedia Networks (WoWMoM) in 2017 IEEE 18TH INTERNATIONAL SYMPOSIUM ON A WORLD OF WIRELESS, MOBILE AND MULTIMEDIA NETWORKS (WOWMOM), PAGES: 1-7
545
TITLE: Bidirectional Transformations (BX 2015) Editorial Full Text
AUTHORS: Alcino Cunha ; Ekkart Kindler;
PUBLISHED: 2017, SOURCE: Journal of Object Technology, VOLUME: 16, ISSUE: 1, PAGES: 1-2
AUTHORS: Alcino Cunha ; Ekkart Kindler;
PUBLISHED: 2017, SOURCE: Journal of Object Technology, VOLUME: 16, ISSUE: 1, PAGES: 1-2
546
TITLE: BiFluX: A Bidirectional Functional Update Language for XML Full Text
AUTHORS: Tao Zan; Hugo Pacheco ; Hsiang Shang Ko; Zhenjiang Hu;
PUBLISHED: 2017, SOURCE: Inf. Media Technol., VOLUME: 12, ISSUE: 4, PAGES: 1-23
AUTHORS: Tao Zan; Hugo Pacheco ; Hsiang Shang Ko; Zhenjiang Hu;
PUBLISHED: 2017, SOURCE: Inf. Media Technol., VOLUME: 12, ISSUE: 4, PAGES: 1-23
INDEXED IN: 
Scopus 
DBLP
Scopus DBLP547
TITLE: Borrowing an Identity for a Distributed Counter. Work in progress report
AUTHORS: Vitor Enes ; Carlos Baquero ; Paulo Sergio Almeida ; Joao Leitao;
PUBLISHED: 2017, SOURCE: 3rd International Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC) in PROCEEDINGS OF THE 3RD INTERNATIONAL WORKSHOP ON PRINCIPLES AND PRACTICE OF CONSISTENCY FOR DISTRIBUTED DATA (PAPOC 17), PAGES: 4:1-4:3
AUTHORS: Vitor Enes ; Carlos Baquero ; Paulo Sergio Almeida ; Joao Leitao;
PUBLISHED: 2017, SOURCE: 3rd International Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC) in PROCEEDINGS OF THE 3RD INTERNATIONAL WORKSHOP ON PRINCIPLES AND PRACTICE OF CONSISTENCY FOR DISTRIBUTED DATA (PAPOC 17), PAGES: 4:1-4:3
548
TITLE: Certification of Workflows in a Component-Based Cloud of High Performance Computing Services
AUTHORS: Allberson B D de Oliveira Dantas; Heron de Carvalho Junior, FH; Luis S Barbosa ;
PUBLISHED: 2017, SOURCE: 14th International Conference on Formal Aspects of Component Software (FACS) in FORMAL ASPECTS OF COMPONENT SOFTWARE (FACS 2017), VOLUME: 10487, PAGES: 198-215
AUTHORS: Allberson B D de Oliveira Dantas; Heron de Carvalho Junior, FH; Luis S Barbosa ;
PUBLISHED: 2017, SOURCE: 14th International Conference on Formal Aspects of Component Software (FACS) in FORMAL ASPECTS OF COMPONENT SOFTWARE (FACS 2017), VOLUME: 10487, PAGES: 198-215
549
TITLE: Certified Password Quality
AUTHORS: João F Ferreira; Saul A Johnson; Alexandra Mendes ; Phillip J Brooke;
PUBLISHED: 2017, SOURCE: Lecture Notes in Computer Science - Integrated Formal Methods, PAGES: 407-421
AUTHORS: João F Ferreira; Saul A Johnson; Alexandra Mendes ; Phillip J Brooke;
PUBLISHED: 2017, SOURCE: Lecture Notes in Computer Science - Integrated Formal Methods, PAGES: 407-421
INDEXED IN: 
CrossRef
CrossRef550
TITLE: Certified Password Quality - A Case Study Using Coq and Linux Pluggable Authentication Modules
AUTHORS: João F Ferreira; Saul A Johnson; Alexandra Mendes ; Phillip J Brooke;
PUBLISHED: 2017, SOURCE: 13th International Conference on Integrated Formal Methods, IFM 2017 in Integrated Formal Methods - 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings, VOLUME: 10510, PAGES: 407-421
AUTHORS: João F Ferreira; Saul A Johnson; Alexandra Mendes ; Phillip J Brooke;
PUBLISHED: 2017, SOURCE: 13th International Conference on Integrated Formal Methods, IFM 2017 in Integrated Formal Methods - 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings, VOLUME: 10510, PAGES: 407-421
INDEXED IN: Scopus DBLP
Scopus DBLP551
TITLE: Compact Resettable Counters through Causal Stability
AUTHORS: Georges Younes ; Paulo Sergio Almeida ; Carlos Baquero ;
PUBLISHED: 2017, SOURCE: 3rd International Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC) in PROCEEDINGS OF THE 3RD INTERNATIONAL WORKSHOP ON PRINCIPLES AND PRACTICE OF CONSISTENCY FOR DISTRIBUTED DATA (PAPOC 17), PAGES: 2:1-2:3
AUTHORS: Georges Younes ; Paulo Sergio Almeida ; Carlos Baquero ;
PUBLISHED: 2017, SOURCE: 3rd International Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC) in PROCEEDINGS OF THE 3RD INTERNATIONAL WORKSHOP ON PRINCIPLES AND PRACTICE OF CONSISTENCY FOR DISTRIBUTED DATA (PAPOC 17), PAGES: 2:1-2:3
552
TITLE: Composing Families of Timed Automata
AUTHORS: Guillermina Cledou ; Jose Proenca ; Luis Soares Barbosa ;
PUBLISHED: 2017, SOURCE: 7th IPM International Conference on Fundamentals of Software Engineering (FSEN) in FUNDAMENTALS OF SOFTWARE ENGINEERING, FSEN 2017, VOLUME: 10522, PAGES: 51-66
AUTHORS: Guillermina Cledou ; Jose Proenca ; Luis Soares Barbosa ;
PUBLISHED: 2017, SOURCE: 7th IPM International Conference on Fundamentals of Software Engineering (FSEN) in FUNDAMENTALS OF SOFTWARE ENGINEERING, FSEN 2017, VOLUME: 10522, PAGES: 51-66
553
TITLE: COMPOSITION IN STATE-BASED REPLICATED DATA TYPES
AUTHORS: Baquero, C ; Almeida, PS ; Cunha, A ; Ferreira, C ;
PUBLISHED: 2017, SOURCE: BULLETIN OF THE EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE, VOLUME: 123, ISSUE: 123
AUTHORS: Baquero, C ; Almeida, PS ; Cunha, A ; Ferreira, C ;
PUBLISHED: 2017, SOURCE: BULLETIN OF THE EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE, VOLUME: 123, ISSUE: 123
INDEXED IN: WOS DBLP
WOS DBLP554
TITLE: Computer Aided Verification of Relational Models by Strategic Rewriting Full Text
AUTHORS: Claudia M Necco; Jose N Oliveira ; Joost Visser; Roberto Uzal;
PUBLISHED: 2017, SOURCE: JOURNAL OF COMPUTER SCIENCE & TECHNOLOGY, VOLUME: 17, ISSUE: 2, PAGES: 140-148
AUTHORS: Claudia M Necco; Jose N Oliveira ; Joost Visser; Roberto Uzal;
PUBLISHED: 2017, SOURCE: JOURNAL OF COMPUTER SCIENCE & TECHNOLOGY, VOLUME: 17, ISSUE: 2, PAGES: 140-148
INDEXED IN: WOS
WOS555
TITLE: Continuous Ambulatory Peritoneal Dialysis: Business Intelligence applied to patient monitoring CAPD study and statistics
AUTHORS: Catarina Peixoto; Claudia Brito ; Mariana Fontainhas; Peixoto, Hugo ; José Machado ; António Abelha ;
PUBLISHED: 2017, SOURCE: IEEE 5th International Conference on Future Internet of Things and Cloud (FiCloud) in 2017 5TH INTERNATIONAL CONFERENCE ON FUTURE INTERNET OF THINGS AND CLOUD WORKSHOPS (FICLOUDW) 2017, VOLUME: 2017-January, PAGES: 178-185
AUTHORS: Catarina Peixoto; Claudia Brito ; Mariana Fontainhas; Peixoto, Hugo ; José Machado ; António Abelha ;
PUBLISHED: 2017, SOURCE: IEEE 5th International Conference on Future Internet of Things and Cloud (FiCloud) in 2017 5TH INTERNATIONAL CONFERENCE ON FUTURE INTERNET OF THINGS AND CLOUD WORKSHOPS (FICLOUDW) 2017, VOLUME: 2017-January, PAGES: 178-185
556
TITLE: Database replication for enterprise applications
AUTHORS: Ana L P N Alonso ;
PUBLISHED: 2017
AUTHORS: Ana L P N Alonso ;
PUBLISHED: 2017
INDEXED IN: 
Handle
Handle557
TITLE: DDFlasks: Deduplicated Very Large Scale Data Store
AUTHORS: Francisco Maia ; João Paulo ; Fábio Coelho ; Francisco Neves ; José Pereira ; Rui Oliveira ;
PUBLISHED: 2017, SOURCE: 17th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems, DAIS 2017 - Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017 in Distributed Applications and Interoperable Systems - 17th IFIP WG 6.1 International Conference, DAIS 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings, VOLUME: 10320, PAGES: 51-66
AUTHORS: Francisco Maia ; João Paulo ; Fábio Coelho ; Francisco Neves ; José Pereira ; Rui Oliveira ;
PUBLISHED: 2017, SOURCE: 17th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems, DAIS 2017 - Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017 in Distributed Applications and Interoperable Systems - 17th IFIP WG 6.1 International Conference, DAIS 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings, VOLUME: 10320, PAGES: 51-66
558
TITLE: Demonstrating that Medical Devices Satisfy User Related Safety Requirements
AUTHORS: Harrison, MD; Masci, P ; Campos, JC ; Curzon, P;
PUBLISHED: 2017, SOURCE: 4th International Symposium on Foundations of Health Information Engineering and Systems (FHIES) / 6th International Workshop on Software Engineering in Healthcare (SEHC) in SOFTWARE ENGINEERING IN HEALTH CARE, SEHC 2014, VOLUME: 9062, PAGES: 113-128
AUTHORS: Harrison, MD; Masci, P ; Campos, JC ; Curzon, P;
PUBLISHED: 2017, SOURCE: 4th International Symposium on Foundations of Health Information Engineering and Systems (FHIES) / 6th International Workshop on Software Engineering in Healthcare (SEHC) in SOFTWARE ENGINEERING IN HEALTH CARE, SEHC 2014, VOLUME: 9062, PAGES: 113-128
559
TITLE: Digital Governance for Sustainable Development
AUTHORS: Luís Soares Barbosa ;
PUBLISHED: 2017, SOURCE: 16th IFIP WG 6.11 Conference on e-Business, e-Services, and e-Society, I3E 2017 in Digital Nations - Smart Cities, Innovation, and Sustainability - 16th IFIP WG 6.11 Conference on e-Business, e-Services, and e-Society, I3E 2017, Delhi, India, November 21-23, 2017, Proceedings, VOLUME: 10595, PAGES: 85-93
AUTHORS: Luís Soares Barbosa ;
PUBLISHED: 2017, SOURCE: 16th IFIP WG 6.11 Conference on e-Business, e-Services, and e-Society, I3E 2017 in Digital Nations - Smart Cities, Innovation, and Sustainability - 16th IFIP WG 6.11 Conference on e-Business, e-Services, and e-Society, I3E 2017, Delhi, India, November 21-23, 2017, Proceedings, VOLUME: 10595, PAGES: 85-93
560
TITLE: Don't go in there! using the APEX framework in the design of ambient assisted living systems
AUTHORS: Campos, JC ; Abade, T; Silva, JL; Harrison, MD;
PUBLISHED: 2017, SOURCE: 9th International Conference on Ubiquitous Computing and Ambient Intelligence (UCAmI) in JOURNAL OF AMBIENT INTELLIGENCE AND HUMANIZED COMPUTING, VOLUME: 8, ISSUE: 4, PAGES: 551-566
AUTHORS: Campos, JC ; Abade, T; Silva, JL; Harrison, MD;
PUBLISHED: 2017, SOURCE: 9th International Conference on Ubiquitous Computing and Ambient Intelligence (UCAmI) in JOURNAL OF AMBIENT INTELLIGENCE AND HUMANIZED COMPUTING, VOLUME: 8, ISSUE: 4, PAGES: 551-566
