Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision Next revision Both sides next revision | ||
|
program [2015/04/11 11:13] herbert |
program [2015/04/11 22:42] herbert |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| ===== TMS/DEVS Program ===== | ===== TMS/DEVS Program ===== | ||
| - | ===== TMS/DEVS Program ===== | + | ==== PRELIMINARY |
| - | + | ||
| - | ===== TMS/DEVS Program ===== | + | |
| - | + | ||
| - | ==== PRELIMINARY | + | |
| == Monday, 13 April 2015 == | == Monday, 13 April 2015 == | ||
| - | |||
| ^ Time ^ Session | ^ Time ^ Session | ||
| - | | 0830 – 1000 | SCS Plenary | + | | 0830 – 1000 | SCS Plenary |
| | 1025 – 1030 | TMS/DEVS Opening | | 1025 – 1030 | TMS/DEVS Opening | ||
| | 1030 – 1200 | TMS/DEVS A 1 | Edison E | | | 1030 – 1200 | TMS/DEVS A 1 | Edison E | | ||
| Line 23: | Line 18: | ||
| == Tuesday, 14 April 2015 == | == Tuesday, 14 April 2015 == | ||
| ^ Time ^ Session | ^ Time ^ Session | ||
| - | | 0830 – 1000 | SCS Plenary | + | | 0830 – 1000 | SCS Plenary |
| | 1030 – 1200 | TMS/DEVS 4 | Edison E | | | 1030 – 1200 | TMS/DEVS 4 | Edison E | | ||
| | 1030 – 1200 | Mod4Sim Workshop 1 | Edison F | | | 1030 – 1200 | Mod4Sim Workshop 1 | Edison F | | ||
| Line 34: | Line 29: | ||
| == Wendesday, 15 April 2015 == | == Wendesday, 15 April 2015 == | ||
| ^ Time ^ Session | ^ Time ^ Session | ||
| - | | 0830 – 1000 | SCS Plenary | + | | 0830 – 1000 | SCS Plenary |
| | 1030 – 1210 | TMS/DEVS WIP | Edison E | | | 1030 – 1210 | TMS/DEVS WIP | Edison E | | ||
| - | ===== Old programs | + | ===== 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 | ||
| + | | 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 | ||
| + | | 1130–1200 | PythonPDEVS: | ||
| + | ^ 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/ | ||
| + | ^ 1330–1500 ^ TMS/DEVS 5 ^ Chair: Hessam Sarjoughian ^ | ||
| + | | 1330-1400 | DEVS Distributed Parallel Architecture for Enterprise Simulation | ||
| + | | 1400-1430 | Sequential PDEVS Architecture | ||
| + | | 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 | ||
| + | | 1400-1430 | Generation of an Optimised Master Algorithm for FMI Co-simulation | ||
| + | | 1430-1500 | A Model-driven Framework for Distributed Simulation of Autonomous Systems | Paolo Bocciarelli, | ||
| + | ^ 1530–1630 ^ TMS/DEVS 6 ^ Chair: Joachim Denil ^ | ||
| + | | 1530-1600 | A Comparative Study of Pending Event Set Implementations for PDEVS Simulation | ||
| + | | 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-1700 | 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 | ||
| + | |||
| + | ===== 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 | ||
| - | * [[previous | You can check the programs of previous years' conferences here]] | ||
