| 2026 | FM | Asynchronous Team Automata. | Davide Basile, Maurice H. ter Beek, Jos Proena |
| 2025 | Coordination | RebeCaos. | Jos Proena, Maurice H. ter Beek |
| 2025 | PPDP | An adequate while-language for stochastic hybrid computation. | Renato Neves, Jos Proena, Juliana Souza |
| 2024 | Coordination | Team Automata: Overview and Roadmap. | Maurice H. ter Beek, Rolf Hennicker, Jos Proena |
| 2024 | DSN | Reducing the gap between theory and practice in real-time systems with MARS. | Giann Spilere Nandi, David Pereira, Jos Proena, Eduardo Tovar, Lus Nogueira |
| 2024 | DSN | Message from the VERDI Workshop Chairs; DSN-W 2024. | David Pereira, Jos Proena, Behrooz Sangchoolie |
| 2024 | INDIN | MARS: Safely Instrumenting Runtime Monitors in Real-Time Resource-Constrained Distributed Systems. | Giann Spilere Nandi, David Pereira, Jos Proena, Eduardo Tovar |
| 2023 | Coordination | Caos: A Reusable Scala Web Animator of Operational Semantics. | Jos Proena, Luc Edixhoven |
| 2023 | FM | Can We Communicate? Using Dynamic Logic to Verify Team Automata. | Maurice H. ter Beek, Guillermina Cledou, Rolf Hennicker, Jos Proena |
| 2023 | ICTAC | Realisability of Global Models of Interaction. | Maurice H. ter Beek, Rolf Hennicker, Jos Proena |
| 2022 | ECOOP | API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3. | Guillermina Cledou, Luc Edixhoven, Sung-Shik Jongmans, Jos Proena |
| 2022 | ISoLA | ST4MP: A Blueprint of Multiparty Session Typing for Multilingual Programming. | Sung-Shik Jongmans, Jos Proena |
| 2021 | FM | Featured Team Automata. | Maurice H. ter Beek, Guillermina Cledou, Rolf Hennicker, Jos Proena |
| 2021 | QUATIC | 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 Proena, Rupert Schlick, Stefano Tonetta, Ugur Yayan, Behrooz Sangchoolie |
| 2020 | Coordination | ARx: Reactive Programming for Synchronous Connectors. | Jos Proena, Guillermina Cledou |
| 2020 | ICTAC | Implementing Hybrid Semantics: From Functional to Imperative. | Sergey Goncharov, Renato Neves, Jos Proena |
| 2020 | RTSS | Work-In-Progress: a DSL for the safe deployment of Runtime Monitors in Cyber-Physical Systems. | Giann Spilere Nandi, David Pereira, Jos Proena, Eduardo Tovar |
| 2019 | Coordination | Coordination of Tasks on a Real-Time OS. | Guillermina Cledou, Jos Proena, Bernhard H. C. Sputh, Eric Verhulst |
| 2017 | ICSE | Formal Verification of ROS-Based Robotic Applications Using Timed-Automata. | Raju Halder, Jos Proena, Nuno Macedo, Andr Santos |
| 2015 | Middleware | Tomography: lowering management overhead for distributed component-based applications. | Wilfried Daniels, Jos Proena, Nelson Matthys, Wouter Joosen, Danny Hughes |
| 2013 | Coordination | Interactive Interaction Constraints. | Jos Proena, Dave Clarke |
| 2013 | GPCE | Executable modelling of dynamic software product lines in the ABS language. | Radu Muschevici, Dave Clarke, Jos Proena |
| 2012 | Coordination | Partial Connector Colouring. | Dave Clarke, Jos Proena |
| 2012 | SAC | Dreams: a framework for distributed synchronous coordination. | Jos Proena, Dave Clarke, Erik P. de Vink, Farhad Arbab |
| 2011 | SEFM | Modular Modelling of Software Product Lines with Feature Nets. | Radu Muschevici, Jos Proena, Dave Clarke |
| 2010 | SPLC | Towards a Theory of Views for Feature Models. | Dave Clarke, Jos Proena |
| 2010 | SPLC | Feature Petri Nets. | Radu Muschevici, Dave Clarke, Jos Proena |