Jordi Cabot - Google Scholar Citations

Cited by

	All	Since 2015
Citations	6421	4174
h-index	38	35
i10-index	123	91

980

490

245

735

20062007200820092010201120122013201420152016201720182019202050 33 60 104 165 236 373 485 655 620 788 829 975 821 86

Co-authors

Javier Luis Cánovas Izquierdo (ORCI...Universitat Oberta de Catalunya (UOC)Verified email at uoc.edu
Robert ClarisóLecturer, Universitat Oberta de Catalunya (UOC)Verified email at uoc.edu
Marco BrambillaPolitecnico di MilanoVerified email at polimi.it
Manuel WimmerJohannes Kepler University LinzVerified email at jku.at
Hugo BruneliereResearcher-Engineer, PhD - IMT Atlantique & LS2N (CNRS)Verified email at imt-atlantique.fr
Frédéric JouaultESEOVerified email at eseo.fr
Massimo TisiAssociate Professor, Naomod team (IMT Atlantique, LS2N, CNRS)Verified email at imt-atlantique.fr
Valerio CosentinoBitergia, Madrid, SpainVerified email at bitergia.com
Ernest TenienteProfessor of Computer Science, Universitat Politècnica de CatalunyaVerified email at essi.upc.edu
Juan de LaraProfessor, Computer Science Department, Universidad Autónoma de MadridVerified email at uam.es
Gogolla, MartinProfessor für Informatik, University of BremenVerified email at informatik.uni-bremen.de
Salvador MartínezIMT Atlantique (Brest)Verified email at imt-atlantique.fr
Esther GuerraAssociate Professor of Computer Science, Universidad Autónoma de MadridVerified email at uam.es
Abel GómezUniversitat Oberta de CatalunyaVerified email at gomez.llana.me
Daniel Riera TerrénProfessor of Computer Science, Universitat Oberta de Catalunya (UOC)Verified email at uoc.edu
David AmellerFreelance researcherVerified email at ilg.cat
Xavier FranchFull Professor, Universitat Politècnica de CatalunyaVerified email at essi.upc.edu
Gwendal DanielSOM Research Lab - UOC, IN3 - BarcelonaVerified email at uoc.edu
Fabian BüttnerAtlanMod group, INRIA (previously Database Systems Group, University of Bremen)Verified email at inria.fr
Gerson SunyéUniversity of NantesVerified email at univ-nantes.fr

Jordi Cabot

ICREA Research Professor at Internet Interdisciplinary Institute (UOC)

Verified email at icrea.cat - Homepage

model driven engineering software engineering formal methods open source open data


Title	Cited by	Year
Model-driven software engineering in practice M Brambilla, J Cabot, M Wimmer Synthesis lectures on software engineering 3 (1), 1-207, 2017	935	2017
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	247	2008
MoDisco: a generic and extensible framework for model driven reverse engineering H Bruneliere, J Cabot, F Jouault, F Madiot Proceedings of the IEEE/ACM international conference on Automated software …, 2010	207	2010
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	202	2007
Modisco: A model driven reverse engineering framework H Bruneliere, J Cabot, G Dupé, F Madiot Information and Software Technology 56 (8), 1012-1032, 2014	175	2014
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	172	2010
A research roadmap towards achieving scalability in model driven engineering DS Kolovos, LM Rose, N Matragkas, RF Paige, E Guerra, JS Cuadrado, ... Proceedings of the Workshop on Scalability in Model Driven Engineering, 1-10, 2013	141	2013
Object constraint language (OCL): a definitive guide J Cabot, M Gogolla International School on Formal Methods for the Design of Computer …, 2012	136	2012
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	103	2014
From UML/OCL to SBVR specifications: A challenging transformation J Cabot, R Pau, R Raventós Information systems 35 (4), 417-440, 2010	103	2010
Incremental integrity checking of UML/OCL conceptual schemas J Cabot, E Teniente Journal of Systems and Software 82 (9), 1459-1478, 2009	99	2009
Dealing with non-functional requirements in model-driven development D Ameller, X Franch, J Cabot 2010 18th IEEE international requirements engineering conference, 189-198, 2010	94	2010
How do software architects consider non-functional requirements: An exploratory study D Ameller, C Ayala, J Cabot, X Franch 2012 20th IEEE International Requirements Engineering Conference (RE), 41-50, 2012	92	2012
Verification of ATL transformations using transformation models and model finders F Büttner, M Egea, J Cabot, M Gogolla International Conference on Formal Engineering Methods, 198-213, 2012	87	2012
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	87	2012
Combining model-driven engineering and cloud computing H Bruneliere, J Cabot, F Jouault	78	2010
Transformation techniques for OCL constraints J Cabot, E Teniente Science of Computer Programming 68 (3), 179-195, 2007	70	2007
Non-functional requirements in architectural decision making D Ameller, C Ayala, J Cabot, X Franch IEEE software 30 (2), 61-67, 2012	69	2012
Integrating sustainability in decision-making processes: A modelling strategy J Cabot, S Easterbrook, J Horkoff, L Lessard, S Liaskos, JN Mazón 2009 31st International Conference on Software Engineering-Companion Volume …, 2009	67	2009
Improving higher-order transformations support in ATL M Tisi, J Cabot, F Jouault International Conference on Theory and Practice of Model Transformations …, 2010	65	2010

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

Upload PDF

Follow this author

Cited by

Co-authors