Information Technology Reference
In-Depth Information
48. Katoen, J.-P., Klink, D., Leucker, M., Wolf, V.: Three-valued abstraction for
continuous-time Markov chains. In: Damm, W., Hermanns, H. (eds.) CAV 2007.
LNCS, vol. 4590, pp. 311-324. Springer, Heidelberg (2007)
49. Katoen, J.-P., Klink, D., Neuhaußer, M.R.: Compositional abstraction for stochas-
tic systems. In: Ouaknine, J., Vaandrager, F.W. (eds.) FORMATS 2009. LNCS,
vol. 5813, pp. 195-211. Springer, Heidelberg (2009)
50. Klin, B., Sassone, V.: Structural operational semantics for stochastic process cal-
culi. In: Amadio, R.M. (ed.) FOSSACS 2008. LNCS, vol. 4962, pp. 428-442.
Springer, Heidelberg (2008)
51. Larsen, K.G.: Modal specifications. In: Sifakis, J. (ed.) CAV 1989. LNCS, vol. 407,
pp. 232-246. Springer, Heidelberg (1990)
52. Larsen, K.G., Thomsen, B.: A modal process logic. In: IEEE Symposium on Logic
in Computer Science (LICS), pp. 203-210. IEEE, Los Alamitos (1988)
53. Lynch, N.A., Tuttle, M.R.: An introduction to input/output automata. CWI Quar-
terly 2, 219-246 (1989)
54. Marsan, M.A., Balbo, G., Chiola, G., Conte, G., Donatelli, S., Franceschinis, G.:
An introduction to generalized stochastic Petri nets. Microelectronics and Relia-
bility 31, 699-725 (1991)
55. Marsan, M.A., Balbo, G., Conte, G., Donatelli, S., Franceschinis, G.: Modelling
with Generalized Stochastic Petri Nets. John Wiley & Sons, Chichester (1995)
56. Neuhaußer, M.R., Katoen, J.-P.: Bisimulation and logical preservation for
continuous-time Markov decision processes. In: Caires, L., Vasconcelos, V.T. (eds.)
CONCUR 2007. LNCS, vol. 4703, pp. 412-427. Springer, Heidelberg (2007)
57. Neuhaußer, M.R., Stoelinga, M., Katoen, J.-P.: Delayed nondeterminism in
continuous-time Markov decision processes. In: de Alfaro, L. (ed.) FOSSACS 2009.
LNCS, vol. 5504, pp. 364-379. Springer, Heidelberg (2009)
58. Neuhaußer, M.R.: Model Checking Nondeterministic and Randomly Timed Sys-
tems. PhD thesis, RWTH Aachen University / University of Twente (2010)
59. Prandi, D., Quaglia, P.: Stochastic COWS. In: Kramer, B.J., Lin, K.-J.,
Narasimhan, P. (eds.) ICSOC 2007. LNCS, vol. 4749, pp. 245-256. Springer, Hei-
delberg (2007)
60. Segala, R.: Modeling and Verification of Randomized Distributed Real-Time Sys-
tems. PhD thesis, Laboratory for Computer Science, Massachusetts Institute of
Technology (1995)
61.
http://portal.acm.org/citation.cfm?id=1451820
62. van Glabbeek, R.J., Weijland, W.P.: Branching time and abstraction in bisimula-
tion semantics. J. ACM 43, 555-600 (1996)
63. Veseley, W., Goldberg, F., Roberts, N., Haasl, D.: Fault Tree Handbook. US Nu-
clear Regulatory Commission, NUREG- 0492 (1981)
64. Vissers, C., Scollo, G., van Sinderen, M., Brinksma, E.: On the use of specification
styles in the design of distributed systems. Theor. Comput. Sci. 89, 179-206 (1991)
65. Wimmer, R., Herbstritt, M., Hermanns, H., Strampp, K., Becker, B.: Sigref - a
symbolic bisimulation tool box. In: Graf, S., Zhang, W. (eds.) ATVA 2006. LNCS,
vol. 4218, pp. 477-492. Springer, Heidelberg (2006)
66. Zhang, L., Neuhaußer, M.R.: Model checking interactive Markov chains. In: Es-
parza, J., Majumdar, R. (eds.) Tools and Algorithms for the Construction and
Analysis of Systems. LNCS, vol. 6015, pp. 53-68. Springer, Heidelberg (2010)
67. Zhang, L., Hermanns, H., Eisenbrand, F., Jansen, D.N.: Flow faster: Ecient de-
cision algorithms for probabilistic simulations. Logical Methods in Computer Sci-
ence 4 (2008)