-
1
-
-
33646416185
-
Pmaude: Rewrite-based specification language for probabilistic object systems
-
Agha, G., Meseguer, J., Sen, K.: Pmaude: Rewrite-based specification language for probabilistic object systems. Electronic Notes in Theoretical Computer Science 153(2), 213-239 (2006)
-
(2006)
Electronic Notes in Theoretical Computer Science
, vol.153
, Issue.2
, pp. 213-239
-
-
Agha, G.1
Meseguer, J.2
Sen, K.3
-
2
-
-
0029637354
-
The algorithmic analysis of hybrid systems
-
Alur, R., Courcoubetis, C., Halbwachs, N., Henzinger, T.A., Ho, P., Nicollin, X., Olivero, A., Sifakis, J., Yovine, S.: The algorithmic analysis of hybrid systems. Theoretical Computer Science 138(1), 3-34 (1995)
-
(1995)
Theoretical Computer Science
, vol.138
, Issue.1
, pp. 3-34
-
-
Alur, R.1
Courcoubetis, C.2
Halbwachs, N.3
Henzinger, T.A.4
Ho, P.5
Nicollin, X.6
Olivero, A.7
Sifakis, J.8
Yovine, S.9
-
3
-
-
0029708178
-
The benefits of relaxing punctuality
-
Alur, R., Feder, T., Henzinger, T.A.: The benefits of relaxing punctuality. J. ACM 43, 116-146 (1996)
-
(1996)
J. ACM
, vol.43
, pp. 116-146
-
-
Alur, R.1
Feder, T.2
Henzinger, T.A.3
-
4
-
-
84944225404
-
Optimal Paths in Weighted Timed Automata
-
Hybrid Systems: Computation and Control
-
Alur, R., La Torre, S., Pappas, G.J.: Optimal Paths in Weighted Timed Automata. In: Di Benedetto, M.D., Sangiovanni-Vincentelli, A.L. (eds.) HSCC 2001. LNCS, vol. 2034, pp. 49-62. Springer, Heidelberg (2001) (Pubitemid 33256408)
-
(2001)
LECTURE NOTES IN COMPUTER SCIENCE
, Issue.2034
, pp. 49-62
-
-
Alur, R.1
La, T.S.2
Pappas, G.J.3
-
5
-
-
79953172629
-
Efficient CTMC Model Checking of Linear Real-Time Objectives
-
Abdulla, P.A., Leino, K.R.M. (eds.) TACAS 2011. Springer, Heidelberg
-
Barbot, B., Chen, T., Han, T., Katoen, J.-P., Mereacre, A.: Efficient CTMC Model Checking of Linear Real-Time Objectives. In: Abdulla, P.A., Leino, K.R.M. (eds.) TACAS 2011. LNCS, vol. 6605, pp. 128-142. Springer, Heidelberg (2011)
-
(2011)
LNCS
, vol.6605
, pp. 128-142
-
-
Barbot, B.1
Chen, T.2
Han, T.3
Katoen, J.-P.4
Mereacre, A.5
-
6
-
-
84944256570
-
Minimum-Cost Reachability for Priced Timed Automata
-
Hybrid Systems: Computation and Control
-
Behrmann, G., Fehnker, A., Hune, T., Larsen, K.G., Pettersson, P., Romijn, J., Vaandrager, F.W.: Minimum-Cost Reachability for Priced Timed Automata. In: Di Benedetto, M.D., Sangiovanni-Vincentelli, A.L. (eds.) HSCC 2001. LNCS, vol. 2034, pp. 147-161. Springer, Heidelberg (2001) (Pubitemid 33256415)
-
(2001)
LECTURE NOTES IN COMPUTER SCIENCE
, Issue.2034
, pp. 147-161
-
-
Behrmann, G.1
Fehnker, A.2
Hune, T.3
Larsen, K.4
Pettersson, P.5
Romijn, J.6
Vaandrager, F.7
-
7
-
-
79751534496
-
Model checking one-clock priced timed automata
-
Bouyer, P., Larsen, K.G., Markey, N.: Model checking one-clock priced timed automata. Logical Methods in Computer Science 4(2) (2008)
-
(2008)
Logical Methods in Computer Science
, vol.4
, Issue.2
-
-
Bouyer, P.1
Larsen, K.G.2
Markey, N.3
-
8
-
-
84885223483
-
The Impressive Power of Stopwatches
-
Palamidessi, C. (ed.) CONCUR 2000. Springer, Heidelberg
-
Cassez, F., Larsen, K.G.: The Impressive Power of Stopwatches. In: Palamidessi, C. (ed.) CONCUR 2000. LNCS, vol. 1877, pp. 138-152. Springer, Heidelberg (2000)
-
(2000)
LNCS
, vol.1877
, pp. 138-152
-
-
Cassez, F.1
Larsen, K.G.2
-
9
-
-
84958060268
-
On-the-Fly Verification of Linear Temporal Logic
-
Wing, J.M., Woodcock, J. (eds.) FM 1999. Springer, Heidelberg
-
Couvreur, J.-M.: On-the-Fly Verification of Linear Temporal Logic. In:Wing, J.M., Woodcock, J. (eds.) FM 1999. LNCS, vol. 1708, pp. 253-271. Springer, Heidelberg (1999)
-
(1999)
LNCS
, vol.1708
, pp. 253-271
-
-
Couvreur, J.-M.1
-
10
-
-
80053337511
-
Statistical Model Checking for Networks of Priced Timed Automata
-
Fahrenberg, U., Tripakis, S. (eds.) FORMATS 2011. Springer, Heidelberg
-
David, A., Larsen, K.G., Legay, A., Mikučionis, M., Poulsen, D.B., van Vliet, J., Wang, Z.: Statistical Model Checking for Networks of Priced Timed Automata. In: Fahrenberg, U., Tripakis, S. (eds.) FORMATS 2011. LNCS, vol. 6919, pp. 80-96. Springer, Heidelberg (2011)
-
(2011)
LNCS
, vol.6919
, pp. 80-96
-
-
David, A.1
Larsen, K.G.2
Legay, A.3
Mikučionis, M.4
Poulsen, D.B.5
Van Vliet, J.6
Wang, Z.7
-
11
-
-
79960376940
-
Time for Statistical Model Checking of Real-Time Systems
-
Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. Springer, Heidelberg
-
David, A., Larsen, K.G., Legay, A.,Mikučionis, M., Wang, Z.: Time for Statistical Model Checking of Real-Time Systems. In: Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. LNCS, vol. 6806, pp. 349-355. Springer, Heidelberg (2011)
-
(2011)
LNCS
, vol.6806
, pp. 349-355
-
-
David, A.1
Larsen, K.G.2
Legay, A.3
Mikučionis, M.4
Wang, Z.5
-
12
-
-
33750924079
-
An Improved On-the-Fly Tableau Construction for a Real-Time Temporal Logic
-
Hunt Jr., W.A., Somenzi, F. (eds.) CAV 2003. Springer, Heidelberg
-
Geilen, M.: An Improved On-the-Fly Tableau Construction for a Real-Time Temporal Logic. In: Hunt Jr., W.A., Somenzi, F. (eds.) CAV 2003. LNCS, vol. 2725, pp. 394-406. Springer, Heidelberg (2003)
-
(2003)
LNCS
, vol.2725
, pp. 394-406
-
-
Geilen, M.1
-
13
-
-
84974711192
-
An On-the-fly Tableau Construction for a Real-Time Temporal Logic
-
Joseph, M. (ed.) FTRTFT 2000. Springer, Heidelberg
-
Geilen, M., Dams, D.R.: An On-the-fly Tableau Construction for a Real-Time Temporal Logic. In: Joseph, M. (ed.) FTRTFT 2000. LNCS, vol. 1926, pp. 276-290. Springer, Heidelberg (2000)
-
(2000)
LNCS
, vol.1926
, pp. 276-290
-
-
Geilen, M.1
Dams, D.R.2
-
15
-
-
0001601021
-
Specifying real-time properties with metric temporal logic
-
Koymans, R.: Specifying real-time properties with metric temporal logic. Real- Time Syst. 2, 255-299 (1990)
-
(1990)
Real- Time Syst.
, vol.2
, pp. 255-299
-
-
Koymans, R.1
-
16
-
-
33750335531
-
From MITL to Timed Automata
-
Asarin, E., Bouyer, P. (eds.) FORMATS 2006. Springer, Heidelberg
-
Maler, O., Ničković, D., Pnueli, A.: From MITL to Timed Automata. In: Asarin, E., Bouyer, P. (eds.) FORMATS 2006. LNCS, vol. 4202, pp. 274-289. Springer, Heidelberg (2006)
-
(2006)
LNCS
, vol.4202
, pp. 274-289
-
-
Maler, O.1
Ničković, D.2
Pnueli, A.3
-
17
-
-
78049401070
-
From Mtl to Deterministic Timed Automata
-
Chatterjee, K., Henzinger, T.A. (eds.) FORMATS 2010. Springer, Heidelberg
-
Ničković, D., Piterman, N.: From Mtl to Deterministic Timed Automata. In: Chatterjee, K., Henzinger, T.A. (eds.) FORMATS 2010. LNCS, vol. 6246, pp. 152-167. Springer, Heidelberg (2010)
-
(2010)
LNCS
, vol.6246
, pp. 152-167
-
-
Ničković, D.1
Piterman, N.2
-
18
-
-
26444499465
-
On statistical model checking of stochastic systems
-
Computer Aided Verification: 17th International Conference, CAV 2005. Proceedings
-
Sen, K., Viswanathan, M., Agha, G.: On Statistical Model Checking of Stochastic Systems. In: Etessami, K., Rajamani, S.K. (eds.) CAV 2005. LNCS, vol. 3576, pp. 266-280. Springer, Heidelberg (2005) (Pubitemid 41431739)
-
(2005)
Lecture Notes in Computer Science
, vol.3576
, pp. 266-280
-
-
Sen, K.1
Viswanathan, M.2
Agha, G.3
-
20
-
-
77953045723
-
Bayesian statistical model checking with application to simulink/stateflow verification
-
ACM, New York
-
Zuliani, P., Platzer, A., Clarke, E.M.: Bayesian statistical model checking with application to simulink/stateflow verification. In: HSCC 2010, pp. 243-252. ACM, New York (2010)
-
(2010)
HSCC 2010
, pp. 243-252
-
-
Zuliani, P.1
Platzer, A.2
Clarke, E.M.3
|