Verification of UML/OCL class diagrams using constraint programming J Cabot, R Clarisó, D Riera Software Testing Verification and Validation Workshop, 2008. ICSTW'08. IEEE …, 2008 | 295 | 2008 |
UMLtoCSP: a tool for the formal verification of UML/OCL models using constraint programming J Cabot, R Clarisó, D Riera Proceedings of the 22nd IEEE/ACM international conference on Automated …, 2007 | 251 | 2007 |
Verification and validation of declarative model-to-model transformations through invariants J Cabot, R Clarisó, E Guerra, J de Lara Journal of Systems and Software 83 (2), 283-302, 2010 | 208 | 2010 |
On the verification of UML/OCL class diagrams using constraint programming J Cabot, R Clarisó, D Riera Journal of Systems and Software 93, 1-23, 2014 | 151 | 2014 |
EMFtoCSP: A tool for the lightweight verification of EMF models CA González, F Büttner, R Clarisó, J Cabot 2012 First International Workshop on Formal Methods in Software Engineering …, 2012 | 129 | 2012 |
The octahedron abstract domain R Clarisó, J Cortadella Static Analysis: 11th International Symposium, SAS 2004, Verona, Italy …, 2004 | 106 | 2004 |
The octahedron abstract domain R Clarisó, J Cortadella Science of Computer Programming 64 (1), 115-139, 2007 | 75 | 2007 |
Verifying UML/OCL operation contracts J Cabot, R Clarisó, D Riera International conference on integrated formal methods, 40-55, 2009 | 74 | 2009 |
Verification-driven slicing of UML/OCL models A Shaikh, R Clarisó, UK Wiil, N Memon Proceedings of the 25th IEEE/ACM International Conference on Automated …, 2010 | 72 | 2010 |
Implementación de buenas prácticas en los Trabajos Fin de Grado D Hernández-Leo, V Moreno Oliver, I Camps, R Clarisó, ... REDU. Revista de Docencia Universitaria 11, 269-278, 2013 | 70 | 2013 |
Cognifying model-driven software engineering J Cabot, R Clarisó, M Brambilla, S Gérard Software Technologies: Applications and Foundations: STAF 2017 Collocated …, 2018 | 67 | 2018 |
A NLP-based architecture for the autocompletion of partial domain models L Burgueño, R Clarisó, S Li, S Gérard, J Cabot 33rd International Conference on Advanced Information Systems Engineering …, 2021 | 65 | 2021 |
Experiences in digital circuit design courses: A self-study platform for learning support D Baneres, R Clariso, J Jorba, M Serra IEEE Transactions on Learning Technologies 7 (4), 360-374, 2014 | 56 | 2014 |
Formative Assessment, Learning Data Analytics and Gamification In ICT Education S Caballé, R Clarisó Academic Press, 2016 | 43 | 2016 |
Extracting software product line feature models from natural language specifications A Sree-Kumar, E Planas, R Clarisó 22nd International Conference on Systems and Software Product Line-Volume 1 …, 2018 | 39 | 2018 |
ICT-FLAG: a web-based e-assessment platform featuring learning analytics and gamification D Gañán, S Caballé, R Clarisó, J Conesa, D Bañeres International Journal of Web Information Systems 13 (1), 25-54, 2017 | 35 | 2017 |
Verification of concurrent systems with parametric delays using octahedra R Clarisó, J Cortadella Fundamenta Informaticae 78 (1), 1-33, 2007 | 34 | 2007 |
Verification of timed circuits with symbolic delays R Clarisó, J Cortadella ASP-DAC 2004: Asia and South Pacific Design Automation Conference 2004 (IEEE …, 2004 | 34 | 2004 |
Analysing graph transformation rules through OCL J Cabot, R Clarisó, E Guerra, J De Lara Theory and Practice of Model Transformations, 229-244, 2008 | 31 | 2008 |
Applying graph kernels to model-driven engineering problems R Clarisó, J Cabot 1st International Workshop on Machine Learning and Software Engineering in …, 2018 | 30 | 2018 |