EEMCS

Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Search
 Organisation

EEMCS EPrints Service


Research Project: Voss: Validation of Stochastic Systems
Home Policy Brochure Browse Search User Area Contact Help

2005

de Alfaro, L. and Faella, M. and Henzinger, T.A. and Majumdar, R. and Stoelinga, M.I.A. (2005) Model Checking Discounted Temporal Properties. Theoretical computer science, 345 (1). pp. 139-170. ISSN 0304-3975 *** ISI Impact 0,643 ***

2004

Baier, C. and Haverkort, B.R.H.M. and Hermanns, H. and Katoen, J.P. (2004) Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes. In: Tools and Algorithms for the Construction and Analysis of Systems (TACAS). pp. 61-76. Lecture Notes in Computer Science 2988. Springer. ISBN 3-540-21299-X
Baier, C. and Hermanns, H. and Katoen, J.P. (2004) Probabilistic weak simulation is polynomially decidable. Information Processing Letters, 89 (3). pp. 123-252. ISSN 0020-0190 *** ISI Impact 0,605 ***
Massink, M. and Katoen, J.P. and Latella, D. (2004) Model checking dependabiliy attributes of wireless group communication. In: Dependable Systems and Networks - Performance and Dependability Symposium (DSN 2003), 28 June - 1 July 2004, Florence, Italy. pp. 711-720. IEEE Computer Society. ISBN 0-7695-2052-9

2003

Andova, S. and Hermanns, H. and Katoen, J.P. (2003) Discrete-time rewards model-checked. In: Formal Modelling and Analysis of Timed Systems (FORMATS 2003). pp. 88-104. Lecture Notes in Computer Science 2791. Springer Verlag. ISSN 0302-9743 ISBN 978-3-540-21671-1
Baier, C. and Haverkort, B.R.H.M. and Hermanns, H. and Katoen, J.P. (2003) Model-checking algorithms for continuous-time Markov chains. IEEE Transactions on Software Engineering, 29 (6). pp. 524-541. ISSN 0098-5589 *** ISI Impact 1,516 ***
Baier, C. and Hermanns, H. and Katoen, J.P. and Wolf, V. (2003) Comparative branching-time semantics for Markov chains. In: Concurrency Theory (CONCUR). pp. 492-507. Lecture Notes in Computer Science 2761. Springer-Verlag. ISBN 978-3-540-40753-9
Hermanns, H. and Katoen, J.P. and Meyer-Kayser, J. and Siegle, M. (2003) A tool for model-checking Markov chains. Int. Journal on Software Tools for Technology Transfer, 4 (2). pp. 153-172. ISSN 1433-2779

2002

Hermanns, H. and Segala, R., ed. (2002) Process Algebra and Probabilistic Methods, Performance Modeling and Verification. Lecture Notes in Computer Science 2399. Springer-Verlag, Copenhagen, Denmark. ISSN 0302-9743 ISBN 3-540-43913-7
Baier, C. and Haverkort, B.R.H.M. and Hermanns, H. and Katoen, J.P. (2002) Automated performance and dependability evaluation using model checking. In: Computer Performance Evaluation. Lecture Notes in Computer Science 2459. Springer Verlag, Berlin, pp. 261-289. ISBN 3-540-44252-9
Baier, C. and Katoen, J.P. and Hermanns, H. and Haverkort, B.R.H.M. (2002) Simulation for continuous-time Markov chains. In: CONCUR 2002 - Concurrency Theory, 13th International Conference, August 20-23, 2002, Brno, Czech Republic. pp. 473-489. Lecture Notes in Computer Science 2421. Springer. ISBN 3-540-44043-7
Haverkort, B.R.H.M. and Cloth, L. and Hermanns, H. and Katoen, J.P. and Baier, C. (2002) Model-checking performability properties. In: International IEEE Conference on Dependable Systems and Networks (DSN), 23-26 June 2002, Bethesda, MD, USA. pp. 103-112. IEEE Computer Society. ISBN 0-7695-1597-5
Hermanns, H. (2002) Interactive Markov Chains and the Quest for Quantified Quality. Lecture Notes in Computer Science 2428. Springer-Verlag, Berlin. ISSN 0302-9743 ISBN 3-540-44261-8
Hermanns, H. and Herzog, U. and Katoen, J.P. (2002) Process algebra for performance evaluation. Theoretical Computer Science, 274 (1-2). pp. 43-87. ISSN 0304-3975 *** ISI Impact 0,643 ***
Usenko, Y.S. (2002) Linearization of μ-CRL specifications. Extended abstract. In: 3rd International Workshop on Verification and Computational Logic (VCL2002), Southampton, UK. Technical Report DSSE-TR-2002-5. Department of electronics and computer science. ISBN not assigned

2001

Brinksma, H. and Hermanns, H. and Katoen, J.P., ed. (2001) Lectures on Formal Methods and Performance Analysis. Lecture Notes in Computer Science 2090. Springer Verlag, Berlin. ISSN 0302-9743 ISBN 3-540-42479-2
Hermanns, H. and Katoen, J.P. (2001) Performance evaluation:= (process algebra + model checking) x Markov chains. (Invited) In: CONCUR 2001 - Concurrency Theory: 12th International Conference, 20-25 Aug 2001, Aalborg, Denmark. pp. 59-81. Lecture Notes in Computer Science 2154. Springer. ISBN 3-540-42497-0
Hermanns, H. and Katoen, J.P. and Meyer-Kayser, J. (2001) Implementing a Model Checker for Performability Behaviour. In: Fifth International Workshop on Performability Modeling of Computer and Communication Systems (PMCCS 5), September 15-16, 2001, Erlangen, Germany. pp. 110-114. Arbeitsberichte des IMMD 34 (13). University of Erlangen. ISSN 0344-3515
Hermanns, H. and Katoen, J.P. and Meyer-Kayser, J. and Siegle, M. (2001) A model checker for performance and dependability properties. In: 2nd PROGRESS workshop on Embedded Systems, 18 Oct 2001, Veldhoven, The Netherlands. pp. 83-88. Technology Foundation STW. ISBN 90-73461-26-X
Infante-Lopez, G.G. and Hermanns, H. and Katoen, J.P. (2001) Beyond memoryless distributions: model checking semi-Markov chains. In: Process Algebra and Probabilistic Methods. Performance Modeling and Verification: Joint International Workshop, PAPM-PROBMIV 2001, 12-14 Sep 2001, Aachen, Germany. pp. 57-70. Lecture Notes in Computer Science 2165. Springer Verlag. ISBN 3-540-42556-X
Katoen, J.P. and Kwiatkowska, M.Z. and Norman, G. and Parker, D.A. (2001) Faster and symbolic CTMC model checking. In: Process Algebra and Probabilistic Methods, Performance Modeling and Verification: Joint International Workshop, PAPM-PROBMIV 2001, September 12-14, 2001, Aachen, Germany. pp. 23-38. Lecture Notes in Computer Science 2165. Springer. ISSN 0302-9743 ISBN 3-540-42556-X

2000

Haverkort, B.R.H.M. and Hermanns, H. and Katoen, J.P. (2000) On the Use of Model Checking Techniques for Quantitative Dependability Evaluation. In: 9th IEEE Symposium on Reliable Distributed Systems, SRDS 2000, 16-18 October 2000, Nürnberg, Germany. pp. 228-237. IEEE Computer Society. ISBN 0769505430