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
141
TITLE: Composing Families of Timed Automata
AUTHORS: Guillermina Cledou ; Jose Proenca ; Luis Soares Barbosa ;
SOURCE: 7th IPM International Conference on Fundamentals of Software Engineering (FSEN) in FUNDAMENTALS OF SOFTWARE ENGINEERING, FSEN 2017, VOLUME: 10522, PAGES: 51-66, PUBLISHED: 2017
INDEXED IN: Scopus WOS DBLP CrossRef: 2
142
TITLE: COMPOSITION IN STATE-BASED REPLICATED DATA TYPES
AUTHORS: Carlos Baquero ; Paulo Sergio Almeida ; Alcino Cunha ; Carla Ferreira;
SOURCE: BULLETIN OF THE EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE, VOLUME: 123, ISSUE: 123, PUBLISHED: 2017
INDEXED IN: WOS DBLP
143
TITLE: Computer Aided Verification of Relational Models by Strategic Rewriting  Full Text
AUTHORS: Claudia M Necco; Jose N Oliveira ; Joost Visser; Roberto Uzal;
SOURCE: JOURNAL OF COMPUTER SCIENCE & TECHNOLOGY, VOLUME: 17, ISSUE: 2, PAGES: 140-148, PUBLISHED: 2017
INDEXED IN: WOS
144
TITLE: Continuous Ambulatory Peritoneal Dialysis: Business Intelligence applied to patient monitoring CAPD study and statistics
AUTHORS: Catarina Peixoto; Claudia Brito ; Mariana Fontainhas; Hugo Peixoto; José Machado ; António Abelha ;
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, PUBLISHED: 2017
INDEXED IN: Scopus WOS DBLP CrossRef
145
TITLE: Data Management and Privacy in a World of Data Wealth
AUTHORS: Francisco Maia ;
SOURCE: 13th European Dependable Computing Conference, EDCC 2017, Geneva, Switzerland, September 4-8, 2017, PAGES: 6-7, PUBLISHED: 2017
INDEXED IN: DBLP CrossRef
146
TITLE: DDFlasks: Deduplicated Very Large Scale Data Store
AUTHORS: Francisco Maia ; João Paulo ; Fábio Coelho ; Francisco Neves ; José Pereira ; Rui Oliveira ;
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, PUBLISHED: 2017
INDEXED IN: Scopus DBLP CrossRef
147
TITLE: Demonstrating that Medical Devices Satisfy User Related Safety Requirements
AUTHORS: Michael D Harrison; Paolo Masci ; Jose Creissac Campos ; Paul Curzon;
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, PUBLISHED: 2017
INDEXED IN: Scopus WOS DBLP CrossRef: 2
148
TITLE: Digital Governance for Sustainable Development
AUTHORS: Luís Soares Barbosa ;
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, PUBLISHED: 2017
INDEXED IN: Scopus DBLP CrossRef
149
TITLE: Don't go in there! using the APEX framework in the design of ambient assisted living systems
AUTHORS: José Creissac Campos ; Tiago Abade; José Luís Silva; Michael D Harrison;
SOURCE: J. Ambient Intelligence and Humanized Computing, VOLUME: 8, ISSUE: 4, PAGES: 551-566, PUBLISHED: 2017
INDEXED IN: Scopus DBLP CrossRef
150
TITLE: DottedDB: Anti-Entropy without Merkle Trees, Deletes without Tombstones  Full Text
AUTHORS: Ricardo Goncalves ; Paulo Sergio Almeida ; Carlos Baquero ; Vitor Fonte ;
SOURCE: 36th IEEE Symposium on Reliable Distributed Systems (SRDS) in 2017 IEEE 36TH INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS (SRDS), PAGES: 194-203, PUBLISHED: 2017
INDEXED IN: WOS DBLP CrossRef: 1
151
TITLE: Early identification of spammers through identity linking, social network and call features  Full Text
AUTHORS: Muhammad Ajmal Azad ; Ricardo Morla ;
SOURCE: JOURNAL OF COMPUTATIONAL SCIENCE, VOLUME: 23, PAGES: 157-172, PUBLISHED: 2017
INDEXED IN: Scopus WOS CrossRef: 3
152
TITLE: Effect of Pipelining and Multiplexing in Estimating HTTP/2.0 Web Object Sizes PDF
AUTHORS: Ricardo Morla ;
SOURCE: CoRR, VOLUME: abs/1707.00641, PUBLISHED: 2017
INDEXED IN: DBLP arXiv
153
TITLE: Energy Consumption Measurement of C/C++ Programs Using Clang Tooling PDF
AUTHORS: Mário Santos; João Saraiva ; Zoltán Porkoláb; Dániel Krupp;
SOURCE: 6th Workshop on Software Quality Analysis, Monitoring, Improvement, and Applications, SQAMIA 2017 in Proceedings of the Sixth Workshop on Software Quality Analysis, Monitoring, Improvement, and Applications, Belgrade, Serbia, September 11-13, 2017., VOLUME: 1938, PUBLISHED: 2017
INDEXED IN: Scopus DBLP
154
TITLE: Energy Efficiency across Programming Languages
AUTHORS: Rui Pereira ; Marco Couto ; Francisco Ribeiro ; Rui Rua ; Jacome Cunha; Joao Paulo Fernandes ; Joao Saraiva ;
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, PUBLISHED: 2017
INDEXED IN: Scopus WOS DBLP CrossRef: 9
155
TITLE: Exploiting Partial Knowledge for Efficient Model Analysis
AUTHORS: Nuno Macedo ; Alcino Cunha ; Eduardo Pessoa;
SOURCE: 15th International Conference on Automated Technology for Verification and Analysis, ATVA 2017 in Automated Technology for Verification and Analysis - 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings, VOLUME: 10482, PAGES: 344-362, PUBLISHED: 2017
INDEXED IN: Scopus DBLP CrossRef: 1
156
TITLE: Exploring SDN to deploy flexible sampling-based network monitoring
AUTHORS: da Silva, CP; Lima, SR; Silva, JM ;
SOURCE: 17th International Conference on Next Generation Teletraffic and Wired/Wireless Advanced Networks and Systems, NEW2AN 2017, 10th Conference on Internet of Things and Smart Spaces, ruSMART 2017 and 3rd International Workshop on Nano-scale Computing and Communications, NsCC 2017 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 10531 LNCS, PAGES: 109-120, PUBLISHED: 2017
INDEXED IN: Scopus CrossRef
157
TITLE: Fault-tolerant aggregation: Flow-Updating meets Mass-Distribution  Full Text
AUTHORS: Paulo Sergio Almeida ; Carlos Baquero ; Martin Farach Colton; Paulo Jesus; Miguel A Mosteiro;
SOURCE: DISTRIBUTED COMPUTING, VOLUME: 30, ISSUE: 4, PAGES: 281-291, PUBLISHED: 2017
INDEXED IN: Scopus WOS DBLP CrossRef: 1
159
TITLE: Formal Verification of ROS-based Robotic Applications using Timed-Automata
AUTHORS: Raju Halder; Jose Proenca ; Nuno Macedo ; Andre Santos;
SOURCE: 5th IEEE/ACM International FME Workshop on Formal Methods in Software Engineering (FormaliSE) in 2017 IEEE/ACM 5TH INTERNATIONAL FME WORKSHOP ON FORMAL METHODS IN SOFTWARE ENGINEERING (FORMALISE) PROCEEDINGS, PAGES: 44-50, PUBLISHED: 2017
INDEXED IN: Scopus WOS DBLP CrossRef
160
TITLE: From software extensions to product lines of dataflow programs  Full Text
AUTHORS: Rui C Goncalves ; Don Batory; Joao L Sobral; Taylor L Riche;
SOURCE: SOFTWARE AND SYSTEMS MODELING, VOLUME: 16, ISSUE: 4, PAGES: 929-947, PUBLISHED: 2017
INDEXED IN: Scopus WOS CrossRef

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