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 HASLab, University of Minho, working with Luís Barbosa. Until January 2016 I was also affiliated with Distrinet, KU 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
    Explore Interest Topics
    Details

    Details

    • Name

      José Paiva Proença

    • Cluster

      Computer Science

    • Role

      External Research Collaborator

    • Since

      01st March 2013
    004
    Publications
    View all Publications

    2022

    Special issue on selected papers from the 14th International Conference on Formal Aspects of Component Software (FACS 2017)

    Authors
    Proença, J; Lumpe, M;

    Publication
    Sci. Comput. Program.

    Abstract

    2022

    Verification of Multiple Models of a Safety-Critical Motor Controller in Railway Systems

    Authors
    Proença, J; Borrami, S; de Nova, JS; Pereira, D; Nandi, GS;

    Publication
    Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - 4th International Conference, RSSRail 2022, Paris, France, June 1-2, 2022, Proceedings

    Abstract

    2022

    API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3

    Authors
    Cledou, G; Edixhoven, L; Jongmans, SS; Proença, J;

    Publication
    36th European Conference on Object-Oriented Programming, ECOOP 2022, June 6-10, 2022, Berlin, Germany.

    Abstract
    Construction and analysis of distributed systems is difficult. Multiparty session types (MPST) constitute a method to make it easier. The idea is to use type checking to statically prove deadlock freedom and protocol compliance of communicating processes. In practice, the premier approach to apply the MPST method in combination with mainstream programming languages has been based on API generation. In this paper (pearl), we revisit and revise this approach. Regarding our “revisitation”, using Scala 3, we present the existing API generation approach, which is based on deterministic finite automata (DFA), in terms of both the existing states-as-classes encoding of DFAs as APIs, and a new states-as-type-parameters encoding; the latter leverages match types in Scala 3. Regarding our “revision”, also using Scala 3, we present a new API generation approach that is based on sets of pomsets instead of DFAs; it crucially leverages match types, too. Our fresh perspective allows us to avoid two forms of combinatorial explosion resulting from implementing concurrent subprotocols in the DFA-based approach. We implement our approach in a new API generation tool. © Guillermina Cledou, Luc Edixhoven, Sung-Shik Jongmans, and Jos Proena; licensed under Creative Commons License CC-BY 4.0

    CloseRead Abstract

    2022

    API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3 (Artifact)

    Authors
    Cledou, G; Edixhoven, L; Jongmans, SS; Proença, J;

    Publication
    Dagstuhl Artifacts Ser.

    Abstract

    2022

    ST4MP: A Blueprint of Multiparty Session Typing for Multilingual Programming

    Authors
    Jongmans, SS; Proença, J;

    Publication
    Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles - 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part I

    Abstract