???global.info.a_carregar???
DAVID MIGUEL RAMALHO PEREIRA. Completed the Doutoramento in MAP-i Doctoral Program in Computer Science: Universities of Minho, Aveiro, and Porto in 2013 by Universidade do Porto Faculdade de Ciências, Doutoramento in MAP-i Doctoral Program in Computer Science: Universities of Minho, Aveiro, and Porto in 2013 by Universidade do Minho, Mestrado in Mestrado em Informática in 2007 by Universidade do Porto Faculdade de Ciências and Licenciatura in Licenciatura em Ciência de Computadores - Ramos Científico in 2003 by Universidade do Porto Faculdade de Ciências. Is Auxiliary Researcher in Instituto Politécnico do Porto Instituto Superior de Engenharia do Porto, Invited Assistant Professor in Universidade do Porto Faculdade de Ciências and Principal Investigator in CoLAB VORTEX. Published 8 articles in journals. Has 2 section(s) of books and 4 book(s). Organized 6 event(s). Supervised 1 PhD thesis(es). Supervised 2 MSc dissertation(s) e co-supervised 1. Has received 2 awards and/or honors. Participates and/or participated as Other in 3 project(s), PhD Student Fellow in 2 project(s), Principal investigator in 1 project(s) and Research Fellow in 4 project(s). Works in the area(s) of Exact Sciences with emphasis on Computer and Information Sciences with emphasis on Computer Sciences, Exact Sciences with emphasis on Computer and Information Sciences with emphasis on Computer Sciences and Exact Sciences with emphasis on Computer and Information Sciences. In his curriculum Ciência Vitae the most frequent terms in the context of scientific, technological and artistic-cultural output are: Tools; Automata; Analytical models; Safety; System recovery; Complex systems; Model checking; Runtime verification; Metric temporal logic; Durations; Resource model; Hard real time system; Polynomial inequality; Schedulability analysis; Real-time systems; Resource models; Timed temporal logic; Ciências Naturais::Ciências da Computação e da Informação; Science & Technology; Concurrency control; Multi-threading; Program verification; Resource allocation; IEC 61499; Industrial automation; Run-Time Monitoring; Run-Time Verification; Safety Critical Systems; Ada; Monitors; Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática; Schedulability Analysis; Real-time Systems; Temporal logic; Compositional; Hard Real-Time Systems; Embedded Systems; Formal Verification; Concurrent Real-time Systems; Ciências da computação e da informação; Computer and information sciences; Ciências exactas e naturais::Ciências da computação e da informação; Natural sciences::Computer and information sciences; Cyber-Physical Systems; Runtime Verification; Wireless Sensor Networks; Automotive; Smart Farming; Avionics; Domain Specific Languages; Cybersecurity; Deductive Verification; Static Verification; Functional Programming; Formal Logic; Verification & Validation; Concurrency; Real-Time Systems; Kleene Algebra; Kleene Algebra with Tests; autonomous systems; verification & validation; multicore processors; Computer Science and Engineering - Computer Science; computation complexity; satisfiability modulo theor; SPARK; cryptography; compilers; decision procedures; High-Performance Computing; Computing Systems Architectures; Reliable Software; Programming Languages; Industry4.0; Smart Cities; Multicore Systems; Mixed-Criticalities; Ciências da Computação e Inteligência Artificial; Robótica e Sistemas Ciber-Físicos; Computação Sustentável; Materiais; Fabrico e Serviços Inteligentes; Sistemas de Tempo Real; Sistemas Computacionais Embebidos; Sistemas Cíber-Físicos; Redes de Sensores sem Fios; Sistema Embebidos; Verificação Formal e Proof Carrying Code; Sistema de Tipos e Analise Estáticas de Programas ; Desenho de Linguagens e Compilação; .
Ler resumo completo ↓
Identificação

Identificação pessoal

Nome completo
DAVID MIGUEL RAMALHO PEREIRA

Nomes de citação

  • PEREIRA, DAVID

Identificadores de autor

Ciência ID
2514-CB51-2E9A
ORCID iD
0000-0002-7561-6649
Google Scholar ID
https://scholar.google.com/citations?user=4880402638920338091=en&authuser=1&user=Xmuoc_IAAAAJ
Researcher Id
M-4220-2016
Scopus Author Id
56185089900

Endereços de correio eletrónico

  • david.pereira@vortex-colab.com (Profissional)
  • david.pereira@vortex-colab.com (Profissional)

Moradas

  • CISTER Research Unit ISEP/IPP. Rua Dr. António Bernardino de Almeida 431, 4200-072 , Porto, Porto, Portugal (Profissional)

Websites

  • www.vortex-colab.com (Profissional)

Domínios de atuação

  • Ciências Exatas - Ciências da Computação e da Informação - Ciências da Computação
  • Ciências Exatas - Ciências da Computação e da Informação - Ciências da Computação
  • Ciências Exatas - Ciências da Computação e da Informação

Idiomas

Idioma Conversação Leitura Escrita Compreensão Peer-review
Português Utilizador proficiente (C1) Utilizador proficiente (C1) Utilizador proficiente (C1) Utilizador proficiente (C1)
Inglês Utilizador proficiente (C1) Utilizador proficiente (C1) Utilizador proficiente (C1) Utilizador proficiente (C1)
Formação
Grau Classificação
2013
Concluído
 MAP-i Doctoral Program in Computer Science: Universities of Minho, Aveiro, and Porto (Doutoramento)
Universidade do Porto Faculdade de Ciências, Portugal

Universidade do Minho, Portugal
"Towards Certified Logics for the Verification of Imperative Programs" (TESE/DISSERTAÇÃO)
 Aprovado com Distinção
2007
Concluído
 Mestrado em Informática (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
"Modelação Lógica de Agentes BDI Dotados de Emoções Artificiais" (TESE/DISSERTAÇÃO)
 Muito Bom
2003
Concluído
 Licenciatura em Ciência de Computadores - Ramos Científico (Licenciatura)
Universidade do Porto Faculdade de Ciências, Portugal
"n/a" (TESE/DISSERTAÇÃO)
 14
Percurso profissional

Ciência

Categoria Profissional
Instituição de acolhimento 		Empregador
2024/09/27 - Atual Investigador principal (carreira) (Investigação) CoLAB VORTEX, Portugal
CoLAB VORTEX, Portugal
2019/02/01 - Atual Investigador Auxiliar (carreira) (Investigação) Instituto Politécnico do Porto Instituto Superior de Engenharia do Porto, Portugal
Research Centre on Real-Time Embedded Computing Systems, Portugal
2014 - 2019 Gestão de Ciência e Tecnologia Instituto Politécnico do Porto Instituto Superior de Engenharia do Porto, Portugal
Instituto Politécnico do Porto Centro de Investigação em Sistemas Computacionais Embebidos e de Tempo-Real, Portugal
2013/04/15 - 2014/01/31 Pós-doutorado (Investigação) Instituto Politécnico do Porto Instituto Superior de Engenharia do Porto, Portugal
Research Centre on Real-Time Embedded Computing Systems, Portugal

Docência no Ensino Superior

Categoria Profissional
Instituição de acolhimento 		Empregador
2023/09 - Atual Professor Auxiliar Convidado (Docente Universitário) Universidade do Porto Faculdade de Ciências, Portugal
Universidade do Porto Faculdade de Ciências, Portugal
2017/03/01 - 2022 Professor Adjunto Convidado (Docente Ensino Superior Politécnico) Instituto Politécnico do Porto Instituto Superior de Engenharia do Porto, Portugal
Instituto Politécnico do Porto Instituto Superior de Engenharia do Porto, Portugal
2013 - 2014 Professor Auxiliar Convidado (Docente Universitário) Universidade do Porto Faculdade de Ciências, Portugal
2010/09/01 - 2011/07/01 Assistente convidado (Docente Ensino Superior Politécnico) Instituto Politécnico do Porto Instituto Superior de Engenharia do Porto, Portugal
Instituto Politécnico do Porto Instituto Superior de Engenharia do Porto, Portugal
2003/09/01 - 2008/07/01 Monitor (Docente Universitário) Universidade do Porto Faculdade de Ciências, Portugal
Universidade do Porto Faculdade de Ciências, Portugal

Cargos e Funções

Categoria Profissional
Instituição de acolhimento 		Empregador
2019 - 2024 Member of the Scientific Council CoLAB VORTEX, Portugal

Outros

Categoria Profissional
Instituição de acolhimento 		Empregador
2018 - 2024/07 Member of the Board of Directors Instituto Politécnico do Porto Centro de Investigação em Sistemas Computacionais Embebidos e de Tempo-Real, Portugal
Instituto Politécnico do Porto Instituto Superior de Engenharia do Porto, Portugal
Projetos

Bolsa

Designação Financiadores
2021/01 - 2025/12 Laboratório Associado de Sistemas Inteligentes
168241UID
LA/P/0104/2020
10.54499/LA/P/0104/2020
Instituto Politécnico do Porto Centro de Investigação em Sistemas Computacionais Embebidos e de Tempo-Real, Portugal

Universidade Nova de Lisboa Centro de Tecnologias e Sistemas, Portugal

Universidade de Aveiro Centro de Tecnologia Mecânica e Automação, Portugal

Universidade do Porto Faculdade de Ciências, Portugal

Universidade do Minho, Portugal

Universidade do Porto Centro de Matemática, Portugal

Universidade do Porto Laboratório de Inteligência Artificial e Ciência de Computadores, Portugal

Universidade Nova de Lisboa, Portugal

Universidade do Minho Centro ALGORITMI, Portugal

Universidade do Minho Instituto de Polímeros e Compósitos, Portugal

Universidade de Aveiro, Portugal

Universidade de Aveiro Instituto de Engenharia Eletrónica e Informática de Aveiro, Portugal

Universidade Nova de Lisboa Unidade de Investigação e Desenvolvimento em Engenharia Mecânica e Industrial, Portugal

Instituto Politécnico do Porto Instituto Superior de Engenharia do Porto, Portugal

Universidade de Coimbra Departamento de Engenharia Civil, Portugal

Universidade de Coimbra, Portugal

Instituto Politécnico do Porto Grupo de Investigação em Engenharia e Computação Inteligente para a Inovação e o Desenvolvimento, Portugal

Instituto Politécnico do Cávado e do Ave, Portugal

Universidade do Porto Faculdade de Engenharia, Portugal
Fundação para a Ciência e a Tecnologia
Em curso
2020 - 2023 VALU3S - Verification and Validation of Automated Systems’ Safety and Security
ECSEL JU Grant nr. 876852
Outra
Research Centre on Real-Time Embedded Computing Systems, Portugal

RISE Research Institutes of Sweden AB, Suécia
EU Framework Programme for Research and Innovation Euratom

Fundação para a Ciência e a Tecnologia
Em curso
2016/04 - 2019/06 SafeCOP - Safe Cooperating Cyber-Physical Systems using Wireless Communication
ECSEL JU Grant nr. 692529-2 ECSEL/0002/2015
Bolseiro de Investigação
Research Centre on Real-Time Embedded Computing Systems, Portugal
 EU Framework Programme for Research and Innovation Euratom

Fundação para a Ciência e a Tecnologia
Concluído
2016/05 - 2019/05 ENABLE-S3 - European Initiative to Enable Validation for Highly Automated Safe and Secure Systems
ECSEL JU Grant nr. 692455-2 ECSEL/0006/2015
Bolseiro de Investigação
Research Centre on Real-Time Embedded Computing Systems, Portugal
 EU Framework Programme for Research and Innovation Euratom

Fundação para a Ciência e a Tecnologia
Concluído
2014/04 - 2017/06 EMC² - Embedded multi-core systems for mixed criticality applications in dynamic and changeable real-time environments
JU grant nr. 621429 | ARTEMIS/0001/2013
Bolseiro de Investigação
Research Centre on Real-Time Embedded Computing Systems, Portugal
 Fundação para a Ciência e a Tecnologia

Artemis Industry Association
Concluído
2013/05 - 2016/04 CONCERTO - Guaranteed Component Assembly with Round Trip Analysis for Energy Efficient High-integrity Multi-core Systems
JU grant nr. 333053 ARTEMIS/0003/2012
Bolseiro de Investigação
Research Centre on Real-Time Embedded Computing Systems, Portugal
 Fundação para a Ciência e a Tecnologia

Artemis Industry Association
Concluído
2011/02 - 2014/06 Virtual Processor-based Multicore Scheduling (ViPCore)
grant.Provided by PTCRIS: 111799
 Stichting Weten
2010/05/01 - 2013 CANTE: Descriptional and computational complexity of formal languages
info:eu-repo/grantAgreement/FCT/5876-PPCDTI/101904/PT
Bolseiro de Doutoramento
Universidade do Porto Faculdade de Ciências, Portugal
 Fundação para a Ciência e a Tecnologia
Concluído
2010/02/01 - 2013 FAVAS: A FormAl Verification PlAtform for real-time Systems
info:eu-repo/grantAgreement/FCT/3599-PPCDT/105034/PT
Bolseiro de Doutoramento
Universidade do Algarve Faculdade de Ciências e Tecnologia
Concluído
2008/01 - 2011/03 RESCUE, REliable and Safe Code execUtion for Embedded systems
grant.Provided by PTCRIS: 65862
 Stichting Weten

Projeto

Designação Financiadores
2022 - 2025 Route 25 - Agenda for Autonomous, Intelligent, Interoperable and Inclusive Mobility
02/C05-i01.01/2022.PC645463824-00000063
ISEP Responsible
Instituto Politécnico do Porto Instituto Superior de Engenharia do Porto, Portugal
 Agência para a Competitividade e Inovação IP
Em curso
2021 - 2025 Aero.Next Portugal
02/C05-i01.01/2022.PC645727867-00000066
Member of ISEP team
CEiiA, Portugal
 Agência para a Competitividade e Inovação IP
Em curso
2018/06 - 2021/05 Secure Runtime Verification for Reliable Real-Time Embedded Software
PTDC/EEI-COM/28550/2017
Investigador responsável
Research Centre on Real-Time Embedded Computing Systems, Portugal
 Fundação para a Ciência e a Tecnologia
Em curso
2019/01/01 - 2019/12/31 Centro de Investigação em Sistemas Computacionais Embebidos e de Tempo-Real
UID/CEC/04234/2019
Instituto Politécnico do Porto Centro de Investigação em Sistemas Computacionais Embebidos e de Tempo-Real, Portugal

Instituto Politécnico do Porto Instituto Superior de Engenharia do Porto, Portugal
Fundação para a Ciência e a Tecnologia
Concluído
2014/04/01 - 2017/06/30 Embedded multi-core systems for mixed criticality applications in dynamic and changeable real-time environments
ARTEMIS/0001/2013
Instituto Politécnico do Porto Instituto Superior de Engenharia do Porto, Portugal
 Fundação para a Ciência e a Tecnologia
Concluído
2008/01/01 - 2011/03/31 RESCUE, Execução Fiável e Segura de Programas em Sistemas Embebidos
PTDC/EIA/65862/2006
Universidade do Minho, Portugal

Universidade do Porto Faculdade de Ciências, Portugal

Universidade da Beira Interior, Portugal

Universidade do Porto Laboratório de Inteligência Artificial e Ciência de Computadores, Portugal

Instituto Politécnico do Porto Instituto Superior de Engenharia do Porto, Portugal
Fundação para a Ciência e a Tecnologia
Concluído
Produções

Publicações

Artigo em conferência
  1. andré de matos pedro; Martin Leucker; PEREIRA, DAVID; Jorge Sousa Pinto. "Real-time MTL with durations as SMT with applications to schedulability analysis". Trabalho apresentado em TASE 2020 - The 14th International Symposium on Theoretical Aspects of Software Engineering, Hangzhou, 2020.
    Aceite para publicação
  2. Nandi, G.S.; Pereira, D.; Vigil, M.; Moraes, R.; Morales, A.S.; Araujo, G.. "Security in wireless sensor networks: A formal verification of protocols". 2019.
    10.1109/INDIN41052.2019.8972080
  3. PEREIRA, DAVID. "Formal Verification of AADL Models Using UPPAAL". 2017.
    10.1109/SBESC.2017.22
  4. Kochanthara, S.; Nelissen, G.; Pereira, D.; Purandare, R.. "REVERT: Runtime Verification for Real-Time Systems". 2017.
    10.1109/RTSS.2016.044
  5. Blech, J.O.; Lindgren, P.; Pereira, D.; Vyatkin, V.; Zoitl, A.. "A Comparison of Formal Verification Approaches for IEC 61499". 2016.
    10.1109/ETFA.2016.7733636
  6. Pereira, David; Pinho, Luís Miguel; Lindgren, Per; Lindner, Marcus; Lindgren, P.; Lindner, M.; Pereira, D.; Pinho, L.M.. "Towards Certified Compilation of RTFM-core Applications". 2016.
    10.1109/ETFA.2016.7733551
  7. Pedro, André; Pereira, David; Pinho, Luís Miguel; Sousa Pinto, Jorge; Pedro, André Matos; Pinto, Jorge Sousa. "SMT-based Schedulability Analysis using RMTL- R". 2016.
    10.1145/3166227.3166234
  8. Pereira, David; Pinho, Luís Miguel; Lindgren, Per; Lindner, Marcus; Lindgren, P.; Lindner, M.; Pereira, D.; Pinho, L.M.. "Contract Based Verification of IEC 61499". 2016.
    10.1109/INDIN.2016.7819147
  9. Lindgren, P.; Fresk, E.; Lindner, M.; Lulea, A.L.; Pereira, D.; Pinho, L.M.. "Abstract Timers and their Implementation onto the ARM Cortex-M family of MCUs". 2015.
  10. Lindgren, P.; Lindner, M.; Pereira, D.; Pinho, L.M.. "A Formal Perspective on IEC 61499 Execution Control Chart Semantics". 2015.
    10.1109/Trustcom.2015.647
  11. Lindgren, P.; Eriksson, J.; Lindner, M.; Lindner, A.; Pereira, D.; Pinho, L.M.. "Response time for IEC 61499 over Ethernet". 2015.
    10.1109/INDIN.2015.7281907
  12. Lindgren, P.; Lindner, M.; Lindner, A.; Pereira, D.; Pinho, L.M.. "RTFM-core: Language and implementation". 2015.
    10.1109/ICIEA.2015.7334252
  13. Lindgren, P.; Lindner, M.; Lindner, A.; Vyatkin, V.; Pereira, D.; Pinho, L.M.. "A real-time semantics for the IEC 61499 standard". 2015.
    10.1109/ETFA.2015.7301558
  14. Lindgren, P.; Lindner, M.; Lindner, A.; Pereira, D.; Pinho, L.M.. "Well-formed control flow for critical sections in RTFM-core". 2015.
    10.1109/INDIN.2015.7281944
  15. Nelissen, Geoffrey; Pereira, David; Pinho, Luís Miguel. "A Novel Run-Time Monitoring Architecture for Safe and Efficient Inline Monitoring". 2015.
  16. Nelissen, Geoffrey; Pereira, David; Pinho, Luís Miguel. "Run-time Monitoring Architecture for RealTime Systems". 2015.
  17. PEREIRA, DAVID. "Deciding regular expressions (in-)equivalence in Coq". 2012.
    10.1007/978-3-642-33314-9_7
  18. PEREIRA, DAVID. "Partial derivative automata formalized in coq". 2011.
    10.1007/978-3-642-18098-9_7
  19. PEREIRA, DAVID. "Formal modelling of emotions in BDI agents". 2008.
    10.1007/978-3-540-88833-8-4
  20. PEREIRA, DAVID. "Towards an Architecture for Emotional BDI Agents". 2005.
    10.1109/EPIA.2005.341262
Artigo em revista
  1. Giann Spilere Nandi; David Pereira; José Proença; Eduardo Tovar; Antonio Rodriguez; Pablo Garrido. "Secure integration of extremely resource-constrained nodes on distributed ROS2 applications". Open Research Europe (2023): https://doi.org/10.12688/openreseurope.16108.1.
    10.12688/openreseurope.16108.1
  2. Li, K.; Ni, W.; Emami, Y.; Shen, Y.; Severino, R.; Pereira, D.; Tovar, E.. "Design and implementation of secret key agreement for platoon-based vehicular cyber-physical systems". ACM Transactions on Cyber-Physical Systems 4 2 (2019): http://www.scopus.com/inward/record.url?eid=2-s2.0-85075638537&partnerID=MN8TOARS.
    10.1145/3365996
  3. de Matos Pedro, A.; Pinto, J.S.; Pereira, D.; Pinho, L.M.; Pedro, André de Matos; Sousa Pinto, Jorge; Pereira, David; et al. "Runtime verification of autopilot systems using a fragment of MTL-¿". International Journal on Software Tools for Technology Transfer (2017): 1-17. http://www.scopus.com/inward/record.url?eid=2-s2.0-85028004115&partnerID=MN8TOARS.
    10.1007/s10009-017-0470-5
  4. Lindgren, P.; Eriksson, J.; Lindner, M.; Lindner, A.; Pereira, D.; Pinho, L.M.. "End-to-End Response Time of IEC 61499 Distributed Applications over Switched Ethernet". IEEE Transactions on Industrial Informatics 13 1 (2017): 287-297. http://www.scopus.com/inward/record.url?eid=2-s2.0-85013444377&partnerID=MN8TOARS.
    10.1109/TII.2016.2626463
  5. Moreira, N.; Pereira, D.; Melo De Sousa, S.. "Deciding Kleene algebra terms equivalence in Coq". Journal of Logical and Algebraic Methods in Programming 84 3 (2015): 377-401. http://www.scopus.com/inward/record.url?eid=2-s2.0-84938689336&partnerID=MN8TOARS.
    10.1016/j.jlamp.2014.12.004
  6. Pedro, André; Pereira, David; Pinho, Luís Miguel; Pinto, Jorge Sousa; Pedro, André Matos. "Logic-based schedulability analysis for compositional hard real-time embedded systems". (2015): http://hdl.handle.net/10400.22/6816.
    10.1145/2752801.2752808
  7. Lindgren, P.; Eriksson, J.; Lindner, M.; Pereira, D.; Pinho, L.M.. "RTFM-lang static semantics for systems with mixed criticality". Ada User Journal 35 2 (2014): 128-132. http://www.scopus.com/inward/record.url?eid=2-s2.0-84905508995&partnerID=MN8TOARS.
  8. PEREIRA, DAVID. "KAT and PHL in Coq". Computer Science and Information Systems (2008): http://www.scopus.com/inward/record.url?eid=2-s2.0-70349671339&partnerID=40&md5=5e8df62f3ae4d24941a6f93aefea20f8.
    10.2298/CSIS0802137P
Capítulo de livro
  1. José Proença; Sina Borrami; Jorge Sanchez de Nova; David Pereira; Giann Spilere Nandi. "Verification of Multiple Models of a Safety-Critical Motor Controller in Railway Systems". 83-94. Springer International Publishing, 2022.
    10.1007/978-3-031-05814-1_6
  2. Rooker, M.; López, J. F.; Horstrand, P.; Pusenius, M.; Leppälampi, T.; Lattarulo, R.; Pérez, J.; et al. "Validation of Automated Farming". In Validation and Verification of Automated Systems, 271-295. Springer International Publishing, 2019.
    Publicado • 10.1007/978-3-030-14628-3_20
Livro
  1. Nelissen, G.; Pereira, D.; Pinho, L.M.. A novel run-time monitoring architecture for safe and efficient inline monitoring. 2015.
    10.1007/978-3-319-19584-1_5
  2. Pedro, A.M.; Pereira, D.; Pinho, L.M.; Pinto, J.S.. Monitoring for a decidable fragment of mtl-¿. 2015.
    10.1007/978-3-319-23820-3_11
  3. De Matos Pedro, A.; Pereira, D.; Pinho, L.M.; Pinto, J.S.; Pedro, André Matos; Pereira, David; Pinho, Luís Miguel; Pinto, Jorge Sousa. Towards a runtime verification framework for the Ada programming language. Springer. 2014.
    10.1007/978-3-319-08311-7_6
  4. De Matos Pedro, A.; Pereira, D.; Pinho, L.M.; Pinto, J.S.; Pedro, André Matos; Pereira, David; Pinho, Luís Miguel; Pinto, Jorge Sousa. A compositional monitoring framework for hard real-time systems. Springer. 2014.
    10.1007/978-3-319-06200-6_2
Tese / Dissertação
  1. David Miguel Ramalho Pereira. "Towards certified program logics for the verification of imperative programs". Doutoramento, 2013. https://hdl.handle.net/10216/67898.

Outros

Outra produção
  1. A Novel Runtime Monitoring Architecture. Computing architectures become more and more complex and sometimes unpredictable. Verification techniques showed their limit, essentially when timing properties, available only at run-time, are involved. Testing improves the confidence but does not prove the correctness of the system in all possible situations.. Poster presented in 28th GI/ITG International Conference on Architecture of Computing. 2015. Nelissen, Geoffrey; Pereira, David; Pinho, Luís Miguel. http://hdl.handle.net/10400.22/6890.
  2. Towards specification and verification frameworks for concurrent real-time systems. 2012. Pereira, David; Pedro, André Matos; Pinho, Luís Miguel; Pinto, Jorge Sousa. http://hdl.handle.net/1822/35225.
Atividades

Orientação

Título / Tema
Papel desempenhado 		Curso (Tipo)
Instituição / Organização
2019 - Atual Towards the design of a DSL to enable the secure Runtime Monitoring and Verification of Safety-Critical CPS
Orientador de Giann Carlos Nandi
 Doctoral Program in Electrical and Computer Engineering (Doutoramento)
Universidade do Porto Faculdade de Engenharia, Portugal

Research Centre on Real-Time Embedded Computing Systems, Portugal
2019 - 2020 A Framework for the RuntimeMonitoring and Verification ofDistributed Automated Cyber-PhysicalSystems using ROS
Orientador
 Engenharia Eletrotécnica e de Computadores (Mestrado)
Universidade do Porto Faculdade de Engenharia, Portugal
2015 - 2018 Verificação Formal de Programas com SPARK2014
Orientador
 Engenharia Informática (Mestrado)
Instituto Politécnico do Porto Instituto Superior de Engenharia do Porto, Portugal
2015/06/01 - 2016/11/01 REVERT: Runtime Verification for Real-Time Systems
Coorientador de Sangeeth Nila
 Master of Technolgy in Computer Science (Mestrado)
Indraprastha Institute of Information Technology Delhi, Índia

Organização de evento

Nome do evento
Tipo de evento (Tipo de participação) 		Instituição / Organização
2018 - Atual Member of the Local Organization of CPS Week 2018 (2018)
Conferência (Outra)
 Research Centre on Real-Time Embedded Computing Systems, Portugal

Instituto Politécnico do Porto Instituto Superior de Engenharia do Porto, Portugal

Universidade do Porto Faculdade de Engenharia, Portugal
2024/06/24 - 2034/06/24 2nd International Workshop on Verification & Validation of Dependable Cyber-Physical Systems - VERDI 2024, colocated with DSN 2024 (2024/06/24 - 2024/06/24)
Oficina (workshop) (Coorganizador)
 Instituto Politécnico do Porto Centro de Investigação em Sistemas Computacionais Embebidos e de Tempo-Real, Portugal

RISE Research Institutes of Sweden AB, Suécia
2023/06/27 - 2023/06/27 1st International Workshop on Verification & Validation of Dependable Cyber-Physical Systems - VERDI 2023, colocated with DSN 2023 (2023/06/27 - 2023/06/27)
Oficina (workshop) (Coorganizador)
 Instituto Politécnico do Porto Centro de Investigação em Sistemas Computacionais Embebidos e de Tempo-Real, Portugal

RISE Research Institutes of Sweden AB, Suécia
2014 - 2023 Co-Organizer of CiWork: CISTER Industrial Workshop on Real-Time and Embedded Systems (2014, 2015, 2016,2023). (2014 - 2023)
Oficina (workshop) (Coorganizador)
 Research Centre on Real-Time Embedded Computing Systems, Portugal

Instituto Politécnico do Porto Instituto Superior de Engenharia do Porto, Portugal
2018/06/18 - 2018/06/22 Workshop & Tutorial Chair of Ada Europe 2018: 23rd International Conference on Reliable Software Technologies (2018/06/18 - 2018/06/22)
Conferência (Membro da Comissão Organizadora)
 Universidade de Lisboa Faculdade de Ciências, Portugal
2015/03/24 - 2015/03/27 Industrial Liaison co-Chair of ARCS 2015 - The 28th GI/ITG International Conference on Architecture of Computing Systems (2015/03/24 - 2015/03/27)
Conferência (Membro da Comissão Organizadora)
 Instituto Politécnico do Porto Instituto Superior de Engenharia do Porto, Portugal

Júri de grau académico

Tema
Tipo de participação 		Nome do candidato (Tipo de grau)
Instituição / Organização
2022 High-speed and High-assurance Cryptographic Software
Arguente
 Tiago Oliveira (Doutoramento)
Universidade do Porto Faculdade de Ciências, Portugal
2022 Trustworthy and Robust Intra-Vehicle Communications
Arguente principal
 Patrícia Adelaide Lopes Machado (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
2022 Verification of Distributed Algorithms with the Why3 tool
Arguente principal
 Carla Isabel Novais da Cruz (Mestrado)
Universidade do Minho, Portugal
2022 Formalization of Deep Learning Techniques with the Why3 Proof Platform
Arguente principal
 Márcio Alexandre Mota Sousa (Mestrado)
Universidade do Minho, Portugal
2022 Conversão para Why3 de Formalizações em Coq
Arguente principal
 Bárbara Cardoso Ferreira (Mestrado)
Universidade do Minho, Portugal
2020/11 LOGICAL ACCESS ANALYSIS
Arguente principal
 TONY JORDAN SERRA TEIXEIRA (Mestrado)
Instituto Politécnico do Porto Instituto Superior de Engenharia do Porto, Portugal
2020/11 Plataforma de gestão de uma unidade de I&D
Arguente principal
 NUNO MIGUEL SOUSA SILVA (Mestrado)
Instituto Politécnico do Porto Instituto Superior de Engenharia do Porto, Portugal
2019/11 WebSockets e a sua aplicação no mundo Web
Arguente principal
 PEDRO MANUEL OLIVEIRA ALMEIDA (Mestrado)
Instituto Politécnico do Porto Instituto Superior de Engenharia do Porto, Portugal
2019 Software Criptográfico de Elevado Desempenho e Segurança
Arguente principal
 Pedro Vasco Oliveira Moura (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
2018 Decision Procedure for Synchronous Kleene Algebra
Arguente principal
 Luís Pedro Arrojado da Horta (Mestrado)
Universidade da Beira Interior, Portugal
2018 Well typed embedded program cannot burn
Arguente principal
 Nanikafuako Augusto Lusende André (Mestrado)
Universidade da Beira Interior, Portugal
2016 Monitoring Architecture for Real Time Systems
Arguente principal
 ANDRÉ LOUSA MARQUES (Mestrado)
Universidade da Beira Interior, Portugal
2014/04 Cryptographic library support for a certified compiler
Arguente principal
 Nuno Filipe Trovisco Fernandes (Mestrado)
Universidade do Minho, Portugal
2013/11/28 A Bounded Model Checker for SPARK Programs
Arguente principal
 Cláudio Filipe Belo Da Silva Lourenço (Mestrado)
Universidade do Minho, Portugal

Arbitragem científica em conferência

Nome da conferência Local da conferência
2016/10/20 - Atual WDES 2016 : Workshop on Dependability in Evolving Systems University of Firenze, Los Andes University, Universidade Federal de Alagoas, Universidade Estadual de Campinas
2016/07/04 - Atual VeryComp 2016: International Workshop on Formal to Practical Software Verification and Composition University of L’Aquila, Innopolis University, University of Bologna
2015/10/18 - 2015/10/21 SBAC-PAD 2015: 27th International Symposium on Computer Architecture and High-Performance Computing Federal University of Santa Catarina
2014/09/12 - 2014/09/12 MOD* 2014 : 1st Workshop on Logics and Model-checking for Self-* Systems

Membro de associação

Nome da associação Tipo de participação
2019 - Atual VORTEX-Colab Member of the Scientific Council & CISTER Technical Coordination
Distinções

Outra distinção

2013 Tese de Doutoramento com Distinção
2008 Bolsa de Doutoramento
Fundação para a Ciência e a Tecnologia, Portugal