PADS 2015 Final Program

ACM SIGSIM PADS 2015 Organizing Committee

June 10-12, 2015

London, UK

General Chair

personel bio pic Simon J.E. Taylor
Reader
Department of Computer Science
Brunel University London
Uxbridge, UK

Program Chairs

personel bio pic Young Jun Son
Professor and Department Head
Department of Systems and Industrial Engineering
University of Arizona
Tucson, AZ

personel bio pic Navonil Mustafee
Senior Lecturer
Business School
University of Exeter
Exeter, UK

Local Chair

personel bio pic Tamas Kiss
Senior Lecturer
Business Information Systems
University of Westminster
London, UK

Ph.D. Colloquium Chair

personel bio pic David Bell
Lecturer
Department of Computer Science
Brunel University London
Uxbridge, UK

Publicity Chair

personel bio pic Steffen Straßburger
Professor
Ilmenau University of Technology
Ilmenau, Germany

Registration Chair

personel bio pic Anastasia Anagnostou
Research Assistant
Department of Computer Science
Brunel University London
Uxbridge, UK

ACM SIGSIM PADS 2015 Final Program

Wednesday, June 10, 2015
8:00 – 8:45 a.m.
	Registration
8:45 – 9:00 a.m. / Room: A/B
	Welcome
9:00 – 10:00 a.m. / Room: A/B
	Chair: Navonil Mustafee (University of Exeter, UK) Keynote Speech 1: “Simulation in the Era of Big Data: Trends and Challenges” by Georgios Theodoropolous (Durham University, UK)
10:00 – 11:00 a.m. / Room: A/B
	Session 1: Manufacturing Applications Chair: Richard Fujimoto (Georgia Institute of Technology, USA)
	Knowledge Discovery in Manufacturing Simulations Niclas Feldkamp, Soeren Bergmann, Steffen Strassburger (Ilmenau University of Technology, Germany)
	Cost Efficient Short Term Capacity Planning for MTO Enterprises Ketki Kulkarni (IEOR, IITB, India), Pallavi Manohar (Xerox Research Center India, India)
11:00 – 11:30 a.m.
	Coffee Break
11:30 a.m. – 1:00 p.m. / Room: A
	Session 2: Education Chair: Steffen Straßburger (Ilmenau University of Technology, Germany)
	A Media-Rich Curriculum for Modeling and Simulation Karen Doore, David Vega, Paul Fishwick (University of Texas at Dallas, USA)
	Microcontroller Based Water Computer: An Experiment with Tangible System Dynamics Modeling David Vega, Michael Howell, Karen Doore, Paul Fishwick (University of Texas at Dallas, USA)
	Layered Simulations for Teaching Methodologies Michael Howell, Brian Merlo, Paul Fishwick (University of Texas at Dallas, USA)
	A Prototype HLA Development Kit: Results from the 2015 Simulation Exploration Experience Alfredo Garro (University of Calabria, Italy); Alberto Falcone (University of Calabria, Italy); Nauman R. Chaudhry (Brunel University London, UK); ; Omar-Alfred Salah (Brunel University London, UK); Anastasia Anagnostou (Brunel University London, UK); Simon J E Taylor (Brunel University London, UK)
11:30 a.m. – 1:00 p.m. / Room: B
	Session 3: Distributed Simulation I Chair: David Nicol (University of Illinois at Urbana-Champaign, USA)
	Time-Sharing Time Warp via Lightweight Operating System Support Alessandro Pellegrini, Francesco Quaglia (Sapienza University of Roma, Italy)
	NUMA Time Warp Alessandro Pellegrini, Francesco Quaglia (Sapienza University of Roma, Italy)
	Fidelity Evaluation based Time Dilation in Hybrid Network Emulation Siming Lin, Zhouyi Zhou, Wenyang Deng, Liang Chang, Chao Wang, Liang Liang (Chinese Academy of Sciences, China)
	Analyzing Data Dependencies for Increased Parallelism in Discrete Event Simulation Mirko Stoffers (RWTH Aachen University, Germany); Torsten Sehy (RWTH Aachen University, Germany); James Gross (KTH Royal Institute of Technology, Sweden); Klaus Wehrle (RWTH Aachen University, Germany)
1:00 – 2:00 p.m.
	Lunch (provided by the conference)
2:00 – 3:30 p.m. / Room: A/B
	Session 4: Distributed Simulation II Chair: Francesco Quaglia (Sapienza University of Roma, Italy)
	Experiments with Hardware-based Transactional Memory in Parallel Simulation Joshua Hay (Intel Inc, USA), Philip Wilsey (University of Cincinnati, USA)
	Improving Accuracy and Performance Through Automatic Model Generation for Gate-Level Circuit PDES with Reverse Computation Elsa Gonsiorowski, Justin Lapre, Christopher Carothers (Rensselaer Polytechnic Institute, USA)
	Towards HLA-based Optimistic Synchronization with CSPs Steffen Straßburger (Ilmenau University of Technology, Germany)
	On Energy Consumption in Distributed Simulations Richard Fujimoto (Georgia Institute of Technology, USA); Aradhya Biswas (Indian Institute of Technology Hyderabad, India)
3:30 – 4:00 p.m.
	Coffee Break
4:00 – 6:00 p.m. / Room: A/B
	Session 5: Networks and Operating Systems Chair: Philip A. Wilsey (University of Cincinnati, USA)
	Towards a DEVS-based Operating System Gabriel Wainer (Carleton University, Canada)
	Conjoining Emulation and Network Simulators on Linux Multiprocessors David Nicol (University of Illinois at Urbana-Champaign, USA), Jereme Lamps (University of Illinois, USA), Vladimir Adam (University of Illinois, USA)
	Ph.D. Colloquium
7:00 p.m. / Meet at Room: A/B
	PADS Quest – an informal treasure hunt that will end at a mystery London pub!

Thursday, June 11, 2015
8:00 – 9:00 a.m.
	Registration
9:00 – 10:00 a.m. / Room: A/B
	Chair: Young-Jun Son (University of Arizona, USA) Keynote Speech 2: “Enabling Distributed Simulations Using Big Data and Clouds” by Péter Kacsuk (MTA SZTAKI, Hungary)
10:00 – 11:00 a.m. / Room: A/B
	Session 6: Biological Systems Chair: Navonil Mustafee (University of Exeter, UK)
	An Agent-Based Simulation Model to Evaluate the Efficiency of a Synthetic Biology System Fernando Cea-Olvera, Adrian Ramirez-Nafarrate, Begoña Albizuri-Romero (ITAM, Mexico)
	Syntax and Semantics of a Multi-Level Modeling Language Tom Warnke, Tobias Helms, Adelinde M. Uhrmacher (Universität Rostock, Germany)
11:00 – 11:30 a.m.
	Coffee Break
11:30 – 1:00 p.m. / Room: A/B
	Session 7: General Applications Chair: Dong Jin (Illinois Institute of Technology, USA)
	Exploring the Relationship between Adherence to Treatment and Viral Load through a New Discrete Simulation Model of HIV Infectivity Ela Rana (Troy University, USA), Philippe Giabbanelli (Simon Fraser University, Canada), Naga Balabhadrapathruni (Troy University, USA), Xiaoyu Li (Troy University, USA), Vijay Mago (Troy University, USA)
	NTW-MT: A Multi-threaded Simulator for Reaction Diffusion Simulations in NEURON Zhongwei Lin (National University of Defense Technology, China), Carl Tropper (McGill University, Canada), Mohammand Patoary (McGill University, Canada), Robert McDougal (Yale University, USA), William Lytton (SUNY Downstate Medical Center, USA), Michael Hines (Yale University, USA)
	Management of Ubiquitous Systems with a Mobile Application Using Discrete Event Simulations Souhila Sehili, Laurent Capocchi, Jean-François Santucci (University of Corsica, Italy)
	An Application of Distributed Simulation for Hybrid Modeling of Offshore Wind Farms Navonil Mustafee (University of Exeter, UK), M'Hammed Sahnoun (CESI, UK), Andi Smart (University of Exeter, UK), Phil Godsiff (University of Exeter, UK)
1:00 – 2:00 p.m.
	Lunch (provided by the conference)
2:00 – 3:30 p.m. / Room: A
	Session 8: Distributed Simulation III Chair: Carl Tropper (McGill University, Canada)
	Cloning Agent-based Simulation on GPU Xiaosong Li, Wentong Cai, Stephen Turner (Nanyang Technological University, Singapore)
	Efficient Inter-Process Synchronization for Parallel Discrete Event Simulation on Multicores Pavol Bauer, Jonatan Lindén, Stefan Engblom, Bengt Jonsson (Uppsala University, Sweden)
	Improving Computational Performance of Simulation-based Heuristic Algorithms for Job Sequencing Shell Ying Huang, Ya Li (Nanyang Technological University, Singapore)
	Agent-based Modeling of Large-scale Complex Social Interactions Mingxin Zhang (Delft University of Technology, Netherlands), Alexander Verbraeck (Delft University of Technology, Netherlands), Rongqing Meng (National University of Defense Technology, China), Xiaogang Qiu (National University of Defense Technology, China)
2:00 – 3:30 p.m. / Room: B
	Session 9: Policy Simulation (Abstracts only and will not appear in the conference proceedings.) Chair: Simon J. E. Taylor (Brunel University, London)
	Bridging Relevance with Rigour in the Policy Modelling of Political Participation Bruce Edmonds (Centre for Policy Modelling, Manchester Metropolitan University, UK), Luis Fernandez Lafuerza (Department of Theoretical Physics, University of Manchester, UK), Louise Dyson (Department of Theoretical Physics, University of Manchester, UK), Laurence Lessard-Phillips (Institute for Social Change, University of Manchester, UK), Ed Fieldhouse (Institute for Social Change, University of Manchester, UK), and Alan McKane (Department of Theoretical Physics, University of Manchester, UK)
	Agent-Based Modelling for Exploring Policies in Complex Socio-Environmental Systems Gary Polhill, Jiaqi Ge, Alessandro Gimona, and Nick Gotts (James Hutton Institute, UK)
	Multi-Agent Simulation and Animation with PreSage-2 Jeremy Pitt (Imperial College, UK)
3:30 – 4:00 p.m.
	Coffee Break
4:00 – 5:00 p.m. / Room: A/B
	Session 10: Distributed Simulation IV Chair: Jonatan Lindén (Uppsala University, Sweden)
	FatTreeSim: Modeling a Large-scale Fat-Tree Network for HPC Systems and Data Centers Using Parallel and Discrete Event Simulation Ning Liu, Adnan Haider, Xian-He Sun, Dong Jin (Illinois Institute of Technology, USA)
	Transparently Mixing Undo Logs and Software Reversibility for State Recovery in Optimistic PDES Davide Cingolani, Alessandro Pellegrini, Francesco Quaglia (Sapienza University of Roma, Italy)
5:00 – 6:00 p.m. / Room: A/B
	Session 11: Invited Presentation Chair: Simon J. E. Taylor (Brunel University, London)
	Invited Speech: “Notions and Notations: Babbage's Language of Thought” by Adrian Johnstone (Royal Holloway, University of London)
7:30 p.m.
	Dinner (Location TBD)

Friday, June 12, 2015
9:00 – 10:45 a.m. / Room: A/B
	Session 12: Network Applications Chair: Wentong Cai (Nanyang Technological University, Singapore)
	Model-Based Concurrency Analysis of Network Simulations Philipp Andelfinger, Hannes Hartenstein (Karlsruhe Institute of Technology, Germany)
	A Virtual Time System for Linux-container-based Emulation of Software-defined Networks Jiaqi Yan, Dong Jin (Illinois Institute of Technology, USA)
	Veriﬁcation of Petri Nets based Simulation Models using Coverage Metrics Markus Rabe , Maik Deininger, Anne Antonia Scheidler (TU Dortmund University, Germany)
	Big Data Decision Making Based on Predictive Data Analysis Using DEVS Simulations Natacha Ellul, Laurent Capocchi, Jean François Santucci (SPE UMR CNRS 6134, France)
10:45 – 11:15 a.m.
	Coffee Break
11:15 a.m. – 12:45 p.m. / Room: A/B
	Session 13: Traffic Applications Chair: Young-Jun Son (University of Arizona, USA)
	An Asynchronous Synchronization Strategy for Parallel Large-scale Agent-based Traffic Simulations Yadong Xu (Nanyang Technological University, Singapore); Wentong Cai (Nanyang Technological University, Singapore); Heiko Aydt (TUM CREATE Ltd., Germany)
	Exact-Differential Large-Scale Traffic Simulation Masatoshi Hanai (Tokyo Institute of Technology, Japan); Toyotaro Suzumura (IBM Research, USA); Georgios Theodoropoulos (Durham University, UK); Kalyan Perumalla (Oak Ridge National Laboratory, USA)
	Traffic Simulation Performance Optimization Through Multi-Resolution Modeling of Road Segments Daniel Zehedaniel (TUM CREATE Ltd., Germany); David Grotzky (TUM CREATE Ltd., Germany); Alois Knoll (Robotics and Embedded Systems, Germany); Heiko Aydt (TUM CREATE Ltd., Germany)
12:45 – 1:00 p.m.
	Closing Session / Room: A/B