Publications

Google Scholar	Publons	Scopus	ACM Portal
ORCID	DBLP	ResearchGate	OpenAlex

Thesis

PhD Thesis

Abstract interpretation techniques for the verification of timed systems.
PhD in Computer Science. Universitat Politècnica de Catalunya. 2005.

MSc Thesis

Abstract interpretation techniques for the verification of concurrent systems.
Master of Advanced Studies (DEA). Universitat Politècnica de Catalunya. 2002.

BSc Thesis

Entorn per optimització i generació de codi.
BSc in Computer Science. Universitat Politècnica de Catalunya. 2000.

---

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
   

---

Indexed journals

1. Sergio Morales, Robert Clarisó, Jordi Cabot.
   LangBiTe: An open-source platform to automate bias testing of large language models.
   SoftwareX, Volume 31, 192248, 2025.
   

2. Friedrich Steimann, Robert Clarisó, Martin Gogolla.
   Meet OCL#, A Relational Object Constraint Language.
   Software and Systems Modeling, 2025.
   

3. Sergio Morales, Robert Clarisó, Jordi Cabot.
   Impromptu: a framework for model-driven prompt engineering.
   Software and Systems Modeling, 2025.
   

4. 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, 32(2), article 31, pp. 1–34, 2023.
   

5. Robert Clarisó, Jordi Cabot.
   Low Code for Smart Software Development.
   IEEE Software, 40(1):89–93, 2023.
   

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

7. 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.
   

8. 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.
   

9. 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.
   

10. 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.
    

11. 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.
    

12. 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.
    

13. 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.
    

14. 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.
    

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

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

---

Non-indexed Journals

1. Robert Clarisó.
   Intel·ligència artificial generativa i sostenibilitat.
   Oikonomics (ISSN 2330-9546), num 24, 2025. DOI: 10.7238/o.n24.2501.
   

2. Sergio Morales, Robert Clarisó, Jordi Cabot.
   Unveiling Ethical Biases in Generative AI.
   ERCIM News 136:23-24, 2024.
   

3. Robert Clarisó, Lola Burgueño, Jordi Cabot.
   Managing Design-time Uncertainty in OCL Expressions.
   Journal of Object Technology, 21(4):1–10, 2022. DOI: 10.5381/jot.2022.21.4.a8.
   

4. 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
   

5. 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
   

6. 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.
   

7. 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.
   

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

9. À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.
   

10. 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.
    

11. 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.
    

---

International conferences

1. Juan Antonio Gómez-Gutiérrez, Robert Clarisó.
   Interactive repair of inconsistencies in conceptual models.
   In 44th International Conference on Conceptual Modeling (ER’2025). Lecture Notes in Computer Science, to appear, Springer.
   

2. Sergio Morales, Robert Clarisó, Jordi Cabot.
   ImageBiTe: A Framework for Evaluating Representational Harms in Text-to-Image Models.
   4th International Conference on AI Engineering - Software Engineering for AI (CAIN’2025), pp. 95–106, IEEE.
   

3. Sergio Morales, Robert Clarisó, Jordi Cabot.
   A DSL for Testing LLMs for Fairness and Bias.
   ACM/IEEE 27h International Conference on Model Driven Engineering Languages and Systems (MODELS’2024), pp. 203–213, ACM.
   

4. Marcos-Gómez-Vázquez, Jordi Cabot, Robert Clarisó.
   Automatic Generation of Conversational Interfaces for Tabular Data Analysis.
   ACM Conversational User Interfaces (CUI’2024), pp.1-6, ACM.
   

5. Robert Clarisó, Jordi Cabot.
   Model-Driven Prompt Engineering.
   In ACM/IEEE 26th International Conference on Model-Driven Engineering Languages and Systems (MODELS’2023), pp. 47–54, IEEE.
   

6. Friedrich Steimann, Robert Clarisó, Martin Gogolla.
   OCL Rebuilt, from the Ground Up.
   In ACM/IEEE 26th International Conference on Model-Driven Engineering Languages and Systems (MODELS’2023). pp. 194–205, IEEE.
   

7. Sergio Morales, Elena Planas, Robert Clarisó, Martin Gogolla.
   Generative AI in Model-Driven Software Engineering Education: Friend or Foe?.
   In Educators’ Symposium at ACM/IEEE 26th International Conference on Model-Driven Engineering Languages and Systems (MODELS’2023), pp. 110-113, IEEE.
   

8. Sergio Morales, Robert Clarisó, Jordi Cabot.
   Automating Bias Testing of LLMs.
   In 38th IEEE/ACM International Conference on Automated Software Engineering (ASE’2023). pp. 1705–1707.
   

9. 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.
   

10. 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.
    

11. 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.
    

12. 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.
    

13. 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.
    

14. 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.
    

15. 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.
    

16. 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.
    

17. 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.
    

18. 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.
    

19. 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.
    

20. 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.
    

21. 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.
    

22. 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.
    

23. 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.
    

24. 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.
    

25. 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.
    

26. 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.
    

27. 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.
    

28. 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.
    

29. 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.
    

30. 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.
    

31. 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.
    

32. 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.
    

33. 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.
    

---

Workshops and national conferences

1. David García-Solórzano, Nati Cabrera, Carolina García-Londoño, Maria Jesús Marco-Galindo, Julià Minguillón, Carlos Casado-Martínez, Marcelo Fabián Maina, Montse Vall-llovera Llovet, Rosa Maria Mayordomo, Lourdes Guàrdia Ortiz, Robert Clarisó.
   FeedSmart: una herramienta basada en IA generativa para asistir al profesorado en la elaboración de feedback formativo y personalizado.
   XXXI Jornadas sobre la Enseñanza Universitaria de la Informática (JENUI’2025).
   

2. Fernando Ares-Robledo, Helena Rifà-Pous, Robert Clarisó.
   Hyperparameter Optimization in Neuro-Symbolic Unsupervised Graph Learning.
   5th International Workshop on Graph-based Approaches for CyberSecurity (GRASEC’2025).
   

3. Rubén Rodríguez , Robert Clarisó, and Javier Luis Cánovas Izquierdo.
   Análisis de Proyectos Open-Source mediante un Framework Orientado a las Comunidades.
   XXIX Jornadas de Ingeniería del Software y Bases de Datos (JISBD’2025).
   

4. Nati Cabrera, David García-Solórzano, Carolina García-Londoño, Marcelo Maina, Montse Vall-llovera, Rosa Maria Mayordomo, Lourdes Guàrdia, Maria Jesús Marco, Julià Minguillón, Carlos Casado, Robert Clarisó.
   Using Generative AI to Assist Teachers in Developing Personalized, Formative and Quality Feedback in Higher Education.
   37th EdMedia + Innovate Learning (EdMedia’2025). AACE.
   

5. Abel Gómez, Iván Alfonso, Silvia Doñate, Jordi Cabot, Robert Clarisó.
   Role-based access control in wastewater treatment plants: An industrial use case.
   Jornadas de Ingeniería del Software y Bases de Datos (JISBD’2024).
   

6. Marcos Gómez, Sergio Morales, German Castignani, Robert Clarisó, Aaron Corardy, Louis Deladiennee, Samuel Renault, Jordi Cabot.
   A Leaderboard to Benchmark Ethical Biases in LLMs.
   Workshop on AI bias: Measurements, Mitigation, Explanation Strategies (AIMMES’2024). CEUR Workshop Proceedings, vol. 3744, 2024.
   

7. Jordi Cabot, Daniel Calegari, Robert Clarisó, Martin Gogolla, Antonio Vallecillo, Edward D. Willink.
   A SWOT Analysis of the Object Constraint Language.
   OCL 2021 (STAF Workshop proceedings), 178–184, 2021.
   

8. 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.
   

9. 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.
   

10. 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.
    

11. 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).

12. 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.
    

13. 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.
    

14. 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).
    

15. 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.

16. 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
    

17. 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.
    

18. 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.
    

19. 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.
    

20. 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.
    

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

22. 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.
    

23. 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.
    

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

25. 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.

26. 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.

27. 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: Incorporar la IA generativa en la docencia y gestión de la universidad: el caso de la Universitat Oberta de Catalunya (UOC). Curso de verano “Una IA hablando con otra IA. Gestión de la calidad universitaria”. Universidad Complutense de Madrid. 03/07/2025.

2. Invited talk: ¿Qué pasa entre el prompt y la respuesta? Una mirada al funcionamiento de la IA. XV Jornada de Innovación Docente Universitaria e Inteligencia Artificial: retos para las disciplinas jurídicas y sociales. Universitat Oberta de Catalunya. 26/06/2025.

3. Invited talk: ChatGPT entra a l’aula: i ara què fem? Taula rodona a la Jornada d’Innovació docent 2025. Universitat Autònoma de Barcelona. 07/05/2025

4. Invited course: IA generativa en l’ensenyament superior. Institut Nacional d’Educació Física de Catalunya. 13/03/2025

5. Invited course: IA generativa (IAG) i educació. Escola Universitària Salesiana de Sarrià - EUSS School of Engineering. 23/10/2024.

6. Invited course: IA Generativa en la Universidad y la Práctica Docente. VII Jornadas de Innovación Educativa de la Facultad de Ciencias Jurídicas de la Universidad de Las Palmas de Gran Canaria. 16/10/2024-17/10/2024.

7. Invited talk: IA Generativa en l’Àmbit de l’Educació. XI Jornada de Docència del Departament d’Enginyeria de Serveis i Sistemes d’Informació. 9/07/2024.

8. 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.

9. 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.

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

11. 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

• I am a regular collaborator in Tecnología++, the technology blog at the IT, Multimedia and Telecommunications Department at UOC, which targets a general audience.

• I have also collaborated in Crónicas del intangible, the computer science blog from SISTEDES published in the digital version of the El País newspaper.