

Academic
Publications:
This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms constraints invoked by copyright holders.
 2016:
 David Lawrance, Claudio Gomes, Joachim Denil, Didier Buchs and Hans Vangheluwe: Coupling Petri nets with Deterministic Formalisms Using Cosimulation, TMSDEVS @SpringSim 2016
.
 2015:
 Ken Vanherpen, Joachim Denil, Hans Vangheluwe, Paul De Meulenaere: Roundtrip Engineering for ControlDeployment CoDesign, MOD4Sim workshop @ SpringSim, 2015
 Bert Van Acker, Joachim Denil, Hans Vangheluwe, Paul De Meulenaere: Generation of an Optimised Master Algorithm for FMI Cosimulation, MOD4Sim workshop @ SpringSim, 2015
 Joachim Denil, Hany Kashif, Pansy Arafa, Hans Vangheluwe, Sebastian Fishmeister: Instrumentation and Preservation of Extrafunctional properties of Simulink Model, TMSDEVS @ SpringSim, 2015
 Joachim Denil, Bart Meyers, Paul De Meuleneare, Hans Vangheluwe: Explicit Semantic Adaptation of Hybrid Formalisms for FMI CoSimulation, TMSDEVS @SpringSim, 2015
 2014:
 Ken Vanherpen, Joachim Denil, Paul De Meulenaere, Hans Vangheluwe: DesignSpace Exploration in ModelDriven Engineering, an Initial Pattern Catalogue, CMSEBA@MoDELS2014
 Sebastian J. I. Herzig, Benjamin Kruse, Federico Ciccozzi, Joachim Denil, Rick Salay, Dániel Varró: Towards an Approach for Orchestrating Design Space Exploration Problems to Fix MultiParadigm Inconsistencies. MPM@MoDELS 2014: 6166
 Joachim Denil, Maris Jukss, Clark Verbrugge, Hans Vangheluwe: SearchBased Model Optimization Using Model Transformations. SAM 2014: 8095 (CoLocated at MoDELS 2014)
 Bart Pussig, Joachim Denil, Paul De Meulenaere, Generation of Cosimulation Compliant Functional Mockup Units From Simulink, Using Explicit Computational Semantics, Proceedings of the 2014 Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium, 2014
 Hans Vangheluwe, Daniel Riegelhaupt, Sadaf Mustafiz, Joachim Denil and Simon Van Mierlo, Explicit Modelling of Causal Block Diagram Simulation Environments, Proceedings of the 2014 Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium, 2014
 Joachim Denil, Pieter Mosterman and Hans Vangheluwe, RuleBased Model Transformation For, and In Simulink, Proceedings of the 2014 Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium, 2014
 Joachim Denil and Maris Jukss and Clark Verbrugge and Hans Vangheluwe, "SearchBased Model Optimization using Model Transformations", School of Computer Science, McGill University, January 2014, SOCSTR2014.2
 2013:
 Bart Meyers, Manuel Wimmer, Hans Vangheluwe, Joachim Denil, "Towards DomainSpecific Property Languages: The ProMoBox Approach", DSM Workshop, Indianapolis, 2013
 Magnus Persson, Martin Törngren, Ahsan Qamar, Jonas Westman, Matthias Biehl, Stavros Tripakis, Hans Vangheluwe and Joachim Denil, ''A Characterization of Integrated Multi‐View Modeling for Embedded Systems', EMSoft 2013, Montreal
 Bart Meyers, Joachim Denil, Frederic Boulanger, Cecille Hardebolle, Christophe Jacquet, Hans Vangheluwe, "A DSL for Explicit Semantic Adaptation", 7th International Workshop on MultiParadigm Modelling, Miami, 2013
 Levi Lucio, Sadaf Mustafiz, Joachim Denil, Hans Vangheluwe, Maris Jukss, FTG+PM: An Integrated Framework for Investigating Model Transformation Chains. SDL Forum 2013: 182202
 Joachim Denil, Han Gang, Magnus Persson, Xue Liu, Haibo Zeng, Hans Vangheluwe, "ModelDriven Engineering Approaches to Design Space Exploration", School of Computer Science, McGill University, January 2013, SOCSTR2013.1
 2012:
 Sadaf Mustafiz, Joachim Denil, Levi Lucio, and Hans Vangheluwe; "The FTG+PM Framework for MultiParadigm Modelling: An Automotive Case Study"; Accepted @ MPM2012 of Models2012, 2012
 Levi Lucio, Sadaf Mustafiz, Joachim Denil, Bart Meyers, Hans Vangheluwe, "The Formalism Transformation Graph as a Guide to Model Driven Engineering", School of Computer Science, McGill University, March 2012, SOCSTR2012.1
 J. Denil, H. Vangheluwe, P. De Meulenaere, S. Demeyer: "Calibration of deployment simulation model  a multiparadigm modelling approach", Accepted @ DEVS/TMS: MOD4SIM 2012 (part of SpringSim)
 Levi Lucio, Joachim Denil, Hans Vangheluwe, "An Overview of Model Transformations for a Simple Automotive Power Window", School of Computer Science, McGill University, January 2012, SOCSTR2012.2 (@ McGill)
 2011:
 J. Denil, S. Demeyer, P. Demeulenaere, K. Maudens, K. Vanstechelmans ; “Migrating from a proprietary RTOS to the OSEK standard using a wrapper”: in M. Conti, S. Orcioni, N. Martínez Madrid, R. Seepold; “Lecture Notes in Electrical Engineering, Solutions on embedded systems”, Springer, 2011
 Denil, Joachim; Vangheluwe, Hans; Ramaekers, Pieter; Meulenaere, de, Paul; Demeyer, Serge  DEVS for AUTOSAR platform modelling  In: Proceedings SPRINGSIM'2011 : 2011 Spring Simulation Multiconference, April, 2011 .  New York, N.Y. : ACM, 2011
 Tim Hermans, Pieter Ramaekers, Joachim Denil, Jan Anthonis and Paul De Meulenaere. Integration of AUTOSAR in an Embedded Systems Development Process: A Case Study (short paper), Proceedings of the 37th EUROMICRO conference on software engineering and advanced application, 2011
 Joachim Denil, Antonio Cicchetti, Matthias Biehl, Paul De Meulenaere, Romina Eramo and Serge Demeyer; Automatic Deployment Space Exploration Using Refinement Transformations; Accepted @ MPM Workshop of Models 2011
 2009:
 T. Hermans, J. Denil, P. De Meulenaere, J. Anthonis, Decoding of data on a CAN powertrain network, proceedings of the 16th annual symposium on communication and vehicular technology in the benelux, 2009
 J. Denil, S. Demeyer, P. De Meulenaere, K. Vanstechelman and K. Maudens, Wrapping a Realtime Operating System with an OSEK Compliant Interface  a Feasibility Study, 2009 Seventh Workshop on Intelligent solutions in Embedded Systems, 2526 June 2009 Page(s):157  164 (2009)
PhD Thesis:
A copy of the thesis can be found here.
Software has become a key component of a rapidly growing range of
applications, products and services from all sectors of economic activity.
This can be observed in largescale heterogeneous systems, embedded systems
for automotive applications, telecommunications, wireless ad hoc systems,
business applications with an emphasis on web services etc. Such systems are
commonly called softwareintensive systems. Softwareintensive
systems are characterized by their reactive nature, realtime
requirements, mix of continuous and discrete (hybrid) behaviour,
the embedded character of some components of the system, the required dependability
and the distribution of its elements.
MultiParadigm Modelling has already been proposed as a method for the
development and verification of softwareintensive systems.
In multiparadigm modelling every aspect of a system is modelled explicitly,
at the most appropriate level(s) of abstraction, using the most appropriate
formalism(s). This thesis attempts to close some of the remaining gaps
for the design, verification and deployment of softwareintensive systems.
Since multiparadigm modelling promotes the explicit modelling of all
aspects of a system, the process to design, verify and deploy systems has
to be explicitly modelled as well. We propose the Formalism Transformation Graph and
Process Model (FTG+PM) for this purpose. The FTG+PM contains, on the one hand, the
definition of all formalisms and transformations involved in creating
softwareintensive systems. On the other hand, these formalisms and
transformations are used within a process to create the systems.
The FTG+PM is applied to the creation of an automotive exemplar, the
power window system. Several languages and transformations are identified
to create the exemplar.
The process starts with the modelling of requirements.
Domainspecific languages are used to model different aspects of the system
(namely: the environment, plant and control model). These models are
transformed to Petri nets for verification and to a hybrid simulation model
to evaluate the dynamic behaviour of the system. Finally, the system is
deployed to a network of electronic control units.
During deployment it is necessary to evaluate the behaviour and other
extrafunctional properties of the solution.
It is however not feasible to build the system and
check the behaviour at the implementation level. Therefore, the Discrete
Event System Specification is evaluated as an appropriate formalism for the
simulation of deployed softwareintensive systems.
Systemlevel performance models however require calibration of the
involved parameters to reflect the actual system behaviour.
Since all aspects of the system are modelled,
these models can be used to generate a calibration infrastructure.
From the execution of the calibration infrastructure, a performance model can
be built for calibration,
i.e., to estimate the parameters of the simulation models of deployed
softwareintensive systems.
Finally, we evaluate the feasibility of transformations to optimise the
deployment of softwareintensive systems. A number of methods are used to
leverage the explosion of the designspace. Firstly, multiple levels of
abstraction/approximation are used where nonfeasible solutions
(or solutions that will never be optimal) are pruned.
Secondly, general search techniques are introduced in transformation
models to search the design space. Finally, if an existing optimisation
model exists, the deployment model is transformed to this model. The
FTG+PM is used for this purpose.
Jury:
 Pieter J. Mosterman (McGill University  Mathworks)
 Martin Törngren (KTH Sweden)
 Hans Vangheluwe (McGill Unversity  University of Antwerp)
 Serge Demeyer (University of Antwerp)
 Paul De Meulenaere (Karel de Grote Technical University College)
 Dirk Janssens (University of Antwerp
Organising Committees
 Program CoChair TMSDEVS 2016 (Part of SpringSim)
 Program Chair TMSDEVS 2017 (part of SpringSim)
Program Committees
 International Workshop on ModelDriven Approaches to Simulation Engineering (MOD4SIM), 2014, 2015, 2016
 International Workshop on MultiParadigm Modelling, 2013, 2014, 2015
 Winter Simulation Conference 2017
subreviewer
Degrees:
 BSc Computer Science: Vrije Universiteit Brussel:
 Discrete & Continues Maths, Logic, Linear Algebra
 Automata Theory, Complexity
 Algorithms & Datastructures II
 Artificial Intelligence (Introduction)
 Bachelor Thesis: Evolution of Fairness in Social Networks: a Simulation Framework for Evolutionary Game Theory
 ...
 BSc & MSc Electronics: Karel de Grote University College
 Continuous Maths, Transformations (Laplace, Z, Fourrier), Algebra
 Physics, Electricity & Magnetism
 Electronics (Analog & Digital, Computersimulations for Electronics, Filters)
 Systems & Signals, Control Theory
 Antennas & Radio Waves
 Algorithms & Datastructures I
 Datacommunication
 Distributed Software (project)
 DSP (sampling theory, ...)
 Embedded Systems (project)
 Master Thesis: Porting of the Linux kernel to a new hardware platform
 ...
 PhD Computer Science: University of Antwerp
extra Master Courses University of Antwerp:
 Software Reengineering
 Distributed systems
 Compilers
 Research Internship I
 Research Internship II
