TMS/DEVS ’16
Symposium on Theory of Modeling and Simulation ’16
part of the 2016 Spring Simulation Multi-Conference
The purpose of this symposium is to provide a forum to discuss recent advancements in M&S theory. The main focus is on modeling, methodology, practice and software to cope with the challenges arising out of these, as well as lessons learned and challenges. The Symposium bridges different areas in the field of theory of M&S, including formal modeling, model-checking, graph transformation, modeling methodologies. Topics of interest include (but are not limited to):
Theory of Modeling and Simulation
- DEVS, Petri-nets, Finite State Machines, Timed Automata, Process Algebras, Queuing Networks, etc.
- Formalism Integration
- Modular Formalisms for Hybrid Systems
- Formal analysis and symbolic reasoning
- Model checking
- Behavior Abstraction and Model Reduction
- Graph and model transformations
- Activity paradigm: complex adaptive systems, tracking, awareness
M & S Software
- M&S Software
- M&S Frameworks
- M&S Languages and language extensions
- Education aspects of Theory of M&S
- M&S standards
Methodology
- Parallel & distributed simulations
- Interoperability of simulators (grid, cloud, web services, etc.)
- M&S-based development methods
- M&S-based system optimization
- M&S of gene regulatory networks
- M&S of spatially distributed systems
Practice and Lessons Learned
- Real-time and embedded systems
- High performance computing
- Cloud and service-oriented computing
- Transportation and traffic systems
- Ecological and environmental systems
- Systems-of-systems and ultra large scale systems
Organizing Committee
General Chairs
Fernando Barros, University of Coimbra, Portugal
Herbert Prähofer, Johannes Kepler University Linz, Austria
Program Chairs
Xiaolin Hu, Georgia State University, USA
Joachim Denil, University of Antwerp, Belgium
Steering Committee
Gabriel A. Wainer, Carleton University, Canada (Chair)
Andrea D’Ambrogio, University of Rome «Tor Vergata», Italy
Gregory Zacharewicz, University of Bordeaux, France
Advisory Board
Bernard P. Zeigler (FIEEE, FSCS, LAA-SCS), Univ. Arizona, USA (Chair)
Christos Cassandras (FIEEE, FIFAC), Boston University, USA
François Cellier (FSCS), ETH Zürich, Switzerland
Kishor Trivedi (FIEEE, GCM IEEE CS), Duke University, USA
Mo Jamshidi (FIEEE, FASME, FAAAS), Univ. Texas at San Antonio, USA
Program Committee (Preliminary)
Michele Amoretti, Università di Parma, Italy
Andrea Bracciali, University of Stirling, Scotland
Paolo Bocciarelli, University of Rome “Tor Vergata”, Italy
Rodrigo Castro, University of Buenos Aires, Argentina
Dave Cavalcanti, Intel Corporation, USA
Maximiliano Cristia, CIFASIS and UNR, Argentina
Gabriele D’Angelo, University of Bologna, Italy
Olivier Dalle, INRIA Sophia-Antipolis and Université de Nice, France
Raphael Duboz, Asian Institute of Technology, Thailand
Claudia Frydman, LSIS, Marseille, France
Feng Gu, The College of Staten Island, USA
Olaf Hagendorf, Universität Wismar, German
Shafagh Jafer, University of Virginia, USA
Moath Jarrah, Jordan University of Science and Technology, Jordan
Tag Gon Kim, KAIST, Korea
Ernesto Kofman, Universidad Nacional de Rosario, Argentina
Yonglin Lei, National University of Defense Technology, China
Xiaobo Li, University of Antwerp, Belgium; National University of Defense Technology, China
Mark Minas, Universität der Bundeswehr, Germany
Saurabh Mittal, Dunip Technologies, USA
Mohammad Moallemi, Carleton University, Canada
Il Chul Moon, KAIST, Korea
Lisandru Muzy, Université de Corse, France
Chris Myers, University of Utah, USA
Libero Nigro, Universitá della Calabria, Italy
Lewis Ntaimo, Texas A&M, USA
James Nutaro, Oak Ridge National Laboratory, USA
Halit Oguztuzun, Middle East Technical University, Turkey
Thorsten Pawletta, University of Wismar, Germany
Sabri Pllana, University of Vienna, Austria
Francesco Quaglia, Università di Roma “La Sapienza”, Italy
Judicael Ribault, Université de Bordeaux 1, France
Jose Luis Risco-Martin, Universidad Complutense de Madrid, Spain
Klaus Schneider, University of Kaiserslautern, Germany
Mamadou Seck, Delft University of Technology, The Netherlands
Eugene Syriani, University of Montreal, Canada
Enrico Tronci, Università di Roma “La Sapienza”, Italy
Javier Troya, Universidad de Málaga, Spain
Adelinde Uhrmacher, Universität Rostock, Germany
Alfonso Urquia, National Distance Education University, Spain
Hans Vangheluwe, University of Antwerp, Belgium, and McGill University, Canada
Haidong Xue, Georgia State University, USA
Yiping Yao, National University of Defense Technology, China
Levent Yilmaz, Auburn University, USA
Fransesco Zanichelli, Universitá di Parma, Italy
Submitted by Anonymous
on
Symposium on Theory of Modeling and Simulation ’16
part of the 2016 Spring Simulation Multi-Conference
The purpose of this symposium is to provide a forum to discuss recent advancements in M&S theory. The main focus is on modeling, methodology, practice and software to cope with the challenges arising out of these, as well as lessons learned and challenges. The Symposium bridges different areas in the field of theory of M&S, including formal modeling, model-checking, graph transformation, modeling methodologies. Topics of interest include (but are not limited to):
Theory of Modeling and Simulation
- DEVS, Petri-nets, Finite State Machines, Timed Automata, Process Algebras, Queuing Networks, etc.
- Formalism Integration
- Modular Formalisms for Hybrid Systems
- Formal analysis and symbolic reasoning
- Model checking
- Behavior Abstraction and Model Reduction
- Graph and model transformations
- Activity paradigm: complex adaptive systems, tracking, awareness
M & S Software
- M&S Software
- M&S Frameworks
- M&S Languages and language extensions
- Education aspects of Theory of M&S
- M&S standards
Methodology
- Parallel & distributed simulations
- Interoperability of simulators (grid, cloud, web services, etc.)
- M&S-based development methods
- M&S-based system optimization
- M&S of gene regulatory networks
- M&S of spatially distributed systems
Practice and Lessons Learned
- Real-time and embedded systems
- High performance computing
- Cloud and service-oriented computing
- Transportation and traffic systems
- Ecological and environmental systems
- Systems-of-systems and ultra large scale systems
Organizing Committee
General Chairs
Fernando Barros, University of Coimbra, Portugal
Herbert Prähofer, Johannes Kepler University Linz, Austria
Program Chairs
Xiaolin Hu, Georgia State University, USA
Joachim Denil, University of Antwerp, Belgium
Steering Committee
Gabriel A. Wainer, Carleton University, Canada (Chair)
Andrea D’Ambrogio, University of Rome «Tor Vergata», Italy
Gregory Zacharewicz, University of Bordeaux, France
Advisory Board
Bernard P. Zeigler (FIEEE, FSCS, LAA-SCS), Univ. Arizona, USA (Chair)
Christos Cassandras (FIEEE, FIFAC), Boston University, USA
François Cellier (FSCS), ETH Zürich, Switzerland
Kishor Trivedi (FIEEE, GCM IEEE CS), Duke University, USA
Mo Jamshidi (FIEEE, FASME, FAAAS), Univ. Texas at San Antonio, USA
Program Committee (Preliminary)
Michele Amoretti, Università di Parma, Italy
Andrea Bracciali, University of Stirling, Scotland
Paolo Bocciarelli, University of Rome “Tor Vergata”, Italy
Rodrigo Castro, University of Buenos Aires, Argentina
Dave Cavalcanti, Intel Corporation, USA
Maximiliano Cristia, CIFASIS and UNR, Argentina
Gabriele D’Angelo, University of Bologna, Italy
Olivier Dalle, INRIA Sophia-Antipolis and Université de Nice, France
Raphael Duboz, Asian Institute of Technology, Thailand
Claudia Frydman, LSIS, Marseille, France
Feng Gu, The College of Staten Island, USA
Olaf Hagendorf, Universität Wismar, German
Shafagh Jafer, University of Virginia, USA
Moath Jarrah, Jordan University of Science and Technology, Jordan
Tag Gon Kim, KAIST, Korea
Ernesto Kofman, Universidad Nacional de Rosario, Argentina
Yonglin Lei, National University of Defense Technology, China
Xiaobo Li, University of Antwerp, Belgium; National University of Defense Technology, China
Mark Minas, Universität der Bundeswehr, Germany
Saurabh Mittal, Dunip Technologies, USA
Mohammad Moallemi, Carleton University, Canada
Il Chul Moon, KAIST, Korea
Lisandru Muzy, Université de Corse, France
Chris Myers, University of Utah, USA
Libero Nigro, Universitá della Calabria, Italy
Lewis Ntaimo, Texas A&M, USA
James Nutaro, Oak Ridge National Laboratory, USA
Halit Oguztuzun, Middle East Technical University, Turkey
Thorsten Pawletta, University of Wismar, Germany
Sabri Pllana, University of Vienna, Austria
Francesco Quaglia, Università di Roma “La Sapienza”, Italy
Judicael Ribault, Université de Bordeaux 1, France
Jose Luis Risco-Martin, Universidad Complutense de Madrid, Spain
Klaus Schneider, University of Kaiserslautern, Germany
Mamadou Seck, Delft University of Technology, The Netherlands
Eugene Syriani, University of Montreal, Canada
Enrico Tronci, Università di Roma “La Sapienza”, Italy
Javier Troya, Universidad de Málaga, Spain
Adelinde Uhrmacher, Universität Rostock, Germany
Alfonso Urquia, National Distance Education University, Spain
Hans Vangheluwe, University of Antwerp, Belgium, and McGill University, Canada
Haidong Xue, Georgia State University, USA
Yiping Yao, National University of Defense Technology, China
Levent Yilmaz, Auburn University, USA
Fransesco Zanichelli, Universitá di Parma, Italy