Monday
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 |
Tuesday
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 |
Wednesday
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 |
