-
1
-
-
0037427688
-
Probabilistic timed automata
-
Beauquier, D.: Probabilistic timed automata. Theoretical Computer Science 292(1), 65-84 (2003)
-
(2003)
Theoretical Computer Science
, vol.292
, Issue.1
, pp. 65-84
-
-
Beauquier, D.1
-
2
-
-
35248868359
-
Untameable timed automata!
-
Alt, H, Habib, M, eds, STACS 2003, Springer, Heidelberg
-
Bouyer, P.: Untameable timed automata! In: Alt, H., Habib, M. (eds.) STACS 2003. LNCS, vol. 2607, pp. 620-631. Springer, Heidelberg (2003)
-
(2003)
LNCS
, vol.2607
, pp. 620-631
-
-
Bouyer, P.1
-
3
-
-
51749111357
-
-
Chen, T., Han, T., Katoen, J.-P.: Time-abstracting bisimulation for probabilistic timed automata. In: Proc. TASE 2008, pp. 177-184. IEEE CS Press, Los Alamitos (2008)
-
Chen, T., Han, T., Katoen, J.-P.: Time-abstracting bisimulation for probabilistic timed automata. In: Proc. TASE 2008, pp. 177-184. IEEE CS Press, Los Alamitos (2008)
-
-
-
-
4
-
-
0026820657
-
The complexity of stochastic games
-
Condon, A.: The complexity of stochastic games. Inf. and Comp. 96(2), 203-224 (1992)
-
(1992)
Inf. and Comp
, vol.96
, Issue.2
, pp. 203-224
-
-
Condon, A.1
-
5
-
-
16244383016
-
Automatic verification of the IEEE 1394 root contention protocol with KRONOS and PRISM
-
Daws, C., Kwiatkowska, M., Norman, G.: Automatic verification of the IEEE 1394 root contention protocol with KRONOS and PRISM. International Journal on Software Tools for Technology Transfer (STTT) 5(2-3), 221-236 (2004)
-
(2004)
International Journal on Software Tools for Technology Transfer (STTT)
, vol.5
, Issue.2-3
, pp. 221-236
-
-
Daws, C.1
Kwiatkowska, M.2
Norman, G.3
-
6
-
-
40149092144
-
-
Daws, C., Olivero, A., Tripakis, S., Yovine, S.: The tool Kronos. In: Alur, R., Sontag, E.D., Henzinger, T.A. (eds.) HS 1995. LNCS, 1066, pp. 208-219. Springer, Heidelberg (1996)
-
Daws, C., Olivero, A., Tripakis, S., Yovine, S.: The tool Kronos. In: Alur, R., Sontag, E.D., Henzinger, T.A. (eds.) HS 1995. LNCS, vol. 1066, pp. 208-219. Springer, Heidelberg (1996)
-
-
-
-
7
-
-
38149044931
-
Automatic abstraction refinement for timed automata
-
Raskin, J.-F, Thiagarajan, P.S, eds, FORMATS 2007, Springer, Heidelberg
-
Dierks, H., Kupferschmid, S., Larsen, K.G.: Automatic abstraction refinement for timed automata. In: Raskin, J.-F., Thiagarajan, P.S. (eds.) FORMATS 2007. LNCS, vol. 4763, pp. 114-129. Springer, Heidelberg (2007)
-
(2007)
LNCS
, vol.4763
, pp. 114-129
-
-
Dierks, H.1
Kupferschmid, S.2
Larsen, K.G.3
-
8
-
-
0000217258
-
Symbolic model checking for real-time systems
-
Henzinger, T., Nicollin, X., Sifakis, J., Yovine, S.: Symbolic model checking for real-time systems. Inf. and Comp. 111(2), 193-244 (1994)
-
(1994)
Inf. and Comp
, vol.111
, Issue.2
, pp. 193-244
-
-
Henzinger, T.1
Nicollin, X.2
Sifakis, J.3
Yovine, S.4
-
10
-
-
58449132541
-
A game-based abstraction-refinement framework for Markov decision processes
-
Technical Report RR-08-06, Oxford University Computing Laboratory February
-
Kattenbelt, M., Kwiatkowska, M., Norman, G., Parker, D.: A game-based abstraction-refinement framework for Markov decision processes. Technical Report RR-08-06, Oxford University Computing Laboratory (February 2008)
-
(2008)
-
-
Kattenbelt, M.1
Kwiatkowska, M.2
Norman, G.3
Parker, D.4
-
11
-
-
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
-
12
-
-
34250750894
-
SAT-based abstraction refinement for real-time systems
-
Kemper, S., Platzer, A.: SAT-based abstraction refinement for real-time systems. In: Proc. FACS 2006. ENTCS, vol. 182, pp. 107-122 (2007)
-
(2007)
Proc. FACS 2006. ENTCS
, vol.182
, pp. 107-122
-
-
Kemper, S.1
Platzer, A.2
-
13
-
-
37149003984
-
-
Kwiatkowska, M., Norman, G., Parker, D.: Game-based abstraction for Markov decision processes. In: Proc. QEST 2006, pp. 157-166. IEEE CS Press, Los Alamitos (2006)
-
Kwiatkowska, M., Norman, G., Parker, D.: Game-based abstraction for Markov decision processes. In: Proc. QEST 2006, pp. 157-166. IEEE CS Press, Los Alamitos (2006)
-
-
-
-
14
-
-
70350509684
-
Stochastic games for verification of probabilistic timed automata
-
Technical Report RR-09-05, Oxford University Computing Laboratory
-
Kwiatkowska, M., Norman, G., Parker, D.: Stochastic games for verification of probabilistic timed automata. Technical Report RR-09-05, Oxford University Computing Laboratory (2009)
-
(2009)
-
-
Kwiatkowska, M.1
Norman, G.2
Parker, D.3
-
15
-
-
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. Formal Methods in System Design 29, 33-78 (2006)
-
(2006)
Formal Methods in System Design
, vol.29
, pp. 33-78
-
-
Kwiatkowska, M.1
Norman, G.2
Parker, D.3
Sproston, J.4
-
16
-
-
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. Theoretical Computer Science 282, 101-150 (2002)
-
(2002)
Theoretical Computer Science
, vol.282
, pp. 101-150
-
-
Kwiatkowska, M.1
Norman, G.2
Segala, R.3
Sproston, J.4
-
17
-
-
84862908408
-
Symbolic model checking for probabilistic timed automata
-
Kwiatkowska, M., Norman, G., Sproston, J., Wang, F.: Symbolic model checking for probabilistic timed automata. Inf. and Comp. 205(7), 1027-1077 (2007)
-
(2007)
Inf. and Comp
, vol.205
, Issue.7
, pp. 1027-1077
-
-
Kwiatkowska, M.1
Norman, G.2
Sproston, J.3
Wang, F.4
-
18
-
-
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
-
21
-
-
33745440463
-
Lazy approximation for dense real-time systems
-
Lakhnech, Y, Yovine, S, eds, FORMATS 2004 and FTRTFT 2004, Springer, Heidelberg
-
Sorea, M.: Lazy approximation for dense real-time systems. In: Lakhnech, Y., Yovine, S. (eds.) FORMATS 2004 and FTRTFT 2004. LNCS, vol. 3253, pp. 363- 378. Springer, Heidelberg (2004)
-
(2004)
LNCS
, vol.3253
, pp. 363-378
-
-
Sorea, M.1
-
23
-
-
34547296058
-
Verifying progress in timed systems
-
Katoen, J.-P, ed, AMASTARTS 1999, ARTS 1999, and AMAST-WS 1999, Springer, Heidelberg
-
Tripakis, S.: Verifying progress in timed systems. In: Katoen, J.-P. (ed.) AMASTARTS 1999, ARTS 1999, and AMAST-WS 1999. LNCS, vol. 1601, pp. 299-314. Springer, Heidelberg (1999)
-
(1999)
LNCS
, vol.1601
, pp. 299-314
-
-
Tripakis, S.1
-
24
-
-
24644487788
-
Checking timed Büchi automata emptiness efficiently.
-
Tripakis, S., Yovine, S., Bouajjani, A.: Checking timed Büchi automata emptiness efficiently. Formal Methods in System Design 26(3), 267-292 (2005)
-
(2005)
Formal Methods in System Design
, vol.26
, Issue.3
, pp. 267-292
-
-
Tripakis, S.1
Yovine, S.2
Bouajjani, A.3
|