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 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
Tuesday, 14 April 2015
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
Wendesday, 15 April 2015
Time Session Room
0830 – 1000 SCS Plenary Edison ABC
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
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

Tuesday, 14 April 2015

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

Wendesday, 15 April 2015

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
program.txt · Last modified: 2015/04/13 15:47 by herbert
CC Attribution-Noncommercial-Share Alike 3.0 Unported www.chimeric.de Valid CSS Driven by DokuWiki do yourself a favour and use a real browser - get firefox!! Recent changes RSS feed Valid XHTML 1.0