1. R. Alur, C. Courcoubetis, N. Halbwachs, T. A. Henzinger, P.-H. Ho, X. Nicollin, A. Olivero, J. Sifakis & S. Yovine (1995): The algorithmic analysis of hybrid systems. Theoretical Computer Science 138(1), pp. 3–34, doi:10.1016/0304-3975(94)00202-T.
  2. Rajeev Alur, Salvatore La Torre & George J. Pappas (2001): Optimal Paths in Weighted Timed Automata. In: Benedetto & Sangiovanni-Vincentelli, pp. 49–62, doi:10.1007/3-540-45351-2_8.
  3. Christel Baier, Boudewijn R. Haverkort, Holger Hermanns & Joost-Pieter Katoen (2003): Model-Checking Algorithms for Continuous-Time Markov Chains. IEEE Trans. Software Eng. 29(6), pp. 524–541.
  4. Benoît Barbot, Taolue Chen, Tingting Han, Joost-Pieter Katoen & Alexandru Mereacre (2011): Efficient CTMC Model Checking of Linear Real-Time Objectives. In: ParoshAziz Abdulla & K.RustanM. Leino: Tools and Algorithms for the Construction and Analysis of Systems, Lecture Notes in Computer Science 6605. Springer Berlin Heidelberg, pp. 128–142, doi:10.1007/978-3-642-19835-9_12.
  5. 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.
  6. Gerd Behrmann, Agnès Cougnard, Alexandre David, Emmanuel Fleury, Kim G. Larsen & Didier Lime (2007): UPPAAL-Tiga: Time for Playing Games!. In: CAV, LNCS 4590. Springer.
  7. Gerd Behrmann, Ansgar Fehnker, Thomas Hune, Kim Guldstrand Larsen, Paul Pettersson, Judi Romijn & Frits W. Vaandrager (2001): Minimum-Cost Reachability for Priced Timed Automata. In: Benedetto & Sangiovanni-Vincentelli, pp. 147–161, doi:10.1007/3-540-45351-2_15.
  8. Maria Domenica Di Benedetto & Alberto L. Sangiovanni-Vincentelli (2001): Hybrid Systems: Computation and Control, 4th International Workshop, HSCC 2001, Proceedings. LNCS 2034. Springer, doi:10.1007/3-540-45351-2.
  9. Patricia Bouyer, Uli Fahrenberg, Kim G. Larsen & Nicolas Markey (2010): Timed automata with observers under energy constraints. In: HSCC. ACM ACM, pp. 61–70, doi:10.1145/1755952.1755963.
  10. Peter Bulychev, Alexandre David, Kim G. Larsen, Axel Legay, Guangyuan Li, Danny Bøgsted Poulsen & Amelie Stainer (2012): Monitor-Based Statistical Model Checking for Weighted Metric Temporal Logic. In: LPAR-18 7180, pp. 168–182, doi:10.1007/978-3-642-28717-6_15.
  11. Peter Bulychev, Alexandre David, Kim G. Larsen, Axel Legay & Marius Mikučionis (2012): Computing Nash Equilibrium in Wireless Ad Hoc Networks: A Simulation-Based Approach. In: iWIGP 78, pp. 1–14, doi:10.4204/EPTCS.78.1.
  12. Peter Bulychev, Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikučionis & Danny Bøgsted Poulsen (2012): Checking & Distributing Statistical Model Checking. In: NFM 2012 : Fourth NASA Formal Methods Symposium 7226, pp. 449–463, doi:10.1007/978-3-642-28891-3_39.
  13. Peter Bulychev, Alexandre David, Kim Guldstrand Larsen, Marius Mikučionis & Axel Legay (2011): Distributed Parametric and Statistical Model Checking. In: Jiř\'ıBarnat & Keijo Heljanko: Proceedings 10th International Workshop on Parallel and Distributed Methods in Verification, EPTCS., pp. 30–42, doi:10.4204/EPTCS.72.
  14. F. Ciesinski & M. Größer (2004): On Probabilistic Computation Tree Logic. In: Validation of Stochastic Systems, LNCS, 2925. Springer, pp. 147–188, doi:10.1007/978-3-540-24611-4_5.
  15. 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: Haifa Verification Days, LNCS 5394. Springer, pp. 149–163, doi:10.1007/978-3-642-01702-5_16.
  16. E. M. Clarke, A. Donzé & A. Legay (2009): On Simulation-based Probabilistic Model Checking of Mixed-Analog Circuits. Formal Methods in System Design. To appear.
  17. E. M. Clarke, J. R. Faeder, C. James Langmead, L. A. Harris, S. K. Jha & A. Legay (2008): Statistical Model Checking in BioLab: Applications to the Automated Analysis of T-Cell Receptor Signaling Pathway. In: CMSB, LNCS 5307. Springer, pp. 231–250, doi:10.1007/978-3-540-88562-7_18.
  18. Edmund M. Clarke & Paolo Zuliani (2011): Statistical Model Checking for Cyber-Physical Systems. In: ATVA, Lecture Notes in Computer Science 6996. Springer, pp. 1–12, doi:10.1007/978-3-642-24372-1_1.
  19. C. J. Clopper & E. S. Pearson (1934): The Use of Confidence or Fiducial Limits Illustrated in the Case of the Binomial. Biometrika 26(4), pp. 404–413, doi:10.1093/biomet/26.4.404.
  20. Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikučionis, Danny Bøgsted Poulsen, Jonas Van Vliet & Zheng Wang (2011): Statistical model checking for networks of priced timed automata. In: Proceedings of the 9th international conference on Formal modeling and analysis of timed systems, FORMATS'11. Springer-Verlag, Berlin, Heidelberg, pp. 80–96, doi:10.1007/978-3-642-24310-3_7.
  21. Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikučionis, Danny Bøgsted Poulsen, Jonas van Vliet & Zheng Wang (2011): Statistical Model Checking for Networks of Priced Timed Automata. In: Uli Fahrenberg & Stavros Tripakis: Formal Modeling and Analysis of Timed Systems, LNCS 6919. springer, pp. 80–96, doi:10.1007/978-3-642-24310-3_7.
  22. Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikučionis & Zheng Wang (2011): Time for Statistical Model Checking of Real-Time Systems. In: Ganesh Gopalakrishnan & Shaz Qadeer: Computer Aided Verification, Lecture Notes in Computer Science 6806. Springer, pp. 349–355, doi:10.1007/978-3-642-22110-1_27.
  23. Marie Duflot, Marta Kwiatkowska, Gethin Norman & David Parker (2006): A formal analysis of bluetooth device discovery. International Journal on Software Tools for Technology Transfer (STTT) 8, pp. 621–632, doi:10.1007/s10009-006-0014-x.
  24. Uli Fahrenberg, Line Juhl, Kim G. Larsen & Jir\'ıSrba (2011): Energy Games in Multiweighted Automata. In: ICTAC, Lecture Notes in Computer Science 6916. Springer, pp. 95–115, doi:10.1007/978-3-642-23283-1_9.
  25. 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.
  26. Thomas Hérault, Richard Lassaigne, Frédéric Magniette & Sylvain Peyronnet (2004): Approximate Probabilistic Model Checking. In: VMCAI, LNCS 2937. Springer, pp. 73–84, doi:10.1007/978-3-540-24622-0_8.
  27. D. N. Jansen, J. Katoen, M. Oldenkamp, M. Stoelinga & I. S. Zapreev (2008): How Fast and Fat Is Your Probabilistic Model Checker? An Experimental Performance Comparison. In: Haifa Verification Conference, LNCS 4899. Springer, pp. 69–85, doi:10.1007/978-3-540-77966-7_9.
  28. Cyrille Jégourel, Axel Legay & Sean Sedwards (2012): Cross-entropy optimisation of importance sampling parameters for statistical model checking. CoRR abs/1201.5229.
  29. 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.
  30. M. Z. Kwiatkowska, G. Norman & D. Parker (2004): PRISM 2.0: A Tool for Probabilistic Model Checking. In: QEST. IEEE, pp. 322–323.
  31. Marta Kwiatkowska, Gethin Norman & Jeremy Sproston (2003): Probabilistic Model Checking of Deadline Properties in the IEEE 1394 FireWire Root Contention Protocol. Formal Aspects of Computing 14, pp. 295–318, doi:10.1007/s001650300007.
  32. Oded Maler, Kim G. Larsen & Bruce H. Krogh (2010): On Zone-Based Analysis of Duration Probabilistic Automata. In: INFINITY, EPTCS 39, pp. 33–46.
  33. João Martins, André Platzer & João Leite (2011): Statistical Model Checking for Distributed Probabilistic-Control Hybrid Automata with Smart Grid Applications. In: ICFEM, Lecture Notes in Computer Science 6991. Springer, pp. 131–146.
  34. P. McDermott-Wells (2005): What is Bluetooth?. Potentials, IEEE 23(5), pp. 33 – 35, doi:10.1109/MP.2005.1368913.
  35. Johan Oudinet, Alain Denise, Marie-Claude Gaudel, Richard Lassaigne & Sylvain Peyronnet (2011): Uniform Monte-Carlo Model Checking. In: FASE, Lecture Notes in Computer Science 6603. Springer, pp. 127–140, doi:10.1007/978-3-642-19811-3_10.
  36. 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.
  37. Mariëlle Stoelinga (2003): Fun with FireWire: A Comparative Study of Formal Verification Methods Applied to the IEEE 1394 Root Contention Protocol. Formal Aspects of Computing 14, pp. 328–337, doi:10.1007/s001650300009.
  38. L.F.W. van Hoesel & P.J.M. Havinga (2004): A Lightweight Medium Access Protocol (LMAC) for Wireless Sensor Networks: Reducing Preamble Transmissions and Transceiver State Switches. In: 1st International Workshop on Networked Sensing Systems (INSS. Society of Instrument and Control Engineers (SICE), Tokio, Japan, pp. 205–208. Available at
  39. R. Wald (2004): Sequential Analysis. Dove Publisher.
  40. Håkan L. S. Younes (2005): Verification and Planning for Stochastic Processes with Asynchronous Events. Carnegie Mellon.
  41. Håkan L. S. Younes, Marta Z. Kwiatkowska, Gethin Norman & David Parker (2006): Numerical vs. statistical probabilistic model checking. STTT 8(3), pp. 216–228, doi:10.1007/s10009-005-0187-8.

Comments and questions to:
For website issues: