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.

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

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

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.
   

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.
   

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.
   

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.
   

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.
   

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.
   

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.
   

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.
    

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

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

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
   

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.
   

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.
   

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

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.
   

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.
   

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.
   

---

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.
   

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.
   

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.
   

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.
   

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.
   

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.
   

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.
   

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.
   

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.
   

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.
    

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.
    

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.
    

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.
    

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.
    

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.
    

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.
    

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.
    

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.
    

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.
    

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.
    

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.
    

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.
    

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.
    

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.
    

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.
    

---

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.
   

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.
   

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.
   

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.
   

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.
   

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

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
   

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.
    

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.
    

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.
    

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.
    

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.
    

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.
    

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.
    

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

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