Publications

Filters: Author is Joost-Pieter Katoen [Clear All Filters]

2017

P. R. D'Argenio, Budde, C. E., Lee, M. D., Monti, R. E., Rodríguez, L., and Wolovick, N., “The Road from Stochastic Automata to the Simulation of Rare Events”, in ModelEd, TestEd, TrustEd. Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday, vol. 10500, J. - P. Katoen, Langerak, R., and Rensink, A., Eds. Springer, 2017, pp. 276-294.

paper-752.pdf (1.51 MB)

2006

H. C. Bohnenkamp, D'Argenio, P. R., Hermanns, H., and Katoen, J. - P., “MODEST: A Compositional Modeling Formalism for Hard and Softly Timed Systems”, IEEE Trans. Software Eng., vol. 32, no. 10, pp. 812-830, 2006.

paper-22.pdf (1.78 MB)

2005

P. R. D'Argenio and Katoen, J. - P., “A theory of stochastic systems part I: Stochastic automata”, Inf. Comput., vol. 203, no. 1, pp. 1-38, 2005.

paper-3.pdf (530.65 KB)

P. R. D'Argenio and Katoen, J. - P., “A theory of Stochastic systems. Part II: Process algebra”, Inf. Comput., vol. 203, no. 1, pp. 39-74, 2005.

paper-4.pdf (976.9 KB)