Robert Clarisó

Cited by

	All	Since 2018
Citations	2146	844
h-index	24	17
i10-index	37	24

200

100

150

200420052006200720082009201020112012201320142015201620172018201920202021202220238 9 19 25 45 66 96 98 130 149 136 156 173 159 193 162 153 151 152 32

Public access

View all

26 articles

3 articles

available

not available

Based on funding mandates

Co-authors

Jordi CabotHead of the Software Engineering RDI Unit at Luxembourg Institute of Science and Technology (LIST)Verified email at list.lu
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
Santi CaballéUniversitat Oberta de Catalunya. Faculty of Computer ScienceVerified email at uoc.edu
Jordi CortadellaUniversitat Politècnica de CatalunyaVerified email at upc.edu
David Bañeres BesoraLecturer, Universitat Oberta de CatalunyaVerified email at uoc.edu
Jordi Conesa i CaraltAssociated Professor - Universitat Oberta de CatalunyaVerified email at uoc.edu
David Gañan JimenezVerified email at uoc.edu
Elena PlanasUniversitat Oberta de CatalunyaVerified email at uoc.edu
Marco BrambillaPolitecnico di MilanoVerified email at polimi.it
Àngels RiusLecturer at Computer Science Studies-Universitat Oberta de Catalunya (UOC)Verified email at uoc.edu
Anjali Sree-KumarPhD. StudentVerified email at uoc.edu
Josep Jorba EsteveProfessor, Universitat Oberta de CatalunyaVerified email at uoc.edu
David Masip RodoFull Professor of Computer Science, Universitat Oberta de Catalunya (UOC)Verified email at uoc.edu
Fabian BüttnerAtlanMod group, INRIA (previously Database Systems Group, University of Bremen)Verified email at inria.fr
Davinia Hernández-LeoFull Professor, TIDE group, ICT Department, Universitat Pompeu Fabra, BarcelonaVerified email at upf.edu
Alejandra Martínez Monés (ORCID:00...GSIC. Departamento de Informática. Universidad de ValladolidVerified email at infor.uva.es
Sebastien GerardCEA ListVerified email at cea.fr
Joan Arnedo-MorenoUniversitat Oberta de CatalunyaVerified email at uoc.edu

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	293	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	240	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	200	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	149	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	121	2012
The octahedron abstract domain R Clarisó, J Cortadella Static Analysis: 11th International Symposium, SAS 2004, Verona, Italy …, 2004	106	2004
Verifying UML/OCL operation contracts J Cabot, R Clarisó, D Riera Integrated Formal Methods: 7th International Conference, IFM 2009 …, 2009	75	2009
The octahedron abstract domain R Clarisó, J Cortadella Science of Computer Programming 64 (1), 115-139, 2007	73	2007
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	71	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	64	2013
Cognifying model-driven software engineering J Cabot, R Clarisó, M Brambilla, S Gérard Software Technologies: Applications and Foundations: STAF 2017 Collocated …, 2018	56	2018
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	50	2014
Formative Assessment, Learning Data Analytics and Gamification In ICT Education S Caballé, R Clarisó Academic Press, 2016	34	2016
Analysing graph transformation rules through OCL J Cabot, R Clarisó, E Guerra, J De Lara Theory and Practice of Model Transformations, 229-244, 2008	33	2008
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
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, 2017	30	2017
Introducció al treball final R Clarisó Apunts de la Universitat Oberta de Catalunya, 2013	30	2013
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	28	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	27	2021

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

Cited by

Co-authors