| 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 | 57 | 2017 |
| 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 | 54 | 2012 |
| 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 | 54 | 2010 |
| 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 | 52 | 2012 |
| Feature petri nets R Muschevici, D Clarke, J Proenca, G Botterweck, S Jarzabek, T Kishi, ... Proceedings of the 14th international software product line conference (SPLC …, 2010 | 52 | 2010 |
| Synchronous coordination of distributed components J Proença, F Arbab, D Clarke, E de Vink | 45 | 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 | 42 | 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 International Conference on Software Engineering and Formal Methods, 318-333, 2011 | 29 | 2011 |
| Feature nets: behavioural modelling of software product lines R Muschevici, J Proença, D Clarke Software & Systems Modeling 15, 1181-1206, 2016 | 27 | 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 | 23 | 2010 |
| Deconstructing Reo D Clarke, J Proença, A Lazovik, F Arbab Electronic Notes in Theoretical Computer Science 229 (2), 43-58, 2009 | 23 | 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 |
| 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 | 22 | 2005 |
| 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 |
| API generation for multiparty session types, revisited and revised using Scala 3 G Cledou, L Edixhoven, SS Jongmans, J Proença 36th European Conference on Object-Oriented Programming (ECOOP 2022), 2022 | 17 | 2022 |
| 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 |
| Composing families of timed automata G Cledou, J Proença, L Soares Barbosa Fundamentals of Software Engineering: 7th International Conference, FSEN …, 2017 | 15 | 2017 |
Dave ClarkeIndependentEmail confirmado em storytel.com
