Robert Clarisó

Citée par

	Toutes	Depuis 2019
Citations	2494	1003
indice h	26	17
indice i10	45	26

200

100

150

2004200520062007200820092010201120122013201420152016201720182019202020212022202320248 9 20 24 45 62 90 105 128 149 131 155 166 158 199 160 158 148 168 182 183

Accès public

Tout afficher

33 articles

6 articles

disponibles

non disponibles

Sur la base des exigences liées au financement

Coauteurs

Jordi CabotHead of the Software Engineering RDI Unit at Luxembourg Institute of Science and Technology (LIST)Adresse e-mail validée de list.lu
Daniel Riera TerrénProfessor of Computer Science, Universitat Oberta de Catalunya (UOC)Adresse e-mail validée de uoc.edu
Juan de LaraProfessor, Computer Science Department, Universidad Autónoma de MadridAdresse e-mail validée de uam.es
Esther GuerraAssociate Professor of Computer Science, Universidad Autónoma de MadridAdresse e-mail validée de uam.es
Santi CaballéUniversitat Oberta de Catalunya. Faculty of Computer ScienceAdresse e-mail validée de uoc.edu
Jordi CortadellaUniversitat Politècnica de CatalunyaAdresse e-mail validée de upc.edu
Jordi Conesa i CaraltAssociated Professor - Universitat Oberta de CatalunyaAdresse e-mail validée de uoc.edu
David Bañeres BesoraLecturer, Universitat Oberta de CatalunyaAdresse e-mail validée de uoc.edu
David Gañan JimenezAdresse e-mail validée de uoc.edu
Elena PlanasUniversitat Oberta de CatalunyaAdresse e-mail validée de uoc.edu
Josep Jorba EsteveAssociated Professor. Universitat Oberta de Catalunya (UOC) (RoR:01f5wp925), Barcelona, SPAINAdresse e-mail validée de uoc.edu
Marco BrambillaPolitecnico di MilanoAdresse e-mail validée de polimi.it
Anjali Sree-KumarPh.D.Adresse e-mail validée de uoc.edu
Àngels RiusLecturer at Computer Science Studies-Universitat Oberta de Catalunya (UOC)Adresse e-mail validée de uoc.edu
David Masip RodoFull Professor of Computer Science, Universitat Oberta de Catalunya (UOC)Adresse e-mail validée de uoc.edu
Fabian BüttnerAtlanMod group, INRIA (previously Database Systems Group, University of Bremen)Adresse e-mail validée de inria.fr
Jose-Ramon Rodriguezjrodriguezber@uoc.eduAdresse e-mail validée de uoc.edu
Josep Maria Marco-SimóUniversitat Oberta de Catalunya (Estudis d'Informàtica, Multimèdia i Telecomunicació)Adresse e-mail validée de uoc.edu
Davinia Hernández-LeoFull Professor, TIDE group, ICT Department, Universitat Pompeu Fabra, BarcelonaAdresse e-mail validée de upf.edu
Alejandra Martínez Monés (ORCID:00...Escuela de Ingeniería Informática. Departamento de Informática. GSIC. Universidad de ValladolidAdresse e-mail validée de infor.uva.es

Suivre

Robert Clarisó

Associate professor, Universitat Oberta de Catalunya (UOC)

Adresse e-mail validée de uoc.edu - Page d'accueil

Formal Methods Software Engineering Model-Driven Engineering


Titre Trier par citations Trier par année Trier par titre	Citée par Citée par	Année
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	301	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	256	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	158	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	133	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 International conference on integrated formal methods, 40-55, 2009	77	2009
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	76	2021
The octahedron abstract domain R Clarisó, J Cortadella Science of Computer Programming 64 (1), 115-139, 2007	76	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	72	2010
Cognifying model-driven software engineering J Cabot, R Clarisó, M Brambilla, S Gérard Software Technologies: Applications and Foundations: STAF 2017 Collocated …, 2018	70	2018
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
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	57	2014
Formative Assessment, Learning Data Analytics and Gamification In ICT Education S Caballé, R Clarisó Academic Press, 2016	45	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	44	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	36	2017
Applying graph kernels to model-driven engineering problems R Clarisó, J Cabot 1st International Workshop on Machine Learning and Software Engineering in …, 2018	34	2018
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

Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.

Articles 1–20

Nombre de citations par an

Citations en double

Citations fusionnées

Ajouter les coauteursCoauteurs

Suivre

Citée par

Coauteurs