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

150 Team Members
Filters -> Year: 2025
501
TÍTULO: Proceedings of the Thirteenth EuroSys Conference, EuroSys 2018, Porto, Portugal, April 23-26, 2018
AUTORES: Rui Oliveira ; Pascal Felber; Charlie C Hu;
PUBLICAÇÃO: 2018, FONTE: EuroSys
INDEXADO EM: DBLP
502
TÍTULO: Programming from metaphorisms
AUTORES: Oliveira, JN ;
PUBLICAÇÃO: 2018, FONTE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 94, PÁGINAS: 15-44
INDEXADO EM: Scopus WOS CrossRef: 3
503
TÍTULO: Property-Based Testing for the Robot Operating System
AUTORES: Andre Santos ; Alcino Cunha ; Nuno Macedo ;
PUBLICAÇÃO: 2018, FONTE: 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), PÁGINAS: 56-62
INDEXADO EM: Scopus WOS DBLP CrossRef
504
TÍTULO: Proposition of an Action Layer for Electrum
AUTORES: Julien Brunel; David Chemouil; Alcino Cunha ; Thomas Hujsa; Nuno Macedo ; Jeanne Tawa;
PUBLICAÇÃO: 2018, FONTE: 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, PÁGINAS: 397-402
INDEXADO EM: Scopus DBLP CrossRef: 2
505
TÍTULO: Qualification offer in EGOV competencies in PALOP-TL
AUTORES: Silva, JMC ; Ramos, LFM; Fonte, V ;
PUBLICAÇÃO: 2018, FONTE: 11th International Conference on Theory and Practice of Electronic Governance, ICEGOV 2018 in ACM International Conference Proceeding Series, PÁGINAS: 308-311
INDEXADO EM: Scopus CrossRef
506
TÍTULO: Qualification offer in EGOV competencies in PALOP-TL
AUTORES: João Marco C Silva ; Luis Felipe Macías Ramos; Victor Fonte ;
PUBLICAÇÃO: 2018, FONTE: Proceedings of the 11th International Conference on Theory and Practice of Electronic Governance, ICEGOV 2018, Galway, Ireland, April 04-06, 2018, PÁGINAS: 308-311
INDEXADO EM: DBLP
507
TÍTULO: Reactive Models for Biological Regulatory Networks
AUTORES: Daniel Figueiredo; Luís Soares Barbosa ;
PUBLICAÇÃO: 2018, FONTE: 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, PÁGINAS: 74-88
INDEXADO EM: Scopus DBLP CrossRef: 3
508
TÍTULO: Run-time heterogeneous-aware power-adaptive scheduling in OpenFOAM
AUTORES: Ribeiro, R; Santos, LP ; Nobrega, JM;
PUBLICAÇÃO: 2018, FONTE: International Conference on High Performance Computing & Simulation (HPCS) in PROCEEDINGS 2018 INTERNATIONAL CONFERENCE ON HIGH PERFORMANCE COMPUTING & SIMULATION (HPCS), PÁGINAS: 390-397
INDEXADO EM: Scopus WOS CrossRef
509
TÍTULO: Runtime verification of autopilot systems using a fragment of MTL-  Full Text
AUTORES: Pedro, AD; Pinto, JS ; Pereira, D; Pinho, LM ;
PUBLICAÇÃO: 2018, FONTE: 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, NÚMERO: 4, PÁGINAS: 379-395
INDEXADO EM: Scopus WOS DBLP CrossRef Handle
510
TÍTULO: Systems and methods for SPIT detection in VoIP: Survey and future directions  Full Text
AUTORES: Muhammad Ajmal Azad; Ricardo Morla ; Khaled Salah;
PUBLICAÇÃO: 2018, FONTE: COMPUTERS & SECURITY, VOLUME: 77, PÁGINAS: 1-20
INDEXADO EM: Scopus WOS DBLP CrossRef: 5
511
TÍTULO: Teaching How to Program using Automated Assessment and Functional Glossy Games (Experience Report)
AUTORES: Almeida, JB ; Cunha, A ; Macedo, N ; Pacheco, H ; Proenca, J ;
PUBLICAÇÃO: 2018, FONTE: 23rd ACM SIGPLAN International Conference on Functional Programming (ICFP) in PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES, VOLUME: 2, NÚMERO: ICFP, PÁGINAS: 82:1-82:17
INDEXADO EM: Scopus WOS DBLP CrossRef: 9
512
TÍTULO: The electrum analyzer: model checking relational first-order temporal specifications
AUTORES: Julien Brunel; David Chemouil; Alcino Cunha ; Nuno Macedo ;
PUBLICAÇÃO: 2018, FONTE: 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, PÁGINAS: 884-887
INDEXADO EM: Scopus DBLP CrossRef: 2
513
TÍTULO: The MAL Interactors Animator: Supporting model validation through animation. Supporting model validation through animation
AUTORES: Jose C Campos ; Nuno Sousa;
PUBLICAÇÃO: 2018, FONTE: 10th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS) in PROCEEDINGS OF THE ACM SIGCHI SYMPOSIUM ON ENGINEERING INTERACTIVE COMPUTING SYSTEMS (EICS'18), PÁGINAS: 11:1-11:7
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
514
TÍTULO: Towards a Simulation-Based Medical Education Platform for PVSio-Web
AUTORES: Silva, C; Campos, JC ;
PUBLICAÇÃO: 2018, FONTE: 1st International Conference on Graphics and Interaction (ICGI) in 2018 1ST INTERNATIONAL CONFERENCE ON GRAPHICS AND INTERACTION (ICGI 2018), PÁGINAS: 1-8
INDEXADO EM: Scopus WOS DBLP CrossRef
516
TÍTULO: TOWARDS ENERGY-AWARE CODING PRACTICES FOR ANDROID  Full Text
AUTORES: João SARAIVA ; HASLab/INESC TEC, University of Minho, Portugal, ; Marco COUTO; Csaba SZABÓ; Dávid NOVÁK; HASLab/INESC TEC, University of Minho, Portugal, ; Department of Computers and Informatics, Faculty of Electrical Engineering and Informatics, Technical University of Košice, Letná 9, 042 00 Košice, Slovak Rep, ; Department of Computers and Informatics, Faculty of Electrical Engineering and Informatics, Technical University of Košice, Letná 9, 042 00 Košice, Slovak Rep, ;
PUBLICAÇÃO: 2018, FONTE: Acta Electrotechnica et Informatica, VOLUME: 18, NÚMERO: 1, PÁGINAS: 19-25
INDEXADO EM: CrossRef: 1
517
TÍTULO: Towards Verified Handwritten Calculational Proofs
AUTORES: Alexandra Mendes ; Joao F Ferreira;
PUBLICAÇÃO: 2018, FONTE: 9th International Conference on Interactive Theorem Proving (ITP) Held as Part of the Federated Logic Conference (FloC) in INTERACTIVE THEOREM PROVING, ITP 2018, VOLUME: 10895, PÁGINAS: 432-440
INDEXADO EM: WOS DBLP
518
TÍTULO: Transforming Legal Documents for Visualization and Analysis
AUTORES: Nuno Ramos Carvalho; Luís Soares Barbosa ;
PUBLICAÇÃO: 2018, FONTE: 11th International Conference on Theory and Practice of Electronic Governance, ICEGOV 2018 in Proceedings of the 11th International Conference on Theory and Practice of Electronic Governance, ICEGOV 2018, Galway, Ireland, April 04-06, 2018, PÁGINAS: 23-26
INDEXADO EM: Scopus DBLP CrossRef: 1
519
TÍTULO: Validating the Hybrid ERTMS/ETCS Level 3 Concept with Electrum
AUTORES: Alcino Cunha ; Nuno Macedo ;
PUBLICAÇÃO: 2018, FONTE: 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, PÁGINAS: 307-321
INDEXADO EM: Scopus DBLP CrossRef: 12
520
TÍTULO: 2017 Wireless Days, Porto, Portugal, March 29-31, 2017
AUTORES: Manuel Ricardo ; Rui Campos; José Ruela; Ricardo Morla ; Filipe Teixeira; Luís Pessoa ; Henrique Salgado;
PUBLICAÇÃO: 2017, FONTE: Wireless Days
INDEXADO EM: DBLP

Results per Page: 20.
Página 26 de 75. Total de resultados: 1499.