Juan de Lara 

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

[print page (PDF)]
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. You can also have a look at my publications from the DBLP server or from 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.