Publications
Filters: Author is Joost-Pieter Katoen [Clear All Filters]
SMT-Based Bisimulation Minimisation of Markov Models”, in Verification, Model Checking, and Abstract Interpretation, VMCAI 2013, 2013, vol. 7737, p. 28-47.
, “ Taming Confusion for Modeling and Implementing Probabilistic Concurrent Systems”, in Programming Languages and Systems, ESOP 2013, 2013, vol. 7792, p. 411-430.
, “ A Compositional Modeling and Analysis Framework for Stochastic Hybrid Systems”, Formal Methods in System Design, 2012.fmsd2012_final.pdf (1.77 MB)
, “ Quantitative Timed Analysis of Interactive Markov Chains”, in 4th International Symposium NASA Formal Methods (NFM), Norfolk, USA, 2012, vol. 7226, p. 8-23.72260008.pdf (256.53 KB)
, “