Searching for "Stochastic Model Checking." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

31 documents found, showing 1 through 10. Next 10 →

Stochastic Comparison approach for Stochastic Model Checking
by N. Pekergin, S. Younès
…Stochastic Comparison approach for Stochastic Model Checking N. Pekergin 1,2 , S. Younès 1 1 PRi…
Add To MetaCart

Smart: The stochastic model checking analyzer for reliability and timing
by Gianfranco Ciardo, Ming-ying Chung, Andrew S. Miner, Gianfranco Ciardo, Robert L. Jones, Robert M. Marmorstein, Andrew S. Miner, Radu I. Siminiceanu, Andy Yu — 2004 — In International Conference on Quantitative Evaluation of Systems (QEST
…Stochastic Model checking Analyzer for Reliability and Timing Version 1.1 Design Implementation…
Cited by 5 (1 self) – Add To MetaCart

Model checking stochastic automata
by Jeremy Bryans, Howard Bowman, John Derrick — 2000 — ACM Transactions on Computational Logic
…Model Checking Stochastic Automata JEREMY BRYANS University of Stirling and HOWARD BOWMAN and JOHN…
Cited by 6 (2 self) – Add To MetaCart

On statistical model checking of stochastic systems
by Koushik Sen, Mahesh Viswanathan, Gul Agha — 2005 — In Etessami, K., Rajamani, S.K., eds.: CAV. Volume 3576 of Lecture Notes in Computer Science
…On Statistical Model Checking of Stochastic Systems Koushik Sen, Mahesh Viswanathan, Gul Agha…
Cited by 7 (2 self) – Add To MetaCart

Towards Model Checking Stochastic Aspects of the thinkteam User Interface—FULL VERSION
by Maurice H. Ter Beek, Mieke Massink, Diego Latella — 2005 — In Proc. 12th International Workshop on Design, Specification and Verification of Interactive Systems (DSVIS’05
…Towards Model Checking Stochastic Aspects of the thinkteam User Interface Maurice H. ter Beek…
Cited by 1 (0 self) – Add To MetaCart

Debugging of Dependability Models Using Interactive Visualization of Counterexamples
by Husain Aljazzar
… in stochastic model checking. The visualization is interactive and allows the user to focus on the most…
Add To MetaCart

On probabilistic model checking
by Marta Kwiatkowska, Gethin Norman, David Parker — 1996
…Stochastic Model Checking ⋆ Marta Kwiatkowska, Gethin Norman, and David Parker School of Computer…
Cited by 13 (1 self) – Add To MetaCart

Performance Trees: A New Approach to Quantitative Performance Specification
by Tamas Suto — 2006 — in Proc. 14th IEEE/ACM Intl. Symposium on Modeling, Analysis and Simulation of Computer and Telecommunications Systems (MASCOTS 2006
… major barriers to the integration of PTs into existing stochastic model checking tools. Indeed, we…
Cited by 6 (5 self) – Add To MetaCart

Extended directed search for probabilistic timed reachability
by Husain Aljazzar, Stefan Leue — 2006 — In FORMATS’06, volume 4202 of LNCS
… to reduce the memory consumption of stochastic Model Checking using Monte-Carlo sampling methods [14…
Cited by 2 (1 self) – Add To MetaCart

Analysis of Large Safety-Critical Systems: A quantitative Approach
by Werner Damm, Martin Fränzle, Ernst-rüdiger Olderog, Andreas Podelski, Reinhard Wilhelm, Marc Herbstritt, Marc Herbstritt, Ralf Wimmer, Ralf Wimmer, Thomas Peikenkamp, Thomas Peikenkamp, Eckard Böde, Eckard Böde, Michael Adelaide, Michael Adelaide, Sven Johr, Sven Johr, Holger Hermanns, Holger Hermanns, Bernd Becker, Bernd Becker, Bernd Becker — 2006 — Reports of SFB/TR 14 AVACS 8
…). For this CTDMP a quantitative analysis can be performed using stochastic model checking techniques. Please note…
Cited by 1 (1 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB