José Proença

According to our database, José Proença authored at least 63 papers between 2005 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

The CAOS framework for Scala: Computer-aided design of SOS.

José Proença, Luc Edixhoven

Sci. Comput. Program., 2025

2024

Branching pomsets: Design, expressiveness and applications to choreographies.

Luc Edixhoven, Sung-Shik Jongmans, José Proença, Ilaria Castellani

J. Log. Algebraic Methods Program., January, 2024

Reactive graphs in action (extended version).

David Tinoco, Alexandre Madeira, Manuel A. Martins, José Proença

CoRR, 2024

Reactive Graphs in Action.

David Tinoco, Alexandre Madeira, Manuel A. Martins, José Proença

Proceedings of the Formal Aspects of Component Software - 20th International Conference, 2024

Message from the VERDI Workshop Chairs; DSN-W 2024.

David Pereira, José Proença, Behrooz Sangchoolie

Proceedings of the 54th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2024

Reducing the gap between theory and practice in real-time systems with MARS.

Giann Spilere Nandi, David Pereira, José Proença, Eduardo Tovar, Luís Nogueira

Proceedings of the 54th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2024

Team Automata: Overview and Roadmap.

Maurice H. ter Beek, Rolf Hennicker, José Proença

Proceedings of the Coordination Models and Languages, 2024

2023

Spreadsheet-based Configuration of Families of Real-Time Specifications.

José Proença, David Pereira, Giann Spilere Nandi, Sina Borrami, Jonas Melchert

Proceedings of the First Workshop on Trends in Configurable Systems Analysis, 2023

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

José Proença, Luc Edixhoven

CoRR, 2023

Realisability of Global Models of Interaction.

Maurice H. ter Beek, Rolf Hennicker, José Proença

Proceedings of the Theoretical Aspects of Computing - ICTAC 2023, 2023

Can We Communicate? Using Dynamic Logic to Verify Team Automata.

Maurice H. ter Beek, Guillermina Cledou, Rolf Hennicker, José Proença

Proceedings of the Formal Methods - 25th International Symposium, 2023

Overview on Constrained Multiparty Synchronisation in Team Automata.

José Proença

Proceedings of the Formal Aspects of Component Software - 19th International Conference, 2023

Caos: A Reusable Scala Web Animator of Operational Semantics.

José Proença, Luc Edixhoven

Proceedings of the Coordination Models and Languages, 2023

2022

Can we Communicate? Using Dynamic Logic to Verify Team Automata.

Maurice H. ter Beek, Guillermina Cledou, Rolf Hennicker, José Proença

Dataset, November, 2022

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

José Proença, Markus Lumpe

Sci. Comput. Program., 2022

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

Guillermina Cledou, Luc Edixhoven, Sung-Shik Jongmans, José Proença

Dagstuhl Artifacts Ser., 2022

Branching Pomsets for Choreographies.

Luc Edixhoven, Sung-Shik Jongmans, José Proença, Guillermina Cledou

Proceedings of the Proceedings 15th Interaction and Concurrency Experience, 2022

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

José Proença, Sina Borrami, Jorge Sanchez de Nova, David Pereira, Giann Spilere Nandi

Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2022

ST4MP: A Blueprint of Multiparty Session Typing for Multilingual Programming.

Sung-Shik Jongmans, José Proença

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles, 2022

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

Guillermina Cledou, Luc Edixhoven, Sung-Shik Jongmans, José Proença

Proceedings of the 36th European Conference on Object-Oriented Programming, 2022

2021

The VALU3S ECSEL project: Verification and validation of automated systems safety and security.

Joseba Andoni Agirre, Leire Etxeberria, Raul Barbosa, Stylianos Basagiannis, Georgios Giantamidis, Thomas Bauer, Enrico Ferrari, Mikel Labayen Esnaola, Vanessa Orani, Johnny Öberg, David Pereira, José Proença, Rupert Schlick, Ales Smrcka, Walter Tiberti, Stefano Tonetta, Marco Bozzano, Ahmet Yazici, Behrooz Sangchoolie

Microprocess. Microsystems, November, 2021

Hubs for VirtuosoNext: Online verification of real-time coordinators.

Guillermina Cledou, José Proença, Bernhard H. C. Sputh, Eric Verhulst

Sci. Comput. Program., 2021

Cross-domain Modelling of Verification and Validation Workflows in the Large Scale European Research Project VALU3S - Invited Paper.

Thomas Bauer, Joseba Andoni Agirre, David Fürcho, Wolfgang Herzner, Bob Hruska, Mustafa Karaca, David Pereira, José Proença, Rupert Schlick, Robert Sicher, Ales Smrcka, Ugur Yayan, Behrooz Sangchoolie

Proceedings of the Embedded Computer Systems: Architectures, Modeling, and Simulation, 2021

A Proposal for the Classification of Methods for Verification and Validation of Safety, Cybersecurity, and Privacy of Automated Systems.

Jose Luis de la Vara, Thomas Bauer, Bernhard Fischer, Mustafa Karaca, Henrique Madeira, Martin Matschnig, Silvia Mazzini, Giann Spilere Nandi, Fabio Patrone, David Pereira, José Proença, Rupert Schlick, Stefano Tonetta, Ugur Yayan, Behrooz Sangchoolie

Proceedings of the Quality of Information and Communications Technology, 2021

Featured Team Automata.

Maurice H. ter Beek, Guillermina Cledou, Rolf Hennicker, José Proença

Proceedings of the Formal Methods - 24th International Symposium, 2021

2020

Work-In-Progress: a DSL for the safe deployment of Runtime Monitors in Cyber-Physical Systems.

Giann Spilere Nandi, David Pereira, José Proença, Eduardo Tovar

Proceedings of the 41st IEEE Real-Time Systems Symposium, 2020

Implementing Hybrid Semantics: From Functional to Imperative.

Sergey Goncharov, Renato Neves, José Proença

Proceedings of the Theoretical Aspects of Computing - ICTAC 2020 - 17th International Colloquium, Macau, China, November 30, 2020

ARx: Reactive Programming for Synchronous Connectors.

José Proença, Guillermina Cledou

Proceedings of the Coordination Models and Languages, 2020

2019

Taming Hierarchical Connectors.

José Proença, Alexandre Madeira

Proceedings of the Fundamentals of Software Engineering - 8th International Conference, 2019

Coordination of Tasks on a Real-Time OS.

Guillermina Cledou, José Proença, Bernhard H. C. Sputh, Eric Verhulst

Proceedings of the Coordination Models and Languages, 2019

2018

Teaching how to program using automated assessment and functional glossy games (experience report).

José Bacelar Almeida, Alcino Cunha, Nuno Macedo, Hugo Pacheco, José Proença

Proc. ACM Program. Lang., 2018

ReoLive: Analysing Connectors in Your Browser.

Rúben Cruz, José Proença

Proceedings of the Software Technologies: Applications and Foundations, 2018

2017

Typed connector families and their semantics.

José Proença, Dave Clarke

Sci. Comput. Program., 2017

A Refinement Relation for Families of Timed Automata.

Guillermina Cledou, José Proença, Luís Soares Barbosa

Proceedings of the Formal Methods: Foundations and Applications - 20th Brazilian Symposium, 2017

Formal Verification of ROS-Based Robotic Applications Using Timed-Automata.

Raju Halder, José Proença, Nuno Macedo, André Santos

Proceedings of the 5th IEEE/ACM International FME Workshop on Formal Methods in Software Engineering, 2017

Quality-Aware Reactive Programming for the Internet of Things.

José Proença, Carlos Baquero

Proceedings of the Fundamentals of Software Engineering - 7th International Conference, 2017

Composing Families of Timed Automata.

Guillermina Cledou, José Proença, Luís Soares Barbosa

Proceedings of the Fundamentals of Software Engineering - 7th International Conference, 2017

2016

Feature Nets: behavioural modelling of software product lines.

Radu Muschevici, José Proença, Dave Clarke

Softw. Syst. Model., 2016

A procedure for splitting data-aware processes and its application to coordination.

Sung-Shik T. Q. Jongmans, Dave Clarke, José Proença

Sci. Comput. Program., 2016

Hitch Hiker 2.0: a binding model with flexible data aggregation for the Internet-of-Things.

Gowri Sankar Ramachandran, José Proença, Wilfried Daniels, Mario Pickavet, Dimitri Staessens, Christophe Huygens, Wouter Joosen, Danny Hughes

J. Internet Serv. Appl., 2016

2015

Tomography: lowering management overhead for distributed component-based applications.

Wilfried Daniels, José Proença, Nelson Matthys, Wouter Joosen, Danny Hughes

Proceedings of the 2nd Workshop on Middleware for Context-Aware Applications in the IoT, 2015

Typed Connector Families.

José Proença, Dave Clarke

Proceedings of the Formal Aspects of Component Software - 12th International Conference, 2015

Hitch Hiker: A Remote Binding Model with Priority Based Data Aggregation for Wireless Sensor Networks.

Gowri Sankar Ramachandran, Wilfried Daniels, José Proença, Sam Michiels, Wouter Joosen, Danny Hughes, Barry Porter

Proceedings of the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering, 2015

Refraction: Low-Cost Management of Reflective Meta-Data in Pervasive Component-Based Applications.

Wilfried Daniels, José Proença, Dave Clarke, Wouter Joosen, Danny Hughes

Proceedings of the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering, 2015

2013

Executable modelling of dynamic software product lines in the ABS language.

Radu Muschevici, Dave Clarke, José Proença

Proceedings of the 5th International Workshop on Feature-Oriented Software Development, 2013

Data Abstraction in Coordination Constraints.

José Proença, Dave Clarke

Proceedings of the Advances in Service-Oriented and Cloud Computing, 2013

Interactive Interaction Constraints.

José Proença, Dave Clarke

Proceedings of the Coordination Models and Languages, 15th International Conference, 2013

2012

The ABS tool suite: modelling, executing and analysing distributed adaptable object-oriented systems.

Peter Y. H. Wong, Elvira Albert, Radu Muschevici, José Proença, Jan Schäfer, Rudolf Schlatte

Int. J. Softw. Tools Technol. Transf., 2012

A Procedure for Splitting Processes and its Application to Coordination

Sung-Shik T. Q. Jongmans, Dave Clarke, José Proença

Proceedings of the Proceedings 11th International Workshop on Foundations of Coordination Languages and Self Adaptation, 2012

Formal analysis of policies in wireless sensor network applications.

Marco Patrignani, Nelson Matthys, José Proença, Danny Hughes, Dave Clarke

Proceedings of the Third International Workshop on Software Engineering for Sensor Network Applications, 2012

Dreams: a framework for distributed synchronous coordination.

José Proença, Dave Clarke, Erik P. de Vink, Farhad Arbab

Proceedings of the ACM Symposium on Applied Computing, 2012

Partial Connector Colouring.

Dave Clarke, José Proença

Proceedings of the Coordination Models and Languages - 14th International Conference, 2012

2011

Channel-based coordination via constraint satisfaction.

Dave Clarke, José Proença, Alexander Lazovik, Farhad Arbab

Sci. Comput. Program., 2011

Decoupled execution of synchronous coordination models via behavioural automata

José Proença, Dave Clarke, Erik P. de Vink, Farhad Arbab

Proceedings of the Proceedings 10th International Workshop on the Foundations of Coordination Languages and Software Architectures, 2011

Modular Modelling of Software Product Lines with Feature Nets.

Radu Muschevici, José Proença, Dave Clarke

Proceedings of the Software Engineering and Formal Methods - 9th International Conference, 2011

2010

Feature Petri Nets.

Radu Muschevici, Dave Clarke, José Proença

Proceedings of the Software Product Lines - 14th International Conference, 2010

Towards a Theory of Views for Feature Models.

Dave Clarke, José Proença

Proceedings of the Software Product Lines - 14th International Conference, 2010

Variability Modelling in the ABS Language.

Dave Clarke, Radu Muschevici, José Proença, Ina Schaefer, Rudolf Schlatte

Proceedings of the Formal Methods for Components and Objects - 9th International Symposium, 2010

2009

Coordination via Interaction Constraints I: Local Logic

Dave Clarke, José Proença

Proceedings of the Proceedings 2nd Interaction and Concurrency Experience: Structured Interactions, 2009

2008

Deconstructing Reo.

Dave Clarke, José Proença, Alexander Lazovik, Farhad Arbab

Proceedings of the 7th International Workshop on the Foundations of Coordination Languages and Software Architectures, 2008

Reconfiguration of Reo Connectors Triggered by Dataflow.

Christian Koehler, David Costa, José Proença, Farhad Arbab

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008

2007

Coordination Models Orc and Reo Compared.

José Proença, Dave Clarke

Proceedings of the 6th International Workshop on the Foundations of Coordination Languages and Software Architectures, 2007

2005

A Framework for Point-Free Program Transformation.

Alcino Cunha, Jorge Sousa Pinto, José Proença

Proceedings of the Implementation and Application of Functional Languages, 2005