A framework for temporal verification support in domain-specific modelling
Meyers Bart   Vangheluwe Hans   Denil Joachim   Salay Rick  
IEEE transactions on software engineering - ISSN 0098-5589-46:4 (2020) p. 362-404
Citatielink

Causal-block diagrams : a family of languages for causal modelling of cyber-physical systems
Gonçalves Gomes Claudio Angelo   Denil Joachim   Vangheluwe Hans  
Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems / Carreira, P. [edit.]-p. 97-125
Citatielink

FTG+PM : describing engineering processes in multi-paradigm modelling
Challenger Moharram   Vanherpen Ken   Denil Joachim   Vangheluwe Hans  
Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems / Carreire, P. [edit.]-p. 259-271
Citatielink

Semantic adaptation for FMI co-simulation with hierarchical simulators
Gonçalves Gomes Claudio Angelo   Meyers Bart   Denil Joachim   Thule Casper   Lausdahl Kenneth   Vangheluwe Hans   De Meulenaere Paul  
Simulation - ISSN 0037-5497-95:3 (2019) p. 241-269
Citatielink

Testing IoT systems using a hybrid simulation based testing approach
Bosmans Stig   Mercelis Siegfried   Denil Joachim   Hellinckx Peter  
Computing: archives for informatics and numerical computation - ISSN 0010-485X-101:7 (2019) p. 857-872
Citatielink