| 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 (5), 567-588, 2012 | 51 | 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 | 47 | 2012 |
| Synchronous coordination of distributed components J Proença | 45 | 2011 |
| Variability modelling in the ABS language D Clarke, R Muschevici, J Proença, I Schaefer, R Schlatte International Symposium on Formal Methods for Components and Objects, 204-224, 2010 | 42 | 2010 |
| Feature petri nets R Muschevici, D Clarke, J Proença Proceedings of the 14th International Software Product Line Conference (SPLC …, 2010 | 42 | 2010 |
| Channel-based coordination via constraint satisfaction D Clarke, J Proença, A Lazovik, F Arbab Science of Computer Programming 76 (8), 681-710, 2011 | 38 | 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 | 38 | 2008 |
| 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 | 31 | 2017 |
| Modular modelling of software product lines with feature nets R Muschevici, J Proença, D Clarke International Conference on Software Engineering and Formal Methods, 318-333, 2011 | 25 | 2011 |
| A framework for point-free program transformation A Cunha, JS Pinto, J Proença Symposium on Implementation and Application of Functional Languages, 1-18, 2005 | 23 | 2005 |
| 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 |
| Deconstructing Reo D Clarke, J Proença, A Lazovik, F Arbab Electronic Notes in Theoretical Computer Science 229 (2), 43-58, 2009 | 22 | 2009 |
| Feature Nets: behavioural modelling of software product lines R Muschevici, J Proença, D Clarke Software & Systems Modeling 15 (4), 1181-1206, 2016 | 21 | 2016 |
| 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 | 20 | 2010 |
| Partial connector colouring D Clarke, J Proença International Conference on Coordination Languages and Models, 59-73, 2012 | 19 | 2012 |
| Reconfiguration of Reo connectors triggered by dataflow C Koehler, D Costa, J Proença, F Arbab Electronic Communications of the EASST 10, 2008 | 18 | 2008 |
| 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 |
| Composing families of timed automata G Cledou, J Proença, LS Barbosa International Conference on Fundamentals of Software Engineering, 51-66, 2017 | 15 | 2017 |
| Coordination models Orc and Reo compared J Proença, D Clarke Electronic Notes in Theoretical Computer Science 194 (4), 57-76, 2008 | 14 | 2008 |
| Interactive interaction constraints J Proença, D Clarke International Conference on Coordination Languages and Models, 211-225, 2013 | 13 | 2013 |
Dave ClarkeIndependentVerified email at storytel.com
