José Proença

Peter Y. H. Wong, Elvira Albert, Radu Muschevici, José Proença, Jan Schäfer, Rudolf Schlatte: The ABS tool suite: modelling, executing and analysing distributed adaptable object-oriented systems. STTT 14(5): 567-588 (2012)

Dave Clarke, José Proença: Partial Connector Colouring. COORDINATION 2012: 59-73

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

Marco Patrignani, Nelson Matthys, José Proença, Danny Hughes, Dave Clarke: Formal analysis of policies in wireless sensor network applications. SESENA 2012: 15-21

Sung-Shik T. Q. Jongmans, Dave Clarke, José Proença: A Procedure for Splitting Processes and its Application to Coordination. FOCLASA 2012: 79-96

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

Radu Muschevici, José Proença, Dave Clarke: Modular Modelling of Software Product Lines with Feature Nets. SEFM 2011: 318-333

José Proença, Dave Clarke, Erik P. de Vink, Farhad Arbab: Decoupled execution of synchronous coordination models via behavioural automata. FOCLASA 2011: 65-79

Dave Clarke, Radu Muschevici, José Proença, Ina Schaefer, Rudolf Schlatte: Variability Modelling in the ABS Language. FMCO 2010: 204-224

Dave Clarke, José Proença: Towards a Theory of Views for Feature Models. SPLC Workshops 2010: 91-98

Radu Muschevici, Dave Clarke, José Proença: Feature Petri Nets. SPLC Workshops 2010: 99-106

Dave Clarke, José Proença, Alexander Lazovik, Farhad Arbab: Deconstructing Reo. Electr. Notes Theor. Comput. Sci. 229(2): 43-58 (2009)

Dave Clarke, José Proença: Coordination via Interaction Constraints I: Local Logic. ICE 2009: 17-39

Christian Koehler, David Costa, José Proença, Farhad Arbab: Reconfiguration of Reo Connectors Triggered by Dataflow. ECEASST 10 (2008)

José Proença, Dave Clarke: Coordination Models Orc and Reo Compared. Electr. Notes Theor. Comput. Sci. 194(4): 57-76 (2008)

Alcino Cunha, Jorge Sousa Pinto, José Proença: A Framework for Point-Free Program Transformation. IFL 2005: 1-18