???global.info.a_carregar???
JOSÉ MIGUEL PAIVA PROENÇA is a researcher and invited professor at Instituto Politécnico do Porto Instituto Superior de Engenharia do Porto, working in the Research Center in Real-Time & Embedded Computing Systems, investigating coordination aspects and formal methods in the context of Cyber-Physical Systems. He is currently involved as a researcher in 1 European project (VALU3S) and in 1 FCT project (IBEX), and recently lead one FCT project. He belongs to the steering committee of 2 international conferences, acted as program-committee chair for 8 international research venues with edited proceedings, edited 2 journal volumes, was the member of 29 program-committees, 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).
Identification

Personal identification

Full name
JOSÉ MIGUEL PAIVA PROENÇA

Citation names

  • PROENÇA, JOSÉ

Author identifiers

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

Addresses

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

Websites

Knowledge fields

  • Exact Sciences - Computer and Information Sciences - Computer Sciences

Languages

Language Speaking Reading Writing Listening Peer-review
Portuguese (Mother tongue)
English Proficiency (C2) Proficiency (C2) Proficiency (C2) Proficiency (C2) Proficiency (C2)
Spanish; Castilian Elementary (A2) Elementary (A2) Beginner (A1) Intermediate (B1) Elementary (A2)
French Elementary (A2) Elementary (A2) Elementary (A2) Elementary (A2) Elementary (A2)
Dutch Elementary (A2) Elementary (A2) Elementary (A2) Elementary (A2) Elementary (A2)
Russian Elementary (A2) Elementary (A2) Elementary (A2) Elementary (A2) Elementary (A2)
German Beginner (A1) Beginner (A1) Beginner (A1) Beginner (A1) Beginner (A1)
Education
Degree Classification
2006/01/01 - 2011/05/11
Concluded
Synchronous Coordination of Distributed Components (Doutoramento)
Universiteit Leiden, Netherlands
"Synchronous Coordination of Distributed Components" (THESIS/DISSERTATION)
2000/09/01 - 2005/10/31
Concluded
Matemática e Ciências da Computação (Licenciatura)
Universidade do Minho, Portugal
18/20
Affiliation

Science

Category
Host institution
Employer
2019/02/06 - Current Contracted Researcher (Research) 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 Contracted Researcher (Research) Instituto de Engenharia de Sistemas e Computadores, Portugal
2015/02/01 - 2018/10/31 Postdoc (Research) Instituto de Engenharia de Sistemas e Computadores, Portugal
2010/02/01 - 2016/01/31 Postdoc (Research) Katholieke Universiteit Leuven, Belgium
2006/01/01 - 2009/12/31 Researcher (Research) Centrum Wiskunde en Informatica, Netherlands
Centrum Wiskunde en Informatica, Netherlands
(...)
2005/04/01 - 2005/10/31 Researcher (Research) Universidade do Minho, Portugal
Universidade do Minho, Portugal

Teaching in Higher Education

Category
Host institution
Employer
2023/09/20 - Current Assistant Professor (University Teacher) Universidade do Porto Faculdade de Ciências, Portugal
Universidade do Porto Faculdade de Ciências, Portugal
2019/09/01 - 2023/09/19 Invited Assistant (University Teacher) Instituto Politécnico do Porto Instituto Superior de Engenharia do Porto, Portugal
2016/02/01 - 2019/03/31 Invited Assistant (University Teacher) Universidade do Minho, Portugal
2012/09/01 - 2015/08/31 Tutor (University Teacher) Katholieke Universiteit Leuven Departement Computerwetenschappen, Belgium
Katholieke Universiteit Leuven Departement Computerwetenschappen, Belgium
Projects

Grant

Designation Funders
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, Belgium

Universidade do Minho, Portugal
Fundação para a Ciência e a Tecnologia
Concluded
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
PhD Student Fellow
Universiteit Leiden, Netherlands
Fundação para a Ciência e a Tecnologia
Concluded
2006/01 - 2009/12 DEPLOYMENT OF DISTRIBUTED COMPONENT BASED SYSTEMS
17899DFA
Fundação para a Ciência e a Tecnologia

Contract

Designation Funders
2019/02/06 - Current REASSURE: Running Secure Runtime Verification for Reliable Real-Time Embedded Software
Post-doc Fellow
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
Ongoing
2020/05/01 - 2023/04/30 VALU3S: Verification and Validation of Automated Systems’ Safety and Security
Research Fellow
Instituto Politécnico do Porto Centro de Investigação em Sistemas Computacionais Embebidos e de Tempo-Real, Portugal

RISE Research Institutes of Sweden AB, Sweden
EU Framework Programme for Research and Innovation Future and Emerging Technologies

Fundação para a Ciência e a Tecnologia
Ongoing
2018/07/26 - 2021/07/25 DaVinci: Distributed Architectures: Variability and Interaction for Cyber-Physical Systems
Principal investigator
Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal
Fundação para a Ciência e a Tecnologia
Ongoing
2018/07/26 - 2021/07/25 KLEE: Coalgebraic Modeling and Analysis for Computational Synthetic Biology
Post-doc
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
Ongoing
2016/04/01 - 2019/03/31 TRUST: Trustworthy Software Design with Alloy
Post-doc
Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal
Fundação para a Ciência e a Tecnologia
Concluded
2017/01/01 - 2018/06/30 LightKone: Lightweight computation for networks at the edge
Post-doc
Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal
Horizon 2020
Ongoing

Other

Designation Funders
2022/10/01 - Current Route 25
TRB/2022/00061 – C645463824-00000063
Researcher
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
Ongoing
2022/07/01 - Current IBEX - Quantitative methods for cyber-physical programming
Researcher
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
Ongoing
2015/01/01 - 2016/12/31 EMD - Elastic Media Distribution for Online Collaboration.
Post-doc
Katholieke Universiteit Leuven, Belgium
iMinds

IWT - Agency For Innovation By Science And Technology
Concluded
2014/10/01 - 2015/09/30 TRANSITION - From Ad-Hoc Code Development To Code Reuse Through Middleware For Networked Embedded Control Systems
Post-doc
Katholieke Universiteit Leuven, Belgium
Katholieke Universiteit Leuven
Concluded
Outputs

Publications

Book chapter
  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
Conference paper
  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". Paper presented in IEEE Real-Time Systems Symposium (RTSS), 2020.
    Published • 10.1109/rtss49844.2020.00047
  10. Goncharov, Sergey; Neves, Renato; Proença, José. "Implementing Hybrid Semantics: From Functional to Imperative". Paper presented in Theoretical Aspects of Computing ¿(ICTAC 2020), 2020.
    Published • 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
Edited book
  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
Journal article
  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
Thesis / Dissertation
  1. PROENÇA, JOSÉ. "Synchronous Coordination of Distributed Components". PhD, Universiteit Leiden, 2011. https://openaccess.leidenuniv.nl/handle/1887/17624.

Other

Other output
  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.
Activities

Supervision

Thesis Title
Role
Degree Subject (Type)
Institution / Organization
2023/09/01 - Current Visualisation of simulations of hybrid systems
Supervisor
Computer Science (Master)
Universidade do Minho, Portugal
2023/09/01 - Current Analysis of families of Real Time systems with IMITATOR
Supervisor
Computer Science (Master)
Universidade do Minho, Portugal
2023/09/01 - Current API Generation of Multiparty Session Types
Supervisor
Computer Science (Master)
Universidade do Porto Faculdade de Ciências, Portugal
2023/04/01 - Current Quantified Verification and Validation of Real-Time Programs
Supervisor
Computer Science (PhD)
Universidade do Porto Faculdade de Engenharia, Portugal
2021/01/01 - Current A DSL for a Cloud infrastructure
Co-supervisor
Instituto Politécnico do Porto Instituto Superior de Engenharia do Porto, Portugal
2019/09/01 - Current A Domain-Specific Language for the secure Runtime Monitoring and Verification of Safety-Critical Cyber-Physical Systems
Co-supervisor
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
Supervisor
Computer Science (Master)
Universidade do Minho, Portugal
2018/01/11 - 2019/01/10 Web-based analysis of families of Reo connectors
Supervisor
Universidade do Minho, Portugal
2014/11/01 - 2015/10/31 A reactive, extensible & modular Dashboard Factory for WSN monitoring
Supervisor
Katholieke Universiteit Leuven, Belgium
2013/11/01 - 2014/10/31 Encoding Scala with Logic
Co-supervisor
Katholieke Universiteit Leuven, Belgium
2011/11/01 - 2012/10/31 Delta Modelling Evaluation using ABS Language
Supervisor

Event organisation

Event name
Type of event (Role)
Institution / Organization
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)
Workshop (Co-organisor)
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)
Conference (Co-organisor)
Oslo Universitetssykehus, Norway
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)
Workshop (Co-organisor)
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)
Workshop (Co-organisor)
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)
Conference (Co-organisor)
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)
Conference (Co-organisor)
Universidade do Minho, Portugal

Katholieke Universiteit Leuven, Belgium
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)
Workshop (Co-organisor)
Katholieke Universiteit Leuven, Belgium
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)
Workshop (Co-organisor)
Katholieke Universiteit Leuven, Belgium

Jury of academic degree

Topic
Role
Candidate name (Type of degree)
Institution / Organization
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.
(Thesis) Arguer
Fan Yang (PhD)
Katholieke Universiteit Leuven, Belgium
2015/09/01 Supporting the Internet of Things: IPv6 multicase in publish/subscribe middleware
(Thesis) Arguer
Sven Akkermans (Master)
Katholieke Universiteit Leuven, Belgium
2015/09/01 Reification of monads for parser combinators
(Thesis) Arguer
Vincent Goossens (Master)
Katholieke Universiteit Leuven, Belgium

Committee member

Activity description
Role
Institution / Organization
2024/06/17 - 2024/06/21 COORDINATION 2024 - Steering Committee member - 26th International Conference on Coordination Models and Languages
Member
2023/06/19 - 2023/06/23 COORDINATION 2023 - Steering committee member - IFIP International Conference on Coordination Models and Languages.
Member
2023/05/03 - 2023/05/05 FACS 2023 - Steering Committee Member - 19th International Conference on Formal Aspects of Component Software
Member
2022/11/10 - 2022/11/12 FACS 2022 - Steering Committee Member - 18th International Conference on Formal Aspects of Component Software
Member
Oslo Universitetssykehus, Norway
2022/06/13 - 2022/06/18 COORDINATION 2022 - Steering committee member - IFIP International Conference on Coordination Models and Languages.
Member
Scuola IMT Alti Studi Lucca, Italy
2021/10/28 - 2021/10/29 FACS 2021 - 17th International Conference on Formal Aspects of Component Software
Member
Inria Centre de Recherche Grenoble Rhone-Alpes, France
2021/06/14 - 2021/06/18 COORDINATION 2021 - Steering committee member - IFIP International Conference on Coordination Models and Languages.
Member
2020/06/15 - 2020/06/19 COORDINATION 2020 - Steering committee member - IFIP International Conference on Coordination Models and Languages.
Member

Conference scientific committee

Conference name Conference host
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

Course / Discipline taught

Academic session Degree Subject (Type) Institution / Organization
2021/09/01 - Current 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, Belgium
Distinctions

Award

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