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
  • Cluster

    Computer Science
  • Role

    External Research Collaborator
  • Since

    01st March 2013
004
Publications

2023

Caos: A Reusable Scala Web Animator of Operational Semantics (Extended With Hands-On Tutorial)

Authors
Proença, J; Edixhoven, L;

Publication
CoRR

Abstract

2023

Caos: A Reusable Scala Web Animator of Operational Semantics

Authors
Proença, J; Edixhoven, L;

Publication
Coordination Models and Languages - 25th IFIP WG 6.1 International Conference, COORDINATION 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023, Proceedings

Abstract

2023

Caos: A Reusable Scala Web Animator of Operational Semantics

Authors
Proença, J; Edixhoven, L;

Publication
Lecture Notes in Computer Science - Coordination Models and Languages

Abstract

2023

Can We Communicate? Using Dynamic Logic to Verify Team Automata

Authors
ter Beek, MH; Cledou, G; Hennicker, R; Proença, J;

Publication
Formal Methods - 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings

Abstract

2023

Can We Communicate? Using Dynamic Logic to Verify Team Automata

Authors
ter Beek, MH; Cledou, G; Hennicker, R; Proença, J;

Publication
Formal Methods - Lecture Notes in Computer Science

Abstract