Publications

Pedro Mendes, Ricardo Correia, Renato Neves, José Proença (2024). Formal Simulation and Visualisation of Hybrid Programs. Proceedings Sixth International Workshop on Formal Methods for Autonomous Systems, FMAS@iFM 2024, Manchester, UK, 11th-13th of November 2024.

PDF Code Project Project Slides Lince tool

José Proença, Luc Edixhoven (2024). The CAOS framework for Scala: computer-aided design of SOS. Science of Computer Programming.

PDF Code Project Project DOI

David Tinoco, Manuel A. Martins, Alexandre Madeira, José Proença (2024). Reactive graphs in action. Formal Aspects of Component Software - 20th International Conference, FACS 2024, Milan, Italy, September 9-10, 2024, Revised Selected Papers.

PDF Code Project DOI Marge tool Tutoral video (by David Tinoco) Slides@FACS'24 Slides@APM'24 Slides@ReacTS/SEFM'24 FACS 2024

Maurice H. ter Beek, Rolf Hennicker, José Proença (2024). Team Automata: Overview and Roadmap. Coordination Models and Languages - 26th IFIP WG 6.1 International Conference, COORDINATION 2024, Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June 17-21, 2024, Proceedings.

PDF Project DOI Coordination 2024

Giann Spilere Nandi, David Pereira, José Proença, Eduardo Tovar, Luís Nogueira (2024). Reducing the gap between theory and practice in real-time systems with MARS. 54th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2024 - Supplemental Volume, Brisbane, Australia, June 24-27, 2024.

PDF DOI DSN 2024

Luc Edixhoven, Sung-Shik Jongmans, José Proença, Ilaria Castelani (2024). Branching pomsets: design, expressiveness and applications to choreographies. Journal of Logical and Algebraic Methods in Programming.

PDF Code Project Project Project Slides (@ICE'23 by Luc) B-Pomset tool

M. H. ter Beek, R. Hennicker, J. Proença (2023). Realisability of Global Models of Interaction. ICTAC - 20th International Colloquium on Theoretical Aspects of Computing, Lima, Peru, December 4-8, 2023, Proceedings.

PDF Project Project Project Extended version Online tool ICTAC'23 Slides

José Proença (2023). Overview on Constrained Multiparty Synchronisation in Team Automata. Formal Aspects of Component Software - 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers.

PDF Project Project Slides

José Proença, Luc Edixhoven (2023). Caos: A Reusable Scala Web Animator of Operational Semantics. Coordination Models and Languages - 21st IFIP WG 6.1 International Conference, COORDINATION 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Portugal, June 19-23, 2023, Proceedings.

PDF Project Project Coordination 2023 CAOS tool Slides Demo-video Tutorial

Maurice H. ter Beek, Guillermina Cledou, Rolf Hennicker, José Proença (2023). Can we Communicate? Using Dynamic Logic to Verify Team Automata. Formal Methods - 25th international symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings.

PDF Project Project Tech. Report Online tool Slides FM'23

José Proença, Sina Borrami, Jorge Sanchez de Nova, David Pereira, Giann Spilere Nandi (2023). Spreadsheet-based Configuration of Families of Real-Time Specifications. Proceedings of the First Workshop on Trends in Configurable Systems Analysis, TiCSA, 2023, Paris, France, co-located with ETAPS 2023.

PDF Project Project Project TiCSA@ETAPS'23 Slides Uppex tool

Giann Spilere Nandi, David Pereira, José Proença, Eduardo Tovar, Antonio Rodriguez, Pablo Garrido (2023). Secure integration of extremely resource-constrained nodes on distributed ROS2 applications. Open Research Europe.

PDF Project Project DOI

Giann Nandi, David Pereira, José Proença, José Santos, Lourenço Rodrigues, André Lourenço, Eduardo Tovar (2022). MARS: a toolset for the safe and secure deployment of heterogeneous distributed systems. 43rd IEEE Real-Time Systems Symposium, RTSS 2022, Houston, USA, December 5-8, 2022.

PDF ERSA@RTSS

Sung-Shik Jongmans, José Proença (2022). ST4MP: A Blueprint of Multiparty Session Typing for Multilingual Programming. Leveraging Applications of Formal Methods, Verification and Validation - 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2022, Rhodes, Greece, October 24-28, 2022, Proceedings.

PDF Code Project Project ST4MP tool ISoLA 2022

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

PDF Project Project Project DOI Pompset tool

Guillermina Cledou, Luc Edixhoven, Sung-Shik Jongmans, José Proença (2022). API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3. 36th European Conference on Object-Oriented Programming, ECOOP 2022, June 6-10, 2022, Berlin, Germany.

PDF Code Project Project Project DOI Pompset tool Artifact ECOOP 2022

Luc Edixhoven, Sung-Shik Jongmans, José Proença, Guillermina Cledou (2022). Branching pomsets for choreographies. Proceedings 15th Interaction and Concurrency Experience, ICE 2022, Lucca, Italy, 17th June 2022.

PDF Code Project Project Project Project Slides (by Luc) Slides (@ICE'23 by Luc) B-Pomset tool ICE 2022

José Proença, Sina Borrami, Jorge Sanchez de Nova, David Pereira, Giann Spilere Nandi (2022). Verification of Multiple Models of a Safety-Critical Motor Controller in Railway Systems. Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - 4th International Conference, RSSRail 2022, Paris, France, June 1-2, 2022, Proceedings.

PDF Project Project Project DOI RSSRail'22 Slides Uppex tool

José Proença, Markus Lumpe (2022). Special issue on selected papers from the 14th International Conference on Formal Aspects of Component Software (FACS 2017). Science of Computer Programming, Elsevier.

PDF DOI

Silvia Lizeth Tapia Tarifa, José Proença (2022). Formal Aspects of Component Software - 18th International Conference, FACS 2022, Virtual Event, November 10-11, 2022, Proceedings. Springer.

PDF DOI

Maurice H. ter Beek, Guillermina Cledou, Rolf Hennicker, José Proença (2021). Featured Team Automata. Formal Methods - 24th international symposium, FM 2019, Beijing, China, November 20-26, 2021, Proceedings.

PDF Project Project Project DOI arXiv Online tool Slides (by Guillermina) FM'21

José Proença, Andrei Paskevich (2021). Proceedings of the 6th Workshop on Formal Integrated Development Environment, F-IDE@NFM 2021, Held online, 24-25th May 2021.

PDF DOI

Guillermina Cledou, José Proença, Bernhard H. C. Sputh, Eric Verhulst (2021). Hubs for VirtuosoNext: Online verification of real-time coordinators. Science of Computer Programming.

PDF Code Project Project Project Project DOI

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 (2021). Cross-domain Modelling of Verification and Validation Workflows in the Large Scale European Research Project VALU3S - Invited Paper. Embedded Computer Systems: Architectures, Modeling, and Simulation - 21st International Conference, SAMOS 2021, Virtual Event, July 4-8, 2021, Proceedings.

PDF Project DOI SAMOS 2021

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 (2021). A Proposal for the Classification of Methods for Verification and Validation of Safety, Cybersecurity, and Privacy of Automated Systems. Quality of Information and Communications Technology - 14th International Conference, QUATIC 2021, Algarve, Portugal, September 8-11, 2021, Proceedings.

PDF DOI

Giann Spilere Nandi, David Pereira, José Proença, Eduardo Tovar (2020). Work-In-Progress: a DSL for the safe deployment of Runtime Monitors in Cyber-Physical Systems. 41st IEEE Real-Time Systems Symposium, RTSS 2020, Houston, TX, USA, December 1-4, 2020.

PDF Project Project Project DOI

Sergey Goncharov, Renato Neves, José Proença (2020). Implementing Hybrid Semantics: From Functional to Imperative. Theoretical Aspects of Computing - ICTAC 2020 - 17th International Colloquium, Macau S.A.R., China, October 31 - November 30, 2020, Proceedings.

PDF Code Project Project Project Project DOI Extended Slides (by Renato) Lince

Guillermina Cledou, José Proença, Bernhard H.C. Sputh, Eric Verhulst (2020). Verification of Real-Time Coordination in VirtuosoNext (extended version).

PDF Project Project Project DOI

Sergey Goncharov, Renato Neves, José Proença (2020). Implementing Hybrid Semantics: From Functional to Imperative (Extended Version). CoRR.

PDF Code Project Project Project Project ArXiv Lince

José Proença, Guillermina Cledou (2020). ARx: Reactive Programming for Synchronous Connectors. Coordination Models and Languages - 22nd IFIP WG 6.1 International Conference, COORDINATION 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings.

PDF Code Project Project Project Slides Video DOI

Sergey Goncharov, Renato Neves, José Proença (2019). Lince: Lightweight Prototyping of Hybrid Programs.

PDF DOI Lince

José Proença, Alexandre Madeira (2019). Taming Hierarchical Connectors. Fundamentals of Software Engineering - 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers.

PDF Code Project Slides DOI

Rosemary Monahan, Virgile Prevosto, José Proença (2019). Proceedings of F-IDE@FM 2019. Proceedings Fifth Workshop on Formal Integrated Development Environment, F-IDE@FM 2019, Porto, Portugal, 7th October 2019.

Project DOI

Guillermina Cledou, José Proença, Bernhard H. C. Sputh, Eric Verhulst (2019). Coordination of Tasks on a Real-Time OS. Coordination Models and Languages - 21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17-21, 2019, Proceedings.

PDF Code Project Project Slides DOI

José Bacelar Almeida, Alcino Cunha, Nuno Macedo, Hugo Pacheco, José Proença (2018). Teaching how to program using automated assessment and functional glossy games (experience report). Proceedings of the ACM on Programming Languages - ICFP 2018.

PDF Code DOI

Rúben Cruz, José Proença (2018). ReoLive: Analysing Connectors in Your Browser. Software Technologies: Applications and Foundations - STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers.

PDF Code DOI

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

PDF Code Slides DOI

Elvira Albert, Ivan Lanese, Alberto Lluch-Lafuente, José Proença (2017). Special Issue of COORDINATION and FORTE 2016. Logical Methods in Computer Science, Episciences, Volume 13, 2017.

LMCS

José Proença, Carlos Baquero (2017). Quality-Aware Reactive Programming for the Internet of Things. Fundamentals of Software Engineering - 7th International Conference, FSEN 2017, Tehran, Iran, April 26-28, 2017, Revised Selected Papers.

PDF Slides DOI

José Proença, Markus Lumpe (2017). Proceedings of FACS 2017. Formal Aspects of Component Software - 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings.

DOI

Raju Halder, José Proença, Nuno Macedo, André Santos (2017). Formal Verification of ROS-Based Robotic Applications Using Timed-Automata. 5th IEEE/ACM International FME Workshop on Formal Methods in Software Engineering, FormaliSE@ICSE 2017, Buenos Aires, Argentina, May 27, 2017.

PDF DOI

Guillermina Cledou, José Proença, Luís Soares Barbosa (2017). Composing Families of Timed Automata. Fundamentals of Software Engineering - 7th International Conference, FSEN 2017, Tehran, Iran, April 26-28, 2017, Revised Selected Papers.

PDF DOI

Guillermina Cledou, José Proença, Luís Soares Barbosa (2017). A Refinement Relation for Families of Timed Automata. Formal Methods: Foundations and Applications - 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings.

PDF DOI

Alberto Lluch-Lafuente, José Proença (2016). Proceedings of COORDINATION 2016. Coordination Models and Languages - 18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings.

DOI

Gowri Sankar Ramachandran, José Proença, Wilfried Daniels, Mario Pickavet, Dimitri Staessens, Christophe Huygens, Wouter Joosen, Danny Hughes (2016). Hitch Hiker 2.0: a binding model with flexible data aggregation for the Internet-of-Things. J. Internet Serv. Appl..

PDF DOI

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

PDF DOI

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

PDF DOI

José Proença, Dave Clarke (2015). Typed Connector Families. Formal Aspects of Component Software - 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers.

PDF Code Slides DOI

Wilfried Daniels, José Proença, Nelson Matthys, Wouter Joosen, Danny Hughes (2015). Tomography: lowering management overhead for distributed component-based applications. Proceedings of the 2nd Workshop on Middleware for Context-Aware Applications in the IoT, M4IoT@Middleware 2015, Vancouver, BC, Canada, December 7-11, 2015.

PDF DOI

Wilfried Daniels, José Proença, Dave Clarke, Wouter Joosen, Danny Hughes (2015). Refraction: Low-Cost Management of Reflective Meta-Data in Pervasive Component-Based Applications. Proceedings of the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering, CBSE 2015, Montreal, QC, Canada, May 4-8, 2015.

PDF DOI

José Proença, Massimo Tivoli (2015). Proceedings of FOCLASA@CONCUR 2015. Proceedings 14th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems, FOCLASA 2015, Madrid, Spain, 5th September 2015.

DOI

Javier Cámara, José Proença (2015). Proceedings of FOCLASA@CONCUR 2014. Proceedings 13th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems, FOCLASA 2014, Rome, Italy, 6th September 2014.

DOI

Gowri Sankar Ramachandran, Wilfried Daniels, José Proença, Sam Michiels, Wouter Joosen, Danny Hughes, Barry Porter (2015). Hitch Hiker: A Remote Binding Model with Priority Based Data Aggregation for Wireless Sensor Networks. Proceedings of the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering, CBSE 2015, Montreal, QC, Canada, May 4-8, 2015.

PDF DOI

José Proença, Dave Clarke (2013). Interactive Interaction Constraints. Coordination Models and Languages, 15th International Conference, COORDINATION 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings.

PDF DOI

Radu Muschevici, Dave Clarke, José Proença (2013). Executable modelling of dynamic software product lines in the ABS language. 5th International Workshop on Feature-Oriented Software Development, FOSD ‘13, Indianapolis, IN, USA, October 26, 2013.

PDF DOI

José Proença, Dave Clarke (2013). Data Abstraction in Coordination Constraints. Advances in Service-Oriented and Cloud Computing - Workshops of ESOCC 2013, Málaga, Spain, September 11-13, 2013, Revised Selected Papers.

PDF DOI

Peter Y. H. Wong, Elvira Albert, Radu Muschevici, José Proença, Jan Schäfer, Rudolf Schlatte (2012). The ABS tool suite: modelling, executing and analysing distributed adaptable object-oriented systems. Int. J. Softw. Tools Technol. Transf..

PDF DOI

Dave Clarke, José Proença (2012). Partial Connector Colouring. Coordination Models and Languages - 14th International Conference, COORDINATION 2012, Stockholm, Sweden, June 14-15, 2012. Proceedings.

PDF DOI

Marco Patrignani, Nelson Matthys, José Proença, Danny Hughes, Dave Clarke (2012). Formal analysis of policies in wireless sensor network applications. Third International Workshop on Software Engineering for Sensor Network Applications, SESENA 2012, 2 June 2012, Zurich, Switzerland, Proceedings.

PDF DOI

José Proença, Dave Clarke, Erik P. de Vink, Farhad Arbab (2012). Dreams: a framework for distributed synchronous coordination. Proceedings of the ACM Symposium on Applied Computing, SAC 2012, Riva, Trento, Italy, March 26-30, 2012.

PDF DOI

Sung-Shik T. Q. Jongmans, Dave Clarke, José Proença (2012). A Procedure for Splitting Processes and its Application to Coordination. Proceedings 11th International Workshop on Foundations of Coordination Languages and Self Adaptation, FOCLASA 2012, Newcastle, U.K., September 8, 2012.

PDF DOI

José Proença (2011). Synchronous Coordination of Distributed Components.

PDF Cover Propositions Acknowledgments

Radu Muschevici, José Proença, Dave Clarke (2011). Modular Modelling of Software Product Lines with Feature Nets. Software Engineering and Formal Methods - 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings.

PDF DOI

José Proença, Dave Clarke, Erik P. de Vink, Farhad Arbab (2011). Decoupled execution of synchronous coordination models via behavioural automata. Proceedings 10th International Workshop on the Foundations of Coordination Languages and Software Architectures, FOCLASA 2011, Aachen, Germany, 10th September, 2011.

PDF DOI

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

PDF DOI

Dave Clarke, Radu Muschevici, José Proença, Ina Schaefer, Rudolf Schlatte (2010). Variability Modelling in the ABS Language. Formal Methods for Components and Objects - 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers.

PDF DOI

Dave Clarke, José Proença (2010). Towards a Theory of Views for Feature Models. Software Product Lines - 14th International Conference, SPLC 2010, Jeju Island, South Korea, September 13-17, 2010. Workshop Proceedings (Volume 2 : Workshops, Industrial Track, Doctoral Symposium, Demonstrations and Tools).

PDF

Radu Muschevici, Dave Clarke, José Proença (2010). Feature Petri Nets. Software Product Lines - 14th International Conference, SPLC 2010, Jeju Island, South Korea, September 13-17, 2010. Workshop Proceedings (Volume 2 : Workshops, Industrial Track, Doctoral Symposium, Demonstrations and Tools).

PDF

Dave Clarke, José Proença, Alexander Lazovik, Farhad Arbab (2009). Deconstructing Reo. Electron. Notes Theor. Comput. Sci..

PDF DOI

Dave Clarke, José Proença (2009). Coordination via Interaction Constraints I: Local Logic. Proceedings 2nd Interaction and Concurrency Experience: Structured Interactions, ICE 2009, Bologna, Italy, 31st August 2009.

PDF DOI

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

PDF DOI

José Proença, Dave Clarke (2008). Coordination Models Orc and Reo Compared. Electron. Notes Theor. Comput. Sci..

PDF DOI

Alcino Cunha, Jorge Sousa Pinto, José Proença (2005). A Framework for Point-Free Program Transformation. Implementation and Application of Functional Languages, 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers.

PDF DOI