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

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

150 Team Members
Filters -> Year: 2024
361
TITLE: Testing for Race Conditions in Distributed Systems via SMT Solving
AUTHORS: João Carlos Pereira; Nuno Machado; Jorge Sousa Pinto ;
PUBLISHED: 2020, SOURCE: 14th International Conference on Tests and Proofs, TAP 2020, held as part of Software Technologies: Applications and Foundations, STAF 2020 in Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [postponed], VOLUME: 12165, PAGES: 122-140
INDEXED IN: Scopus DBLP CrossRef
362
TITLE: The Last Mile: High-Assurance and High-Speed Cryptographic Implementations
AUTHORS: Almeida, JB ; Barbosa, M ; Barthe, G ; Gregoire, B; Koutsos, A; Laporte, V; Oliveira, T ; Strub, PY;
PUBLISHED: 2020, SOURCE: 41st IEEE Symposium on Security and Privacy (SP) in 2020 IEEE SYMPOSIUM ON SECURITY AND PRIVACY (SP 2020), VOLUME: 2020-May, PAGES: 965-982
INDEXED IN: Scopus WOS DBLP CrossRef: 22
364
TITLE: Towards a holistic semantic support for context-aware network monitoring
AUTHORS: Paulo Carvalho; Solange Rito Lima; Luis Álvarez Sabucedo; Juan M Santos Gago; João Marco C Silva ;
PUBLISHED: 2020, SOURCE: Computing, VOLUME: 102, ISSUE: 12, PAGES: 2565-2585
INDEXED IN: DBLP
366
TITLE: Towards a register-based census in Oman
AUTHORS: Ali Hussain Al Lawati; Luís Soares Barbosa ;
PUBLISHED: 2020, SOURCE: 13th International Conference on Theory and Practice of Electronic Governance, ICEGOV 2020 in ICEGOV 2020: 13th International Conference on Theory and Practice of Electronic Governance, Athens, Greece, 23-25 September, 2020, PAGES: 823-826
INDEXED IN: Scopus DBLP CrossRef
367
TITLE: Two-level adaptive sampling for illumination integrals using Bayesian Monte Carlo
AUTHORS: Marques, R; Bouville, C; Santos, LP ; Bouatouch, K;
PUBLISHED: 2020, SOURCE: 37th Annual Conference on European Association for Computer Graphics, EUROGRAPHICS 2016 in European Association for Computer Graphics - 37th Annual Conference, EUROGRAPHICS 2016 - Short Papers, PAGES: 65-68
INDEXED IN: Scopus
368
TITLE: Type your matrices for great good: A Haskell library of typed matrices and applications (functional pearl)
AUTHORS: Santos, A; Oliveira, JN ;
PUBLISHED: 2020, SOURCE: 13th ACM SIGPLAN International Symposium on Haskell, Haskell 2020, co-located with ICFP 2020 in Haskell 2020 - Proceedings of the 13th ACM SIGPLAN International Symposium on Haskell, co-located with ICFP 2020, PAGES: 54-66
INDEXED IN: Scopus CrossRef: 2
369
TITLE: Understanding the Impact of Introducing Lambda Expressions in Java Programs
AUTHORS: Walter Lucas Monteiro de Mendonça; José Fortes; Francisco Vitor Lopes; Diego Marcilio; Rodrigo Bonifácio; Edna Dias Canedo; Fernanda Lima; João Saraiva ;
PUBLISHED: 2020, SOURCE: J. Softw. Eng. Res. Dev., VOLUME: 8
INDEXED IN: DBLP
370
TITLE: Unifying Parsing and Reflective Printing for Fully Disambiguated Grammars  Full Text
AUTHORS: Zirun R Zhu; Hsiang Shang Ko; Yongzhe Z Zhang; Pedro Martins; Joao Saraiva ; Zhenjiang J Hu;
PUBLISHED: 2020, SOURCE: NEW GENERATION COMPUTING, VOLUME: 38, ISSUE: 3, PAGES: 423-476
INDEXED IN: Scopus WOS DBLP CrossRef: 1
371
TITLE: Universally Composable Relaxed Password Authenticated Key Exchange
AUTHORS: Michel Abdalla; Manuel Barbosa ; Tatiana Bradley; Stanislaw Jarecki; Jonathan Katz; Jiayu Xu;
PUBLISHED: 2020, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2020, PAGES: 320
INDEXED IN: DBLP
372
TITLE: Universally Composable Relaxed Password Authenticated Key Exchange
AUTHORS: Michel Abdalla; Manuel Barbosa ; Tatiana Bradley; Stanislaw Jarecki; Jonathan Katz; Jiayu Y Xu;
PUBLISHED: 2020, SOURCE: 40th Annual International Cryptology Conference (CRYPTO) in ADVANCES IN CRYPTOLOGY - CRYPTO 2020, PT I, VOLUME: 12170, PAGES: 278-307
INDEXED IN: Scopus WOS DBLP CrossRef: 17
373
TITLE: Validating Multiple Variants of an Automotive Light System with Electrum
AUTHORS: Alcino Cunha ; Nuno Macedo ; Chong Liu;
PUBLISHED: 2020, SOURCE: 7th International Conference on Rigorous State-Based Methods, ABZ 2020 in Rigorous State-Based Methods - 7th International Conference, ABZ 2020, Ulm, Germany, May 27-29, 2020, Proceedings, VOLUME: 12071, PAGES: 318-334
INDEXED IN: Scopus DBLP CrossRef
374
TITLE: Validating the Hybrid ERTMS/ETCS Level 3 concept with Electrum  Full Text
AUTHORS: Alcino Cunha ; Nuno Macedo ;
PUBLISHED: 2020, SOURCE: Int. J. Softw. Tools Technol. Transf., VOLUME: 22, ISSUE: 3, PAGES: 281-296
INDEXED IN: Scopus DBLP CrossRef: 3
375
TITLE: Verification of system-wide safety properties of ROS applications
AUTHORS: Carvalho, R; Cunha, A ; Macedo, N ; Santos, A ;
PUBLISHED: 2020, SOURCE: IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) in 2020 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS (IROS), PAGES: 7249-7254
INDEXED IN: Scopus WOS DBLP CrossRef: 1
376
TITLE: A Case for Dynamically Programmable Storage Background Tasks
AUTHORS: Ricardo Macedo ; Alberto Faria ; Joao Paulo ; Jose Pereira ;
PUBLISHED: 2019, SOURCE: 38th International Symposium on Reliable Distributed Systems (SRDS) in 2019 38TH INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS WORKSHOPS (SRDSW 2019), PAGES: 7-12
INDEXED IN: Scopus WOS DBLP CrossRef: 1
377
TITLE: A generalized program verification workflow based on loop elimination and SA form
AUTHORS: Cláudio Belo Lourenço; Maria João Frade ; Jorge Sousa Pinto ;
PUBLISHED: 2019, SOURCE: 7th IEEE/ACM International Workshop on Formal Methods in Software Engineering, FormaliSE 2019 in Proceedings of the 7th International Workshop on Formal Methods in Software Engineering, FormaliSE@ICSE 2019, Montreal, QC, Canada, May 27, 2019., PAGES: 75-84
INDEXED IN: Scopus DBLP CrossRef
378
TITLE: A Generator of User Interface Prototypes for the IVY Workbench
AUTHORS: Joao Miguel Araujo; Rui Couto ; Jose Creissac Campos ;
PUBLISHED: 2019, SOURCE: International Conference on Graphics and Interaction (ICGI) in PROCEEDINGS OF THE 2019 INTERNATIONAL CONFERENCE ON GRAPHICS AND INTERACTION (ICGI 2019), PAGES: 32-39
INDEXED IN: Scopus WOS DBLP CrossRef
379
TITLE: A Machine-Checked Proof of Security for AWS Key Management Service  Full Text
AUTHORS: Almeida, JB ; Barbosa, M ; Barthe, G ; Campagna, M; Cohen, E; Gregoire, B; Pereira, V; Portela, B ; Strub, PY; Tasiran, S;
PUBLISHED: 2019, 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: 63-78
INDEXED IN: Scopus WOS DBLP CrossRef: 14
380
TITLE: A Quantum Algorithm for Ray Casting using an Orthographic Camera
AUTHORS: Alves, C; Santos, LP ; Bashford Rogers, T;
PUBLISHED: 2019, SOURCE: International Conference on Graphics and Interaction (ICGI) in PROCEEDINGS OF THE 2019 INTERNATIONAL CONFERENCE ON GRAPHICS AND INTERACTION (ICGI 2019), PAGES: 56-63
INDEXED IN: Scopus WOS CrossRef: 3

Results per Page: 20.
Page 19 of 75. Total results: 1486.