AD Scientific Index
 Open Nav
Login Login Pricing & Plans Pricing & Plans
Robert Clarisó

Robert Clarisó

Universitat Oberta de Catalunya - Barcelona / Spain
Engineering & Technology / Computer Science
AD Scientific Index ID: 4340106
Open University of Catalonia
person_outline Robert Clarisó's MOST POPULAR ARTICLES
1-) Verification of UML/OCL class diagrams using constraint programming Software Testing Verification and Validation Workshop, 2008. ICSTW'08. IEEE …, 2008
2-) UMLtoCSP: a tool for the formal verification of UML/OCL models using constraint programming Proceedings of the 22nd IEEE/ACM international conference on Automated …, 2007
3-) Verification and validation of declarative model-to-model transformations through invariants Journal of Systems and Software 83 (2), 283-302, 2010
4-) On the verification of UML/OCL class diagrams using constraint programming Journal of Systems and Software 93, 1-23, 2014
5-) EMFtoCSP: A tool for the lightweight verification of EMF models 2012 First International Workshop on Formal Methods in Software Engineering …, 2012