computer science

Current teaching

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

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. (In Press). Software and Systems Modeling. Springer. 2012.
• 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 and Nykos Mylonakis. Borrowed Contexts for Attributed Graphs . ICGT 2012. Springer LNCS. (Accepted for publication)
• 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 )
• 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 (current)

• Sixth International Conference on Graph Transformation (ICGT'12).

Participation in programme committees (past)

• Fundamental Approaches to Software Engineering (FASE 2012).
• 11th International Workshop on Graph Transformation and Visual Modeling Techniques. Satellite event of ETAPS'12.
• Jornadas de Ingeniería del Software y Bases de Datos 2011.
• 1st International Conference on Simulation and Modeling Methodologies, Technologies and Applications.
• 2nd Workshop on Algebraic Methods in Model-Based Software Engineering 2011.
• XV Brazilian Symposium on Programming Languages (SBLP 2011).
• 10th International Workshop on Graph Transformation and Visual Modeling Techniques. Satellite event of ETAPS'11.
• Fifth International Conference on Graph Transformation (ICGT 2010). University of Twente, Enschede, The Netherlands. 27 September - 2 October, 2010
• 4th International Workshop on Graph Based Tools. Satellite event of ICGT'10. September 28th 2010, University of Twente, Enschede, The Netherlands.
• 8th edition of the International Conference on Software Engineering and Formal Methods (SEFM'10). 13-17 September 2010. CNR, Pisa, Italy.
• XV Jornadas de Ingeniería del Software y Bases de Datos (XV Spanish Conference on Software Engineering and Databases). Valencia (Spain), 7-10 September 2010.
• 9th International Workshop on Graph Transformation and Visual Modeling Techniques. Satellite event of ETAPS'10. March 20-21 2010, Paphos, Cyprus.
• 8th International Workshop on Rewriting Logic and its Applications. Satellite event of ETAPS'10. Paphos, Cyprus, March 20-21, 2010.
• International Workshop for Formal Methods and Agile Methods. Satellite event of ICFEM'09. December 2009. Rio de Janeiro.
• XIV Jornadas de Ingeniería del Software y Bases de Datos (XIV Spanish Conference on Software Engineering and Databases). San Sebastián, 8-11 September 2009.
• 8th International Workshop on Graph Transformation and Visual Modeling Techniques. Satellite event of ETAPS'09. March 28-29 2009, York, UK. Co-chair.
• 4th International Workshop on Language Engineering. Co-located with Models 2007. October 2007, Nashville, TN - USA
• Third International ERCIM Symposium on Software Evolution (2007). Co-located with ICSM 2007. Friday 5 October 2007, Paris, France
• 3rd International Workshop on Metamodels, Schemas, Grammars and Ontologies for Reverse Engineering. Affilitated with MoDELs 2006. Genova, Italy, October 1-6, 2006
• 3rd Workshop on Software Evolution through Transformations: Embracing the Change. Sattellite Event of the 3rd International Conference on Graph Transformation (ICGT 2006). The workshop is supported by the ERCIM Working Group on Software Evolution and the European Research Training Network SegraVis. Natal, Rio Grande do Norte, Brazil; Sunday 17 - Friday 22 September 2006
• 1st International Workshop on Algebraic Foundations for OCL and Applications. Valencia, Spain, March 22nd, 2006. Member of the organizing committee.
• III Spanish Model-Driven Software Development Workshop, MDA and Applications - Taller sobre Desarrollo de Software Dirigido por Modelos, MDA y Aplicaciones (DSDM'06). Affiliated with JISBD 06. Sitges, España. 3 October 2006
• II Spanish Model-Driven Software Development Workshop, MDA and Applications - Taller sobre Desarrollo de Software Dirigido por Modelos, MDA y Aplicaciones (DSDM'05). Affiliated with JISBD 05. Granada (Spain). 13 September 2005.

Research projects and awards

• Software Engineering for Service-Oriented Overlay Computers (SENSORIA) . IST project funded by the EU as Integrated Project (IP) in the 6th Framework Programme (FP6) as part of the Global Computing Initiative (GC). SENSORIA, IST-2005-016004. Collaborator.
• New Associative Object Model Integration (NAOMI). Supported by Lockheed Martin Advanced Technology Laboratories (ATL). Subaward by the Computer Science Dept. of the University of Illinois at Urbana Champaign. 2008-2009. Principal Investigator.
• Models, Environments, Transformations and Applications (META) . Supported by the Spanish Government. TIN2006-15175-C05. Participation in the MOMENT subproject (TIN2006-15175-C05-01). Research assistant.
• Development of a modeling CASE tool. Funded by CapGemini Unipersonal S.L España. 11-12/2006. Technical manager.

Teaching activities

Past teaching

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

• Artur Boronat:
• Current teaching
• Research activities
• Publications in journals
• Publications in conference proceedings
• Publications in workshops
• Older publications
• Participation in programme committees (current)
• Participation in programme committees (past)
• Research projects and awards
• Teaching activities
• Past teaching

Author: Artur Boronat (aboronat at le dot ac dot uk), T: +44 (0)116 252 2025.
© University of Leicester 14 December 2009. Last modified: 21st September 2012, 12:09:19.
CS Web Maintainer. Any opinions expressed on this page are those of the author.