Publications

Google Scholar Publons Scopus ACM Portal
ORCID DBLP ResearchGate MSN Academic Search

Thesis

PhD Thesis
Abstract interpretation techniques for the verification of timed systems.
PhD in Computer Science. Universitat Politècnica de Catalunya. 2005.
BibTeX entry PDF preprint
MSc Thesis
Abstract interpretation techniques for the verification of concurrent systems.
Master of Advanced Studies (DEA). Universitat Politècnica de Catalunya. 2002.
BibTeX entry PDF preprint
BSc Thesis
Entorn per optimització i generació de codi.
BSc in Computer Science. Universitat Politècnica de Catalunya. 2000.
BibTeX entry PDF preprint

Books

  1. Santi Caballé, Robert Clarisó (editors).
    Formative Assessment, Learning Data Analytics and Gamification in ICT Education.
    Intelligent Data Centric Systems series, Academic Press - Elsevier, 2016. ISBN: 978-0-12-803637-2
    BibTeX entry

Indexed journals

  1. Lola Burgueño, Paula Muñoz, Robert Clarisó, Jordi Cabot, Sébastien Gérard, Antonio Vallecillo.
    Dealing with belief uncertainty in software models.
    ACM Transactions on Software Engineering and Methodology, In Press, 2022.
    BibTeX entry PDF preprint

  2. Robert Clarisó, Jordi Cabot.
    User-driven diverse scenario exploration in model finders.
    Science of Computer Programming, Volume 215, 102745, 2022.
    BibTeX entry PDF preprint

  3. Robert Clarisó, Carlos A. González, Jordi Cabot.
    Smart Bound Selection for the Verification of UML/OCL Class Diagrams.
    IEEE Transactions on Software Engineering, 45(4):412–426, 2019.
    BibTeX entry PDF preprint

  4. David Bañeres, Robert Clarisó.
    Evaluation of a New Self-Study Platform for Introductory Digital Systems.
    International Journal of Engineering Education, 35(1(A)):286–303, 2019.
    BibTeX entry PDF preprint

  5. Athanasios Zolotas, Robert Clarisó, Nicholas Matragkas, Dimitrios S. Kolovos, Richard F. Paige.
    Constraint Programming for Type Inference in Flexible Model-Driven Engineering.
    Computer Languages, Systems & Structures, 49:216–230, 2017.
    BibTeX entry PDF preprint

  6. Robert Clarisó, Jordi Cabot, Esther Guerra, Juan de Lara.
    Backwards reasoning for model transformations: Method and applications.
    Journal of Systems and Software, 116:113–132, 2016.
    BibTeX entry PDF preprint

  7. Jordi Cabot, Robert Clarisó, Daniel Riera.
    On the Verification of UML/OCL Class Diagrams Using Constraint Programming.
    Journal of Systems and Software, 93:1–23, 2014.
    BibTeX entry PDF preprint

  8. David Bañeres, Robert Clarisó, Josep Jorba, Montse Serra.
    Experiences in Digital Circuit Design Courses: A Self-Study Platform for Learning Support.
    IEEE Transactions on Learning Technologies, 7(4):360-374, 2014.
    BibTeX entry PDF preprint

  9. Jordi Cabot, Robert Clarisó, Esther Guerra, Juan de Lara.
    Verification and Validation of Declarative Model-to-Model Transformations Through Invariants.
    Journal of Systems and Software, 83(2): 283-302, 2010.
    BibTeX entry PDF preprint

  10. Jordi Cabot, Robert Clarisó, Esther Guerra, Juan de Lara.
    A UML/OCL Framework for the Analysis of Graph Transformation Rules.
    Software and Systems Modeling. 9(3): 335-357, 2010.
    BibTeX entry PDF preprint

  11. Robert Clarisó, Jordi Cortadella.
    The octahedron abstract domain.
    Science of Computer Programming, 64(1):115-139, 2007.
    BibTeX entry PDF preprint

  12. Robert Clarisó, Jordi Cortadella.
    Verification of Concurrent Systems with Parametric Delays using Octahedra.
    Fundamenta Informaticae, 78(1):1-33, 2007.
    BibTeX entry PDF preprint

Non-indexed Journals

  1. Robert Clarisó, Carlos A. González, Jordi Cabot.
    Incremental verification of UML/OCL models.
    Journal of Object Technology, 2020. 9(3):1–16, 2020. DOI: 10.5381/jot.2020.19.3.a7.
    BibTeX entry PDF preprint

  2. Jose-Ramón Rodríguez, Robert Clarisó, Josep Maria Marco-Simó.
    Towards a Framework for Assessing IT Strategy Execution.
    Computers, 8(69), 2019. DOI: 10.3390/computers8030069
    BibTeX entry PDF preprint

  3. David Gañán, Santi Caballé, Robert Clarisó, Jordi Conesa, David Bañeres.
    ICT-FLAG: A Web-based e-Assessment Platform Featuring Learning Analytics and Gamification.
    International Journal of Web Information Systems, 13(1), 2017. DOI: 10.1108/IJWIS-12-2016-0074.
    BibTeX entry PDF preprint

  4. Robert Clarisó, Maria Jesús Marco, Josep Maria Marco-Simó, Josep Prieto, Daniel Riera.
    El Máster Universitario en Ingeniería Informática en un contexto no presencial.
    ReVisión, 8(2), 2015.
    BibTeX entry PDF preprint

  5. Jordi Cabot, Robert Clarisó.
    Evaluating the Quality of Software Models using Light-weight Formal Methods.
    ERCIM News, 99:29–30, 2014.
    BibTeX entry PDF preprint

  6. Àngels Rius, Robert Clarisó, David Masip.
    Student projects empowering mobile learning in higher education.
    Universities and Knowledge Society Journal (RUSC), 11(1):192–207, 2014.
    BibTeX entry PDF preprint

  7. Jordi Cabot, Robert Clarisó, Martin Gogolla, Burkhart Wolff.
    Preface to the Proceedings of the Workshop on OCL and Textual Modeling (OCL 2011).
    Electronic Communications of the EASST, 44, 2011.
    BibTeX entry PDF preprint

  8. Davinia Hernández-Leo, Verónica Moreno Oliver, Irene Camps, Robert Clarisó, Alejandra Martínez-Monés, Maria Jesús Marco, Javier Melero.
    Implementación de buenas prácticas en los Trabajos Fin de Grado.
    Revista de Docencia Universitaria, 11:269–278, 2013.
    BibTeX entry PDF preprint

International conferences

  1. Sergio Morales, Robert Clarisó, Jordi Cabot.
    Towards a DSL for AI Engineering Process Modeling.
    In International Conference on Product-Focused Software Process Improvement (PROFES’2022). Lecture Notes in Computer Science, vol 13709, pp. 53–60, Springer.
    BibTeX entry

  2. Juan Antonio Gómez-Gutiérrez, Robert Clarisó, Jordi Cabot.
    A Tool for Debugging Unsatisfiable Integrity Constraints in UML/OCL Class Diagrams.
    In Proc. 27th International Working Conference on Exploring Modeling Methods for Systems Analysis and Development (EMMSAD’2022). Lecture Notes in Business Information Processing vol. 450, pp. 267–275, Springer.
    BibTeX entry

  3. Loli Burgueño, Robert Clarisó, Shuau Li, Sébastien Gérard, Jordi Cabot.
    A NLP-based architecture for the autocompletion of partial domain models.
    In Proc. 33rd International Conference on AdvancedInformation Systems Engineering (CAISE’2021). Lecture Notes in Computer Science vol. 12751, pp. 91–106, Springer. DOI: 10.1007/978-3-030-79382-1_6.
    BibTeX entry

  4. Anjali Sree-Kumar, Elena Planas, Robert Clarisó.
    Validating Feature Models With Respect toTextual Product Line Specifications.
    In Proc. 15th International Working Conference on Variability Modelling of Software-Intensive Systems (VaMOS’2021), article no. 15, pp. 1–10, ACM.
    BibTeX entry

  5. Mattia Gasparini, Robert Clarisó, Marco Brambilla, Jordi Cabot.
    Participation Inequality and the 90-9-1 Principle in Open Source.
    In Proc. 16th International Symposium on Open Collaboration (OpenSym’2020), Virtual Conference, ACM.
    BibTeX entry PDF preprint

  6. Robert Clarisó, Jordi Cabot.
    Diverse scenario exploration in model finders using graph kernels and clustering.
    7th International Conference on Rigorous State Based Methods (ABZ’2020), pp. 27–43, Springer.
    BibTeX entry

  7. Loli Burgueño, Jordi Cabot, Robert Clarisó, Martin Gogolla.
    A Systematic Approach to Generate Diverse Instantiations for Conceptual Schemas.
    In Proc. 38th International Conference on Conceptual Modeling (ER’2019), Lecture Notes in Computer Science, vol 11788, pp. 512–531, Springer.
    BibTeX entry

  8. Mattia Gasparini, Javier Luis Cánovas-Izquierdo, Robert Clarisó, Marco Brambilla, Jordi Cabot.
    Analyzing Rich-Club Behavior in Open Source Projects.
    In Proc. 15th International Symposium on Open Collaboration (OpenSym’2019), pp. 6:1–6:9.
    BibTeX entry

  9. Jose-Ramon Rodríguez, Robert Clarisó, Josep Maria Marco-Simó.
    Strategy in the making: Assessing the execution of a Strategic Information Systems Plan.
    In Proc. European, Mediterranean and Middle Eastern Conference on Information Systems (EMCIS’2018), Lecture Notes in Business Information Processing, vol 341, pp. 475–488, Springer.
    BibTeX entry

  10. Anjali Sree-Kumar, Elena Planas, Robert Clarisó.
    Extracting Software Product Line Feature Models from Natural Language Specifications.
    In. Proc. 22nd International Systems and Software Product Line Conference (SPLC’2018), Volume 1, pp. 43–53, ACM.
    BibTeX entry

  11. Robert Clarisó, Jordi Cabot.
    Fixing defects in integrity constraints via constraint mutation.
    In Proc. 11th International Conference on the Quality of Information and Communications Technology (QUATIC’2018), pp. 74-82, IEEE, 2018.
    BibTeX entry

  12. Jesús Sánchez Cuadrado, Esther Guerra, Juan de Lara, Robert Clarisó, Jordi Cabot.
    Translating target to source constraints in model-to-model transformations.
    In Proc. 20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS’2017), pp. 12–22, IEEE Computer Society, 2017.
    BibTeX entry

  13. David Bañeres, Santi Caballé, Robert Clarisó.
    Towards a Learning Analytics Support for Intelligent Tutoring Systems on MOOC Platforms.
    In Proc: 10th International Conference on Complex, Intelligent, and Software Intensive Systems (CISIS’2016), pp.103–110, IEEE Computer Society, 2016.
    BibTeX entry

  14. David Gañán, Santi Caballé, Robert Clarisó, Jordi Conesa.
    Analysis and Design of an eLearning Platform Featuring Learning Analytics and Gamification.
    In Proc: 10th International Conference on Complex, Intelligent, and Software Intensive Systems (CISIS’2016), pp.87–94, IEEE Computer Society, 2016.
    BibTeX entry

  15. David Gañán, Santi Caballé, Robert Clarisó, Jordi Conesa.
    A Prototype of an eLearning Platform in Support for Learning Analytics and Gamification.
    International Conference on Intelligent Networking and Collaborative Systems (INCoS’2016), pp. 362–369, IEEE, 2016.
    BibTeX entry

  16. Robert Clarisó, Carlos A. González, Jordi Cabot.
    Towards domain refinement for UML/OCL bounded verification.
    In Proc. 13th Int. Conf. on Software Engineering and Formal Methods (SEFM’2015), pages 108-114, volume 9276 of LNCS, Springer, 2015.
    BibTeX entry

  17. Asadullah Shaikh, Robert Clarisó, Uffe Kock Wiil, Nasrullah Memon.
    Verification-driven slicing of UML/OCL Models.
    In Proc. 25th IEEE/ACM Int. Conf. on Automated Software Engineering (ASE’2010), pages 185-194, ACM, 2010.
    BibTeX entry

  18. Jordi Cabot, Robert Clarisó, Esther Guerra, Juan de Lara.
    Synthesis of OCL Pre-conditions for Graph Transformation Rules.
    In Proc. 3rd Int. Conf. on Model Transformation (ICMT’2010), volume 6142 of LNCS, pages 45-60, Springer-Verlag, 2010.
    BibTeX entry

  19. Jordi Cabot, Robert Clarisó, Daniel Riera.
    Verifying UML/OCL Operation Contracts.
    In Proc. 7th Int. Conf. on Integrated Formal methods (iFM’2009), volume 5423 of LNCS, pages 40-55, Springer-Verlag, February 2009.
    BibTeX entry

  20. Jordi Cabot, Robert Clarisó, Esther Guerra, Juan de Lara.
    An Invariant-Based Method for the Analysis of Declarative Model-to-Model Transformations.
    In Proc. 11th Int. Conf. on Model-Driven Engineering Languages and Systems (MODELS’2008), volume 5301 of LNCS, pages 37-52, Springer-Verlag, September 2008.
    BibTeX entry

  21. Jordi Cabot, Robert Clarisó, Esther Guerra, Juan de Lara.
    Analysing Graph Transformation Rules Through OCL.
    In Proc. Int. Conf. on Model Transformation (ICMT’2008), volume 5063 of LNCS, pages 225-239, Springer-Verlag, July 2008.
    BibTeX entry

  22. Jordi Cabot, Robert Clarisó, Daniel Riera.
    UMLtoCSP: A Tool For the Formal Verification of UML/OCL Models Using Constraint Programming.
    In Proc. 22nd ACM/IEEE Int. Conf. on Automated Software Engineering (ASE’2007), pages 547-548. November 2007.
    BibTeX entry

  23. Robert Clarisó and Jordi Cortadella.
    Verification of Concurrent Systems with Parametric Delays Using Octahedra.
    In Proc. 5th Int. Conf. on Application of Concurrency to System Design (ACSD’2005), pages 122-131, IEEE Computer Society Press. 2005.
    BibTeX entry

  24. Robert Clarisó, Enric Rodríguez-Carbonell and Jordi Cortadella.
    Derivation of Non-structural Invariants of Petri Nets Using Abstract Interpretation.
    In Proc. 26th Int. Conf. On Application and Theory of Petri Nets and Other Models of Concurrency (ICATPN’2005), volume 3536 of LNCS, pages 188-207, Springer-Verlag, 2005.
    BibTeX entry

  25. Robert Clarisó and Jordi Cortadella.
    The octahedron abstract domain.
    In 11th Static Analysis Symposium (SAS’2004), volume 3148 of LNCS, pages 312-327. Springer-Verlag, 2004.
    BibTeX entry

Workshops and national conferences

  1. Martin Gogolla, Robert Clarisó, Bran Selic, Jordi Cabot.
    Towards Facilitating the Exploration of Informal Concepts in Formal Modeling Tools.
    18th Workshop on Model Driven Engineering, Verification and Validation (MoDeVVa’2021), virtual event.
    BibTeX entry PDF preprint

  2. Jordi Cabot, Loli Burgueño, Robert Clarisó, Gwendal Daniel, Jorge Perianez-Pascual, Roberto Rodríguez-Echeverria.
    Testing challenges for NLP-intensive bots.
    3rd International Workshop on Bots in Software Engineering (BotSE’2021), virtual event, pp. 31-34. DOI: 10.1109/BotSE52550.2021.00014.
    BibTeX entry PDF preprint

  3. Robert Clarisó, Martin Gogolla.
    A Feasibility Study on Using Classifying Terms in Alloy.
    19th International Workshop in OCL and Textual Modeling (OCL’20129), Munich, Germany.
    BibTeX entry PDF preprint

  4. Javier Luis Cánovas-Izquierdo, Robert Clarisó, David Bañeres.
    Una herramienta para la evaluación de debates en aulas virtuales.
    XXV Jornadas sobre la Enseñanza Universitaria de la Informática (JENUI 2019).

  5. Loli Burgueño, Robert Clarisó, Jordi Cabot, Sébastien Gérard, Antonio Vallecillo.
    Belief Uncertainty in Software Models.
    In Proc. 11th Workshop on Modelling in Software Engineering (MiSE’2019) - co-located with ICSE’2019, 19–26.
    BibTeX entry

  6. Robert Clarisó, Jordi Cabot.
    Applying Graph Kernels to Model-Driven Engineering Problems.
    In Proc. 1st International Workshop on Machine Learning and Software Engineering in Symbiosis (MASES’2018). ISBN: 978-1-4503-5972-6/18/09. ACM, New York.
    BibTeX entry

  7. Jordi Cabot, Robert Clarisó, Marco Brambilla, Sébastién Gérard.
    Cognifying Model-Driven Software Engineering.
    In Proc. Workshop on Grand Challenges in Modeling 2017 (Grand’2017).
    BibTeX entry PDF preprint

  8. Robert Clarisó, Joan Arnedo-Moreno, David Bañeres, Santi Caballé, Jordi Conesa, David Gañán.
    Gamification as a Service for Formative Assessment E-Learning Tools.
    In Proc. 1st Workshop on Gamification and Games for Learning (GamiLearn’2017). ISBN: 978-84-697-3570-1. 2017.

  9. David Gañán, Santi Caballé, Robert Clarisó, Jordi Conesa.
    Towards the Effective Software Development of an eLearning Platform Featuring Learning Analytics and Gamification.
    In Proc. 4th Int. Workshop on Collaborative Enterprise Systems (COLLABES’2016) in conjunction with the 30th IEEE Int. Conf. on Advanced Information Networking and Applications (AINA’2016), March 23-25, 2016. Crans-Montana, Switzerland, pp. 177-182. IEEE Computer Society. ISBN: 978-1-5090-2461-2/16. Best paper award
    BibTeX entry

  10. Anjali Sree-Kumar, Elena Planas, Robert Clarisó.
    Analysis of Feature Models Using Alloy: A Survey.
    In Julia Rubin and Thomas Thüm: Proc. 7th Int. Workshop on Formal Methods and Analysis in Software Product Line Engineering (FMSPLE 2016), Eindhoven, The Netherlands, April 3, 2016, Electronic Proceedings in Theoretical Computer Science 206, pp. 46–60.
    BibTeX entry

  11. Ignasi Colomina, Joan Arnedo-Moreno, Robert Clarisó.
    A Study on Practices against Malware in Free Software Projects.
    In Proc. 9th International Symposium on Frontiers of Information Systems and Network Applications (FINA’2013) in conjuntion with the 27th International Conference on Advanced Information Networking and Applications (AINA’2013), pp. 1070–1075, 2013.
    BibTeX entry

  12. Carlos A. González, Fabian Büttner, Robert Clarisó, Jordi Cabot.
    EMFtoCSP: a tool for the lightweight verification of EMF models.
    In Proc. 1st Int. Workshop on Formal Methods in Software Engineering - Rigorous and Agile Approaches (FormSERA), 44-50, IEEE, 2012.
    BibTeX entry

  13. Salvador Sánchez-Alonso, Daniel Rodríguez-García, Robert Clarisó.
    Comparing a fully online course to a blended one: the case of compilers.
    In. Proc. 2nd Workshop on Methods and Cases in Computing Education (MCCE’09), 2009.
    PDF preprint

  14. Jordi Cabot, Robert Clarisó.
    UML/OCL Verification in Practice.
    In Proc. 1st International Workshop on Challenges in Model-Driven Software Engineering (ChaMDE’2008), 2008.
    PDF preprint

  15. Jordi Cabot, Robert Clarisó, Daniel Riera.
    Verification of UML/OCL Class Diagrams using Constraint Programming.
    In Proc. ICST Workshop on Model Driven Engineering, Verification and Validation: Integrating Verification and Validation in MDE (MoDeVVa’2008), pp. 73–80, 2008.
    BibTeX entry

  16. Jordi Cabot, Robert Clarisó, Patricia de la Fuente, Daniel Riera.
    UMLtoCSP: Una herramienta para la verificación de modelos UML/OCL mediante Constraint Programming.
    XII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2007), pp. 385–386, 2007.
    BibTeX entry

  17. Robert Clarisó, Jordi Cortadella.
    Verification of parametric timed circuits using octahedra.
    In Proc. International Workshop on Designing Correct Circuits (DCC’04)}, 2004.

  18. Robert Clarisó, Jordi Cortadella.
    Verification of timed circuits with symbolic delays.
    In Proc. of the 12th International Workshop on Logic and Synthesis (IWLS’03), pp. 310–317, 2003.

  19. Robert Clarisó, Jordi Cortadella.
    Symbolic timing analysis for the verification of asynchronous circuits.
    In 3rd Workshop of the Working Group on Asynchronous Circuit Design (ACiD-WG’03), 2003.

  20. Robert Clarisó, Jordi Cortadella, Alex Kondratyev, Luciano Lavagno, Claudio Passerone and Yosinori Watanabe.
    Synthesis of embedded software for reactive systems.
    In Proc. 2nd International Workshop on Integration of Specification Techniques for Applications in Engineering (INT’02), pp. 2–20, 2002.

Invited presentations

  1. Invited course: Model-Driven Engineering meets Artificial Intelligence. Postgraduate course at the Facultad de Ingeniería of the Universidad de la República. Montevideo, Uruguay. 08/04/2019-10/04/2019.

  2. Invited talk: Máster en Ingeniería Informática: Una perspectiva online. Panel on “Desafíos de los Másteres en Ingeniería Informática”. XXI Jornadas sobre la Enseñanza Universitaria de la Informática. Andorra la Vella, Andorra. 10/07/2015.

  3. Invited talk: Applying Constraint Programming to MDE problems. AtlanMod research group. INRIA/LINA/École des Mines de Nantes, France. 14/12/2010.

  4. Invited talk: Verifying UML/OCL class diagrams. Masters Course on “Formal Model-Driven Software Development”. Escuela Politècnica Superior, Universidad Autónoma de Madrid, Spain. 09/12/2008.

Blogging