-
1
-
-
78649471655
-
Fortuna: Model checking priced probabilistic timed automata
-
Berendsen, J., Jansen, D., Vaandrager, F.: Fortuna: Model checking priced probabilistic timed automata. In: Proc. QEST 2010, pp. 273-281 (2010)
-
(2010)
Proc. QEST 2010
, pp. 273-281
-
-
Berendsen, J.1
Jansen, D.2
Vaandrager, F.3
-
2
-
-
33750454059
-
A formal analysis of Bluetooth device discovery
-
Duflot, M., Kwiatkowska, M., Norman, G., Parker, D.: A formal analysis of Bluetooth device discovery. STTT 8(6), 621-632 (2006)
-
(2006)
STTT
, vol.8
, Issue.6
, pp. 621-632
-
-
Duflot, M.1
Kwiatkowska, M.2
Norman, G.3
Parker, D.4
-
3
-
-
74049146186
-
A Modest approach to checking probabilistic timed automata
-
Hartmanns, A., Hermanns, H.: A Modest approach to checking probabilistic timed automata. In: Proc. QEST 2009, pp. 187-196 (2009)
-
(2009)
Proc. QEST 2009
, pp. 187-196
-
-
Hartmanns, A.1
Hermanns, H.2
-
4
-
-
38649122071
-
Probabilistic model checking of complex biological pathways
-
Heath, J., Kwiatkowska, M., Norman, G., Parker, D., Tymchyshyn, O.: Probabilistic model checking of complex biological pathways. TCS 319(3), 239-257 (2008)
-
(2008)
TCS
, vol.319
, Issue.3
, pp. 239-257
-
-
Heath, J.1
Kwiatkowska, M.2
Norman, G.3
Parker, D.4
Tymchyshyn, O.5
-
5
-
-
84944264717
-
Approximate probabilistic model checking
-
Steffen, B., Levi, G. (eds.) VMCAI 2004. Springer, Heidelberg
-
Hérault, T., Lassaigne, R., Magniette, F., Peyronnet, S.: Approximate probabilistic model checking. In: Steffen, B., Levi, G. (eds.) VMCAI 2004. LNCS, vol. 2937, pp. 73-84. Springer, Heidelberg (2004)
-
(2004)
LNCS
, vol.2937
, pp. 73-84
-
-
Hérault, T.1
Lassaigne, R.2
Magniette, F.3
Peyronnet, S.4
-
7
-
-
74049105653
-
The ins and outs of the probabilistic model checker MRMC
-
Katoen, J.P., Hahn, E.M., Hermanns, H., Jansen, D., Zapreev, I.: The ins and outs of the probabilistic model checker MRMC. In: Proc. QEST 2009, pp. 167-176 (2009)
-
(2009)
Proc. QEST 2009
, pp. 167-176
-
-
Katoen, J.P.1
Hahn, E.M.2
Hermanns, H.3
Jansen, D.4
Zapreev, I.5
-
8
-
-
58449089558
-
Abstraction refinement for probabilistic software
-
Jones, N.D., Müller-Olm, M. (eds.) VMCAI 2009. Springer, Heidelberg
-
Kattenbelt, M., Kwiatkowska, M., Norman, G., Parker, D.: Abstraction refinement for probabilistic software. In: Jones, N.D., Müller-Olm, M. (eds.) VMCAI 2009. LNCS, vol. 5403, pp. 182-197. Springer, Heidelberg (2009)
-
(2009)
LNCS
, vol.5403
, pp. 182-197
-
-
Kattenbelt, M.1
Kwiatkowska, M.2
Norman, G.3
Parker, D.4
-
9
-
-
77956718255
-
A game-based abstraction-refinement framework for Markov decision processes
-
Kattenbelt, M., Kwiatkowska, M., Norman, G., Parker, D.: A game-based abstraction-refinement framework for Markov decision processes. In: FMSD, vol. 36(3) (2010)
-
(2010)
FMSD
, vol.36
, Issue.3
-
-
Kattenbelt, M.1
Kwiatkowska, M.2
Norman, G.3
Parker, D.4
-
10
-
-
70350459891
-
Stochastic games for verification of probabilistic timed automata
-
Ouaknine, J., Vaandrager, F.W. (eds.) FORMATS 2009. Springer, Heidelberg
-
Kwiatkowska, M., Norman, G., Parker, D.: Stochastic games for verification of probabilistic timed automata. In: Ouaknine, J., Vaandrager, F.W. (eds.) FORMATS 2009. LNCS, vol. 5813, pp. 212-227. Springer, Heidelberg (2009)
-
(2009)
LNCS
, vol.5813
, pp. 212-227
-
-
Kwiatkowska, M.1
Norman, G.2
Parker, D.3
-
11
-
-
33746043408
-
Performance analysis of probabilistic timed automata using digital clocks
-
Kwiatkowska, M., Norman, G., Parker, D., Sproston, J.: Performance analysis of probabilistic timed automata using digital clocks. FMSD 29, 33-78 (2006)
-
(2006)
FMSD
, vol.29
, pp. 33-78
-
-
Kwiatkowska, M.1
Norman, G.2
Parker, D.3
Sproston, J.4
-
12
-
-
0037036274
-
Automatic verification of real-time systems with discrete probability distributions
-
Kwiatkowska, M., Norman, G., Segala, R., Sproston, J.: Automatic verification of real-time systems with discrete probability distributions. TCS 282, 101-150 (2002)
-
(2002)
TCS
, vol.282
, pp. 101-150
-
-
Kwiatkowska, M.1
Norman, G.2
Segala, R.3
Sproston, J.4
-
13
-
-
84896693115
-
UPPAAL in a nutshell
-
Larsen, K., Pettersson, P., Yi, W.: UPPAAL in a nutshell. International Journal on Software Tools for Technology Transfer 1(1-2), 134-152 (1997)
-
(1997)
International Journal on Software Tools for Technology Transfer
, vol.1
, Issue.1-2
, pp. 134-152
-
-
Larsen, K.1
Pettersson, P.2
Yi, W.3
-
14
-
-
84921391802
-
Probabilistic verification of discrete event systems using acceptance sampling
-
Brinksma, E., Larsen, K.G. (eds.) CAV 2002. Springer, Heidelberg
-
Younes, H.L.S., Simmons, R.G.: Probabilistic verification of discrete event systems using acceptance sampling. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol. 2404, pp. 223-235. Springer, Heidelberg (2002)
-
(2002)
LNCS
, vol.2404
, pp. 223-235
-
-
Younes, H.L.S.1
Simmons, R.G.2
-
15
-
-
79960377038
-
-
http://www.cs.aau.dk/~arild/uppaal-probabilistic/
-
-
-
-
16
-
-
79960361777
-
-
http://www.prismmodelchecker.org/
-
-
-
-
17
-
-
79960375405
-
-
http://www.prismmodelchecker.org/benchmarks/
-
-
-
-
18
-
-
79960342080
-
-
http://www.prismmodelchecker.org/other-tools.php
-
-
-
|