- Feature Nets: behavioural modelling of software product lines(2016)
Authors: Radu Muschevici, Jose Paiva Proenca, Dave Clarke
Pages: 1181 - 1206
- A procedure for splitting data-aware processes and its application to coordination(2016)
Authors: Dave Clarke, Jose Paiva Proenca
Pages: 47 - 78
- Typed Connector Families(2016)
Authors: Jose Paiva Proenca
Pages: 294 - 311
Number of pages: 18
- Refraction: Low-cost management of reflective meta-data in pervasive component-based applications(2015)
Authors: Wilfried Daniels, Jose Paiva Proenca, Dave Clarke, Wouter Joosen, Danny Hughes
Pages: 27 - 36
- Data abstraction in coordination constraints(2013)
Authors: Jose Paiva Proenca, Dave Clarke
Pages: 159 - 173
- Interactive interaction constraints(2013)
Authors: Jose Paiva Proenca, Dave Clarke
Pages: 211 - 225
- Executable modelling of dynamic software product lines in the ABS language(2013)
Authors: Radu Muschevici, Dave Clarke, Jose Paiva Proenca, Andreas Classen, Nobert Siegmund
Pages: 17 - 24
- Formal analysis of policies in wireless sensor network applications(2012)
Authors: Marco Patrignani, Nelson Matthys, Jose Paiva Proenca, Danny Hughes, Dave Clarke
Pages: 21 - 28
- A procedure for splitting processes and its application to coordination(2012)
Authors: Dave Clarke, Jose Paiva Proenca
Pages: 79 - 96