Cabot Sagrera, Jordi

Publicacions (110)
  • Cabot, J., Cánovas, J., Cosentino, V. (2018). "Viewpoint: Are CS conferences (too) closed communities?". Communications of the ACM. Núm. 10, Pàg. 32-34. ISSN.0001-0782. DOI: 10.1145/3209580.
  • Martínez, S., Fouche, A., Gérard, S., Cabot, J. (2018). "Automatic generation of security compliant (virtual) model views". Lecture Notes in Computer Science. Pàg. 109-117. ISSN.0302-9743. DOI: 10.1007/978-3-030-00847-5_10.
  • Gómez , A., Cabot, J., Wimmer, M. (2018). "TemporalEMF: A temporal metamodeling framework". Lecture Notes in Computer Science. Pàg. 365-381. ISSN.0302-9743. DOI: 10.1007/978-3-030-00847-5_26.
  • Gómez , A., Smith, C., Spellmann, A., Cabot, J. (2018). "Enabling performance modeling for the masses: Initial experiences". Lecture Notes in Computer Science. Pàg. 105-126. ISSN.0302-9743. DOI: 10.1007/978-3-030-01042-3_7.
  • Afzal, W., Bruneliere, H., Di Ruscio, D., Sadovykh, A., Mazzini, S., Cariou, E., Truscan, D., Cabot, J., Gómez , A., Gorroñogoitia, J., Pomante, L., Smrz, P. (2018). "The MegaM@Rt2 ECSEL project: MegaModelling at Runtime ¿ Scalable model-based framework for continuous development and runtime validation of complex systems". Microprocessors and Microsystems. Pàg. 86-95. ISSN.0141-9331. DOI: 10.1016/j.micpro.2018.05.010.
  • Ed-Douibi, H., Cánovas, J., Cabot, J. (2018). "APIComposer: Data-driven composition of REST APIs". Lecture Notes in Computer Science. Pàg. 161-169. ISSN.0302-9743. DOI: 10.1007/978-3-319-99819-0_12.
  • Benelallam, A., Gómez , A., Tisi, M., Cabot, J. (2018). "Distributing relational model transformation on MapReduce". Journal of Systems and Software. Pàg. 1-20. ISSN.0164-1212. DOI: 10.1016/j.jss.2018.04.014.
  • Ed-Douibi, H., Cánovas, J., Cabot, J. (2018). Model-driven development of OData services: An application to relational databases. A: 2018 12th International Conference on Research Challenges in Information Science (RCIS). Los Alamitos, CA: IEEE Computer Society. Pàg. 1-12. ISBN. 978-153866517-6
  • Cabot, J., Egyed, A. (2018). "Introduction to the special issue on the 18th international conference on model driven engineering languages and systems (MODELS'15)". Software and Systems Modeling. Núm. 3, Pàg. 715-716. ISSN.1619-1366. DOI: 10.1007/s10270-017-0577-x.
  • Daniel, G., Sunyé, G., Cabot, J. (2018). "Scalable queries and model transformations with the Mogwaï tool". Lecture Notes in Computer Science. Pàg. 175-183. ISSN.0302-9743. DOI: 10.1007/978-3-319-93317-7_9.
  • Martínez, S., Gérard, S., Cabot, J. (2018). "On Watermarking for Collaborative Model-Driven Engineering". IEEE Access. Pàg. 29715-29728. ISSN.2169-3536. DOI: 10.1109/ACCESS.2018.2841020.
  • Ed-Douibi, H., Cánovas, J., Cabot, J. (2018). "OpenAPItoUML: A tool to generate UML models from OpenAPI definitions". Lecture Notes in Computer Science. Pàg. 487-491. ISSN.0302-9743. DOI: 10.1007/978-3-319-91662-0_41.
  • Cánovas, J., Cabot, J. (2018). The Role of Foundations in Open Source Projects. A: ICSE-SEIS '18. Proceedings of the 40th International Conference on Software Engineering: Software Engineering in Society. New York, NY: ACM Press . Pàg. 3-12. ISBN. 978-1-4503-5661-9
  • Cabot, J. (2018). "Word press: A content management system to democratize publishing". IEEE Software. Núm. 3, Pàg. 89-92. ISSN.0740-7459. DOI: 10.1109/MS.2018.2141016.
  • Amaral, V., Cabot, J., Goulão, M. (2018). "Special issue on quality in Model-Driven Engineering". Computer Languages, Systems and Structures. ISSN.1477-8424. DOI: 10.1016/j.cl.2018.03.001.
  • Rodríguez , R., Cánovas, J., Cabot, J. (2018). "Towards a UML and IFML Mapping to GraphQL". Lecture Notes in Computer Science. Pàg. 149-155. ISSN.0302-9743. DOI: 10.1007/978-3-319-74433-9_13.
  • Cosentino, V., Cánovas, J., Cabot, J. (2018). "GITANA: A software project inspector". Science of Computer Programming. Pàg. 30-33. ISSN.0167-6423. DOI: 10.1016/j.scico.2017.12.002.
  • Bill, R., Brucker, A., Cabot, J., Gogolla, M., Vallecillo, A., Willink, E. (2018). "Workshop in OCL and Textual Modelling: Report on Recent Trends and Panel Discussions". Lecture Notes in Computer Science. Pàg. 297-301. ISSN.0302-9743. DOI: 10.1007/978-3-319-74730-9_26.
  • Cabot, J., Clarisó, R., Brambilla, M., Gerard, S. (2018). Cognifying Model-Driven Software Engineering. A: Seidl, M., Zschaler, S. Software Technologies: Applications and Foundations. Springer . Pàg. 154-160. ISBN. 978-3-319-74729-3
  • Daniel, G., Sunyé, G., Benelallam, A., Tisi, M., Vernageau, Y., Gómez , A., Cabot, J. (2017). "NeoEMF: A multi-database model persistence framework for very large models". Science of Computer Programming. Pàg. 9-14. ISSN.0167-6423. DOI: 10.1016/j.scico.2017.08.002.Accés al text complet de la publicació.
  • Clarisó, R., González, C., Cabot, J. (2017). "Smart Bound Selection for the Verification of UML/OCL Class Diagrams". IEEE Transactions on Software Engineering. ISSN.0098-5589. DOI: 10.1109/TSE.2017.2777830.
  • Daniel, G., Jouault, F., Sunyé, G., Cabot, J. (2017). Gremlin-ATL: A scalable model transformation framework. A: Di Penta, M., Nguyen, T., Rosu, G. ASE 2017 - Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering. Los Alamitos, CA: IEEE - Institute of Electrical and Electronics Engineers. Pàg. 462-472. ISBN. 978-1-5386-2684-9
  • Cánovas, J., Cosentino, V., Cabot, J. (2017). An Empirical Study on the Maturity of the Eclipse Modeling Ecosystem. A: 2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems. IEEE Computer Society. Pàg. 292-302. ISBN. 978-1-5386-3492-9
  • Sánchez, J., Guerra, E., de Lara, J., Clarisó, R., Cabot, J. (2017). Translating target to source constraints in model-to-model transformations. A: 2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS). Los Alamitos, California: IEEE Computer Society. Pàg. 12-22. ISBN. 978-1-5386-3492-9
  • Brambilla, M., Cabot, J., Cánovas, J., Mauri, A. (2017). Better call the crowd: using crowdsourcing to shape the notation of domain-specific languages. A: SLE 2017. Proceedings of the 10th ACM SIGPLAN International Conference on Software Language Engineering. ACM Press . Pàg. 129-138. ISBN. 978-1-4503-5525-4
  • Paige, R., Cabot, J., Ernst, N. (2017). "Foreword to the special section on negative results in software engineering". Empirical Software Engineering. Núm. 5, Pàg. 2453-2456. ISSN.1382-3256. DOI: 10.1007/s10664-017-9498-0.
  • Bruneliere, H., Burger, E., Cabot, J., Wimmer, M. (2017). "A feature-based survey of model view approaches". Software and Systems Modeling. Pàg. 1-22. ISSN.1619-1366. DOI: 10.1007/s10270-017-0622-9.
  • Cosentino, V., Gérard, S., Cabot, J. (2017). "A model-based approach to gamify the learning of modeling". CEUR Workshop Proceedings. Pàg. 15-24. ISSN.1613-0073.
  • Martínez, S., Cosentino, V., Cabot, J. (2017). "Model-based analysis of Java EE web security misconfigurations". Computer Languages, Systems and Structures. Pàg. 36-61. ISSN.1477-8424. DOI: 10.1016/j.cl.2017.02.001.
  • Ed-Douibi, H., Cánovas, J., Cabot, J. (2017). "Example-driven web API specification discovery". Lecture Notes in Computer Science. Pàg. 267-284. ISSN.0302-9743. DOI: 10.1007/978-3-319-61482-3_16.
  • Gómez , A., Mendialdua, X., Bergmann, G., Cabot, J., Debreceni, C., Garmendia, A., Kolovos, D., de Lara, J., Trujillo, S. (2017). "On the Opportunities of Scalable Modeling Technologies: An Experience Report on Wind Turbines Control Applications Development". Lecture Notes in Computer Science. Pàg. 300-315. ISSN.0302-9743. DOI: 10.1007/978-3-319-61482-3_18.
  • Cosentino, V., Cánovas, J., Cabot, J. (2017). "A Systematic Mapping Study of Software Development with GitHub". IEEE Access. Pàg. 7173-7192. ISSN.2169-3536. DOI: 10.1109/ACCESS.2017.2682323.
  • Ed-Douibi, H., Cánovas, J., Cabot, J. (2017). "A UML Profile for OData Web APIs". Lecture Notes in Computer Science. Pàg. 420-428. ISSN.0302-9743. DOI: 10.1007/978-3-319-60131-1_28.
  • Diskin, Z., Gómez , A., Cabot, J. (2017). "Traceability Mappings as a Fundamental Instrument in Model Transformations". Lecture Notes in Computer Science. Pàg. 247-263. ISSN.0302-9743. DOI: 10.1007/978-3-662-54494-5_14.
  • Borge, R., Cánovas, J., Cabot, J. (2017). ¿Colaboración con deliberación?: Evaluación de la deliberación en las plataformas colaborativas de código abierto. El caso de Bootstrap en GitHub. A: Cotarelo, R., Gil, J. Ciberpolítica: gobierno abierto, redes, deliberación, democracia. MADRID: Instituto Nacional de Administración Pública (INAP) . Pàg. 145-167. ISBN. 978-84-7351-559-7
  • Brucker, A., Cabot, J., Sánchez-Barbudo, A. (2016). "CEUR Workshop Proceedings: Preface". CEUR Workshop Proceedings. Pàg. 1-2. ISSN.1613-0073.
  • Gogolla, M., Cabot, J. (2016). "Continuing a Benchmark for UML and OCL Design and Analysis Tools". Lecture Notes in Computer Science. Pàg. 289-302. ISSN.0302-9743. DOI: 10.1007/978-3-319-50230-4_22.
  • Cánovas, J., Cosentino, V., Cabot, J. (2016). "Analysis of co-authorship graphs of CORE-ranked software conferences". Scientometrics. Núm. 3, Pàg. 1665-1693. ISSN.0138-9130. DOI: 10.1007/s11192-016-2136-6.
  • Cosentino, V., Cánovas, J., Cabot, J. (2016). Meta Science: An Holistic Approach for Research Modeling. A: Comy-Wattiau, I., Saeki, M., Song, I., Tanaka, K., Yamamoto, S. Conceptual Modeling. 35th International Conference, ER 2016, Gifu, Japan, November 14-17, 2016, Proceedings. Springer-Verlag GmbH . Pàg. 365-380. ISBN. 978-3-319-46396-4
  • Planas, E., Cabot, J., Gómez, C. (2016). "Lightweight and Static Verification of UML Executable Models ". Computer Languages, Systems and Structures. Pàg. 66-90. ISSN.1477-8424. DOI: 10.1016/j.cl.2016.07.002.
  • Cánovas, J., Cabot, J. (2016). "Collaboro: A collaborative (meta) modeling tool". PeerJ. Núm. 10, ISSN.2167-8359. DOI: 10.7717/peerj-cs.84.
  • Martínez, S., García, J., Cabot, J. (2016). Runtime Support for Rule-Based Access-Control Evaluation through Model-Transformation. A: Balland, E., van der Storm, T., Varro, D. SLE 2016. Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering. New York, NY: ACM Press . Pàg. 57-69. ISBN. 978-1-4503-4447-0
  • Benelallam, A., Tisi, M., Sánchez, J., de Lara, J., Cabot, J. (2016). Efficient Model Partitioning for Distributed Model Transformations. A: Balland, E., van del Storm, T., Varro, D. SLE 2016. Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering. New York, NY: ACM Press . Pàg. 226-238. ISBN. 978-1-4503-4447-0
  • Daniel, G., Sunyé, G., Cabot, J. (2016). "UMLtoGraphDB: Mapping Conceptual Schemas to Graph Databases". Lecture Notes in Computer Science. Pàg. 430-444. ISSN.0302-9743. DOI: 10.1007/978-3-319-46397-1_33.
  • Cabot, J., Cánovas, J., Cosentino, V. (2016). "Community-based software development for MDE tools". CEUR Workshop Proceedings. Pàg. 45-50. ISSN.1613-0073.
  • Daniel, G., Sunyé, G., Benelallam, A., Tisi, M., Vernageau, Y., Gómez , A., Cabot, J. (2016). "NeoEMF: a Multi-database Model Persistence Framework for Very Large Models". CEUR Workshop Proceedings. Pàg. 1-7. ISSN.1613-0073.
  • Mernik, M., Cabot, J. (2016). Foreword of the Thematic Track Quality Aspects in Model-Driven Engineering. A: Amaral, V., Brito, M., Goulao, M., Machado, R., Paulk, M. 2016 10th International Conference on the Quality of Information and Communications Technology (QUATIC). Washington, DC: IEEE Computer Society. Pàg. 87. ISBN. 978-150903581-6
  • Cánovas, J., Cabot, J. (2016). "JSONDiscoverer: Visualizing the schema lurking behind JSON documents". Knowledge-Based Systems. Pàg. 52-55. ISSN.0950-7051. DOI: 10.1016/j.knosys.2016.03.020.
  • Clarisó, R., Cabot, J., Guerra, E., de Lara, J. (2016). "Backwards reasoning for model transformations: method and applications". Journal of Systems and Software. Pàg. 113-132. ISSN.0164-1212. DOI: 10.1016/j.jss.2015.08.017.
  • Cosentino, V., Cánovas, J., Cabot, J. (2016). Findings from GitHub: Methods, Datasets and Limitations. A: Proceedings - 13th Working Conference on Mining Software Repositories. Association for Computing Machinery, Inc. Pàg. 137-141. ISBN. 978-145034186-8
  • Bergmayr, A., Bruneliere, H., Cabot, J., García, J., Mayerhofer, T., Wimmer, M. (2016). FREX: FUML-based reverse engineering of executable behavior for software dynamic analysis. A: 8th International Workshop on Modeling in Software Engineering, MiSE 2016. Association for Computing Machinery, Inc. Pàg. 20-26. ISBN. 9781450341646
  • Martínez, S., Cosentino, V., Cabot, J. (2016). Model-based analysis of Java EE web security configurations. A: 8th International Workshop on Modeling in Software Engineering, MiSE 2016. Association for Computing Machinery, Inc. Pàg. 55-61. ISBN. 9781450341646
  • Ed-Douibi, H., Cánovas, J., Gómez, A., Tisi, M., Cabot, J. (2016). EMF-REST: Generation of restful APIs from models. A: Proceedings of the ACM Symposium on Applied Computing. ACM Press . Pàg. 1446-1453. ISBN. 978-145033739-7
  • Bruneliere, H., Garcia, J., Wimmer, M., Cabot, J. (2015). "EMF Views: A View Mechanism for Integrating Heterogeneous Models". Lecture Notes in Computer Science. Pàg. 317-325. ISSN.0302-9743. DOI: 10.1007/978-3-319-25264-3_23.
  • Cosentino, V., Cánovas, J., Cabot, J. (2015). "Gitana: A SQL-Based Git Repository Inspector". Lecture Notes in Computer Science. Pàg. 329-343. ISSN.0302-9743. DOI: 10.1007/978-3-319-25264-3_24.
  • Cánovas, J., Cosentino, V., Cabot, J. (2015). "Popularity will NOT bring more contributions to your OSS project". Journal of Object Technology. Núm. 4, ISSN.1660-1769. DOI: 10.5381/jot.2015.14.4.e1.
  • Clarisó, R., González, C., Cabot, J. (2015). "Towards domain refinement for UML/OCL bounded verification". Lecture Notes in Computer Science. Pàg. 108-114. ISSN.0302-9743. DOI: 10.1007/978-3-319-22969-0_8.
  • Bruneliere, H., Cabot, J., Cánovas, J., Arrieta, L., Strauss, O., Wimmer, M. (2015). "Software Modernization Revisited: Challenges and Prospects". Computer. Núm. 8, Pàg. 76-80. ISSN.0018-9162. DOI: 10.1109/MC.2015.234.
  • Bruneliere, H., Garcia, J., Desfray, P., Khelladi, D., Hebig, R., Bendraou, R., Cabot, J. (2015). "On Lightweight Metamodel Extension to Support Modeling Tools Agility". Lecture Notes in Computer Science. Pàg. 62-74. ISSN.0302-9743. DOI: 10.1007/978-3-319-21151-0_5.
  • Cánovas, J., Cabot, J. (2015). Enabling the definition and enforcement of governance rules in open source systems. A: Kellenberger, P. Software Engineering (ICSE), 2015 IEEE/ACM 37th IEEE International Conference on (Volume:2 ). IEEE Computer Society. Pàg. 505-514. ISBN. 978-1-4799-1934-5Accés al text complet de la publicació.
  • Cabot, J., Clarisó, R., Riera, D. (2014). "On the Verification of UML/OCL Class Diagrams Using Constraint Programming". Journal of Systems and Software. Pàg. 1-23. ISSN.0164-1212. DOI: 10.1016/j.jss.2014.03.023.Accés al text complet de la publicació.
  • Planas, E., Sànchez, D., Cabot, J., Gómez, C. (2012). "Alf-verifier: An eclipse plugin for verifying alf/UML executable models". Lecture Notes in Computer Science. Pàg. 378-382. ISSN.0302-9743. DOI: 10.1007/978-3-642-33999-8_44.
  • González, C., Büttner, F., Clarisó, R., Cabot, J. (2012). EMFtoCSP: A Tool for the Lightweight Verification of EMF Models. A: Gnesi, S., Gruner, S., Plat, N., Rumpe, B. Proceedings of the Workshop on Formal Methods in Software Engineering: Rigorous and Agile Approaches (FormSERA 2012). Zurich: IEEE. Pàg. 44-50. ISBN. 978-1-4673-1907-2
  • Planas, E., Cabot, J., Gómez, C. (2011). "Lightweight Verification of Executable Models". Lecture Notes in Computer Science. Pàg. 467-475. ISSN.0302-9743. DOI: 10.1007/978-3-642-24606-7_37.
  • Cabot, J., Clarisó, R., Gogolla, M., Wolff, B. (2011). " Proceedings of theWorkshop on OCL and Textual Modelling (OCL 2011) ". Electronic Communications of the EASST. Pàg. 1-3. ISSN.1863-2122.
  • Planas, E., Cabot, J., Gómez, C. (2011). Two basic correctness properties for ATL transformations: Executability and coverage. A: Kurtev, I., Tisi, M., Wagelaar, D. Workshop on Model Transformation with ATL (MtATL-2011). CEUR Workshops Proceedings. Pàg. 1-9. ISBN. 1613-0073
  • Cabot, J., Chimiak-Opoka, J., Gogolla, M., Jouault, F., Knapp, A. (2010). "Ninth international workshop on the pragmatics of OCL and other textual specification languages". Lecture Notes in Computer Science. Pàg. 256-260. ISSN.0302-9743. DOI: 10.1007/978-3-642-12261-3_24.
  • Planas, E., Cabot, J., Gómez, C., Guerra, E., de Lara, J. (2010). Lightweight Executability Analysis of Graph Transformation Rules. A: Díaz, P., Hundhausen, C., Pietriga, E., Rosson, M. Proceedings of IEEE Symposium on Visual Languages and Human-Centric Computing (2010). IEEE Computer Society. Pàg. 127-130. ISBN. 978-1-4244-8485-0
  • Cabot, J., Clarisó, R., Guerra, E., de Lara, J. (2010). "Synthesis of OCL Pre-conditions for Graph Transformation Rules". Lecture Notes in Computer Science. Núm. 6142, Pàg. 45-60. ISSN.0302-9743. DOI: 10.1007/978-3-642-13688-7_4.
  • Cabot, J., Clarisó, R., Guerra, E., de Lara, J. (2010). "A UML/OCL Framework for the Analysis of Graph Transformation Rules". Software and Systems Modeling. Núm. 3, Pàg. 335-357. ISSN.1619-1366. DOI: 10.1007/s10270-009-0129-0.
  • Cabot, J., Pau, R., Raventós, R. (2010). "From UML/OCL to SBVR specifications: a challenging transformation". Information Systems. Núm. 4, Pàg. 417-440. ISSN.0306-4379. DOI: 10.1016/j.is.2008.12.002.
  • Cabot, J., Clarisó, R., Guerra, E., de Lara, J. (2010). "Verification and Validation of Declarative Model-to-Model Transformations Through Invariants". Journal of Systems and Software. Núm. 2, Pàg. 283-302. ISSN.0164-1212. DOI: 10.1016/j.jss.2009.08.012.
  • Albert, M., Cabot, J., Gómez, C., Pelechano, V. (2010). "Automatic generation of basic behavior schemas from UML class diagrams". Software and Systems Modeling. Núm. 1, Pàg. 47-67. ISSN.1619-1366. DOI: 10.1007/s10270-008-0108-x.
  • Planas, E., Cabot, J., Gómez, C. (2009). Verifying Action Specifications in UML Behavioral Models. A: Gordijn, J., van Eck, P., Wieringa, R. Proceedings of International Conference on Advanced Information Systems (CAiSE 2009). Springer . Pàg. 125-140. ISBN. 0302-9743
  • Cabot, J., Clarisó, R., Riera, D. (2009). "Verifying UML/OCL operation contracts". Lecture Notes in Computer Science. Pàg. 40-55. ISSN.0302-9743. DOI: 10.1007/978-3-642-00255-7_4.
  • Cabot, J., Teniente, E. (2009). "Incremental Integrity Checking of UML/OCL Conceptual Schemas". Journal of Systems and Software. Núm. 9, Pàg. 1459-1478. ISSN.0164-1212.
  • Cabot, J., Gogolla, M., Gorp, P. (2009). "Eighth international workshop on OCL concepts and tools". Lecture Notes in Computer Science. Pàg. 257-262. ISSN.0302-9743. DOI: 10.1007/978-3-642-01648-6_27.
  • Planas, E., Cabot, J., Gómez, C. (2009). "Verifying action semantics specifications in UML behavioral models". Lecture Notes in Computer Science. Pàg. 125-140. ISSN.0302-9743. DOI: 10.1007/978-3-642-02144-2_14.
  • Planas, E., Cabot, J., Gómez, C. (2008). Verificación de la ejecutabilidad de operaciones definidas con Action Semantics . A: , . Actas de los Talleres de las Jornadas de Ingeniería del Software y Bases de Datos - Desarrollo de Software Dirigido por Modelos (DSDM 2008). GIJON: DSDM'2008 V Taller sobre Desarrollo de Software Dirigido por Modelos . Pàg. 62-71.
  • Cabot, J., Gómez, C., Planas, E., Rodríguez, M. (2008). Reverse Engineering of OO constructs in Object-Relational Database Schemas. A: de la Riva, C., Moreira, A., Suárez-Cabal, M., Tuya, J. Actas de las XIII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2008). GIJON: JISBD . Pàg. 241-252. ISBN. 978-84-612-5820-8
  • Cabot, J., Clarisó, R., Guerra, E., de Lara, J. (2008). "An invariant-based method for the analysis of declarative model-to-model transformations". Lecture Notes in Computer Science. Pàg. 37-52. ISSN.0302-9743. DOI: 10.1007/978-3-540-87875-9_3.
  • Cabot, J., Zannone, N. (2008). "Towards an integrated framework for model-driven security engineering". CEUR Workshop Proceedings. ISSN.1613-0073.
  • Pau, R., Cabot, J. (2008). "Paraphrasing OCL expressions with SBVR". Lecture Notes in Computer Science. Pàg. 311-316. ISSN.0302-9743. DOI: 10.1007/978-3-540-69858-6_30.
  • Marco, J., Guitart, I., Marco, M., Rius, À., Rodríguez, M., Arnedo, J., Cabot, J., Caballé, S., Riera, D. (2008). "¿Podemos darle la vuelta a la enseñanza del desarrollo del software?". Novatica-revista de la Asociacion de Tecnicos de Informatica. Núm. 193, Pàg. 59-62. ISSN.0211-2124.Accés al text complet de la publicació.
  • Cabot, J., Clarisó, R., Riera, D. (2008). Verification of UML/OCL Class Diagrams Using Constraint Programming. A: Gosh, S. Proceedings of the ICST Workshop on Model Driven Engineering, Verification and Validation: Integrating Verification and Validation in MDE. Washington, DC: IEEE Computer Society. Pàg. 73-80. ISBN. 978-0-7695-3388-9
  • Cabot, J., Durán, F., Vallecillo, A., Moreno, N., Romero, J. (2008). "From programming to modeling: Our experience with a distributed software engineering course". International Conference on Software Engineering. Proceedings . Pàg. 749-757. ISSN.0270-5257. DOI: 10.1145/1368088.1368194.
  • Cabot, J., Clarisó, R., Guerra, E., de Lara, J. (2008). "Analysing graph transformation rules through OCL". Lecture Notes in Computer Science. Pàg. 229-244. ISSN.0302-9743. DOI: 10.1007/978-3-540-69927-9_16.
  • Cabot, J., Gómez, C. (2008). A catalogue of refactorings for navigation models. A: Proceedings - 8th International Conference on Web Engineering, ICWE 2008. Yorktown Heights: IEEE Computer Society Press . Pàg. 75-85. ISBN. 978-0-7695-3261-5
  • Cabot, J. (2007). "From Declarative to Imperative UML/OCL Operation Specifications". Lecture Notes in Computer Science. Pàg. 198-213. ISSN.0302-9743. DOI: 10.1007/978-3-540-75563-0_15.Accés al text complet de la publicació.
  • Cabot, J., Clarisó, R., Riera, D. (2007). UMLtoCSP: A Tool for the Formal Verification of UML/OCL Models Using Constraint Programming. A: Egyed, A., Fischer, B., Stirewalt, K. Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering. Atlanta: ACM Press. Pàg. 547-548. ISBN. 978-1-59593-882-4
  • Cabot, J., Teniente, E. (2007). "Transformation techniques for OCL constraints". Science of Computer Programming. Núm. 3, Pàg. 152-168. ISSN.0167-6423. DOI: 10.1016/j.scico.2007.05.001.
  • Cabot, J., Gómez, C. (2007). "Deriving Operation Contracts from UML Class Diagrams". Lecture Notes in Computer Science. Núm. 4735, Pàg. 196-210. ISSN.0302-9743.Accés al text complet de la publicació.
  • Brambilla, M., Cabot, J., Comai, S. (2007). "Automatic Generation of Workflow-Extended Domain Models". Lecture Notes in Computer Science. Núm. 4735, Pàg. 375-389. ISSN.0302-9743. DOI: 10.1007/978-3-540-75209-7_26.
  • Cabot, J., Clarisó, R., de la Fuente, P., Riera, D. (2007). UMLtoCSP: Una herramienta para la verificación de modelos UML/OCL mediante Constraint Programming. A: Franch, X. Actas de las XII Jornadas de Ingeniería del Software y Bases de Datos (JISBD'2007). ZARAGOZA: Editorial Thomson-Aranzadi . Pàg. 385-386. ISBN. 978-84-9732-595-0
  • Brambilla, M., Cabot, J., Moreno, N. (2007). "Tool Support for Model Checking of Web Application Designs". Lecture Notes in Computer Science. Pàg. 533-538. ISSN.0302-9743. DOI: 10.1007/978-3-540-73597-7_50.
  • Cabot, J., Ceballos, J., Gómez, C. (2007). "On the Quality of Navigation Models with Content-Modification Operations". Lecture Notes in Computer Science. Pàg. 59-73. ISSN.0302-9743. DOI: 10.1007/978-3-540-73597-7_6.
  • Olivé, A., Cabot, J. (2007). A Research Agenda for Conceptual Schema-Centric Development. A: Brinkkemper, S., Krogstie, J., Opdahl, A. Conceptual modeling in Information Systems Engineering: From Database Systems to Ubiquitous Environments and Beyond. Springer . Pàg. 319-334. ISBN. 978-3-540-72676-0
  • Brambilla, M., Cabot, J., Comai, S. (2007). Generating extended conceptual schemas from business process models. A: SEBD 2007 - Proceedings of the 15th Italian Symposium on Advanced Database Systems. Pàg. 282-289. ISBN. 978-889029810-3
  • Brambilla, M., Cabot, J. (2006). Constraint tuning and management for web applications. A: , . Proceedings of the Sixth International Conference on Web Engineering. IEEE Computer Society. Pàg. 345-352. ISBN. 1-59593-352-2
  • Rodríguez, M., Serra, M., Cabot, J., Guitart, I. (2006). Evolution of the Teacher Roles and Figures in E-learning Environments. A: , . The 6th IEEE International Conference on Advanced Learning Technologies. Kerkrade: IEEE Computer Society. Pàg. 512-514. ISBN. 9780769526324
  • Cabot, J., Teniente, E. (2006). "Incremental Evaluation of OCL Constraints". Lecture Notes in Computer Science. Pàg. 81-95. ISSN.0302-9743. DOI: 10.1007/11767138_7.
  • Cabot, J., Teniente, E. (2006). Transforming OCL constraints: a context change approach. A: , . Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), Dijon, France, April 23-27, 2006. ACM Press. Pàg. 1196-1201. ISBN. 1-59593-108-2
  • Cabot, J., Raventós, R. (2006). "Conceptual Modelling Patterns for Roles". Lecture Notes in Computer Science. Pàg. 158-184. ISSN.0302-9743. DOI: 10.1007/11617808_6.
  • Cabot, J., Teniente, E. (2006). "Constraint Support in MDA tools: a Survey". Lecture Notes in Computer Science. Núm. 4066, Pàg. 256-267. ISSN.0302-9743. DOI: 10.1007/11787044_20.
  • Alanen, M., Cabot, J., Goulão, M., Sáez, J. (2005). "Doctoral Symposium". Lecture Notes in Computer Science. Pàg. 85-93. ISSN.0302-9743.
  • Cabot, J., Teniente, E. (2005). " Generación automática de restricciones de integridad: Estado del arte [Automatic generation of integrity constraints: State of the art] ". CEUR Workshop Proceedings. ISSN.1613-0073.
  • Cabot, J., Teniente, E. (2005). "Computing the Relevant Instances That May Violate an OCL Constraint". Lecture Notes in Computer Science. Núm. 3520, Pàg. 48-62. ISSN.0302-9743.
  • Cabot, J., Raventós, R. (2004). "Roles as Entity Types: A Conceptual Modelling Pattern". Lecture Notes in Computer Science. Núm. 3288, Pàg. 69-82. ISSN.0302-9743.
  • Cabot, J., Conesa, J. (2004). "Automatic Integrity Constraint Evolution due to Model Subtract Operations". Lecture Notes in Computer Science. Núm. 3289, Pàg. 350-362. ISSN.0302-9743.
  • Cabot, J. (2002). "El modelo objeto-relacional de SQL: 1999 (I)". Sólo programadores. Núm. 95, Pàg. 54-57. ISSN.1134-4792.