Publications

Export 4 results:
Sort by: Author Title Type [ Year (Desc)]
Filters: Author is Christian Eisentraut  [Clear All Filters]
2015
C. Eisentraut, J. C. Godskesen, H. Hermanns, L. Song, and L. Zhang, “Probabilistic Bisimulation for Realistic Schedulers”, in {FM} 2015: Formal Methods - 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings, 2015.
2013
C. Eisentraut, H. Hermanns, J. Krämer, A. Turrini, and L. Zhang, “Deciding Bisimilarities on Distributions”, in Quantitative Evaluation of Systems - 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings, 2013, vol. 8054, p. 72-88.
C. Eisentraut, H. Hermanns, J. Schuster, A. Turrini, and L. Zhang, “The Quest for Minimal Quotients for Probabilistic Automata”, in Tools and Algorithms for the Construction and Analysis of Systems - 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings, 2013, vol. 7795, p. 16-31.
C. Eisentraut, H. Hermanns, J. - P. Katoen, and L. Zhang, “A Semantics for Every GSPN”, in Petri Nets 2013, 2013, vol. 7927, p. 90–109.PDF icon 79270090.pdf (355.81 KB)