Menu utilisateur

Statistical Model Checking the 2018 Edition!

  • Open access
  • PDF
  • 245.89 K
  1. Ashok Pranav, Brázdil Tomáš, Křetínský Jan, Slámečka Ondřej, Monte Carlo Tree Search for Verifying Reachability in Markov Decision Processes, Leveraging Applications of Formal Methods, Verification and Validation. Verification (2018) ISBN:9783030034207 p.322-335, 10.1007/978-3-030-03421-4_21
  2. Arora Shiraj, Legay Axel, Richmond Tania, Traonouez Louis-Marie, Statistical Model Checking of Incomplete Stochastic Systems, Leveraging Applications of Formal Methods, Verification and Validation. Verification (2018) ISBN:9783030034207 p.354-371, 10.1007/978-3-030-03421-4_23
  3. Basu Ananda, Bensalem Saddek, Bozga Marius, Delahaye Benoît, Legay Axel, Statistical abstraction and model-checking of large heterogeneous systems, 10.1007/s10009-011-0201-2
  4. Basile Davide, ter Beek Maurice H., Ciancia Vincenzo, Statistical Model Checking of a Moving Block Railway Signalling Scenario with Uppaal SMC : Experience and Outlook, Leveraging Applications of Formal Methods, Verification and Validation. Verification (2018) ISBN:9783030034207 p.372-391, 10.1007/978-3-030-03421-4_24
  5. Mediouni Braham Lotfi, Nouri Ayoub, Bozga Marius, Legay Axel, Bensalem Saddek, Mitigating Security Risks Through Attack Strategies Exploration, Leveraging Applications of Formal Methods, Verification and Validation. Verification (2018) ISBN:9783030034207 p.392-413, 10.1007/978-3-030-03421-4_25
  6. Boyer Benoît, Corre Kevin, Legay Axel, Sedwards Sean, PLASMA-lab: A Flexible, Distributable Statistical Model Checking Library, Quantitative Evaluation of Systems (2013) ISBN:9783642401954 p.160-164, 10.1007/978-3-642-40196-1_12
  7. Bianco Andrea, Alfaro Luca, Model checking of probabilistic and nondeterministic systems, Lecture Notes in Computer Science (1995) ISBN:9783540606925 p.499-513, 10.1007/3-540-60692-0_70
  8. Ballarini Paolo, Djafri Hilal, Duflot Marie, Haddad Serge, Pekergin Nihal, COSMOS: A Statistical Model Checker for the Hybrid Automata Stochastic Logic, 10.1109/qest.2011.24
  9. Bellman, R.: Dynamic Programming. Princeton University Press, Princeton (1957)
  10. Bogdoll Jonathan, Ferrer Fioriti Luis María, Hartmanns Arnd, Hermanns Holger, Partial Order Methods for Statistical Model Checking and Simulation, Formal Techniques for Distributed Systems (2011) ISBN:9783642214608 p.59-74, 10.1007/978-3-642-21461-5_4
  11. Baier, C., Haverkort, B.R., Hermanns, H., Katoen, J.-P.: Model-checking algorithms for continuous-time Markov chains. IEEE 29(6), 524–541 (2003)
  12. Barbot Benoît, Haddad Serge, Picaronny Claudine, Coupling and Importance Sampling for Statistical Model Checking, Tools and Algorithms for the Construction and Analysis of Systems (2012) ISBN:9783642287558 p.331-346, 10.1007/978-3-642-28756-5_23
  13. Bu Lei, Peled Doron, Shen Dashuan, Tzirulnikov Yael, Chasing Errors Using Biasing Automata, Leveraging Applications of Formal Methods, Verification and Validation. Verification (2018) ISBN:9783030034207 p.271-286, 10.1007/978-3-030-03421-4_18
  14. Clarke Edmund M., Emerson E. Allen, Sifakis Joseph, Model checking : algorithmic verification and debugging, 10.1145/1592761.1592781
  15. Ciesinski Frank, Größer Marcus, On Probabilistic Computation Tree Logic, Lecture Notes in Computer Science (2004) ISBN:9783540222651 p.147-188, 10.1007/978-3-540-24611-4_5
  16. Cérou Frédéric, Guyader Arnaud, Adaptive Multilevel Splitting for Rare Event Analysis, 10.1080/07362990601139628
  17. Clarke Edmund M., Zuliani Paolo, Statistical Model Checking for Cyber-Physical Systems, Automated Technology for Verification and Analysis (2011) ISBN:9783642243714 p.1-12, 10.1007/978-3-642-24372-1_1
  18. De Boer, P.-T., Nicola, V.F., Rubinstein, R.Y.: Adaptive importance sampling simulation of queueing networks. In: Winter Simulation Conference, vol. 1, pp. 646–655 (2000)
  19. David Alexandre, Du Dehui, Guldstrand Larsen Kim, Legay Axel, Mikučionis Marius, Optimizing Control Strategy Using Statistical Model Checking, Lecture Notes in Computer Science (2013) ISBN:9783642380877 p.352-367, 10.1007/978-3-642-38088-4_24
  20. D’Argenio Pedro R., Hartmanns Arnd, Sedwards Sean, Lightweight Statistical Model Checking in Nondeterministic Continuous Time, Leveraging Applications of Formal Methods, Verification and Validation. Verification (2018) ISBN:9783030034207 p.336-353, 10.1007/978-3-030-03421-4_22
  21. David, A., Jensen, P.G., Larsen, K.G., Legay, A., Lime, D., Sorensen, M.G., Taankvist, J.H
  22. Jegourel Cyrille, Sun Jun, Dong Jin Song, On the Sequential Massart Algorithm for Statistical Model Checking, Leveraging Applications of Formal Methods, Verification and Validation. Verification (2018) ISBN:9783030034207 p.287-304, 10.1007/978-3-030-03421-4_19
  23. David Alexandre, Larsen Kim G., Legay Axel, Mikučionis Marius, Wang Zheng, Time for Statistical Model Checking of Real-Time Systems, Computer Aided Verification (2011) ISBN:9783642221095 p.349-355, 10.1007/978-3-642-22110-1_27
  24. Puch Stefan, Fränzle Martin, Gerwinn Sebastian, Quantitative Risk Assessment of Safety-Critical Systems via Guided Simulation for Rare Events, Leveraging Applications of Formal Methods, Verification and Validation. Verification (2018) ISBN:9783030034207 p.305-321, 10.1007/978-3-030-03421-4_20
  25. Hermanns, H., Hartmanns, A.: An internet inspired approach to power grid stability. IT Inf. Technol. 55(2), 45–51 (2013)
  26. Hérault Thomas, Lassaigne Richard, Magniette Frédéric, Peyronnet Sylvain, Approximate Probabilistic Model Checking, Lecture Notes in Computer Science (2004) ISBN:9783540208037 p.73-84, 10.1007/978-3-540-24622-0_8
  27. Henriques David, Martins Joao G., Zuliani Paolo, Platzer Andre, Clarke Edmund M., Statistical Model Checking for Markov Decision Processes, 10.1109/qest.2012.19
  28. Hartmanns Arnd, Timmer Mark, On-the-Fly Confluence Detection for Statistical Model Checking, Lecture Notes in Computer Science (2013) ISBN:9783642380877 p.337-351, 10.1007/978-3-642-38088-4_23
  29. Jegourel Cyrille, Legay Axel, Sedwards Sean, Cross-Entropy Optimisation of Importance Sampling Parameters for Statistical Model Checking, Computer Aided Verification (2012) ISBN:9783642314230 p.327-342, 10.1007/978-3-642-31424-7_26
  30. Jegourel Cyrille, Legay Axel, Sedwards Sean, Importance Splitting for Statistical Model Checking Rare Properties, Computer Aided Verification (2013) ISBN:9783642397981 p.576-591, 10.1007/978-3-642-39799-8_38
  31. Kahn, H., Marshall, A.W.: Methods of reducing sample size in Monte Carlo computations. Oper. Res. 1(5), 263–278 (1953)
  32. Lassaigne Richard, Peyronnet Sylvain, Approximate planning and verification for large markov decision processes, 10.1145/2245276.2231984
  33. Larsen Kim G., Skou Arne, Bisimulation through probabilistic testing, 10.1016/0890-5401(91)90030-6
  34. Legay Axel, Sedwards Sean, Traonouez Louis-Marie, Scalable Verification of Markov Decision Processes, Software Engineering and Formal Methods (2015) ISBN:9783319152004 p.350-362, 10.1007/978-3-319-15201-1_23
  35. Okamoto Masashi, Some inequalities relating to the partial sum of binomial probabilities, 10.1007/bf02883985
  36. Markov Decision Processes, ISBN:9780470316887, 10.1002/9780470316887
  37. Ridder Ad, Asymptotic optimality of the cross-entropy method for Markov chain problems, 10.1016/j.procs.2010.04.176
  38. Strnadel Josef, Statistical Model Checking of Processor Systems in Various Interrupt Scenarios, Leveraging Applications of Formal Methods, Verification and Validation. Verification (2018) ISBN:9783030034207 p.414-429, 10.1007/978-3-030-03421-4_26
  39. Sen Koushik, Viswanathan Mahesh, Agha Gul, Statistical Model Checking of Black-Box Probabilistic Systems, Computer Aided Verification (2004) ISBN:9783540223429 p.202-215, 10.1007/978-3-540-27813-9_16
  40. Sen K., Viswanathan M., Agha G., VESTA: A statistical model-checker and analyzer for probabilistic systems, 10.1109/qest.2005.42
  41. Sen Koushik, Viswanathan Mahesh, Agha Gul, On Statistical Model Checking of Stochastic Systems, Computer Aided Verification (2005) ISBN:9783540272311 p.266-280, 10.1007/11513988_26
  42. Wald A., Sequential Tests of Statistical Hypotheses, 10.1214/aoms/1177731118
  43. White Douglas J., Real Applications of Markov Decision Processes, 10.1287/inte.15.6.73
  44. White D. J., Further Real Applications of Markov Decision Processes, 10.1287/inte.18.5.55
  45. White D. J., A Survey of Applications of Markov Decision Processes, 10.1057/jors.1993.181
  46. Younes, H.L.S.: Verification and planning for stochastic processes with asynchronous events. Ph.D. thesis, Carnegie Mellon (2005)
  47. Younes Håkan L. S., Ymer: A Statistical Model Checker, Computer Aided Verification (2005) ISBN:9783540272311 p.429-433, 10.1007/11513988_43
  48. Zuliani Paolo, Statistical model checking for biological applications, 10.1007/s10009-014-0343-0
Référence bibliographique Guldstrand Larsen, Kim ; Legay, Axel. Statistical Model Checking the 2018 Edition!. In: Statistical Model Checking the 2018 Edition!, , p. pp 261-270 (2018)
Permalien http://hdl.handle.net/2078.1/218736