


Остановите войну!
for scientists:


default search action
Hans Vangheluwe
Person information

- affiliation: University of Antwerp, Belgium
- affiliation: Flanders Make, Belgium
- affiliation (former): McGill University, Montreal, Canada
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
- [j41]Joeri Exelmans, Jakob Pietron, Alexander Raschke
, Hans Vangheluwe
, Matthias Tichy:
A new versioning approach for collaboration in blended modeling. J. Comput. Lang. 76: 101221 (2023) - [j40]Istvan David
, Hans Vangheluwe
, Eugene Syriani:
Model consistency as a heuristic for eventual correctness. J. Comput. Lang. 76: 101223 (2023) - 2022
- [c170]Randy Paredis
, Joeri Exelmans, Hans Vangheluwe
:
Multi-Paradigm Modelling For Model Based Systems Engineering: Extending The FTG + PM. ANNSIM 2022: 461-474 - [c169]Randy Paredis
, Hans Vangheluwe
:
Towards a digital Z framework based on a family of architectures and a virtual knowledge graph. MoDELS (Companion) 2022: 491-496 - [c168]Ada Diaconescu
, Étienne Houzé, Jean-Louis Dessalles
, Hans Vangheluwe
, Romain Franceschini
:
Multi-scale model-based explanations for cyber-physical systems: the urban traffic case. MoDELS (Companion) 2022: 684-691 - [c167]Joeri Exelmans
, Simon Van Mierlo
, Hans Vangheluwe
:
A statecharts interpreter and compiler with semantic variability. MoDELS (Companion) 2022: 722-727 - [c166]Bentley James Oakes
, Ali Parsai
, Bart Meyers
, Istvan David
, Simon Van Mierlo
, Serge Demeyer
, Joachim Denil
, Paul De Meulenaere
, Hans Vangheluwe
:
A Digital Twin Description Framework and Its Mapping to Asset Administration Shell. MODELSWARD (Revised Selected Papers) 2022: 1-24 - [c165]Joeri Exelmans, Jakob Pietron, Alexander Raschke, Hans Vangheluwe, Matthias Tichy:
Optimistic Versioning for Conflict-tolerant Collaborative Blended Modeling. STAF Workshops 2022 - [i9]Bentley James Oakes, Ali Parsai, Bart Meyers, Istvan David, Simon Van Mierlo, Serge Demeyer, Joachim Denil, Paul De Meulenaere, Hans Vangheluwe:
A Digital Twin Description Framework and its Mapping to Asset Administration Shell. CoRR abs/2209.12661 (2022) - 2021
- [j39]Moussa Amrani
, Dominique Blouin
, Robert Heinrich
, Arend Rensink
, Hans Vangheluwe
, Andreas Wortmann
:
Multi-paradigm modelling for cyber-physical systems: a descriptive framework. Softw. Syst. Model. 20(3): 611-639 (2021) - [c164]Randy Paredis, Hans Vangheluwe
:
Exploring a Digital Shadow Design Workflow by Means of a Line Following Robot Use-Case. ANNSIM 2021: 1-12 - [c163]Bentley J. Oakes, Bart Meyers, Dennis Janssens, Hans Vangheluwe:
Structuring and Accessing Knowledge for Historical and Streaming Digital Twins. SEMANTiCS (Posters & Demos) 2021 - [c162]Randy Paredis
, Cláudio Gomes
, Hans Vangheluwe
:
A Family of Digital T Workflows and Architectures: Exploring Two Cases. IN4PL (Revised Selected Papers) 2021: 93-109 - [c161]Randy Paredis
, Cláudio Gomes
, Hans Vangheluwe
:
Towards a Family of Digital Model/Shadow/Twin Workflows and Architectures. IN4PL 2021: 174-182 - [c160]Bert Van Acker, Joachim Denil, Alexander De Cock, Hans Vangheluwe
, Moharram Challenger
:
Knowledge Base Development and Application Processes Applied on Product-Assembly Co-design. MoDELS (Companion) 2021: 327-335 - [c159]Bentley James Oakes
, Ali Parsai
, Simon Van Mierlo, Serge Demeyer, Joachim Denil, Paul De Meulenaere
, Hans Vangheluwe
:
Improving Digital Twin Experience Reports. MODELSWARD 2021: 179-190 - [c158]Bentley James Oakes
, Mehrdad Moradi
, Simon Van Mierlo
, Hans Vangheluwe
, Joachim Denil
:
Machine Learning-Based Fault Injection for Hazard Analysis and Risk Assessment. SAFECOMP 2021: 178-192 - [c157]Randy Paredis, Joachim Denil, Hans Vangheluwe
:
Specifying and Executing the Combination of Timed Finite State Automata and Causal-Block Diagrams by Mapping Onto Devs. WSC 2021: 1-12 - [p4]Carolyn L. Talcott, Sofia Ananieva, Kyungmin Bae, Benoît Combemale, Robert Heinrich, Mark Hills, Narges Khakpour, Ralf H. Reussner, Bernhard Rumpe, Patrizia Scandurra, Hans Vangheluwe
, Francisco Durán, Steffen Zschaler:
Foundations. Composing Model-Based Analysis Tools 2021: 9-37 - [p3]Carolyn L. Talcott, Sofia Ananieva, Kyungmin Bae, Benoît Combemale, Robert Heinrich, Mark Hills, Narges Khakpour, Ralf H. Reussner, Bernhard Rumpe, Patrizia Scandurra, Hans Vangheluwe
:
Composition of Languages, Models, and Analyses. Composing Model-Based Analysis Tools 2021: 45-70 - 2020
- [j38]Jean-Michel Bruel, Benoît Combemale, Esther Guerra
, Jean-Marc Jézéquel
, Jörg Kienzle, Juan de Lara, Gunter Mussbacher, Eugene Syriani
, Hans Vangheluwe
:
Comparing and classifying model transformation reuse approaches across metamodels. Softw. Syst. Model. 19(2): 441-465 (2020) - [j37]Simon Van Mierlo
, Hans Vangheluwe
, Simon Breslav, Rhys Goldstein, Azam Khan:
Extending Explicitly Modelled Simulation Debugging Environments with Dynamic Structure. ACM Trans. Model. Comput. Simul. 30(1): 3:1-3:25 (2020) - [j36]Bart Meyers
, Hans Vangheluwe
, Joachim Denil
, Rick Salay:
A Framework for Temporal Verification Support in Domain-Specific Modelling. IEEE Trans. Software Eng. 46(4): 362-404 (2020) - [c156]Benoît Legat, Cláudio Gomes
, Paschalis Karalis, Raphaël M. Jungers, Eva M. Navarro-López, Hans Vangheluwe:
Stability of Planar Switched Systems under Delayed Event Detection. CDC 2020: 5792-5797 - [c155]Burak Karaduman, Moharram Challenger
, Raheleh Eslampanah, Joachim Denil, Hans Vangheluwe
:
Platform-specific Modeling for RIOT based IoT Systems. ICSE (Workshops) 2020: 639-646 - [c154]Simon Van Mierlo
, Bentley James Oakes
, Bert Van Acker
, Raheleh Eslampanah
, Joachim Denil
, Hans Vangheluwe
:
Exploring Validity Frames in Practice. ICSMM 2020: 131-148 - [c153]Moharram Challenger
, Hans Vangheluwe
:
Towards employing ABM and MAS integrated with MBSE for the lifecycle of sCPSoS. MoDELS (Companion) 2020: 90:1-90:7 - [c152]Romain Franceschini, Bentley James Oakes
, Simon Van Mierlo, Moharram Challenger, Hans Vangheluwe:
Towards adaptive abstraction for continuous time models with dynamic structure. MoDELS (Companion) 2020: 93:1 - [c151]Burak Karaduman, Moharram Challenger, Raheleh Eslampanah, Joachim Denil, Hans Vangheluwe:
Analyzing WSN-based IoT Systems using MDE Techniques and Petri-net Models. STAF Workshops 2020: 35-46 - [c150]Yentl Van Tendeloo, Randy Paredis, Hans Vangheluwe:
An Introduction to Modular Modeling and Simulation with PythonPDEVS and the Building-Block Library PythonPDEVS-BBL. WSC 2020: 1152-1166 - [c149]Randy Paredis, Simon Van Mierlo, Hans Vangheluwe
:
Translating Process Interaction World View Models to DEVS: GPSS to (Python(P))DEVS. WSC 2020: 2221-2232 - [i8]Benoît Legat, Cláudio Gomes, Paschalis Karalis, Raphaël M. Jungers, Eva M. Navarro-López, Hans Vangheluwe:
Stability of Planar Switched Systems under Delayed Event Detection. CoRR abs/2009.04505 (2020)
2010 – 2019
- 2019
- [j35]Tomás Bures, Danny Weyns
, Bradley R. Schmerl, John S. Fitzgerald, Adina Aniculaesei, Christian Berger, João Cambeiro, Jan Carlson, Shafiul Azam Chowdhury, Marian Daun
, Nianyu Li, Matthias Markthaler, Claudio Menghi, Birgit Penzenstadler, Aedan D. Pettit, Robert G. Pettit IV, Luca Sabatucci, Christos Tranoris
, Hans Vangheluwe
, Sebastian Voss, Edith Zavala:
Software Engineering for Smart Cyber-Physical Systems (SEsCPS 2018) - Workshop Report. ACM SIGSOFT Softw. Eng. Notes 44(4): 11-13 (2019) - [j34]Cláudio Gomes
, Bart Meyers
, Joachim Denil
, Casper Thule, Kenneth Lausdahl, Hans Vangheluwe
, Paul De Meulenaere
:
Semantic adaptation for FMI co-simulation with hierarchical simulators. Simul. 95(3) (2019) - [j33]Yentl Van Tendeloo, Simon Van Mierlo
, Hans Vangheluwe
:
A Multi-Paradigm Modelling approach to live modelling. Softw. Syst. Model. 18(5): 2821-2842 (2019) - [c148]Hans Vangheluwe:
Petri Nets in Multi-Paradigm Modelling. PNSE@Petri Nets/ACSD 2019: 13-14 - [c147]Tansu Zafer Asici, Burak Karaduman, Raheleh Eslampanah, Moharram Challenger
, Joachim Denil
, Hans Vangheluwe
:
Applying model driven engineering techniques to the development of contiki-based IoT systems. SERP4IoT@ICSE 2019: 25-32 - [c146]Matthias Bernaerts, Bentley J. Oakes
, Ken Vanherpen
, Bjorn Aelvoet, Hans Vangheluwe
, Joachim Denil
:
Validating Industrial Requirements with a Contract-Based Approach. MoDELS (Companion) 2019: 18-27 - [c145]Moussa Amrani, Dominique Blouin, Robert Heinrich, Arend Rensink, Hans Vangheluwe
, Andreas Wortmann:
Towards a Formal Specification of Multi-paradigm Modelling. MoDELS (Companion) 2019: 419-424 - [c144]Federico Ciccozzi, Matthias Tichy, Hans Vangheluwe
, Danny Weyns
:
Blended Modelling - What, Why and How. MoDELS (Companion) 2019: 425-430 - [c143]Simon Van Mierlo, Julien Deantoni, Loli Burgueño
, Clark Verbrugge, Hans Vangheluwe
:
Towards Sketching Interfaces for Multi-paradigm Modeling. MoDELS (Companion) 2019: 437-442 - [c142]Romain Franceschini, Moharram Challenger
, Antonio Cicchetti, Joachim Denil
, Hans Vangheluwe
:
Challenges for Automation in Adaptive Abstraction. MoDELS (Companion) 2019: 443-448 - [c141]Bentley James Oakes
, Romain Franceschini, Simon Van Mierlo, Hans Vangheluwe
:
The Computational Notebook Paradigm for Multi-paradigm Modeling. MoDELS (Companion) 2019: 449-454 - [c140]Bart Meyers
, Klaas Gadeyne, Bentley J. Oakes
, Matthias Bernaerts, Hans Vangheluwe
, Joachim Denil
:
A Model-Driven Engineering Framework to Support the Functional Safety Process. MoDELS (Companion) 2019: 619-623 - [c139]Cláudio Gomes
, Levi Lúcio, Hans Vangheluwe
:
Semantics of Co-simulation Algorithms with Simulator Contracts. MoDELS (Companion) 2019: 784-789 - [c138]Hans Vangheluwe:
Multi-Paradigm Modelling of Cyber-Physical Systems. MODELSWARD 2019: 5 - [c137]Cláudio Gomes
, Casper Thule, Levi Lúcio, Hans Vangheluwe
, Peter Gorm Larsen
:
Generation of Co-simulation Algorithms Subject to Simulator Contracts. SEFM Workshops 2019: 34-49 - [c136]Hans Vangheluwe:
Co-simulation: A Research Agenda. SIMULTECH 2019: 5 - [c135]Cláudio Gomes, Bentley James Oakes
, Mehrdad Moradi
, Alejandro Torres Gámiz, Juan Carlos Mendo, Stefan Dutré, Joachim Denil, Hans Vangheluwe
:
HintCO - Hint-based Configuration of Co-simulations. SIMULTECH 2019: 57-68 - [c134]Bart Meyers, Simon Van Mierlo, Davy Maes, Hans Vangheluwe:
Efficient Software Controller Variant Development and Validation (ECoVaDeVa) Overview of a Flemish ICON Project. STAF (Co-Located Events) 2019: 49-54 - [c133]Moharram Challenger, Albert Rosich, Joachim Denil, Hans Vangheluwe:
Towards Formalization of Assembly Knowledge for Product and Assembly Trade-Off Analysis. STAF (Co-Located Events) 2019: 55-60 - [c132]Yentl Van Tendeloo, Hans Vangheluwe
, Romain Franceschini:
An Introduction to Modeling and Simulation with (Python(P))DEVS. WSC 2019: 1415-1429 - [c131]Cláudio Gomes
, Hans Vangheluwe
:
Co-Simulation of Continuous Systems: A Hands-on Approach. WSC 2019: 1469-1481 - [c130]Simon Van Mierlo, Hans Vangheluwe
, Joachim Denil
:
The Fundamentals of Domain-Specific Simulation Language Engineering. WSC 2019: 1482-1494 - [c129]Simon Van Mierlo, Hans Vangheluwe:
Introduction to Statecharts Modeling, Simulation, Testing, and Deployment. WSC 2019: 1504-1518 - [c128]Romain Franceschini, Simon Van Mierlo, Hans Vangheluwe
:
Towards Adaptive Abstraction in Agent Based Simulation. WSC 2019: 2725-2736 - 2018
- [j32]Cláudio Gomes
, Casper Thule, David Broman, Peter Gorm Larsen
, Hans Vangheluwe
:
Co-Simulation: A Survey. ACM Comput. Surv. 51(3): 49:1-49:33 (2018) - [j31]Maris Jukss, Clark Verbrugge, Maged Elaasar, Hans Vangheluwe
:
Scope in model transformations. Softw. Syst. Model. 17(4): 1227-1252 (2018) - [c127]Cláudio Gomes
, Raphaël M. Jungers, Benoît Legat
, Hans Vangheluwe
:
Minimally, Constrained Stable Switched Systems and Application to Co-Simulation. CDC 2018: 5676-5681 - [c126]Jean-Michel Bruel, Benoît Combemale, Esther Guerra
, Jean-Marc Jézéquel, Jörg Kienzle, Juan de Lara, Gunter Mussbacher, Eugene Syriani
, Hans Vangheluwe
:
Model Transformation Reuse Across Metamodels - A Classification and Comparison of Approaches. ICMT 2018: 92-109 - [c125]Hans Vangheluwe
:
Multi-paradigm modelling of cyber-physical systems: extended abstract. SEsCPS@ICSE 2018: 1 - [c124]Cláudio Gomes, Casper Thule, Julien Deantoni, Peter Gorm Larsen
, Hans Vangheluwe
:
Co-simulation: The Past, Future, and Open Challenges. ISoLA (3) 2018: 504-520 - [c123]Bentley James Oakes, Levi Lucio, Clark Verbrugge, Hans Vangheluwe:
Debugging of Model Transformations and Contracts in SyVOLT. MoDELS (Workshops) 2018: 532-537 - [c122]Simon Van Mierlo, Yentl Van Tendeloo, Hans Vangheluwe:
A Generalized Stepping Semantics for Model Debugging. MoDELS (Workshops) 2018: 541-546 - [c121]Yentl Van Tendeloo, Hans Vangheluwe:
DEVS modelling and simulation of a multi-paradigm modelling tool. SummerSim 2018: 3:1-3:12 - [c120]Andreas Tolk, Fernando J. Barros, Andrea D'Ambrogio, Akshay Rajhans, Pieter J. Mosterman, Sachin S. Shetty, Mamadou K. Traoré, Hans Vangheluwe, Levent Yilmaz:
Hybrid simulation for cyber physical systems: a panel on where are we going regarding complexity, intelligence, and adaptability of CPS using simulation. SpringSim (MSCIAAS) 2018: 3:1-3:19 - [c119]Bart Meyers
, Joachim Denil, Ken Vanherpen, Hans Vangheluwe:
Enabling design-space exploration for domain-specific modelling. SpringSim (Mod4Sim) 2018: 5:1-5:13 - [c118]Simon Van Mierlo, Yentl Van Tendeloo, István Dávid, Bart Meyers
, Addis Gebremichael, Hans Vangheluwe:
A multi-paradigm approach for modelling service interactions in model-driven engineering processes. SpringSim (Mod4Sim) 2018: 6:1-6:12 - [c117]Yentl Van Tendeloo, Hans Vangheluwe:
Introduction to parallel DEVS modelling and simulation. SpringSim (Mod4Sim) 2018: 10:1-10:12 - [c116]Casper Thule, Cláudio Gomes
, Julien Deantoni
, Peter Gorm Larsen
, Jörg Brauer, Hans Vangheluwe
:
Towards the Verification of Hybrid Co-simulation Algorithms. STAF Workshops 2018: 5-20 - [c115]Cláudio Gomes
, Casper Thule, Kenneth Lausdahl, Peter Gorm Larsen
, Hans Vangheluwe
:
Demo: Stabilization Technique in INTO-CPS. STAF Workshops 2018: 45-51 - [c114]Yentl Van Tendeloo, Hans Vangheluwe
:
Unifying Model- and Screen Sharing. WETICE 2018: 127-132 - [c113]Yentl Van Tendeloo, Hans Vangheluwe
:
Discrete Event System Specification Modeling and simulation. WSC 2018: 162-176 - [c112]Simon Van Mierlo, Hans Vangheluwe
:
Introduction to Statecharts Modeling, simulation, Testing, and Deployment. WSC 2018: 306-320 - [c111]István Dávid, Hans Vangheluwe
, Yentl Van Tendeloo:
Translating Engineering Workflow Models to DEVS for Performance Evaluation. WSC 2018: 616-627 - [i7]Yentl Van Tendeloo, Hans Vangheluwe:
Extending the DEVS Formalism with Initialization Information. CoRR abs/1802.04527 (2018) - [i6]Cláudio Gomes, Raphaël M. Jungers, Benoît Legat, Hans Vangheluwe:
Minimally Constrained Stable Switched Systems and Application to Co-simulation. CoRR abs/1809.02648 (2018) - [i5]Cláudio Gomes, Casper Thule, Peter Gorm Larsen, Joachim Denil, Hans Vangheluwe:
Co-simulation of Continuous Systems: A Tutorial. CoRR abs/1809.08463 (2018) - 2017
- [j30]Yentl Van Tendeloo, Hans Vangheluwe
:
An evaluation of DEVS simulation tools. Simul. 93(2): 103-121 (2017) - [j29]Simon Van Mierlo
, Yentl Van Tendeloo, Hans Vangheluwe
:
Debugging Parallel DEVS. Simul. 93(4): 285-306 (2017) - [j28]Joachim Denil
, Paul De Meulenaere
, Serge Demeyer
, Hans Vangheluwe
:
DEVS for AUTOSAR-based system deployment modeling and simulation. Simul. 93(6): 489-513 (2017) - [j27]Yentl Van Tendeloo, Hans Vangheluwe
:
Increasing the performance of a Discrete Event System Specification simulator by means of computational resource usage "activity" models. Simul. 93(12): 1045-1061 (2017) - [c110]Oksana Nikiforova, Nisrine El Marzouki, Konstantins Gusarovs, Hans Vangheluwe
, Tomás Bures
, Rima Al Ali, Mauro Iacono, Priscill Orue-Esquivel, Florin Leon
:
The Two-Hemisphere Modelling Approach to the Composition of Cyber-Physical Systems. ICSOFT 2017: 286-293 - [c109]István Dávid, Bart Meyers, Ken Vanherpen, Yentl Van Tendeloo, Kristof Berx, Hans Vangheluwe:
Modeling and Enactment Support for Early Detection of Inconsistencies in Engineering Processes. MoDELS (Satellite Events) 2017: 145-154 - [c108]Yentl Van Tendeloo, Hans Vangheluwe:
Explicitly Modelling the Type/Instance Relation. MoDELS (Satellite Events) 2017: 393-398 - [c107]Joachim Denil, Rick Salay, Chris Paredis, Hans Vangheluwe:
Towards Agile Model-based Systems Engineering. MoDELS (Satellite Events) 2017: 424-429 - [c106]Simon Van Mierlo, Erwan Bousse, Hans Vangheluwe, Manuel Wimmer, Clark Verbrugge, Martin Gogolla, Matthias Tichy, Arnaud Blouin:
Report on the 1st International Workshop on Debugging in Model-Driven Engineering (MDEbug'17). MoDELS (Satellite Events) 2017: 441-446 - [c105]Maris Jukss, Clark Verbrugge, Hans Vangheluwe:
Transformations Debugging Transformations. MoDELS (Satellite Events) 2017: 449-454 - [c104]Simon Van Mierlo, Hans Vangheluwe:
Debugging Non-determinism: a Petrinets Modelling, Analysis, and Debugging Tool. MoDELS (Satellite Events) 2017: 460-462 - [c103]Cláudio Gomes
, Paschalis Karalis, Eva M. Navarro-López, Hans Vangheluwe
:
Approximated Stability Analysis of Bi-modal Hybrid Co-simulation Scenarios. SEFM Workshops 2017: 345-360 - [c102]Yentl Van Tendeloo, Simon Van Mierlo
, Bart Meyers
, Hans Vangheluwe
:
Concrete syntax: a multi-paradigm modelling approach. SLE 2017: 182-193 - [c101]Yentl Van Tendeloo, Simon Van Mierlo, Hans Vangheluwe:
Time- and space-conscious omniscient debugging of parallel DEVS. SpringSim (TMS) 2017: 3:1-3:12 - [c100]Simon Van Mierlo, Cláudio Gomes, Hans Vangheluwe:
Explicit modelling and synthesis of debuggers for hybrid simulation languages. SpringSim (TMS) 2017: 4:1-4:12 - [c99]Cláudio Gomes, Yentl Van Tendeloo, Joachim Denil, Paul De Meulenaere, Hans Vangheluwe:
Hybrid system modelling and simulation with Dirac deltas. SpringSim (TMS) 2017: 7:1-7:12 - [c98]Joachim Denil, Stefan Klikovits, Pieter J. Mosterman, Antonio Vallecillo, Hans Vangheluwe:
The experiment model and validity frame in M&S. SpringSim (TMS) 2017: 10:1-10:12 - [c97]Yentl Van Tendeloo, Hans Vangheluwe
:
Classic DEVS modelling and simulation. WSC 2017: 644-658 - [c96]Yentl Van Tendeloo, Hans Vangheluwe
:
The Modelverse: A tool for Multi-Paradigm Modelling and simulation. WSC 2017: 944-955 - [p2]Simon Van Mierlo
, Yentl Van Tendeloo, Bart Meyers, Hans Vangheluwe
:
Domain-Specific Modelling for Human-Computer Interaction. Handbook of Formal Methods in Human-Computer Interaction 2017: 435-463 - [i4]Yentl Van Tendeloo, Hans Vangheluwe:
An Introduction to Classic DEVS. CoRR abs/1701.07697 (2017) - [i3]Cláudio Gomes, Casper Thule, David Broman, Peter Gorm Larsen, Hans Vangheluwe:
Co-simulation: State of the art. CoRR abs/1702.00686 (2017) - [i2]Cláudio Gomes, Yentl Van Tendeloo, Joachim Denil, Paul De Meulenaere, Hans Vangheluwe:
Hybrid System Modelling and Simulation with Dirac Deltas. CoRR abs/1702.04274 (2017) - 2016
- [c95]Ken Vanherpen
, Joachim Denil
, István Dávid, Paul De Meulenaere
, Pieter J. Mosterman, Martin Törngren
, Ahsan Qamar, Hans Vangheluwe
:
Ontological reasoning for consistency in the design of cyber-physical systems. CPPS@CPSWeek 2016: 1-8 - [c94]Ken Vanherpen
, Joachim Denil
, Paul De Meulenaere
, Hans Vangheluwe
:
Ontological Reasoning as an Enabler of Contract-Based Co-design. CyPhy 2016: 101-115 - [c93]István Dávid, Joachim Denil, Klaas Gadeyne, Hans Vangheluwe:
Engineering Process Transformation to Manage (In)consistency. COMMitMDE@MoDELS 2016: 7-16 - [c92]Bart Meyers
, Joachim Denil, István Dávid, Hans Vangheluwe:
Automated testing support for reactive domain-specific modelling languages. SLE 2016: 181-194 - [c91]Ben Cardoen, Stijn Manhaeve, Tim Tuijn, Yentl Van Tendeloo, Kurt Vanmechelen, Hans Vangheluwe, Jan Broeckhove:
Performance analysis of a PDEVS simulator supporting multiple synchronization protocols. SpringSim (TMS-DEVS) 2016: 4 - [c90]Yentl Van Tendeloo, Hans Vangheluwe:
Teaching the fundamentals of the modelling of cyber-physical systems. SpringSim (TMS-DEVS) 2016: 5 - [c89]David P. Y. Lawrence, Cláudio Gomes, Joachim Denil, Hans Vangheluwe, Didier Buchs:
Coupling petri nets with deterministic formalisms using co-simulation. SpringSim (TMS-DEVS) 2016: 6 - [c88]Sadaf Mustafiz, Cláudio Gomes, Bruno Barroca, Hans Vangheluwe:
Modular design of hybrid languages by explicit modeling of semantic adaptation. SpringSim (TMS-DEVS) 2016: 29 - [c87]Hans Vangheluwe, Vasco Amaral, Holger Giese, Jan F. Broenink, Bernhard Schätz, Alexander Norta, Paulo Carreira, Ivan Lukovic, Tanja Mayerhofer, Manuel Wimmer, Antonio Vallecillo:
MPM4CPS: Multi-Paradigm Modelling for Cyber-Physical Systems. STAF Doctoral Symposium / Showcase 2016: 40-47 - 2015
- [j26]Moussa Amrani, Benoît Combemale, Levi Lucio, Gehan M. K. Selim, Jürgen Dingel, Yves Le Traon
, Hans Vangheluwe
, James R. Cordy:
Formal Verification Techniques for Model Transformations: A Tridimensional Classification. J. Object Technol. 14(3): 1:1-43 (2015) - [j25]Eugene Syriani
, Hans Vangheluwe
, Brian LaShomb:
T-Core: a framework for custom-built model transformation engines. Softw. Syst. Model. 14(3): 1215-1243 (2015) - [c86]