Juan de Lara 




Home
Docencia/Teaching
Investigación/Research
Publicaciones/Publications
Enlaces/Links
ETS Informática UAM

[print page (PDF)]

Research

I'm a Ph.D. in Computer Science (Universidad Autónoma de Madrid, 2000), Engineer in Computer Science (Universidad Autónoma de Madrid, 1996) and  Technical Engineer in Computer Science (Universidad de Castilla la Mancha, 1994). 
I coordinate the modelling and software engineering research group (miso)

Research interests

  • Model-Driven Software Development, model transformation, generative techniques in software development.
  • Modelling, meta-modelling and domain specific (visual) languages.
  • Formal methods in software engineering, foundations of software design.
  • Simulation, especially agent-based simulation.

Scientific Events I'm involved in (out of date):

  • I was co-chair of FASE'12 with Andrea Zisman and ICMT'12 with Zhenjiang Hu.
  • 2010 2nd Int. Workshop on Visual Formalisms for Patterns VFfP'10. Satellite event of VL/HCC'10. Madrid (Spain).
  • 2010 4th Int. Workshop on Graph Based Tools GraBaTs'10. Satellite event of ICGT 2010.
  • 2011 27th IEEE Symposium on Visual Languages and Human-Centric Computing VL/HCC'11. Pittsburgh (USA).
  • 2011 International Workshop and Symposium on Applications of Graph Transformation with Industrial Relevance AGTIVE'11 (Budapest, Hungary)
  • 2011 GT-VMT, 10th International Workshop on Graph Transformation and Visual Modeling Techniques, satellite event of FASE'11.
  • 2011 Fundamental Approaches to Software Engineering, FASE'11, at ETAPS, 26 March-4th April, 2011, Saarbrücken, Germany.
  • 2011 International Conference on Objects, Models, Components and Patterns TOOLS Europe 2011 Zurich.
  • 2011 International Conference Model Transformation ICMT 2011 Zurich.
  • I'm on the steering committee of ETAPS.
Recent Past:
  • AGTIVE (International Workshop and Symposium on Applications of Graph Transformation with Industrial Relevance): AGTIVE'07 (Kassel, Germany)
  • ASE (IEEE/ACM International Conference on Automated Software Engineering): ASE'09 (Auckland, New Zealand).
  • AVI (International Working Conference on Advanced Visual Interfaces): AVI'10 (Rome), AVI'2008 (Naples).
  • ESM (European Simulation Multiconference): ESM'09, ESM'08, ESM'2007) (Malta).
  • FASE (Fundamental Approaches to Software Engineering): FASE'10 (Paphos, Cyprus).
  • GT-VMT (International Workshop on Graph Transformation and Visual Modeling Techniques): GT-VMT'10 (Paphos, Cyprus), GT-VMT'09 (York, UK), GT-VMT'08 (Co-Chair, Budapest).
  • ICECCS (IEEE International Conference on Engineering of Complex Computer Systems): ICECCS'10 (Oxford).
  • ICGT (International Conference on Graph Transformation): ICGT 2010 (Enschede, The Netherlands), ICGT'2008 (Leicester, UK).
  • MEDES (The International ACM Conference on Management of Emergent Digital EcoSystems ): MEDES'10, MEDES'09.
  • MODELS (ACM/IEEE International Conference on Model Driven Engineering Languages and Systems): MODELS'10 (Oslo, Norway), MODELS'09 (Denver, USA), .
  • MONET (Workshop on MObile and NEtworking Technologies for social applications): MONET'10 (Crete, Greece), MONET'09 (Algarve, Portugal), MONET'08 (Monterrey, Mexico), MONET´07 (Algarve, Portugal).
  • VL/HCC (IEEE Symposium on Visual Languages and Human-Centric Computing): VL/HCC'10 (Madrid), Computing, VL/HCC 2009 (Corvallis, Oregon), Computing, VL/HCC 2008 (Herrsching am Ammersee, Germany).
  • JISBDs (Jornadas de Ingeniería del Software y Bases de Datos): JISBD'10 (Valencia), JISBD'09 (San Sebastián Tool Demos chair).
  • DSDM (Taller sobre Desarrollo de Software Dirigido por Modelos): DSDM'2010 (Valencia), DSDM'2009 (San Sebastián), DSDM'2008 (Gijón). DSDM'2007 (Zaragoza).
  • 1st International Workshop on Visual Formalisms for Patterns, to be held at the 2009 IEEE VL/HCC 2009. Co-chair with Paolo Bottoni and Esther Guerra.
  • Special Issue of Simulation: Transactions of the SCS on "Multi-Paradigm Modeling: Concepts and Tools". See the CFP here. Guest editor together with Pieter Mosterman and Tihamer Levendovszky.
  • CSTST'08, 5th IEEE Int. Conference on Soft Computing as Transdisciplinary Science and Technology, Paris.
  • GRAMOT'08, Graph and Model Transformation, Workshop at ICSE'08.
  • HCI For Emergencies Workshop at CHI 2008 (Florence).
  • The fourth International Workshop on Software Language Engineering (ATEM 2007) at MoDELS 2007.
  • Co-chair of the second workshop on Multi-Paradigm Modelling: Concepts and Tools (MPM'07) at MoDELS 2007.
  • 2007 Industrial Simulation Conference, (ISC'2007), Delft, the Netherlands.
  • Simposio Nacional de  Tecnologías de la Información y las Comunicaciones en la Educación (SINTICE'07), Zaragoza.
  • I Taller sobre Procesos de Negocio e Ingeniería del Software (PNIS'2007), Zaragoza.

Invited Talks:

  • NWPT'12: 24th Nordic Workshop on Programming Theory.
  • GTVMT'12: 11th International Workshop on Graph Transformation and Visual Modeling Techniques. Joint talk with BX'12: First international workshop on Bidirectional Transformations (satellite events of ETAPS'12). "Inter-modelling with graph constraints: Foundations and applications" (see slides here)
  • GRAPHITE'12: First Workshop on GRAPH Inspection and Traversal Engineering (satellite event of ETAPS'12). Graph Transformation with Time for Domain-Specific Modelling and Simulation.

Ex-PhD. Students:

  • Pedro Pablo Pérez Velasco. Title: "Matrix Graph Grammars". April 2008. See his web site about Matrix Graph Grammars.
  • Esther Guerra. Title: "Especificación, Análisis y Generación de Entornos para Lenguajes Visuales de Dominio Específico". December 2007, co-directed with Paloma Díaz.

Research collaborations:

TOOLS: 

We have built several tools at UAM, sometimes in colaboration with other Universities, among them (in cronological inverse order):
  • MetaDepth: This is a tool for deep meta-modelling that we are developing in the context of the MICINN project METEORIC, built in collaboration with Esther Guerra. See its web page here.

  • PAMOMO: A tool for declarative inter-modelling, built in collaboration with Esther Guerra. See its web page here.

  • Colouring: Set of code generators to provide support for QVT-Relations based on Coloured Petri Nets, built in collaboration with Esther Guerra. See its web page here.

  • MEST: (Multipactor Electron Simulation Tool) In the context of a project sponsored by the European Space Agency, we are building a simulator to detect the occurrence of multipactor discharge between parallel plates. The tool uses a micro-level explicit representation of the electrons, and includes a detailed model of Secondary Emission Yield in the plates. 
  • AToM3: AToM3 (A Tool for Multi-formalism and Meta-Modelling, built in colaboration with Hans Vangheluwe, from McGill University) is used to describe formalisms commonly used in the simulation of dynamical systems, as well as to generate custom tools to process (create, edit, transform, simulate, optimize, ... ) models expressed in the corresponding formalism. AToM3 relies on meta-modelling for the description of the language syntax and on graph rewriting techniques and graph grammars to define the operational semantics, perform transformations between formalisms as well as for other tasks, such as code generation or optimization. You can find more information and download the tool here.

  •  
  • OOCSMP: Together with Manuel Alfonseca, we developed an object-oriented continuous simulation language, called OOCSMP (you can download the compiler from here.) This compiler can generate Java and C++ code from the models, and also HTML pages to include the simulation applets and create web documents. These are some documents (courses, interactive articles, presentations) that we have generated automatically using OOCSMP