JD12 Yosr Jarraya and Mourad Debbabi.
BKW17 Nicolas Basset, Marta Kwiatkowska and Clemens Wiltsche.
Cbgp08 Frank Ciesinski, Christel Baier, Marcus Groesser and David Parker.Model Checking Expected Time and Expected Reward Formulae with Random Time Bounds.Pdf bib Provides an overview of strategy synthesis techniques for probabilistic models.Presents an extension of the ltsa model checker for compositional reliability analysis, which uses a connection to prism.The practitioner may choose also to develop the expertise required to address core standards via work-place practice, internal or external training, or self directed reading of current external literature.Pdf bib Provides an introduction to probabilistic model checking, including coverage of some recent advances in the field and a wide variety of examples and applications.Optimal Planning for Architecture-Based Self-Adaptation Via Model Checking of Stochastic Games.Also available as UNU-iist Report.Analyses the computation and transmission costs of rfid tags using a prism dtmc model.5th International Conference on Information Systems Security (iciss'09), volume 5905 of lncs, pages 292-300, Springer.11th international conference on Coordination Models and Languages (Coordination'09).Pdf bib Tutorial on the application of probabilistic model checking and prism to systems biology, including an illustrative case study (FGF) and reader exercises.Quantitative Verification and Synthesis of Attack-Defence Scenarios.Thesis, Dipartimento di Informatica, University of Torino.Bib TK11 Li Tan and Axel Krings.Bib ml Bal05 Paolo Ballarini.11th ifac Symposium on Information Control Problems in Manufacturing (incom'04), pages 177-182, Elsevier.
A Study of the pdgf Signaling Pathway with prism.
Aasb12 Zaid Al-bayati,.