University of Leicester

computer science

STAFF — Artur Boronat  Dr. (UPV, Spain), MBCS

Lecturer
F28 Computer Science Building
Department of Computer Science,
University of Leicester,
University Road,
Leicester,
LE1 7RH.

T: +44 (0)116 252 2025
F: +44 (0)116 252 5122
E: aboronat at le dot ac dot uk

Current teaching

Office hours: Tue 12:00-13:00, Thu 11:00-12:00

Modules in which I am involved:

  • CO2006: Software Engineering and System Development. BSc programme. Module convenor.
  • CO2015: Second Year Group Software Engineering Project. BSc programme. Module co-convenor.
  • CO3015: Third Year Project. BSc programme. Project supervisor.
  • CO7217: Domain-Specific Languages. MSc programme. Module convenor.
  • CO7517: Domain-Specific Languages. DL MSc programme. Module convenor.

Research activities

Publications in journals

  • Juan de Lara, Esther Guerra, Artur Boronat, Reiko Heckel and Paolo Torrini. Domain-specific discrete event modelling and simulation using graph transformation. Software and Systems Modeling. Springer. Online: 28 March 2012. (In press). ISBN: 1619-1366 (Print) ISSN: 1619-1374 (Online) (Springer link)
  • Artur Boronat and José Meseguer. An algebraic semantics for MOF. Formal Aspects of Computing Journal. Springer London. ISSN 0934-5043 (Print) 1433-299X (Online). 2010. ( Springer link )

Publications in conference proceedings

  • Fernando Orejas, Artur Boronat, Ulrike Golas, Nikos Mylonakis: Checking Bisimilarity for Attributed Graph Transformation. FoSSaCS 2013: 113-128.
  • Fernando Orejas, Artur Boronat, Nikos Mylonakis: Borrowed Contexts for Attributed Graphs. ICGT 2012: 126-140
  • Artur Boronat, Roberto Bruni, Alberto Lluch-Lafuente, Ugo Montanari, Generoso Paolillo: Exploiting the Hierarchical Structure of Rule-Based Specifications for Decision Planning. FMOODS/FORTE 2010. ( Springer link, bibtex )
  • Peter Csaba Ölveczky, Artur Boronat, José Meseguer: Formal Semantics and Analysis of Behavioral AADL Models in Real-Time Maude. FMOODS/FORTE 2010. ( Springer link, bibtex )
  • Juan de Lara, Esther Guerra, Artur Boronat, Reiko Heckel, Paolo Torrini: Graph Transformation for Domain-Specific Discrete Event Time Simulation. ICGT 2010. ( Springer link, bibtex ). Best application-oriented paper award.
  • Artur Boronat and Peter Csaba Ölveczky. Formal Real-Time Model Transformations in MOMENT2. Fundamental Approaches to Software Engineering, FASE'10. ( Springer link, bibtex )

Publications in workshops

  • Artur Boronat and José Meseguer. Automated Model Synchronization: A Case Study on UML with Maude. GT-VMT'11. ECEASST Vol. 41. 2011. ( link, bibtex )

Older publications

List of publications on DBLP.

Participation in programme committees

Participation in programme committees (past)

Research projects and awards

Teaching activities

Past teaching

  • 2014-15
    • CO2006: Software Engineering and System Development. BSc programme. Module convenor.
    • CO2015: Second Year Group Software Engineering Project. BSc programme. Module convenor.
    • CO3015: Third Year Project. BSc programme. Project supervisor.
    • CO7217: Domain-Specific Languages. MSc programme. Module convenor.
    • CO7517: Domain-Specific Languages. DL MSc programme. Module convenor.
    • CB7201: MSc Individual Project. BSc programme. Project supervisor.
  • 2013-14
    • CO2006: Software Engineering and System Development. BSc programme. Module convenor.
    • CO2015: Second Year Group Software Engineering Project. BSc programme. Module convenor.
    • CO3015: Third Year Project. BSc programme. Project supervisor.
    • CO7217: Domain-Specific Languages. MSc programme. Module convenor.
    • CO7517: Domain-Specific Languages. DL MSc programme. Module convenor.
    • CB7201: MSc Individual Project. BSc programme. Project supervisor.
    • CO721B: Personal and group skills. Discussion group moderator.
  • 2012/13
    • CO2006: Software Engineering and System Development. BSc programme. Module convenor.
    • CO2015: Second Year Group Software Engineering Project. BSc programme. Module convenor.
    • CO3015: Third Year Project. BSc programme. Project supervisor.
    • CO7217: Domain-Specific Languages. MSc programme. Module convenor.
    • CO7317: Domain-Specific Languages. DL MSc programme. Module convenor.
  • 2011/12
    • CO2006: Software Engineering and System Development. BSc programme. Module convenor.
    • CO7217: Domain-Specific Languages. MSc programme. Module convenor.
  • 2010/11
    • CO7217: Domain-Specific Languages. MSc programme. Module convenor.
    • CO7207: Generative Development. MSc programme. Module convenor.
    • CA7201: MSc Individual Project. MSc programme. Project supervisor.
    • CB7201: MSc Individual Project. MSc programme. Project supervisor.
    • CO3015: 3rd Year Project. BSc programme. Project supervisor.
  • 2009/10
    • CO7217: Domain-Specific Languages. MSc programme. Module convenor.
    • CO7207: Generative Development. MSc programme. Module convenor.
    • CO721A: Personal and Group Skills. MSc programme. Discussion group moderator.
    • CA7201: MSc Individual Project. MSc programme. Module convenor and project supervisor.
    • CB7201: MSc Individual Project. MSc programme. Module convenor and project supervisor.
    • CO3015: 3rd Year Project. BSc programme. Project supervisor.
  • 2009/10
    • CO7217: Domain-Specific Languages. MSc programme. Module convenor.
    • CO7207: Generative Development. MSc programme. Module convenor.
    • CO721A: Personal and Group Skills. MSc programme. Discussion group moderator.
    • CA7201: MSc Individual Project. MSc programme. Module convenor.
    • CB7201: MSc Individual Project. MSc programme. Module convenor.
    • CO3015: 3rd Year Project. BSc programme. Project supervisor.
  • 2008/09
    • CO7217: Domain-Specific Languages. MSc programme. Module convenor.
    • CO7207: Generative Development. MSc programme. Module convenor.
    • CO721A: Personal and Group Skills. MSc programme. Discussion group moderator.
    • CO721B: Personal and Group Skills. MSc programme. Discussion group moderator.
    • CA7201: MSc Individual Project. MSc programme. Module convenor and project supervisor.
    • CB7201: MSc Individual Project. MSc programme. Module convenor and project supervisor.
    • CO3015: 3rd Year Project. BSc programme. Project supervisor.
    • PhD course: Model-Driven Engineering: foundations, applications and formal verification.
  • 2007/08
    • CO2006: Software Engineering and System Development. BSc programme.
    • CO7207: Generative Development. MSc programme. Module convenor.
    • CO7210: Personal and Group Skills. MSc programme. Discussion group moderator.
    • CO7210: Personal and Group Skills. MSc programme. Discussion group moderator.
    • CO2015: Software Engineering Project. BSc programme. Project supervisor.
    • CO7201: MSc Individual Project. MSc programme. Module co-convenor and project supervisor.
    • PhD course: Rewriting Logic and Maude.
Locations of visitors to this page
| [University Home]|[Faculty of Science]|[MCS Home]|[CS Home]||[University Index A-Z]|[University Search]|[University Help]|

Author: Artur Boronat (aboronat at le dot ac dot uk), T: +44 (0)116 252 2025.
© University of Leicester 14 December 2009. Last modified: 5th October 2015, 10:40:57.
CS Web Maintainer. Any opinions expressed on this page are those of the author.