Cookies Policy
The website need some cookies and similar means to function. If you permit us, we will use those means to collect data on your visits for aggregated statistics to improve our service. Find out More
Accept Reject
  • Menu
About

About

I am currently a postdoc affiliated with HASLabUniversity of Minho, working with Luís Barbosa. Until January 2016 I was also affiliated with DistrinetKU Leuven, working mainly with Danny Hughes and Dave Clarke. My work is mainly on coordination of distributed components, often associated to the Reo coordination language, and on formal approaches to software product line engineering. More recently I have been working with binding and component models for embedded devices in the context of the LooCI middleware and micro PnP.

I graduated in University of Minho, Portugal, for a 5 year degree in Mathematics and Computer Science. I studied abroad for 6 months as an Erasmus student in Bristol University, UK. I defended my PhD in Leiden University in May 2011, for my work carried in CWI, Amsterdam, in the group for Foundations of Software Engineering.

Interest
Topics
Details

Details

  • Name

    José Paiva Proença
  • Role

    External Research Collaborator
  • Since

    01st March 2013
005
Publications

2026

Preface

Authors
Proença, J; Fervari, R; Martins, MA; Kahle, R; Pluck, G;

Publication
Lecture Notes in Computer Science

Abstract
[No abstract available]

2026

Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops - ReacTS 2024 and CIFMA 2024, Aveiro, Portugal, November 4-5, 2024, Revised Selected Papers

Authors
Proença, J; Fervari, R; Martins, MA; Kahle, R; Pluck, G;

Publication
SEFM

Abstract

2025

RebeCaos Artefact

Authors
Proença, J; ter Beek, MH;

Publication

Abstract

2025

An Adequate While-Language for Stochastic Hybrid Computation

Authors
Neves, R; Proença, J; Souza, J;

Publication
CoRR

Abstract

2025

RebeCaos

Authors
Proença, J; ter Beek, MH;

Publication
COORDINATION MODELS AND LANGUAGES, COORDINATION 2025

Abstract
We describe RebeCaos, a user-friendly web-based front-end tool for the Rebeca language, based on the Caos library for Scala. RebeCaos can simulate different operational semantics of (timed) Rebeca, thus facilitating the dissemination and awareness of Rebeca, providing insights into the differences among existing semantics for Rebeca, and supporting quick experimentation of new Rebeca variants (e.g., when the order of received messages is preserved). The tool also comes with initial reachability analyses for Rebeca models (e.g., the possibility of reaching deadlocks or desirable states). We illustrate the RebeCaos tool by means of a ticket service use case from the timed Rebeca literature.