SimRisk: An Integrated Open-Source Tool for Agent-Based ...

T. Han, J.-P. Katoen, and D. Berteun. Counterexample generation in probabilistic model checking.
IEEE Transactions on Software Engineering, 35(2):241–257, 2009. ISSN 0098-5589.
D. Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming,
8:231–274, 1987.
A. Hinton, M. Kwiatkowska, G. Norman, and D. Parker. Prism: A tool for automatic verification
of probabilistic systems. In H. Hermanns and J. Palsberg, editors, Proc. of TACAS’06, volume
3920 of LNCS, pages 441–444. Springer, March 2006.
IEEE and the open group. POSIX threads: The Open Group Base Specifications. IEEE Standard
1003.1, chapter 6. IEEE, 2004.
J. P. Kleijnen. Supply chain simulation tools and techniques: a survey. International Journal of
Simulation and Process Modelling, 1(1/2):82–89, 2005.
M. Kwiatkowska and G. Norman. Verifying randomized Byzantine agreement. In D. Peled and
M. Vardi, editors, Proc. Formal Techniques for Networked and Distributed Systems (FORTE’02),
volume 2529 of LNCS, pages 194–209. Springer, 2002.
M. Kwiatkowska, G. Norman, and D. Parker. Using probabilistic model checking in systems biology.
ACM SIGMETRICS Performance Evaluation Review, 35(4):14–21, 2008.
J. Liu, W. Wang, Y. Chai, and Y. Liu. Easy-SC: a supply chain simulation tool. In Proceedings of
the 2004 Winter Simulation Conference, volume 2, pages 1373–1378, Dec. 2004.
S. A. MirHassani, C. Lucas, G. Mitra, E. Messina, and C. A. Poojari. Computational solution of
capacity planning models under uncertainty. Parallel Computing, 26(5):511 – 538, 2000. ISSN
0167-8191.
Object Management Group. Unified modeling language. http://www.omg.org, since 1997.
R. Pai, V. Kallepalli, R. Caudill, and M. Zhou. Methods toward supply chain risk analysis. In
Systems, Man and Cybernetics, 2003. IEEE International Conference on, volume 5, pages 4560–
4565, October 2003.
M. D. Rossetti, M. Miman, V. Varghese, and Y. Xiang. An object-oriented framework for simulating
multi-echelon inventory systems. In Proceedings of the 38th conference on Winter simulation,
pages 1452–1461, 2006.
T. Santoso, S. Ahmed, M. Goetschalckx, and A. Shapiro. A stochastic programming approach for
supply chain network design under uncertainty. European Journal of Operational Research, 167
(1):96 – 115, 2005. ISSN 0377-2217.
Sears Holding Company. Sears holding-second quarter results.
http://www.searsholdings.com/invest, 2008.
L. Smith, R. Beckman, D. Anson, K. Nagel, and M. Williams. Transims: Transportation analysis
and simulation system. In the 5th National Conference on Transportation Planning Methods
Applications, volume 2, 2005.
2