|
|
This page contains links to files
in Postscript (ps) or Portable
Document
Format (pdf) of articles which may be covered by copyright. Copying or
distributing these files may violate copyright law, in any case, don't
hesistate to contact me if you need an electronic copy of some of the
papers
or presentations.
This list is normally quite outdated, for a more up-to-date list of publications, see the miso group page,
my DBLP entry or my Google Scholar page.
International Journals
[48] “ When and how to use multi-level modelling”.
2014. Juan de Lara, Esther Guerra and Jesús Sánchez Cuadrado.
ACM Transactions on Software Engineering and Methodology (ACM).
In press.
[47] “ A component model for model transformations”.
2014. Jesús Sánchez Cuadrado, Esther Guerra and Juan de Lara.
IEEE Transactions on Software Engineering
(IEEE Computer Society). In press.
[46] “ Towards the flexible reuse of model transformations: A formal approach based on graph transformation””.
2014. Juan de Lara and Esther Guerra. Journal of Logical and Algebraic Methods in Programming
(Elsevier). Vol 83, pp.: 427-458. Pre-print
[45] “ A formalisation of deep metamodelling”. 2014.
Alessandro Rossini, Juan de Lara, Esther Guerra, Adrian Rutle, Uwe Wolter.
Formal Aspects of Computing (Springer). Vol 26(6), pp.: 1115-1152.
[44] “ Example-driven meta-model development”. 2013. Jesús López Fernández, Jesús Sánchez Cuadrado, Esther Guerra, Juan de Lara.
Software and Systems Modeling (Springer). In press.
[43] “ Model-Driven Engineering with Domain-Specific Meta-Modelling Languages”. 2013. Juan de Lara, Esther Guerra, Jesús Sánchez Cuadrado.
Software and Systems Modeling (Springer). In press.
[42] “ Reusable Abstractions for Modelling Languages”. 2013. Juan de Lara, Esther Guerra, Jesús Sánchez Cuadrado.
Information Systems (Elsevier) 38(8):1128-1149 (2013).
[41] “ Modeling collaboration protocols for collaborative modeling tools: Experiences and applications”. 2012. Jesus Gallardo, Crescencio Bravo, Miguel A. Redondo, Juan de Lara.
Journal of Visual Languages and Computing (Elsevier) 24(1):10-23 (2013).
[40] “ Colouring: Execution, Debug and Analysis of QVT-Relations
Transformations through Coloured Petri Nets”. 2012. Esther Guerra, Juan de Lara. Software and Systems Modeling (Springer). In press.
[39] “ Extending deep meta-modelling for practical model-driven engineering”.
2012. Juan de Lara, Esther Guerra, Ruth Cobos and Jaime Moreno-Llorena. The Computer Journal In press.
[38] “ Flexible Model-to-Model Transformation Templates: An Application to ATL”. 2012.
Jesus Sanchez Cuadrado, Esther Guerra, Juan de Lara. Best papers of ICMT'11. Journal of Object Technology Volume 11, no. 2.
[37] “
Domain-specific discrete event modelling and simulation using graph transformation”. 2012.
Juan de Lara, Esther Guerra, Artur Boronat, Reiko Heckel and Paolo Torrini. Software and Systems Modeling (Springer), best papers of ICGT'2010. In press.
[36] “
Automated Verification of Model Transformations based on Visual Contracts”. 2012.
Esther Guerra, Juan de Lara, Manuel Wimmer, Gerti Kappel, Angelika Kusel, Werner Retschitzegger, Johannes Schönböck, Wieland Schwinger
Automated Software Engineering (Springer). 20(1):5--46 (2013).
[35] “
An algebraic semantics for QVT-Relations check-only transformations”. 2011.
Esther Guerra, Juan de Lara.
Fundamenta Informaticae (IOS Press). 114(1):73-101 (2012).
[34] “
From Types to Type Requirements: Genericity for Model-Driven Engineering”. 2011.
Juan de Lara, Esther Guerra.
Software and Systems Modeling (Springer). 12(3):453-474 (2013).
(best papers of MODELS'10).
[33] “
Engineering Model Transformations with transML”.
Esther Guerra, Juan de Lara, Dimitrios S. Kolovos, Richard F. Paige and Osmar Marchi dos Santos.
Software and Systems Modeling (Springer). 12(3):555-577 (2013).
(best papers of MODELS'10).
[32] “
Genericity for model management operations”. 2011.
Louis Rose, Esther Guerra, Juan de Lara, Anne Etien, Dimitrios S. Kolovos and Richard F. Paige.
Software and Systems Modeling (Springer). 12(1):201-219 (2013).
[31] “ Inter-modelling with patterns”. 2011.
Esther Guerra, Juan de Lara and Fernando Orejas. Software and
Systems Modeling (Springer). 12(1):145-174 (2013). best papers of ICMT'2009.
[30] " A Language-Independent and Formal Approach to Pattern-Based Modelling with Support for Composition and Analysis".
Paolo Bottoni, Esther Guerra, Juan de Lara.
Information & Software Technology Volume 52, Issue 8. pp.: 821-844. (Elsevier), 2010.
[29] " Matrix Graph Grammars with Application Conditions". Pedro Pablo Perez Velasco, Juan de Lara.
Fundamenta Informaticae (IOS Press), Vol 99(1), pp.: 29-62. 2010.
[28] " Verification and Validation of Declarative Model-to-Model Transformations Through Invariants". Jordi Cabot, Robert Clariso, Esther Guerra, Juan de Lara.
. Journal of Systems and Software (Elsevier), 83(2): 283-302 (2010)
[27] " A UML/OCL Framework for the Analysis of Graph Transformation Rules". Jordi Cabot, Robert Clariso, Esther Guerra, Juan de Lara.
. Journal on Software and Systems Modeling (Springer), Vol 9(3), pp.: 335-357, 2010 (special section
on ICMT'2008)
[26] "A Reformulation of Matrix Graph Grammars with Boolean
Complexes". Pedro Pablo Perez Velasco, Juan de Lara.
Electronic Journal of Combinatorics. Vol 16(1), R73, 36 pages. 2009.
[25] "Langevin simulation of collisional RF multipactor breakdown of gases". Luis Conde, Francisco Perez, Juan de Lara, Manuel Alfonseca, David Raboso.
Physical Review E, Vol 79(6), 066403 (2009). Plasma physics section.
[24] " Automating the Transformation-Based Analysis of Visual Languages".
Juan de Lara, Hans Vangheluwe.
Formal Aspects of Computing (Springer), to appear (2010), special section on FASE'08
[23] " Guest Editorial: Special Issue on Multi-paradigm Modeling".
Juan de Lara, Tihamer Levendovszky, Pieter J. Mosterman. SIMULATION 85(11-12) November 2009.
[22] " Supporting
User-Oriented
Analysis for Multi-View Domain-Specific Visual Languages". Esther
Guerra, Juan de Lara, Alessio Malizia, Paloma Díaz.
Information & Software Technology (Elsevier), Volume 51, Issue 4. pp.: 769-784. (2009)
[21] " CEST
and MEST: Tools for
the Simulation of Radio Frequency Electric Discharges in Waveguides".
Francisco Pérez, Juan de Lara, Luis Conde, Manuel Alfonseca, Luis
Galán, David Raboso. Simulation Modelling Practice and
Theory (Elsevier), Vol 16(9), pp.: 1438-1452. 2008.
[20] " Enforced
Generative
Patterns for the Specification of the Syntax and Semantics of Visual
Languages". Paolo Bottoni, Esther Guerra, Juan de Lara. Journal of
Visual Languages and Computing(Elsevier), Vol 19(4), pp.: 429-455.
Selected from best papers of VL/HCC'07. 2008.
[19] " Visual
Specification of
Measurements and Redesigns for Domain Specific Visual Languages".
Esther Guerra, Juan de Lara, Paloma Díaz. Journal of
Visual Languages and Computing (Elsevier). Vol 19(3), pp.:
399-425. 2008.
[18] " Event-Driven Grammars: Relating Abstract
and Concrete Levels of Visual Languages". Esther Guerra,
Juan de
Lara. Journal
on
Software and Systems
Modeling (Springer), Vol 6(3), pp.: 317-347, 2007 (special section
on ICGT'2004)
[17] " Attributed Graph Transformation
with Node
Type Inheritance". Juan de Lara, Roswitha Bardohl, Hartmut
Ehrig, Karsten Ehrig, Ulrike Prange, Gabriele Taentzer. Theoretical
Computer Science (Elsevier), 376(3):
139-163. Special Section on FASE'04 and
FASE'05. 2007.
[16] " Simulating Structural Change in
Adaptive
Organisations". Oswaldo Terán, Juan de Lara, José
Lisandro Aguilar, Manuel Alfonseca, Ana Muñoz. Cybernetics
and Systems: An International Journal, Vol 37(7), pp.: 725-753.
Taylor and Francis. 2006.
[15] " Multipactor Prediction for On-Board
Spacecraft RF Equipment with the MEST Software Tool". Juan
de
Lara, Francisco Pérez, Manuel Alfonseca, Luis Galán,
Isabel Montero, Elisa Román, David Raboso.
IEEE
Transactions on Plasma Science, Vol 34(2), April 2006,
pp:
476- 484.
[14] " Supporting
the Automatic
Generation of Advanced Modelling Environments with Graph Transformation
Techniques" (Generación de Entornos de Modelado Avanzados
Mediante Técnicas de Transformación de Grafos, in spanish).
Esther Guerra, Paloma Díaz, Juan de Lara. Revista
del IEEE América Latina (IEEE Latin-America), Vol 4 (2), Special
Edition - JISBD'2005, Computation
Section.
[13] “ Towards an Agent-based Model of
Adaptive Organisations”. Oswaldo Terán, Juan de Lara,
Manuel Alfonseca. WSEAS Trans. Information Science&Applications,
Issue 10(2), pp.: 1667-1672. 2005.
[12] “ Defining
Visual Notations
and Their Manipulation Through Meta-Modelling and Graph
Transformation”. Juan de Lara, Hans Vangheluwe. Journal of Visual
Languages and Computing. Special section on “Domain-Specific
Modeling with Visual Languages”, Vol 15(3-4), pp.: 309-330. 2004.
Elsevier Science.
[11] " Meta-Modelling
and Graph Transformation for the Simulation of Systems". J. de
Lara.
In EATCS Bulletin No. 81, Formal Specification column by Hartmut Ehrig,
October 2003. Also in the book
“CURRENT TRENDS IN THEORETICAL COMPUTER SCIENCE. The Challenge of the New Century, Vol 2: Formal
Models and Semantics”, pp.: 47 – 62. Edited by:
G. Paun, G. Rozenberg y A. Salomaa. World
Scientific, 2004.
[10] " Meta-Modelling
and Graph Grammars for Multi-Paradigm Modelling in AToM3".
Juan de Lara, Hans Vangheluwe, Manuel Alfonseca. Journal on
Software and Systems
Modeling (Springer), Vol 3(3), pp.: 194-209. Springer-Verlag.
August 2004.
Special Section on Graph Transformations and Visual Modeling Techniques.
[9] "Visual
Interactive Simulation
for Distance Education". Juan de Lara, Manuel Alfonseca. SIMULATION:
Transactions of the Society for Modeling and Simulation International.
79(1): 19-34. 2003.
[8] "Two
level evolution of foraging agent
communities". Manuel Alfonseca, Juan de Lara. BioSystems Volume
66, Issues 1-2, pp.: 21-30. Elsevier Science. June-July 2002.
[7] "The
role
of forgetting, memory size and spatial separation in dynamic language
games".
J. de Lara, M.Alfonseca. JASSS
(Journal of Artificial Societies and Social Simulation). Vol 5, issue
2.
March, 2002.
[6] "Distributed simulation of ecosystems for the Internet",M.Alfonseca,
J.de Lara. System
Analysis Modelling Simulation, Vol. 42(5), pp.:665-675. 2002.
Taylor&Francis.
See abstract here.
Full text in [PDF]
from the Taylor&Francis web.
[5] "Constructing Simulation-Based Web
Documents".
Juan de Lara, Manuel Alfonseca. IEEE
Multimedia , Special
issue on Web Engineering. January-March. pp 42-49. 2001. See
abstract here.
[4] "Automatic
generation of simulation-based web courses and model documentation".
M.Alfonseca, J. de Lara. TRANSACTIONS
of the SCS, Vol 17, no.3, pp.
106-119.
2000.
[3] "Some
strategies
for the simulation of vocabulary agreement in multi-agent communities".
J. de Lara, M.Alfonseca. JASSS
(Journal of Artificial Societies and Social Simulation). vol.3, issue
4.
2000.
[2] "Semiautomatic Generation of Web Courses by Means of an
Object-Oriented
Simulation Language", M.Alfonseca, J.de Lara, E.Pulido, SIMULATION
of the Society for Computer Simulation, special issue on Web-based
Simulation,
73:1, pp. 5-12, See
abstract here. 1999
[1] "Compiling
a simulation language in APL" Manuel Alfonseca, Enrique Alfonseca,
Juan de Lara. APL Quote-Quad (ACM/SIGAPL), Vol. 29., No.3, March 1999.
Also presented in the APL'98 conference, Rome.
LNCS & ENTCS
[42] “Reverse engineering of model transformations for reusability”. 2014. Jesús Sánchez Cuadrado, Esther Guerra and Juan de Lara. Lecture Notes in Computer Science 8568, Springer. pp.: 186-201. Presented at ICMT'14: 7th International Conference on Model Transformation.
[41] “Towards the systematic construction of domain-specific transformation languages”. 2014. Jesús Sánchez Cuadrado, Esther Guerra and Juan de Lara. Lecture Notes in Computer Science 8569, Springer. pp.: 196-212. Presented at ECMFA'14: 10th European Conference on Modelling Foundations and Applications.
[40] “Engaging end-users in the collaborative development of domain-specific languages”. 2013. Javier Luis Cánovas Izquierdo, Jordi Cabot, Jesús J. López-Fernández, Jesús Sánchez Cuadrado, Esther Guerra and Juan de Lara. Lecture Notes in Computer Science 8091, Springer. pp.: 101-110. Presented at CDVE'13: 10th International Conference on Cooperative Design, Visualization and Engineering.
[39] “Umbra designer: Graphical modelling for telephony services”. 2013. Nicolás Buezas, Esther Guerra, Juan de Lara, Javier Martín, Miguel Monforte, Fiorella Mori, Eva Ogallar, Oscar Pérez and Jesús Sánchez Cuadrado. Lecture Notes in Computer Science 7949, Springer. pp.: 179-191. Presented at ECMFA'13: 9th European Conference on Modelling Foundations and Applications.
[38] “Checking model transformation refinement”. 2013. Fabian Büttner, Marina Egea, Esther Guerra and Juan de Lara. Lecture Notes in Computer Science 7909, Springer. pp.: 158-173. Presented at ICMT'13: 6th International Conference on Model Transformation.
[37] “The program is the model: Enabling transformations@run.time”. 2012.
Jesús Sánchez Cuadrado, Esther Guerra and Juan de Lara. To be published as Lecture Notes in Computer Science, Springer. To be presented at
SLE'12: 5th International Conference on Software Language Engineering.
[36] “Bottom-up meta-modelling: An interactive approach”. 2012. Jesús Sánchez Cuadrado,
Juan de Lara, Esther Guerra. Lecture Notes in Computer Science 7590, pp.: 3--19, Springer. To be presented at MODELS'12: ACM/IEEE
15th International Conference on Model Driven Engineering Languages and Systems.
[35] “Domain-specific textual meta-modelling languages for model-driven engineering”. 2012. Juan de Lara and Esther Guerra.
Lecture Notes in Computer Science 7349, pp.: 259--274, Springer. Presented at ECMFA'12:
8th European Conference on Modelling Foundations and Applications .
[34] “
A Graph Transformation-Based Semantics for Deep Metamodelling”. 2012. Alessandro Rossini, Juan de Lara, Esther Guerra, Adrian Rutle and Yngve Lamo. Lecture Notes in Computer Science 7233,
pp.: 19--34. Proc. AGTIVE'11: 4th International Symposium on Applications of Graph Transformation with Industrial Relevance.
[33] “Reusable Graph Transformation Templates”. 2012. Juan de Lara, Esther Guerra.
Lecture Notes in Computer Science 7233, pp.: 35--50. Proc. AGTIVE'11: 4th International Symposium on Applications of Graph Transformation with Industrial Relevance.
[32] “Abstracting modelling languages: A reutilization approach”. 2012. Juan de Lara, Esther Guerra and
Jesús Sánchez Cuadrado. Lecture Notes in Computer Science 7328, pp: 127-143. Presented at
CAiSE'12: 24th International Conference on Advanced Information Systems Engineering.
[31] “Generic model transformations: Write once, reuse
everywhere”. 2011. Jesús Sánchez Cuadrado, Esther Guerra and
Juan de Lara. Lecture Notes in Computer Science 6707, pp.: 62--77. Presented at
ICMT'11: 4th International Conference on Model Transformation.
[30] "transML: A family of languages to model model transformations". 2010. Esther Guerra, Juan de Lara, Dimitrios S. Kolovos,
Richard F. Paige and Osmar Marchi dos Santos. Lecture Notes in Computer Science 6394, Part I, Springer. pp.: 106-120. Proc.
MODELS'10: ACM/IEEE 13th International Conference on Model Driven Engineering Languages and Systems.
[29] "Inter-modelling: From theory to practice". 2010. Esther Guerra, Juan de Lara, Dimitrios S. Kolovos and Richard F. Paige.
Lecture Notes in Computer Science 6394, Part I, Springer. pp.: 376-391. Proc. MODELS'10: ACM/IEEE 13th International
Conference on Model Driven Engineering Languages and Systems.
[28] "Generic meta-modelling with concepts, templates and mixin layers". 2010. Juan de Lara and Esther Guerra.
Lecture Notes in Computer Science 6394, Part I, Springer. pp.: 16-30. Proc. MODELS'10: ACM/IEEE 13th International Conference
on Model Driven Engineering Languages and Systems.
[27] "Graph transformation for domain-specific discrete event time simulation". 2010. Juan de Lara, Esther Guerra,
Artur Boronat, Reiko Heckel and Paolo Torrini. Lecture Notes in Computer Science. Proc. ICGT'10: 5th International Conference on Graph Transformation.
[26] "Deep meta-modelling with MetaDepth". 2010. Juan de Lara and Esther Guerra.
Lecture Notes in Computer Science 6141.pp.: 1--20.
Proc. TOOLS Europe 2010: 48th International Conference on Objects, Models, Components, Patterns. See also the web page of
metaDepth.
[25] "Synthesis of OCL pre-conditions for graph transformation rules". 2010. Jordi Cabot, Robert Clarisó, Esther Guerra and Juan de Lara. LNCS 6142, pp.: 45--60.
Proc ICMT'10: 3rd International Conference on Model Transformation.
[24] "Formal Support for QVT-Relations with Coloured Petri Nets". 2009. Juan de Lara, Esther Guerra.
Proc. MODELS'09, LNCS 5795, pp.: 256-270. Denver, USA.
[23] "Pattern-Based Model-to-Model Transformation: Handling Attribute Conditions ". 2009. Esther Guerra, Juan de Lara and Fernando Orejas. Proc.
ICMT2009 International Conference on Model Transformation Theory and Practice of Model Transformations.
[22] "Correctness, Completeness and Termination of Pattern-Based Model-to-Model Transformation". 2009. Fernando Orejas, Esther Guerra, Juan de Lara, and Hartmut Ehrig, Proc.
CALCO'09 , 3rd Conference on Algebra and Coalgebra in Computer Science.
[21] "Formal foundation for pattern-based modelling". 2009. Paolo Bottoni, Esther Guerra and Juan de Lara. LNCS 5503, Springer. pp.: 278-293. Proc. FASE'09: Fundamental Approaches to Software Engineering.
[20] "Analyzing
rule-based behavioral semantics of
visual modeling languages with Maude". 2008. Jose E. Rivera,
Esther
Guerra, Juan de Lara, Antonio Vallecillo. LNCS 5452, Springer. pp.: 54-73. First International
Conference on Software Language Engineering, SLE 2008.
[19] “An
invariant-based method for the analysis of declarative model-to-model
transformations”. 2008. Jordi Cabot, Robert Clarisó, Esther
Guerra and Juan de Lara. Proc. MODELS'08: ACM/IEEE 11th
International Conference on Model Driven Engineering Languages and
Systems. LNCS 5301, pp.:37-53. Springer.
[18] "Pattern-based
Model-to-Model Transformation". Juan de Lara, Esther Guerra. Proc.
2008 International Conference on Graph Transformation,
ICGT'08. Leicester. EASST award for
the Best Software Science paper. LNCS 5214, pp.: 426-441. See
also the long version of
the paper: arXiv:0804.4745v1
[cs.SE].
[17] "Analysing
Graph Transformation Rules Through
OCL". Jordi Cabot,
Robert Clarisó, Esther Guerra and Juan de Lara. In Proc. International
Conference on Model Transformation, Theory and Practice
of Model Transformations: ICMT'08
(Zurich). Lecture Notes in Computer Science 5063, pp.: 225-239.
Springer.
[16] "Translating
Model Simulators to Analysis
Models". Juan de Lara, Hans Vangheluwe, In Proc. Fundamental
Approaches to Software Engineering FASE'08,
at ETAPS'08. Budapest (Hungary). Lecture Notes in Computer Science
4961. pp.: 77-92. Springer.
[15] "Visual
Specification of Metrics for Domain
Specific Visual Languages". Esther Guerra, Paloma Díaz, Juan
de
Lara. Electronic Notes in Theoretical Computer Science vol 211, pp.: 99-110. 2008. (Elsevier) Selected
papers from GT-VMT'06 (satellite event of ETAPS'06).
[14] "Using
Matrix
Graph Grammars for the Analysis of
Behavioural Specifications: Parallel and Sequential Independence".
Pedro Pablo Pérez Velasco, Juan de Lara. Electronic Notes in
Theoretical Computer Science, vol 206, pp.: 133-152. 2008 (Elsevier). Selected papers from
Jornadas de
Programación
y Lenguajes PROLE’2007.
[14] "Second
International Workshop on Multi-Paradigm Modeling:
Concepts and Tools". Juan de Lara, Tihamer Levendovszky, Pieter J.
Mosterman, Hans Vangheluwe. MoDELS Workshops 2007: LNCS 5002, pp.:
237-246, Springer.
[13] "Model
View Management with Triple Graph
Grammars". Esther Guerra, Juan de Lara. Proc. ICGT'06,
in Lecture Notes in Computer Science 4178, pp.: 351-366.
[12] "Matrix
Approach To Graph Transformation: Matching and
Sequences". Pedro Pablo Perez Velasco, Juan de Lara. Proc. ICGT'06,
in Lecture Notes in Computer Science 4178, pp.: 122-137.
[11] “Termination
Criteria for Model Transformation”. Hartmut Ehrig, Karsten
Ehrig, Juan de Lara, Gabriele Taentzer, Dániel Varró, and
Szilvia Varró-Gyapay. Lecture Notes in Computer Science 3442
pp.: 49-63. Springer. 2005. Presented at FASE’05.
[10] “Event-Driven
Grammars: Towards the Integration of
Meta-Modelling and Graph Transformation”. Esther Guerra and
Juan de
Lara. Lecture Notes in Computer Science 3256, pp.: 54-69. Springer.
Presented at International Conference on Graph Transformation,
ICGT’2004,
Rome.
[9] “Distributed Event Graphs: Formalizing
Component-based Modelling and Simulation”. Juan de Lara. To
appear in Electronic Notes in Theoretical Computer Science (Elsevier).
También presentado en Visual Languages and Formal Methods
VLFM’2004, Roma.
[8] "Meta-Modelling,
Graph Transformation and Model Checking for the Analysis of Hybrid
Systems".
Juan de Lara, Esther Guerra and Hans Vangheluwe. AGTIVE'2003
(Applications
of Graph Transformation with Industrial Relevance), Charlottesville,
USA,
Sept. 2003. Lecture Notes in Computer Science 3062. Springer.
[7] "Parallel
Graph Transformation for Model Simulation applied
to Timed Transition Petri Nets". Juan de Lara, Claudia Ermel,
Gabriele
Taentzer, Karsten Ehrig. Workshop on Graph Transformations and Visual
Modellig
Techniques GT-VMT at ETAPS'04. Barcelona, 2004. To appear as Electronic
Notes in Theoretical Computer Science.
[6] “Integrating
Meta Modelling with Graph Transformation for Efficient Visual Language
Definition and Model Manipulation”. Roswitha Bardohl, Hartmut
Ehrig,
Juan de Lara and Gabriele Taentzer. Lecture Notes in Computer Science
2984,
pp.: 214-228 (2004). Springer. Presented at Fundamental
Approaches
to Software Engineering FASE/ETAPS’04. Barcelona.
[5] “Automated
Model Transformation and its Validation with AToM3 and AGG”.
Juan de Lara, Gabriele Taentzer. Lecture Notes in Artificial
Intelligence 2980. Springer, pp.: 182-198. Presented at DIAGRAMS’2004,
Cambridge.
[4] "Computer
Aided Multi-Paradigm Modelling to Process Petri-Nets and Statecharts".
Juan de Lara, Hans Vangheluwe. Lecture Notes in Computer Science 2505.
pp.: 239-253. 1st International Conference on Graph Transformations ICGT'2002.
Barcelona, October 2002.
[3] "Using
Meta-Modelling and Graph Grammars to create Modelling Environments".
Juan de Lara, Hans Vangheluwe, Manuel Alfonseca. Workshop on Graph
Transformations
and Visual Modellig Techniques GT-VMT at ICGT'2002.
Barcelona, October 2002. Electronic
Notes in Theoretical Computer Science Vol.72, (3).
[2] "AToM3:
A Tool for Multi-Formalism Modelling and Meta-Modelling". Juan
de Lara, Hans Vangheluwe. Lecture Notes in Computer Science 2306,
pp.:174-188.
Also presented also at Fundamental
Approaches to Software Engineering - FASE'02 , in European
Joint Conferences on Theory And Practice of Software - ETAPS'02 .
Grenoble. France, April 2002.
[1] "Agent-oriented simulation with OOCSMP. An
example
in evolutionary ant colonies", Juan de Lara, Manuel Alfonseca.
Lecture
Notes in Artificial Intelligence 2190. pp.: 233-234. 2001 (Poster in
the
3rd International Workshop on Intelligent Virtual Agents IVA'2001.
Madrid, September 2001.)
Refereed International Conferences and Workshops
[69] “Uncovering errors in ATL model transformations using static analysis and constraint solving”. 2014. Jesús Sánchez Cuadrado, Esther Guerra and Juan de Lara. Proceedings of ISSRE'14: 25th IEEE International Symposium on Software Reliability Engineering.
[68] “Meta-model validation and verification with MetaBest”. 2014. Jesús J. López-Fernández, Esther Guerra and Juan de Lara. Proceedings of ASE'14: 29th IEEE/ACM International Conference on Automated Software Engineering.
[67] “Towards automating the analysis of integrity constraints in multi-level models”. 2014. Esther Guerra and Juan de Lara. Proceedings of MULTI'14: International Workshop on Multi-level Modeling (satellite event of ACM/IEEE MODELS'14).
[66] “Assessing the quality of meta-models”. 2014. Jesús J. López-Fernández, Esther Guerra and Juan de Lara. Proceedings of MoDeVVa'14: 11th International Workshop on Model-Driven Engineering, Verification, and Validation (satellite event of ACM/IEEE MODELS'14).
[65] “EMF Splitter: A structured approach to EMF modularity”. 2014. Antonio Garmendia, Esther Guerra, Dimitrios S. Kolovos and Juan de Lara. Proceedings of XM'14: 3rd International Extreme Modeling Workshop (satellite event of ACM/IEEE MODELS'14).
[64] “A research roadmap towards achieving scalability in model driven engineering”. 2013. Dimitris Kolovos, Louis Rose, Nicholas Matragkas, Richard Paige, Juan de Lara, Esther Guerra, Daniel Varró, István Ráth, Massimo Tisi, Jesús Sánchez Cuadrado and Jordi Cabot. Proceedings of Big MDE'13: International Workshop on Scalability in Model-Driven Engineering (satellite event of STAF conferences).
[63] “Integrating open services for building educational environments”. 2013. Iván Claros, Ruth Cobos, Esther Guerra, Juan de Lara, Ana Pescador and Jesús Sánchez Cuadrado. Proceedings of EDUCON'13: 4th IEEE Global Engineering Education Conference.
[62] “Composing textual modelling languages in practice”. 2012. Bart Meyers, Antonio Cicchetti, Esther Guerra and Juan de Lara. Proceedings of MPM'12: 6th International Workshop on Multi-Paradigm Modeling (satellite event of ACM/IEEE MODELS'12).
[61] "Inter-modelling with graph constraints: Foundations and applications". 2012. Juan de Lara and Esther Guerra. Invited talk at GTVMT'12: 11th International Workshop on Graph
Transformation and Visual Modeling Techniques (satellite event of ETAPS'12). Proceedings published as Vol. 47 of Electronic Communications of the EASST.
[60] "EMF on Rails". 2012. Rosa López-Landa, Julieta Noguez, Esther Guerra and Juan de Lara. Proceedings of ICSOFT 2012:
7th International Conference on Software Paradigm Trends.
[59] "REUSES: Questionnaire-driven Design for the Automatic Generation of Web-based Collaborative Applications". 2011.
Ruth Cobos, Rafael Martin, Jaime Moreno-Llorena, Esther Guerra and Juan De Lara.
CollaborateCom 2011: 7th International Conference on Collaborative Computing:
Networking, Applications and Worksharing .
[58] "A visual specification language for model-to-model transformations". 2010. Esther Guerra, Juan de Lara, Dimitrios S. Kolovos and Richard F. Paige.
VL/HCC'10: 2010 IEEE Symposium on Visual Languages and Human-Centric Computing.
[57] "Towards a formal notion of interaction pattern". 2010. Paolo Bottoni, Esther Guerra and Juan de Lara.
VL/HCC'10: 2010 IEEE Symposium on Visual Languages and Human-Centric Computing.
[56] "Lightweight executability analysis of graph transformation rules". 2010. Elena Planas, Jordi Cabot, Cristina Gómez, Esther Guerra and Juan de Lara.
VL/HCC'10: 2010 IEEE Symposium on Visual Languages and Human-Centric Computing.
[55] "Formalising design and interaction patterns and their relationships". 2010. Paolo Bottoni, Esther Guerra and Juan de Lara. PEICS'10: 1st International Workshop on Pattern-Driven Engineering of Interactive Computing Systems.
[54] "O D i M: A Model-Driven Approach To Agent-Based Simulation". Jaidermes Nebrijo Duarte, Juan de Lara. ECMS 2009
23rd EUROPEAN Conference on Modelling and Simulation.
[53] "A Model-Driven Approach to Service Performance Prediction and Analysis". Ruben Gonzalez Antolin, Juan de Lara. STV 2008 System Testing and Validation 2008.See the presentation here.
[52] "Automatic Generation of Model-to-Model
Transformations from Rule-Based Specifications of Operational
Semantics". Hans Vangheluwe, Juan de Lara. 2007 OOPSLA workshop on Domain Specific Modeling,
DSM'2007.
[51] "Multi
Agent Simulation of an Educational Collaborative Web
System". Alvaro Barbero, Mario Salvador, Juan de Lara, Manuel
Alfonseca. Proc. 2007 European
Simulation and Modelling Conference, ESM'2007. Malta.
[50] "Analysing Rules with Application Conditions
using Matrix Graph Grammars". Pedro Pablo Pérez Velasco, Juan de
Lara. Proc.
Graph Transformation for Verification and Concurrency, GT-VC'07.
Satellite workshop of CONCUR
2007.
[49] "Domain
Specific Languages with Graphical and Textual Views".
Francisco Pérez, Juan de Lara, Esther Guerra. Proc. International
Workshop and Symposium on Applications of Graph Transformation with
Industrial Relevance (AGTIVE 2007), Kassel, Germany.
[48] "Action
Patterns for the Incremental Specification of the Execution Semantics
of Visual Languages". Paolo Bottoni, Juan de Lara, Esther
Guerra. Proc 2007 IEEE
Symposium on Visual Languages and Human Centric Computing VL/HCC,
Coeur d'Alène, Idaho, USA.
[47] "Triple
Patterns: Compact Specifications for the
Generation of Operational Triple Graph Grammar Rules". Juan de
Lara,
Esther Guerra, Paolo Bottoni. 6th International Workshop on Graph
Transformation and Visual Modeling Techniques, GT-VMT' 2007.
Satellite event of ETAPS'2007.
Braga (Portugal)
[46] "Adding
Recursion to Graph Transformation". Esther Guerra, Juan de
Lara. 6th International Workshop on Graph Transformation and Visual
Modeling Techniques. GT-VMT'
2007.Satellite event of ETAPS'2007.
Braga (Portugal). Vol(6)
EASST.
[45] "Model-Driven
Development of Digital Libraries - Validation,
Analysis and Code Generation". Esther Guerra, Juan de Lara and
Alessio
Malizia. 3rd International Conference on Web Systems and Technologies. WEBIST' 2007. Barcelona.
[44] "Petri
Nets and Matrix Graph Grammars: Reachability". Pedro Pablo
Pérez Velasco, Juan de Lara. Proc Petri Nets and Graph
Transformations, PNGT'2006, satellite event of ICGT'06. Comm
EASST Vol(2).
[43] "Metamodel-based
definition of interaction with
visual enviorenments", Paolo Bottoni, Esther Guerra, Juan de Lara. 2nd International Workshop on
Model Driven Development of Advanced User Interfaces (MDDAUI 2006).
Workshop at MoDELS 2006. October 2, 2006.
[42] "Model-Driven
Development of Digital Libraries: Generating the
User Interface", Alessio Malizia, Esther Guerra, Juan de Lara. 2nd International Workshop on
Model Driven Development of Advanced User Interfaces (MDDAUI 2006).
Workshop at MoDELS 2006. October 2, 2006.
[41] "Matrix Approach to Graph Transformation". Pedro
Pablo Pérez Velasco, Juan de Lara. Poster at ICM'06, International Congress of
Mathematicians (Madrid). 2nd best
poster award in the computation section.
[40] "Graph Transformation vs. OCL for View Definition". Esther Guerra,
Juan de Lara. WAFOCA'06,
1st International Workshop on OCL and Applications (Valencia).
[39] "Model
Transformation by Graph Transformation: A Comparative Study".
Gabriele Taentzer, Karsten Ehrig, Esther Guerra, Juan de Lara, Laszlo
Lengyel, Tihamer Levendovszky, Ulrike Prange, Daniel Varro, and Szilvia
Varro-Gyapay. Model Transformation in Practice (MTiP'05), workshop at
MODELS'05.
[38] “A Multi-View
Component Modelling Language for Systems Design: Checking Consistency
and Timing Constrains”. Juan de Lara, Esther Guerra, Hans
Vangheluwe. VMSIS – Workshop on Visual Modellig of Software Intensive
Systems (Satellite event of VL/HCC 2005). Dallas (USA). The full
proceedings are online here.
[37] “A Formal Approach to the
Generation of Visual Language Environments Supporting Multiple Views”.
Esther Guerra, Paloma Díaz, Juan de Lara. IEEE Symposium on
Visual Languages and Human-Centric Computing, IEEE VL/HCC. Dallas (USA)
[36] “Langevin simulation of RF
Corona discharges for Space Hardware”. M. Alfonseca, L. Conde,
J. de Lara, F. Pérez. 5th International Workshop on Multipactor,
Corona and Passive Intermodulation In Space RF Hardware. MULCOPIM'
2005. Noordwijk, The Netherlands, 2005
[35] “Simulation of multipactor
effect trough the individual simulation of electrons”. F.
Pérez, J. de Lara, L. Galán, M. Alfonseca, I. Montero, E.
Román, D. Raboso. 5th International Workshop on Multipactor,
Corona and Passive Intermodulation In Space RF Hardware. MULCOPIM'
2005. Noordwijk, The Netherlands, 2005.
[34]
“Modelling
and Analysis of Distributed Simulation Protocols with Distributed Graph
Transformation”, Juan de Lara, Gabriele Taentzer. ACSD’2005,
5th
IEEE International
Conference on Application of Concurrency to System Design. June 2005,
St. Maló,
Francia.
[33] “Modelling and Analysis of Traffic Networks
based on Graph Transformation”, Juan de Lara, Hans
Vangheluwe, Pieter Mosterman. FORMS/FORMATS’2004 Symposium on Formal
Methods for Automation and Safety in Railway and Automotive Systems.
Braunschweig, Germany. 2004.
[32] “Computer
Automated Multi-paradigm Modelling for Analysis
and Design of Traffic Networks”, Hans Vangheluwe, Juan de Lara.
Invited
paper in 2004 Winter Simulation Conference (IEEE and Society for
Modelling
and Computer Simulation). Washington, December 2004.
[31] “Multipactor Electron Simulation Tool (MEST)”,
Juan de Lara,
Francisco Pérez, Manuel Alfonseca, Luis Galán, David
Raboso.
IEEE Power Modulation Conference, San Francisco, May 2004.
[30] "Meta-Modelling
Hybrid Formalisms". Simon-Lacoste Julien,
Hans Vangheluwe, Juan de Lara, Pieter Mosterman. IEEE Symposium on
Computer
Aided Control System Design , special section on multi-paradigm
modelling.
Taiwan, 2004.
[29] “Computer
Automated Multi-Paradigm Modelling: Meta-Modelling and Graph
Transformation”.
Hans Vangheluwe, Juan de Lara. Invited paper in 2003 Winter Simulation
Conference (IEEE and Society for Modelling and Computer Simulation).
New
Orleans, December 2003.
[28] “AO
– 4025 ITT ESA - Surface Treatments and Coatings for Reduction of
Multipactor
and Passive Intermodulation (PIM) Effect in RF Components”. Wolk,
D.,
Damaschke, J., Vicente, C., Mottet, B., Hartnagel, H. L., Galán,
L., Montero, I., Román, E., Alfonseca, M., de Lara, J.; Raboso,
D. 4th International Workshop on Multipactor, Corona and Passive
Intermodulation
in Space RF Hardware. 8-11 September 2003 ESTEC, Noordwijk, The
Netherlands
[27] “Modelling
Agents with UML. An Example in Building Security Evaluation”.
Juan
de Lara. 17th European Simulation Multiconference ESM’2003.
Nottingham,
June 2003.
[26] “On Some
Properties of Artificial Foraging Ant Communities”. Juan de
Lara,
Manuel Alfonseca. 17th European Simulation Multiconference
ESM’2003.
Nottingham, June 2003.
[25] “Computer Aided Multi-Paradigm Modelling of Hybrid
Systems with
AToM3”. Juan de Lara, Hans Vangheluwe, Manuel Alfonseca.
2003 Summer Computer Simulation Conference (SCSC'03), Montreal, July
2003.
[24] "Meta-Models
are Models too". Hans Vangheluwe, Juan de Lara. 2002
Winter Simulation Conference, San Diego, December 2002.
[23] "A Software Architecture for Multiparadigm Modelling".
Juan
de Lara, Hans Vangheluwe and Ghislain Vansteenkiste. (Keynote
Presentation
by Hans Vangehluwe). In Proceedings of the Fourth Middle East Symposium
on Simulation and Modelling MESM'2002. September 2002, Sharjah,
U.A.E.
[22] "Using
Meta-Modelling and Graph Grammars to process GPSS models". Juan
de Lara, Hans Vangheluwe. 16th European Simulation Multiconference, ESM'2002.
Darmstadt, June, 2002.
[21] "Teaching
Partial-Differential Equations
through the Internet: an Interactive Approach". Manuel
Alfonseca,
Juan de Lara, Germán Montoro. 16th European Simulation
Multiconference, ESM'2002.
Darmstadt, June, 2002.
[20] "An
Introduction to Multi-Paradigm Modelling and Simulation", Hans
Vangheluwe, Juan de Lara, Pieter J. Mosterman. Tutorial, in Proceedings
AI
Simulation and Planning AIS-2002. pp.: 9-20. Lisbon. April
2002.
[19] "Using
AToM3 as a Meta-CASE Tool". Juan de Lara, Hans
Vangheluwe.
In Proceedings of the 4th
International
Conference on Enterprise Information Systems ICEIS'2002 , Area
3: Information Systems Analysis and Specification. pp.: 642-649. Ciudad
Real. Spain. April 2002.
[18] "Hierarchical
visualization in
a simulation-based educational multimedia web system". Juan de
Lara, Manuel Alfonseca. In Proceedings of the 4th
International Conference on Enterprise Information Systems ICEIS'2002,
Area 4: Internet Computing and Electronic Commerce. pp.: 946-953.
Ciudad
Real. Spain, April 2002.
[17] "Processing
Causal Block Diagrams with Graph Grammars in AToM3".
Ernesto Posse, Juan de Lara, Hans Vangheluwe. In Proceedings of the APPLIGRAPH
Workshop on Applied Graph Transformation - AGT'2002 . pp.:
23-34.
Grenoble. France, April 2002.
[16] "Simulating evolutionary agent
colonies with
OOCSMP", Manuel Alfonseca, Juan de Lara. Proceedings of the
17th
ACM Symposium on Applied Computing (SAC'2002), "AI and Computational
Logic"
track. pp.: 11-15. Madrid, March 2002.
[15] "Web-based simulation of systems
described by
Partial Differential Equations", Manuel Alfonseca, Juan de Lara,
Hans
Vangheluwe. 2001 Winter
Simulation
Conference. pp.: 629-636. Arlington, Virginia, December 2001.
[14] "Developing Adaptive Web Courses
Based on
Simulation: A Thick Client Approach", Manuel Alfonseca, Juan de
Lara,
Alfonso Ortega. EUROMEDIA'01.
Valencia, Spain, April 2001.
[13] "Using Simulation and Virtual Reality for Distance
Education",
J.de Lara, M.Alfonseca.
SIIE'2000 , Puertollano. November 2000.
[12] "Distributed simulation of systems based on partial
differential
equations at the Internet", M.Alfonseca, J.de Lara. IMACS'2000,
Lausanne.
August 2000.Zipped
TeX
file with ps figures.
[11] "Distributed simulation of ecosystems for the
Internet",M.Alfonseca,
J.de Lara. IMACS'2000, Lausanne. August 2000.Zipped
TeX file with ps figures.
[10] "Automatic generation of a web course on electronics
with associated
documentation", M.Alfonseca, J. de Lara. EUROMEDIA'00. Antwerp,
Bélgica.
Mayo, 2000.zipped doc file.
[9] "Output visualization modes in a Java generating
Continuous Simulation
Compiler", M.Alfonseca, J.de Lara, ESS'99, Erlangen, 26-28 Oct. 1999 (zipped
doc file.)
[8] "Dynamical
object generation during the execution of continuous simulation models".
Manuel Alfonseca, Juan de Lara, Estrella Pulido. ARGENTINE SYMPOSIUM ON
OBJECT ORIENTATION 1999 (ASOO 99). Buenos Aires, Argentina, September
6-7,
1999
[7] "Object-Oriented Constructs and
Partial Differential
Equations in a Continuous Simulation Language",Manuel Alfonseca,
Juan
de Lara, Estrella Pulido, Tools Eastern Europe. Sofía, Junio
1999.
[6] "Simulating Partial Differential
equations
in the World-Wide Web" Juan de Lara, Manuel Alfonseca.
EUROMEDIA'99.
Munich, April 1999.
[5] "An
object-oriented
continuous simulation language and its use for training purposes"
Juan
de Lara, Manuel Alfonseca, Estrella Pulido,SESP'98. 5th International
Workshop
on Simulation for European Space Programmes. November 98.Noordwijk, the
Netherlands.
[4] "Educational Simulation of Complex Ecosystems in the
World-Wide-Web"
Manuel Alfonseca, Juan de Lara, Estrella Pulido. ESS'98. October, 98.
Nottingham
[3] "Semiautomatic Generation of Educational Courses in the
Internet
by Means of an Object-Oriented Continuous Simulation Language",Manuel
Alfonseca,
Juan de Lara, Estrella Pulido. ESM'98, Manchester.
[2] "Education in Ecology at the Internet with an
Object-Oriented Simulation
Language", Manuel Alfonseca, Rosa Carro, Juan de Lara , Estrella
Pulido.
EUROSIM'98, Helsinki
[1] "OOCSMP : an object-oriented simulation language",Manuel
Alfonseca,
Estrella Pulido, Ricardo Orosco, Juan de Lara . ESS'97, Octubre 97.
Passau
.
Other Publications in International Journals, Reports
[7] "Attributed Typed
Triple Graph Transformation with Inheritance in the Double Pushout
Approach". Esther Guerra, Juan de Lara. Technical Report
UC3M-TR-CS-06-01 of the Universidad Carlos III.
[6] "Towards a
New Algebraic Approach to
Graph Transformation. Basic Concepts, Sequentialization and
Parallelism: Long Version". Pedro Pablo Pérez Velasco, Juan
de Lara. Technical Report of the School of Computer Science,
Universidad Autonoma Madrid.
[5] "Attributed
Graph Transformation with Node Type Inheritance: Long Version".
Juan de Lara, Roswita Bardohl, Hartmut Ehrig, Karsten Ehrig, Ulrike
Prange, Gabriele Taentzer. Technical Report of the Technical University
of Berlin, Vol 03-2005.
[4] “Node
Type Inheritance Concept for Typed Graph Transformation”. Roswitha
Bardohl, Hartmut Ehrig, Juan de Lara, Olga Runge, Gabriele Taentzer,
Ingo
Weinhold. Technical Report 2003-19 of the Technical University of
Berlin.
2003. ISSN 1436-9915.
[3] "A
review of 'Real-Time and Multi-Agent Systems' by Ammar Attoui".
Juan
de Lara. In JASSS (Journal
of Artificial Societies and Social Simulation). Vol 6, issue 2. March,
2003.
[2] "A
review of 'Discrete-Event Simulation. Modeling, Programming, and
Analysis' by George S.Fishman". Juan de Lara. In JASSS (Journal
of Artificial Societies and Social Simulation). Vol 5, issue 3. June,
2002.
[1] "Web-based
Simulation Activities of the Technical School of Computer Science in
the
Universidad Autonoma of Madrid". Manuel Alfonseca, Rosa Carro, Juan
de Lara, Alfonso Ortega, Estrella Pulido, Pilar Rodriguez y Carlos
Santa
Cruz. SIMULATION of the Society for Computer Simulation 76 (2): 92-92,
Febrero, 2001.
Chapters in books
[5] "Controlling reuse in pattern-based model-to-model transformations".
2010. Esther Guerra, Juan de Lara and Fernando Orejas. Chapter of the book
"Festschrift for Manfred Nagl (65th birthday)", Lecture Notes in Computer Science 5765, Springer.
[4] "Meta-Modelling
and Graph Transformation for the Definition of Multi-View Visual
Languages". Esther Guerra, Juan de Lara. Chapter of the book "Visual
Languages for Interactive Computing: Definitions and Formalization",
Idea Group Publishers, edited by Fernando Ferri. 2006.
[3] “Model-Based
Development: Meta-Modelling, Transformation
and Verification”. Juan de Lara, Esther Guerra and Hans Vangheluwe.
Chapter
of the book “Management of the Object-Oriented Development Process”,
Idea Group Publishers, edited by Liping Liu y Boris Roussev. 2004.
[2] "Using
Simulation and Virtual Reality
for Distance
Education", J.de Lara, M.Alfonseca. In Computers and Education:
Towards
an Interconnected Society (Ortega, M. and Bravo, J. eds.). Kluwer
Academic
Publishers. 2001.
[1] "Integration
of Simulation and
Multimedia in
Automatically Generated Internet Courses". M.Alfonseca, J. de Lara.
COMPUTERS AND EDUCATION IN THE 21st CENTURY. (Ortega, M. and Bravo, J.
eds.). Kluwer Academic Publishers. 2000.
Spanish Journals
[3] "Simulación
Educativa mediante
Meta-Modelado y Gramáticas de Grafos". Juan de Lara. Revista
de Enseñanza y Tecnología nº 23, Mayo-Agosto
2002.
[2] "Generación automática de entornos de
simulación
con interfaces inteligentes", Alfonseca, M., García, F., de
Lara,
J., Moriyón, R. Revista de Enseñanza y Tecnología
nº 12, Octubre-Diciembre 1998. (zipped doc)
[1] "Groupware y Educación", M.Ortega, J. Bravo, M.
Prieto, J.
de Lara, Revista de Enseñanza y Tecnología, 8, 9-17
(1997). ISSN 1138-7386
Chapters in Spanish Books
[3] "Visualización
en
Internet
de cursos basados en Simulación Continua", M.Alfonseca, J.de
Lara. In 'Sistemas de Interacción persona-computador'.
Colección
Ciencia y Técnica no. 32, Ediciones de la Universidad de
Castilla
la Mancha, pp.: 205-228. Work presented in the 1999 Summer School,
Universidad
de Castilla la Mancha in Puertollano. In spanish.
[2] "Inteligencia Artificial aplicada a procesos
industriales : redes
neuronales",1996, Manuel Ortega, José Bravo, Juan de Lara.
Informática
Industrial , colección CIENCIA Y TECNICA, servicio de
publicaciones
de la universidad de Castilla la Mancha.
[1] "Un simulador de redes Neuronales Educativo",1995, Juan
de Lara,
Manuel Ortega, José Bravo. Informática Educativa ,
colección
CIENCIA y TECNICA (ISBN:84-88255-99-3),servicio de Publicaciones de la
universidad de Castilla la Mancha.
Spanish and Latin-American Conferences and Workshops
[12] "MEST y CEST: Herramientas para la Predicción de
Descarga
Electrónica en Guías de Onda". Francisco Pérez,
Juan de Lara, Manuel Alfonseca, Luis Conde, Luis Galán. I
Simposio de Modelado y Simulación de sistemas dinámicos,
SIMOSI'07. Zaragoza.
[11] "Enfoque de Metamodelado y Multiformalismo
Aplicado al Proceso Software usando AToM3". Mabel del V. Sosa, Silvia
T. Acuña, Juan de Lara. VI Jornada Ibero-americana de
Ingeniería de Software e Ingeniería del Conocimiento, JIISIC'2007. Lima (Peru).
[10] "Validación y Verificación de
Interfaces de Usuario en el Ámbito del Desarrollo Basado en
Modelos". Miguel Romero y Juan de Lara. III Taller sobre
Desarrollo de Software
Dirigido por Modelos, MDA y Aplicaciones (DSDM'06). Taller dentro
de las JISBD'06.
[9] "Hacia la Definición de Lenguajes Específicos de
Dominio con Sintaxis Gráfica y Textual". Francisco Pérez
y Juan de Lara. III
Taller sobre Desarrollo de Software
Dirigido por Modelos, MDA y Aplicaciones (DSDM'06). Taller dentro
de las JISBD'06.
[8] “Formal Support
for Model Driven Development with Graph Transformation Techniques”.
Juan de Lara, Esther Guerra. II Taller sobre Desarrollo de Software
Dirigido por Modelos, MDA y Aplicaciones (DSDM'05), 2005. Taller dentro
del CEDI'05. Proc.
Published as Vol.
157 of CEUR.
[7] “Supporting the Automatic
Generation of Advanced Modelling Environments with Graph Transformation
Techniques”. Esther Guerra, Paloma Díaz, Juan de
Lara.
Jornadas de Ingeniería del Software y Bases de Datos (JISBD’05),
2005.
[6] “A
Framework for the Verification of UML Models. Examples using Petri Nets”.
Esther Guerra, Juan de Lara. To appear in Jornadas de Ingeniería
del Software y Bases de Datos, JISBD’03. Alicante.
[5] “Rapid
Prototyping by Means of Meta-Modelling and Graph Grammars. An Example
with
Constraint Satisfaction Problems”. Iván Dotú,
Juan
de Lara. To appear in Jornadas de Ingeniería del Software y
Bases
de Datos, JISBD’03. Alicante.
[4] “Towards
the Uniform Manipulation of Visual and Textual Languages in AToM3”.
Juan de Lara, Esther Guerra. Jornadas de
Programación
y Lenguajes PROLE’2003. Alicante.
[3] "Simulación basada en la web". J. de Lara,
M.Alfonseca. Curso
de Verano de la Universidad de Castilla La Mancha. Puertollano. Julio
2000.
In Spanish
[2] " Integración de Simulación y Multimedia
en cursos
generados automáticamente para Internet", M.Alfonseca, J.de
Lara,
CONIED'99, Puertollano, Noviembre. 1999. (zipped
doc)
[1] "Generación semiautomática de cursos de
electrónica
para Internet mediante un lenguaje de simulación contínua
orientado a objetos", Manuel Alfonseca, Juan de Lara, Estrella
Pulido.TAEE'98.
Madrid, Septiembre 1998 .
Non-refereed Conferences
[1] "Integration
of Simulation Tools for the Construction of Educational Applications".
Juan de Lara, Manuel Alfonseca. First
Technical Workshop of the Computer Engineering Department,
Universidad
Autónoma Madrid. March 2000.
|
