|
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).
Research interests:
Modelling & Simulation (continuous, discrete and hybrid) in
general,
and in particular:
- Multi-Paradigm Modelling, in particular Meta-Modelling,
and its
combination with Graph Transformation for the definition of the
syntax and semantics of Domain Specific Visual Languages.
- Model-Driven Software Development, Generative Techniques.
- Formal methods in Software
Engineering.
- Web-based simulation, and its application to distance
learning.
- Agent-based Simulation, including Social agents
and
ALife.
Scientific Events I'm involved in:
- 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.
- 2010 26th IEEE Symposium on Visual Languages and Human-Centric Computing VL/HCC'10. Madrid (Spain).
- 2010 ACM/IEEE 13th International Conference on Model Driven Engineering Languages and Systems, MODELS'10, Oslo, Norway.
- 2010 5th International Conference on Graph Transformation ICGT 2010, 27 September - 2 October, 2010, Enschede, The Netherlands.
- 2010 Fundamental Approaches to Software Engineering, FASE'10, at ETAPS, 20-28, March, 2010, Paphos, Cyprus.
- 2010 GT-VMT, 9th International Workshop on Graph Transformation and Visual Modeling Techniques, satellite event of FASE'10.
- 2011 Fundamental Approaches to Software Engineering, FASE'10, at ETAPS, 26 March-4th April, 2011, Saarbrücken, Germany.
Recent Past:
- 2010 10th International Working Conference on Advanced Visual Interfaces AVI'10, Rome (Italy)
- 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.
- 2009 IEEE Symposium on Visual Languages and Human-Centric
Computing, VL/HCC 2009,
20 - 24 September 2009, Corvallis, Oregon, USA.
- 2009 ACM/IEEE 12th International Conference on Model Driven
Engineering Languages and Systems, MODELS'09, Denver,
Colorado, USA.
- 2009 IEEE/ACM 24th International Conference on Automated
Software Engineering ASE'09, Auckland,
New Zealand, 16th-20th November.
- 2009 ESM'09,
European Simulation Multiconference.
- 3rd Workshop on MObile and NEtworking Technologies for
social applications (MONET'09),
Algarve (Protugal).
- 2009 MEDES'09,
The International ACM Conference on Management of Emergent Digital
EcoSystems (MEDES 2009).
- 2009 GT-VMT,
8th International Workshop on Graph Transformation and Visual Modeling
Techniques, satellite event of FASE'09.
- 2009 XIV Jornadas de Ingeniería del Software y Bases
de Datos, San Sebastián, Octubre 2009 (Tool Demos chair).
- II Taller sobre Procesos de Negocio e Ingeniería del
Software (PNIS'2009).
- VI Taller sobre Desarrollo de Software Dirigido por Modelos(DSDM'2009).
-
2010 15th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS'10
St. Anne's College, University of Oxford, 22-26 March 2010.
- 2010 Fundamental Approaches to Software Engineering,
FASE'10, at ETAPS, 20-28, March,
2010, Paphos, Cyprus.
- Co-chair of 7th International Workshop on Graph
Transformation and
Visual Modeling Techniques, GT-VMT'08, A satellite
event of ETAPS'08. March
29-30, 2008, Budapest, Hungary.
- 2008 IEEE Symposium on Visual Languages and Human-Centric
Computing, VL/HCC 2008,
16-20 September 2008, Herrsching am Ammersee, Germany.
- Advanced Visual Interfaces 2008, AVI'2008, May 28-30, 2008,
Napoli, Italy.
- International Conference on Graph Transformation, ICGT'2008
(Leicester, UK).
- PNGT'08,
3rd Workshop on Petri Nets and Graph Transformations, satellite event
of ICGT'08.
- 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).
- 3rd International Workshop and
Symposium on Applications of Graph Transformation with Industrial
Relevance (AGTIVE
2007), Kassel, Germany, 10-12 October 2007.
- 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.
- 2nd Workshop on MObile and NEtworking Technologies for
social applications (MONET´07),
Algarve (Protugal).
- 2007 European Simulation and Modelling Conference, (ESM'2007),
Malta.
- 2007 Industrial Simulation Conference, (ISC'2007),
Delft, the Netherlands.
- IV Taller sobre Desarrollo de Software Dirigido por
Modelos, MDA y Aplicaciones (DSDM'07),
Zaragoza.
- 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.
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:
- I usually collaborate with the Modelling,
Simulation and Design Lab (MSDL) at the School
of Computer Science McGill
University
in Montreal (Canada), headed by Prof.
Hans Vangheluwe, where I spent a year doing postdoctoral research.
You can have a look at my
web page there.
- I have spent several periods (in 2003 and 2004) at the
Technical
University
of Berlin (Computer Science), at Institut
für Softwaretechnik und Theoretische Informatik, Theoretische
Informatik / Formale Spezifikation (TFS) group, headed by Harmut
Ehrig,
working on graph transformation and its combination with meta-modelling.
- In the area of (multi-view) Visual Languages,
meta-modelling and graph transformation, I work with Esther
Guerra,
from the DEI lab, at the University Carlos III (Madrid).
- In the area of analysis of Visual Languages, I work with Jordi Cabot and Robert
Clariso from the Open University of Catalonia and Antonio Vallecillo
from the Universidad de Malaga.
- In the area of Visual Languages, we work with some people
of the HCI Lab from the University of Rome "La Sapienza",
in particular with Paolo
Bottoni and Alessio
Malizia.
- In the area of modelling and simulation with DEVS, I work
with Alexandre Muzy,
from the SPE lab (Systèmes
Physiques pour l'Environnement) Università
di Corsica – Pasquale Paoli.
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. 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:
|
