Author Publications

Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Date | Item Type
Number of items: 9.

Article

Aceto, Luca and Chen, Taolue and Ingolfsdottir, Anna and Luttik, Bas and Pol, Jaco van de (2011) On the axiomatizability of priority II. Theoretical Computer Science, 412 (28). pp. 3035-3044. ISSN 0304-3975

Chen, Taolue (2010) The saga of finite equational bases over BCCSP. Nieuwsbrief van de Nederlandse Vereniging voor Theoretische Informatica . pp. 25-39.

Chen, Taolue and Han, Tingting and Katoen, Joost-Pieter and Mereacre, Alexandru (2011) Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications. Logical Methods in Computer Science, 7 (1-12). ISSN 1860-5974

Chen, Taolue and Han, Tingting and Lu, Jian (2009) On metrics for probabilistic systems: definitions and algorithms. Computers & Mathematics with Applications, 57 (6). pp. 991-999. ISSN 0898-1221

Conference or Workshop Item

Barbot, Benoit and Chen, Taolue and Han, Tingting and Katoen, Joost-Pieter and Mereacre, Alexandru (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. pp. 128-142).

Chen, Taolue and Ploeger, Bas and Pol, Jaco van de and Willemse, Tim A.C. (2007) Equivalence Checking for Infinite Systems Using Parameterized Boolean Equation Systems. In: 18th International Conference on Concurrency Theory, CONCUR 2007, September 3-8, 2007, Lisbon, Portugal (pp. pp. 120-135).

Chen, Taolue and Han, Tingting and Katoen, Joost-Pieter (2008) Time-Abstracting Bisimulation for Probabilistic Timed Automata. In: 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2008, 17-19 June 2008, Nanjing, China (pp. pp. 177-184).

Chen, Taolue and Han, Tingting and Katoen, Joost-Pieter and Mereacre, Alexandru (2009) Quantitative model checking of continuous-time Markov chains against timed automata specifications. In: 24th Annual IEEE Symposium on Logic In Computer Science, LICS 2009, 11-14 Aug 2009, Los Angeles, USA (pp. pp. 309-318).

Chen, Taolue and Pol, Jaco van de and Wang, Yanjing (2008) PDL over Accelerated Labeled Transition Systems. In: 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2008, 17-19 June 2008, Nanjing, China (pp. pp. 193-200).

This list was generated on Wed Dec 24 05:20:33 2014 CET.