Cabot Sagrera, Jordi

Publications (81)
  • Martínez, S., Cosentino, V., Cabot, J. (2017). "Model-based analysis of Java EE web security misconfigurations". Computer Languages, Systems and Structures. Pag. 36-61. ISSN.1477-8424. DOI: 10.1016/j.cl.2017.02.001.
  • Cosentino, V., Cánovas, J., Cabot, J. (2017). "A Systematic Mapping Study of Software Development with GitHub". IEEE Access. Pag. 7173-7192. ISSN.2169-3536. DOI: 10.1109/ACCESS.2017.2682323.
  • Diskin, Z., Gómez , A., Cabot, J. (2017). "Traceability Mappings as a Fundamental Instrument in Model Transformations". Lecture Notes in Computer Science. Pag. 247-263. ISSN.0302-9743. DOI: 10.1007/978-3-662-54494-5_14.
  • Cabot, J., Egyed, A. (2017). "Introduction to the special issue on the 18th international conference on model driven engineering languages and systems (MODELS’15)". Software and Systems Modeling. Pag. 1-2. ISSN.1619-1366. DOI: 10.1007/s10270-017-0577-x.
  • Paige, R., Cabot, J., Ernst, N. (2017). "Foreword to the special section on negative results in software engineering". Empirical Software Engineering. Pag. 1-4. ISSN.1382-3256. DOI: 10.1007/s10664-017-9498-0.
  • 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.. In: Cotarelo, R., Gil, J. Ciberpolítica: Gobierno abierto, redes, deliberación y democracia.. MADRID: Instituto Nacional de Administración Pública (INAP) . Pag. 145-167. ISBN. 978-84-7351-559-7
  • Brucker, A., Cabot, J., Sánchez-Barbudo, A. (2016). "CEUR Workshop Proceedings: Preface". CEUR Workshop Proceedings. Pag. 1-2. ISSN.1613-0073.
  • Cánovas, J., Cosentino, V., Cabot, J. (2016). " Analysis of co-authorship graphs of CORE-ranked software conferences". Scientometrics. Num. 3, Pag. 1665-1693. ISSN.0138-9130. DOI: 10.1007/s11192-016-2136-6.
  • Gogolla, M., Cabot, J. (2016). "Continuing a Benchmark for UML and OCL Design and Analysis Tools". Lecture Notes in Computer Science. Pag. 289-302. ISSN.0302-9743. DOI: 10.1007/978-3-319-50230-4_22.
  • Cosentino, V., Cánovas, J., Cabot, J. (2016). MetaScience: an Holistic Approach for Research Modeling. In: Comy-Wattiau, I., Saeki, M., Song, I., Tanaka, K., Yamamoto, S. International Conference on Conceptual Modeling. Springer-Verlag. Pag. 365-380. ISBN. 978-3-319-46396-4
  • Planas, E., Cabot, J., Gómez, C. (2016). "Lightweight and Static Verification of UML Executable Models (in press)". Computer Languages, Systems and Structures. Pag. 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. Num. 10, ISSN.2167-8359. DOI: 10.7717/peerj-cs.84.
  • Benelallam, A., Tisi, M., Sánchez, J., de Lara, J., Cabot, J. (2016). Efficient Model Partitioning for Distributed Model Transformations. In: 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 . Pag. 226-238. ISBN. 978-1-4503-4447-0
  • Martínez, S., García, J., Cabot, J. (2016). Runtime Support for Rule-Based Access-Control Evaluation through Model-Transformation. In: 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 . Pag. 57-69. 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. Pag. 430-444. ISSN.0302-9743. DOI: 10.1007/978-3-319-46397-1_33.
  • 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. Pag. 1-7. ISSN.1613-0073.
  • Mernik, M., Cabot, J. (2016). Foreword of the Thematic Track Quality Aspects in Model-Driven Engineering. In: 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. Pag. 87. ISBN. 978-150903581-6
  • Cánovas, J., Cabot, J. (2016). "JSONDiscoverer: Visualizing the schema lurking behind JSON documents". Knowledge-Based Systems. Pag. 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. Pag. 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. In: International Conference on Mining Software Repositories. Association for Computing Machinery, Inc. Pag. 137-141. ISBN. 978-145034186-8
  • Bergmayr, A., Bruneliere, H., Cabot, J., García, J., Mayerhofer, T., Wimmer, M. (2016). . In: FREX: FUML-based reverse engineering of executable behavior for software dynamic analysis C3 - Proceedings - 8th International Workshop on Modeling in Software Engineering, MiSE 2016. Association for Computing Machinery, Inc. Pag. 20-26. ISBN. 9781450341646
  • Martínez, S., Cosentino, V., Cabot, J. (2016). . In: Model-based analysis of Java EE web security configurations C3 - Proceedings - 8th International Workshop on Modeling in Software Engineering, MiSE 2016. Association for Computing Machinery, Inc. Pag. 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. In: ACM Symposium on Applied Computing. ACM Press . Pag. 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. Pag. 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. Pag. 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. Num. 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. Pag. 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. Num. 8, Pag. 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. Pag. 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. In: Kellenberger, P. Proceedings of the 37th International Conference on Software Engineering - Volume 2. IEEE Computer Society. Pag. 505-514. ISBN. 978-1-4799-1934-5
  • Cabot, J., Clarisó, R., Riera, D. (2014). "On the Verification of UML/OCL Class Diagrams Using Constraint Programming". Journal of Systems and Software. Pag. 1-23. ISSN.0164-1212. DOI: 10.1016/j.jss.2014.03.023.
  • 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. Pag. 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. In: Gnesi, S., Gruner, S., Plat, N., Rumpe, B. Proceedings of the Workshop on Formal Methods in Software Engineering: Rigorous and Agile Approaches (FormSERA). Zurich: IEEE. Pag. 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. Pag. 467-475. ISSN.0302-9743. DOI: 10.1007/978-3-642-24606-7_37.
  • Cabot, J., Clarisó, R., Gogolla, M., Wolff, B. (2011). "Preface to the OCL 2011 Proceedings". Electronic Communications of the EASST. Pag. 1-3. ISSN.1863-2122.
  • Planas, E., Cabot, J., Gómez, C. (2011). Two basic correctness properties for ATL transformations: Executability and coverage . In: Kurtev, I., Tisi, M., Wagelaar, D. Workshop on Model Transformation with ATL (MtATL-2011). CEUR Workshops Proceedings. Pag. 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. Pag. 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 . In: Díaz, P., Hundhausen, C., Pietriga, E., Rosson, M. Proceedings of IEEE Symposium on Visual Languages and Human-Centric Computing (2010). IEEE Computer Society. Pag. 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. Num. 6142, Pag. 45-60. ISSN.0302-9743. DOI: 10.1007/978-3-642-13688-7_4.
  • Cabot, J., Pau, R., Raventós, R. (2010). "From UML/ocl TO sbvr: a challenging transformation". Information Systems. Num. 4, Pag. 417-440. ISSN.0306-4379. DOI: 10.1016/j.is.2008.12.002.
  • 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. Num. 3, Pag. 335-357. ISSN.1619-1366. DOI: 10.1007/s10270-009-0129-0.
  • 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. Num. 2, Pag. 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. Num. 1, Pag. 47-67. ISSN.1619-1366. DOI: 10.1007/s10270-008-0108-x.
  • Planas, E., Cabot, J., Gómez, C. (2009). Actas de las XIII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2008) 2. In: Gordijn, J., van Eck, P., Wieringa, R. Reverse Engineering of OO constructs in Object-Relational Database Schemas 2. Springer . Pag. 125-140. ISBN. 0302-9743
  • Cabot, J., Clarisó, R., Riera, D. (2009). "Verifying UML/OCL operation contracts". Lecture Notes in Computer Science. Pag. 40-55. ISSN.0302-9743. DOI: 10.1007/978-3-642-00255-7-4.
  • Albert, M., Cabot, J., Gómez, C., Pelechano, V. (2009). "Automatic Generation of Basic Behaviour Schemas from Class Diagrams". Software and Systems Modeling. Pag. 1-37. ISSN.1619-1366.
  • Cabot, J., Teniente, E. (2009). "Incremental Integrity Checking for UML/OCL Conceptual Schemas". Journal of Systems and Software. Num. 9, Pag. 1459-1478. ISSN.0164-1212.
  • Planas, E., Cabot, J., Gómez, C. (2009). "Verifying action semantics specifications in UML behavioral models". Lecture Notes in Computer Science. Pag. 125-140. ISSN.0302-9743. DOI: 10.1007/978-3-642-02144-2_14.
  • Cabot, J., Gogolla, M., Gorp, P. (2009). "Eighth international workshop on OCL concepts and tools". Lecture Notes in Computer Science. Pag. 257-262. ISSN.0302-9743. DOI: 10.1007/978-3-642-01648-6_27.
  • Planas, E., Cabot, J., Gómez, C. (2008). Actas de los Talleres de las Jornadas de Ingeniería del Software y Bases de Datos - Desarrollo de Software Dirigido por Modelos (DSDM 2008). In: , . Verificación de la ejecutabilidad de operaciones definidas con Action Semantics. GIJON: DSDM'2008 V Taller sobre Desarrollo de Software Dirigido por Modelos . Pag. 62-71.
  • Cabot, J., Gómez, C., Planas, E., Rodríguez, M. (2008). Actas de las XIII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2008). In: de la Riva, C., Moreira, A., Suárez-Cabal, M., Tuya, J. Reverse Engineering of OO constructs in Object-Relational Database Schemas. GIJON: JISBD . Pag. 241-252. ISBN. 978-84-612-5820-8
  • Cabot, J., Zannone, N. (2008). "Towards an integrated framework for model-driven security engineering". CEUR Workshop Proceedings. ISSN.1613-0073.
  • 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. Pag. 37-52. ISSN.0302-9743. DOI: 10.1007/978-3-540-87875-9_3.
  • Pau, R., Cabot, J. (2008). "Paraphrasing OCL expressions with SBVR ". Lecture Notes in Computer Science. Pag. 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. Num. 193, Pag. 59-62. ISSN.0211-2124.Access to publication
  • Cabot, J., Clarisó, R., Riera, D. (2008). Verification of UML/OCL Class Diagrams Using Constraint Programming . In: 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. Pag. 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 . Pag. 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. Pag. 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. In: Proceedings - 8th International Conference on Web Engineering, ICWE 2008. Yorktown Heights: IEEE Computer Society Press . Pag. 75-85. ISBN. 978-0-7695-3261-5
  • Cabot, J. (2007). "From Declarative to Imperative UML/OCL Operation Specifications ". Lecture Notes in Computer Science. Pag. 198-213. ISSN.0302-9743. DOI: 10.1007/978-3-540-75563-0_15.Access to publication
  • Cabot, J., Clarisó, R., Riera, D. (2007). UMLtoCSP: A Tool for the Formal Verification of UML/OCL Models Using Constraint Programming. In: Egyed, A., Fischer, B., Stirewalt, K. Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering. Atlanta: ACM Press. Pag. 547-548. ISBN. 978-1-59593-882-4
  • Cabot, J., Teniente, E. (2007). " Transformation Techniques for OCL Constraints ". Science of Computer Programming. Num. 3, Pag. 152-168. ISSN.0167-6423. DOI: 10.1016/j.scico.2007.05.001.
  • Brambilla, M., Cabot, J., Comai, S. (2007). "Automatic Generation of Workflow-extended Domain Models". Lecture Notes in Computer Science. Num. 4735, Pag. 375-389. ISSN.0302-9743. DOI: 10.1007/978-3-540-75209-7_26.
  • Cabot, J., Gómez, C. (2007). "Deriving Operation Contracts from UML Class Diagrams". Lecture Notes in Computer Science. Num. 4735, Pag. 196-210. ISSN.0302-9743.Access to publication
  • Cabot, J., Clarisó, R., de la Fuente, P., Riera, D. (2007). UMLtoCSP: Una herramienta para la verificación de modelos mediante Constraint Programming . In: Franch, X. Actas de las XII Jornadas de Ingeniería del Software y Bases de Datos (JISBD'2007) . ZARAGOZA: Editorial Thomson-Aranzadi . Pag. 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. Pag. 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. Pag. 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 . In: Brinkkemper, S., Krogstie, J., Opdahl, A. Conceptual modeling in Information Systems Engineering: From Database Systems to Ubiquitous Environments and Beyond . Springer . Pag. 319-334. ISBN. 978-3-540-72676-0
  • Brambilla, M., Cabot, J., Comai, S. (2007). Generating extended conceptual schemas from business process models. In: SEBD 2007 - Proceedings of the 15th Italian Symposium on Advanced Database Systems. Pag. 282-289. ISBN. 978-889029810-3
  • Brambilla, M., Cabot, J. (2006). Constraint tuning and management for web applications. In: , . Proceedings de l'International Conference on Web Engineering 2006. IEEE Computer Society. Pag. 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. In: , . The 6th IEEE International Conference on Advanced Learning Technologies. Kerkrade: IEEE Computer Society. Pag. 512-514. ISBN. 9780769526324
  • Cabot, J., Teniente, E. (2006). " Incremental Evaluation of OCL Constraints ". Lecture Notes in Computer Science. Pag. 81-95. ISSN.0302-9743. DOI: 10.1007/11767138_7.
  • Cabot, J., Teniente, E. (2006). Transforming OCL constraints: a context change approach . In: , . Proceedings of the The 21st Annual ACM Symposium on Applied Computing (SAC 2006) . ACM Press. Pag. 1196-1201. ISBN. 1-59593-108-2
  • Cabot, J., Raventós, R. (2006). " Conceptual Modelling Patterns for Roles ". Lecture Notes in Computer Science. Pag. 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. Num. 4066, Pag. 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. Pag. 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. Num. 3520, Pag. 48-62. ISSN.0302-9743.
  • Cabot, J., Raventós, R. (2004). "Roles as Entity Types: A Conceptual Modelling Pattern". Lecture Notes in Computer Science. Num. 3288, Pag. 69-82. ISSN.0302-9743.
  • Cabot, J., Conesa, J. (2004). "Automatic Integrity Constraint Evolution due to Model Subtract Operations ". Lecture Notes in Computer Science. Num. 3289, Pag. 350-362. ISSN.0302-9743.
  • Cabot, J. (2002). " El modelo objeto-relacional de SQL : 1999 (I) ". Sólo programadores. Num. 95, Pag. 54-57. ISSN.1134-4792.