Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDHans 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]