EEMCS

Barbot, B. and Chen, Taolue and Han, Tingting and Katoen, J.P. and Mereacre, A. (2011) Efficient CTMC Model Checking of Linear Real-Time Objectives. In: 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2011), 26 March - 3 April 2011, Saarbrücken, Germany. pp. 128-142. Lecture Notes in Computer Science 6605. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-19834-2

Chen, Taolue and Han, Tingting and Katoen, J.P. and Mereacre, Alexandru (2011) Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications. Logical Methods in Computer Science, 7 (1). 12:1-12:34. ISSN 1860-5974 *** ISI Impact 0,864 ***

Chen, Taolue and Han, Tingting and Katoen, J.P. and Mereacre, A. (2009) Quantitative model checking of continuous-time Markov chains against timed automata specifications. In: 2009 24th Annual IEEE Symposium on Logic In Computer Science, 11-14 Aug 2009, Los Angeles. pp. 309-318. IEEE Computer Society. ISSN 1043-6871 ISBN 978-0-7695-3746-7

Han, Tingting (2009) Diagnosis, Synthesis and Analysis of Probabilistic Models. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 09-149 ISBN 978-90-365-2858-0

Han, Tingting and Katoen, J.P. and Damman, B. (2009) Counterexample Generation in Probabilistic Model Checking. IEEE Transactions on Software Engineering, 35 (2). pp. 241-257. ISSN 0098-5589 *** ISI Impact 2,216 ***

Chen, Taolue and Han, Tingting and Katoen, J.P. (2008) Time-Abstracting Bisimulation for Probabilistic Timed Automata. In: Proceedings of the 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE), 17-19 June 2008, Nanjing, China. pp. 177-184. IEEE Computer Society. ISBN 978-0-7695-3249-3

Damman, B. and Han, Tingting and Katoen, J.P. (2008) Regular Expressions for PCTL Counterexamples. In: Proceedings of the 5th International Conference on the Quantitative Evaluaiton of Systems (QEST 2008), 14-17 Sept 2008, Saint Malo, France. pp. 179-188. IEEE Computer Society. ISBN 978-0-7695-3360-5

Han, Tingting and Katoen, J.P. and Mereacre, A. (2008) Compositional Modeling and Minimization of Time-Inhomogeneous Markov Chains. In: Hybrid Systems: Computation and Control (HSCC), St. Louis, U.S.. pp. 244-258. Lecture Notes in Computer Science 4981. Springer Verlag. ISSN 0302-9743 ISBN 978-3-540-78928-4

Han, Tingting and Katoen, J.P. and Mereacre, A. (2008) Approximate parameter synthesis for probabilistic time-bounded reachability. In: Proceedings of the IEEE Real-Time Systems Symposium (RTSS 2008), 1-3 Dec 2008, Barcelona, Spain. pp. 173-182. IEEE Computer Society. ISBN 978-0-7695-3477-0

Han, Tingting and Katoen, J.P. (2007) Counterexamples in probabilistic model checking. In: Proceedings of the 13th International Conference on Tools and Algorithms for Construction and Analysis of Systems, 24 Mar - 01 Apr 2007, Braga, Portugal. pp. 72-86. Lecture Notes in Computer Science 4424. Springer Verlag. ISBN 978-3-540-71208-4

Han, Tingting and Katoen, J.P. (2007) Providing evidence of likely being on time - Counterexample generation for CTMC model checking. In: Providing evidence of likely being on time: Counterexample generation for CTMC model checking, 22-25 Oct 2007, Tokyo, Japan. pp. 331-346. Lecture Notes in Computer Science 4762. Springer. ISBN 978-3-540-75595-1