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

150 Team Members
Filters -> Year: 2024
461
TITLE: Indifferentiable Authenticated Encryption
AUTHORS: Manuel Barbosa ; Pooya Farshim;
PUBLISHED: 2018, SOURCE: 38th Annual International Cryptology Conference (CRYPTO) in ADVANCES IN CRYPTOLOGY - CRYPTO 2018, PT I, VOLUME: 10991, PAGES: 187-220
INDEXED IN: Scopus WOS DBLP CrossRef: 13
462
TITLE: jStanley: placing a green thumb on Java collections
AUTHORS: Rui Pereira ; Pedro Simão; Jácome Cunha ; João Saraiva ;
PUBLISHED: 2018, SOURCE: 33rd IEEE/ACM International Conference on Automated Software Engineering, ASE 2018 in Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, ASE 2018, Montpellier, France, September 3-7, 2018, PAGES: 856-859
INDEXED IN: Scopus DBLP CrossRef: 7
463
TITLE: K-Taint: An Executable Rewriting Logic Semantics for Taint Analysis in the K Framework
AUTHORS: Md. Imran Alam; Raju Halder; Harshita Goswami; Jorge Sousa Pinto ;
PUBLISHED: 2018, SOURCE: 13th International Conference on Evaluation of Novel Approaches to Software Engineering in PROCEEDINGS OF THE 13TH INTERNATIONAL CONFERENCE ON EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING, PAGES: 359-366
INDEXED IN: WOS DBLP CrossRef: 1
464
TITLE: Languages and models for hybrid automata: A coalgebraic perspective  Full Text
AUTHORS: Renato Neves ; Luis S Barbosa ;
PUBLISHED: 2018, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 744, PAGES: 113-142
INDEXED IN: Scopus WOS DBLP CrossRef: 3
465
TITLE: Layered logics, coalgebraically
AUTHORS: Barbosa, LS ;
PUBLISHED: 2018, SOURCE: 1st International Workshop on Dynamic Logic, DALI 2017 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 10669 LNCS, PAGES: 55-63
INDEXED IN: Scopus CrossRef
466
TITLE: Optimized Planning of Different Crops in a Field Using Optimal Control in Portugal  Full Text
AUTHORS: Rui M S Pereira; Sofia Lopes; Amelia Caldeira; Victor Fonte ;
PUBLISHED: 2018, SOURCE: SUSTAINABILITY, VOLUME: 10, ISSUE: 12, PAGES: 4648
INDEXED IN: Scopus WOS CrossRef
467
TITLE: Parallel Polyglot Query Processing on Heterogeneous Cloud Data Stores with LeanXcale
AUTHORS: Boyan Kolev; Oleksandra Levchenko; Esther Pacitti; Patrick Valduriez; Ricardo Vilaça ; Rui C Gonçalves; Ricardo Jiménez Peris; Pavlos Kranas;
PUBLISHED: 2018, SOURCE: IEEE International Conference on Big Data (IEEE BigData 2018), Seattle, WA, USA, December 10-13, 2018, PAGES: 1757-1766
INDEXED IN: DBLP CrossRef
468
TITLE: Permutability in proof terms for intuitionistic sequent calculus with cuts
AUTHORS: Santo, JE; Frade, MJ ; Pinto, L;
PUBLISHED: 2018, SOURCE: 22nd International Conference on Types for Proofs and Programs, TYPES 2016 in Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 97
INDEXED IN: Scopus
469
TITLE: Preference rules for label ranking: Mining patterns in multi-target relations  Full Text
AUTHORS: Claudio Rebelo de Sa ; Paulo Azevedo ; Carlos Soares ; Alipio Mario Jorge ; Arno Knobbe;
PUBLISHED: 2018, SOURCE: INFORMATION FUSION, VOLUME: 40, PAGES: 112-125
INDEXED IN: Scopus WOS DBLP CrossRef: 8
471
TITLE: Proceedings of the Thirteenth EuroSys Conference, EuroSys 2018, Porto, Portugal, April 23-26, 2018
AUTHORS: Rui Oliveira ; Pascal Felber; Charlie C Hu;
PUBLISHED: 2018, SOURCE: EuroSys
INDEXED IN: DBLP
472
TITLE: Programming from metaphorisms
AUTHORS: Oliveira, JN ;
PUBLISHED: 2018, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 94, PAGES: 15-44
INDEXED IN: Scopus WOS CrossRef: 3
473
TITLE: Property-Based Testing for the Robot Operating System
AUTHORS: Andre Santos ; Alcino Cunha ; Nuno Macedo ;
PUBLISHED: 2018, SOURCE: 9th ACM SIGSOFT International Workshop on Automating TEST Case Design, Selection, and Evaluation (A-TEST) in PROCEEDINGS OF THE 9TH ACM SIGSOFT INTERNATIONAL WORKSHOP ON AUTOMATING TEST CASE DESIGN, SELECTION, AND EVALUATION (A-TEST '18), PAGES: 56-62
INDEXED IN: Scopus WOS DBLP CrossRef
474
TITLE: Proposition of an Action Layer for Electrum
AUTHORS: Julien Brunel; David Chemouil; Alcino Cunha ; Thomas Hujsa; Nuno Macedo ; Jeanne Tawa;
PUBLISHED: 2018, SOURCE: 6th International Conference on ABZ Conference on ASM, Alloy, B, TLA, VDM, and Z, ABZ 2018 in Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings, VOLUME: 10817, PAGES: 397-402
INDEXED IN: Scopus DBLP CrossRef: 2
475
TITLE: Qualification offer in EGOV competencies in PALOP-TL
AUTHORS: Silva, JMC ; Ramos, LFM; Fonte, V ;
PUBLISHED: 2018, SOURCE: 11th International Conference on Theory and Practice of Electronic Governance, ICEGOV 2018 in ACM International Conference Proceeding Series, PAGES: 308-311
INDEXED IN: Scopus CrossRef
476
TITLE: Qualification offer in EGOV competencies in PALOP-TL
AUTHORS: João Marco C Silva ; Luis Felipe Macías Ramos; Victor Fonte ;
PUBLISHED: 2018, SOURCE: Proceedings of the 11th International Conference on Theory and Practice of Electronic Governance, ICEGOV 2018, Galway, Ireland, April 04-06, 2018, PAGES: 308-311
INDEXED IN: DBLP
477
TITLE: Reactive Models for Biological Regulatory Networks
AUTHORS: Daniel Figueiredo; Luís Soares Barbosa ;
PUBLISHED: 2018, SOURCE: 1st International Symposium on Molecular Logic and Computational Synthetic Biology, MLCSB 2018 in Molecular Logic and Computational Synthetic Biology - First International Symposium, MLCSB 2018, Santiago, Chile, December 17-18, 2018, Revised Selected Papers, VOLUME: 11415, PAGES: 74-88
INDEXED IN: Scopus DBLP CrossRef: 3
478
TITLE: Run-time heterogeneous-aware power-adaptive scheduling in OpenFOAM
AUTHORS: Ribeiro, R; Santos, LP ; Nobrega, JM;
PUBLISHED: 2018, SOURCE: International Conference on High Performance Computing & Simulation (HPCS) in PROCEEDINGS 2018 INTERNATIONAL CONFERENCE ON HIGH PERFORMANCE COMPUTING & SIMULATION (HPCS), PAGES: 390-397
INDEXED IN: Scopus WOS CrossRef
479
TITLE: Runtime verification of autopilot systems using a fragment of MTL-  Full Text
AUTHORS: Pedro, AD; Pinto, JS ; Pereira, D; Pinho, LM ;
PUBLISHED: 2018, SOURCE: Joint 21st International Workshop on Formal Methods for Industrial Critical Systems (FMICS) / 16th International Workshop on Automated Verification of Critical Systems (AVoCS) in INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, VOLUME: 20, ISSUE: 4, PAGES: 379-395
INDEXED IN: Scopus WOS DBLP CrossRef Handle
480
TITLE: Systems and methods for SPIT detection in VoIP: Survey and future directions  Full Text
AUTHORS: Muhammad Ajmal Azad; Ricardo Morla ; Khaled Salah;
PUBLISHED: 2018, SOURCE: COMPUTERS & SECURITY, VOLUME: 77, PAGES: 1-20
INDEXED IN: Scopus WOS DBLP CrossRef: 5

Results per Page: 20.
Página 24 de 74. Total de resultados: 1463.