???global.info.a_carregar???
JOSÉ MIGUEL PAIVA PROENÇA is an assistant professor at the Faculty of Sciences of the University of Porto, and a researcher at the Research Center in Real-Time & Embedded Computing Systems. His core research targets coordination aspects and formal methods in the context of Cyber-Physical Systems (CPS), including the formal specification and verification of concurrency models and hybrid systems. He is actively involved in a NextGenerationEU project (Route 25) and in an FCT project (IBEX). He currently belongs to the steering committee of 2 international conferences over component-based systems in the area of computer science, and he is organising a workshop on verification and validation of CPS. He recently lead an FCT project, participated in 5 other FCT projects and 3 European projects, chaired the program committee of 8 international research venues with edited proceedings, edited 2 journal volumes, and was the member of 28 program-committees of international venues, reviewed 27+ journals and 42+ publications, and collaborated with 58 researchers for his scientific publications. He graduated from the University of Minho as the best student in Math & Computer Science (2005), and executed his PhD in CWI, Amsterdam - a research institute in the top 28 of Europe and top 83 worldwide (http://research.webometrics.info). He worked on coordination models: models that describe how runtime components can interact with each other under the supervision of Prof. Farhad Arbab. In 2010 he joined KU Leuven University, in Belgium ¿ a university in the top 11 of Europe and top 77 worldwide (same source as above). He continued to work in the coordination field and investigated variability within the HATS European (FP7) project, collaborating mainly with Prof. Dave Clarke. In 2014 he started to collaborate within the Wireless Sensor Group, mainly with Prof. Danny Hughes, where modelling and experimenting with communication models in resource-constraint devices. In 2015 he returned to U.Minho, working as a post-doctoral researcher collaborating with Prof. Luis Barbosa, and taught as an invited assistant professor at U.Minho (2016-1019). In 2019 he joined CISTER and taught as an invited professor at ISEP, Porto, and in 2023 he became an assistant professor at the University of Porto, where he currently works.
Ler resumo completo ↓
Identificação

Identificação pessoal

Nome completo
JOSÉ MIGUEL PAIVA PROENÇA

Nomes de citação

  • PROENÇA, JOSÉ

Identificadores de autor

Ciência ID
2412-FE81-2767
ORCID iD
0000-0003-0971-8919

Moradas

  • CISTER Research Center – ISEP, Rua Dr. António Bernardino de Almeida 431, 4249-015, Porto, Porto, Portugal (Profissional)

Websites

Domínios de atuação

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

Idiomas

Idioma Conversação Leitura Escrita Compreensão Peer-review
Português (Idioma materno)
Inglês Utilizador proficiente (C2) Utilizador proficiente (C2) Utilizador proficiente (C2) Utilizador proficiente (C2) Utilizador proficiente (C2)
Espanhol; Castelhano Utilizador elementar (A2) Utilizador elementar (A2) Utilizador elementar (A1) Utilizador independente (B1) Utilizador elementar (A2)
Francês Utilizador elementar (A2) Utilizador elementar (A2) Utilizador elementar (A2) Utilizador elementar (A2) Utilizador elementar (A2)
Holandês Utilizador elementar (A2) Utilizador elementar (A2) Utilizador elementar (A2) Utilizador elementar (A2) Utilizador elementar (A2)
Russo Utilizador elementar (A2) Utilizador elementar (A2) Utilizador elementar (A2) Utilizador elementar (A2) Utilizador elementar (A2)
Alemão Utilizador elementar (A1) Utilizador elementar (A1) Utilizador elementar (A1) Utilizador elementar (A1) Utilizador elementar (A1)
Formação
Grau Classificação
2006/01/01 - 2011/05/11
Concluído
 Synchronous Coordination of Distributed Components (Doutoramento)
Universiteit Leiden, Países Baixos
"Synchronous Coordination of Distributed Components" (TESE/DISSERTAÇÃO)
2000/09/01 - 2005/10/31
Concluído
 Matemática e Ciências da Computação (Licenciatura)
Universidade do Minho, Portugal
 18/20
Percurso profissional

Ciência

Categoria Profissional
Instituição de acolhimento 		Empregador
2019/02/06 - Atual Investigador Contratado (Investigação) 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
2018/11/01 - 2019/01/31 Investigador Contratado (Investigação) Instituto de Engenharia de Sistemas e Computadores, Portugal
2015/02/01 - 2018/10/31 Pós-doutorado (Investigação) Instituto de Engenharia de Sistemas e Computadores, Portugal
2010/02/01 - 2016/01/31 Pós-doutorado (Investigação) Katholieke Universiteit Leuven, Bélgica
2006/01/01 - 2009/12/31 Investigador (Investigação) Centrum Wiskunde en Informatica, Países Baixos
Centrum Wiskunde en Informatica, Países Baixos
(...)
2005/04/01 - 2005/10/31 Investigador (Investigação) Universidade do Minho, Portugal
Universidade do Minho, Portugal

Docência no Ensino Superior

Categoria Profissional
Instituição de acolhimento 		Empregador
2023/09/20 - Atual Professor Auxiliar (Docente Universitário) Universidade do Porto Faculdade de Ciências, Portugal
Universidade do Porto Faculdade de Ciências, Portugal
2019/09/01 - 2023/09/19 Assistente Convidado (Docente Universitário) Instituto Politécnico do Porto Instituto Superior de Engenharia do Porto, Portugal
2016/02/01 - 2019/03/31 Assistente Convidado (Docente Universitário) Universidade do Minho, Portugal
2012/09/01 - 2015/08/31 Monitor (Docente Universitário) Katholieke Universiteit Leuven Departement Computerwetenschappen, Bélgica
Katholieke Universiteit Leuven Departement Computerwetenschappen, Bélgica
Projetos

Bolsa

Designação Financiadores
2021/01 - 2025/12 Laboratório Associado de Sistemas Inteligentes
168241UID
 Fundação para a Ciência e a Tecnologia
2022/01 - 2024/12 Métodos quantitativos para a programação ciber-física: Uma abordagem precisa para racicionar sobre imprecisões na computação ciber-física
173984PRJ
 Fundação para a Ciência e a Tecnologia
2018/07 - 2022/03 Architecturas Distribuídas: Variabilidade e Interação de Sistemas Ciber-Físicos
151139PRJ
 Fundação para a Ciência e a Tecnologia
2018/06 - 2021/11 Modelação Coalgébrica e Análise para Biologia Sintética Computacional
152173PRJ
 Fundação para a Ciência e a Tecnologia
2019/01 - 2019/12 INESC TEC - INESC Tecnologia e Ciência
154759UID
 Fundação para a Ciência e a Tecnologia
2016/07 - 2019/12 Concepção de Software Confiável usando Alloy
148439PRJ
 Fundação para a Ciência e a Tecnologia
2013/03/01 - 2018/01/30 Adaptable Coordination
SFRH/BPD/91908/2012
Katholieke Universiteit Leuven Departement Computerwetenschappen, Bélgica

Universidade do Minho, Portugal
Fundação para a Ciência e a Tecnologia
Concluído
2013/03 - 2017/02 ADAPTABLE COORDINATION
36027DFA
 Fundação para a Ciência e a Tecnologia
2006/01/01 - 2009/12/31 Synchronous Coordination of Distributed Components
SFRH/BD/22485/2005
Bolseiro de Doutoramento
Universiteit Leiden, Países Baixos
 Fundação para a Ciência e a Tecnologia
Concluído
2006/01 - 2009/12 DEPLOYMENT OF DISTRIBUTED COMPONENT BASED SYSTEMS
17899DFA
 Fundação para a Ciência e a Tecnologia

Projeto

Designação Financiadores
2019/02/06 - Atual REASSURE: Running Secure Runtime Verification for Reliable Real-Time Embedded Software
NORTE-01-0145-FEDER-028550
Bolseiro de Pós-Doutoramento
Instituto Politécnico do Porto Centro de Investigação em Sistemas Computacionais Embebidos e de Tempo-Real, Portugal
 Fundação para a Ciência e a Tecnologia
Em curso
2020/05/01 - 2023/04/30 VALU3S: Verification and Validation of Automated Systems' Safety and Security
ECSEL JU Grant nr. 876852
Bolseiro de Investigação
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
EU Framework Programme for Research and Innovation Future and Emerging Technologies

Fundação para a Ciência e a Tecnologia
Em curso
2018/07/26 - 2021/07/25 DaVinci: Distributed Architectures: Variability and Interaction for Cyber-Physical Systems
PTDC/CCI-COM/29946/2017
Investigador responsável
Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal
 Fundação para a Ciência e a Tecnologia
Em curso
2018/07/26 - 2021/07/25 KLEE: Coalgebraic Modeling and Analysis for Computational Synthetic Biology
POCI-01-0145-FEDER-030947
Investigador Pós-doutorado
Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal

Universidade de Aveiro Centro de Investigação e Desenvolvimento em Matemática e Aplicações, Portugal
Fundação para a Ciência e a Tecnologia
Em curso
2016/04/01 - 2019/03/31 TRUST: Trustworthy Software Design with Alloy
POCI-01-0145-FEDER-016826
Investigador Pós-doutorado
Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal
 Fundação para a Ciência e a Tecnologia
Concluído
2017/01/01 - 2018/06/30 LightKone: Lightweight computation for networks at the edge
732505
Investigador Pós-doutorado
Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal
 Horizon 2020
Em curso

Outro

Designação Financiadores
2022/10/01 - Atual Route 25
TRB/2022/00061 – C645463824-00000063
Investigador
Instituto Politécnico do Porto Centro de Investigação em Sistemas Computacionais Embebidos e de Tempo-Real, Portugal
 Agência para a Competitividade e Inovação IP
Em curso
2022/07/01 - Atual IBEX - Quantitative methods for cyber-physical programming
PTDC/CCI-COM/4280/2021
Investigador
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
Fundação para a Ciência e a Tecnologia
Em curso
2015/01/01 - 2016/12/31 EMD - Elastic Media Distribution for Online Collaboration.
imec.icon/emd2015
Investigador Pós-doutorado
Katholieke Universiteit Leuven, Bélgica
 iMinds

IWT - Agency For Innovation By Science And Technology
Concluído
2014/10/01 - 2015/09/30 TRANSITION - From Ad-Hoc Code Development To Code Reuse Through Middleware For Networked Embedded Control Systems
IOF/kennisplatform/transition2013
Investigador Pós-doutorado
Katholieke Universiteit Leuven, Bélgica
 Katholieke Universiteit Leuven
Concluído
Produções

Publicações

Artigo em conferência
  1. Proença, J; Edixhoven, L. "Caos: A Reusable Scala Web Animator of Operational Semantics". 2023.
  2. ter Beek, MH; Cledou, G; Hennicker, R; Proença, J. "Can We Communicate? Using Dynamic Logic to Verify Team Automata". 2023.
  3. Cledou, G; Edixhoven, L; Jongmans, SS; Proença, J. "API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3". 2022.
    10.4230/lipics.ecoop.2022.27
  4. Jongmans, SS; Proença, J. "ST4MP: A Blueprint of Multiparty Session Typing for Multilingual Programming". 2022.
  5. Bauer, T; Agirre, JA; Furcho, D; Herzner, W; Hruska, B; Karaca, M; Pereira, D; et al. "Cross-domain Modelling of Verification and Validation Workflows in the Large Scale European Research Project VALU3S Invited Paper". 2022.
    10.1007/978-3-031-04580-6_25
  6. Edixhoven, L; Jongmans, SS; Proença, J; Cledou, G. "Branching Pomsets for Choreographies". 2022.
  7. Proença, J; Borrami, S; de Nova, JS; Pereira, D; Nandi, GS. "Verification of Multiple Models of a Safety-Critical Motor Controller in Railway Systems". 2022.
  8. la Vara, JLd; Bauer, T; Fischer, B; Karaca, M; Madeira, H; Matschnig, M; Mazzini, S; et al. "A Proposal for the Classification of Methods for Verification and Validation of Safety, Cybersecurity, and Privacy of Automated Systems". 2021.
    10.1007/978-3-030-85347-1_24
  9. Nandi, Giann Spilere; Pereira, David; Proenca, Jose; Tovar, Eduardo. "Work-In-Progress: a DSL for the safe deployment of Runtime Monitors in Cyber-Physical Systems". Trabalho apresentado em IEEE Real-Time Systems Symposium (RTSS), 2020.
    Publicado • 10.1109/rtss49844.2020.00047
  10. Goncharov, Sergey; Neves, Renato; Proença, José. "Implementing Hybrid Semantics: From Functional to Imperative". Trabalho apresentado em Theoretical Aspects of Computing ¿(ICTAC 2020), 2020.
    Publicado • 10.1007/978-3-030-64276-1_14
  11. Proença, J; Cledou, G. "ARx: Reactive Programming for Synchronous Connectors". 2020.
    10.1007/978-3-030-50029-0_3
  12. Proença, J; Madeira, A. "Taming Hierarchical Connectors". 2019.
    10.1007/978-3-030-31517-7_13
  13. Cledou, G; Proenca, J; Sputh, BHC; Verhulst, E. "Coordination of Tasks on a Real-Time OS". 2019.
    10.1007/978-3-030-22397-7_15
  14. Cruz, R; Proença, J. "ReoLive: Analysing Connectors in Your Browser". 2018.
  15. Almeida, JB; Cunha, A; Macedo, N; Pacheco, H; Proenca, J. "Teaching How to Program using Automated Assessment and Functional Glossy Games (Experience Report)". 2018.
    10.1145/3236777
  16. Halder, R; Proenca, J; Macedo, N; Santos, A. "Formal Verification of ROS-based Robotic Applications using Timed-Automata". 2017.
    10.1109/formalise.2017.9
  17. Cledou, G; Proenca, J; Barbosa, LS. "A Refinement Relation for Families of Timed Automata". 2017.
    10.1007/978-3-319-70848-5_11
  18. Cledou, G; Proenca, J; Barbosa, LS. "Composing Families of Timed Automata". 2017.
    10.1007/978-3-319-68972-2_4
  19. Proenca, J; Baquero, C. "Quality-Aware Reactive Programming for the Internet of Things". 2017.
    10.1007/978-3-319-68972-2_12
  20. Daniels, W; Proenca, J; Clarke, D; Joosen, W; Hughes, D. "Refraction: Low-Cost Management of Reflective Meta-Data in Pervasive Component-Based Applications". 2015.
    10.1145/2737166.2737168
  21. Proença, Jose; Clarke, Dave. "Typed Connector Families". 2015.
    10.1007/978-3-319-28934-2_16
  22. Daniels, W; Proença, J; Matthys, N; Joosen, W; Hughes, D. "Tomography: lowering management overhead for distributed component-based applications". 2015.
    10.1145/2836127.2836128
  23. Ramachandran, GS; Daniels, W; Proença, J; Michiels, S; Joosen, W; Hughes, D; Porter, B. "Hitch Hiker: A Remote Binding Model with Priority Based Data Aggregation for Wireless Sensor Networks". 2015.
    10.1145/2737166.2737179
  24. Muschevici, R.; Clarke, D.; Proença, J.. "Executable modelling of dynamic software product lines in the ABS language". 2013.
    10.1145/2528265.2528266
  25. Proenca, J; Clarke, D. "Data Abstraction in Coordination Constraints". 2013.
    10.1007/978-3-642-45364-9_14
  26. Proenca, J; Clarke, D. "Interactive interaction constraints". 2013.
    10.1007/978-3-642-38493-6_15
  27. Proença, J.; Clarke, D.; De Vink, E.; Arbab, F.. "Dreams: A framework for distributed synchronous coordination". 2012.
    10.1145/2245276.2232017
  28. Patrignani, M.; Matthys, N.; Proenca, J.; Hughes, D.; Clarke, D.. "Formal analysis of policies in wireless sensor network applications". 2012.
    10.1109/sesena.2012.6225728
  29. Jongmans, SungShikT.Q.; Clarke, Dave; Proença, Jose. "A Procedure for Splitting Processes and its Application to Coordination". 2012.
    10.4204/EPTCS.91.6
  30. Clarke, D; Proenca, J. "Partial connector colouring". 2012.
    10.1007/978-3-642-30829-1_5
  31. Proença, J; Clarke, D; de Vink, EP; Arbab, F. "Decoupled execution of synchronous coordination models via behavioural automata". 2011.
    10.4204/EPTCS.58.5
  32. Clarke, D; Muschevici, R; Proenca, J; Schaefer, I; Schlatte, R. "Variability modelling in the ABS language". 2011.
    10.1007/978-3-642-25271-6_11
  33. Muschevici, R; Proenca, J; Clarke, D. "Modular modelling of software product lines with feature nets". 2011.
    10.1007/978-3-642-24690-6_22
  34. Muschevici, R; Clarke, D; Proença, J. "Feature Petri Nets". 2010.
  35. Clarke, D; Proença, J. "Towards a Theory of Views for Feature Models". 2010.
  36. Clarke, D; Proença, J. "Coordination via Interaction Constraints I: Local Logic". 2009.
    10.4204/EPTCS.12.2
  37. Cunha, A; Pinto, JS; Proenca, J. "A framework for point-free program transformation". 2006.
    10.1007/11964681_1
Artigo em revista
  1. Edixhoven, Luc; Jongmans, Sung-Shik; PROENÇA, JOSÉ; Castellani, Ilaria. "Branching pomsets: Design, expressiveness and applications to choreographies". Journal of Logical and Algebraic Methods in Programming 136 (2024): 100919. http://dx.doi.org/10.1016/j.jlamp.2023.100919.
    10.1016/j.jlamp.2023.100919
  2. 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
  3. Proença, J; Edixhoven, L. "Caos: A Reusable Scala Web Animator of Operational Semantics (Extended With Hands-On Tutorial)". CoRR (2023):
  4. Proença, J; Lumpe, M. "Special issue on selected papers from the 14th International Conference on Formal Aspects of Component Software (FACS 2017)". Sci. Comput. Program. (2022):
  5. Cledou, G; Edixhoven, L; Jongmans, SS; Proença, J. "API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3 (Artifact)". Dagstuhl Artifacts Ser. (2022):
  6. Guillermina Cledou; José Proença; Bernhard H.C. Sputh; Eric Verhulst. "Hubs for VirtuosoNext: Online verification of real-time coordinators". Science of Computer Programming 203 (2021): 102566-102566. https://doi.org/10.1016/j.scico.2020.102566.
    10.1016/j.scico.2020.102566
  7. José Proença; Dave Clarke. "Typed connector families and their semantics". Science of Computer Programming (2017): https://doi.org/10.1016%2Fj.scico.2017.03.002.
    10.1016/j.scico.2017.03.002
  8. Ramachandran, GS; Proenca, J; Daniels, W; Pickavet, M; Staessens, D; Huygens, C; Joosen, W; Hughes, D. "Hitch Hiker 2.0: a binding model with flexible data aggregation for the Internet-of-Things". JOURNAL OF INTERNET SERVICES AND APPLICATIONS (2016):
    10.1186/s13174-016-0047-7
  9. Muschevici, R; Proenca, J; Clarke, D. "Feature Nets: behavioural modelling of software product lines". SOFTWARE AND SYSTEMS MODELING (2016):
    10.1007/s10270-015-0475-z
  10. Javier Cámara; José Proença. "Proceedings 13th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems". EPTCS 175 (2015): http://dx.doi.org/10.4204/eptcs.175.0.
    10.4204/eptcs.175.0
  11. Jongmans, S.-S.T.Q.; Clarke, D.; Proença, J.. "A procedure for splitting data-aware processes and its application to coordination". Science of Computer Programming (2014): http://www.scopus.com/inward/record.url?eid=2-s2.0-84896591257&partnerID=MN8TOARS.
    10.1016/j.scico.2014.02.017
  12. Sung-Shik T.Q. Jongmans; Dave Clarke; José Proença. "A Procedure for Splitting Processes and its Application to Coordination". EPTCS 91 (2012): 79-96. http://dx.doi.org/10.4204/eptcs.91.6.
    10.4204/eptcs.91.6
  13. Wong, P.Y.H.; Albert, E.; Muschevici, R.; Proença, J.; Schäfer, J.; Schlatte, R.. "The ABS tool suite: Modelling, executing and analysing distributed adaptable object-oriented systems". International Journal on Software Tools for Technology Transfer 14 5 (2012): 567-588. http://www.scopus.com/inward/record.url?eid=2-s2.0-84866277516&partnerID=MN8TOARS.
    10.1007/s10009-012-0250-1
  14. Dave Clarke; José Proença; Alexander Lazovik; Farhad Arbab. "Channel-based coordination via constraint satisfaction". Science of Computer Programming 76 8 (2011): 681-710. http://dx.doi.org/10.1016/j.scico.2010.05.004.
    10.1016/j.scico.2010.05.004
  15. José Proença; Dave Clarke; Erik de Vink; Farhad Arbab. "Decoupled execution of synchronous coordination models via behavioural automata". EPTCS 58 (2011): 65-79. http://dx.doi.org/10.4204/eptcs.58.5.
    10.4204/eptcs.58.5
  16. Clarke, D.; Proença, J.; Lazovik, A.; Arbab, F.. "Deconstructing R eo". Electronic Notes in Theoretical Computer Science 229 2 (2009): 43-58. http://www.scopus.com/inward/record.url?eid=2-s2.0-67649965353&partnerID=MN8TOARS.
    10.1016/j.entcs.2009.06.028
  17. Koehler, C; Costa, D; Proença, J; Arbab, F. "Reconfiguration of Reo Connectors Triggered by Dataflow". ECEASST (2008): https://www.authenticus.pt/P-00A-ADN.
  18. Proença, Jose; Clarke, Dave. "Coordination Models Orc and Reo Compared". Electr. Notes Theor. Comput. Sci. (2008): https://www.authenticus.pt/P-00A-ADP.
    10.1016/j.entcs.2008.03.099
Capítulo de livro
  1. José Proença. "Overview on Constrained Multiparty Synchronisation in Team Automata". 2024.
    10.1007/978-3-031-52183-6_10
  2. Maurice H. ter Beek; Guillermina Cledou; Rolf Hennicker; José Proença. "Can We Communicate? Using Dynamic Logic to Verify Team Automata". 2023.
    10.1007/978-3-031-27481-7_9
  3. José Proença; Luc Edixhoven. "Caos: A Reusable Scala Web Animator of Operational Semantics". 2023.
    10.1007/978-3-031-35361-1_9
  4. Maurice H. ter Beek; Rolf Hennicker; José Proença. "Realisability of Global Models of Interaction". 2023.
    10.1007/978-3-031-47963-2_15
  5. 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
  6. Maurice H. ter Beek; Guillermina Cledou; Rolf Hennicker; José Proença. "Featured Team Automata". 2021.
    10.1007/978-3-030-90870-6_26
Edição de livro
  1. Tapia Tarifa, SL; Proença, J. Formal Aspects of Component Software - 18th International Conference, FACS 2022, Virtual Event, November 10-11, 2022, Proceedings. 2022.
  2. PROENÇA, JOSÉ. Proceedings Fifth Workshop on Formal Integrated Development Environment, F-IDE@FM 2019. 2019.
    10.4204/eptcs.310
  3. Monahan, R; Prevosto, V; Proença, J. Proceedings Fifth Workshop on Formal Integrated Development Environment, F-IDE@FM 2019, Porto, Portugal, 7th October 2019. 2019.
  4. Proença, J; Lumpe, M. Formal Aspects of Component Software - 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings. 2017.
  5. Lafuente, AL; Proença, J. Coordination Models and Languages - 18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings. 2016.
    10.1007/978-3-319-39519-7
  6. Proença, J; Tivoli, M. Proceedings 14th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems, FOCLASA 2015, Madrid, Spain, 5th September 2015. 2015.
    10.4204/EPTCS.201
  7. Cámara, J; Proença, J. Proceedings 13th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems, FOCLASA 2014, Rome, Italy, 6th September 2014. 2015.
    10.4204/eptcs.175
Tese / Dissertação
  1. PROENÇA, JOSÉ. "Synchronous Coordination of Distributed Components". Doutoramento, Universiteit Leiden, 2011. https://openaccess.leidenuniv.nl/handle/1887/17624.

Outros

Outra produção
  1. Featured Team Automata. 2021. ter Beek, MH; Cledou, G; Hennicker, R; Proença, J.
  2. Implementing Hybrid Semantics: From Functional to Imperative. 2020. Goncharov, S; Neves, R; Proença, J.
  3. Preface. 2016. Lafuente, AL; Proença, J.
Atividades

Orientação

Título / Tema
Papel desempenhado 		Curso (Tipo)
Instituição / Organização
2023/09/01 - Atual Visualisation of simulations of hybrid systems
Orientador
 Computer Science (Mestrado)
Universidade do Minho, Portugal
2023/09/01 - Atual Analysis of families of Real Time systems with IMITATOR
Orientador
 Computer Science (Mestrado)
Universidade do Minho, Portugal
2023/09/01 - Atual API Generation of Multiparty Session Types
Orientador
 Computer Science (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
2023/04/01 - Atual Quantified Verification and Validation of Real-Time Programs
Orientador
 Computer Science (Doutoramento)
Universidade do Porto Faculdade de Engenharia, Portugal
2021/01/01 - Atual A DSL for a Cloud infrastructure
Coorientador
 Computer Science (Mestrado)
Instituto Politécnico do Porto Instituto Superior de Engenharia do Porto, Portugal
2019/09/01 - Atual A Domain-Specific Language for the secure Runtime Monitoring and Verification of Safety-Critical Cyber-Physical Systems
Coorientador
Instituto Politécnico do Porto Instituto Superior de Engenharia do Porto, Portugal
2022/06/01 - 2023/12/11 Simulation of Hybrid Systems Regulated by Newtonian Mechanics
Orientador
 Computer Science (Mestrado)
Universidade do Minho, Portugal
2018/01/11 - 2019/01/10 Web-based analysis of families of Reo connectors
Orientador
Universidade do Minho, Portugal
2014/11/01 - 2015/10/31 A reactive, extensible & modular Dashboard Factory for WSN monitoring
Orientador
Katholieke Universiteit Leuven, Bélgica
2013/11/01 - 2014/10/31 Encoding Scala with Logic
Coorientador
Katholieke Universiteit Leuven, Bélgica
2011/11/01 - 2012/10/31 Delta Modelling Evaluation using ABS Language
Orientador

Organização de evento

Nome do evento
Tipo de evento (Tipo de participação) 		Instituição / Organização
2023/07/18 - 2023/07/20 VALU3S Summer School, on the "Verification and Validation of Dependable Cyber-Physical Systems", with the support of the VALU3S European project and disseminating topics from the IBEX project. It targets students (bachelor, master, or Ph.D.) and early-stage researchers/engineers with an interest in expanding their knowledge on the verification and validation (V&V) of systems. I helped organising it and I was involved in teaching two modules. (2023/07/18 - 2023/07/20)
Outro (Membro da Comissão Organizadora)
 Instituto Politécnico do Porto Instituto Superior de Engenharia do Porto, Portugal
2023/06/27 - 2023/06/27 VERDI 2023 - Program Committee Chair of the 1st International Workshop on Verification & Validation of Dependable Cyber-Physical Systems, co-located with the DSN 2023 conference. (2023/06/27 - 2023/06/27)
Oficina (workshop) (Coorganizador)
 Universidade de Coimbra, Portugal
2022/11/10 - 2022/11/12 FACS 2022 - 18th International Conference on Formal Aspects of Component Software (2022/11/10 - 2022/11/13)
Conferência (Coorganizador)
 Oslo Universitetssykehus, Noruega
2021/05/24 - 2021/05/25 F-IDE 2021, 6th Workshop on Formal Integrated Development Environment, co-located with the NASA Formal Methods 2021 conference, to be held online; co-chaired with Andrei Paskevich, from the University of Paris-Saclay; Edited proceedings will be available in Electronic Proceedings in Theoretical Computer Science (EPTCS). (2021/05/24 - 2021/05/25)
Oficina (workshop) (Coorganizador)
2019/10/07 - 2019/10/07 F-IDE 2019, 5th Workshop on Formal Integrated Development Environment, co-located with the Formal Methods 2019 conference, to be held in Porto, Portugal; co-chaired with Rosemary Monahan, from Maynooth University, and Virgile Prevosto from the University of Paris-Saclay; Edited proceedings will be available in Electronic Proceedings in Theoretical Computer Science (EPTCS). (2019/10/07 - 2019/10/07)
Oficina (workshop) (Coorganizador)
 Universidade do Minho, Portugal

Instituto Politécnico do Porto Instituto Superior de Engenharia do Porto, Portugal
2017/10/10 - 2017/10/13 FACS 2017, General Chair and co-PC Chair, 14th International Conference on Formal Aspects of Component Software, held in Braga, Portugal; co-chaired with Markus Lumpe, from the Swinburne University of Technology, Australia; Edited proceedings available in Lecture Notes in Computer Science (LNCS), and a special issue organised for Science in Computer Programming (Elsevier Journal). (2017/10/10 - 2017/10/13)
Conferência (Coorganizador)
 Universidade do Minho, Portugal
2016/06/06 - 2016/06/09 COORDINATION 2016, IFIP International Conference on Coordination Models and Languages (CORE A conference), part of the 3 DisCoTec conferences, held in Herak- lion, Greece; Co-chaired with Alberto Lluch Lafuente, from the Technical University of Denmark; Edited proceedings available in Lecture Notes in Computer Science (LNCS), and a special issue is being organised for Logical Methods in Computer Science (LMCS). (2016/06/06 - 2016/06/09)
Conferência (Coorganizador)
 Universidade do Minho, Portugal

Katholieke Universiteit Leuven, Bélgica
2015/09/05 - 2015/09/05 FOCLASA 2015, International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems, held in Madrid, Spain; co-chaired with Massimo Tivoli, from the University of L’Aquila, Italy; Edited proceedings available in Electronic Proceedings in Theoretical Computer Science (EPTCS). (2015/09/05 - 2015/09/05)
Oficina (workshop) (Coorganizador)
 Katholieke Universiteit Leuven, Bélgica
2014/09/09 - 2014/09/09 FOCLASA 2014, International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems, held in Rome, Italy; co-chaired with Javier C ´amara, from Carnegie Mellon University, USA; Edited proceedings available in Electronic Proceedings in Theoretical Computer Science (EPTCS). (2014/09/09 - 2014/09/09)
Oficina (workshop) (Coorganizador)
 Katholieke Universiteit Leuven, Bélgica

Júri de grau académico

Tema
Tipo de participação 		Nome do candidato (Tipo de grau)
Instituição / Organização
2019/01/29 Towards Deeply Reconfigurable, Long-life Internet of Things Platforms. This thesis introduces Plug-and-Play peripheral integrations into IETF class-1 devices, and extends this framework with flexible adoption of a range of low power networks.
Arguente
 Fan Yang (Doutoramento)
Katholieke Universiteit Leuven, Bélgica
2015/09/01 Supporting the Internet of Things: IPv6 multicase in publish/subscribe middleware
Arguente
 Sven Akkermans (Mestrado)
Katholieke Universiteit Leuven, Bélgica
2015/09/01 Reification of monads for parser combinators
Arguente
 Vincent Goossens (Mestrado)
Katholieke Universiteit Leuven, Bélgica

Arbitragem científica em conferência

Nome da conferência Local da conferência
2024/09/09 - 2024/09/10 FACS 2024 - 20th International Conference on Formal Aspects of Component Software
2024/09/02 - 2024/09/06 PhD symposium SPLC 2024 - 28th ACM International Systems and Software Product Line Conference
2024/06/17 - 2024/06/21 COORDINATION 2024 - 26th International Conference on Coordination Models and Languages
2023/12/04 - 2023/12/08 ICTAC 2023 - 20th International Colloquium on Theoretical Aspects of Computing
2023/11/13 - 2023/11/15 PhD symposium iFM 2023 - affiliated with the 18th International Conference on integrated Formal Methods
2023/10/22 - 2023/10/22 FTSCS 2023 @ SPLASH - 9th ACM International Workshop on Formal Techniques for Safety-Critical Systems
2023/10/19 - 2023/10/20 FACS 2023 - 19th International Conference on Formal Aspects of Component Software
2023/10/10 - 2023/10/12 RSSRail 2023 - 5th International Conference on Reliability, Safety and Security of Railway Systems
2023/06/19 - 2023/06/23 COORDINATION 2023 - 25th International Conference on Coordination Models and Languages NOVA University Lisbon
2023/05/03 - 2023/05/05 FSEN 2023 - 10th IPM International Conference on Fundamentals of Software Engineering
2023/04/23 - 2023/04/23 TiCSA 2023 @ ETAPS - Program Committee member of the First Workshop on Trends in Configurable Systems Analysis, co-located with ETAPS 2023
2022/06/13 - 2022/06/18 COORDINATION 2022 - IFIP International Conference on Coordination Models and Languages IMT School for Advanced Studies Lucca, Italy
2022/04/02 - 2022/04/07 TACAS - 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (Artifact evaluation committee member) LMU Munich, Germany
2022/04/03 - 2022/04/03 QAVS 2022 @ ETAPS - Third Workshop on Quantitative Aspects of Variant-rich Systems, co-located with ETAPS 2022
2021/10/28 - 2021/10/29 FACS 2021 - 17th International Conference on Formal Aspects of Component Software Conference INRIA, France
2021/05/19 - 2021/05/21 FSEN 2021 - 9th IPM International Conference on Fundamentals of Software Engineering
2021/03/27 - 2021/04/01 TACAS 2021 - 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
2020/01/01 - 2020/09/15 FOCLASA 2020 - 18th International Workshop On Foundations Of Coordination Languages and Self-adaptative Systems Amsterdam, The Netherlands, associated with SEFM 2020
2019/10/23 - 2019/10/25 FACS 2019 - 16th International Conference on Formal Aspects of Component Software CWI, Amsterdam, the Netherlands
2019/10/07 - 2019/10/07 F-IDE 2019 - 5th Workshop on Formal Integrated Development Environment INESC-TEC, Porto, Portugal & Univ. of Minho, Braga, Portugal, and Formal Methods Europe
2019/09/17 - 2019/09/17 FOCLASA 2019 - 17th International Workshop On Foundations Of Coordination Languages and Self-adaptative Systems Oslo, Norway, associated with SEFM 2019
2019/05/01 - 2019/05/03 FSEN 2019 - 8th IPM International Conference on Fundamentals of Software Engineering School of Computer Science, IPM, Tehran, Iran
2018/11/04 - 2018/11/04 REBLS 2018 - 5th Workshop on Reactive and Event-based Languages & Systems Bosto, USA, associated with SPLASH 2018
2018/10/10 - 2018/10/12 FACS 2018 - 15th International Conference on Formal Aspects of Component Software POSCH International Center, POSTECH, Pohang, Republica of Korea
2018/08/23 - 2018/08/24 ALGOSENSORS 2018 - 14th International Symposium on Algorithms and Experiments for Wireless Networks Helsinki, Finland, associated with ALGO 2018
2018/06/26 - 2018/06/26 FOCLASA 2018 - 16th International Workshop On Foundations Of Coordination Languages and Self-adaptative Systems Toulouse, France, associated with STAF/SEFM 2018
2017/04/26 - 2017/04/28 FSEN 2017 - 7th IPM International Conference on Fundamentals of Software Engineering School of Computer Science, IPM, Tehran, Iran
2015/04/22 - 2015/04/24 FSEN 2015 - 6th IPM International Conference on Fundamentals of Software Engineering IPM, School of Computer Science, Tehran, Iran
2014/09/10 - 2014/09/12 FACS 2014 - 11th International Conference on Formal Aspects of Component Software Bertinoro, Italy

Curso / Disciplina lecionado

Disciplina Curso (Tipo) Instituição / Organização
2021/09/01 - Atual Taught theoretical, practical, and laboratory lectures on two unit courses on formal requirements, modelling, and verification of software critical systems, in the context of a new MSc on critical systems. (Mestrado) Instituto Politécnico do Porto Instituto Superior de Engenharia do Porto, Portugal
2019/09/01 - 2020/02/29 Programming and Algorithms for first year students Instituto Politécnico do Porto Instituto Superior de Engenharia do Porto, Portugal
2019/09/01 - 2020/02/15 Cyber-Physical Computation (2019/20). This is a PhD level course under the MAPi program on formal analysis of cyber-physical systems, focusing on timed and hybrid (continuous/discrete) systems. I am responsible for a module of this course covering timed-automata, where I prepared slides available online on http://alfa.di.uminho.pt/ ~nevrenato/CPC.html. Informática (Doutoramento) Universidade do Minho, Portugal
2016/09/01 - 2019/02/28 Laboratory of Informatics for functional programming Engenharia Informática (Mestrado integrado) Universidade do Minho, Portugal
2016/09/01 - 2019/02/15 Functional programming. This is a programming introductory course for first year university students. Engenharia Informática Universidade do Minho, Portugal
2018/02/01 - 2018/07/31 Laboratory of Informatics for imperative programming Engenharia Informática (Mestrado integrado) Universidade do Minho, Portugal
2016/02/15 - 2018/07/31 Software Architecture and Design Calculi (2015-2018). This is a MSc level course on formal methods for always-running components, covering topics such as model checking, bisimulations, timed automata, and coordination models. I developed several artifacts, most available online on http://ac1516.proenca.org, http://ac1617.proenca.org, and http://arca.di.uminho.pt/ac-1718. Engenharia Informática (Mestrado integrado) Universidade do Minho, Portugal
2017/02/01 - 2017/07/31 Program Calculation - reasoning about programs with high order functions Engenharia Informática (Mestrado integrado) Universidade do Minho, Portugal
2012/09/01 - 2015/08/31 Different computer science undergraduate courses from KU Leuven university: Practical project with constrained devices (P&O, 13/14, 14/15); Software design in object-oriented languages (SWOP, 11/12, 12/13, 13/14); Comparative Programming Languages (CPL, 12/13); Operating Systems (BS, 12/13); Introduction to the object-oriented paradigm (OGO, 11/12). Computer Science courses (Bachelor) Katholieke Universiteit Leuven Departement Computerwetenschappen, Bélgica

Membro de comissão

Descrição da atividade
Tipo de participação 		Instituição / Organização
2024/06/17 - 2024/06/21 COORDINATION 2024 - Steering Committee member - 26th International Conference on Coordination Models and Languages
Membro
2023/06/19 - 2023/06/23 COORDINATION 2023 - Steering committee member - IFIP International Conference on Coordination Models and Languages.
Membro
2023/05/03 - 2023/05/05 FACS 2023 - Steering Committee Member - 19th International Conference on Formal Aspects of Component Software
Membro
2022/11/10 - 2022/11/12 FACS 2022 - Steering Committee Member - 18th International Conference on Formal Aspects of Component Software
Membro
 Oslo Universitetssykehus, Noruega
2022/06/13 - 2022/06/18 COORDINATION 2022 - Steering committee member - IFIP International Conference on Coordination Models and Languages.
Membro
 Scuola IMT Alti Studi Lucca, Itália
2021/10/28 - 2021/10/29 FACS 2021 - 17th International Conference on Formal Aspects of Component Software
Membro
 Inria Centre de Recherche Grenoble Rhone-Alpes, França
2021/06/14 - 2021/06/18 COORDINATION 2021 - Steering committee member - IFIP International Conference on Coordination Models and Languages.
Membro
2020/06/15 - 2020/06/19 COORDINATION 2020 - Steering committee member - IFIP International Conference on Coordination Models and Languages.
Membro
Distinções

Prémio

2012 Individual Post-doctoral Fellowship (SFRH/BPD/91908, 2012
Fundação para a Ciência e a Tecnologia, Portugal
2005 Individual PhD Studentship (SFRH/BD/22485, 2005)
Fundação para a Ciência e a Tecnologia, Portugal
2005 Best graduated student in Computer Science at U.Minho
Universidade do Minho, Portugal
2005 Best student in Computer Science at U.Minho in 2002, 2003, 2004, and 2005: awarded 4 Scholarship Merits
Universidade do Minho, Portugal