Robert Clarisó

Cited by

	All	Since 2016
Citations	1816	871
h-index	20	16
i10-index	32	26

200

100

150

2004200520062007200820092010201120122013201420152016201720182019202020215 10 20 24 45 66 104 92 124 147 131 150 177 150 196 150 142 51

Public access

View all

18 articles

3 articles

available

not available

Based on funding mandates

Co-authors

Jordi CabotICREA Research Professor at Internet Interdisciplinary Institute (UOC)Verified email at icrea.cat
Daniel Riera TerrénProfessor of Computer Science, Universitat Oberta de Catalunya (UOC)Verified email at uoc.edu
Juan de LaraProfessor, Computer Science Department, Universidad Autónoma de MadridVerified email at uam.es
Esther GuerraAssociate Professor of Computer Science, Universidad Autónoma de MadridVerified email at uam.es
Jordi CortadellaUniversitat Politècnica de CatalunyaVerified email at upc.edu
Santi CaballéUniversitat Oberta de Catalunya. Faculty of Computer ScienceVerified email at uoc.edu
David Bañeres BesoraLecturer, Universitat Oberta de CatalunyaVerified email at uoc.edu
Jordi Conesa i CaraltCoordinator of the Data Science field at the eHealth Center - Universitat Oberta de CatalunyaVerified email at uoc.edu
David Gañan JimenezVerified email at uoc.edu
Josep Jorba EsteveProfessor, Universitat Oberta de CatalunyaVerified email at uoc.edu
Àngels RiusLecturer at Computer Science Studies-Universitat Oberta de Catalunya (UOC)Verified email at uoc.edu
David Masip RodoProfessor Universitat Oberta de Catalunya (UOC)Verified email at uoc.edu
Elena PlanasUniversitat Oberta de CatalunyaVerified email at uoc.edu
Marco BrambillaPolitecnico di MilanoVerified email at polimi.it
Fabian BüttnerAtlanMod group, INRIA (previously Database Systems Group, University of Bremen)Verified email at inria.fr
Anjali Sree-KumarPhD. StudentVerified email at uoc.edu
Davinia Hernández-LeoFull Professor, TIDE group, ICT Department, Universitat Pompeu Fabra, BarcelonaVerified email at upf.edu
Alejandra Martínez MonésAssociate Professor, Dept. Computer Science, Universidad de ValladolidVerified email at infor.uva.es
Sebastien GerardCEA ListVerified email at cea.fr
Jesús Sánchez CuadradoUniversidad de MurciaVerified email at um.es

Robert Clarisó

Associate professor, Universitat Oberta de Catalunya (UOC)

Verified email at uoc.edu - Homepage

Formal methods Software Engineering Model-Driven Engineering


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
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	279	2008
UMLtoCSP: a tool for the formal verification of UML/OCL models using constraint programming J Cabot, R Clarisó, D Riera Proceedings of the twenty-second IEEE/ACM international conference on …, 2007	223	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	190	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	133	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	112	2012
The octahedron abstract domain R Clarisó, J Cortadella International Static Analysis Symposium, 312-327, 2004	101	2004
Verifying UML/OCL operation contracts J Cabot, R Clarisó, D Riera International Conference on Integrated Formal Methods, 40-55, 2009	72	2009
The octahedron abstract domain R Clarisó, J Cortadella Science of Computer Programming 64 (1), 115-139, 2007	70	2007
Verification-driven slicing of UML/OCL models A Shaikh, R Clarisó, UK Wiil, N Memon Proceedings of the IEEE/ACM international conference on Automated software …, 2010	65	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	47	2013
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	42	2014
Verification of timed circuits with symbolic delays R Clarisó, J Cortadella ASP-DAC 2004: Asia and South Pacific Design Automation Conference 2004 (IEEE …, 2004	33	2004
Verification of concurrent systems with parametric delays using octahedra R Clarisó, J Cortadella Fundamenta Informaticae 78 (1), 1-33, 2007	32	2007
Analysing graph transformation rules through OCL J Cabot, R Clarisó, E Guerra, J De Lara Theory and Practice of Model Transformations, 229-244, 2008	29	2008
Cognifying model-driven software engineering J Cabot, R Clarisó, M Brambilla, S Gérard Federation of International Conferences on Software Technologies …, 2017	27	2017
Introducció al treball final R Clarisó Apunts de la Universitat Oberta de Catalunya, 2013	27	2013
A UML/OCL framework for the analysis of graph transformation rules J Cabot, R Clarisó, E Guerra, J de Lara Software & Systems Modeling 9 (3), 335-357, 2010	26	2010
UML-OCL verification in practice J Cabot, R Clarisó MoDELS Workshops - Proc. 1st International Workshopon Challenges in Model …, 2008	24	2008
Backwards reasoning for model transformations: Method and applications R Clarisó, J Cabot, E Guerra, J de Lara Journal of Systems and Software 116, 113-132, 2016	21	2016
Student projects empowering mobile learning in higher education À Rius, D Masip, R Clarisó International Journal of Educational Technology in Higher Education 11 (1 …, 2014	21*	2014

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow this author

Cited by

Co-authors