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

Inesc Tecnologia e Ciência (INESC TEC) :: CS: Computer Science

Publications Actions
Publicações no Perfil Institucional do Authenticus

Uma Instituição (Grupo) no Authenticus é uma organização que engloba um conjunto de Investigadores (equipa da Instituição ou do Grupo). O conjunto de Investigadores depende da estrutura organizacional da instituição em cada ano e pode ser definido no perfil da Instituição, na secção “Investigadores”. Com base na equipa definida, o Authenticus produz listas de publicações, estatísticas e relatórios institucionais.

As publicações listadas no perfil da Instituição no Authenticus dependem de dois parâmetros:

  • Investigadores associados à equipa da Instituição em cada ano.
  • Origem das Publicações.

As publicações associadas à Instituição podem ter três origens:

  • Publicações validadas pelos membros da equipa - Inclui todas as publicações validadas pelos membros da equipa; é necessário que a equipa da Instituição esteja definida.
  • Todas as Publicadas pelos membros da equipa - Inclui todas as anteriores mais aquelas em que um dos autores foi identificado com um membro da equipa, ainda que não tenha sido validada; é necessário que a equipa da Instituição esteja definida.
  • Com Base na Afiliação - inclui todas as publicações que têm a Instituição ou o Grupo mencionado na afiliação; não é necessário que a equipa da Instituição esteja definida mas, por outro lado, não é garantido que todas as publicações da Instituição sejam listadas.
External   Internal

Update Citation

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!

Update PrePrints

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!

Publications Count: 1641

149 Team Members
Filters -> Year: 2026
501
TÍTULO: Universally Composable Relaxed Password Authenticated Key Exchange
AUTORES: Abdalla, M; Barbosa, M ; Bradley, T; Jarecki, S; Katz, J; Xu, JY;
PUBLICAÇÃO: 2020, FONTE: 40th Annual International Cryptology Conference (CRYPTO) in ADVANCES IN CRYPTOLOGY - CRYPTO 2020, PT I, VOLUME: 12170, PÁGINAS: 278-307
INDEXADO EM: Scopus WOS DBLP CrossRef: 36
502
TÍTULO: Validating Multiple Variants of an Automotive Light System with Electrum
AUTORES: Cunha, A ; Macedo, N ; Liu, C;
PUBLICAÇÃO: 2020, FONTE: RIGOROUS STATE-BASED METHODS, ABZ 2020, VOLUME: 12071, PÁGINAS: 318-334
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
503
TÍTULO: Validating the Hybrid ERTMS/ETCS Level 3 concept with Electrum  Full Text
AUTORES: Cunha, A ; Macedo, N ;
PUBLICAÇÃO: 2020, FONTE: INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, VOLUME: 22, NÚMERO: 3, PÁGINAS: 281-296
INDEXADO EM: Scopus WOS DBLP CrossRef: 17
504
TÍTULO: Verification of system-wide safety properties of ROS applications
AUTORES: Carvalho, R; Cunha, A ; Macedo, N ; Santos, A ;
PUBLICAÇÃO: 2020, FONTE: IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) in 2020 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS (IROS), PÁGINAS: 7249-7254
INDEXADO EM: Scopus WOS DBLP CrossRef: 20
505
TÍTULO: Work-In-Progress: a DSL for the safe deployment of Runtime Monitors in Cyber-Physical Systems  Full Text
AUTORES: Nandi, GS; Pereira, D; Proença, J ; Tovar, E ;
PUBLICAÇÃO: 2020, FONTE: 41st IEEE Real-Time Systems Symposium (RTSS) in 2020 IEEE 41ST REAL-TIME SYSTEMS SYMPOSIUM (RTSS), VOLUME: 2020-December, PÁGINAS: 395-398
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
506
TÍTULO: A Case for Dynamically Programmable Storage Background Tasks
AUTORES: Macedo, R ; Faria, A ; Paulo, J ; Pereira, J ;
PUBLICAÇÃO: 2019, FONTE: 38th International Symposium on Reliable Distributed Systems (SRDS) in 2019 38TH INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS WORKSHOPS (SRDSW 2019), PÁGINAS: 7-12
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
507
TÍTULO: A generalized program verification workflow based on loop elimination and SA form
AUTORES: Cláudio Belo Lourenço; Maria João Frade ; Jorge Sousa Pinto ;
PUBLICAÇÃO: 2019, FONTE: FormaliSE@ICSE, PÁGINAS: 75-84
INDEXADO EM: Scopus DBLP CrossRef: 2
508
TÍTULO: A Generator of User Interface Prototypes for the IVY Workbench
AUTORES: Araújo, JM; Couto, R ; Campos, JC ;
PUBLICAÇÃO: 2019, FONTE: International Conference on Graphics and Interaction (ICGI) in PROCEEDINGS OF THE 2019 INTERNATIONAL CONFERENCE ON GRAPHICS AND INTERACTION (ICGI 2019), PÁGINAS: 32-39
INDEXADO EM: Scopus WOS DBLP CrossRef
509
TÍTULO: A Machine-Checked Proof of Security for AWS Key Management Service
AUTORES: Almeida, JB ; Barbosa, M ; Barthe, G ; Campagna, M; Cohen, E; Gregoire, B; Pereira, V; Portela, B ; Strub, PY; Tasiran, S;
PUBLICAÇÃO: 2019, FONTE: ACM SIGSAC Conference on Computer and Communications Security (CCS) in PROCEEDINGS OF THE 2019 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY (CCS'19), PÁGINAS: 63-78
INDEXADO EM: Scopus WOS DBLP CrossRef: 19
510
TÍTULO: A Quantum Algorithm for Ray Casting using an Orthographic Camera
AUTORES: Alves, C; Santos, LP ; Bashford Rogers, T;
PUBLICAÇÃO: 2019, FONTE: International Conference on Graphics and Interaction (ICGI) in PROCEEDINGS OF THE 2019 INTERNATIONAL CONFERENCE ON GRAPHICS AND INTERACTION (ICGI 2019), PÁGINAS: 56-63
INDEXADO EM: Scopus WOS CrossRef: 3
511
TÍTULO: A use error taxonomy for improving human-machine interface design in medical devices
AUTORES: Carlos Silva; Paolo Masci; Yi Zhang; Paul L Jones; José Creissac Campos ;
PUBLICAÇÃO: 2019, FONTE: SIGBED Rev., VOLUME: 16, NÚMERO: 2, PÁGINAS: 24-30
INDEXADO EM: Scopus DBLP CrossRef: 6
512
TÍTULO: An Adequate While-Language for Hybrid Computation
AUTORES: Goncharov, S; Neves, R ;
PUBLICAÇÃO: 2019, FONTE: 21st International Symposium on Principles and Practice of Declarative Programming (PPDP) in PROCEEDINGS OF THE 21ST INTERNATIONAL SYMPOSIUM ON PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING (PPDP 2019), PÁGINAS: 11:1-11:15
INDEXADO EM: WOS DBLP
513
TÍTULO: An Ontology-Based Recommendation System for Context-Aware Network Monitoring
AUTORES: Ricardo F Silva; Paulo Carvalho ; Solange Rito Lima; Luis Álvarez Sabucedo; Juan M Santos Gago; João Marco C Silva ;
PUBLICAÇÃO: 2019, FONTE: World Conference on Information Systems and Technologies, WorldCIST 2019 in New Knowledge in Information Systems and Technologies - Volume 2, World Conference on Information Systems and Technologies, WorldCIST 2019, Galicia, Spain, 16-19 April, VOLUME: 931, PÁGINAS: 373-384
INDEXADO EM: Scopus DBLP CrossRef: 2
514
TÍTULO: Anomaly Detection and Modeling in 802.11 Wireless Networks  Full Text
AUTORES: Allahdadi, A ; Morla, R ;
PUBLICAÇÃO: 2019, FONTE: JOURNAL OF NETWORK AND SYSTEMS MANAGEMENT, VOLUME: 27, NÚMERO: 1, PÁGINAS: 3-38
INDEXADO EM: Scopus WOS DBLP CrossRef: 9
515
TÍTULO: BISEN: Efficient Boolean Searchable Symmetric Encryption with Verifiability and Minimal Leakage  Full Text
AUTORES: Bernardo Ferreira; Bernardo Portela ; Tiago Oliveira ; Guilherme Borges ; Henrique João L Domingos; João Leitão;
PUBLICAÇÃO: 2019, FONTE: SRDS, PÁGINAS: 103-112
INDEXADO EM: Scopus DBLP CrossRef: 3
516
TÍTULO: Combining Advantages from Parameters in Modeling and Control of Discrete Event Systems
AUTORES: Luiz Fernando Puttow Southier; Muriel Mazzetto; Dalcimar Casanova; Marco A C Barbosa; Luís Soares Barbosa ; Marcelo Teixeira;
PUBLICAÇÃO: 2019, FONTE: ETFA, VOLUME: 2019-September, PÁGINAS: 370-377
INDEXADO EM: Scopus DBLP CrossRef: 1
517
TÍTULO: Concurrency Debugging with MaxSMT
AUTORES: Terra Neves, M; Machado, N ; Lynce, I ; Manquinho, V;
PUBLICAÇÃO: 2019, FONTE: 33rd AAAI Conference on Artificial Intelligence / 31st Innovative Applications of Artificial Intelligence Conference / 9th AAAI Symposium on Educational Advances in Artificial Intelligence in THIRTY-THIRD AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE / THIRTY-FIRST INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE / NINTH AAAI SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE, PÁGINAS: 1608-+
INDEXADO EM: WOS DBLP
518
TÍTULO: Conflict-Free Replicated Data Types CRDTs
AUTORES: Nuno M Preguiça ; Carlos Baquero ; Marc Shapiro;
PUBLICAÇÃO: 2019, FONTE: Encyclopedia of Big Data Technologies, PÁGINAS: 491-500
INDEXADO EM: Scopus DBLP
519
TÍTULO: Coordination of Tasks on a Real-Time OS
AUTORES: Cledou, G ; Proença, J ; Sputh, BHC; Verhulst, E;
PUBLICAÇÃO: 2019, FONTE: 21st IFIP WG 6.1 International Conference on Coordination Models and Languages (COORDINATION,) Held as Part of the 14th International Federated Conference on Distributed Computing Techniques (DisCoTec) in COORDINATION MODELS AND LANGUAGES, COORDINATION 2019, VOLUME: 11533, PÁGINAS: 250-266
INDEXADO EM: Scopus WOS DBLP CrossRef
520
TÍTULO: d'Artagnan: A Trusted NoSQL Database on Untrusted Clouds  Full Text
AUTORES: Rogério Pontes ; Francisco Maia ; Ricardo Vilaça ; Nuno Machado;
PUBLICAÇÃO: 2019, FONTE: SRDS, PÁGINAS: 61-70
INDEXADO EM: Scopus DBLP CrossRef

Results per Page: 20.
Página 26 de 83. Total de resultados: 1641.