1. Norman Abramson (1970): THE ALOHA SYSTEM: another alternative for computer communications. In: Proceedings of the November 17-19, 1970, fall joint computer conference, AFIPS '70 (Fall). ACM, New York, NY, USA, pp. 281–285, doi:10.1145/1478462.1478502.
  2. A. Basu, S. Bensalem, M. Bozga, B. Caillaud, B. Delahaye & A. Legay (2010): Statistical Abstraction and Model-Checking of Large Heterogeneous Systems. In: FORTE, LNCS 6117. Springer, pp. 32–46, doi:10.1007/978-3-642-13464-7_4.
  3. M. Broy, B. Jonsson, J-P. Katoen, M. Leucker & A. Pretschner (2005): Model-Based Testing of Reactive Systems, Advanced Lectures The volume is the outcome of a research seminar that was held in Schloss Dagstuhl in January 2004. Lecture Notes in Computer Science 3472. Springer, doi:10.1007/b137241.
  4. J. R. Burch, E. M. Clarke, K. L. McMillan, D. L. Dill & L. J. Hwang (1992): Symbolic model checking: 10^20 States and beyond. Information and Computation 98(2), pp. 142–170, doi:10.1016/0890-5401(92)90017-A.
  5. E. M. Clarke, A. Donzé & A. Legay (2008): Statistical Model Checking of Mixed-Analog Circuits with an Application to a Third Order Delta-Sigma Modulator. In: Proc. of 3rd Haifa Verification Conference (HVC), LNCS 5394. Springer, pp. 149–163, doi:10.1007/978-3-642-01702-5_16.
  6. Edmund M. Clarke, James R. Faeder, Christopher James Langmead, Leonard A. Harris, Sumit Kumar Jha & Axel Legay (2008): Statistical Model Checking in BioLab: Applications to the Automated Analysis of T-Cell Receptor Signaling Pathway. In: Monika Heiner & Adelinde Uhrmacher: Proceedings of the 6th International Conference on Computational Methods in Systems Biology (CMSB), LNCS. Springer, pp. 231–250, doi:10.1007/978-3-540-88562-7_18.
  7. Alexandre David, Kim G. Larsen, Axel Legay, Marius Miku\IeC čionis, Danny B\IeC øgsted Poulsen, Jonas Van Vliet & Zheng Wang (2011): Statistical Model Checking for Networks of Priced Timed Automata. In: Uli Fahrenberg & Stavros Tripakis: 9th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS), LNCS 6919. Springer, Aalborg, Denmark, pp. 80–96, doi:10.1007/978-3-642-24310-3.
  8. Alexandre David, Kim G. Larsen, Axel Legay, Marius Miku\IeC čionis & Zheng Wang (2011): Time for Statistical Model Checking of real-time systems. In: Ganesh Gopalakrishnan & Shaz Qadeer: 23rd International Conference on Computer Aided Verification (CAV), LNCS 6806. Springer, Snowbird, UT, USA, pp. 349–355, doi:10.1007/978-3-642-22110-1.
  9. Ansgar Fehnker, Lodewijk van Hoesel & Angelika Mader (2007): Modelling and Verification of the LMAC Protocol for Wireless Sensor Networks. In: Jim Davies & Jeremy Gibbons: Integrated Formal Methods, LNCS 4591. Springer Berlin / Heidelberg, pp. 253–272, doi:10.1007/978-3-540-73210-5_14.
  10. R. Grosu & S. A. Smolka (2005): Monte Carlo Model Checking. In: Proc. of 11th Int. Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), LNCS 3440. Springer, pp. 271–286, doi:10.1007/978-3-540-31980-1_18.
  11. Thomas H\IeC érault, Richard Lassaigne, Fr\IeC éd\IeC éric Magniette & Sylvain Peyronnet (2004): Approximate Probabilistic Model Checking. In: Bernhard Steffen & Giorgio Levi: Verification, Model Checking, and Abstract Interpretation, LNCS 2937. Springer, pp. 307–329, doi:10.1007/978-3-540-24622-0_8.
  12. D. N. Jansen, J-P Katoen, M.Oldenkamp, M. Stoelinga & I. S. Zapreev (2007): How Fast and Fat Is Your Probabilistic Model Checker? An Experimental Performance Comparison. In: HVC, LNCS 4899. Springer, doi:10.1007/978-3-540-77966-7_9.
  13. Sumit Kumar Jha, Edmund M. Clarke, Christopher James Langmead, Axel Legay, André Platzer & Paolo Zuliani (2009): A Bayesian Approach to Model Checking Biological Systems. In: CMSB, LNCS 5688. Springer, pp. 218–234, doi:10.1007/978-3-642-03845-7_15.
  14. Kenneth L. McMillan (1993): Symbolic Model Checking. Carnegie Mellon University.
  15. Koushik Sen, Mahesh Viswanathan & Gul Agha (2004): Statistical Model Checking of Black-Box Probabilistic Systems. In: CAV, LNCS 3114. Springer, pp. 202–215, doi:10.1007/978-3-540-27813-9_16.
  16. The UPPAAL Tool. Available at
  17. Abraham Wald (2004): Sequential Analysis. Courier Dover Publications.
  18. Wang Yi, Paul Pettersson & Mats Daniels (1994): Automatic Verification of Real-Time Communicating Systems by Constraint-Solving. In: Dieter Hogrefe & Stefan Leue: Proceedings of the 7th International Conference on Formal Description Techniques. North–Holland, London, UK, pp. 223–238. Available at
  19. Andy B. Yoo, Morris A. Jette & Mark Grondona (2003): SLURM: Simple Linux Utility for Resource Management. In: Dror G. Feitelson, Larry Rudolph & Uwe Schwiegelshohn: Job Scheduling Strategies for Parallel Processing, 9th International Workshop, JSSPP 2003, Seattle, WA, USA, June 24, 2003, Revised Papers, LNCS 2862. Springer, pp. 44–60, doi:10.1007/10968987_3.
  20. Håkan L. S. Younes (2005): Verification and Planning for Stochastic Processes with Asynchronous Events. Carnegie Mellon University.
  21. Håkan L. S. Younes (2005): Ymer: A Statistical Model Checker. In: Proc. of 11th Int. Conference on Computer Aided Verification (CAV), LNCS 3576. Springer, pp. 429–433, doi:10.1007/11513988_43.
  22. Håkan L. S. Younes, Marta Z. Kwiatkowska, Gethin Norman & David Parker (2006): Numerical vs. statistical probabilistic model checking. International Journal on Software Tools for Technology Transfer (STTT) 8(3), pp. 216–228, doi:10.1007/s10009-005-0187-8.

Comments and questions to:
For website issues: