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

J. Swaminathan, S. Smith, and N. Sadeh. Modeling supply chain dynamics: A multiagent approach.
Decision Sciences, 29(3):607–632, Summer 1998.
L. Tan. An abstract schema for equivalence-checking games. In VMCAI ’02: Revised Papers from
the Third International Workshop on Verification, Model Checking, and Abstract Interpretation,
pages 65–78, London, UK, 2002. Springer-Verlag. ISBN 3-540-43631-6.
L. Tan. Model-based self-adaptive embedded systems with temporal logic specifications. In the
proceedings of the 6th IEEE International Conference on Quality Software (QSIC’06), Beijing,
China, October 2006. IEEE press.
L. Tan and R. Cleaveland. Evidence-based model checking. In CAV’02, 2002.
L. Tan and S. Xu. Model check stochastic supply chains. In IRI ’08: Proceedings of the IEEE
2008 international symposium on Information Reuse and Integration, pages 416–421. IEEE, 2008.
ISBN 978-1-4244-2659-1.
L. Tan and S. Xu. A model-checking-based approach to risk analysis in supply chain consolidations.
Integrated Computer-Aided Engineering, 16(3):243–257, 2009a.
L. Tan and S. Xu. An agent-based formal framework for modeling and simulating supply chains. In
the 2009 IEEE International Conference on Information Reuse and Integration, Auguest 2009b.
L. Tan and S. Xu. Modeling and analysis of the impact of demand seasonality on post-merger
synergy. In INFORMS annaul conference (INFORMS’09), San Diego, CA, October 2009c. IN-
FORMS.
S. Terzi and S. Cavalieri. Simulation in the supply chain context: a survey. Computers in Industry,
53(1):3–16, January 2004.
the Eclipse Foundation. Eclipse. http://www.eclipse.org, since 2004.
C. van Delft and J. P. Vial. A practical implementation of stochastic programming: an application
to the evaluation of option contracts in supply chains. Automatica, 40(5):743 – 756, 2004. ISSN
0005-1098.
F. Wang and M. Kwiatkowska. An MTBDD-based implementation of forward reachability for
probabilistic timed automata. In D. Peled and Y.-K. Tsay, editors, Proc. of ATVA’05, volume
3707 of LNCS, pages 385–399. Springer, 2005.
W. Wang, J. Dong, H. Ding, C. Ren, M. Qiu, Y. Lee, and F. Cheng. An introduction to ibm general
business simulation environment. In Proceedings of the 2008 Winter Simulation Conference, pages
2700–2707, Dec. 2008.
L. Wei, Y. Chai, C. Ren, and J. Dong. A Research Review on Dynamic Performance Analysis of
Supply Chain System, pages 163–167. Springer Japan, 2007.
X. Wu, X. Zhong, S. Song, and C. Wu. Study on risk analysis of supply chain enterprises. Journal
of Systems Engineering and Electronics, 17(4):781 – 787, 2006. ISSN 1004-4132.
3