Session 1 (Chair: Fernando Barros)

10.30-11.00 Modeling and Verification of Network-on-Chip using Constrained-DEVS Soroosh Gholami and Hessam Sarjoughian
11.00-11.30 Restricting DEv-PROMELA with a Hierarchy of Simulation Formalisms Aznam Yacoub, Maamar el-amine Hamri and Claudia Frydman
11.30-12.00 Social Interaction in Pedestrian Evacuation: A Cellular Discrete Event Simulation Approach Yanhong Wang, Mamadou Traoré and Xia Wang

Session 2 (Chair: Claudia Frydman)

13.30-14.00 The Case for DEVS in Networking M&S: Upload User Collaboration in Mobile Networks using Coordinated Multipoint Misagh Tavanpour, Jan Mikhail, Gabriel Wainer and Gary Boudreau
14.00-14.30 Upgrade Campaign Simulation and Evaluation for Highly Available Systems Oussama Jebbar, Ferhat Khendek and Maria Toeroe
14.30-15.00 DEVSML 3.0 Stack: Rapid Deployment of DEVS Farm in Distributed Cloud Environment using Microservices and Containers Saurabh Mittal and José Luis Risco Martín

Session 3 (Chair: Xiaolin Hu)

15.30-16.00 Co-Simulation of Cyber Physical Systems with HMI for Human In the Loop Investigation Nicolai Pedersen, Jan Madsen and Tom Bojsen
16.00-16.30 Modeling Cyber Effects in Cyber-Physical Systems with DEVS Suresh Damodaran and Saurabh Mittal
16.30-17.30 Panel Discussion: Challenges in M&S of Cyber-Physical Systems Xiaolin Hu (moderator), Bernard Zeigler, Pieter Mosterman, Hans Vangheluwe, Andrea D’Ambrogio and Fernando Barros


Session 4 (Chair: Xiaolin Hu)

13.30-14.00 Improved Time Representation in Discrete-Event Simulation (PhD) Damian Vicino
14.00-14.30 An approach for formal verification and simulation of discrete-event systems: A PROMELA Application (PhD) Aznam Yacoub
14.30-15.00 Contribution to a Modelling and Discrete Event Simulation Framework: Application to the Information Spreading in Social Networks (PhD) Youssef Bouanan

Session 5 (Chair:Rhys Goldstein)

15.30-16.00 PDEVS-Based Hybrid System Simulation Toolbox for MATLAB Christina Deatcu, Birger Freymann and Thorsten Pawletta
16.00-16.30 Automatic Parallelization of Multi-Rate FMI-based Co-Simulation on Multi-Core Salah Eddine Saidi, Nicolas Pernet and Yves Sorel
16.30-17.00 Hybrid System Modelling and Simulation with Dirac Deltas Cláudio Gomes, Yentl Van Tendeloo, Joachim Denil, Paul De Meulenaere and Hans Vangheluwe
17.00-17.30 Chattering Avoidance in Hybrid Simulation Models: A Modular Approach Based on the HyFlow Formalism Fernando Barros

Session 6 (Chair:Joachim Denil)

08.30-09.00 Explicit Modelling and Synthesis of Debuggers for Hybrid Simulation Languages Simon Van Mierlo, Claudio Gomes and Hans Vangheluwe
09.00-09.30 Time- and Space-Conscious Omniscient Debugging of Parallel DEVS Yentl Van Tendeloo, Simon Van Mierlo and Hans Vangheluwe
09.30-10.00 A Taxonomy of Event Time Representations Rhys Goldstein and Azam Khan

Session 7 (Chair:Andreas Tolk)

10.30-11.00 The Experiment Model and Validity Frame in M&S Joachim Denil, Stefan Klikovits, Pieter J. Mosterman, Antonio Vallecillo and Hans Vangheluwe
11.00-11.30 An Abstract Discrete-Event Simulator considering Input with Uncertainty Damian Vicino, Gabriel Wainer and Olivier Dalle
11.30-12.00 Formal Specification of Hypotheses for Assisting Computer Simulation Studies Fabian Lorig, Colja A. Becker and Ingo Timm
12.00-12.30 A Modeling and Simulation Language for Biological Cells with Coupled Mechanical and Chemical Processes Endre Somogyi and James Glazier