Statistics
Publications
30
Citations
1.2K
H-Index
18
Active since
2004
Robert Clarisó is an author at Universitat Oberta de Catalunya specializing in computer science, computing, and formal methods.
Publications per year
2004–2025
30
30
Verification of UML/OCL Class Diagrams using Constraint Programming
Jordi Cabot, Robert Clarisó, Daniel Riera · 2008 · 218 citations
Jordi Cabot, Robert Clarisó, Daniel Riera · 2007 · 163 citations
Verification-driven slicing of UML/OCL models
Asadullah Shaikh, Robert Clarisó, Uffe Kock Wiil et al. · 2010 · 58 citations
1–5 of 30