Jordi Cabot - Google Scholar

Cited by

	All	Since 2015
Citations	6817	4528
h-index	38	35
i10-index	127	93

1000

500

250

750

20062007200820092010201120122013201420152016201720182019202050 34 64 113 176 235 378 483 662 631 803 844 981 846 369

Co-authors

Javier Luis Cánovas Izquierdo (ORCI...Universitat Oberta de Catalunya (UOC)Verified email at uoc.edu
Robert ClarisóAssociate professor, 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
Valerio Cosentino
Frédéric JouaultESEOVerified email at eseo.fr
Massimo TisiAssociate Professor, Naomod team (IMT Atlantique, LS2N, CNRS)Verified email at imt-atlantique.fr
Juan de LaraProfessor, Computer Science Department, Universidad Autónoma de MadridVerified email at uam.es
Ernest TenienteProfessor of Computer Science, Universitat Politècnica de CatalunyaVerified email at essi.upc.edu
Esther GuerraAssociate Professor of Computer Science, 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
Daniel Riera TerrénProfessor of Computer Science, Universitat Oberta de Catalunya (UOC)Verified email at uoc.edu
Abel GómezUniversitat Oberta de CatalunyaVerified email at gomez.llana.me
Gwendal DanielSOM Research Lab - UOC, IN3 - BarcelonaVerified email at uoc.edu
David AmellerFreelance researcherVerified email at ilg.cat
Xavier FranchFull Professor, Universitat Politècnica de CatalunyaVerified email at essi.upc.edu
Fabian BüttnerAtlanMod group, INRIA (previously Database Systems Group, University of Bremen)Verified email at inria.fr
Hamza Ed-douibiUOCVerified email at uoc.edu

Jordi Cabot

ICREA Research Professor at Internet Interdisciplinary Institute (UOC)

Verified email at icrea.cat - Homepage

software engineering modeling open source bots AI


Title Sort by citations Sort by year Sort by title	Cited by 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	1013	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	260	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	216	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	208	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	187	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	176	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	149	2013
Object constraint language (OCL): a definitive guide J Cabot, M Gogolla International School on Formal Methods for the Design of Computer …, 2012	142	2012
From UML/OCL to SBVR specifications: A challenging transformation J Cabot, R Pau, R Raventós Information systems 35 (4), 417-440, 2010	109	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	108	2014
Incremental integrity checking of UML/OCL conceptual schemas J Cabot, E Teniente Journal of Systems and Software 82 (9), 1459-1478, 2009	102	2009
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	98	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	93	2012
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	93	2010
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	89	2012
Non-functional requirements in architectural decision making D Ameller, C Ayala, J Cabot, X Franch IEEE software 30 (2), 61-67, 2012	79	2012
Combining model-driven engineering and cloud computing H Bruneliere, J Cabot, F Jouault	78	2010
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	75	2009
Transformation techniques for OCL constraints J Cabot, E Teniente Science of Computer Programming 68 (3), 179-195, 2007	72	2007
Verifying UML/OCL operation contracts J Cabot, R Clarisó, D Riera International Conference on Integrated Formal Methods, 40-55, 2009	69	2009

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