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 Maure |
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 Award 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 |