This is an old revision of the document!
TMS/DEVS Program
PRELIMINARY OVERVIEW TABLe, HOURS TO BE CONFIRMED; PLEASE CHECK FINAL PROGRAM)
Monday, 13 April 2015
Time | Session | Room |
0830 – 1000 | SCS Plenary | SCS |
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 |
Tuesday, 14 April 2015
Time | Session | Room |
0830 – 1000 | SCS Plenary | SCS |
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 |
Wendesday, 15 April 2015
Time | Session | Room |
0830 – 1000 | SCS Plenary | SCS |
1030 – 1210 | TMS/DEVS WIP | Edison E |
Monday, 13 April 2015
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 |
Old programs