2019

• Coordination of tasks on a Real-Time OS, Guillermina Cledou, José Proença, Bernhard H.C. Sputh, and Eric Verhulst, COORDINATION, to appear, 2019
• Taiming Hierarchical Connectors, José Proença and Alexandre Madeira, IPM International Conference on Fundamentals of Software Engineering (FSEN), Lecture Notes in Computer Science (LNCS), to appear, 2019 (slides)

2018

• Teaching How to Program using Automated Assessment and Functional Glossy Games (Experience Report), José Bacelar Almeira, Alcino Cunha, Nuno Macedo, Hugo Pacheco, and José Proença, Proc. ACM Program. Lang. 2, ICFP, Article 82, September 2018
• ReoLive: Analysing Connectors in your Browser, Rúben Cruz, José Proença, Proceedings of the 16th International Workshop on the Foundations of Coordination Languages and Self-Adaptive Systems (FOCLASA), Toulouse, France, 26 June 2018 (to appear)

2017

• A Refinement Relation for Families of Timed Automata, Guillermina Cledou, José Proença, Luís Barbosa, Proceedings of SBMF - Brazilian Symposium on Formal Methods, to appear, 2017
• Typed Connector Families and their semantics, José Proença, Dave Clarke, Science of Computer Programming, Volume 146, Pages 28-49, 15 October 2017 (more)
• Quality-Aware Reactive Programming for the Internet of Things, José Proença, Carlos Baquero, IPM International Conference on Fundamentals of Software Engineering (FSEN), Lecture Notes in Computer Science (LNCS), volume 10522, pages 180-195, 2017
• Composing Families of Timed Automata, Guillermina Cledou, José Proença, Luís Barbosa, IPM International Conference on Fundamentals of Software Engineering (FSEN), Lecture Notes in Computer Science (LNCS), 2017
• Formal Verification of ROS-based Robotic Applications using Timed-Automata, Raju Halder, José Proença, Nuno Macedo, André Santos, FME Workshop on Formal Methods In Software Engineering (FORMALISE), co-located with ICSE, ACM and IEEE Digital Libraries, 2017, to appear

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, Journal of Internet Services and Applications, volume 7, pages 1-15, May 2016
• A Procedure for Splitting Data-Aware Processes and its Application to Coordination, Sung-Shik T.Q. Jongmans, Dave Clarke, José Proença, Science of Computer Programming, volumes 115-116, pages 47-78, January 2016
• Proceedings of the 18th IFIP WG 6.1 International Conference on Coordination Models and Languages (COORDINATION), Alberto Lluch Lafuente and Jose Proenca, Heraklion, Crete, Greece, June 6-9, 2016

2015

• Tomography: lowering management overhead for distributed component-based applications, Wilfried Daniels, José Proença, Nelson Matthys, Wouter Joosen, Danny Hughes, The 2nd Workshop on Middleware for Context-Aware Applications in the IoT (M4IOT), 2015
• Typed Connector Families, José Proença, Dave Clarke, Formal Aspects of Component Software (FACS), Lecture Notes in Computer Science (LNCS), volume 9539, pages 294-311, 2015 (more)
• Feature Nets: behavioural modelling of software product lines, Radu Muschevici, José Proença, Dave Clarke, Software & Systems Modeling (SoSyM), volume 14(3), pages 1-26, 2015
• Proceedings 14th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems (FOCLASA), Jose Proenca, Massimo Tivoli, Madrid, Spain, 5 September 2015
• Proceedings 13th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems (FOCLASA), Javier Camara, Jose Proenca, Rome, Italy, 6 September 2014
• Refraction: Low-Cost Management of Reflective Meta-Data in Pervasive Component-Based Applications, Wilfried Daniels, Jose Proenca, Dave Clarke, Wouter Joosen, Danny Hughes, Proceedings of the CBSE: 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering (part of CompArch 2015), Montreal, Canada, May 4 - May 8, 2015
• Hitch Hiker: a remote binding model with priority based data aggregation for wireless sensor networks, Gowri Sankar Ramachandran, Wilfried Daniels, Jose Proenca, Sam Michiels, Wouter Joosen, and Danny Hughes, Proceedings of the CBSE: 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering (part of CompArch 2015), Montreal, Canada, May 4 - May 8, 2015

2013

• Interactive interaction constraints, Jose Proenca, Dave Clarke, COORDINATION, volume 7890, pages 211-225, Florence, 3-5 June 2013
• Data abstraction in coordination constraints, Jose Proenca, Dave Clarke, Proceedings of the International Workshop on the Foundations of Coordination Languages and Self Adaptive Systems (FOCLASA), Malaga, Spain, 12 September 2013
• Executable modelling of dynamic software product lines in the ABS language, Radu Muschevici, Dave Clarke, Jose Proenca, FOSD@GPCE, pages 17-24, Indianapolis, IN, USA, 26 October 2013
• Solving data-sensitive coordination constraints, Jose Proenca, Dave Dave Clarke, Technical Report (CW Reports), volume CW637, Dept. Computer Science, KU Leuven, February 2013

2012

• The ABS tool suite: modelling, executing and analysing distributed adaptable object-oriented systems, Peter Y. H. Wong, Elvira Albert, Radu Muschevici, Jose Proenca, Jan Schaefer, Rudolf Schlatte, STTT, volume 14(5), pages 567-588, 2012
• Formal analysis of policies in wireless sensor network applications, Marco Patrignani, Nelson Matthys, Jose Proenca, Danny Hughes, Dave Clarke, Software Engineering for Sensor Network Applications, volume 3, pages 21-28, Zurich, 2-2 June 2012
• A procedure for splitting processes and its application to coordination, Sung-Shik Jongmans, Dave Clarke, Jose Proenca, Proceedings 11th International Workshop on Foundations of Coordination Languages and Self Adaptation, volume 91, pages 79-96, Newcastle upon Tyne, 8 September 2012
• Dreams: a framework for distributed synchronous coordination, Jose Proenca, Dave Clarke, Erik de Vink, Farhad Arbab, SAC, 2012
• Partial connector colouring, Dave Clarke, Jose Proenca, COORDINATION, volume 7274, pages 59-73, Sweeden, 14-15 June 2012

2011

• Modular modelling of software product lines with feature nets, Radu Muschevici, Jose Proenca, Dave Clarke, 9th international conference on software engineering and formal methods (SEFM), volume 7041, issue 9, pages 318-333, Montevideo, Uruguay, 14-18 November 2011
• Channel-based coordination via constraint satisfaction, Dave Clarke, Jose Proenca, Alexander Lazovik, Farhad Arbab, Science of Computer Programming, volume 76, issue 8, pages 681-710, August 2011
• Modular Modelling of software product lines with feature nets, Radu Muschevici, Jose Proenca, Dave Clarke, Technical Report (CW Reports), volume CW609, Department of Computer Science, K.U.Leuven, July 2011
• Synchronous Coordination of Distributed Components, Ph.D. Thesis, Jose Proenca, (supervisors: Farhad Arbab, Dave Clarke, Erik de Vink), FCT (Fundacao para a Ciencia e Tecnologia), grant 22485 - 2005, 11 May 2011
• Reconciliation of feature models via pullbacks, Jose Proenca, Dave Clarke, Technical Report (CW Reports), volume CW601, Department of Computer Science, K.U.Leuven, January 2011
• Decoupled execution of synchronous coordination models via behavioural automata, Jose Proenca, Dave Clarke, Erik de Vink, Farhad Arbab, Proceedings of the International Workshop on the Foundations of Coordination Languages and Software Architecture (FOCLASA), Aachen, Germany, 10 September 2011

2010

• Variability modelling in the ABS language, Dave Clarke, Radu Muschevici, Jose Proenca, Ina Schaefer, Rudolf Schlatte, 9th international symposium on formal methods for components and objects (FMCO), volume 6957, Graz, Austria, 29 November - 1 December 2010
• Feature Petri Nets, Radu Muschevici, Dave Clarke, Jose Proenca, Technical Report (Proceedings of the 14th International Software Product Line Conference (SPLC 2010)), volume 2, Lancaster University, September 2010
• Towards a theory of views for feature models, Dave Clarke, Jose Proenca, Proceedings of the First Intl. Workshop on Formal Methods in Software Product Line Engineering (FMSPLE 2010), Jeju Island, South Korea, 14 September 2010

2009

• Coordination via interaction constraints I: Local logic, Dave Clarke, Jose Proenca, Electronic Proceedings in Theoretical Computer Science, volume 12, pages 17-39, Bologna, Italy, 31 August 2009