-
1
-
-
70350366911
-
Computationally Sound Analysis of a Probabilistic Contract Signing Protocol
-
Backes, M., Ning, P. (eds.) ESORICS 2009. Springer, Heidelberg
-
Aizatulin, M., Schnoor, H., Wilke, T.: Computationally Sound Analysis of a Probabilistic Contract Signing Protocol. In: Backes, M., Ning, P. (eds.) ESORICS 2009. LNCS, vol. 5789, pp. 571-586. Springer, Heidelberg (2009)
-
(2009)
LNCS
, vol.5789
, pp. 571-586
-
-
Aizatulin, M.1
Schnoor, H.2
Wilke, T.3
-
2
-
-
84888230117
-
Computing Minimum and Maximum Reachability Times in Probabilistic Systems
-
Baeten, J.C.M., Mauw, S. (eds.) CONCUR 1999. Springer, Heidelberg
-
de Alfaro, L.: Computing Minimum and Maximum Reachability Times in Probabilistic Systems. In: Baeten, J.C.M., Mauw, S. (eds.) CONCUR 1999. LNCS, vol. 1664, p. 66. Springer, Heidelberg (1999)
-
(1999)
LNCS
, vol.1664
, pp. 66
-
-
De Alfaro, L.1
-
4
-
-
33646178489
-
MOCHA: Modularity in Model Checking
-
Vardi, M.Y. (ed.) CAV 1998. Springer, Heidelberg
-
Alur, R., Henzinger, T.A., Mang, F., Qadeer, S., Rajamani, S., Tasiran, S.: MOCHA: Modularity in Model Checking. In: Vardi, M.Y. (ed.) CAV 1998. LNCS, vol. 1427, pp. 521-525. Springer, Heidelberg (1998)
-
(1998)
LNCS
, vol.1427
, pp. 521-525
-
-
Alur, R.1
Henzinger, T.A.2
Mang, F.3
Qadeer, S.4
Rajamani, S.5
Tasiran, S.6
-
5
-
-
0042908709
-
Alternating-time temporal logic
-
Alur, R., Henzinger, T.A., Kupferman, O.: Alternating-time temporal logic. Journal of the ACM 49(5), 672-713 (2002)
-
(2002)
Journal of the ACM
, vol.49
, Issue.5
, pp. 672-713
-
-
Alur, R.1
Henzinger, T.A.2
Kupferman, O.3
-
6
-
-
47949094080
-
Stochastic game logic
-
IEEE
-
Baier, C., Brázdil, T., Größer, M., Kucera, A.: Stochastic game logic. In: Proc. QEST 2007, pp. 227-236. IEEE (2007)
-
(2007)
Proc. QEST 2007
, pp. 227-236
-
-
Baier, C.1
Brázdil, T.2
Größer, M.3
Kucera, A.4
-
8
-
-
70450162581
-
Uncertain Agent Verification through Probabilistic Model-Checking
-
Barley, M., Mouratidis, H., Unruh, A., Spears, D., Scerri, P., Massacci, F. (eds.) SASEMAS 2004-2006. Springer, Heidelberg
-
Ballarini, P., Fisher, M., Wooldridge, M.: Uncertain Agent Verification through Probabilistic Model-Checking. In: Barley, M., Mouratidis, H., Unruh, A., Spears, D., Scerri, P., Massacci, F. (eds.) SASEMAS 2004-2006. LNCS, vol. 4324, pp. 162-174. Springer, Heidelberg (2009)
-
(2009)
LNCS
, vol.4324
, pp. 162-174
-
-
Ballarini, P.1
Fisher, M.2
Wooldridge, M.3
-
9
-
-
79960350932
-
Quantitative Synthesis for Concurrent Programs
-
Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. Springer, Heidelberg
-
Černý, P., Chatterjee, K., Henzinger, T.A., Radhakrishna, A., Singh, R.: Quantitative Synthesis for Concurrent Programs. In: Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. LNCS, vol. 6806, pp. 243-259. Springer, Heidelberg (2011)
-
(2011)
LNCS
, vol.6806
, pp. 243-259
-
-
Černý, P.1
Chatterjee, K.2
Henzinger, T.A.3
Radhakrishna, A.4
Singh, R.5
-
10
-
-
77954966349
-
Gist: A Solver for Probabilistic Games
-
Touili, T., Cook, B., Jackson, P. (eds.) CAV 2010. Springer, Heidelberg
-
Chatterjee, K., Henzinger, T.A., Jobstmann, B., Radhakrishna, A.: Gist: A Solver for Probabilistic Games. In: Touili, T., Cook, B., Jackson, P. (eds.) CAV 2010. LNCS, vol. 6174, pp. 665-669. Springer, Heidelberg (2010)
-
(2010)
LNCS
, vol.6174
, pp. 665-669
-
-
Chatterjee, K.1
Henzinger, T.A.2
Jobstmann, B.3
Radhakrishna, A.4
-
12
-
-
84859320727
-
-
Tech. Rep. RR-11-11, University of Oxford
-
Chen, T., Forejt, V., Kwiatkowska, M., Parker, D., Simaitis, A.: Automatic verification of competitive stochastic systems. Tech. Rep. RR-11-11, University of Oxford (2011)
-
(2011)
Automatic Verification of Competitive Stochastic Systems
-
-
Chen, T.1
Forejt, V.2
Kwiatkowska, M.3
Parker, D.4
Simaitis, A.5
-
13
-
-
80053113161
-
Verifying Team Formation Protocols with Probabilistic Model Checking
-
Leite, J., Torroni, P., Ågotnes, T., Boella, G., van der Torre, L. (eds.) CLIMA XII 2011. Springer, Heidelberg
-
Chen, T., Kwiatkowska, M., Parker, D., Simaitis, A.: Verifying Team Formation Protocols with Probabilistic Model Checking. In: Leite, J., Torroni, P., Ågotnes, T., Boella, G., van der Torre, L. (eds.) CLIMA XII 2011. LNCS, vol. 6814, pp. 190-207. Springer, Heidelberg (2011)
-
(2011)
LNCS
, vol.6814
, pp. 190-207
-
-
Chen, T.1
Kwiatkowska, M.2
Parker, D.3
Simaitis, A.4
-
14
-
-
44049103684
-
Probabilistic alternating-time temporal logic and model checking algorithm
-
IEEE
-
Chen, T., Lu, J.: Probabilistic alternating-time temporal logic and model checking algorithm. In: Proc. FSKD 2007, pp. 35-39. IEEE (2007)
-
(2007)
Proc. FSKD 2007
, pp. 35-39
-
-
Chen, T.1
Lu, J.2
-
17
-
-
79959282379
-
Automated Verification Techniques for Probabilistic Systems
-
Bernardo, M., Issarny, V. (eds.) SFM 2011. Springer, Heidelberg
-
Forejt, V., Kwiatkowska, M., Norman, G., Parker, D.: Automated Verification Techniques for Probabilistic Systems. In: Bernardo, M., Issarny, V. (eds.) SFM 2011. LNCS, vol. 6659, pp. 53-113. Springer, Heidelberg (2011)
-
(2011)
LNCS
, vol.6659
, pp. 53-113
-
-
Forejt, V.1
Kwiatkowska, M.2
Norman, G.3
Parker, D.4
-
18
-
-
0003096318
-
A logic for reasoning about time and reliability
-
Hansson, H., Jonsson, B.: 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
-
19
-
-
80052104934
-
Influence of variable supply and load flexibility on demand-side management
-
Hildmann, H., Saffre, F.: Influence of variable supply and load flexibility on demand-side management. In: Proc. EEM 2011, pp. 63-68 (2011)
-
(2011)
Proc. EEM 2011
, pp. 63-68
-
-
Hildmann, H.1
Saffre, F.2
-
20
-
-
0042261185
-
Model checking cooperation, knowledge, and time - A case study
-
van der Hoek, W., Wooldridge, M.: Model checking cooperation, knowledge, and time - A case study. Research In Economics 57(3), 235-265 (2003)
-
(2003)
Research in Economics
, vol.57
, Issue.3
, pp. 235-265
-
-
Van Der Hoek, W.1
Wooldridge, M.2
-
21
-
-
0037937457
-
A game-based verification of non-repudiation and fair exchange protocols
-
Kremer, S., Raskin, J.-F.: A game-based verification of non-repudiation and fair exchange protocols. Journal of Computer Security 11(3), 399-430 (2003)
-
(2003)
Journal of Computer Security
, vol.11
, Issue.3
, pp. 399-430
-
-
Kremer, S.1
Raskin, J.-F.2
-
22
-
-
79960351824
-
PRISM 4.0: Verification of Probabilistic Real-Time Systems
-
Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. Springer, Heidelberg
-
Kwiatkowska, M., Norman, G., Parker, D.: PRISM 4.0: Verification of Probabilistic Real-Time Systems. In: Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. LNCS, vol. 6806, pp. 585-591. Springer, Heidelberg (2011)
-
(2011)
LNCS
, vol.6806
, pp. 585-591
-
-
Kwiatkowska, M.1
Norman, G.2
Parker, D.3
-
23
-
-
70350243070
-
MCMAS: A Model Checker for the Verification of Multi-Agent Systems
-
Bouajjani, A., Maler, O. (eds.) CAV 2009. Springer, Heidelberg
-
Lomuscio, A., Qu, H., Raimondi, F.: MCMAS: A Model Checker for the Verification of Multi-Agent Systems. In: Bouajjani, A., Maler, O. (eds.) CAV 2009. LNCS, vol. 5643, pp. 682-688. Springer, Heidelberg (2009)
-
(2009)
LNCS
, vol.5643
, pp. 682-688
-
-
Lomuscio, A.1
Qu, H.2
Raimondi, F.3
-
24
-
-
0032281306
-
The determinacy of Blackwell games
-
Martin, D.: The determinacy of Blackwell games. J. Symb. Log. 63(4) (1998)
-
(1998)
J. Symb. Log.
, vol.63
, Issue.4
-
-
Martin, D.1
-
28
-
-
84880704683
-
On Probabilistic Alternating Simulations
-
Calude, C.S., Sassone, V. (eds.) Springer, Heidelberg
-
Zhang, C., Pang, J.: On Probabilistic Alternating Simulations. In: Calude, C.S., Sassone, V. (eds.) TCS 2010. IFIP AICT, vol. 323, pp. 71-85. Springer, Heidelberg (2010)
-
(2010)
TCS 2010. IFIP AICT
, vol.323
, pp. 71-85
-
-
Zhang, C.1
Pang, J.2
-
29
-
-
84859300755
-
-
http://www.prismmodelchecker.org/files/tacas12smg/
-
-
-
|