High-Assurance Software Laboratory (HASLab)
Laboratório de Software Confiável

Inesc Technology and Science (INESC TEC) :: CS: Computer Science

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

Publications Count: 1241

112 Team Members
Filters -> Year: 2020
121
TITLE: A Fast and Verified Software Stack for Secure Function Evaluation
AUTHORS: José Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe; François Dupressoir; Benjamin Grégoire; Vincent Laporte; Vitor Pereira ;
SOURCE: IACR Cryptology ePrint Archive, VOLUME: 2017, PAGES: 821, PUBLISHED: 2017
INDEXED IN: DBLP
122
TITLE: A Feature-Based Classification of Model Repair Approaches  Full Text
AUTHORS: Nuno Macedo ; Jorge Tiago; Alcino Cunha ;
SOURCE: IEEE Trans. Software Eng., VOLUME: 43, ISSUE: 7, PAGES: 615-640, PUBLISHED: 2017
INDEXED IN: Scopus DBLP CrossRef: 4
123
TITLE: A Framework for Certification of Large-scale Component-based Parallel Computing Systems in a Cloud Computing Platform for HPC Services
AUTHORS: Allberson Bruno de Oliveira Dantas; Francisco Heron de Carvalho Junior; Luís Soares Barbosa ;
SOURCE: CLOSER 2017 - Proceedings of the 7th International Conference on Cloud Computing and Services Science, Porto, Portugal, April 24-26, 2017., PAGES: 201-212, PUBLISHED: 2017
INDEXED IN: DBLP
124
TITLE: A Hazard Analysis Method for Systematic Identification of Safety Requirements for User Interface Software in Medical Devices
AUTHORS: Paolo Masci ; Yi Zhang; Paul L Jones; José Creissac Campos ;
SOURCE: 15th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2017 in Software Engineering and Formal Methods - 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings, VOLUME: 10469, PAGES: 284-299, PUBLISHED: 2017
INDEXED IN: Scopus DBLP CrossRef
125
TITLE: A Modular Traffic Sampling Architecture: Bringing Versatility and Efficiency to Massive Traffic Analysis  Full Text
AUTHORS: Silva, JMC ; Carvalho, P; Lima, SR;
SOURCE: Journal of Network and Systems Management, VOLUME: 25, ISSUE: 3, PAGES: 643-668, PUBLISHED: 2017
INDEXED IN: Scopus CrossRef
126
TITLE: A More Intelligent Test Case Generation Approach through Task Models Manipulation
AUTHORS: José Creissac Campos ; Camille Fayollas; Marcelo Gonçalves; Célia Martinie; David Navarre; Philippe A Palanque; Miguel Pinto;
SOURCE: PACMHCI, VOLUME: 1, ISSUE: 1, PAGES: 9:1-9:20, PUBLISHED: 2017
INDEXED IN: Scopus DBLP CrossRef
127
TITLE: A Practical Framework for Privacy-Preserving NoSQL Databases  Full Text
AUTHORS: Ricardo Macedo ; Joao Paulo ; Rogerio Pontes ; Bernardo Portela ; Tiago Oliveira; Miguel Matos; Rui Oliveira ;
SOURCE: 36th IEEE Symposium on Reliable Distributed Systems (SRDS) in 2017 IEEE 36TH INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS (SRDS), VOLUME: 2017-September, PAGES: 11-20, PUBLISHED: 2017
INDEXED IN: Scopus WOS DBLP CrossRef
128
TITLE: A Refinement Relation for Families of Timed Automata
AUTHORS: Guillermina Cledou ; Jose Proenca ; Luis S Barbosa ;
SOURCE: 20th Brazilian Symposium on Formal Methods (SBMF) in FORMAL METHODS: FOUNDATIONS AND APPLICATIONS, SBMF 2017, VOLUME: 10623, PAGES: 161-178, PUBLISHED: 2017
INDEXED IN: Scopus WOS DBLP CrossRef
129
TITLE: Administrative Burden Reduction Over Time: Literature Review, Trends and Gap Analysis
AUTHORS: Morten Meyerhoff Nielsen; Nuno Ramos Carvalho; Linda Veiga; Luís Soares Barbosa ;
SOURCE: Proceedings of the 10th International Conference on Theory and Practice of Electronic Governance, ICEGOV 2017, New Delhi, India, March 07 - 09, 2017, PAGES: 140-148, PUBLISHED: 2017
INDEXED IN: DBLP CrossRef: 2
130
TITLE: Aggregation Protocols in Light of Reliable Communication
AUTHORS: Ziad Kassam ; Ali Shoker ; Paulo Sergio Almeida ; Carlos Baquero ;
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, PUBLISHED: 2017
INDEXED IN: Scopus WOS DBLP CrossRef
131
TITLE: AN ECONOMIC ENERGY APPROACH FOR QUERIES ON DATA CENTERS
AUTHORS: Joao Saraiva ; Miguel Guimarales; Orlando Belot;
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, PUBLISHED: 2017
INDEXED IN: WOS
132
TITLE: As Secure as Possible Eventual Consistency
AUTHORS: Ali Shoker ; Houssam Yactine ; Carlos Baquero ;
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, PUBLISHED: 2017
INDEXED IN: Scopus WOS DBLP CrossRef
133
TITLE: Benchmarking IoT Middleware Platforms
AUTHORS: Joao Cardoso; Carlos Pereira; Ana Aguiar ; Ricardo Morla ;
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, PUBLISHED: 2017
INDEXED IN: Scopus WOS DBLP CrossRef: 3
134
TITLE: Bidirectional Transformations (BX 2015) Editorial  Full Text
AUTHORS: Alcino Cunha ; Ekkart Kindler;
SOURCE: Journal of Object Technology, VOLUME: 16, ISSUE: 1, PAGES: 1-2, PUBLISHED: 2017
INDEXED IN: Scopus DBLP CrossRef
135
TITLE: Borrowing an Identity for a Distributed Counter
AUTHORS: Vitor Enes ; Carlos Baquero ; Paulo Sergio Almeida ; Joao Leitao;
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, PUBLISHED: 2017
INDEXED IN: Scopus WOS DBLP CrossRef
136
TITLE: Cantor meets scott: semantic foundations for probabilistic networks
AUTHORS: Steffen Smolka; Praveen Kumar; Nate Foster; Dexter Kozen; Alexandra Silva ;
SOURCE: Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017, Paris, France, January 18-20, 2017, PAGES: 557-571, PUBLISHED: 2017
INDEXED IN: DBLP
137
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 ;
SOURCE: 14th International Conference on Formal Aspects of Component Software (FACS) in FORMAL ASPECTS OF COMPONENT SOFTWARE (FACS 2017), VOLUME: 10487, PAGES: 198-215, PUBLISHED: 2017
INDEXED IN: Scopus WOS DBLP CrossRef
138
TITLE: Certified password quality: A case study using Coq and linux pluggable authentication modules
AUTHORS: Ferreira, JF; Johnson, SA; Mendes, A ; Brooke, PJ;
SOURCE: 13th International Conference on Integrated Formal Methods, IFM 2017 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 10510 LNCS, PAGES: 407-421, PUBLISHED: 2017
INDEXED IN: Scopus
139
TITLE: CoCaml: Functional Programming with Regular Coinductive Types
AUTHORS: Jean Baptiste Jeannin; Dexter Kozen; Alexandra Silva ;
SOURCE: Fundam. Inform., VOLUME: 150, ISSUE: 3-4, PAGES: 347-377, PUBLISHED: 2017
INDEXED IN: DBLP
140
TITLE: Compact Resettable Counters through Causal Stability
AUTHORS: Georges Younes ; Paulo Sergio Almeida ; Carlos Baquero ;
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, PUBLISHED: 2017
INDEXED IN: Scopus WOS DBLP CrossRef

Results per Page: 20.
Page 7 of 63. Total results: 1241.