This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision | ||
program [2014/04/15 21:04] fernando |
program [2015/04/13 19:47] herbert |
||
---|---|---|---|
Line 1: | Line 1: | ||
- | ===== Conference | + | ===== TMS/ |
- | ====== PRELIMINARY | + | ==== PRELIMINARY |
- | | ^ TMS/DEVS ROOM 1 ^ TMS/DEVS ROOM 2 ^ | + | == Monday, 13 April 2015 == |
- | ^ Monday 14-APR | || | + | ^ Time |
- | | 0830 – 1000 SCS Plenary | | + | | 0830 – 1000 | SCS Plenary |
- | | 1030 – 1200 SCS/SISO Plenary | | | | + | | 1025 – 1030 | TMS/DEVS Opening |
- | | 1330 – 1500 Session Block 1 | TMS (Session 1A) | TMS (Session 1B) | | + | | 1030 – 1200 | TMS/DEVS A 1 | Edison E |
- | | 1530 – 1700 Session Block 2 | TMS (Session 1A) | TMS (Session 2B) | | + | | 1030 – 1200 | TMS/DEVS B 1 | Edison F |
- | ^ Tuesday 15-APR | || | + | | 1330 – 1500 | TMS/DEVS A 2 | Edison E |
- | | 0830 – 1000 SCS Plenary | || | + | | 1330 – 1500 | TMS/DEVS B 2 | Edison F |
- | | 1030 – 1200 Session Block 3 | TMS (Session 3) | Mod4SIM 1 | | + | | 1530 – 1630 | TMS/DEVS A 3 | Edison E |
- | | 1330 – 1500 | + | | 1630 – 1700 | DEVS PhD Award | Edison E |
- | | 1530 – 1630 | + | | 1530 – 1700 | TMS/DEVS B 3 |
- | | 1630 – 1730 Session Block 6 | PhD Session || | + | |
- | ^ Wednesday 16-APR | || | + | |
- | | 0830 – 1000 Session Block 7 | TMS WIP 1 || | + | |
- | | 1030 – 1200 Session Block 8 | TMS WIP 2 || | + | |
- | | 1330 – 1500 Session Block 9 | TMS WIP 3 || | + | |
- | ====== Monday 14-APR | + | == Tuesday, 14 April 2015 == |
+ | ^ Time ^ Session | ||
+ | | 0830 – 1000 | SCS Plenary | ||
+ | | 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 | ||
+ | | 0830 – 1000 | SCS Plenary | ||
+ | | 1030 – 1210 | TMS/DEVS WIP | Edison E | | ||
- | | ^ Paper ^ Authors ^ | ||
- | ^ Parallel Track A - TMS (Sessions 1A & 2A) ^^^ | ||
- | ^1330-1500 ^ Session TMS Block 1A ^ Chair: Helena Szczerbicka^ | ||
- | |1300-1400 | Optimization based on dynamic and hybrid metaheuristics via DEVS simulation | Bastien Poggi, Jean-François Santucci and Thierry Antoine-Santoni| | ||
- | |1400-1430 | Expanding DEVS and SES Applicability: | ||
- | |1430-1500 | Context Activity Selection and Scheduling in Context-driven Simulation | Jae Woong Lee, Abdelsalam Helal, Yunsick Sung and Kyungeun Cho| | ||
- | ^1530-1700 ^ Session TMS Block 2A ^ Chair: Andrea D' | ||
- | |1530-1600 | Simulation Optimization of Police Patrol District Design Using an Adjusted Simulated Annealing Approach | Yue Zhang and Donald Brown| | ||
- | |1600-1630 | The Peace Game: A software-based model for understanding the complexities of modern conflict at the strategic level | Matthew Powers, Jeff Appleget and Danny Heerlein| | ||
- | |1630-1700 | Simulation of Aircraft Boarding Strategies with Discrete-Event Cellular DEVS | Shafagh Jafer and Wei Mi| | ||
- | ^ Parallel Track B - TMS (Sessions 1B & 2B) ^^^ | ||
- | |1330-1500 ^ Session TMS Block 1B ^ Chair: Gregory Zacharewicz^ | ||
- | |1330-1400 | Dynamic Data Driven Simulation with Soft Data | Yuan Long and Xiaolin Hu| | ||
- | |1400-1430 | Explicit Modelling of Causal Block Diagram Simulation Environments | Hans Vangheluwe, Daniel Riegelhaupt, | ||
- | |1430-1500 | Stochastic Hierarchical Simulation | Leandro Watanabe and Chris Myers| | ||
- | ^1530-1630 ^ Session TMS Block 2B ^ Chair: Hans Vangheluwe^ | ||
- | |1530-1600 | Semantic Mashups for Simulation as a Service with Tag Mining and Ontology Learning | Sixuan Wang, Gabriel Wainer, Vinu Subashini Rajus and Robert Woodbury| | ||
- | |1600-1630 | On the Representation of Dynamic Topologies: The Case for Centralized and Modular Approaches | Fernando Barros| | ||
+ | ===== 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-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 | ||
- | ====== Tuesday 15-APR ====== | + | ===== Wendesday, |
+ | ^ 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 | ||
- | | ^ Paper ^ Authors ^ | ||
- | ^ Parallel Track A - TMS (Sessions 3,4 & 5) ^^^ | ||
- | ^1030-1200 ^ Session TMS Block 3A ^ Chair: Gabriel Wainer^| | ||
- | |1030-1100 | Geometric Algorithms and Data Structures for Simulating Diffusion Limited Reactions | Shaun Bloom, Shuang Luan, Mathieu Karamitros and Sebestien Incerti| | ||
- | |1100-1130 | Efficient Matrix-Exponential Random Variate Generation using a Numeric Linear Combination Approach | M. Todd Gardner, Appie van de Liefvoort and Cory Beard| | ||
- | |1130-1200 | Modeling Attention Switching in Resource-constrained Complex Intelligent Dynamical Systems (RCIDS) | Saurabh Mital and Bernard Zeigler| | ||
- | ^1330-1430 ^ Session TMS Block 4A ^ Chair: Norbert Giambiasi^| | ||
- | |1330-1400 | A Highly Efficient Simulation Core in C++ | Andreas Blunk and Joachim Fischer| | ||
- | |1400-1430 | Fenix: | ||
- | ^1530-1630 ^ Session TMS Block 5A ^ Chair: Andrea D' | ||
- | |1530-1600 | Rule-Based Model Transformation For, and In Simulink | ||
- | |1600-1630 | Computational Fluid Dynamic Solver Based on Cellular Discrete-Event Simulation | Michael Van Schyndel and Gabriel Wainer| | | ||
- | ^1630-1730 ^ PhD Session ^ Chair: Claudia Frydman^ | ||
- | ^ Parallel Track B - MOD4SIM (Sessions 1,2 + WIP 1) ^^^ | ||
- | |1030-1200 ^ Session MOD4SIM Block 1B ^ Chair: Fernando Barros^| | ||
- | |1030-1100 | Empowering Business Process Simulation Through Automated Model Transformations | Paolo Bocciarelli, | ||
- | |1100-1130 | Business Process Simulation: Transformation of BPMN 2.0 to DEVS Models | Hassan Bazoun, Youssef Bouanan, Gregory Zacharewicz, | ||
- | ^1330-1500 ^ Session MOD4SIM Block 2B ^ Chair: Andrea D' | ||
- | |1330-1400 | High Level Modeling of Elastic Circuits In SystemC | Mohamed Ammar Ben Khadra, Yu Bai and Klaus Schneider| | ||
- | |1400-1430 | Generation of Co-simulation Compliant Functional Mock-up Units From Simulink, Using Explicit Computational Semantics | Bart Pussig, Joachim Denil, Paul De Meulenaere and Hans Vangheluwe| | ||
- | |1430-1500 | RAMSAS4Modelica: | ||
- | ^1530-1700 ^ Session MOD4SIM WIP ^ Chair: Fernando Barros^| | ||
- | |1530-1550 | Sprat: | ||
- | |1550-1610 | A Model-based Approach to Modeling a Hybrid Simulation Platform | Asli Soyler Akbas, Konstantinos Mykoniatis, Anastasia Angelopoulou and Waldemar Karwowski| | ||
- | |1610-1630 | How to Avoid Model Interferences for Test-driven Agile Simulation based on Standardized UML Profiles | Vitali Schneider, Anna Yupatova, Winfried Dulz and Reinhard German| | ||
- | |||
- | |||
- | |||
- | |||
- | ====== Wednesday 16-APR | ||
- | |||
- | |||
- | | ^ Paper ^ Authors ^ | ||
- | ^ Track - TMS (WIP Sessions 1, 2 & 3 + PhD Session) ^^^ | ||
- | ^0830-1000 ^ Session TMS WIP 1 ^ Chair: Fernando Barros^ | ||
- | |0830-0850 | The Modular Architecture of the Python(P)DEVS Simulation Kernel | Yentl Van Tendeloo and Hans Vangheluwe| | ||
- | |0850-0910 | DEVS-Ruby: | ||
- | |0910-0930 | DEVS-based Case Management | Shaowei Wang and Mamadou Traoré| | ||
- | |0930-0950 | A simulation-based model for a multi-domain GMPLS-based IP-over-optical network using the OMNeT++ platform | Saud Albarrak| | ||
- | ^1030-1130 ^ Session TMS WIP 2 ^ Chair: Moon Ho Hwang^| | ||
- | |1030-1050 | Temporal Capabilities in Support of Conceptual Process Modeling using Object-Role Modeling | Daniele Gianni, Paolo Bocciarelli and Andrea D' | ||
- | |1050-1110 | An Analytical Method for Assessing the Effectiveness of Human in the Loop Simulation Environments: | ||
- | |1110-1130 | Lessons Learned from Independent Verification and Validation of Models and Simulations | James Elele, David Hall, Allie Farid, David Turner, Mark Davis, Charles Pedriani and David Keyse| | ||
- | ^1330-1500 ^ Session TMS WIP 3 ^ Chair: Moon Ho Hwang^ | ||
- | |1330-1350 | Taxonomy of DEVS Variants | Moon Ho Hwang| | ||
- | |1350-1410 | Heterogeneous DEVS Simulations with Connectors and Reo Based Compositions | Ahmet Kara, Halit Oguztuzun and M. Nedim Alpdemir| | ||
- | |1410-1430 | A Study on Effective Operations of Sound Underwater Signal Using DEVS Modelling and Simulation | Min Kwak and Chungman Seo| | ||
- | |1430-1450 | DEVS-based Scenario Manager of Multibody Dynamics Simulator for Shipbuilding Production Process | Sol Ha, Namkug Ku, Myung-Il Roh, Ki Su Kim, Seung-Ho Ham, Jung-woo Hong, Xing Li and Hyewon Lee| | ||
- | |||
- | |||
- | ===== Old programs ===== | ||
- | |||
- | * [[previous | You can check the programs of previous years' conferences here]] |