1. Statistical model checking: challenges and perspectives

   • Axel Legay
   • Mahesh Viswanathan

   Introduction 27 May 2015 Pages: 369 - 376

2. On hypothesis testing for statistical model checking

   • Daniël Reijsbergen
   • Pieter-Tjerk de Boer
   • Boudewijn Haverkort

   SMC 01 October 2014 Pages: 377 - 395

   

3. Uppaal SMC tutorial

   • Alexandre David
   • Kim G. Larsen
   • Danny Bøgsted Poulsen

   SMC 06 January 2015 Pages: 397 - 415

   

4. Statistical model checking for unbounded until formulas

   • Nima Roohi
   • Mahesh Viswanathan

   SMC 04 February 2015 Pages: 417 - 427

   

5. Sound statistical model checking for MDP using partial order and confluence reduction

   • Arnd Hartmanns
   • Mark Timmer

   SMC 01 October 2014 Pages: 429 - 456

   

6. Approximate planning and verification for large Markov decision processes

   • Richard Lassaigne
   • Sylvain Peyronnet

   SMC 29 August 2014 Pages: 457 - 467

   

7. Smart sampling for lightweight verification of Markov decision processes

   • Pedro D’Argenio
   • Axel Legay
   • Louis-Marie Traonouez

   SMC 06 June 2015 Pages: 469 - 484

   

8. Statistical model checking for stochastic hybrid systems involving nondeterminism over continuous domains

   • Christian Ellen
   • Sebastian Gerwinn
   • Martin Fränzle

   SMC 03 August 2014 Pages: 485 - 504

   

9. Analysing oscillatory trends of discrete-state stochastic processes through HASL statistical model checking

   • Paolo Ballarini

   SMC 24 February 2015 Pages: 505 - 526

   

10. Statistical model checking for biological applications

    • Paolo Zuliani

    SMC 10 August 2014 Pages: 527 - 536

    

11. Modelling and statistical model checking of a microgrid

    • Souymodip Chakraborty
    • Joost-Pieter Katoen
    • Martin Strelec

    SMC 09 September 2014 Pages: 537 - 554