| The ABS tool suite: modelling, executing and analysing distributed adaptable object-oriented systems PYH Wong, E Albert, R Muschevici, J Proença, J Schäfer, R Schlatte International Journal on Software Tools for Technology Transfer 14, 567-588, 2012 | 55 | 2012 |
| Formal verification of ROS-based robotic applications using timed-automata R Halder, J Proença, N Macedo, A Santos 2017 IEEE/ACM 5th International FME Workshop on Formal Methods in Software …, 2017 | 54 | 2017 |
| Variability modelling in the ABS language D Clarke, R Muschevici, J Proença, I Schaefer, R Schlatte Formal Methods for Components and Objects: 9th International Symposium, FMCO …, 2012 | 52 | 2012 |
| Dreams: a framework for distributed synchronous coordination J Proença, D Clarke, E De Vink, F Arbab Proceedings of the 27th Annual ACM Symposium on Applied Computing, 1510-1515, 2012 | 51 | 2012 |
| Feature petri nets R Muschevici, D Clarke, J Proenca Proceedings of the 14th international software product line conference (SPLC …, 2010 | 48 | 2010 |
| Synchronous coordination of distributed components J Proença Leiden University, 2011 | 46 | 2011 |
| Channel-based coordination via constraint satisfaction D Clarke, J Proença, A Lazovik, F Arbab Science of Computer Programming 76 (8), 681-710, 2011 | 43 | 2011 |
| Modeling, testing and executing Reo connectors with the Eclipse Coordination Tools F Arbab, C Koehler, Z Maraikar, YJ Moon, J Proença Tool demo session at FACS 8, 2008 | 41 | 2008 |
| Modular modelling of software product lines with feature nets R Muschevici, J Proença, D Clarke Software Engineering and Formal Methods: 9th International Conference, SEFM …, 2011 | 31 | 2011 |
| Feature nets: behavioural modelling of software product lines R Muschevici, J Proença, D Clarke Software & Systems Modeling 15, 1181-1206, 2016 | 28 | 2016 |
| Deconstructing reo D Clarke, J Proença, A Lazovik, F Arbab Electronic Notes in Theoretical Computer Science 229 (2), 43-58, 2009 | 24 | 2009 |
| Decoupled execution of synchronous coordination models via behavioural automata J Proença, D Clarke, E De Vink, F Arbab arXiv preprint arXiv:1108.0232, 2011 | 22 | 2011 |
| Towards a theory of views for feature models D Clarke, J Proença Proceedings of the First Intl. Workshop on Formal Methods in Software …, 2010 | 22 | 2010 |
| A framework for point-free program transformation A Cunha, JS Pinto, J Proença Implementation and Application of Functional Languages: 17th International …, 2006 | 22 | 2006 |
| Reconfiguration of Reo connectors triggered by dataflow C Koehler, D Costa, J Proença, F Arbab Electronic Communications of the EASST 10, 2008 | 21 | 2008 |
| Partial connector colouring D Clarke, J Proença Coordination Models and Languages: 14th International Conference …, 2012 | 19 | 2012 |
| Composing families of timed automata G Cledou, J Proença, L Soares Barbosa Fundamentals of Software Engineering: 7th International Conference, FSEN …, 2017 | 16 | 2017 |
| A procedure for splitting processes and its application to coordination SSTQ Jongmans, D Clarke, J Proença arXiv preprint arXiv:1209.1422, 2012 | 16 | 2012 |
| Reolive: Analysing connectors in your browser R Cruz, J Proença Software Technologies: Applications and Foundations: STAF 2018 Collocated …, 2018 | 15 | 2018 |
| Interactive interaction constraints J Proença, D Clarke Coordination Models and Languages: 15th International Conference …, 2013 | 15 | 2013 |
Dave ClarkeIndependentVerified email at storytel.com
