Author Publications

Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Date | Item Type
Jump to: 2011 | 2010 | 2009 | 2008 | 2007
Number of items: 9.

2011

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

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 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

2010

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

2009

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 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

2008

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 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).

2007

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).

This list was generated on Tue Jul 29 05:18:57 2014 CEST.