JOSÉ MIGUEL PAIVA PROENÇA (2412-FE81-2767)

Curriculum Vitae

JOSÉ MIGUEL PAIVA PROENÇA

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.

Read full resume ↓

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

http://jose.proenca.org (Personal)

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 NORTE-01-0145-FEDER-028550 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 ECSEL JU Grant nr. 876852 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 PTDC/CCI-COM/29946/2017 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 POCI-01-0145-FEDER-030947 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 POCI-01-0145-FEDER-016826 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 732505 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 PTDC/CCI-COM/4280/2021 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. imec.icon/emd2015 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 IOF/kennisplatform/transition2013 Post-doc Katholieke Universiteit Leuven, Belgium	Katholieke Universiteit Leuven Concluded

Outputs

Publications

Book chapter	José Proença. "Overview on Constrained Multiparty Synchronisation in Team Automata". 2024. 10.1007/978-3-031-52183-6_10 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 José Proença; Luc Edixhoven. "Caos: A Reusable Scala Web Animator of Operational Semantics". 2023. 10.1007/978-3-031-35361-1_9 Maurice H. ter Beek; Rolf Hennicker; José Proença. "Realisability of Global Models of Interaction". 2023. 10.1007/978-3-031-47963-2_15 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 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	Proença, J; Edixhoven, L. "Caos: A Reusable Scala Web Animator of Operational Semantics". 2023. ter Beek, MH; Cledou, G; Hennicker, R; Proença, J. "Can We Communicate? Using Dynamic Logic to Verify Team Automata". 2023. 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 Jongmans, SS; Proença, J. "ST4MP: A Blueprint of Multiparty Session Typing for Multilingual Programming". 2022. 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 Edixhoven, L; Jongmans, SS; Proença, J; Cledou, G. "Branching Pomsets for Choreographies". 2022. 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. 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 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 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 Proença, J; Cledou, G. "ARx: Reactive Programming for Synchronous Connectors". 2020. 10.1007/978-3-030-50029-0_3 Proença, J; Madeira, A. "Taming Hierarchical Connectors". 2019. 10.1007/978-3-030-31517-7_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 Cruz, R; Proença, J. "ReoLive: Analysing Connectors in Your Browser". 2018. 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 Halder, R; Proenca, J; Macedo, N; Santos, A. "Formal Verification of ROS-based Robotic Applications using Timed-Automata". 2017. 10.1109/formalise.2017.9 Cledou, G; Proenca, J; Barbosa, LS. "A Refinement Relation for Families of Timed Automata". 2017. 10.1007/978-3-319-70848-5_11 Cledou, G; Proenca, J; Barbosa, LS. "Composing Families of Timed Automata". 2017. 10.1007/978-3-319-68972-2_4 Proenca, J; Baquero, C. "Quality-Aware Reactive Programming for the Internet of Things". 2017. 10.1007/978-3-319-68972-2_12 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 Proença, Jose; Clarke, Dave. "Typed Connector Families". 2015. 10.1007/978-3-319-28934-2_16 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 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 Muschevici, R.; Clarke, D.; Proença, J.. "Executable modelling of dynamic software product lines in the ABS language". 2013. 10.1145/2528265.2528266 Proenca, J; Clarke, D. "Data Abstraction in Coordination Constraints". 2013. 10.1007/978-3-642-45364-9_14 Proenca, J; Clarke, D. "Interactive interaction constraints". 2013. 10.1007/978-3-642-38493-6_15 Proença, J.; Clarke, D.; De Vink, E.; Arbab, F.. "Dreams: A framework for distributed synchronous coordination". 2012. 10.1145/2245276.2232017 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 Jongmans, SungShikT.Q.; Clarke, Dave; Proença, Jose. "A Procedure for Splitting Processes and its Application to Coordination". 2012. 10.4204/EPTCS.91.6 Clarke, D; Proenca, J. "Partial connector colouring". 2012. 10.1007/978-3-642-30829-1_5 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 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 Muschevici, R; Proenca, J; Clarke, D. "Modular modelling of software product lines with feature nets". 2011. 10.1007/978-3-642-24690-6_22 Muschevici, R; Clarke, D; Proença, J. "Feature Petri Nets". 2010. Clarke, D; Proença, J. "Towards a Theory of Views for Feature Models". 2010. Clarke, D; Proença, J. "Coordination via Interaction Constraints I: Local Logic". 2009. 10.4204/EPTCS.12.2 Cunha, A; Pinto, JS; Proenca, J. "A framework for point-free program transformation". 2006. 10.1007/11964681_1
Edited book	Tapia Tarifa, SL; Proença, J. Formal Aspects of Component Software - 18th International Conference, FACS 2022, Virtual Event, November 10-11, 2022, Proceedings. 2022. PROENÇA, JOSÉ. Proceedings Fifth Workshop on Formal Integrated Development Environment, F-IDE@FM 2019. 2019. 10.4204/eptcs.310 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. Proença, J; Lumpe, M. Formal Aspects of Component Software - 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings. 2017. 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 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 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	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 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 Proença, J; Edixhoven, L. "Caos: A Reusable Scala Web Animator of Operational Semantics (Extended With Hands-On Tutorial)". CoRR (2023): 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): 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): 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 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 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 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 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 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 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 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 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 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 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 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. 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	PROENÇA, JOSÉ. "Synchronous Coordination of Distributed Components". PhD, Universiteit Leiden, 2011. https://openaccess.leidenuniv.nl/handle/1887/17624.

Other

Other output

Featured Team Automata. 2021. ter Beek, MH; Cledou, G; Hennicker, R; Proença, J.
Implementing Hybrid Semantics: From Functional to Imperative. 2020. Goncharov, S; Neves, R; Proença, J.
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	Computer Science (Master) 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/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) Other (Member of the Organising Committee)	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) 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