Statistical model checking: challenges and perspectives Axel LegayMahesh Viswanathan Introduction 27 May 2015 Pages: 369 - 376
On hypothesis testing for statistical model checking Daniël ReijsbergenPieter-Tjerk de BoerBoudewijn Haverkort SMC 01 October 2014 Pages: 377 - 395
Uppaal SMC tutorial Alexandre DavidKim G. LarsenDanny Bøgsted Poulsen SMC 06 January 2015 Pages: 397 - 415
Statistical model checking for unbounded until formulas Nima RoohiMahesh Viswanathan SMC 04 February 2015 Pages: 417 - 427
Sound statistical model checking for MDP using partial order and confluence reduction Arnd HartmannsMark Timmer SMC 01 October 2014 Pages: 429 - 456
Approximate planning and verification for large Markov decision processes Richard LassaigneSylvain Peyronnet SMC 29 August 2014 Pages: 457 - 467
Smart sampling for lightweight verification of Markov decision processes Pedro D’ArgenioAxel LegayLouis-Marie Traonouez SMC 06 June 2015 Pages: 469 - 484
Statistical model checking for stochastic hybrid systems involving nondeterminism over continuous domains Christian EllenSebastian GerwinnMartin Fränzle SMC 03 August 2014 Pages: 485 - 504
Analysing oscillatory trends of discrete-state stochastic processes through HASL statistical model checking Paolo Ballarini SMC 24 February 2015 Pages: 505 - 526
Statistical model checking for biological applications Paolo Zuliani SMC 10 August 2014 Pages: 527 - 536
Modelling and statistical model checking of a microgrid Souymodip ChakrabortyJoost-Pieter KatoenMartin Strelec SMC 09 September 2014 Pages: 537 - 554