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: 1499
150 Team MembersFilters -> Year: 2025
581
TITLE: Multi-view data types for scalable concurrency in the multi-core era
AUTHORS: Deepthi Devaki Akkoorath; José Brandão; Annette Bieniusa; Carlos Baquero ;
PUBLISHED: 2017, SOURCE: Proceedings of the Workshop on Programming Models and Languages for Distributed Computing, Barcelona, Spain, June 20, 2017, PAGES: 3:1
AUTHORS: Deepthi Devaki Akkoorath; José Brandão; Annette Bieniusa; Carlos Baquero ;
PUBLISHED: 2017, SOURCE: Proceedings of the Workshop on Programming Models and Languages for Distributed Computing, Barcelona, Spain, June 20, 2017, PAGES: 3:1
INDEXED IN: 
DBLP
DBLP582
TITLE: Networks of Universities as a Tool for GCIO Education
AUTHORS: Luís Soares Barbosa ; Luís Paulo Santos ;
PUBLISHED: 2017, SOURCE: 16th IFIP WG 8.5 International Conference on Electronic Government, EGOV 2017 in Electronic Government - 16th IFIP WG 8.5 International Conference, EGOV 2017, St. Petersburg, Russia, September 4-7, 2017, Proceedings, VOLUME: 10428, PAGES: 117-127
AUTHORS: Luís Soares Barbosa ; Luís Paulo Santos ;
PUBLISHED: 2017, SOURCE: 16th IFIP WG 8.5 International Conference on Electronic Government, EGOV 2017 in Electronic Government - 16th IFIP WG 8.5 International Conference, EGOV 2017, St. Petersburg, Russia, September 4-7, 2017, Proceedings, VOLUME: 10428, PAGES: 117-127
583
TITLE: On Kleene Algebras for Weighted Computation
AUTHORS: Leandro Gomes ; Alexandre Madeira ; Luis S Barbosa ;
PUBLISHED: 2017, SOURCE: 20th Brazilian Symposium on Formal Methods (SBMF) in FORMAL METHODS: FOUNDATIONS AND APPLICATIONS, SBMF 2017, VOLUME: 10623, PAGES: 271-286
AUTHORS: Leandro Gomes ; Alexandre Madeira ; Luis S Barbosa ;
PUBLISHED: 2017, SOURCE: 20th Brazilian Symposium on Formal Methods (SBMF) in FORMAL METHODS: FOUNDATIONS AND APPLICATIONS, SBMF 2017, VOLUME: 10623, PAGES: 271-286
584
TITLE: Performance trade-offs on a secure multi-party relational database
AUTHORS: Rogerio Pontes ; Mário Pinto; Manuel Barbosa ; Ricardo Vilaça ; Miguel Matos ; Rui Oliveira ;
PUBLISHED: 2017, SOURCE: 32nd Annual ACM Symposium on Applied Computing, SAC 2017 in Proceedings of the Symposium on Applied Computing, SAC 2017, Marrakech, Morocco, April 3-7, 2017, VOLUME: Part F128005, PAGES: 456-461
AUTHORS: Rogerio Pontes ; Mário Pinto; Manuel Barbosa ; Ricardo Vilaça ; Miguel Matos ; Rui Oliveira ;
PUBLISHED: 2017, SOURCE: 32nd Annual ACM Symposium on Applied Computing, SAC 2017 in Proceedings of the Symposium on Applied Computing, SAC 2017, Marrakech, Morocco, April 3-7, 2017, VOLUME: Part F128005, PAGES: 456-461
585
TITLE: Practical evaluation of the Lasp programming model at large scale: an experience report. an experience report
AUTHORS: Christopher S Meiklejohn; Vitor Enes ; Junghun Yoo; Carlos Baquero ; Peter Van Roy; Annette Bieniusa;
PUBLISHED: 2017, SOURCE: 19th International Symposium on Principles and Practice of Declarative Programming, PPDP 2017 in Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming, Namur, Belgium, October 09 - 11, 2017, VOLUME: Part F131196, PAGES: 109-114
AUTHORS: Christopher S Meiklejohn; Vitor Enes ; Junghun Yoo; Carlos Baquero ; Peter Van Roy; Annette Bieniusa;
PUBLISHED: 2017, SOURCE: 19th International Symposium on Principles and Practice of Declarative Programming, PPDP 2017 in Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming, Namur, Belgium, October 09 - 11, 2017, VOLUME: Part F131196, PAGES: 109-114
586
TITLE: Preface
AUTHORS: Cunha, J ; Fernandes, JP ; Lämmel, R; Saraiva, J ; Zaytsev, V;
PUBLISHED: 2017, SOURCE: 5th Summer School on Grand Timely Topics in Software Engineering, GTTSE 2015 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 10223 LNCS
AUTHORS: Cunha, J ; Fernandes, JP ; Lämmel, R; Saraiva, J ; Zaytsev, V;
PUBLISHED: 2017, SOURCE: 5th Summer School on Grand Timely Topics in Software Engineering, GTTSE 2015 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 10223 LNCS
INDEXED IN: 
Scopus
Scopus587
TITLE: Prepared scan: efficient retrieval of structured data from HBase. efficient retrieval of structured data from HBase
AUTHORS: Francisco Neves ; Ricardo Vilaça ; José Orlando Pereira ; Rui Oliveira ;
PUBLISHED: 2017, SOURCE: 32nd Annual ACM Symposium on Applied Computing, SAC 2017 in Proceedings of the Symposium on Applied Computing, SAC 2017, Marrakech, Morocco, April 3-7, 2017, VOLUME: Part F128005, PAGES: 462-464
AUTHORS: Francisco Neves ; Ricardo Vilaça ; José Orlando Pereira ; Rui Oliveira ;
PUBLISHED: 2017, SOURCE: 32nd Annual ACM Symposium on Applied Computing, SAC 2017 in Proceedings of the Symposium on Applied Computing, SAC 2017, Marrakech, Morocco, April 3-7, 2017, VOLUME: Part F128005, PAGES: 462-464
588
TITLE: Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS 2017, Lisbon, Portugal, June 26-29, 2017
AUTHORS: José Creissac Campos ; Nuno Nunes; Pedro Campos; Gaëlle Calvary; Jeffrey Nichols; Célia Martinie; José Luís Silva;
PUBLISHED: 2017, SOURCE: EICS
AUTHORS: José Creissac Campos ; Nuno Nunes; Pedro Campos; Gaëlle Calvary; Jeffrey Nichols; Célia Martinie; José Luís Silva;
PUBLISHED: 2017, SOURCE: EICS
589
TITLE: Products go Green: Worst-Case Energy Consumption in Software Product Lines. Worst-Case Energy Consumption in Software Product Lines
AUTHORS: Couto, M ; Borba, P; Cunha, J ; Fernandes, JP ; Pereira, R ; Saraiva, J ;
PUBLISHED: 2017, SOURCE: 21st International System and Software Product Line Conference (SPLC) in 21ST INTERNATIONAL SYSTEMS & SOFTWARE PRODUCT LINE CONFERENCE (SPLC 2017), VOL 1, VOLUME: 1, PAGES: 84-93
AUTHORS: Couto, M ; Borba, P; Cunha, J ; Fernandes, JP ; Pereira, R ; Saraiva, J ;
PUBLISHED: 2017, SOURCE: 21st International System and Software Product Line Conference (SPLC) in 21ST INTERNATIONAL SYSTEMS & SOFTWARE PRODUCT LINE CONFERENCE (SPLC 2017), VOL 1, VOLUME: 1, PAGES: 84-93
590
TITLE: Promoting entrepreneurship among informatics engineering students: insights from a case study
AUTHORS: Fernandes, JM; Afonso, P; Fonte, V ; Alves, V; Ribeiro, AN ;
PUBLISHED: 2017, SOURCE: EUROPEAN JOURNAL OF ENGINEERING EDUCATION, VOLUME: 42, ISSUE: 1, PAGES: 91-108
AUTHORS: Fernandes, JM; Afonso, P; Fonte, V ; Alves, V; Ribeiro, AN ;
PUBLISHED: 2017, SOURCE: EUROPEAN JOURNAL OF ENGINEERING EDUCATION, VOLUME: 42, ISSUE: 1, PAGES: 91-108
591
TITLE: Pure Operation-Based Replicated Data Types PDF
AUTHORS: Carlos Baquero ; Paulo Sérgio Almeida ; Ali Shoker ;
PUBLISHED: 2017, SOURCE: CoRR, VOLUME: abs/1710.04469
AUTHORS: Carlos Baquero ; Paulo Sérgio Almeida ; Ali Shoker ;
PUBLISHED: 2017, SOURCE: CoRR, VOLUME: abs/1710.04469
INDEXED IN: DBLP 
arXiv
DBLP arXiv592
TITLE: Quality-Aware Reactive Programming for the Internet of Things
AUTHORS: Jose Proenca ; Carlos Baquero ;
PUBLISHED: 2017, SOURCE: 7th IPM International Conference on Fundamentals of Software Engineering (FSEN) in FUNDAMENTALS OF SOFTWARE ENGINEERING, FSEN 2017, VOLUME: 10522, PAGES: 180-195
AUTHORS: Jose Proenca ; Carlos Baquero ;
PUBLISHED: 2017, SOURCE: 7th IPM International Conference on Fundamentals of Software Engineering (FSEN) in FUNDAMENTALS OF SOFTWARE ENGINEERING, FSEN 2017, VOLUME: 10522, PAGES: 180-195
593
TITLE: REQCAP: Hierarchical Requirements Modeling and Test Generation for Industrial Control Systems
AUTHORS: Ali Almohammad; Joao F Ferreira; Alexandra Mendes ; Phil White;
PUBLISHED: 2017, SOURCE: 25th IEEE International Requirements Engineering Conference Workshops (REW) in 2017 IEEE 25TH INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE WORKSHOPS (REW), PAGES: 351-358
AUTHORS: Ali Almohammad; Joao F Ferreira; Alexandra Mendes ; Phil White;
PUBLISHED: 2017, SOURCE: 25th IEEE International Requirements Engineering Conference Workshops (REW) in 2017 IEEE 25TH INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE WORKSHOPS (REW), PAGES: 351-358
594
TITLE: Run Time Prediction for Big Data Iterative ML Algorithms: a KMeans case study PDF
AUTHORS: Eduardo Rodrigues; Ricardo Morla ;
PUBLISHED: 2017, SOURCE: CoRR, VOLUME: abs/1710.03040
AUTHORS: Eduardo Rodrigues; Ricardo Morla ;
PUBLISHED: 2017, SOURCE: CoRR, VOLUME: abs/1710.03040
INDEXED IN: DBLP arXiv
DBLP arXiv595
TITLE: SafeFS: a modular architecture for secure user-space file systems: one FUSE to rule them all. one FUSE to rule them all
AUTHORS: Rogerio Pontes ; Dorian Burihabwa; Francisco Maia ; João Paulo ; Valerio Schiavoni; Pascal Felber; Hugues Mercier; Rui Oliveira ;
PUBLISHED: 2017, SOURCE: 10th ACM International Systems and Storage Conference, SYSTOR 2017 in Proceedings of the 10th ACM International Systems and Storage Conference, SYSTOR 2017, Haifa, Israel, May 22-24, 2017, PAGES: 9:1-9:12
AUTHORS: Rogerio Pontes ; Dorian Burihabwa; Francisco Maia ; João Paulo ; Valerio Schiavoni; Pascal Felber; Hugues Mercier; Rui Oliveira ;
PUBLISHED: 2017, SOURCE: 10th ACM International Systems and Storage Conference, SYSTOR 2017 in Proceedings of the 10th ACM International Systems and Storage Conference, SYSTOR 2017, Haifa, Israel, May 22-24, 2017, PAGES: 9:1-9:12
596
TITLE: SAFETHINGS: Data Security by Design in the IoT
AUTHORS: Manuel Barbosa ; Sonia Ben Mokhtar; Pascal Felber; Francisco Maia ; Miguel Matos ; Rui Oliveira ; Etienne Riviere; Valerio Schiavoni; Spyros Voulgaris;
PUBLISHED: 2017, SOURCE: 13th European Dependable Computing Conference (EDCC) in 2017 13TH EUROPEAN DEPENDABLE COMPUTING CONFERENCE (EDCC 2017), PAGES: 117-120
AUTHORS: Manuel Barbosa ; Sonia Ben Mokhtar; Pascal Felber; Francisco Maia ; Miguel Matos ; Rui Oliveira ; Etienne Riviere; Valerio Schiavoni; Spyros Voulgaris;
PUBLISHED: 2017, SOURCE: 13th European Dependable Computing Conference (EDCC) in 2017 13TH EUROPEAN DEPENDABLE COMPUTING CONFERENCE (EDCC 2017), PAGES: 117-120
597
TITLE: Safety Analysis of Software Components of a Dialysis Machine Using Model Checking
AUTHORS: Harrison, MD; Drinnan, M; Campos, JC ; Masci, P ; Freitas, L; di Maria, C; Whitaker, M;
PUBLISHED: 2017, SOURCE: 14th International Conference on Formal Aspects of Component Software (FACS) in FORMAL ASPECTS OF COMPONENT SOFTWARE (FACS 2017), VOLUME: 10487, PAGES: 137-154
AUTHORS: Harrison, MD; Drinnan, M; Campos, JC ; Masci, P ; Freitas, L; di Maria, C; Whitaker, M;
PUBLISHED: 2017, SOURCE: 14th International Conference on Formal Aspects of Component Software (FACS) in FORMAL ASPECTS OF COMPONENT SOFTWARE (FACS 2017), VOLUME: 10487, PAGES: 137-154
598
TITLE: Secure Multiparty Computation from SGX
AUTHORS: Raad Bahmani; Manuel Barbosa ; Ferdinand Brasser; Bernardo Portela ; Ahmad Reza Sadeghi; Guillaume Scerri; Bogdan Warinschi;
PUBLISHED: 2017, SOURCE: 21st International Conference on Financial Cryptography and Data Security, FC 2017 in Financial Cryptography and Data Security - 21st International Conference, FC 2017, Sliema, Malta, April 3-7, 2017, Revised Selected Papers, VOLUME: 10322, PAGES: 477-497
AUTHORS: Raad Bahmani; Manuel Barbosa ; Ferdinand Brasser; Bernardo Portela ; Ahmad Reza Sadeghi; Guillaume Scerri; Bogdan Warinschi;
PUBLISHED: 2017, SOURCE: 21st International Conference on Financial Cryptography and Data Security, FC 2017 in Financial Cryptography and Data Security - 21st International Conference, FC 2017, Sliema, Malta, April 3-7, 2017, Revised Selected Papers, VOLUME: 10322, PAGES: 477-497
599
TITLE: Similarity Aware Shuffling for the Distributed Execution of SQL Window Functions
AUTHORS: Fábio Coelho ; Miguel Matos ; 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: 3-18
AUTHORS: Fábio Coelho ; Miguel Matos ; 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: 3-18
600
TITLE: SMT-based schedulability analysis using RMTL-∫ Full Text
AUTHORS: André de Matos Pedro; David Pereira; Luís Miguel Pinho ; Jorge Sousa Pinto ;
PUBLISHED: 2017, SOURCE: SIGBED Review, VOLUME: 14, ISSUE: 3, PAGES: 40-42
AUTHORS: André de Matos Pedro; David Pereira; Luís Miguel Pinho ; Jorge Sousa Pinto ;
PUBLISHED: 2017, SOURCE: SIGBED Review, VOLUME: 14, ISSUE: 3, PAGES: 40-42
