Model-checking algorithms for continuous-time Markov chains von Baier, C., Haverkort, B., Hermanns, H., Katoen, J.-P.

Volltext

Counterexample Generation in Probabilistic Model Checking von Tingting Han, Katoen, J.-P., Berteun, D.

Volltext

MODEST: A Compositional Modeling Formalism for Hard and Softly Timed Systems von Bohnenkamp, H., D'Argenio, P.R., Hermanns, H., Katoen, J.-P.

Volltext

Model checking for performability von BAIER, C., HAHN, E. M., HAVERKORT, B. R., HERMANNS, H., KATOEN, J.-P.

Volltext

Approximate symbolic model checking of continuous-time Markov chains von BAIER, C, KATOEN, J.-P, HERMANNS, H

Volltext

Principles of Model Checking von Baier, Christel, Katoen, Joost-Pieter, Larsen, Kim Guldstrand

Volltext

Safety, Dependability and Performance Analysis of Extended AADL Models von Bozzano, M., Cimatti, A., Katoen, J.-P., Nguyen, V. Y., Noll, T., Roveri, M.

Volltext

The bounded retransmission protocol must be on time von D'Argenio, P. R., Katoen, J. -P., Ruys, T. C., Tretmans, J.

Volltext

On the Logical Characterisation of Performability Properties von Baier, Christel, Haverkort, Boudewijn, Hermanns, Holger, Katoen, Joost-Pieter

Volltext

Computing Optimal Schedules of Battery Usage in Embedded Systems von Jongerden, M, Mereacre, A, Bohnenkamp, H, Haverkort, B, Katoen, J

Volltext

Formal correctness, safety, dependability, and performance analysis of a satellite von Esteve, M., Katoen, J-P, Viet Yen Nguyen, Postma, B., Yushtein, Y.

Volltext

A Markov Chain Model Checker von Hermanns, Holger, Katoen, Joost-Pieter, Meyer-Kayser, Joachim, Siegle, Markus

Volltext

On the use of model checking techniques for dependability evaluation von Haverkort, B.R., Hermanns, H., Katoen, J.-P.

Volltext bestellen

Metric semantics for true concurrent real time von Katoen, Joost-Pieter, Baier, Christel, Latella, Diego

Volltext

Model checking Markov reward models with impulse rewards von Cloth, L., Katoen, J.-P., Khattri, M., Pulungan, R.

Volltext

Process algebra for performance evaluation von Hermanns, Holger, Herzog, Ulrich, Katoen, Joost-Pieter

Volltext

Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes von Baier, Christel, Hermanns, Holger, Katoen, Joost-Pieter, Haverkort, Boudewijn R.

Volltext

Comparative branching-time semantics for Markov chains von Baier, Christel, Katoen, Joost-Pieter, Hermanns, Holger, Wolf, Verena

Volltext

Code generation based on formal BURS theory and heuristic search von Nymeyer, A., Katoen, J.-P.

Volltext

A Markov reward model checker von Katoen, J.-P., Khattri, M., Zapreevt, I.S.

Volltext bestellen