Differences

This shows you the differences between two versions of the page.

Link to this comparison view

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 Program =====+===== TMS/DEVS Program =====
  
-====== PRELIMINARY Overview table (HOURS TO BE CONFIRMED; CHECK FINAL PROGRAM) ======+==== PRELIMINARY OVERVIEW TABLE, HOURS TO BE CONFIRMED; PLEASE CHECK FINAL PROGRAM) ====
  
-| TMS/DEVS ROOM 1 TMS/DEVS ROOM 2 ^ +== Monday, 13 April 2015 == 
-Monday 14-APR | || +Time        Session            Room        
-| 0830 – 1000  SCS Plenary |   || +| 0830 – 1000 SCS Plenary        Edison ABC  | 
-| 1030 – 1200  SCS/SISO Plenary | | +1025 – 1030 | TMS/DEVS Opening   Edison E    
-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  Session Block 4 | TMS (Session 4) | Mod4SIM 2 +| 1630 – 1700 DEVS PhD Award     Edison E    
-| 1530 – 1630  Session Block 5 | TMS (Session 5) | Mod4SIM WIP +1530 – 1700 | TMS/DEVS B       Edison F    |
-| 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            ^ 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    |
  
-| ^ 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: Using M&S Kernels within IT Systems | Chungman Seo, Wontae Kang, Bernard P. Zeigler and Doohwan Kim| 
-|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'Ambrogio^ 
-|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, Sadaf Mustafiz, Joachim Denil and Simon Van Mierlo|  
-|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        | 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 |
  
-====== Tuesday 15-APR  ======+===== 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  |
  
  
-| ^ 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: A Framework for Power System and Communication Networks Co-Simulation | Selim Ciraci, Jeff Daily, Jason Fuller, Andrew Fisher, Laurentiu Marinovici and Khushbu Agarwal| 
-^1530-1630 ^ Session TMS Block 5A ^ Chair: Andrea D'Ambrogio^| 
-|1530-1600 | Rule-Based Model Transformation For, and In Simulink  (*) | Joachim Denil, Pieter Mosterman and Hans Vangheluwe|  
-|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, Andrea D'Ambrogio, Andrea Giglio, Emiliano Paglia and Daniele Gianni| 
-|1100-1130 | Business Process Simulation: Transformation of BPMN 2.0 to DEVS Models | Hassan Bazoun, Youssef Bouanan, Gregory Zacharewicz, Yves Ducq and Hadrien Boye|  
-^1330-1500 ^ Session MOD4SIM Block 2B ^ Chair: Andrea D'Ambrogio^| 
-|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: a Simulation-driven Method for System Dependability Analysis centered on the Modelica language and related tools | Alfredo Garro and Andrea Tundis|  
-^1530-1700 ^ Session MOD4SIM WIP ^ Chair: Fernando Barros^|  
-|1530-1550 | Sprat: Hierarchies of Domain-Specific Languages for Marine Ecosystem Simulation Engineering | Arne Johanson and Wilhelm Hasselbring|  
-|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: a Domain Specific Language for DEVS Modeling and Simulation | Romain Franceschini, Paul-Antoine Bisgambiglia, Paul Antoine Bisgambiglia and David Hill|  
-|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'Ambrogio|  
-|1050-1110 | An Analytical Method for Assessing the Effectiveness of Human in the Loop Simulation Environments: A work in progress | Glenn Hodges, Rudolph Darken and Michael McCauley|  
-|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]] 
program.txt · Last modified: 2020/12/02 21:31 (external edit)
[unknown link type]Back to top
CC Attribution-Noncommercial-Share Alike 4.0 International
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