| 2013 | Simulation-based verification of hybrid automata stochastic logic formulas for stochastic symmetric nets. | Elvio Gilberto Amparore, Benot Barbot, Marco Beccuti, Susanna Donatelli, Giuliana Franceschinis |
| 2012 | A New Opportunity to Urban Evacuation Analysis: Very Large Scale Simulations of Social Agent Systems in Repast HPC. | Kashif Zia, Andreas Riener, Katayoun Farrahi, Alois Ferscha |
| 2012 | A Bug Locating Method for the Debugging of Parallel Discrete Event Simulation. | Feng Zhu, Yiping Yao |
| 2012 | Research on Quality-Based Data Creditability Evaluating Method in Complex Systems Simulation. | Ying-Chao Zhang, Jing Zhang, Wei Li, Feng Ye |
| 2012 | SafeBTW: A Scalable Optimistic Yet Non-risky Synchronization Algorithm. | Yaocheng Zhang, Ge Li |
| 2012 | Offline Road Network Partitioning in Distributed Transportation Simulation. | Xu Yan, Gary Tan |
| 2012 | Exploiting Sensor Spatial Correlation for Dynamic Data Driven Simulation of Wildfire. | Haidong Xue, Xiaolin Hu |
| 2012 | SEMSim: A Distributed Architecture for Multi-scale Traffic Simulation. | Yadong Xu, Heiko Aydt, Michael Lees |
| 2012 | A Simulation System Based on OGRE and PhysX for Flexible Aircraft Assembly. | Dong Wang, Linxuan Zhang, Mian Wang, Tianyuan Xiao, Zhixia Hou, Fang Zou |
| 2012 | Discrete Event Simulation for Antisubmarine Searching. | Jinshu Wang, Bin Xiao |
| 2012 | Performance Analysis of a Multithreaded PDES Simulator on Multicore Clusters. | Jingjing Wang, Dmitry V. Ponomarev, Nael B. Abu-Ghazaleh |
| 2012 | Realizing Large-Scale Interactive Network Simulation via Model Splitting. | Nathanael Van Vorst, Jason Liu |
| 2012 | Towards Symmetric Multi-threaded Optimistic Simulation Kernels. | Roberto Vitali, Alessandro Pellegrini, Francesco Quaglia |
| 2012 | An Objective-Based Approach for Semantic Validation of Emergence in Component-Based Simulation Models. | Claudia Szabo, Yong Meng Teo |
| 2012 | A New Approach to Zero-Copy Message Passing with Reversible Memory Allocation in Multi-core Architectures. | Brian Paul Swenson, George F. Riley |
| 2012 | Research on a Method of Combat Simulation Creditability Evaluation Based on Event Logic Analysis. | Ming Sun, Hui-xian Tao, Lei Zhang |
| 2012 | Hybrid Simulation of Packet-Level Networks and Functional-Level Routers. | Mirko Stoffers, George F. Riley |
| 2012 | Verifying Dynamic Semantic Composability of BOM-Based Composed Models Using Colored Petri Nets. | Imran Mahmood, Rassul Ayani, Vladimir Vlassov, Farshad Moradi |
| 2012 | Sensing-Based Modeling and Service for Conditional Connection of EDEVS Component. | Yang Lu, Yiping Yao, Gang Liu, Longchen Qi |
| 2012 | Research on GPU-Based Computation Method for Line-of-Sight Queries. | Bin Liu, Yiping Yao, Wenjie Tang, Yang Lu |
| 2012 | HLA-Based Parallel Simulation: A Case Study. | Buquan Liu, Yiping Yao, Zhiwen Jiang, Laibin Yan, Qingjun Qu, Shaoliang Peng |
| 2012 | Hierarchical Composite Synchronization. | Jason Liu, Rong Rong |
| 2012 | Cloud-Based Simulation: The State-of-the-Art Computer Simulation Paradigm. | Xiaocheng Liu, Xiaogang Qiu, Bin Chen, Kedi Huang |
| 2012 | A Simplified Belonging Tree for Optimizing Information Transmission on Large-Scale Distributed Simulations. | Chen Liu, Jihong Cai, Kai Yang, Duzheng Qing, Mingwen Chen |
| 2012 | Enhancement of Collaborative Interest Management Mechanism for P2P Networked Virtual Environment. | Cheng Liu, Wentong Cai |