-
1
-
-
33750372336
-
Extended directed search for probabilistic timed reachability
-
FORMATS'06, of, Springer
-
H. Aljazzar and S. Leue. Extended directed search for probabilistic timed reachability. In FORMATS'06, volume 4202 of LNCS, pages 33-51. Springer, 2006.
-
(2006)
LNCS
, vol.4202
, pp. 33-51
-
-
Aljazzar, H.1
Leue, S.2
-
3
-
-
84957369657
-
Verifying continuous time Markov chains
-
Proc. CAV'96, of, Springer
-
A. Aziz, K. Sanwal, V. Singhal, and R. Brayton. Verifying continuous time Markov chains. In Proc. CAV'96, volume 1102 of LNCS, pages 269-276. Springer, 1996.
-
(1996)
LNCS
, vol.1102
, pp. 269-276
-
-
Aziz, A.1
Sanwal, K.2
Singhal, V.3
Brayton, R.4
-
4
-
-
84951056897
-
Symbolic model checking for probabilistic processes
-
Proc. ICALP'97, of, Springer
-
C. Baier, E. Clarke, V. Hartonas-Garmhausen, M. Kwiatkowska, and M. Ryan. Symbolic model checking for probabilistic processes. In Proc. ICALP'97, volume 1256 of LNCS, pages 430-440. Springer, 1997.
-
(1997)
LNCS
, vol.1256
, pp. 430-440
-
-
Baier, C.1
Clarke, E.2
Hartonas-Garmhausen, V.3
Kwiatkowska, M.4
Ryan, M.5
-
5
-
-
41149144239
-
Approximate symbolic model checking of continuous-time Markov chains
-
Proc. CONCUR.'99, of, Springer
-
C. Baier, J.-P. Katoen, and H. Hermanns. Approximate symbolic model checking of continuous-time Markov chains. In Proc. CONCUR.'99, volume 1664 of LNCS, pages 146-161. Springer, 1999.
-
(1999)
LNCS
, vol.1664
, pp. 146-161
-
-
Baier, C.1
Katoen, J.-P.2
Hermanns, H.3
-
6
-
-
0032131465
-
Model checking for a probabilistic branching time logic with fairness
-
C. Baier and M. Kwiatkowska. Model checking for a probabilistic branching time logic with fairness. Distributed Computing, 11(3):125-155, 1998.
-
(1998)
Distributed Computing
, vol.11
, Issue.3
, pp. 125-155
-
-
Baier, C.1
Kwiatkowska, M.2
-
8
-
-
21844505024
-
Model checking of probabilistic and nondeterministic systems
-
P. Thiagarajan, editor, Proc. 15th Conference on Foundations of Software Technology and Theoretical Computer Science, of, Springer
-
A. Bianco and L. de Alfaro. Model checking of probabilistic and nondeterministic systems. In P. Thiagarajan, editor, Proc. 15th Conference on Foundations of Software Technology and Theoretical Computer Science, volume 1026 of LNCS, pages 499-513. Springer, 1995.
-
(1995)
LNCS
, vol.1026
, pp. 499-513
-
-
Bianco, A.1
de Alfaro, L.2
-
9
-
-
24644500868
-
Stochastic transition systems for continuous state spaces and non-determinism
-
Proc. FOSSACS'05, of, Springer Verlag
-
S. Cattani, R. Segala, M. Kwiatkowska, and G. Norman. Stochastic transition systems for continuous state spaces and non-determinism. In Proc. FOSSACS'05, volume 3441 of LNCS, pages 125-139. Springer Verlag, 2005.
-
(2005)
LNCS
, vol.3441
, pp. 125-139
-
-
Cattani, S.1
Segala, R.2
Kwiatkowska, M.3
Norman, G.4
-
10
-
-
0022706656
-
Automatic verification of finite-state concurrent systems using temporal logics
-
E. Clarke, E. Emerson, and A. Sistla. Automatic verification of finite-state concurrent systems using temporal logics. ACM Transactions on Programming Languages and Systems, 8(2):244-263, 1986.
-
(1986)
ACM Transactions on Programming Languages and Systems
, vol.8
, Issue.2
, pp. 244-263
-
-
Clarke, E.1
Emerson, E.2
Sistla, A.3
-
11
-
-
0024138133
-
Verifying temporal properties of finite state probabilistic programs
-
IEEE CS Press
-
C. Courcoubetis and M. Yannakakis. Verifying temporal properties of finite state probabilistic programs. In Proc. FOCS'88, pages 338-345. IEEE CS Press, 1988.
-
(1988)
Proc. FOCS'88
, pp. 338-345
-
-
Courcoubetis, C.1
Yannakakis, M.2
-
12
-
-
84976740260
-
The complexity of probabilistic verification
-
C. Courcoubetis and M. Yannakakis. The complexity of probabilistic verification. Journal of the ACM, 42(4):857-907, 1995.
-
(1995)
Journal of the ACM
, vol.42
, Issue.4
, pp. 857-907
-
-
Courcoubetis, C.1
Yannakakis, M.2
-
13
-
-
33750454059
-
A formal analysis of Bluetooth device discovery
-
M. Duflot, M. Kwiatkowska, G. Norman, and D. Parker. A formal analysis of Bluetooth device discovery. Int. Journal on Software Tools for Technology Transfer, 8(6):621-632, 2006.
-
(2006)
Int. Journal on Software Tools for Technology Transfer
, vol.8
, Issue.6
, pp. 621-632
-
-
Duflot, M.1
Kwiatkowska, M.2
Norman, G.3
Parker, D.4
-
14
-
-
10444262814
-
Directed explicit-state model checking in the validation of communication protocols
-
S. Edelkamp, S. Leue, and A. Lluch-Lafuente. Directed explicit-state model checking in the validation of communication protocols. STTT, 5(2-3):247-267, 2004.
-
(2004)
STTT
, vol.5
, Issue.2-3
, pp. 247-267
-
-
Edelkamp, S.1
Leue, S.2
Lluch-Lafuente, A.3
-
15
-
-
0003096318
-
A logic for reasoning about time and reliability
-
H. Hansson and B. Jonsson. A logic for reasoning about time and reliability. Formal Aspects of Computing, 6(5):512-535, 1994.
-
(1994)
Formal Aspects of Computing
, vol.6
, Issue.5
, pp. 512-535
-
-
Hansson, H.1
Jonsson, B.2
-
16
-
-
33845224003
-
Probabilistic model checking of complex biological pathways
-
C. Priami, editor, Proc. Computational Methods in Systems Biology CMSB '06, of, Springer Verlag
-
J. Heath, M. Kwiatkowska, G. Norman, D. Parker, and O. Tymchyshyn. Probabilistic model checking of complex biological pathways. In C. Priami, editor, Proc. Computational Methods in Systems Biology (CMSB '06), volume 4210 of Lecture Notes in Bioinformatics, pages 32-47. Springer Verlag, 2006.
-
(2006)
Lecture Notes in Bioinformatics
, vol.4210
, pp. 32-47
-
-
Heath, J.1
Kwiatkowska, M.2
Norman, G.3
Parker, D.4
Tymchyshyn, O.5
-
17
-
-
84944264717
-
Approximate probabilistic model checking
-
Proc. VMCAI'04, of, Springer
-
T. Hérault, R. Lassaigne, F. Magniette, and S. Peyronnet. Approximate probabilistic model checking. In Proc. VMCAI'04, volume 2937 of LNCS. Springer, 2004.
-
(2004)
LNCS
, vol.2937
-
-
Hérault, T.1
Lassaigne, R.2
Magniette, F.3
Peyronnet, S.4
-
18
-
-
33745802027
-
PRISM: A tool for automatic verification of probabilistic systems
-
Proc. TACAS'06, of, Springer
-
A. Hinton, M. Kwiatkowska, G. Norman, and D. Parker. PRISM: A tool for automatic verification of probabilistic systems. In Proc. TACAS'06, volume 3920 of LNCS, pages 441-444. Springer, 2006.
-
(2006)
LNCS
, vol.3920
, pp. 441-444
-
-
Hinton, A.1
Kwiatkowska, M.2
Norman, G.3
Parker, D.4
-
21
-
-
84896694223
-
Probabilistic symbolic model checking with PRISM: A hybrid approach
-
M. Kwiatkowska, G. Norman, and D. Parker. Probabilistic symbolic model checking with PRISM: A hybrid approach. International Journal on Software Tools for Technology Transfer (STTT), 6(2): 128-142, 2004.
-
(2004)
International Journal on Software Tools for Technology Transfer (STTT)
, vol.6
, Issue.2
, pp. 128-142
-
-
Kwiatkowska, M.1
Norman, G.2
Parker, D.3
-
22
-
-
33746511697
-
Probabilistic model checking in practice: Case studies with PRISM
-
M. Kwiatkowska, G. Norman, and D. Parker. Probabilistic model checking in practice: Case studies with PRISM. ACM SIGMETRICS Performance Evaluation Review, 32(4):16-21, 2005.
-
(2005)
ACM SIGMETRICS Performance Evaluation Review
, vol.32
, Issue.4
, pp. 16-21
-
-
Kwiatkowska, M.1
Norman, G.2
Parker, D.3
-
23
-
-
33646404908
-
Quantitative analysis with the probabilistic model checker PRISM
-
M. Kwiatkowska, G. Norman, and D. Parker. Quantitative analysis with the probabilistic model checker PRISM. Electronic Notes in Theoretical Computer Science, 153(2):5-31, 2005.
-
(2005)
Electronic Notes in Theoretical Computer Science
, vol.153
, Issue.2
, pp. 5-31
-
-
Kwiatkowska, M.1
Norman, G.2
Parker, D.3
-
24
-
-
34548060449
-
Stochastic model checking
-
Springer
-
M. Kwiatkowska, G. Norman, and D. Parker. Stochastic model checking. In Formal Methods for the Design of Computer, Communication and Software Systems: Performance Evaluation (SFM'07), volume 4486 of LNCS (Tutorial Volume), pages 220-270. Springer, 2007.
-
(2007)
Formal Methods for the Design of Computer, Communication and Software Systems: Performance Evaluation (SFM'07), volume 4486 of LNCS (Tutorial Volume)
, pp. 220-270
-
-
Kwiatkowska, M.1
Norman, G.2
Parker, D.3
-
25
-
-
33746043408
-
Performance analysis of probabilistic timed automata using digital clocks
-
M. Kwiatkowska, G. Norman, D. Parker, and J. Sproston. 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
-
26
-
-
41149129857
-
-
M. Kwiatkowska, G. Norman, D. Parker, and J. Sproston. Verification of real-time probabilistic systems. In S. Mertz and N. Navet, editors, Modelling and Verification of Real- Time Systems, 2007. To appear.
-
M. Kwiatkowska, G. Norman, D. Parker, and J. Sproston. Verification of real-time probabilistic systems. In S. Mertz and N. Navet, editors, Modelling and Verification of Real- Time Systems, 2007. To appear.
-
-
-
-
27
-
-
84885235139
-
Verifying quantitative properties of continuous probabilistic timed automata
-
C. Palamidessi, editor, Proc. CONCUR 2000-Concurrency Theory, of, Springer
-
M. Kwiatkowska, G. Norman, R. Segala, and J. Sproston. Verifying quantitative properties of continuous probabilistic timed automata. In C. Palamidessi, editor, Proc. CONCUR 2000-Concurrency Theory, volume 1877 of LNCS, pages 123-137. Springer, 2000.
-
(2000)
LNCS
, vol.1877
, pp. 123-137
-
-
Kwiatkowska, M.1
Norman, G.2
Segala, R.3
Sproston, J.4
-
28
-
-
0037036274
-
Automatic verification of real-time systems with discrete probability distributions
-
M. Kwiatkowska, G. Norman, R. Segala, and J. Sproston. 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
-
30
-
-
41149144348
-
-
PRISM web site
-
PRISM web site: www.prismmodelchecker.org.
-
-
-
-
32
-
-
27144527964
-
Mathematical Techniques for Analyzing Concurrent and Probabilistic Systems, P. Panangaden and F. van Breugel (eds.)
-
of, AMS
-
J. Rutten, M. Kwiatkowska, G. Norman, and D. Parker. Mathematical Techniques for Analyzing Concurrent and Probabilistic Systems, P. Panangaden and F. van Breugel (eds.), volume 23 of CRM Monograph Series. AMS, 2004.
-
(2004)
CRM Monograph Series
, vol.23
-
-
Rutten, J.1
Kwiatkowska, M.2
Norman, G.3
Parker, D.4
-
33
-
-
26444499465
-
On statistical model checking of stochastic systems
-
Proc. CAV'05, of, Springer
-
K. Sen, M. Viswanathan, and G. Agha. On statistical model checking of stochastic systems. In Proc. CAV'05, volume 3576 of LNCS, pages 266-280. Springer, 2005.
-
(2005)
LNCS
, vol.3576
, pp. 266-280
-
-
Sen, K.1
Viswanathan, M.2
Agha, G.3
-
36
-
-
33747766605
-
Numerical vs. statistical probabilistic model checking
-
H. Younes, M. Kwiatkowska, G. Norman, and D. Parker. Numerical vs. statistical probabilistic model checking. International Journal on Software Tools for Technology Transfer (STTT), 8(3):216-228, 2006.
-
(2006)
International Journal on Software Tools for Technology Transfer (STTT)
, vol.8
, Issue.3
, pp. 216-228
-
-
Younes, H.1
Kwiatkowska, M.2
Norman, G.3
Parker, D.4
-
37
-
-
84921391802
-
Probabilistic verification of discrete event systems using acceptance sampling
-
Proc. CAV'02, of, Springer
-
H. Younes and R. Simmons. Probabilistic verification of discrete event systems using acceptance sampling. In Proc. CAV'02, volume 2404 of LNCS, pages 223-235. Springer, 2002.
-
(2002)
LNCS
, vol.2404
, pp. 223-235
-
-
Younes, H.1
Simmons, R.2
|