Computer Systems Group

Department of Computer Science

National University of Singapore

Computing 2, #B01-01

13 Computing Drive, Singapore 117417

Composable Models and Semantic Validation

The project focuses on two key aspects of component-based modeling and simulation:

· Component-based model development [5, 6, 7]

o Software tools: SynVer; MICalculator

· Semantic composability validation [1, 2, 3, 4, 5]

o Software tools: Validator

Publications

1. C. Szabo and Y.M. Teo, An Analysis of the Cost of Validating Semantic Composability, Proceedings of 25th ACM/IEEE/SCS Workshop on Principles of Advanced and Distributed Simulation, pp. xx-xx, IEEE Computer Society Press, Nice, France, June 14-17, 2011.

2. C. Szabo, Composable Simulation Models and their Formal Validation, PhD Thesis, Department of Computer Science, National University of Singapore, 242 pages, 2010.

3. C. Szabo and Y.M. Teo, On Validation of Semantic Composability in Data-driven Simulation, Proceedings of 24th ACM/IEEE/SCS Workshop on Principles of Advanced and Distributed Simulation, pp. 73-80, IEEE Computer Society Press, Atlanta, USA, May 17-19, 2010. [slides]

4. C. Szabo, Y.M. Teo and S. See, A Time-based Formalism for the Validation of Semantic Composability, Proceedings of the Winter Simulation Conference, pp. 1411-1422, IEEE Computer Society Press, Austin, Texas, USA, December 13-16, 2009, (ACM SIGSIM Best PhD Student Paper Award). [slides]

5. C. Szabo and Y.M. Teo, CODES: Component-based Modeling and Simulation, Defence

Simulation, Training and Wargaming Conference

, Singapore, July 21-23, 2009 (invited speaker).

6. C. Szabo and Y.M. Teo, An Approach for Validation of Semantic Composability in Simulation Models, Proceedings of 23rd ACM/IEEE/SCS Workshop on Principles of Advanced and Distributed Simulation, pp. 3-10, IEEE Computer Society Press, New York, USA, Jun 22-25, 2009. [slides]

7. Y.M. Teo and C. Szabo, CODES: An Integrated Approach to Composable Modeling and Simulation, Proceedings of 41st Annual Simulation Symposium, pp. 103-110, IEEE Computer Society Press, Ottawa, Canada, Apr 13-16, 2008. [slides]

8. C. Szabo and Y.M. Teo, On Syntactic Composability and Model Reuse, Proceedings of the International Conference on Modeling and Simulation, pp. 230-236, IEEE Computer Society Press, Phuket, Thailand, March 2007 (invited paper). [slides]

Last updated: 5 May, 2011