Taolue Chen

	2012
43		Taolue Chen, Chris Chilton, Bengt Jonsson, Marta Z. Kwiatkowska: A Compositional Specification Theory for Component Behaviours. ESOP 2012: 148-168
42		Taolue Chen, Marco Diciolla, Marta Z. Kwiatkowska, Alexandru Mereacre: Verification of linear duration properties over continuous-time markov chains. HSCC 2012: 265-274
41		Taolue Chen, Vojtech Forejt, Marta Z. Kwiatkowska, David Parker, Aistis Simaitis: Automatic Verification of Competitive Stochastic Systems. TACAS 2012: 315-330
	2011
40		Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre: Reachability probabilities in Markovian Timed Automata. CDC-ECE 2011: 7075-7080
39		Taolue Chen, Marta Z. Kwiatkowska, David Parker, Aistis Simaitis: Verifying Team Formation Protocols with Probabilistic Model Checking. CLIMA 2011: 190-207
38		Taolue Chen, Marco Diciolla, Marta Z. Kwiatkowska, Alexandru Mereacre: Time-Bounded Verification of CTMCs against Real-Time Specifications. FORMATS 2011: 26-42
37		Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre: Observing Continuous-Time MDPs by 1-Clock Timed Automata. RP 2011: 2-25
36		Benoît Barbot, Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre: Efficient CTMC Model Checking of Linear Real-Time Objectives. TACAS 2011: 128-142
35		Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre: Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications Logical Methods in Computer Science 7(1): (2011)
34		Luca Aceto, Taolue Chen, Anna Ingólfsdóttir, Bas Luttik, Jaco van de Pol: On the axiomatizability of priority II. Theor. Comput. Sci. 412(28): 3035-3044 (2011)
	2010
33		Taolue Chen, Jian Lu: Towards Analysis of Semi-Markov Decision Processes. AICI (1) 2010: 41-48
	2009
32		Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre: LTL Model Checking of Time-Inhomogeneous Markov Chains. ATVA 2009: 104-119
31		Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre: Quantitative Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications. LICS 2009: 309-318
30		Taolue Chen, Wan Fokkink, Rob J. van Glabbeek: On Finite Bases for Weak Semantics: Failures Versus Impossible Futures. SOFSEM 2009: 167-180
29		Jasper Berendsen, Taolue Chen, David N. Jansen: Undecidability of Cost-Bounded Reachability in Priced Probabilistic Timed Automata. TAMC 2009: 128-137
28		Taolue Chen, Tingting Han, Jian Lu: On metrics for probabilistic systems: Definitions and algorithms. Computers & Mathematics with Applications 57(6): 991-999 (2009)
	2008
27		Taolue Chen, Jian Lu: Towards the Complexity of Controls for Timed Automata with a Small Number of Clocks. FSKD (5) 2008: 134-138
26		Taolue Chen, Wan Fokkink: On the Axiomatizability of Impossible Futures: Preorder versus Equivalence. LICS 2008: 156-165
25		Taolue Chen, Tingting Han, Joost-Pieter Katoen: Time-Abstracting Bisimulation for Probabilistic Timed Automata. TASE 2008: 177-184
24		Taolue Chen, Jaco van de Pol, Yanjing Wang: PDL over Accelerated Labeled Transition Systems. TASE 2008: 193-200
23		Taolue Chen, Wan Fokkink, Rob J. van Glabbeek: On Finite Bases for Weak Semantics: Failures versus Impossible Futures CoRR abs/0810.4904: (2008)
22		Taolue Chen, Jian Lu: Complete Axiomatization for Divergent-Sensitive Bisimulations in Basic Process Algebra with Prefix Iteration. Electr. Notes Theor. Comput. Sci. 212: 55-70 (2008)
21		Taolue Chen, Wan Fokkink, Bas Luttik, Sumit Nain: On finite alphabets and infinite bases. Inf. Comput. 206(5): 492-519 (2008)
20		Taolue Chen, Wan Fokkink, Rob J. van Glabbeek: Ready to preorder: The case of weak process semantics. Inf. Process. Lett. 109(2): 104-111 (2008)
19		Luca Aceto, Taolue Chen, Wan Fokkink, Anna Ingólfsdóttir: On the axiomatisability of priority. Mathematical Structures in Computer Science 18(1): 5-28 (2008)
	2007
18		Taolue Chen, Bas Ploeger, Jaco van de Pol, Tim A. C. Willemse: Equivalence Checking for Infinite Systems Using Parameterized Boolean Equation Systems. CONCUR 2007: 120-135
17		Taolue Chen, Tingting Han, Jian Lu: On Behavioral Metric for Probabilistic Systems: Definition and Approximation Algorithm. FSKD (2) 2007: 21-25
16		Taolue Chen, Jian Lu: Probabilistic Alternating-time Temporal Logic and Model Checking Algorithm. FSKD (2) 2007: 35-39
	2006
15		Taolue Chen, Wan Fokkink: On Finite Alphabets and Infinite Bases III: Simulation. CONCUR 2006: 421-434
14		Taolue Chen, Tingting Han, Jian Lu: On the Markovian Randomized Strategy of Controller for Markov Decision Processes. FSKD 2006: 149-158
13		Taolue Chen, Wan Fokkink, Sumit Nain: On Finite Alphabets and Infinite Bases II: Completed and Ready Simulation. FoSSaCS 2006: 1-15
12		Luca Aceto, Taolue Chen, Wan Fokkink, Anna Ingólfsdóttir: On the Axiomatizability of Priority. ICALP (2) 2006: 480-491
11		Taolue Chen, Tingting Han, Jian Lu: On the Complete Axiomatization for Prefix Iteration modulo Observation Congruence. Acta Cybern. 17(3): (2006)
	2005
10		Taolue Chen, Tingting Han, Jian Lu: Analysis of A Leader Election Algorithm in uCRL. CIT 2005: 841-847
9		Tingting Han, Taolue Chen, Jian Lu: Structure Analysis for Dynamic Software Architecture Based on Spatial Logic. COMPSAC (1) 2005: 71-76
8		Taolue Chen, Tingting Han, Jian Lu: On the Bisimulation Congruence in chi-Calculus. FSTTCS 2005: 128-139
7		Tingting Han, Taolue Chen, Jian Lu: Structure Analysis for Dynamic Software Architecture. SNPD 2005: 338
6		Taolue Chen, Tingting Han, Jian Lu: A Modal Logic for pi-Calculus and Model Checking Algorithm. Electr. Notes Theor. Comput. Sci. 123: 19-33 (2005)
	2004
5		Taolue Chen, Tingting Han, Jian Lu: Framework of Performance Evaluation for Mobile Process Based on Mobile Ambient. CIT 2004: 540-545
4		Taolue Chen, Tingting Han, Jian Lu: Towards a Model Logic for p-Calculus. COMPSAC 2004: 330-335
3		Taolue Chen, Tingting Han, Jian Lu: Tree logic with recursion and model checking algorithm. IASTED Conf. on Software Engineering and Applications 2004: 588-593
2		Taolue Chen, Jingyang Zhou, Tingting Han, Jian Lu: Checking Strong Open Congruence in Chi -Calculus. Electr. Notes Theor. Comput. Sci. 91: 4-20 (2004)
	2003
1		Taolue Chen, Tingting Han, Jian Lu: Intensionality of modal logic for Robust Ambient Calculus. Electr. Notes Theor. Comput. Sci. 85(1): 25-38 (2003)

Coauthor Index

1	Luca Aceto	[12] [19] [34]
2	Benoît Barbot	[36]
3	Jasper Berendsen	[29]
4	Chris Chilton	[43]
5	Marco Diciolla	[38] [42]
6	Wan Fokkink	[12] [13] [15] [19] [20] [21] [23] [26] [30]
7	Vojtech Forejt	[41]
8	Rob J. van Glabbeek	[20] [23] [30]
9	Tingting Han	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [14] [17] [25] [28] [31] [32] [35] [36] [37] [40]
10	Anna Ingólfsdóttir	[12] [19] [34]
11	David N. Jansen	[29]
12	Bengt Jonsson	[43]
13	Joost-Pieter Katoen	[25] [31] [32] [35] [36] [37] [40]
14	Marta Z. Kwiatkowska	[38] [39] [41] [42] [43]
15	Jian Lu (Jian Lü)	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [14] [16] [17] [22] [27] [28] [33]
16	Bas Luttik (S. P. Luttik)	[21] [34]
17	Alexandru Mereacre	[31] [32] [35] [36] [37] [38] [40] [42]
18	Sumit Nain	[13] [21]
19	David Parker	[39] [41]
20	Bas Ploeger	[18]
21	Jaco van de Pol	[18] [24] [34]
22	Aistis Simaitis	[39] [41]
23	Yanjing Wang	[24]
24	Tim A. C. Willemse	[18]
25	Jingyang Zhou	[2]

Last update Tue May 29 01:28:40 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page