Travelled to:
1 × Australia
1 × Austria
1 × Belgium
1 × Czech Republic
1 × Hungary
1 × Luxembourg
1 × New Zealand
1 × Tunisia
2 × Canada
2 × Denmark
2 × Greece
2 × Switzerland
2 × The Netherlands
3 × Portugal
3 × Spain
4 × Germany
4 × Italy
4 × United Kingdom
5 × France
7 × USA
Collaborated with:
J.L.C.Izquierdo E.Teniente R.Clarisó M.Tisi F.Jouault F.Büttner V.Cosentino C.A.González J.d.Lara G.Sunyé G.Daniel H.Brunelière M.Brambilla S.M.Perez M.Wimmer E.Guerra A.Gómez M.Gogolla C.Gómez J.García D.Riera D.Ameller X.Franch P.Albert R.Tairas P.Langer K.Wieland B.Rolandi A.Benelallam D.Wagelaar P.Bauquel J.Perronnet J.S.Cuadrado O.Díaz M.Egea H.C.Esfahani E.S.K.Yu E.Planas S.Comai A.Olivé H.Ed-Douibi S.Martínez S.Gérard Z.Diskin E.Umuhoza D.Ripamonti S.Sen J.Mottu C.P.Ayala F.Madiot J.Criado L.Iribarne E.Burger F.M.d.Kerchove R.Rodríguez-Echeverría A.Mauri A.Bergel J.García-Alfaro F.Cuppens N.Cuppens-Boulahia W.Kling C.Clasen J.Bézivin F.Durán N.Moreno A.Vallecillo J.R.Romero G.Doux G.Barbier M.D.D.Fabro S.U.Lee P.Desfray D.E.Khelladi R.Hebig R.Bendraou X.Mendialdua G.Bergmann C.Debreceni A.Garmendia D.S.Kolovos S.Trujillo
Talks about:
model (46) transform (21) ocl (13) constraint (10) base (10) uml (9) tool (8) approach (7) rule (7) atl (6)
♂ Person: Jordi Cabot
DBLP: Cabot:Jordi
Facilitated 36 volumes:
Contributed to:
Wrote 68 papers:
- ECMFA-2015-BruneliereGDKHB #lightweight #metamodelling #modelling #on the #tool support
- On Lightweight Metamodel Extension to Support Modeling Tools Agility (HB, JG, PD, DEK, RH, RB, JC), pp. 62–74.
- FASE-2015-GomezTSC #modelling #persistent #scalability
- Map-Based Transparent Persistence for Very Large Models (AG, MT, GS, JC), pp. 19–34.
- ICSE-v2-2015-IzquierdoC #open source
- Enabling the Definition and Enforcement of Governance Rules in Open Source Systems (JLCI, JC), pp. 505–514.
- SANER-2015-CabotICR #open source #using
- Exploring the use of labels to categorize issues in Open-Source Software projects (JC, JLCI, VC, BR), pp. 550–554.
- SANER-2015-CosentinoIC #git #repository
- Assessing the bus factor of Git repositories (VC, JLCI, JC), pp. 499–503.
- SANER-2015-IzquierdoCRBC #git #named
- GiLA: GitHub label analyzer (JLCI, VC, BR, AB, JC), pp. 479–483.
- SEFM-2015-ClarisoGC #bound #ocl #refinement #towards #uml #verification
- Towards Domain Refinement for UML/OCL Bounded Verification (RC, CAG, JC), pp. 108–114.
- SLE-2015-BenelallamGTC #atl #distributed #model transformation #pipes and filters
- Distributed model-to-model transformation with ATL on MapReduce (AB, AG, MT, JC), pp. 37–48.
- SLE-2015-UmuhozaBRC #empirical #modelling #process
- An empirical study on simplification of business process modeling languages (EU, MB, DR, JC), pp. 13–24.
- CAiSE-2014-GarciaDC #adaptation #approach #model-to-text #sql
- An Adapter-Based Approach to Co-evolve Generated SQL in Model-to-Text Transformations (JG, OD, JC), pp. 518–532.
- ICMT-2014-GonzalezC #analysis #constraints #generative #model transformation #testing
- Test Data Generation for Model Transformations Combining Partition and Constraint Analysis (CAG, JC), pp. 25–41.
- CAiSE-2013-IzquierdoC #collaboration #domain-specific language
- Enabling the Collaborative Definition of DSMLs (JLCI, JC), pp. 272–287.
- MoDELS-2013-PerezGCCC #analysis #modelling #network #policy #security
- Model-Driven Extraction and Analysis of Network Security Policies (SMP, JGA, FC, NCB, JC), pp. 52–68.
- TAP-2013-GogollaBC #analysis #benchmark #metric #ocl #tool support #uml
- Initiating a Benchmark for UML and OCL Analysis Tools (MG, FB, JC), pp. 115–132.
- WCRE-2013-CosentinoCABP #cobol #framework #modelling
- Extracting business rules from COBOL: A model-based framework (VC, JC, PA, PB, JP), pp. 409–416.
- WCRE-2013-CosentinoCABP13a #cobol #modelling
- Extracting business rules from COBOL: A model-based tool (VC, JC, PA, PB, JP), pp. 483–484.
- ECMFA-2012-ButtnerC #lightweight #ocl #reasoning #string
- Lightweight String Reasoning for OCL (FB, JC), pp. 244–258.
- ECMFA-J-2012-ButtnerC15 #lightweight #reasoning #string
- Lightweight string reasoning in model finding (FB, JC), pp. 413–427.
- ICMT-2012-SenMTC #model transformation #modelling #using
- Using Models of Partial Knowledge to Test Model Transformations (SS, JMM, MT, JC), pp. 24–39.
- MoDELS-2012-ButtnerEC #atl #off the shelf #on the #smt #using #verification
- On Verifying ATL Transformations Using “off-the-shelf” SMT Solvers (FB, ME, JC), pp. 432–448.
- MoDELS-2012-GonzalezC #approach #atl #generative #named #testing
- ATLTest: A White-Box Test Generation Approach for ATL Transformations (CAG, JC), pp. 449–464.
- RE-2012-AmellerACF #architecture #case study #how #non-functional #requirements
- How do software architects consider non-functional requirements: An exploratory study (DA, CPA, JC, XF), pp. 41–50.
- SFM-2012-CabotG #constraints #ocl
- Object Constraint Language (OCL): A Definitive Guide (JC, MG), pp. 58–90.
- ECMFA-2011-DouxABCFL #approach #eclipse #framework #platform #problem
- An MDE-Based Approach for Solving Configuration Problems: An Application to the Eclipse Platform (GD, PA, GB, JC, MDDF, SUJL), pp. 160–171.
- MoDELS-2011-TisiPJC #execution #lazy evaluation #model transformation
- Lazy Execution of Model-to-Model Transformations (MT, SMP, FJ, JC), pp. 32–46.
- MoDELS-2011-WagelaarTCJ #composition #model transformation #rule-based #semantics #towards
- Towards a General Composition Semantics for Rule-Based Model Transformation (DW, MT, JC, FJ), pp. 623–637.
- SLE-2011-KlingJWBC #domain-specific language #named #query #repository
- MoScript: A DSL for Querying and Manipulating Model Repositories (WK, FJ, DW, MB, JC), pp. 180–200.
- SLE-2011-TairasC #domain-specific language #ocl
- Cloning in DSLs: Experiments with OCL (RT, JC), pp. 60–76.
- TOOLS-EUROPE-2011-LangerWWC #emf #uml
- From UML Profiles to EMF Profiles and Beyond (PL, KW, MW, JC), pp. 52–67.
- TOOLS-EUROPE-J-2011-LangerWWC12 #approach #emf #lightweight #modelling
- EMF Profiles: A Lightweight Extension Approach for EMF Models (PL, KW, MW, JC), pp. 1–29.
- ASE-2010-BruneliereCJM #framework #modelling #named #reverse engineering
- MoDisco: a generic and extensible framework for model driven reverse engineering (HB, JC, FJ, FM), pp. 173–174.
- CAiSE-2010-EsfahaniYC #approach #evaluation
- Situational Evaluation of Method Fragments: An Evidence-Based Goal-Oriented Approach (HCE, ESKY, JC), pp. 424–438.
- ECMFA-2010-BruneliereCCJB #eclipse #modelling #tool support #towards
- Towards Model Driven Tool Interoperability: Bridging Eclipse and Microsoft Modeling Tools (HB, JC, CC, FJ, JB), pp. 32–47.
- ICMT-2010-CabotCGL #graph transformation #ocl #synthesis
- Synthesis of OCL Pre-conditions for Graph Transformation Rules (JC, RC, EG, JdL), pp. 45–60.
- ICMT-2010-TisiCJ #atl #higher-order
- Improving Higher-Order Transformations Support in ATL (MT, JC, FJ), pp. 215–229.
- RE-2010-AmellerFC #development #modelling #non-functional #requirements
- Dealing with Non-Functional Requirements in Model-Driven Development (DA, XF, JC), pp. 189–198.
- CAiSE-2009-PlanasCG #action semantics #behaviour #modelling #semantics #specification #uml #verification
- Verifying Action Semantics Specifications in UML Behavioral Models (EP, JC, CG), pp. 125–140.
- IFM-2009-CabotCR #contract #ocl #uml #verification
- Verifying UML/OCL Operation Contracts (JC, RC, DR), pp. 40–55.
- ICMT-2008-CabotCGL #graph transformation #ocl
- Analysing Graph Transformation Rules through OCL (JC, RC, EG, JdL), pp. 229–244.
- ICSE-2008-CabotDMVR #distributed #experience #modelling #programming #re-engineering
- From programming to modeling: our experience with a distributed software engineering course (JC, FD, NM, AV, JRR), pp. 749–758.
- MoDELS-2008-CabotCGL #analysis #declarative #invariant #model transformation
- An Invariant-Based Method for the Analysis of Declarative Model-to-Model Transformations (JC, RC, EG, JdL), pp. 37–52.
- ASE-2007-CabotCR #constraints #modelling #named #ocl #programming #uml #using #verification
- UMLtoCSP: a tool for the formal verification of UML/OCL models using constraint programming (JC, RC, DR), pp. 547–548.
- MoDELS-2007-BrambillaCC #automation #domain model #generative #modelling #workflow
- Automatic Generation of Workflow-Extended Domain Models (MB, JC, SC), pp. 375–389.
- MoDELS-2007-CabotG #contract #diagrams #uml
- Deriving Operation Contracts from UML Class Diagrams (JC, CG), pp. 196–210.
- CAiSE-2006-CabotT #constraints #evaluation #incremental #ocl
- Incremental Evaluation of OCL Constraints (JC, ET), pp. 81–95.
- ECMDA-FA-2006-CabotT #constraints #overview #tool support
- Constraint Support in MDA Tools: A Survey (JC, ET), pp. 256–267.
- SAC-2006-CabotT #approach #constraints #ocl
- Transforming OCL constraints: a context change approach (JC, ET), pp. 1196–1201.
- SAC-MT-J-2006-CabotT07 #constraints #ocl
- Transformation techniques for OCL constraints (JC, ET), pp. 179–195.
- CAiSE-2005-CabotT #constraints #ocl
- Computing the Relevant Instances That May Violate an OCL Constraint (JC, ET), pp. 48–62.
- UML-2004-CabotT #constraints
- Determining the Structural Events That May Violate an Integrity Constraint (JC, ET), pp. 320–334.
- UML-2003-CabotOT #representation #uml
- Representing Temporal Information in UML (JC, AO, ET), pp. 44–59.
- ICMT-2015-CriadoMIC #model transformation #reuse #using
- Enabling the Reuse of Stored Model Transformations Through Annotations (JC, SMP, LI, JC), pp. 43–58.
- MoDELS-2016-DanielSC #framework #modelling #named
- PrefetchML: a framework for prefetching and caching models (GD, GS, JC), pp. 318–328.
- ECMFA-2017-Ed-DouibiIC #api #specification #web
- Example-Driven Web API Specification Discovery (HED, JLCI, JC), pp. 267–284.
- ECMFA-2017-GomezMBCDGKLT #case study #development #experience #modelling #on the #scalability
- On the Opportunities of Scalable Modeling Technologies: An Experience Report on Wind Turbines Control Applications Development (AG, XM, GB, JC, CD, AG, DSK, JdL, ST), pp. 300–315.
- MoDELS-2017-CuadradoGLCC #constraints #model transformation
- Translating Target to Source Constraints in Model-to-Model Transformations (JSC, EG, JdL, RC, JC), pp. 12–22.
- MoDELS-2017-IzquierdoCC #eclipse #ecosystem #empirical #maturity #modelling
- An Empirical Study on the Maturity of the Eclipse Modeling Ecosystem (JLCI, VC, JC), pp. 292–302.
- ICMT-2018-DanielSC #model transformation #query #scalability
- Scalable Queries and Model Transformations with the Mogwaï Tool (GD, GS, JC), pp. 175–183.
- MoDELS-2018-BruneliereBCW #overview
- A Feature-based Survey of Model View Approaches (HB, EB, JC, MW), p. 211.
- MoDELS-2018-BruneliereKDC #scalability #towards
- Towards Scalable Model Views on Heterogeneous Model Resources (HB, FMdK, GD, JC), pp. 334–344.
- MoDELS-2018-MartinezGC #modelling #robust
- Robust Hashing for Models (SM, SG, JC), pp. 312–322.
- MoDELS-2018-Rodriguez-Echeverria #framework #modelling #protocol #towards #visual notation
- Towards a Language Server Protocol Infrastructure for Graphical Modeling (RRE, JLCI, MW, JC), pp. 370–380.
- SLE-2016-BenelallamTCLC #clustering #distributed #model transformation #performance
- Efficient model partitioning for distributed model transformations (AB, MT, JSC, JdL, JC), pp. 226–238.
- SLE-2016-PerezGC #evaluation #rule-based #runtime
- Runtime support for rule-based access-control evaluation through model-transformation (SMP, JG, JC), pp. 57–69.
- SLE-2017-BrambillaCIM #crowdsourcing #domain-specific language #using
- Better call the crowd: using crowdsourcing to shape the notation of domain-specific languages (MB, JC, JLCI, AM), pp. 129–138.
- ASE-2017-DanielJSC #framework #model transformation #named #scalability
- Gremlin-ATL: a scalable model transformation framework (GD, FJ, GS, JC), pp. 462–472.
- SLE-2019-IzquierdoC #analysis #modelling #programming language
- Analysis and modeling of the governance in general programming languages (JLCI, JC), pp. 179–183.
- FASE-2017-DiskinGC #model transformation #traceability
- Traceability Mappings as a Fundamental Instrument in Model Transformations (ZD, AG, JC), pp. 247–263.