Juan de Lara
Orcid: 0000-0001-9425-6362Affiliations:
- Autonomous University of Madrid, Spain
According to our database1,
Juan de Lara
authored at least 297 papers
between 1998 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on id.loc.gov
-
on d-nb.info
-
on ii.uam.es
-
on dl.acm.org
On csauthors.net:
Bibliography
2024
Modelling assistants based on information reuse: a user evaluation for language engineering.
Softw. Syst. Model., February, 2024
2023
Comput. Appl. Eng. Educ., November, 2023
Dandelion: A scalable, cloud-based graphical language workbench for industrial low-code development.
J. Comput. Lang., August, 2023
Sci. Comput. Program., August, 2023
Inf. Softw. Technol., May, 2023
Softw. Syst. Model., 2023
J. Log. Algebraic Methods Program., 2023
Proceedings of the 16th ACM SIGPLAN International Conference on Software Language Engineering, 2023
Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2023
Model Sensemaking Strategies: Exploiting Meta-Model Patterns to Understand Large Models.
Proceedings of the 26th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2023
4th International Workshop on Modeling in Low-Code Development Platforms (LowCode 2023).
Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2023
Gotten: A Model-Driven Solution to Engineer Domain-specific Metamorphic Testing Environments.
Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2023
2022
IEEE Trans. Software Eng., 2022
DSMCompare: domain-specific model differencing for graphical domain-specific languages.
Softw. Syst. Model., 2022
Correction to: Low-code development and model-driven engineering: Two sides of the same coin?
Softw. Syst. Model., 2022
Softw. Syst. Model., 2022
Expert Syst. Appl., 2022
Proceedings of the 34th International Conference on Software Engineering and Knowledge Engineering, 2022
Proceedings of the SAC '22: The 37th ACM/SIGAPP Symposium on Applied Computing, Virtual Event, April 25, 2022
Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems, 2022
Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems, 2022
Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022
Proceedings of the 44th IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2022
Analyzing the reliability of simulated distributed systems using Metamorphic Testing.
Proceedings of the IEEE/ACM 7th International Workshop on Metamorphic Testing, 2022
2021
Trans. Petri Nets Other Model. Concurr., 2021
Softw. Syst. Model., 2021
Formal Aspects Comput., 2021
New ideas: automated engineering of metamorphic testing environments for domain-specific languages.
Proceedings of the SLE '21: 14th ACM SIGPLAN International Conference on Software Language Engineering, Chicago, IL, USA, October 17, 2021
Proceedings of the SLE '21: 14th ACM SIGPLAN International Conference on Software Language Engineering, Chicago, IL, USA, October 17, 2021
Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2021
Wodel-Edu: An MDE Solution for the Generation and Evaluation of Diagram-based Exercises.
Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2021
Towards Automating the Construction of Augmented Reality Interfaces for Information Systems.
Proceedings of the Information Systems Development: Crossing Boundaries between Development and Operations (DevOps) in Information Systems (ISD2021 Proceedings), 2021
Towards Twin-Driven Engineering: Overview of the State-of-The-Art and Research Directions.
Proceedings of the Advances in Production Management Systems. Artificial Intelligence for Sustainable and Resilient Production Systems, 2021
Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2021
Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: New Ideas and Emerging Results, 2021
Proceedings of the Composing Model-Based Analysis Tools, 2021
Proceedings of the Composing Model-Based Analysis Tools, 2021
2020
Scalable modeling technologies in the wild: an experience report on wind turbines control applications development.
Softw. Syst. Model., 2020
Softw. Syst. Model., 2020
J. Syst. Softw., 2020
Comput. Stand. Interfaces, 2020
Proceedings of the Quality of Information and Communications Technology, 2020
Proceedings of the MODELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, 2020
Proceedings of the MODELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, 2020
Towards automating the construction of recommender systems for low-code development platforms.
Proceedings of the MODELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, 2020
Proceedings of the GPCE '20: Proceedings of the 19th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2020
Multi-level Model Product Lines - Open and Closed Variability for Modelling Language Families.
Proceedings of the Fundamental Approaches to Software Engineering, 2020
Proceedings of the 46th Euromicro Conference on Software Engineering and Advanced Applications, 2020
Proceedings of the 25th IEEE International Conference on Emerging Technologies and Factory Automation, 2020
Proceedings of the Conceptual Modeling - 39th International Conference, 2020
Proceedings of the EASE '20: Evaluation and Assessment in Software Engineering, 2020
Proceedings of the Enterprise, Business-Process and Information Systems Modeling, 2020
Proceedings of the Advanced Information Systems Engineering, 2020
2019
ACM Trans. Softw. Eng. Methodol., 2019
An example is worth a thousand words: Creating graphical modelling environments by example.
Softw. Syst. Model., 2019
Sci. Comput. Program., 2019
J. Object Technol., 2019
Preface to the special issue on the 10th International Conference on Graph Transformation.
J. Log. Algebraic Methods Program., 2019
Inf. Softw. Technol., 2019
Int. J. Softw. Eng. Knowl. Eng., 2019
An expert system for checking the correctness of memory systems using simulation and metamorphic testing.
Expert Syst. Appl., 2019
Lowcomote: Training the Next Generation of Experts in Scalable Low-Code Engineering Platforms.
Proceedings of the STAF 2019 Co-Located Events Joint Proceedings: 1st Junior Researcher Community Event, 2nd International Workshop on Model-Driven Engineering for Design-Runtime Interaction in Complex Systems, and 1st Research Project Showcase Workshop co-located with Software Technologies: Applications and Foundations (STAF 2019), Eindhoven, The Netherlands, July 15, 2019
Proceedings of the 12th ACM SIGPLAN International Conference on Software Language Engineering, 2019
Proceedings of the 31st International Conference on Software Engineering and Knowledge Engineering, 2019
Formal support of process chain networks using model-driven engineering and Petri nets.
Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019
Proceedings of the 17th ACM SIGPLAN International Workshop on Domain-Specific Modeling, 2019
Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2019
Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2019
Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE 2019), 2019
2018
Softw. Syst. Model., 2018
IEEE Softw., 2018
Comput. Lang. Syst. Struct., 2018
Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering, 2018
Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering, 2018
Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2018
Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2018
Proceedings of the Web Engineering - 18th International Conference, 2018
Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018
Model Transformation Reuse Across Metamodels - A Classification and Comparison of Approaches.
Proceedings of the Theory and Practice of Model Transformation, 2018
2017
<i>A Posteriori</i> Typing for Model-Driven Engineering: Concepts, Analysis, and Applications.
ACM Trans. Softw. Eng. Methodol., 2017
Data Knowl. Eng., 2017
Comput. Lang. Syst. Struct., 2017
A domain-specific language for model mutation and its application to the automated generation of exercises.
Comput. Lang. Syst. Struct., 2017
Proceedings of the Software Technologies: Applications and Foundations, 2017
Proceedings of the 29th International Conference on Software Engineering and Knowledge Engineering, 2017
Domain-Specific Modelling Languages: Challenges and Opportunities.
Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development, 2017
Proceedings of the 20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2017
Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, 2017
Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, 2017
Proceedings of the 20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2017
Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017
Proceedings of the 12th International Conference on Software Technologies, 2017
Proceedings of the International Conference on Computational Science, 2017
Proceedings of the Fundamental Approaches to Software Engineering, 2017
Proceedings of the Conceptual Modeling - 36th International Conference, 2017
On the Opportunities of Scalable Modeling Technologies: An Experience Report on Wind Turbines Control Applications Development.
Proceedings of the Modelling Foundations and Applications - 13th European Conference, 2017
Un enfoque para controlar la extensión de meta-modelos en el ámbito de la Ingeniería dirigida por Modelos.
Proceedings of the XX Iberoamerican Conference on Software Engineering, 2017
2016
J. Syst. Softw., 2016
Combining unit and specification-based testing for meta-model validation and verification.
Inf. Syst., 2016
Ann: A domain-specific language for the effective design and validation of Java annotations.
Comput. Lang. Syst. Struct., 2016
Proceedings of the Joint Proceedings of the Doctoral Symposium and Projects Showcase Held as Part of STAF 2016 co-located with Software Technologies: Applications and Foundations (STAF 2016), 2016
Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering, Amsterdam, The Netherlands, October 31, 2016
Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016
Proceedings of the 3rd International Workshop on Multi-Level Modelling co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2016), 2016
Proceedings of the Model and Data Engineering - 6th International Conference, 2016
Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016
Proceedings of the Software Technologies, 11th International Joint Conference, 2016
Proceedings of the 11th International Joint Conference on Software Technologies (ICSOFT 2016) - Volume 2: ICSOFT-PT, Lisbon, Portugal, July 24, 2016
Proceedings of the Theory and Practice of Model Transformations, 2016
Proceedings of the 20th IEEE International Enterprise Distributed Object Computing Conference, 2016
Proceedings of the Modelling Foundations and Applications - 12th European Conference, 2016
2015
Softw. Syst. Model., 2015
Softw. Syst. Model., 2015
Proceedings of the Projects Showcase, 2015
Proceedings of the 3rd Workshop on Scalable Model Driven Engineering part of the Software Technologies: Applications and Foundations (STAF 2015) federation of conferences, 2015
Proceedings of the 2015 ACM SIGPLAN International Conference on Software Language Engineering, 2015
Proceedings of the Languages, Applications and Technologies - 4th International Symposium, 2015
Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015
Proceedings of the 18th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2015
Proceedings of the 3rd International Workshop on Model-Driven Engineering on and for the Cloud 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015), 2015
Proceedings of the 18th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2015
Proceedings of the 18th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2015
Proceedings of the 18th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2015
Proceedings of the Theory and Practice of Model Transformations, 2015
Proceedings of the Modelling Foundations and Applications - 11th European Conference, 2015
2014
Softw. Syst. Model., 2014
Colouring: execution, debug and analysis of QVT-relations transformations through coloured Petri nets.
Softw. Syst. Model., 2014
Towards the flexible reuse of model transformations: A formal approach based on graph transformation.
J. Log. Algebraic Methods Program., 2014
Comput. J., 2014
Proceedings of the Web Information Systems Engineering - WISE 2014, 2014
Proceedings of the Workshop on Multi-Level Modelling co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2014), 2014
Proceedings of the 3rd Workshop on Extreme Modeling co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages & Systems, 2014
Proceedings of the 11th Workshop on Model-Driven Engineering, 2014
Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014
Uncovering Errors in ATL Model Transformations Using Static Analysis and Constraint Solving.
Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering, 2014
<i>Twiagle</i>: A Tool for Engineering Applications Based on Instant Messaging over Twitter.
Proceedings of the Web Engineering, 14th International Conference, 2014
Proceedings of the Theory and Practice of Model Transformations, 2014
ODaaS: Towards the Model-Driven Engineering of Open Data Applications as Data Services.
Proceedings of the 18th IEEE International Enterprise Distributed Object Computing Conference Workshops and Demonstrations, 2014
Proceedings of the Modelling Foundations and Applications - 10th European Conference, 2014
2013
Modeling collaboration protocols for collaborative modeling tools: Experiences and applications.
J. Vis. Lang. Comput., 2013
Softw. Syst. Model., 2013
Autom. Softw. Eng., 2013
Proceedings of the Workshop on Scalability in Model Driven Engineering, 2013
A declarative and bidirectional model transformation approach based on graph co-spans.
Proceedings of the 15th International Symposium on Principles and Practice of Declarative Programming, 2013
Proceedings of the Theory and Practice of Model Transformations, 2013
Proceedings of the Theory and Practice of Model Transformations, 2013
Proceedings of the IEEE Global Engineering Education Conference, 2013
Proceedings of the Modelling Foundations and Applications - 9th European Conference, 2013
Engaging End-Users in the Collaborative Development of Domain-Specific Modelling Languages.
Proceedings of the Cooperative Design, Visualization, and Engineering, 2013
2012
J. Object Technol., 2012
Fundam. Informaticae, 2012
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2012
Proceedings of the Software Language Engineering, 5th International Conference, 2012
Proceedings of the 2012 Extreme Modeling Workshop, 2012
Proceedings of the 6th International Workshop on Multi-Paradigm Modeling, 2012
Proceedings of the Model Driven Engineering Languages and Systems, 2012
Proceedings of the ICSOFT 2012 - Proceedings of the 7th International Conference on Software Paradigm Trends, Rome, Italy, 24, 2012
Proceedings of the Modelling Foundations and Applications - 8th European Conference, 2012
Proceedings of the Advanced Information Systems Engineering, 2012
2011
Proceedings of the Model-Driven Development of Advanced User Interfaces, 2011
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011
Proceedings of the Theory and Practice of Model Transformations, 2011
REUSES: Questionnaire-driven design for the automatic generation of web-based collaborative applications.
Proceedings of the 7th International Conference on Collaborative Computing: Networking, 2011
Proceedings of the Cooperative Design, Visualization, and Engineering, 2011
Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2011
Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2011
2010
Softw. Syst. Model., 2010
Verification and validation of declarative model-to-model transformations through invariants.
J. Syst. Softw., 2010
A language-independent and formal approach to pattern-based modelling with support for composition and analysis.
Inf. Softw. Technol., 2010
Formal Aspects Comput., 2010
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010
Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2010
Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2010
Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2010
Proceedings of the Objects, Models, Components, Patterns, 48th International Conference, 2010
A Visual Language for Modelling and Simulation of Networks of Evolutionary Processors.
Proceedings of the Trends in Practical Applications of Agents and Multiagent Systems, 2010
Proceedings of the Model Driven Engineering Languages and Systems, 2010
Proceedings of the Model Driven Engineering Languages and Systems, 2010
Proceedings of the Model Driven Engineering Languages and Systems, 2010
Proceedings of the Theory and Practice of Model Transformations, 2010
Proceedings of the Graph Transformations - 5th International Conference, 2010
Proceedings of the 1st International Workshop on Pattern-Driven Engineering of Interactive Computing Systems, 2010
Proceedings of the Graph Transformations and Model-Driven Engineering, 2010
2009
Inf. Softw. Technol., 2009
Electron. J. Comb., 2009
Proceedings of the Model Driven Engineering Languages and Systems, 2009
Proceedings of the Theory and Practice of Model Transformations, 2009
Proceedings of the Fundamental Approaches to Software Engineering, 2009
Proceedings of the European Conference on Modelling and Simulation, 2009
Correctness, Completeness and Termination of Pattern-Based Model-to-Model Transformation.
Proceedings of the Algebra and Coalgebra in Computer Science, 2009
2008
Visual specification of measurements and redesigns for domain specific visual languages.
J. Vis. Lang. Comput., 2008
Enforced generative patterns for the specification of the syntax and semantics of visual languages.
J. Vis. Lang. Comput., 2008
CEST and MEST: Tools for the simulation of radio frequency electric discharges in waveguides.
Simul. Model. Pract. Theory, 2008
Preface of Proceedings 7th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2008).
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008
Proceedings of the Software Language Engineering, First International Conference, 2008
An Invariant-Based Method for the Analysis of Declarative Model-to-Model Transformations.
Proceedings of the Model Driven Engineering Languages and Systems, 2008
Modelado del proceso de software con enfoque de negocio. Aplicación de los estándares BPMN y UML.
Proceedings of the VII Jornadas Iberoamericanas de Ingeniería de Software e Ingeniería del Conocimiento 2008, Guayaquil, Ecuador, January 30, 2008
Proceedings of the Theory and Practice of Model Transformations, 2008
Proceedings of the Graph Transformations, 4th International Conference, 2008
Proceedings of the Fundamental Approaches to Software Engineering, 2008
Empirical study of how personality, team processes and task characteristics relate to satisfaction and software quality.
Proceedings of the Second International Symposium on Empirical Software Engineering and Measurement, 2008
2007
Theor. Comput. Sci., 2007
Softw. Syst. Model., 2007
Using Matrix Graph Grammars for the Analysis of Behavioural Specifications: Sequential and Parallel Independence.
Proceedings of the Seventh Spanish Conference on Programming and Computer Languages, 2007
Triple Patterns: Compact Specifications for the Generation of Operational Triple Graph Grammar Rules.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2007
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2007
Model Driven Development of Digital Libraries - Validation, Analysis and Code Generation.
Proceedings of the WEBIST 2007, 2007
Proceedings of the Web Information Systems and Technologies, 2007
Action Patterns for the Incremental Specification of the Execution Semantics of Visual Languages.
Proceedings of the 2007 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2007), 2007
Designing PRIMA: A Precise Visual Language for Modeling with Agents, in a Physical environment.
Proceedings of the 2007 International Conference on Modeling, 2007
Proceedings of the Models in Software Engineering, Workshops and Symposia at MoDELS 2007, Nashville, TN, USA, September 30, 2007
Enfoque de Metamodelado y Multiformalismo Aplicado al Proceso Software usando AToM3.
Proceedings of the VI Jornadas Iberoamericanas de Ingeniería del Software e Ingeniería del Conocimiento-JIISIC'07, 2007
Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2007
Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2007
2006
Proceedings of the Fifth International Workshop on Graph Transformation and Visual Modeling Techniques, 2006
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2006
Proceedings of the MoDELS'06 Workshop on Model Driven Development of Advanced User Interfaces Genova, 2006
Proceedings of the MoDELS'06 Workshop on Model Driven Development of Advanced User Interfaces Genova, 2006
Proceedings of the Graph Transformations, Third International Conference, 2006
Proceedings of the Graph Transformations, Third International Conference, 2006
Verificación y Validación en el Ámbito del Desarrollo Basado en Modelos de Interfaces de Usuario.
Proceedings of the Actas del Taller sobre Desarrollo de Software Dirigido por Modelos. MDA y Aplicaciones. Sitges, 2006
Hacia la Definición de Lenguajes Específico de Dominio con Sintáxis Gráfica y Textual.
Proceedings of the Actas del Taller sobre Desarrollo de Software Dirigido por Modelos. MDA y Aplicaciones. Sitges, 2006
2005
A Formal Approach to the Generation of Visual Language Environments Supporting Multiple Views.
Proceedings of the 2005 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2005), 2005
Supporting the Automatic Generation of Advanced Modelling Environments with Graph Transformation Techniques.
Proceedings of the Actas de las X Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2005), 2005
Proceedings of the Actas del Taller sobre Desarrollo Dirigido por Modelos, 2005
Proceedings of the Transformation Techniques in Software Engineering, 17.-22. April 2005, 2005
Modelling and Analysis of Distributed Simulation Protocols with Distributed Graph Transformation.
Proceedings of the Fifth International Conference on Application of Concurrency to System Design (ACSD 2005), 2005
2004
Defining visual notations and their manipulation through meta-modelling and graph transformation.
J. Vis. Lang. Comput., 2004
Softw. Syst. Model., 2004
<i>Distributed Event Graphs</i>: Formalizing Component-based Modelling and Simulation.
Proceedings of the Workshop on Visual Languages and Formal Methods, 2004
Parallel Graph Transformation for Model Simulation applied to Timed Transition Petri Nets.
Proceedings of the 2004 Workshop on Graph Transformation and Visual Modelling Techniques, 2004
Computer Automated Multi-Paradigm Modelling for Analysis and Design of Traffic Networks.
Proceedings of the 36th conference on Winter simulation, 2004
Event-Driven Grammars: Towards the Integration of Meta-modelling and Graph Transformation.
Proceedings of the Graph Transformations, Second International Conference, 2004
Integrating Meta-modelling Aspects with Graph Transformation for Efficient Visual Language Definition and Model Manipulation.
Proceedings of the Fundamental Approaches to Software Engineering, 2004
Proceedings of the Diagrammatic Representation and Inference, 2004
2003
J. Artif. Soc. Soc. Simul., 2003
Meta-Modelling and Graph Transformation for the Simulation of Systems.
Bull. EATCS, 2003
Foundations of multi-paradigm modeling and simulation: computer automated multi-paradigm modelling: meta-modelling and graph transformation.
Proceedings of the 35th Winter Simulation Conference: Driving Innovation, 2003
A Framework for the Verification of UML Models. Examples Using Petri Nets.
Proceedings of the VIII Jornadas Ingeniería del Software y Bases de Datos (JISBD 2003), 2003
Rapid Prototyping by Means of Meta-Modelling and Graph Grammars. An Example with Constraint Satisfaction Problems.
Proceedings of the VIII Jornadas Ingeniería del Software y Bases de Datos (JISBD 2003), 2003
Meta-Modelling, Graph Transformation and Model Checking for the Analysis of Hybrid Systems.
Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2003
2002
J. Artif. Soc. Soc. Simul., 2002
Discrete-Event Simulation: Modeling, Programming, and Analysis <i>by George S. Fishman</i>.
J. Artif. Soc. Soc. Simul., 2002
Proceedings of the International Workshop on Graph Transformation and Visual Modeling Techniques, 2002
Proceedings of the 34th Winter Simulation Conference: Exploring New Frontiers, 2002
Proceedings of the 2002 ACM Symposium on Applied Computing (SAC), 2002
Using AToM<sup>3</sup> as a Meta-Case Tool.
Proceedings of the ICEIS 2002, 2002
Hierarchical Visualization in a Simulation-Based Educational Multimedia Web System.
Proceedings of the ICEIS 2002, 2002
Proceedings of the Graph Transformation, First International Conference, 2002
Proceedings of the Fundamental Approaches to Software Engineering, 2002
Using Meta-Modelling and Graph Grammars to Process GPSS Models.
Proceedings of the 16<sup>th</sup> European Simulation Multiconference: Modelling and Simulation 2002, 2002
Teaching Partial Differential Equations through the Internet: an Interactive Approach.
Proceedings of the 16<sup>th</sup> European Simulation Multiconference: Modelling and Simulation 2002, 2002
2001
Spotlight on m&s activities: Web-based Simulation Activities of the Technical School of Computer Science in the Universidad Autónoma of Madrid.
Simul., 2001
Proceedings of the 33nd conference on Winter simulation, 2001
Proceedings of the Intelligent Virtual Agents, Third International Workshop, 2001
Using Simulation and Virtual Reality for Distance Education.
Proceedings of the Computers and Education. Towards an Interconnected Society, 2001
2000
Some strategies for the simulation of vocabulary agreement in multi-agent communities.
J. Artif. Soc. Soc. Simul., 2000
Integration of Simulation and Multimedia in Automatically Generated Internet Courses.
Proceedings of the Computers and Education in the 21st Century, 2000
1999
Semiautomatic Generation of Web Courses by Means of an Object-Oriented Simulation Language.
Simul., 1999
1998
Semiautomatic Generation of Educational Courses in the Internet by Means of an Object-Oriented Continuous Simulation Language.
Proceedings of the 12<sup>th</sup> European Simulation Multiconference - Simulation, 1998
Proceedings of APL98 Conference on Array Processing Languages, 1998