Hans Vangheluwe

Proceedings of the Annual Modeling and Simulation Conference, 2021

Composition of Languages, Models, and Analyses.

[BibT_eX]

[DOI]

Proceedings of the Composing Model-Based Analysis Tools, 2021

Foundations.

[BibT_eX]

[DOI]

Proceedings of the Composing Model-Based Analysis Tools, 2021

2020

A Framework for Temporal Verification Support in Domain-Specific Modelling.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2020

Extending Explicitly Modelled Simulation Debugging Environments with Dynamic Structure.

[BibT_eX]

[DOI]

ACM Trans. Model. Comput. Simul., 2020

Comparing and classifying model transformation reuse approaches across metamodels.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2020

An Introduction to Modular Modeling and Simulation with PythonPDEVS and the Building-Block Library PythonPDEVS-BBL.

[BibT_eX]

[DOI]

Randy Paredis

Proceedings of the Winter Simulation Conference, 2020

Translating Process Interaction World View Models to DEVS: GPSS to (Python(P))DEVS.

[BibT_eX]

[DOI]

Randy Paredis

Proceedings of the Winter Simulation Conference, 2020

Analyzing WSN-based IoT Systems using MDE Techniques and Petri-net Models.

[BibT_eX]

[DOI]

Proceedings of the STAF 2020 Workshop Proceedings: 4th Workshop on Model-Driven Engineering for the Internet-of-Things, 2020

Towards adaptive abstraction for continuous time models with dynamic structure.

[BibT_eX]

[DOI]

Proceedings of the MODELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, 2020

Towards employing ABM and MAS integrated with MBSE for the lifecycle of sCPSoS.

[BibT_eX]

[DOI]

Moharram Challenger

Proceedings of the MODELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, 2020

Exploring Validity Frames in Practice.

[BibT_eX]

[DOI]

Proceedings of the Systems Modelling and Management - First International Conference, 2020

Platform-specific Modeling for RIOT based IoT Systems.

[BibT_eX]

[DOI]

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Workshops, Seoul, Republic of Korea, 27 June, 2020

Stability of Planar Switched Systems under Delayed Event Detection.

[BibT_eX]

[DOI]

Proceedings of the 59th IEEE Conference on Decision and Control, 2020

2019

A Multi-Paradigm Modelling approach to live modelling.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2019

Semantic adaptation for FMI co-simulation with hierarchical simulators.

[BibT_eX]

[DOI]

Simul., 2019

Software Engineering for Smart Cyber-Physical Systems (SEsCPS 2018) - Workshop Report.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 2019

An Introduction to Modeling and Simulation with (Python(P))DEVS.

[BibT_eX]

[DOI]

Romain Franceschini

Proceedings of the 2019 Winter Simulation Conference, 2019

The Fundamentals of Domain-Specific Simulation Language Engineering.

[BibT_eX]

[DOI]

Joachim Denil

Proceedings of the 2019 Winter Simulation Conference, 2019

Introduction to Statecharts Modeling, Simulation, Testing, and Deployment.

[BibT_eX]

[DOI]

Proceedings of the 2019 Winter Simulation Conference, 2019

Co-Simulation of Continuous Systems: A Hands-on Approach.

[BibT_eX]

[DOI]

Proceedings of the 2019 Winter Simulation Conference, 2019

Towards Adaptive Abstraction in Agent Based Simulation.

[BibT_eX]

[DOI]

Romain Franceschini

Proceedings of the 2019 Winter Simulation Conference, 2019

Efficient Software Controller Variant Development and Validation (ECoVaDeVa) Overview of a Flemish ICON Project.

[BibT_eX]

[DOI]

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

Towards Formalization of Assembly Knowledge for Product and Assembly Trade-Off Analysis.

[BibT_eX]

[DOI]

Co-simulation: A Research Agenda.

[BibT_eX]

Proceedings of the 9th International Conference on Simulation and Modeling Methodologies, 2019

HintCO - Hint-based Configuration of Co-simulations.

[BibT_eX]

[DOI]

Bentley James Oakes

Mehrdad Moradi

Alejandro Torres Gámiz

Proceedings of the 9th International Conference on Simulation and Modeling Methodologies, 2019

Generation of Co-simulation Algorithms Subject to Simulator Contracts.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods, 2019

Multi-Paradigm Modelling of Cyber-Physical Systems.

[BibT_eX]

Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development, 2019

The Computational Notebook Paradigm for Multi-paradigm Modeling.

[BibT_eX]

[DOI]

Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2019

Towards Sketching Interfaces for Multi-paradigm Modeling.

[BibT_eX]

[DOI]

Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2019

A Model-Driven Engineering Framework to Support the Functional Safety Process.

[BibT_eX]

[DOI]

Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2019

Semantics of Co-simulation Algorithms with Simulator Contracts.

[BibT_eX]

[DOI]

Levi Lúcio

Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2019

Challenges for Automation in Adaptive Abstraction.

[BibT_eX]

[DOI]

Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2019

Blended Modelling - What, Why and How.

[BibT_eX]

[DOI]

Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2019

Validating Industrial Requirements with a Contract-Based Approach.

[BibT_eX]

[DOI]

Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2019

Towards a Formal Specification of Multi-paradigm Modelling.

[BibT_eX]

[DOI]

Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2019

Applying model driven engineering techniques to the development of contiki-based IoT systems.

[BibT_eX]

[DOI]

Proceedings of the 1st International Workshop on Software Engineering Research & Practices for the Internet of Things, 2019

Petri Nets in Multi-Paradigm Modelling.

[BibT_eX]

[DOI]

Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE 2019), 2019

2018

Scope in model transformations.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2018

Co-Simulation: A Survey.

[BibT_eX]

[DOI]

ACM Comput. Surv., 2018

Co-simulation of Continuous Systems: A Tutorial.

[BibT_eX]

[DOI]

CoRR, 2018

Extending the DEVS Formalism with Initialization Information.

[BibT_eX]

[DOI]

CoRR, 2018

Discrete Event System Specification Modeling and simulation.

[BibT_eX]

[DOI]

Proceedings of the 2018 Winter Simulation Conference, 2018

Translating Engineering Workflow Models to DEVS for Performance Evaluation.

[BibT_eX]

[DOI]

István Dávid

Proceedings of the 2018 Winter Simulation Conference, 2018

Unifying Model- and Screen Sharing.

[BibT_eX]

[DOI]

Proceedings of the 27th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2018

Towards the Verification of Hybrid Co-simulation Algorithms.

[BibT_eX]

[DOI]

Proceedings of the Software Technologies: Applications and Foundations, 2018

Demo: Stabilization Technique in INTO-CPS.

[BibT_eX]

[DOI]

Proceedings of the Software Technologies: Applications and Foundations, 2018

Hybrid simulation for cyber physical systems: a panel on where are we going regarding complexity, intelligence, and adaptability of CPS using simulation.

[BibT_eX]

[DOI]

Proceedings of the Symposium on Modeling and Simulation of Complexity in Intelligent, 2018

Introduction to parallel DEVS modelling and simulation.

[BibT_eX]

[DOI]

Proceedings of the Model-driven Approaches for Simulation Engineering Symposium, 2018

A multi-paradigm approach for modelling service interactions in model-driven engineering processes.

[BibT_eX]

[DOI]

Proceedings of the Model-driven Approaches for Simulation Engineering Symposium, 2018

Enabling design-space exploration for domain-specific modelling.

[BibT_eX]

[DOI]

Proceedings of the Model-driven Approaches for Simulation Engineering Symposium, 2018

DEVS modelling and simulation of a multi-paradigm modelling tool.

[BibT_eX]

[DOI]

Proceedings of the 50th Computer Simulation Conference, 2018

Debugging of Model Transformations and Contracts in SyVOLT.

[BibT_eX]

[DOI]

Proceedings of MODELS 2018 Workshops: ModComp, 2018

A Generalized Stepping Semantics for Model Debugging.

[BibT_eX]

[DOI]

Proceedings of MODELS 2018 Workshops: ModComp, 2018

Co-simulation: The Past, Future, and Open Challenges.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems, 2018

Multi-paradigm modelling of cyber-physical systems: extended abstract.

[BibT_eX]

[DOI]

Proceedings of the 4th International Workshop on Software Engineering for Smart Cyber-Physical Systems, 2018

Model Transformation Reuse Across Metamodels - A Classification and Comparison of Approaches.

[BibT_eX]

[DOI]

Proceedings of the Theory and Practice of Model Transformation, 2018

Minimally, Constrained Stable Switched Systems and Application to Co-Simulation.

[BibT_eX]

[DOI]

Proceedings of the 57th IEEE Conference on Decision and Control, 2018

2017

Increasing the performance of a Discrete Event System Specification simulator by means of computational resource usage "activity" models.

[BibT_eX]

[DOI]

Simul., 2017

An evaluation of DEVS simulation tools.

[BibT_eX]

[DOI]

Simul., 2017

Debugging Parallel DEVS.

[BibT_eX]

[DOI]

Simul., 2017

DEVS for AUTOSAR-based system deployment modeling and simulation.

[BibT_eX]

[DOI]

Simul., 2017

An Introduction to Classic DEVS.

[BibT_eX]

[DOI]

CoRR, 2017

Co-simulation: State of the art.

[BibT_eX]

[DOI]

CoRR, 2017

The Modelverse: A tool for Multi-Paradigm Modelling and simulation.

[BibT_eX]

[DOI]

Proceedings of the 2017 Winter Simulation Conference, 2017

Classic DEVS modelling and simulation.

[BibT_eX]

[DOI]

Proceedings of the 2017 Winter Simulation Conference, 2017

Time- and space-conscious omniscient debugging of parallel DEVS.

[BibT_eX]

[DOI]

Proceedings of the Symposium on Theory of Modeling & Simulation, Virginia Beach, VA, USA, April 23, 2017

Explicit modelling and synthesis of debuggers for hybrid simulation languages.

[BibT_eX]

[DOI]

Proceedings of the Symposium on Theory of Modeling & Simulation, Virginia Beach, VA, USA, April 23, 2017

Hybrid system modelling and simulation with Dirac deltas.

[BibT_eX]

[DOI]

Proceedings of the Symposium on Theory of Modeling & Simulation, Virginia Beach, VA, USA, April 23, 2017

The experiment model and validity frame in M&S.

[BibT_eX]

[DOI]

Proceedings of the Symposium on Theory of Modeling & Simulation, Virginia Beach, VA, USA, April 23, 2017

Concrete syntax: a multi-paradigm modelling approach.

[BibT_eX]

[DOI]

Proceedings of the 10th ACM SIGPLAN International Conference on Software Language Engineering, 2017

Approximated Stability Analysis of Bi-modal Hybrid Co-simulation Scenarios.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods, 2017

Explicitly Modelling the Type/Instance Relation.

[BibT_eX]

[DOI]

Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, 2017

Debugging Non-determinism: a Petrinets Modelling, Analysis, and Debugging Tool.

[BibT_eX]

[DOI]

Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, 2017

Report on the 1st International Workshop on Debugging in Model-Driven Engineering (MDEbug'17).

[BibT_eX]

[DOI]

Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, 2017

Transformations Debugging Transformations.

[BibT_eX]

[DOI]

Maris Jukss

Clark Verbrugge

Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, 2017

Towards Agile Model-based Systems Engineering.

[BibT_eX]

[DOI]

Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, 2017

Modeling and Enactment Support for Early Detection of Inconsistencies in Engineering Processes.

[BibT_eX]

[DOI]

Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, 2017

The Two-Hemisphere Modelling Approach to the Composition of Cyber-Physical Systems.

[BibT_eX]

[DOI]

Priscill Orue-Esquivel

Florin Leon

Proceedings of the 12th International Conference on Software Technologies, 2017

Domain-Specific Modelling for Human-Computer Interaction.

[BibT_eX]

[DOI]

Proceedings of the Handbook of Formal Methods in Human-Computer Interaction., 2017

2016

MPM4CPS: Multi-Paradigm Modelling for Cyber-Physical Systems.

[BibT_eX]

[DOI]

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

Teaching the fundamentals of the modelling of cyber-physical systems.

[BibT_eX]

[DOI]

Proceedings of the Symposium on Theory of Modeling & Simulation, 2016

Modular design of hybrid languages by explicit modeling of semantic adaptation.

[BibT_eX]

[DOI]

Proceedings of the Symposium on Theory of Modeling & Simulation, 2016

Coupling petri nets with deterministic formalisms using co-simulation.

[BibT_eX]

[DOI]

Proceedings of the Symposium on Theory of Modeling & Simulation, 2016

Performance analysis of a PDEVS simulator supporting multiple synchronization protocols.

[BibT_eX]

[DOI]

Proceedings of the Symposium on Theory of Modeling & Simulation, 2016

Automated testing support for reactive domain-specific modelling languages.

[BibT_eX]

[DOI]

Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering, Amsterdam, The Netherlands, October 31, 2016

Engineering Process Transformation to Manage (In)consistency.

[BibT_eX]

[DOI]

Proceedings of the 1st International Workshop on Collaborative Modelling in MDE (COMMitMDE 2016) co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2016), 2016

Ontological Reasoning as an Enabler of Contract-Based Co-design.

[BibT_eX]

[DOI]

Proceedings of the Cyber Physical Systems. Design, Modeling, and Evaluation, 2016

Ontological reasoning for consistency in the design of cyber-physical systems.

[BibT_eX]

[DOI]

Proceedings of the 1st International Workshop on Cyber-Physical Production Systems, 2016

2015

T-Core: a framework for custom-built model transformation engines.

[BibT_eX]

[DOI]

Brian LaShomb

Softw. Syst. Model., 2015

Formal Verification Techniques for Model Transformations: A Tridimensional Classification.

[BibT_eX]

[DOI]

J. Object Technol., 2015

Model transformations for round-trip engineering in control deployment co-design.

[BibT_eX]

[DOI]

Proceedings of the Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium, 2015

PythonPDEVS: a distributed parallel DEVS simulator.

[BibT_eX]

[DOI]

Proceedings of the Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium, 2015

Explicit modelling of a parallel DEVS experimentation environment.

[BibT_eX]

[DOI]

Proceedings of the Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium, 2015

Explicit semantic adaptation of hybrid formalisms for FMI co-simulation.

[BibT_eX]

[DOI]

Proceedings of the Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium, 2015

Instrumentation and preservation of extra-functional properties of simulink models.

[BibT_eX]

[DOI]

Sebastian Fischmeister

Proceedings of the Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium, 2015

Generation of an optimised master algorithm for FMI co-simulation.

[BibT_eX]

[DOI]

Proceedings of the Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium, 2015

Integrating a neutral action language in a DEVS modelling environment.

[BibT_eX]

[DOI]

Proceedings of the 8th International Conference on Simulation Tools and Techniques, 2015

SyVOLT: Full Model Transformation Verification Using Contracts.

[BibT_eX]

[DOI]

Proceedings of the MoDELS 2015 Demo and Poster Session co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015), 2015

Towards a Unifying Model Transformation Bus.

[BibT_eX]

[DOI]

Proceedings of the Joint Proceedings of the 3rd International Workshop on the Globalization Of Modeling Languages and the 9th International Workshop on Multi-Paradigm Modeling co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems, 2015

Towards Inconsistency Management by Process-Oriented Dependency Modeling.

[BibT_eX]

[DOI]

István Dávid

Joachim Denil

Migrating Automotive Product Lines: A Case Study.

[BibT_eX]

[DOI]

Proceedings of the Theory and Practice of Model Transformations, 2015

Managing Heterogeneity in Model-Based Systems Engineering of Cyber-Physical Systems.

[BibT_eX]

[DOI]

Proceedings of the 10th International Conference on P2P, 2015

2014

Activity-based simulation using DEVS: increasing performance by an activity model in parallel DEVS simulation.

[BibT_eX]

[DOI]

J. Zhejiang Univ. Sci. C, 2014

Advances in Model-Driven Security.

[BibT_eX]

[DOI]

Adv. Comput., 2014

Explicit modelling of a CBD experimentation environment.

[BibT_eX]

[DOI]

Proceedings of the 2014 Spring Simulation Multiconference, 2014

The modular architecture of the python(P)DEVS simulation kernel: work in progress paper.

[BibT_eX]

[DOI]

Proceedings of the 2014 Spring Simulation Multiconference, 2014

Generation of functional mock-up units for co-simulation from simulink®, using explicit computational semantics: work in progress paper.

[BibT_eX]

[DOI]

Proceedings of the 2014 Spring Simulation Multiconference, 2014

Rule-based model transformation for, and in simulink.

[BibT_eX]

[DOI]

Joachim Denil

Pieter J. Mosterman

Proceedings of the 2014 Spring Simulation Multiconference, 2014

ProMoBox: A Framework for Generating Domain-Specific Property Languages.

[BibT_eX]

[DOI]

Proceedings of the Software Language Engineering - 7th International Conference, 2014

Dynamic Scope Discovery for Model Transformations.

[BibT_eX]

[DOI]

Proceedings of the Software Language Engineering - 7th International Conference, 2014

Search-Based Model Optimization Using Model Transformations.

[BibT_eX]

[DOI]

Proceedings of the System Analysis and Modeling: Models and Reusability, 2014

Design-Space Exploration in MDE: An Initial Pattern Catalogue.

[BibT_eX]

[DOI]

Proceedings of the First International Workshop on Combining Modelling with Search- and Example-Based Approaches co-located with 17th International Conference on Model Driven Engineering Languages and Systems (MODELS 2014), 2014

Multi-level modelling in the Modelverse.

[BibT_eX]

[DOI]

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

ProMoBox in Practice : A Case Study on the GISMO Domain-Specific Modelling Language.

[BibT_eX]

[DOI]

Proceedings of the 8th Workshop on Multi-Paradigm Modeling co-located with the 17th International Conference on Model Driven Engineering Languages and Systems, 2014

Integrating Language and Ontology Engineering.

[BibT_eX]

[DOI]

Bruno Barroca

Thomas Kühne

Proceedings of the 8th Workshop on Multi-Paradigm Modeling co-located with the 17th International Conference on Model Driven Engineering Languages and Systems, 2014

2013

A modular timed graph transformation language for simulation-based design.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2013

A multi-paradigm decision modeling framework for combat system effectiveness measurement based on domain-specific modeling.

[BibT_eX]

[DOI]

J. Zhejiang Univ. Sci. C, 2013

FTG+PM: An Integrated Framework for Investigating Model Transformation Chains.

[BibT_eX]

[DOI]

Proceedings of the SDL 2013: Model-Driven Dependability Engineering, 2013

Explicit modelling of statechart simulation environments.

[BibT_eX]

[DOI]

Sadaf Mustafiz

Proceedings of the 2013 Summer Simulation Multiconference, 2013

Towards domain-specific property languages: the ProMoBox approach.

[BibT_eX]

[DOI]

Proceedings of the 2013 ACM workshop on Domain-specific modeling, 2013

AToMPM: A Web-based Modeling Environment.

[BibT_eX]

[DOI]

Proceedings of the Joint Proceedings of MODELS'13 Invited Talks, 2013

A DSL for Explicit Semantic Adaptation.

[BibT_eX]

[DOI]

Proceedings of the 7th Workshop on Multi-Paradigm Modeling co-located with the 16th International Conference on Model Driven Engineering Languages and Systems, 2013

A characterization of integrated multi-view modeling in the context of embedded and cyber-physical systems.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Embedded Software, 2013

Logisim to DEVS Translation.

[BibT_eX]

[DOI]

Proceedings of the 17th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications, 2013

Model Driven Engineering for Building Automation, a Research Agenda.

[BibT_eX]

[DOI]

Philip Luyckx

Peter Hellinckx

Proceedings of the Eighth International Conference on P2P, 2013

Modeling a Model Transformation Language.

[BibT_eX]

[DOI]

Jeff Gray

Proceedings of the Domain Engineering, Product Lines, Languages, and Conceptual Models, 2013

2012

Modular artifact synthesis from domain-specific models.

[BibT_eX]

[DOI]

Innov. Syst. Softw. Eng., 2012

Adding Rule-Based Model Transformation to Modelling Languages in MetaEdit+.

[BibT_eX]

[DOI]

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2012

Calibration of deployment simulation models: a multi-paradigm modelling approach.

[BibT_eX]

[DOI]

Proceedings of the 2012 Spring Simulation Multiconference, 2012

The FTG+PM framework for multi-paradigm modelling: an automotive case study.

[BibT_eX]

[DOI]

Proceedings of the 6th International Workshop on Multi-Paradigm Modeling, 2012

Invariant preservation in iterative modeling.

[BibT_eX]

[DOI]

Proceedings of the 6th International Workshop on Models and Evolution, 2012

Summary of the First Workshop on the Analysis of Model Transformations (AMT 2012).

[BibT_eX]

[DOI]

Proceedings of the First Workshop on the Analysis of Model Transformations, 2012

A Tridimensional Approach for Studying the Formal Verification of Model Transformations.

[BibT_eX]

[DOI]

Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

Towards an aspect-oriented language module: aspects for petri nets.

[BibT_eX]

[DOI]

Proceedings of the seventh workshop on Domain-Specific Aspect Languages, 2012

2011

A framework for evolution of modelling languages.

[BibT_eX]

[DOI]

Bart Meyers

Sci. Comput. Program., 2011

Modelling- and Simulation-Based Design of Multi-tier Systems.

[BibT_eX]

[DOI]

Kamal Zellag

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011

Automatic Deployment Space Exploration Using Refinement Transformations.

[BibT_eX]

[DOI]

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011

MPM 2010 Preface.

[BibT_eX]

[DOI]

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011

Recent Advances in Multi-Paradigm Modeling.

[BibT_eX]

[DOI]

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011

Modelling and simulation-based design of a distributed devs simulator.

[BibT_eX]

[DOI]

Amr Al Mallah

Proceedings of the Winter Simulation Conference 2011, 2011

Transforming UML2.0 class diagrams and statecharts to atomic DEVS.

[BibT_eX]

[DOI]

Reehan Shaikh

Proceedings of the 2011 Spring Simulation Multi-conference, 2011

A testing framework for DEVS formalism implementations.

[BibT_eX]

[DOI]

Proceedings of the 2011 Spring Simulation Multi-conference, 2011

DEVS for AUTOSAR platform modelling.

[BibT_eX]

[DOI]

Proceedings of the 2011 Spring Simulation Multi-conference, 2011

Summary of the Workshop on Multi-Paradigm Modelling: Concepts and Tools.

[BibT_eX]

[DOI]

Proceedings of the Models in Software Engineering, 2011

Invited Talk: Promises and Challenges of Model-Driven Engineering.

[BibT_eX]

[DOI]

Proceedings of the 15th European Conference on Software Maintenance and Reengineering, 2011

2010

Towards Domain-specific Model Editors with Automatic Model Completion.

[BibT_eX]

[DOI]

Sagar Sen

Benoit Baudry

Simul., 2010

Automating the transformation-based analysis of visual languages.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2010

De-/Re-constructing Model Transformation Languages.

[BibT_eX]

[DOI]

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

Activity regions for the specification of discrete event systems.

[BibT_eX]

[DOI]

Proceedings of the 2010 Spring Simulation Multiconference, 2010

Debugging in Domain-Specific Modelling.

[BibT_eX]

[DOI]

Proceedings of the Software Language Engineering - Third International Conference, 2010

Symbolic flattening of DEVS models.

[BibT_eX]

[DOI]

Bin Chen

Proceedings of the SummerSim '10, 2010

Domain-specific engineering of domain-specific languages.

[BibT_eX]

[DOI]

Proceedings of the DSM@SPLASH 2010: Proceedings of the 10th Workshop on Domain-Specific Modeling, 2010

Modular synthesis of mobile device applications from domain-specific models.

[BibT_eX]

[DOI]

Proceedings of the 7th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software, 2010

Summary of the Workshop on Multi-Paradigm Modelling: Concepts and Tools.

[BibT_eX]

[DOI]

Proceedings of the Models in Software Engineering, 2010

Exceptional Transformations.

[BibT_eX]

[DOI]

Jörg Kienzle

Proceedings of the Theory and Practice of Model Transformations, 2010

2009

MDE and customization of modeling and simulation web applications.

[BibT_eX]

[DOI]

Andriy Levytskyy

Léon J. M. Rothkrantz

Henk Koppelaar

Simul. Model. Pract. Theory, 2009

Systematic Transformation Development.

[BibT_eX]

[DOI]

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009

Explicit Transformation Modeling.

[BibT_eX]

[DOI]

Proceedings of the Models in Software Engineering, 2009

Model transformation of dependability-focused requirements models.

[BibT_eX]

[DOI]

Sadaf Mustafiz

Jörg Kienzle

Proceedings of the ICSE Workshop on Modeling in Software Engineering, 2009

Rapid Development of Scoped User Interfaces.

[BibT_eX]

[DOI]

Denis Dubé

Jacob Beard

Proceedings of the Human-Computer Interaction. New Trends, 13th International Conference, 2009

Privacy-Preserving Telemonitoring for eHealth.

[BibT_eX]

[DOI]

Mohamed Layouni

Kristof Verslype

Mehmet Tahir Sandikkaya

Bart De Decker

Proceedings of the Data and Applications Security XXIII, 2009

2008

Model-driven assessment of system dependability.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2008

Foundations of Modelling and Simulation of Complex Systems.

[BibT_eX]

[DOI]

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008

Programmed Graph Rewriting with Time for Simulation-Based Design.

[BibT_eX]

[DOI]

Proceedings of the Theory and Practice of Model Transformations, 2008

Translating Model Simulators to Analysis Models.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2008

A Privacy-Preserving eHealth Protocol Compliant with the Belgian Healthcare System.

[BibT_eX]

[DOI]

Proceedings of the Public Key Infrastructure, 2008

Multi-Paradigm Language Engineering and Equation-Based Object-Oriented Languages.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Workshop on Equation-Based Object-Oriented Languages and Tools, 2008

2007

A modelling and simulation based process for dependable systems design.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2007

Multi-formalism modelling and model transformation for the design of reactive systems.

[BibT_eX]

[DOI]

Thomas Huining Feng

Miriam Zia

Proceedings of the 2007 Summer Computer Simulation Conference, 2007

Consistency between geometric and dynamic views of a mechanical system.

[BibT_eX]

[DOI]

Chahé Adourian

Proceedings of the 2007 Summer Computer Simulation Conference, 2007

Domain-Specific Model Editors with Model Completion.

[BibT_eX]

[DOI]

Sagar Sen

Benoit Baudry

Proceedings of the Models in Software Engineering, Workshops and Symposia at MoDELS 2007, Nashville, TN, USA, September 30, 2007

Second International Workshop on Multi-Paradigm Modeling: Concepts and Tools.

[BibT_eX]

[DOI]

Proceedings of the Models in Software Engineering, Workshops and Symposia at MoDELS 2007, Nashville, TN, USA, September 30, 2007

Model-Based Design of Computer-Controlled Game Character Behavior.

[BibT_eX]

[DOI]

Jörg Kienzle

Alexandre Denault

Proceedings of the Model Driven Engineering Languages and Systems, 2007

Domain-Specific Modelling With Atom3.

[BibT_eX]

Ximeng Sun

Eric Bodden

Proceedings of the ICSOFT 2007, 2007

Addressing Security Requirements Through Multi-Formalism Modelling and Model Transformation.

[BibT_eX]

Miriam Zia

Ernesto Posse

Proceedings of the ICSOFT 2007, 2007

Anonymous k -Show Credentials.

[BibT_eX]

[DOI]

Mohamed Layouni

Proceedings of the Public Key Infrastructure, 2007

Metamodelling - State of the Art and Research Challenges.

[BibT_eX]

[DOI]

Proceedings of the Model-Based Engineering of Embedded Real-Time Systems, 2007

Kiltera: A Simulation Language for Timed, Dynamic Structure Systems.

[BibT_eX]

[DOI]

Ernesto Posse

Proceedings of the Proceedings 40th Annual Simulation Symposium (ANSS-40 2007), 2007

Programmed Graph Rewriting with DEVS.

[BibT_eX]

[DOI]

Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2007

Transforming Timeline Specifications into Automata for Runtime Monitoring.

[BibT_eX]

[DOI]

Eric Bodden

Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2007

2006

Multi-paradigm modelling and synthesis of user interfaces.

[BibT_eX]

[DOI]

Denis Dubé

Proceedings of the MoDELS'06 Workshop on Model Driven Development of Advanced User Interfaces Genova, 2006

Model-Driven Assessment of Use Cases for Dependable Systems.

[BibT_eX]

[DOI]

Proceedings of the Model Driven Engineering Languages and Systems, 2006

Summary of the Workshop on Multi-Paradigm Modeling: Concepts and Tools.

[BibT_eX]

[DOI]

Holger Giese

Tihamer Levendovszky

Proceedings of the Models in Software Engineering, 2006

2005

A Modelling and Simulation Based Approach to Dependable System Design.

[BibT_eX]

[DOI]

Proceedings of the Model Driven Engineering Languages and Systems, 2005

2004

Defining visual notations and their manipulation through meta-modelling and graph transformation.

[BibT_eX]

[DOI]

J. Vis. Lang. Comput., 2004

Meta-modelling and graph grammars for multi-paradigm modelling in AToM3.

[BibT_eX]

[DOI]

Manuel Alfonseca

Softw. Syst. Model., 2004

Computer Automated Multi-Paradigm Modeling: An Introduction.

[BibT_eX]

[DOI]

Pieter J. Mosterman

Simul., 2004

Computer Automated Multi-Paradigm Modelling for Analysis and Design of Traffic Networks.

[BibT_eX]

[DOI]

Proceedings of the 36th conference on Winter simulation, 2004

2003

Foundations of multi-paradigm modeling and simulation: computer automated multi-paradigm modelling: meta-modelling and graph transformation.

[BibT_eX]

[DOI]

Proceedings of the 35th Winter Simulation Conference: Driving Innovation, 2003

Meta-Modelling, Graph Transformation and Model Checking for the Analysis of Hybrid Systems.

[BibT_eX]

[DOI]

Esther Guerra

Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2003

2002

Guest editorial: Special issue on computer automated multi-paradigm modeling.

[BibT_eX]

[DOI]

Pieter J. Mosterman

ACM Trans. Model. Comput. Simul., 2002

Using Meta-Modelling and Graph Grammars to Create Modelling Environments.

[BibT_eX]

[DOI]

Juan de Lara Jaramillo

Manuel Alfonseca Moreno

Proceedings of the International Workshop on Graph Transformation and Visual Modeling Techniques, 2002

XML-based modeling and simulation: meta-models are models too.

[BibT_eX]

[DOI]

Proceedings of the 34th Winter Simulation Conference: Exploring New Frontiers, 2002

Using AToM3 as a Meta-Case Tool.

[BibT_eX]

Proceedings of the ICEIS 2002, 2002

Computer Aided Multi-paradigm Modelling to Process Petri-Nets and Statecharts.

[BibT_eX]

[DOI]

Proceedings of the Graph Transformation, First International Conference, 2002

AToM3: A Tool for Multi-formalism and Meta-modelling.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2002

Using Meta-Modelling and Graph Grammars to Process GPSS Models.

[BibT_eX]

Proceedings of the 16th European Simulation Multiconference: Modelling and Simulation 2002, 2002

2001

Web II: web-based simulation of systems described by partial differential equations.

[BibT_eX]

[DOI]

Manuel Alfonseca

Proceedings of the 33nd conference on Winter simulation, 2001

2000

The cellular automata formalism and its relationship to DEVS.

[BibT_eX]

Ghislain C. Vansteenkiste

Proceedings of the 14th European Simulation Multiconference, 2000

1996

European Thoughts, Actions, and Plans for More Effective Modelling and Simulation Simulation in Europe: A Forum for Basic Research in Modelling and Simulation.

[BibT_eX]

[DOI]

Ghislain C. Vansteenkiste

Simul., 1996

A Multi-Agent Architecture for Sharing Knowledge and Experimental Data about Water Treatment Plants through the Internet.

[BibT_eX]

Eugene J. H. Kerckhoffs