| Time | Session | Room |
|---|---|---|
| 0830 – 1000 | SCS Plenary | Edison ABC |
| 1025 – 1030 | TMS/DEVS Opening | Edison E |
| 1030 – 1200 | TMS/DEVS A 1 | Edison E |
| 1030 – 1200 | TMS/DEVS B 1 | Edison F |
| 1330 – 1500 | TMS/DEVS A 2 | Edison E |
| 1330 – 1500 | TMS/DEVS B 2 | Edison F |
| 1530 – 1630 | TMS/DEVS A 3 | Edison E |
| 1630 – 1700 | DEVS PhD Award | Edison E |
| 1530 – 1700 | TMS/DEVS B 3 | Edison F |
| Time | Session | Room |
|---|---|---|
| 0830 – 1000 | SCS Plenary | Edison ABC |
| 1030 – 1200 | TMS/DEVS 4 | Edison E |
| 1030 – 1200 | Mod4Sim Workshop 1 | Edison F |
| 1330 – 1500 | TMS/DEVS 5 | Edison E |
| 1330 – 1500 | Mod4Sim Workshop 2 | Edison F |
| 1530 – 1730 | TMS/DEVS 6 | Edison E |
| 1530 – 1610 | Mod4Sim Workshop 3 | Edison F |
| Time | Session | Room |
|---|---|---|
| 0830 – 1000 | SCS Plenary | Edison ABC |
| 1030 – 1210 | TMS/DEVS WIP | Edison E |
| Time | Paper | Author |
|---|---|---|
| 1025–1030 | TMS/DEVS Opening | |
| 1030–1200 | TMS/DEVS A 1 | Chair: Herbert Praehofer |
| 1030–1100 | Towards a Probabilistic Interpretation of Validity for Simulation Models | James Nutaro and Bernard Zeigler |
| 1100–1130 | A Model-based Trace Testing Approach for Validation of Formal Co-simulation Models | Adisak Intana, Michael Poppleton and Geoff Merrett |
| 1130–1200 | Method for Quantified Confidence of DEVS Validation | Megan Olsen and Mohammad Raunak |
| 1030–1200 | TMS/DEVS B 1 | Chair: Andrea D’Ambrogio |
| 1030–1100 | SpSIR: A Spatially-Dependent Sequential Importance Resampling For High Dimensional Spatial Temporal System Simulation | Yuan Long and Xiaolin Hu |
| 1100–1130 | Explicit Semantic Adaptation of Hybrid Formalisms for FMI Co-Simulation | Joachim Denil, Bart Meyers, Bart Pussig, Paul De Meulenaere and Hans Vangheluwe |
| 1130–1200 | Asynchronous ODE Solvers based on Error Estimation | Fernando Barros |
| 1330–1500 | TMS/DEVS A 2 | Chair: James Nutaro |
| 1330-1400 | Semantic Selection for Model Composition using SAMSaaS | Sixuan Wang and Gabriel Wainer |
| 1400-1430 | SES Extension to Integrate Abstraction Hierarchy into DEVS Modeling and Simulation | Jean-Francois Santucci, Laurent Capocchi and Bernard P. Zeigler |
| 1430-1500 | Visual and Persistence Behavior Modeling for DEVS | Mostafa D. Fard and Hessam S. Sarjoughian |
| 1330–1500 | TMS/DEVS B 2 | Chair: Feng Gu |
| 1330-1400 | Instrumentation and Preservation of Extra-Functional Properties of Simulink Models | Joachim Denil, Hany Kashif, Pansy Arafa, Hans Vangheluwe and Sebastian Fischmeister |
| 1400-1430 | Dimension Reduction in Statistical Simulation of Digital Circuits | Armin Alaghi and John P. Hayes |
| 1430-1500 | Levelized Compiled Code Multi-Delay Logic Simulation | Peter Maurer |
| 1530–1630 | TMS/DEVS A 3 | Chair: James Nutaro |
| 1530-1600 | Superdense Time Trajectories for DEVS Simulation Models | Hessam Sarjoughian and Savitha Sundaramoorthi |
| 1600-1630 | Integrating Web-based Simulation on IT Systems with Finite Probabilistic DEVS | Chungman Seo, Bernard Zeigler, Doohwan Kim and Kenneth Duncan |
| 1630–1700 | DEVS PhD Award | Chair: Claudia Frydman |
| 1630-1700 | PhD Presentation | |
| 1530–1700 | TMS/DEVS B 3 | Chair: Feng Gu |
| 1530-1600 | Mission Critical Publish-Subscribe Performance Modeling using Linear Algebraic and Classical Methods | Michael Gardner, Cory Beard and Appie Van de Liefvoort |
| 1600-1630 | A Modular Representation of Fluid Stochastic Petri Nets | Fernando Barros |
| 1630-1700 | Simulating the Impact of Blind-Spots on the Frequency of Side-Sweep Accidents | Gamini Bulumulle and Lotzi Bölöni |
| Time | Paper | Author |
|---|---|---|
| 1030–1200 | TMS/DEVS 4 | Chair: Fernando Barros |
| 1030–1130 | KEYNOTE: What’s the Best Possible Speedup Achievable in Distributed Simulation: Amdahl’s Law Reconstructed | Bernard P. Zeigler and James Nutaro |
| 1130–1200 | PythonPDEVS: A distributed Parallel DEVS simulator | Yentl Van Tendeloo and Hans Vangheluwe |
| 1030–1200 | Mod4Sim Workshop 1 | Chair: Andrea D’Ambrogio |
| 1030–1100 | On the Integration of HLA and FMI for Supporting Interoperability and Reusability in Distributed Simulation | Alfredo Garro and Alberto Falcone |
| 1100–1130 | Model Transformations for Round-Trip Engineering in Control Deployment Co-Design | Ken Vanherpen, Joachim Denil, Hans Vangheluwe and Paul De Meulenaere |
| 1130–1200 | Model-Based Testing Approach for MATLAB/Simulink using System Entity Structure and Experimental Frames | Artur Schmidt, Umut Durak, Christoph Rasch and Thorsten Pawletta |
| 1330–1500 | TMS/DEVS 5 | Chair: Hessam Sarjoughian |
| 1330-1400 | DEVS Distributed Parallel Architecture for Enterprise Simulation | Robert Kewley, Joe McDonnell, Alex MacCalman and Carl Hein |
| 1400-1430 | Sequential PDEVS Architecture | Damian Vicino, Daniella Niyonkuru, Gabriel Wainer and Olivier Dalle |
| 1430-1500 | Explicit Modelling of a Parallel DEVS Experimentation Environment | Simon Van Mierlo, Yentl Van Tendeloo, Sadaf Mustafiz, Bruno Barroca and Hans Vangheluwe |
| 1330–1500 | Mod4Sim Workshop 2 | Chair: Umut Durak |
| 1330-1400 | Improving the Flexibility of Simulation Modeling with Aspects | Priyasree Bhowmik, Nathaniel Osgood and Christopher Dutchyn |
| 1400-1430 | Generation of an Optimised Master Algorithm for FMI Co-simulation | KeBert Van Acker, Joachim Denil, Hans Vangheluwe and Paul De Meulenaere |
| 1430-1500 | A Model-driven Framework for Distributed Simulation of Autonomous Systems | Paolo Bocciarelli, Andrea D'Ambrogio, Andrea Giglio and Emiliano Paglia |
| 1530–1630 | TMS/DEVS 6 | Chair: Joachim Denil |
| 1530-1600 | A Comparative Study of Pending Event Set Implementations for PDEVS Simulation | Romain Franceschini, Paul-Antoine Bisgambiglia and Paul Antoine Bisgambiglia |
| 1600-1630 | FMI-Based Distributed Multi-Simulation with DACCOSIM | Virginie Galtier, Stephane Vialle, Cherifa Dad, Jean-Philippe Tavella, Jean-Philippe Lam-Yee-Mui and Gilles Plessis |
| 1630-1730 | KEYNOTE: Dynamic Structure Hybrid Systems | Fernando Barros |
| 1530–1700 | Mod4Sim Workshop 3 | Chair: Andrea D’Ambrogio |
| 1530-1550 | Automatic Generation of Simulation Models for Early Stage Evaluation of Physical System Topologies | Josef Müller and Klaas Gadeyne |
| 1550-1610 | Automatic Simulation Model Generation in the Context of Micro Manufacturing | Michael Lütjen, Daniel Rippel and Michael Freitag |
| Time | Paper | Author |
|---|---|---|
| 1030–1210 | TMS/DEVS WIP | Chair: Xiaolin Hu |
| 1030–1050 | Combining DEVS with Multi-agent Concepts to Design and Simulate Multi-models of Complex Systems (WIP) | Benjamin Camus, Christine Bourjot and Vincent Chevrier |
| 1050–1110 | Building Partitioning Graphs in Parallel-DEVS Context for Parallel Simulations (WIP) | Christopher Herbez, Eric Ramat and Gauthier Quesnel |
| 1110–1130 | Activity Diagrams for DEVS Models: A Case Study Modeling Health Care Behavior (WIP) | Özgür Özmen and James Nutaro |
| 1130–1150 | Simulating Information Diffusion in a Multidimensional Social Network Using the DEVS Formalism (WIP) | Youssef Bouanan, Mathilde Forestier, Judicael Ribault, Gregory Zacharewicz and Bruno Vallespir |
| 1150–1210 | Promoting Good Modeling Practice with a Domain-Specific Language and Statistical Algorithms designed for Parallel Computing (WIP) | Benoit Bayol, Yuting Chen, Charlotte Baey, Gautier Viaud and Paul-Henry Cournede |