jose.proenca.org

• charset: utf-8
• name: viewport content: width=device-width,initial-scale=1
• equiv: x-ua-compatible content: IE=edge
• name: generator content: Wowchemy 5.0.0-beta.0 for Hugo
• name: author content: José Proença
• name: description content: Assistant Professor
• name: theme-color content: #018cb3
• property: twitter:card content: summary
• property: twitter:site content: @simpple
• property: twitter:creator content: @simpple
• property: og:site_name content: José Proença
• property: og:url content: https://jose.proenca.org/
• property: og:title content: José Proença
• property: og:description content: Assistant Professor
• property: og:image content: https://jose.proenca.org/images/icon_hu4f357c2a729ab3eebf491d2e8b56d028_497687_512x512_fill_lanczos_center_2.png
• property: twitter:image content: https://jose.proenca.org/images/icon_hu4f357c2a729ab3eebf491d2e8b56d028_497687_512x512_fill_lanczos_center_2.png
• property: og:locale content: en-us
• property: og:updated_time content: 2025-11-17T00:00:00+00:00

• http://jose.proenca.org/#
• Alexandre Silva
• http://jose.proenca.org/#about
• http://jose.proenca.org/#event
• http://jose.proenca.org/#projects
• http://jose.proenca.org/#publications
• http://jose.proenca.org/#posts
• http://jose.proenca.org/#experience
• http://jose.proenca.org/#teaching
• http://jose.proenca.org/#contact
• http://jose.proenca.org/files/cv.pdf
• http://jose.proenca.org/event/rssrail25/
• http://jose.proenca.org/event/sassur25/
• http://jose.proenca.org/event/emsicc25/
• http://jose.proenca.org/event/verdi25/
• http://jose.proenca.org/event/coordination25/
• See all
• Project
• Project
• http://jose.proenca.org/project/valu3s/
• http://jose.proenca.org/project/davinci/
• http://jose.proenca.org/project/reassure/
• See all
• http://jose.proenca.org/publication/fmas-lince-2025/
• Reydel Arrieta and
• José Proença
• Patrick Meumeu Yomsi
• PDF
• http://jose.proenca.org/publication/ppdp-stochastic-lince-2025/
• Renato Neves
• Juliana Souza
• PDF
• http://jose.proenca.org/publication/expresssos-compset-2025/
• Telmo Ribeiro
• Mário Florido
• PDF
• Slides
• http://jose.proenca.org/publication/coord-rebecaos-2025/
• Maurice ter Beek
• PDF
• http://jose.proenca.org/publication/fsen-animating-rebeca-2025/
• PDF
• See all publications
• http://jose.proenca.org/post/branching-pomsets/
• http://jose.proenca.org/post/vvml/
• http://jose.proenca.org/post/lince-tutorial/
• http://jose.proenca.org/post/intro-mc/
• http://jose.proenca.org/post/hybrid-programming/
• Luís Soares Barbosa
• See all posts
• pro at isep.ipp.pt; jose.proenca at fc.up.pt
• +351 228340502
• {{title}}

• Homepage @ FCUP
• https://cister-labs.pt/people/jose_proenca/
• https://github.com/joseproenca
• https://twitter.com/simpple
• .
• https://www.linkedin.com/in/josepproenca/
• https://scholar.google.co.uk/citations?user=d_EFDzgAAAAJ
• https://orcid.org/0000-0003-0971-8919
• https://dblp.org/pid/40/5853.html
• https://www.cienciavitae.pt/portal/2412-FE81-2767
• https://www.researchgate.net/profile/Jose_Proenca
• https://fc.up.pt
• CISTER @ ISEP
• INESC TEC
• HASLab
• University of Minho
• Luís Barbosa
• Distrinet
• KU Leuven
• Danny Hughes
• Dave Clarke
• Reo
• LooCI
• VersaSense
• VirtuosoNext RTOS
• Leiden University
• CWI
• Foundations of Software Engineering
• https://www.cister.isep.ipp.pt
• http://arca.di.uminho.pt
• https://gram.isti.cnr.it/rssrail2025/
• https://sites.google.com/view/sassur2025/
• https://emsicc2025.roc.cnam.fr/
• https://verdi-workshop.github.io/2025/
• https://www.discotec.org/2025/coordination
• https://lmf.di.uminho.pt/Ibex
• http://valu3s.eu
• http://davinci.di.uminho.pt
• http://arcatools.org
• https://www.cister.isep.ipp.pt/projects/reassure
• Slides (web)
• Lince
• Lince 2.0
• DOI
• slides (web)
• @PPDL
• CoMPSeT tool
• Code
• Slides
• RebeCaos tool
• https://valu3s.eu/summer-school-2023/
• VALU3S
• HasLAB/INESC TEC
• CISTER/ISEP
• HasLAB (INESC TEC & Univ. Minho)
• KU Leuven
• CWI (Leiden)
• University of Porto
• 2023/24
• 2024/25
• 2023/24
• 2024/25
• 2024/25
• 2025/26
• 2024/25
• 2023/24
• 2023/24
• 2025/26
• Reydel Arrieta Olano
• UM
• ISEP
• 2021/22
• 2021/22
• 2019/20
• 2019/20
• 2019/20
• 2020/21
• MAPi
• Giann Nandi
• 2022/23
• 2022/23
• 2016
• 2017
• 2018
• 2017
• 2022/23
• Guillermina Cledou
• https://repositorium.sdum.uminho.pt/bitstream/1822/59068/1/Mar%C3%ADa%20Guillermina%20Cledou.pdf
• Ricardo da Silva Correia
• https://github.com/ricardocorreia99/Simulation-of-Hybrid-Systems-Regulated-by-Newtonian-Mechanics/blob/main/Dissertation.pdf
• Rúben Cruz
• http://davinci.di.uminho.pt/publications/ruben-thesis.pdf
• DM Me
• MS teams
• Homepage @ CISTER
• Wowchemy
• open source

            Domain Name: PROENCA.ORG
Registrar: NameCheap, Inc.
Domain Status: client transfer prohibited
Registry Expiry Date: 2027-01-31T09:53:13.149Z
Creation Date: 2014-01-31T09:53:13.149Z
Updated Date: 2026-01-06T08:25:50.553Z
Name Server: DNS1.REGISTRAR-SERVERS.COM
Name Server: DNS2.REGISTRAR-SERVERS.COM
REGISTRAR Contact: NameCheap, Inc.
>>> Last update of RDAP database: 2026-01-08T23:22:49Z         

			User-agent: *

Sitemap: https://jose.proenca.org/sitemap.xml
        

Tehnički SEO

On-Page SEO

Sadržaj i UX