SimRisk: An Integrated Open-Source Tool for Agent-Based ...
SimRisk: An Integrated Open-Source Tool for Agent-Based ... SimRisk: An Integrated Open-Source Tool for Agent-Based ...
References Cited P. J. Agrell, R. Lindroth, and A. Norrman. Risk, information and incentives in telecom supply chains. International Journal of Production Economics, 90(1):1–16, 2004. A. Alonso-Ayuso, L. Escudero, A. Garin, M. Ortuno, and G. Perez. An approach for strategic supply chain planning under uncertainty based on stochastic 0c1 programming. Journal of Global Optimization, 26:97–124, 2003. R. Axelrod. The Complexity of Cooperation: Agent-Based Models of Competition and Collaboration. Princeton University Press, 1997. T. Ball, B. Cook, V. Levin, and S. K. Rajamani. Slam and static driver verifier: Technology transfer of formal methods inside microsoft. In In: IFM. (2004, pages 1–20. Springer, 2004. A. Bianco and L. de Alfaro. Model checking of probabilistic and nondeterministic systems. In P. Thiagarajan, editor, Proc. 15th Conference on Foundations of Software Tech. and Theor. Comput. Sci., volume 1026 of LNCS, pages 499–513. Springer, 1995. A. Biere, A. Cimatti, E. M. Clarke, and Y. Zhu. Symbolic model checking without bdds. In TACAS ’99: Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems, pages 193–207, London, UK, 1999. Springer-Verlag. ISBN 3540657037. E. Bonabeau. Agent-based modeling: Methods and techniques for simulating human systems. Proceedings of the National Academy of Sciences, 99:7280–7287, May 2002. J. R. Burch, E. M. Clarke, K. L. McMillan, D. L. Dill, and L. J. Hwang. Symbolic model checking: 10 20 states and beyond. Information and Computation, 98(2):142–170, June 1992. X. Chen and J. Zhang. Supply chain risks analysis by using jump-diffusion model. In WSC ’08: Proceedings of the 40th Conference on Winter Simulation, pages 638–646. Winter Simulation Conference, 2008. ISBN 978-1-4244-2708-6. E. M. Clarke, E. A. Emerson, and A. P. Sistla. Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM TOPLAS, 8(2), 1986. R. Cleaveland, L. Tan, and S. Sims. Concurrent Workbench of the New Century: User Manual. State University of New York at Stony Brook, 2000. Costco Wholesale Corporation. Costco wholesale annual report 2007. Year ended Sept 2, 2007, 2007. J. Ferrer and J. Karlberg. Achieving high performance through effective global operations. Technical report, Accenture, 2006. P. Finch. Supply chain risk management. Supply Chain Management: An International Journal, 9 (2):183–196, 2004. R. Gerth. Model checking if your life depends on it a view from intel’s trenches. In M. B. Dwyer, editor, SPIN, volume 2057 of LNCS, page 15. Springer, 2001. 1
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
- Page 1 and 2: SimRisk: An Integrated Open-Source
- Page 3 and 4: 1 Overview and objectives Project D
- Page 5 and 6: party to develop analysis plugins f
- Page 7 and 8: processes [Kwiatkowska et al., 2008
- Page 9 and 10: 2009b], and model-checking-based fo
- Page 11 and 12: Working [!AllSuppilersAvail] Orderi
- Page 13 and 14: Server 1 Memory Server 2 Memory Ser
- Page 15 and 16: 2. Proof extraction and game-based
- Page 17: via publications in leading journal
- Page 21 and 22: S. Xu and L. Tan. Formal analysis o
- Page 23: 2 Travel The support for 2 trip per
References Cited<br />
P. J. Agrell, R. Lindroth, and A. Norrman. Risk, in<strong>for</strong>mation and incentives in telecom supply<br />
chains. International Journal of Production Economics, 90(1):1–16, 2004.<br />
A. Alonso-Ayuso, L. Escudero, A. Garin, M. Ortuno, and G. Perez. <strong>An</strong> approach <strong>for</strong> strategic<br />
supply chain planning under uncertainty based on stochastic 0c1 programming. Journal of Global<br />
Optimization, 26:97–124, 2003.<br />
R. Axelrod. The Complexity of Cooperation: <strong>Agent</strong>-<strong>Based</strong> Models of Competition and Collaboration.<br />
Princeton University Press, 1997.<br />
T. Ball, B. Cook, V. Levin, and S. K. Rajamani. Slam and static driver verifier: Technology<br />
transfer of <strong>for</strong>mal methods inside microsoft. In In: IFM. (2004, pages 1–20. Springer, 2004.<br />
A. Bianco and L. de Alfaro. Model checking of probabilistic and nondeterministic systems. In<br />
P. Thiagarajan, editor, Proc. 15th Conference on Foundations of Software Tech. and Theor.<br />
Comput. Sci., volume 1026 of LNCS, pages 499–513. Springer, 1995.<br />
A. Biere, A. Cimatti, E. M. Clarke, and Y. Zhu. Symbolic model checking without bdds. In TACAS<br />
’99: Proceedings of the 5th International Conference on <strong>Tool</strong>s and Algorithms <strong>for</strong> Construction<br />
and <strong>An</strong>alysis of Systems, pages 193–207, London, UK, 1999. Springer-Verlag. ISBN 3540657037.<br />
E. Bonabeau. <strong>Agent</strong>-based modeling: Methods and techniques <strong>for</strong> simulating human systems.<br />
Proceedings of the National Academy of Sciences, 99:7280–7287, May 2002.<br />
J. R. Burch, E. M. Clarke, K. L. McMillan, D. L. Dill, and L. J. Hwang. Symbolic model checking:<br />
10 20 states and beyond. In<strong>for</strong>mation and Computation, 98(2):142–170, June 1992.<br />
X. Chen and J. Zhang. Supply chain risks analysis by using jump-diffusion model. In WSC ’08:<br />
Proceedings of the 40th Conference on Winter Simulation, pages 638–646. Winter Simulation<br />
Conference, 2008. ISBN 978-1-4244-2708-6.<br />
E. M. Clarke, E. A. Emerson, and A. P. Sistla. Automatic verification of finite-state concurrent<br />
systems using temporal logic specifications. ACM TOPLAS, 8(2), 1986.<br />
R. Cleaveland, L. Tan, and S. Sims. Concurrent Workbench of the New Century: User Manual.<br />
State University of New York at Stony Brook, 2000.<br />
Costco Wholesale Corporation. Costco wholesale annual report 2007. Year ended Sept 2, 2007,<br />
2007.<br />
J. Ferrer and J. Karlberg. Achieving high per<strong>for</strong>mance through effective global operations. Technical<br />
report, Accenture, 2006.<br />
P. Finch. Supply chain risk management. Supply Chain Management: <strong>An</strong> International Journal, 9<br />
(2):183–196, 2004.<br />
R. Gerth. Model checking if your life depends on it a view from intel’s trenches. In M. B. Dwyer,<br />
editor, SPIN, volume 2057 of LNCS, page 15. Springer, 2001.<br />
1
Change language