A Framework for Point-Free Program Transformation. - Alcino Cunha; Jorge Sousa Pinto; José Proença (IFL, 2005)

Coordination Models Orc and Reo Compared. - José Proença; Dave Clarke 001 (FOCLASA, 2007)

Reconfiguration of Reo Connectors Triggered by Dataflow. - Christian Koehler 001; David Costa 001; José Proença; Farhad Arbab (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008)

Deconstructing Reo. - Dave Clarke 001; José Proença; Alexander Lazovik; Farhad Arbab (FOCLASA@ICALP, 2008)

Coordination via Interaction Constraints I: Local Logic - Dave Clarke 001; José Proença (ICE, 2009)

Variability Modelling in the ABS Language. - Dave Clarke 001; Radu Muschevici; José Proença; Ina Schaefer; Rudolf Schlatte (FMCO, 2010)

Towards a Theory of Views for Feature Models. - Dave Clarke 001; José Proença (SPLC Workshops, 2010)

Feature Petri Nets. - Radu Muschevici; Dave Clarke 001; José Proença (SPLC Workshops, 2010)

Modular Modelling of Software Product Lines with Feature Nets. - Radu Muschevici; José Proença; Dave Clarke 001 (SEFM, 2011)

Decoupled execution of synchronous coordination models via behavioural automata - José Proença; Dave Clarke 001; Erik P. de Vink; Farhad Arbab (FOCLASA, 2011)

Channel-based coordination via constraint satisfaction. - Dave Clarke 001; José Proença; Alexander Lazovik; Farhad Arbab (Sci. Comput. Program., 2011)

Partial Connector Colouring. - Dave Clarke 001; José Proença (COORDINATION, 2012)

Dreams: a framework for distributed synchronous coordination. - José Proença; Dave Clarke 001; Erik P. de Vink; Farhad Arbab (SAC, 2012)

Formal analysis of policies in wireless sensor network applications. - Marco Patrignani; Nelson Matthys; José Proença; Danny Hughes 001; Dave Clarke 001 (SESENA, 2012)

A Procedure for Splitting Processes and its Application to Coordination - Sung-Shik T. Q. Jongmans; Dave Clarke 001; José Proença (FOCLASA, 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 002; Rudolf Schlatte (Int. J. Softw. Tools Technol. Transf., 2012)

Interactive Interaction Constraints. - José Proença; Dave Clarke 001 (COORDINATION, 2013)

Data Abstraction in Coordination Constraints. - José Proença; Dave Clarke 001 (ESOCC Workshops, 2013)

Executable modelling of dynamic software product lines in the ABS language. - Radu Muschevici; Dave Clarke 001; José Proença (FOSD, 2013)

Refraction: Low-Cost Management of Reflective Meta-Data in Pervasive Component-Based Applications. - Wilfried Daniels; José Proença; Dave Clarke 001; Wouter Joosen; Danny Hughes 001 (CBSE, 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 001; Barry Porter (CBSE, 2015)

Typed Connector Families. - José Proença; Dave Clarke 001 (FACS, 2015)

Tomography: lowering management overhead for distributed component-based applications. - Wilfried Daniels; José Proença; Nelson Matthys; Wouter Joosen; Danny Hughes 001 (M4IoT@Middleware, 2015)

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 001 (J. Internet Serv. Appl., 2016)

A procedure for splitting data-aware processes and its application to coordination. - Sung-Shik T. Q. Jongmans; Dave Clarke 001; José Proença (Sci. Comput. Program., 2016)

Feature Nets: behavioural modelling of software product lines. - Radu Muschevici; José Proença; Dave Clarke 001 (Softw. Syst. Model., 2016)

Composing Families of Timed Automata. - Guillermina Cledou; José Proença; Luís Soares Barbosa (FSEN, 2017)

Quality-Aware Reactive Programming for the Internet of Things. - José Proença; Carlos Baquero (FSEN, 2017)

Formal Verification of ROS-Based Robotic Applications Using Timed-Automata. - Raju Halder; José Proença; Nuno Macedo 001; André Santos 001 (FormaliSE@ICSE, 2017)

A Refinement Relation for Families of Timed Automata. - Guillermina Cledou; José Proença; Luís Soares Barbosa (SBMF, 2017)

Typed connector families and their semantics. - José Proença; Dave Clarke 001 (Sci. Comput. Program., 2017)

ReoLive: Analysing Connectors in Your Browser. - Rúben Cruz; José Proença (STAF Workshops, 2018)

Teaching how to program using automated assessment and functional glossy games (experience report). - José Bacelar Almeida; Alcino Cunha; Nuno Macedo 001; Hugo Pacheco 001; José Proença (Proc. ACM Program. Lang., 2018)

Coordination of Tasks on a Real-Time OS. - Guillermina Cledou; José Proença; Bernhard H. C. Sputh; Eric Verhulst (COORDINATION, 2019)

Taming Hierarchical Connectors. - José Proença; Alexandre Madeira (FSEN, 2019)

ARx: Reactive Programming for Synchronous Connectors. - José Proença; Guillermina Cledou (COORDINATION, 2020)

Implementing Hybrid Semantics: From Functional to Imperative. - Sergey Goncharov 001; Renato Neves; José Proença (ICTAC, 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 (RTSS, 2020)

Featured Team Automata. - Maurice H. ter Beek; Guillermina Cledou; Rolf Hennicker; José Proença (FM, 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 002; Bernhard Fischer; Mustafa Karaca; Henrique Madeira; Martin Matschnig; Silvia Mazzini; Giann Spilere Nandi; Fabio Patrone; David Pereira; José Proença; Rupert Schlick; et al. (QUATIC, 2021)

Cross-domain Modelling of Verification and Validation Workflows in the Large Scale European Research Project VALU3S - Invited Paper. - Thomas Bauer 002; 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; et al. (SAMOS, 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)

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 002; Enrico Ferrari; Mikel Labayen Esnaola; Vanessa Orani; Johnny Öberg; David Pereira; José Proença; et al. (Microprocess. Microsystems, 2021)

API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3. - Guillermina Cledou; Luc Edixhoven; Sung-Shik Jongmans; José Proença (ECOOP, 2022)

ST4MP: A Blueprint of Multiparty Session Typing for Multilingual Programming. - Sung-Shik Jongmans; José Proença (ISoLA (1), 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 (RSSRail, 2022)

Branching Pomsets for Choreographies. - Luc Edixhoven; Sung-Shik Jongmans; José Proença; Guillermina Cledou (ICE, 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)

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)

Can we Communicate? Using Dynamic Logic to Verify Team Automata. - Maurice H. ter Beek; Guillermina Cledou; Rolf Hennicker; José Proença (Zenodo, 2022)

Caos: A Reusable Scala Web Animator of Operational Semantics. - José Proença; Luc Edixhoven (COORDINATION, 2023)

Overview on Constrained Multiparty Synchronisation in Team Automata. - José Proença (FACS, 2023)

Can We Communicate? Using Dynamic Logic to Verify Team Automata. - Maurice H. ter Beek; Guillermina Cledou; Rolf Hennicker; José Proença (FM, 2023)

Realisability of Global Models of Interaction. - Maurice H. ter Beek; Rolf Hennicker; José Proença (ICTAC, 2023)

Caos: A Reusable Scala Web Animator of Operational Semantics (Extended With Hands-On Tutorial). - José Proença; Luc Edixhoven (CoRR, 2023)

Spreadsheet-based Configuration of Families of Real-Time Specifications. - José Proença; David Pereira; Giann Spilere Nandi; Sina Borrami; Jonas Melchert (TiCSA@ETAPS, 2023)

Team Automata: Overview and Roadmap. - Maurice H. ter Beek; Rolf Hennicker; José Proença (COORDINATION, 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 (DSN-S, 2024)

Message from the VERDI Workshop Chairs; DSN-W 2024. - David Pereira; José Proença; Behrooz Sangchoolie (DSN-W, 2024)

Reactive Graphs in Action. - David Tinoco; Alexandre Madeira; Manuel A. Martins 001; José Proença (FACS, 2024)

MARS: Safely Instrumenting Runtime Monitors in Real-Time Resource-Constrained Distributed Systems. - Giann Spilere Nandi; David Pereira; José Proença; Eduardo Tovar (INDIN, 2024)

Reactive graphs in action (extended version). - David Tinoco; Alexandre Madeira; Manuel A. Martins 001; José Proença (CoRR, 2024)

Formal Simulation and Visualisation of Hybrid Programs. - Pedro Mendes; Ricardo Correia; Renato Neves; José Proença (FMAS@iFM, 2024)

Branching pomsets: Design, expressiveness and applications to choreographies. - Luc Edixhoven; Sung-Shik Jongmans; José Proença; Ilaria Castellani (J. Log. Algebraic Methods Program., 2024)

Animating Rebeca. - Maurice H. ter Beek; José Proença (Rebeca for Actor Analysis in Action, 2025)

RebeCaos. - José Proença; Maurice H. ter Beek (COORDINATION, 2025)

Logic and Calculi for All on the occasion of Luís Barbosa's 60th birthday. - Alexandre Madeira; José Nuno Oliveira; José Proença; Renato Neves (J. Log. Algebraic Methods Program., 2025)

The CAOS framework for Scala: Computer-aided design of SOS. - José Proença; Luc Edixhoven (Sci. Comput. Program., 2025)

Overview and Roadmap of Team Automata. - Maurice H. ter Beek; Rolf Hennicker; José Proença (CoRR, 2025)

RebeCaos Artefact. - José Proença; Maurice H. ter Beek (Zenodo, 2025)

Introduction to the Special Collection from FACS 2022. - Silvia Lizeth Tapia Tarifa; José Proença; José N. Oliveira (Formal Aspects Comput., 2025)

An Adequate While-Language for Stochastic Hybrid Computation. - Renato Neves; José Proença; Juliana Souza (CoRR, 2025)