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: 1639
149 Team MembersFilters -> Year: 2026
661
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
662
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: IFM, VOLUME: 10510 LNCS, PAGES: 407-421
AUTHORS: João F Ferreira; Saul A Johnson; Alexandra Mendes ; Phillip J Brooke;
PUBLISHED: 2017, SOURCE: IFM, VOLUME: 10510 LNCS, PAGES: 407-421
INDEXED IN: 
Scopus 
DBLP
Scopus DBLP663
TITLE: Compact Resettable Counters through Causal Stability
AUTHORS: Younes, G ; Almeida, PS ; Baquero, C ;
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: Younes, G ; Almeida, PS ; Baquero, C ;
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
664
TITLE: Composing Families of Timed Automata
AUTHORS: Cledou, G ; Proença, J ; Barbosa, LS ;
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: Cledou, G ; Proença, J ; Barbosa, LS ;
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
665
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 DBLP666
TITLE: Computer Aided Verification of Relational Models by Strategic Rewriting Full Text
AUTHORS: Necco, CM; Oliveira, JN ; Visser, J; Uzal, R;
PUBLISHED: 2017, SOURCE: JOURNAL OF COMPUTER SCIENCE & TECHNOLOGY, VOLUME: 17, ISSUE: 2, PAGES: 140-148
AUTHORS: Necco, CM; Oliveira, JN ; Visser, J; Uzal, R;
PUBLISHED: 2017, SOURCE: JOURNAL OF COMPUTER SCIENCE & TECHNOLOGY, VOLUME: 17, ISSUE: 2, PAGES: 140-148
INDEXED IN: WOS
WOS667
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
668
TITLE: Data Management and Privacy in a World of Data Wealth
AUTHORS: Francisco Maia ;
PUBLISHED: 2017, SOURCE: 13th European Dependable Computing Conference, EDCC 2017, Geneva, Switzerland, September 4-8, 2017, PAGES: 6-7
AUTHORS: Francisco Maia ;
PUBLISHED: 2017, SOURCE: 13th European Dependable Computing Conference, EDCC 2017, Geneva, Switzerland, September 4-8, 2017, PAGES: 6-7
669
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
Handle670
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: DAIS, VOLUME: 10320 LNCS, PAGES: 51-66
AUTHORS: Francisco Maia ; João Paulo ; Fábio Coelho ; Francisco Neves ; José Pereira ; Rui Oliveira ;
PUBLISHED: 2017, SOURCE: DAIS, VOLUME: 10320 LNCS, PAGES: 51-66
671
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
672
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
673
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
674
TITLE: DottedDB: Anti-Entropy without Merkle Trees, Deletes without Tombstones
AUTHORS: Gonçalves, R ; Almeida, PS ; Baquero, C ; Fonte, V ;
PUBLISHED: 2017, SOURCE: 36th IEEE Symposium on Reliable Distributed Systems (SRDS) in 2017 IEEE 36TH INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS (SRDS), PAGES: 194-203
AUTHORS: Gonçalves, R ; Almeida, PS ; Baquero, C ; Fonte, V ;
PUBLISHED: 2017, SOURCE: 36th IEEE Symposium on Reliable Distributed Systems (SRDS) in 2017 IEEE 36TH INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS (SRDS), PAGES: 194-203
675
TITLE: Early identification of spammers through identity linking, social network and call features
AUTHORS: Azad, MA ; Morla, R ;
PUBLISHED: 2017, SOURCE: JOURNAL OF COMPUTATIONAL SCIENCE, VOLUME: 23, PAGES: 157-172
AUTHORS: Azad, MA ; Morla, R ;
PUBLISHED: 2017, SOURCE: JOURNAL OF COMPUTATIONAL SCIENCE, VOLUME: 23, PAGES: 157-172
676
TITLE: Effect of Pipelining and Multiplexing in Estimating HTTP/2.0 Web Object Sizes PDF
AUTHORS: Ricardo Morla ;
PUBLISHED: 2017, SOURCE: CoRR, VOLUME: abs/1707.00641
AUTHORS: Ricardo Morla ;
PUBLISHED: 2017, SOURCE: CoRR, VOLUME: abs/1707.00641
INDEXED IN: DBLP 
arXiv
DBLP arXiv677
TITLE: Energy Consumption Measurement of C/C++ Programs Using Clang Tooling
AUTHORS: Mário Santos; João Saraiva ; Zoltán Porkoláb; Dániel Krupp;
PUBLISHED: 2017, SOURCE: SQAMIA, VOLUME: 1938
AUTHORS: Mário Santos; João Saraiva ; Zoltán Porkoláb; Dániel Krupp;
PUBLISHED: 2017, SOURCE: SQAMIA, VOLUME: 1938
INDEXED IN: Scopus DBLP
Scopus DBLP678
TITLE: Energy Efficiency across Programming Languages
AUTHORS: Pereira, R ; Couto, M ; Ribeiro, F ; Rua, R ; Cunha, J ; Fernandes, JP ; Saraiva, J ;
PUBLISHED: 2017, SOURCE: 10th ACM SIGPLAN International Conference on Software Language Engineering (SLE) as part of ACM SIGPLAN Conference on Systems, Programming, Languages and Applications - Software for Humanity (SPLASH) in SLE'17: PROCEEDINGS OF THE 10TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON SOFTWARE LANGUAGE ENGINEERING, PAGES: 256-267
AUTHORS: Pereira, R ; Couto, M ; Ribeiro, F ; Rua, R ; Cunha, J ; Fernandes, JP ; Saraiva, J ;
PUBLISHED: 2017, SOURCE: 10th ACM SIGPLAN International Conference on Software Language Engineering (SLE) as part of ACM SIGPLAN Conference on Systems, Programming, Languages and Applications - Software for Humanity (SPLASH) in SLE'17: PROCEEDINGS OF THE 10TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON SOFTWARE LANGUAGE ENGINEERING, PAGES: 256-267
679
TITLE: Evaluation of Formal IDEs for Human-Machine Interface Design and Analysis: The Case of CIRCUS and PVSio-web
AUTHORS: Fayollas, C; Martinie, C; Palanque, P; Masci, P ; Harrison, MD ; Campos, JC ; Silva, SRE ;
PUBLISHED: 2017, SOURCE: ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 240, ISSUE: 240, PAGES: 1-19
AUTHORS: Fayollas, C; Martinie, C; Palanque, P; Masci, P ; Harrison, MD ; Campos, JC ; Silva, SRE ;
PUBLISHED: 2017, SOURCE: ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 240, ISSUE: 240, PAGES: 1-19
680
TITLE: Exploiting Partial Knowledge for Efficient Model Analysis
AUTHORS: Macedo, N ; Cunha, A ; Pessoa, E;
PUBLISHED: 2017, SOURCE: AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS (ATVA 2017), VOLUME: 10482, PAGES: 344-362
AUTHORS: Macedo, N ; Cunha, A ; Pessoa, E;
PUBLISHED: 2017, SOURCE: AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS (ATVA 2017), VOLUME: 10482, PAGES: 344-362
