This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision | ||
program [2015/04/11 12:01] herbert |
program [2015/04/13 19:47] herbert |
||
---|---|---|---|
Line 5: | Line 5: | ||
== 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 18: | 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 29: | 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 | | ||
- | ==== Monday, 13 April 2015 ==== | + | ===== Monday, 13 April 2015 ===== |
^ Time ^ Paper ^ Author | ^ Time ^ Paper ^ Author | ||
^ 1025–1030 ^ TMS/DEVS Opening | ^ 1025–1030 ^ TMS/DEVS Opening | ||
Line 41: | Line 40: | ||
| 1100–1130 | A Model-based Trace Testing Approach for Validation of Formal Co-simulation Models | Adisak Intana, Michael Poppleton and Geoff Merrett | | | 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 | | | 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–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 | | | 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 | | | 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 | | + | | 1130–1200 | Asynchronous ODE Solvers based on Error Estimation | Fernando Barros | |
^ 1330–1500 ^ TMS/DEVS A 2 ^ Chair: James Nutaro ^ | ^ 1330–1500 ^ TMS/DEVS A 2 ^ Chair: James Nutaro ^ | ||
| 1330-1400 | Semantic Selection for Model Composition using SAMSaaS | Sixuan Wang and Gabriel Wainer | | | 1330-1400 | Semantic Selection for Model Composition using SAMSaaS | Sixuan Wang and Gabriel Wainer | | ||
Line 52: | Line 51: | ||
| 1330-1400 | Instrumentation and Preservation of Extra-Functional Properties of Simulink Models | Joachim Denil, Hany Kashif, Pansy Arafa, Hans Vangheluwe and Sebastian Fischmeister | | | 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 | | | 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 | | + | | 1430-1500 | Levelized Compiled Code Multi-Delay Logic Simulation | Peter Maurer |
^ 1530–1630 ^ TMS/DEVS A 3 ^ Chair: James Nutaro ^ | ^ 1530–1630 ^ TMS/DEVS A 3 ^ Chair: James Nutaro ^ | ||
| 1530-1600 | Superdense Time Trajectories for DEVS Simulation Models | Hessam Sarjoughian and Savitha Sundaramoorthi | | | 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 | | | 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 ^ DEVS PhD Award ^ Chair: Claudia Frydman ^ | ||
- | | 1630-1700 | PhD Award Presentation | | | + | | 1630-1700 | PhD Presentation | | |
^ 1530–1700 ^ TMS/DEVS B 3 ^ Chair: Feng Gu ^ | ^ 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 | | | 1530-1600 | Mission Critical Publish-Subscribe Performance Modeling using Linear Algebraic and Classical Methods | Michael Gardner, Cory Beard and Appie Van de Liefvoort | | ||
Line 63: | Line 62: | ||
| 1630-1700 | Simulating the Impact of Blind-Spots on the Frequency of Side-Sweep Accidents | Gamini Bulumulle and Lotzi Bölöni | | | 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 ==== | + | ===== Tuesday, 14 April 2015 ===== |
^ Time ^ Paper ^ Author | ^ Time ^ Paper ^ Author | ||
^ 1030–1200 ^ TMS/DEVS 4 ^ Chair: Fernando Barros ^ | ^ 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 | | 1030–1130 | KEYNOTE: What’s the Best Possible Speedup Achievable in Distributed Simulation: Amdahl’s Law Reconstructed | ||
| 1130–1200 | PythonPDEVS: | | 1130–1200 | PythonPDEVS: | ||
- | |||
^ 1030–1200 ^ Mod4Sim Workshop 1 ^ Chair: Andrea D’Ambrogio | ^ 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 | | | 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 | | | 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/ | | 1130–1200 | Model-Based Testing Approach for MATLAB/ | ||
- | |||
^ 1330–1500 ^ TMS/DEVS 5 ^ Chair: Hessam Sarjoughian ^ | ^ 1330–1500 ^ TMS/DEVS 5 ^ Chair: Hessam Sarjoughian ^ | ||
| 1330-1400 | DEVS Distributed Parallel Architecture for Enterprise Simulation | | 1330-1400 | DEVS Distributed Parallel Architecture for Enterprise Simulation | ||
| 1400-1430 | Sequential PDEVS Architecture | | 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 | | + | | 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–1500 ^ Mod4Sim Workshop 2 ^ Chair: Umut Durak ^ | ||
| 1330-1400 | Improving the Flexibility of Simulation Modeling with Aspects | | 1330-1400 | Improving the Flexibility of Simulation Modeling with Aspects | ||
- | | 1400-1430 | Generation of an Optimised Master Algorithm for FMI Co-simulation | + | | 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, | + | | 1430-1500 | A Model-driven Framework for Distributed Simulation of Autonomous Systems | Paolo Bocciarelli, |
^ 1530–1630 ^ TMS/DEVS 6 ^ Chair: Joachim Denil ^ | ^ 1530–1630 ^ TMS/DEVS 6 ^ Chair: Joachim Denil ^ | ||
| 1530-1600 | A Comparative Study of Pending Event Set Implementations for PDEVS Simulation | | 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 | | | 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 | | + | | 1630-1730 | KEYNOTE: Dynamic Structure Hybrid Systems | Fernando Barros | |
^ 1530–1700 ^ Mod4Sim Workshop 3 ^ Chair: Andrea D’Ambrogio ^ | ^ 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 | | + | | 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 | + | | 1550-1610 | Automatic Simulation Model Generation in the Context of Micro Manufacturing |
- | ==== Wendesday, 15 April 2015 ==== | + | ===== Wendesday, 15 April 2015 ===== |
^ Time ^ Paper ^ Author | ^ Time ^ Paper ^ Author | ||
^ 1030–1210 ^ TMS/DEVS WIP ^ Chair: Xiaolin Hu ^ | ^ 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 | | + | | 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 | | 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 | | 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 | | 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 | | 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 | ||
+ | |||