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
21
TITLE: Electrocardiogram beat-classification based on a ResNet network
AUTHORS: Brito, C ; Machado, A; Sousa, A;
SOURCE: 17th World Congress on Medical and Health Informatics, MEDINFO 2019 in Studies in Health Technology and Informatics, VOLUME: 264, PAGES: 55-59, PUBLISHED: 2019
INDEXED IN: Scopus
22
TITLE: Formal techniques in the safety analysis of software components of a new dialysis machine  Full Text
AUTHORS: Michael D Harrison; Leo Freitas; Michael Drinnan; Jose C Campos ; Paolo Masci ; Costanzo di Maria; Michael Whitaker;
SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 175, PAGES: 17-34, PUBLISHED: 2019
INDEXED IN: Scopus WOS CrossRef
23
TITLE: Formal verification of interactive computing systems: Opportunities and challenges
AUTHORS: Campos, JC ; Harrison, MD;
SOURCE: 2019 Joint HCI Engineering - Methods and Tools for Advanced Interactive Systems and Integration of Multiple Stakeholder Viewpoints, HCI Engineering 2019 in CEUR Workshop Proceedings, VOLUME: 2503, PAGES: 69-75, PUBLISHED: 2019
INDEXED IN: Scopus
24
TITLE: Generalising KAT to Verify Weighted Computations  Full Text
AUTHORS: Leandro Gomes ; HASLab INESC TEC, Universidade do Minho, R. da Universidade, 4710-057 Braga, Portugal, ; Alexandre Madeira; Luis Soares Barbosa ; CIDMA, Universidade de Aveiro, Campus Universitario de Santiago, 3810-193 Aveiro, Portugal, ; Universidade do Minho, R. da Universidade, 4710-057 Braga, Portugal & Quantum Software Engineering Group, INL, ;
SOURCE: SCIENTIFIC ANNALS OF COMPUTER SCIENCE, VOLUME: 29, ISSUE: 2, PAGES: 141-184, PUBLISHED: 2019
INDEXED IN: Scopus WOS CrossRef: 1
25
TITLE: GreenHub Farmer: Real-world data for android energy mining
AUTHORS: Matalonga, H; Cabral, B; Castor, F; Couto, M ; Pereira, R ; De Sousa, SM; Fernandes, JP;
SOURCE: 16th IEEE/ACM International Conference on Mining Software Repositories, MSR 2019 in IEEE International Working Conference on Mining Software Repositories, VOLUME: 2019-May, PAGES: 171-175, PUBLISHED: 2019
INDEXED IN: Scopus CrossRef
26
TITLE: GreenSource: A large-scale collection of android code, tests and energy metrics
AUTHORS: Rua, R ; Couto, M ; Saraiva, J ;
SOURCE: 16th IEEE/ACM International Conference on Mining Software Repositories, MSR 2019 in IEEE International Working Conference on Mining Software Repositories, VOLUME: 2019-May, PAGES: 176-180, PUBLISHED: 2019
INDEXED IN: Scopus CrossRef
27
TITLE: High assurance on cyber-physical interactive systems
AUTHORS: Couto, R ; Campos, JC ;
SOURCE: 2019 Joint HCI Engineering - Methods and Tools for Advanced Interactive Systems and Integration of Multiple Stakeholder Viewpoints, HCI Engineering 2019 in CEUR Workshop Proceedings, VOLUME: 2503, PAGES: 46-50, PUBLISHED: 2019
INDEXED IN: Scopus
28
TITLE: Higher-order patterns in replicated data types
AUTHORS: Leijnse, A; Almeida, PS ; Baquero, C ;
SOURCE: 6th Workshop on Principles and Practice of Consistency for Distributed Data, PaPoC 2019 in Proceedings of the 6th Workshop on Principles and Practice of Consistency for Distributed Data, PaPoC 2019, PUBLISHED: 2019
INDEXED IN: Scopus CrossRef
29
TITLE: IVY 2
AUTHORS: Rui Couto ; José Creissac Campos ;
SOURCE: Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems - EICS '19, PUBLISHED: 2019
INDEXED IN: CrossRef
30
TITLE: IVY 2: A model-based analysis tool
AUTHORS: Couto, R ; Campos, JC ;
SOURCE: 11th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS 2019 in Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS 2019, PUBLISHED: 2019
INDEXED IN: Scopus
31
TITLE: Java Stream Fusion
AUTHORS: Francisco Ribeiro ; João Saraiva; Alberto Pardo;
SOURCE: Proceedings of the XXIII Brazilian Symposium on Programming Languages - SBLP 2019, PUBLISHED: 2019
INDEXED IN: CrossRef
32
TITLE: Lessons Learned and Challenges on Benchmarking Publish-Subscribe loT Platforms
AUTHORS: Ana Aguiar ; Ricardo Morla ;
SOURCE: 2nd Workshop on Benchmarking Cyber-Physical Systems and Internet of Things (CPS-IoTBench) in CPS-IOTBENCH '19: PROCEEDINGS OF THE 2019 2ND WORKSHOP ON BENCHMARKING CYBER-PHYSICAL SYSTEMS AND INTERNET OF THINGS, PAGES: 24-29, PUBLISHED: 2019
INDEXED IN: Scopus WOS CrossRef
33
TITLE: Limits in categories of Vietoris coalgebras PDF
AUTHORS: Dirk Hofmann; Renato Neves ; Pedro Nora;
SOURCE: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, VOLUME: 29, ISSUE: 4, PAGES: 552-587, PUBLISHED: 2019
INDEXED IN: Scopus WOS DBLP arXiv
34
TITLE: Logics for Petri Nets with Propagating Failures
AUTHORS: Gomes, L ; Madeira, A ; Benevides, M;
SOURCE: 8th International Conference on Fundamentals of Software Engineering, FSEN 2019 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 11761 LNCS, PAGES: 145-157, PUBLISHED: 2019
INDEXED IN: Scopus CrossRef
35
TITLE: Machine-Checked Proofs for Cryptographic Standards Indifferentiability of SPONGE and Secure High-Assurance Implementations of SHA-3
AUTHORS: Jose Bacelar Almeida ; Cecile Baritel Ruet; Manuel Barbosa ; Gilles Barthe; Francois Dupressoir; Benjamin Gregoire; Vincent Laporte; Tiago Oliveira ; Alley Stoughton; Pierre Yves Strub;
SOURCE: ACM SIGSAC Conference on Computer and Communications Security (CCS) in PROCEEDINGS OF THE 2019 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY (CCS'19), PAGES: 1607-1622, PUBLISHED: 2019
INDEXED IN: Scopus WOS CrossRef
36
TITLE: Memoized zipper-based attribute grammars and their higher order extension  Full Text
AUTHORS: Joao Paulo Fernandes ; Pedro Martins; Alberto Pardo; Joao Saraiva ; Marcos Viera;
SOURCE: 20th Brazilian Symposium on Programing Languages (SBLP) in SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 173, PAGES: 71-94, PUBLISHED: 2019
INDEXED IN: Scopus WOS CrossRef
37
TITLE: On the Generation of Equational Dynamic Logics for Weighted Imperative Programs
AUTHORS: Leandro Gomes ; Alexandre Madeira; Manisha Jain; Luis S Barbosa ;
SOURCE: Formal Methods and Software Engineering - Lecture Notes in Computer Science, PAGES: 154-169, PUBLISHED: 2019
INDEXED IN: CrossRef
38
TITLE: Optimal control applied to an irrigation planning problem: A real case study in Portugal
AUTHORS: Lopes, SO; Pereira, RMS; Pereira, PA; Caldeira, AC; Fonte, VF ;
SOURCE: International Journal of Hydrology Science and Technology, VOLUME: 9, ISSUE: 2, PAGES: 173-188, PUBLISHED: 2019
INDEXED IN: Scopus CrossRef
39
TITLE: Predicting throughput in IEEE 802.11 based wireless networks using directional antenna  Full Text
AUTHORS: Saravanan Kandasamy ; Ricardo Morla ; Patricia Ramos ; Manuel Ricardo ;
SOURCE: WIRELESS NETWORKS, VOLUME: 25, ISSUE: 4, PAGES: 1567-1584, PUBLISHED: 2019
INDEXED IN: Scopus WOS DBLP CrossRef
40
TITLE: Privacy and Data Protection Concerns Regarding the Use of Blockchains in Smart Cities
AUTHORS: Luis Felipe M Ramos; Joao Marco C Silva ;
SOURCE: 12th International Conference on Theory and Practice of Electronic Governance (ICEGOV) in PROCEEDINGS OF THE 12TH INTERNATIONAL CONFERENCE ON THEORY AND PRACTICE OF ELECTRONIC GOVERNANCE (ICEGOV2019), VOLUME: Part F148155, PAGES: 342-347, PUBLISHED: 2019
INDEXED IN: Scopus WOS

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