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: 1219

112 Team Members
Filters -> Year: 2019
2
TITLE: A Generalized Program Verification Workflow Based on Loop Elimination and SA Form
AUTHORS: Belo Lourenco, C; Frade, MJ ; Sousa Pinto, J ;
SOURCE: 7th IEEE/ACM International Workshop on Formal Methods in Software Engineering, FormaliSE 2019 in Proceedings - 2019 IEEE/ACM 7th International Workshop on Formal Methods in Software Engineering, FormaliSE 2019, PAGES: 75-84, PUBLISHED: 2019
INDEXED IN: Scopus CrossRef
3
TITLE: A Net-Based Formal Framework for Causal Loop Diagrams
AUTHORS: Guillermina Cledou ; Shin Nakajima;
SOURCE: 3rd International Asia-Pacific Conference on Complex Systems Design and Management (CSD and M Asia) in COMPLEX SYSTEMS DESIGN & MANAGEMENT ASIA: SMART TRANSPORTATION, CSD&M ASIA 2018, VOLUME: 878, PAGES: 1-12, PUBLISHED: 2019
INDEXED IN: Scopus WOS CrossRef
4
TITLE: An Adequate While-Language for Hybrid Computation PDF
AUTHORS: Sergey Goncharov; Renato Neves ;
SOURCE: CoRR, VOLUME: abs/1902.07684, PUBLISHED: 2019
INDEXED IN: DBLP arXiv
5
TITLE: An ontology-based recommendation system for context-aware network monitoring
AUTHORS: Silva, RF; Carvalho, P; Rito Lima, S; Álvarez Sabucedo, L; Santos Gago, JM; Silva, JMC ;
SOURCE: World Conference on Information Systems and Technologies, WorldCIST 2019 in Advances in Intelligent Systems and Computing, VOLUME: 931, PAGES: 373-384, PUBLISHED: 2019
INDEXED IN: Scopus
6
TITLE: Anomaly Detection and Modeling in 802.11 Wireless Networks  Full Text
AUTHORS: Anisa Allahdadi ; Ricardo Morla ;
SOURCE: JOURNAL OF NETWORK AND SYSTEMS MANAGEMENT, VOLUME: 27, ISSUE: 1, PAGES: 3-38, PUBLISHED: 2019
INDEXED IN: Scopus WOS DBLP CrossRef
7
TITLE: Conflict-Free Replicated Data Types CRDTs
AUTHORS: Nuno M Preguiça; Carlos Baquero ; Marc Shapiro;
SOURCE: Encyclopedia of Big Data Technologies., PUBLISHED: 2019
INDEXED IN: DBLP
8
TITLE: Coordination of tasks on a real-time OS
AUTHORS: Cledou, G ; Proença, J; Sputh, BHC; Verhulst, E;
SOURCE: 21st IFIP WG 6.1 International Conference on Coordination Models and Languages, COORDINATION 2019 held as part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 11533 LNCS, PAGES: 250-266, PUBLISHED: 2019
INDEXED IN: Scopus CrossRef
9
TITLE: Data Security and Trustworthiness in Online Public Services
AUTHORS: João Marco C Silva ; Vítor Fonte ;
SOURCE: Proceedings of the 12th International Conference on Theory and Practice of Electronic Governance - ICEGOV2019, PUBLISHED: 2019
INDEXED IN: CrossRef
10
TITLE: Data security and trustworthiness in online public services: An assessment of Portuguese institutions
AUTHORS: Silva, JMC ; Fonte, V ;
SOURCE: 12th International Conference on Theory and Practice of Electronic Governance, ICEGOV 2019 in ACM International Conference Proceeding Series, VOLUME: Part F148155, PAGES: 348-353, PUBLISHED: 2019
INDEXED IN: Scopus
11
TITLE: Data Security and Trustworthiness in Online Public Services: An Assessment of Portuguese Institutions
AUTHORS: Joao Marco C Silva ; Vitor Fonte ;
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), PAGES: 348-353, PUBLISHED: 2019
INDEXED IN: WOS
12
TITLE: Deep Learning Powered Question-Answering Framework for Organizations Digital Transformation
AUTHORS: Nuno Ramos Carvalho; Luis Soares Barbosa ;
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: 76-79, PUBLISHED: 2019
INDEXED IN: Scopus WOS CrossRef
13
TITLE: e-LiteSense: Self-adaptive energy-aware data sensing in WSN environments
AUTHORS: Silva, JM ; Carvalho, P; Bispo, KA; Rito Lima, S;
SOURCE: International Journal of Communication Systems, PUBLISHED: 2019
INDEXED IN: Scopus
14
TITLE: Efficient Function-Hiding Functional Encryption: From Inner-Products to Orthogonality
AUTHORS: Manuel Barbosa ; Dario Catalano; Azam Soleimanian; Bogdan Warinschi;
SOURCE: Cryptographers Track at the RSA Conference 2019, CT-RSA 2019 in Topics in Cryptology - CT-RSA 2019 - The Cryptographers' Track at the RSA Conference 2019, San Francisco, CA, USA, March 4-8, 2019, Proceedings, VOLUME: 11405, PAGES: 127-148, PUBLISHED: 2019
INDEXED IN: Scopus DBLP CrossRef
15
TITLE: Efficient synchronization of state-based CRDTs PDF
AUTHORS: Enes, V ; Almeida, PS ; Baquero, C ; Leitao, J;
SOURCE: 35th IEEE International Conference on Data Engineering, ICDE 2019 in Proceedings - International Conference on Data Engineering, VOLUME: 2019-April, PAGES: 148-159, PUBLISHED: 2019
INDEXED IN: Scopus DBLP arXiv
16
TITLE: Efficient Synchronization of State-based CRDTs
AUTHORS: Vitor Enes ; Paulo Sergio Almeida ; Carlos Baquero ; Joao Leitao;
SOURCE: IEEE 35th International Conference on Data Engineering (ICDE) in 2019 IEEE 35TH INTERNATIONAL CONFERENCE ON DATA ENGINEERING (ICDE 2019), PAGES: 148-159, PUBLISHED: 2019
INDEXED IN: WOS
17
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
18
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: WOS CrossRef
19
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
20
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

Results per Page: 20.
Page 1 of 61. Total results: 1219.