Publications
Here you will find some publications about IMC's and MA's.
Publications about IMC's and MA's |
|
Guck, D. and Han, T. and Katoen, J.P. and Neuhäußer, M.R. (2012) Quantitative Timed Analysis of Interactive Markov Chains. In NASA Formal Methods Symposium (NFM). pages 8–23. Volume 7226 of Lecture Notes in Computer Science. Springer-Verlag. |
| Martin R. Neuhäußer. Model Checking Nondeterministic and Randomly Timed Systems. PhD Thesis, RWTH Aachen University and University of Twente, 2010. |
| Lijun Zhang, and Martin R. Neuhäußer. Model Checking Interactive Markov Chains. In Proceedings of the 16th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS). pages 53–68. Volume 6015 of Lecture Notes in Computer Science. Springer, 2010. |
| Holger Hermanns, and Joost-Pieter Katoen. The How and Why of Interactive Markov Chains. In Formal Methods for Components and Objects (FMCO). pages 311–337. Volume 6286 of LNCS. Springer-Verlag, 2010. |
| Holger Hermanns. Interactive Markov chains: and the quest for quantified quality. Springer-Verlag, 2002. |
Here you will find some external publications.
External Publications |
| J. Bruno, P. Downey, and G. N. Frederickson. Sequencing Tasks with Exponential Service Times to Minimize the Expected Flow Time or Makespan. Journal of the ACM, Volume 28 Issue 1, Jan. 1981. |
| P.C. Kanellakis and S.A. Smolka. CCS expressions, finite state processes, and three problems of equivalence. PODC '83 Proceedings of the second annual ACM symposium on Principles of distributed computing. |