José Proença (Publications)
PhD Leiden University, Netherlands
Lecturer, Integrated PhD Researcher
Lecturer, Integrated PhD Researcher
José Proença is currently a postdoc at CISTER, ISEP, Portugal, working on formal models for component-based systems.
Until January 2019 he worked in HASLab, University of Minho, working with Luís Barbosa, and was affiliated with Distrinet, KU Leuven, until January 2016, working mainly with Danny Hughes and Dave Clarke.
His work has been mainly on coordination of distributed components, often associated to the Reo coordination language, and on formal approaches to software product line engineering. More recently he has been working with binding and component models for embedded devices in the context of the LooCI middleware and micro PnP (now part of VersaSense), and in the context of the VirtuosoNext RTOS.
Before he graduated in University of Minho, Portugal, for a 5 year degree in Mathematics and Computer Science. He studied abroad for 6 months as an Erasmus student in Bristol University, UK. He defended his PhD in Leiden University in May 2011, for his work carried in CWI, Amsterdam, in the group for Foundations of Software Engineering.
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Journal Papers
The CAOS framework for Scala: Computer-aided design of SOS CISTER-TR-241003
José Proença, Luc EdixhovenScience of Computer Programming. 17, Oct, 2024.
José Proença, Luc EdixhovenScience of Computer Programming. 17, Oct, 2024.
PDFBranching pomsets: design, expressiveness and applications to choreographies CISTER-TR-240103
Luc Edixhoven, Sung Shik Jongmans, José Proença, Ilaria CastelaniJournal of Logical and Algebraic Methods in Programming. 1, Jan, 2024.
Luc Edixhoven, Sung Shik Jongmans, José Proença, Ilaria CastelaniJournal of Logical and Algebraic Methods in Programming. 1, Jan, 2024.
Branching Pomsets for Choreographies CISTER-TR-220803
Luc Edixhoven, Sung Shik Jongmans, José Proença, Guillermina CledouProceedings 15th Interaction and Concurrency Experience. 9, Aug, 2022.
Luc Edixhoven, Sung Shik Jongmans, José Proença, Guillermina CledouProceedings 15th Interaction and Concurrency Experience. 9, Aug, 2022.
Hubs for VirtuosoNext: Online verification of real-time coordinators CISTER-TR-201101
Guillermina Cledou, José Proença, Bernhard H.C. Sputh, Eric VerhulstScience of Computer Programming, Article No 102566, Elsevier. 1, Mar, 2021, Volume 203.In Press, Journal Pre-proof
Guillermina Cledou, José Proença, Bernhard H.C. Sputh, Eric VerhulstScience of Computer Programming, Article No 102566, Elsevier. 1, Mar, 2021, Volume 203.In Press, Journal Pre-proof
Conference or Workshop Papers/Talks
Formal Simulation and Visualisation of Hybrid Programs CISTER-TR-241105
Pedro Mendes, Ricardo Correia, Renato Neves, José ProençaProceedings Sixth International Workshop on Formal Methods for Autonomous Systems (FMAS 2024). 13, Nov, 2024. Manchester, United Kingdom.
Pedro Mendes, Ricardo Correia, Renato Neves, José ProençaProceedings Sixth International Workshop on Formal Methods for Autonomous Systems (FMAS 2024). 13, Nov, 2024. Manchester, United Kingdom.
Reactive graphs in action CISTER-TR-240905
David Tinoco, Manuel A. Martins, Alexandre Madeira, José ProençaFormal Aspects of Component Software - 20th International Conference (FACS 2024). 10, Sep, 2024. Milan, Italy.
David Tinoco, Manuel A. Martins, Alexandre Madeira, José ProençaFormal Aspects of Component Software - 20th International Conference (FACS 2024). 10, Sep, 2024. Milan, Italy.
Reducing the gap between theory and practice in real-time systems with MARS CISTER-TR-240602
Giann Nandi, David Pereira, José Proença, Eduardo Tovar, Luis Miguel NogueiraDependable Systems and Networks (DSN 2024). 24 to 27, Jun, 2024, Doctoral Forum. Brisbane, Australia.
Giann Nandi, David Pereira, José Proença, Eduardo Tovar, Luis Miguel NogueiraDependable Systems and Networks (DSN 2024). 24 to 27, Jun, 2024, Doctoral Forum. Brisbane, Australia.
Team Automata: Overview and Roadmap CISTER-TR-240604
Maurice H. ter Beek, Rolf Hennicker, José ProençaCoordination Models and Languages - 26th IFIP WG 6.1 International Conference (COORDINATION 2024). 21, Jun, 2024. Groningen, Netherlands.
Maurice H. ter Beek, Rolf Hennicker, José ProençaCoordination Models and Languages - 26th IFIP WG 6.1 International Conference (COORDINATION 2024). 21, Jun, 2024. Groningen, Netherlands.
Realisability of Global Models of Interaction CISTER-TR-231207
Maurice H. ter Beek, Rolf Hennicker, José ProençaICTAC - 20th International Colloquium on Theoretical Aspects of Computing. 8, Dec, 2023. Lima, Peru.
Maurice H. ter Beek, Rolf Hennicker, José ProençaICTAC - 20th International Colloquium on Theoretical Aspects of Computing. 8, Dec, 2023. Lima, Peru.
Overview on Constrained Multiparty Synchronisation in Team Automata CISTER-TR-231003
José ProençaFormal Aspects of Component Software - 19th International Conference (FACS 2023). 20, Oct, 2023. Online.
José ProençaFormal Aspects of Component Software - 19th International Conference (FACS 2023). 20, Oct, 2023. Online.
Secure integration of extremely resource-constrained nodes on distributed ROS2 applications CISTER-TR-230703
Giann Nandi, David Pereira, José Proença, Eduardo Tovar, Aythami Salvador RodriguezOpen Research Europe (ORE). 14, Jul, 2023. Online, Albania.
Giann Nandi, David Pereira, José Proença, Eduardo Tovar, Aythami Salvador RodriguezOpen Research Europe (ORE). 14, Jul, 2023. Online, Albania.
Caos: A Reusable Scala Web Animator of Operational Semantics CISTER-TR-230611
José Proença, Luc EdixhovenCoordination Models and Languages - 21st IFIP WG 6.1 International Conference (COORDINATION 2023). 23, Jun, 2023. Portugal.
José Proença, Luc EdixhovenCoordination Models and Languages - 21st IFIP WG 6.1 International Conference (COORDINATION 2023). 23, Jun, 2023. Portugal.
Spreadsheet-based Configuration of Families of Real-Time Specifications CISTER-TR-230407
José Proença, Sina Borrami, Jorge Sanchez de Nova, David Pereira, Giann NandiProceedings of the First Workshop on Trends in Configurable Systems Analysis (TiCSA 2023). 23, Apr, 2023. Paris, France.
José Proença, Sina Borrami, Jorge Sanchez de Nova, David Pereira, Giann NandiProceedings of the First Workshop on Trends in Configurable Systems Analysis (TiCSA 2023). 23, Apr, 2023. Paris, France.
Can We Communicate? Using Dynamic Logic to Verify Team Automata CISTER-TR-230302
Maurice H. ter Beek, Guillermina Cledou, Rolf Hennicker, José ProençaFormal Methods - 25th international symposium (FM 2023). 10, Mar, 2023. Lübeck, Germany.
Maurice H. ter Beek, Guillermina Cledou, Rolf Hennicker, José ProençaFormal Methods - 25th international symposium (FM 2023). 10, Mar, 2023. Lübeck, Germany.
MARS: a toolset for the safe and secure deployment of heterogeneous distributed systems CISTER-TR-221101
Giann Nandi, David Pereira, José Proença, José Santos, Lourenço A. Rodrigues, André Lourenço, Eduardo TovarReal-Time Systems Symposium (RTSS). 5 to 8, Dec, 2022, Explainability of Real-Time Systems and their Analysis. Houston, U.S.A..
Giann Nandi, David Pereira, José Proença, José Santos, Lourenço A. Rodrigues, André Lourenço, Eduardo TovarReal-Time Systems Symposium (RTSS). 5 to 8, Dec, 2022, Explainability of Real-Time Systems and their Analysis. Houston, U.S.A..
ST4MP: A Blueprint of Multiparty Session Typing for Multilingual Programming CISTER-TR-221004
Sung Shik Jongmans, José ProençaLeveraging Applications of Formal Methods, Verification and Validation. Verification Principles: 11th International Symposium (ISOLA 2022). 30, Oct, 2022. Rhodes, Greece.
Sung Shik Jongmans, José ProençaLeveraging Applications of Formal Methods, Verification and Validation. Verification Principles: 11th International Symposium (ISOLA 2022). 30, Oct, 2022. Rhodes, Greece.
API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3 CISTER-TR-220505
Guillermina Cledou, Luc Edixhoven, Sung Shik Jongmans, José Proença36th European Conference on Object-Oriented Programming (ECOOP 2022). 6 to 10, Jun, 2022, Session Types 1. Berlin, Germany.
Guillermina Cledou, Luc Edixhoven, Sung Shik Jongmans, José Proença36th European Conference on Object-Oriented Programming (ECOOP 2022). 6 to 10, Jun, 2022, Session Types 1. Berlin, Germany.
Verification of multiple models of a safety-critical motor controller in railway systems CISTER-TR-220504
José Proença, Sina Borrami, Jorge Sanchez de Nova, David Pereira, Giann NandiReliability, Safety, and Security of Railway Systems (RSSRail 2022). 1 to 2, Jun, 2022, Safety and new technologies, pp 83-94. Paris, France.
José Proença, Sina Borrami, Jorge Sanchez de Nova, David Pereira, Giann NandiReliability, Safety, and Security of Railway Systems (RSSRail 2022). 1 to 2, Jun, 2022, Safety and new technologies, pp 83-94. Paris, France.
Featured Team Automata CISTER-TR-210803
Maurice H. ter Beek, Guillermina Cledou, Rolf Hennicker, José ProençaFormal Methods (FM 2021). 20 to 22, Nov, 2021. Online.This is a top conference in formal methods (Core A). This paper describes how to verify if no message is lost in a set of components (automata) where each method call that can synchronise with a pre-specified number of neighbours. This is formulated in the context of software product lines, where families of this components can be specified.
Maurice H. ter Beek, Guillermina Cledou, Rolf Hennicker, José ProençaFormal Methods (FM 2021). 20 to 22, Nov, 2021. Online.This is a top conference in formal methods (Core A). This paper describes how to verify if no message is lost in a set of components (automata) where each method call that can synchronise with a pre-specified number of neighbours. This is formulated in the context of software product lines, where families of this components can be specified.
A Proposal for the Classification of Methods for Verification and Validation of Safety, Cybersecurity, and Privacy of Automated Systems CISTER-TR-210905
Giann Nandi, Jose Luis de la Vara, Thomas Bauer, Bernhard Fischer, Mustafa Karaca, Henrique Madeira, Martin Matschnig, Silvia Mazzini, Fabio Patrone, David Pereira, José Proença, Rupert Sclick, Stefano Tonetta, Ugur Yayan, Behrooz Sangchoolie14th International Conference on the Quality of Information and Communications Technology (QUATIC 2021). 8, Sep, 2021. Portugal.
Giann Nandi, Jose Luis de la Vara, Thomas Bauer, Bernhard Fischer, Mustafa Karaca, Henrique Madeira, Martin Matschnig, Silvia Mazzini, Fabio Patrone, David Pereira, José Proença, Rupert Sclick, Stefano Tonetta, Ugur Yayan, Behrooz Sangchoolie14th International Conference on the Quality of Information and Communications Technology (QUATIC 2021). 8, Sep, 2021. Portugal.
Towards the safe deployment of runtime monitors in mode-change supported Cyber-Physical Systems CISTER-TR-210612
Giann Nandi, David Pereira, José Proença, Eduardo Tovar4th Doctoral Congress in Engineering (DCE 2021). 28 to 29, Jun, 2021, Symposium on Electrical and Computer Engineering. Porto, Portugal.
Giann Nandi, David Pereira, José Proença, Eduardo Tovar4th Doctoral Congress in Engineering (DCE 2021). 28 to 29, Jun, 2021, Symposium on Electrical and Computer Engineering. Porto, Portugal.
Towards the safe deployment of runtime monitors in mode-change supported Cyber-Physical Systems CISTER-TR-210608
Giann Nandi, David Pereira, José Proença, Eduardo Tovar4th Doctoral Congress in Engineering (DCE 21). 28 to 29, Jun, 2021, Symposium on Electrical and Computer Engineering. Porto, Portugal.
Giann Nandi, David Pereira, José Proença, Eduardo Tovar4th Doctoral Congress in Engineering (DCE 21). 28 to 29, Jun, 2021, Symposium on Electrical and Computer Engineering. Porto, Portugal.
Work-In-Progress: a DSL for the safe deployment of Runtime Monitors in Cyber-Physical Systems CISTER-TR-201002
Giann Nandi, David Pereira, José Proença, Eduardo TovarWork in Progress Session, 41st IEEE Real-Time Systems Symposium (RTSS 2020). 1 to 4, Dec, 2020, pp 395-398. Online.
Giann Nandi, David Pereira, José Proença, Eduardo TovarWork in Progress Session, 41st IEEE Real-Time Systems Symposium (RTSS 2020). 1 to 4, Dec, 2020, pp 395-398. Online.
Implementing Hybrid Semantics: From Functional to Imperative CISTER-TR-201008
Sergey Goncharov, Renato Neves, José Proença17th International Colloquium on Theoretical Aspects of Computing (ICTAC 2020). 30, Nov to 4, Dec, 2020, pp 262-282. Online.Lecture Notes in Computer Science, vol 12545.
Sergey Goncharov, Renato Neves, José Proença17th International Colloquium on Theoretical Aspects of Computing (ICTAC 2020). 30, Nov to 4, Dec, 2020, pp 262-282. Online.Lecture Notes in Computer Science, vol 12545.
ARx: Reactive Programming for Synchronous Connectors CISTER-TR-200701
José Proença, Guillermina CledouInternational Conference on Coordination Languages and Models (COORDINATION 2020). 15 to 19, Jun, 2020, Coordination Languages, pp 39-56. Online.Held as part of the 15th International Federated Conference on Distributed Computing Techniques (DisCoTec 2020). Part of the Lecture Notes in Computer Science book series (LNCS, volume 12134).
José Proença, Guillermina CledouInternational Conference on Coordination Languages and Models (COORDINATION 2020). 15 to 19, Jun, 2020, Coordination Languages, pp 39-56. Online.Held as part of the 15th International Federated Conference on Distributed Computing Techniques (DisCoTec 2020). Part of the Lecture Notes in Computer Science book series (LNCS, volume 12134).
Proceedings of the Formal-IDE 2019 - Preface CISTER-TR-200105
Rosemary Monahan, Virgile Prevosto, José Proença5th Workshop on Formal Integrated Development Environment (F-IDE 2019). 7, Oct, 2019. Porto, Portugal.F-IDE 2019 was held as part of the 3rd World Congress on Formal Methods (FM 2019)
Rosemary Monahan, Virgile Prevosto, José Proença5th Workshop on Formal Integrated Development Environment (F-IDE 2019). 7, Oct, 2019. Porto, Portugal.F-IDE 2019 was held as part of the 3rd World Congress on Formal Methods (FM 2019)
Coordination of tasks on a Real-Time OS CISTER-TR-190501
Guillermina Cledou, José Proença, Bernhard H.C. Sputh, Eric Verhulst21st International Conference on Coordination Models and Languages (Coordination 2019). 18 to 21, Jun, 2019. Copenhagen, Denmark.Part of the Lecture Notes in Computer Science book series (LNCS, volume 11533)
Guillermina Cledou, José Proença, Bernhard H.C. Sputh, Eric Verhulst21st International Conference on Coordination Models and Languages (Coordination 2019). 18 to 21, Jun, 2019. Copenhagen, Denmark.Part of the Lecture Notes in Computer Science book series (LNCS, volume 11533)
Taming Hierarchical Connectors CISTER-TR-200104
José Proença, Alexandre Madeira8th IPM International Conference on Fundamentals of Software Engineering (FSEN 2019). 1 to 3, May, 2019, pp 186-193. Tehran, Iran.Part of the Lecture Notes in Computer Science book series (LNCS, volume 11761)
José Proença, Alexandre Madeira8th IPM International Conference on Fundamentals of Software Engineering (FSEN 2019). 1 to 3, May, 2019, pp 186-193. Tehran, Iran.Part of the Lecture Notes in Computer Science book series (LNCS, volume 11761)
Technical Reports
Verificattion of Multiple Models of a Safety-Critical Motor Controller in Railway Systems CISTER-TR-220611
José Proença, Sina Borrami, Jorge Sanchez de Nova, David Pereira, Giann Nandi13, Jun, 2022.
José Proença, Sina Borrami, Jorge Sanchez de Nova, David Pereira, Giann Nandi13, Jun, 2022.
Implementing Hybrid Semantics: From Functional to Imperative (Extended Version) CISTER-TR-201012
Sergey Goncharov, Renato Neves, José Proença29, Sep, 2020.
Sergey Goncharov, Renato Neves, José Proença29, Sep, 2020.
Verification of Real-Time Coordination in VirtuosoNext (extended version) CISTER-TR-201010
Guillermina Cledou, José Proença, Bernhard H.C. Sputh, Eric Verhulst8, May, 2020.
Guillermina Cledou, José Proença, Bernhard H.C. Sputh, Eric Verhulst8, May, 2020.
Lince: Lightweight Prototyping of Hybrid Programs (full version) CISTER-TR-201009
Sergey Goncharov, Renato Neves, José Proença25, Oct, 2019.
Sergey Goncharov, Renato Neves, José Proença25, Oct, 2019.