Proceedings of the 2021 IEEE International Conferences on Internet of Things (iThings) and IEEE Green Computing & Communications (GreenCom) and IEEE Cyber, 2021

Validity Frame Supported Digital Twin Design of Complex Cyber-Physical Systems.

[BibT_eX]

[DOI]

Bert Van Acker

Joost Mertens

Paul De Meulenaere

Joachim Denil

Proceedings of the Annual Modeling and Simulation Conference, 2021

2020

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

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 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 Real-Time Cyber-Physical Systems Instrumentation for Creating Digital Twins.

[BibT_eX]

[DOI]

Proceedings of the Spring Simulation Conference, 2020

Validity frame concept as effort-cutting technique within the verification and validation of complex cyber-physical systems.

[BibT_eX]

[DOI]

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

Adaptivity in Distributed Agent-Based Simulation: A Generic Load-Balancing Approach.

[BibT_eX]

[DOI]

Proceedings of the Multi-Agent-Based Simulation XXI - 21st International Workshop, 2020

Exploring Validity Frames in Practice.

[BibT_eX]

[DOI]

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

Validity Frame Driven Computational Design Synthesis for Complex Cyber-Physical Systems.

[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

Exploring Fault Parameter Space Using Reinforcement Learning-based Fault Injection.

[BibT_eX]

[DOI]

Proceedings of the 50th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2020

2019

Semantic adaptation for FMI co-simulation with hierarchical simulators.

[BibT_eX]

[DOI]

Simul., 2019

Testing IoT systems using a hybrid simulation based testing approach.

[BibT_eX]

[DOI]

Computing, 2019

The Fundamentals of Domain-Specific Simulation Language Engineering.

[BibT_eX]

[DOI]

Simon Van Mierlo

Hans Vangheluwe

Joachim Denil

Proceedings of the 2019 Winter Simulation Conference, 2019

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

[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

A Library of Embedded Platform Components for the Simulation of Real-Time Embedded Systems.

[BibT_eX]

[DOI]

Proceedings of the 2019 Spring Simulation Conference, 2019

Reducing Computational Cost Of Large-Scale Simulations Using Opportunistic Model Approximation.

[BibT_eX]

[DOI]

Proceedings of the 2019 Spring Simulation Conference, 2019

Valid (Re-)Use of Models-of-the-Physics in Cyber-Physical Systems Using Validity Frames.

[BibT_eX]

[DOI]

Alexander Van Bellinghen

Kris Vanstechelman

Proceedings of the 2019 Spring Simulation Conference, 2019

HintCO - Hint-based Configuration of Co-simulations.

[BibT_eX]

[DOI]

Cláudio Gomes

Bentley James Oakes

Mehrdad Moradi

Alejandro Torres Gámiz

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

Optimizing fault injection in FMI co-simulation through sensitivity partitioning.

[BibT_eX]

[DOI]

Proceedings of the 2019 Summer Simulation Conference, 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

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

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

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

Leveraging Domain Knowledge for the Efficient Design-Space Exploration of Advanced Cyber-Physical Systems.

[BibT_eX]

[DOI]

Proceedings of the 22nd Euromicro Conference on Digital System Design, 2019

2018

Co-simulation of Continuous Systems: A Tutorial.

[BibT_eX]

[DOI]

CoRR, 2018

Towards evaluating emergent behavior of the Internet of Things using large scale simulation techniques.

[BibT_eX]

[DOI]

CoRR, 2018

Enabling design-space exploration for domain-specific modelling.

[BibT_eX]

[DOI]

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

Towards evaluating emergent behavior of the internet of things using large scale simulation techniques (wip).

[BibT_eX]

[DOI]

Proceedings of the Theory of Modeling and Simulation Symposium, 2018

Stakeholder specific visualisation from heterogeneous modeling tools.

[BibT_eX]

[DOI]

Proceedings of MODELS 2018 Workshops: ModComp, 2018

Generation of test strategies for Model-based Functional Safety testing using an Artifact-centric approach.

[BibT_eX]

[DOI]

Jan Van Den Oudenhoven

Proceedings of MODELS 2018 Workshops: ModComp, 2018

Towards Co-simulation of Embedded Platforms and Physics-Based Models.

[BibT_eX]

[DOI]

Proceedings of the 44th Euromicro Conference on Software Engineering and Advanced Applications, 2018

Model-Implemented Hybrid Fault Injection for Simulink (Tool Demonstrations).

[BibT_eX]

[DOI]

Proceedings of the Cyber Physical Systems. Model-Based Design - 8th International Workshop, 2018

Challenges of Modeling and Simulating Internet of Things Systems.

[BibT_eX]

[DOI]

Proceedings of the Advances on P2P, 2018

2017

DEVS for AUTOSAR-based system deployment modeling and simulation.

[BibT_eX]

[DOI]

Simul., 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

Modeling Frames.

[BibT_eX]

[DOI]

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

Acsim: Towards Hyper-scalable Internet of Things Simulation.

[BibT_eX]

[DOI]

Proceedings of the Advances on P2P, 2017

2016

Coupling petri nets with deterministic formalisms using co-simulation.

[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

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

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

Towards Inconsistency Management by Process-Oriented Dependency Modeling.

[BibT_eX]

[DOI]

István Dávid

Joachim Denil

Hans Vangheluwe

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

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

[BibT_eX]

[DOI]

Proceedings of the 10th International Conference on P2P, 2015

2014

Explicit modelling of a CBD experimentation environment.

[BibT_eX]

[DOI]

Proceedings of the 2014 Spring Simulation Multiconference, 2014

Generation of functional mock-up units for co-simulation from simulink<sup>®</sup>, 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

Hans Vangheluwe

Proceedings of the 2014 Spring Simulation Multiconference, 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

Towards an Approach for Orchestrating Design Space Exploration Problems to Fix Multi-Paradigm Inconsistencies.

[BibT_eX]

[DOI]

Sebastian J. I. Herzig

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

Design, verification and deployment of software-intensive systems : a multi-paradigm modelling approach

[BibT_eX]

[DOI]

Joachim Denil

PhD thesis, 2013

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

[BibT_eX]

[DOI]

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

Towards domain-specific property languages: the ProMoBox approach.

[BibT_eX]

[DOI]

Proceedings of the 2013 ACM workshop on Domain-specific modeling, 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