EEMCS

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

EEMCS EPrints Service


Author: Chen, Taolue
Home Policy Brochure Browse Search User Area Contact Help

2015

Chen, Taolue and Kammüller, F. and Nemli, I. and Probst, C.W. (2015) A Probabilistic Analysis Framework for Malicious Insider Threats. In: Third International Conference on Human Aspects of Information Security, Privacy, and Trust (HAS), 2-7 Aug 2015, Los Angeles, US. pp. 178-189. Lecture Notes in Computer Science 9190. Springer Verlag. ISSN 0302-9743 ISBN 978-3-319-20375-1

2011

Aceto, L. and Chen, Taolue and Ingolfsdottir, A. and Luttik, B. and van de Pol, J.C. (2011) On the axiomatizability of priority II. Theoretical computer science, 412 (28). pp. 3035-3044. ISSN 0304-3975 *** ISI Impact 0,643 ***
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,569 ***

2009

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

2008

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
Chen, Taolue and van de Pol, J.C. and Wang, Yanjing (2008) PDL over Accelerated Labeled Transition Systems. In: 2008 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering, 17-19 Jun 2008, Nanjing, China. pp. 193-200. IEEE Computer Society. ISBN 978-0-7695-3249-3

2007

Chen, Taolue and Ploeger, S.C.W. and van de Pol, J.C. and Willemse, T.A.C. (2007) Equivalence Checking for Infinite Systems Using Parameterized Boolean Equation Systems. In: CONCUR 2007 - Concurrency Theory, 3-8 Sep 2007, Lisbon, Portugal. pp. 120-135. Lecture Notes in Computer Science 4703. Springer Verlag. ISSN 0302-9743 ISBN 978-3-540-74406-1