Symposium on Theory of Modeling
and Simulation (TMS/DEVS 2017)
April 23-26, 2017 | Virginia Beach, VA, USA |
http://www.tms-devs.org
SPONSORED BY
The Society for Modeling and
Simulation International
Preliminary Call for Papers
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):

P.O. Box 17900
San Diego, CA 92177-7900, USA
Tel: +1 858-277-3888
Fax: +1 858-277-3930
E-mail: [email protected]
http://www.scs.org/
IN COOPERATION WITH
ACM/SIGSIM
IMPORTANT DATES
Abstract Submission: Oct. 15th, 2016
Abstract Feedback: Oct. 30th, 2016
Full Paper Submission: Dec. 15th,
2016
Notification: Jan. 31st, 2017
Camera-ready Paper: Feb. 20th, 2017
Theory
o Advances in Modeling Formalisms (DEVS,
Petri nets, Statecharts, etc.)
o Model Transformation
o Model Checking and Verification
o Formalism-Based Model Debugging
 Modular Approaches to M&S
Model Composition
Co-simulation
Interoperability
Modular Modeling of Hybrid Systems
Modular Modeling of Spatially Distributed
Systems
o Modular Representation of Numerical
Solvers
o
o
o
o
o



o
o
o
o
o
o
o
o
o
o
o
Complex Systems M&S
Multi-Paradigm/Multi-Domain Modeling
Multi-Resolution/Multiscale Modeling
Cyber-Physical Systems M&S
Ultra Large Scale Systems M&S
Systems of Systems M&S
M&S Technologies
Parallel/Distributed/Cloud-Based Simulation
Real-Time and Interactive Simulation
M&S of Embedded Systems
M&S Tools and Standards
Simulation Languages/Libraries
Simulation Development/Visualization Tools
M&S Repositories/Data Formats
Submission Procedures:
The conference committee accepts two types of papers submitted as a PDF file to the conference website
(http://www.softconf.com/sim/TMS-DEVS/) as listed below. The final version of all the papers must comply with
the SCS conference format. All papers must be original and not submitted to other venues (please refer to
plagiarism and self-plagiarism policies of ACM and IEEE); they will be peer reviewed with respect to their
quality, originality and relevance. Contributed papers are 8 pages long.
At least one author of each paper accepted for presentation and publication must register and present the
paper. Papers registered but not presented at conference time will not be included in the ACM Digital Library.
DEVS PHD DISSERTATION AWARD
(Chairs: Bernard P. Zeigler, Claudia Frydman)
The Symposium will hold the 6th DEVS M&S PhD Award, to recognize and reward the best PhD thesis related
to the DEVS M&S formalism.
TMS/DEVS 2017 ORGANIZING COMMITTEE
General Chairs:
Fernando Barros, University of Coimbra, Portugal
Xiaolin Hu, Georgia State University, USA
Program Chairs:
Joachim Denil, University of Antwerp, Belgium
Rhys Goldstein, Autodesk Research, Canada
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
Steering Committee:
Gabriel A. Wainer, Carleton University, Canada (Chair)
Moon Hwang, Dassault Systems, USA
Herbert Prähofer, University of Linz, Austria
TMS/DEVS 2017 –TECHNICAL 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