Publications

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 Cite Project Project Tech. Report Online tool FM'23

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 Cite 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 Cite 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 Cite 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 Cite 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 Cite Project Project Project Project Slides (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 Cite 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 Cite 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 Cite 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 Cite 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 Cite 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 Cite 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 Cite 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 Cite 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 Cite 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 Cite Code Project Project Project Project Slides DOI Extended

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

PDF Cite Project Project Project DOI

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

PDF Cite Code Project Project Project Project ArXiv

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 Cite Code Project Project Project Slides Video DOI

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

PDF Cite DOI

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 Cite 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.

Cite 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 Cite 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 Cite 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 Cite Code DOI

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

PDF Cite 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.

Cite 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 Cite 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.

Cite 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 Cite 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 Cite 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 Cite 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.

Cite 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 Cite DOI

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

PDF Cite 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 Cite 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 Cite 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 Cite 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 Cite 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.

Cite 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.

Cite 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 Cite 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 Cite 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 Cite 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 Cite 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 Cite 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 Cite 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 Cite 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 Cite 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 Cite DOI

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

PDF Cite 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 Cite 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 Cite DOI

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

PDF Cite 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 Cite 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 Cite

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 Cite

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

PDF Cite 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 Cite 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 Cite DOI

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

PDF Cite 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 Cite DOI