|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 7 occurrences of 7 keywords
|
|
|
|
|
Results
Found 43 publication records. Showing 43 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Taolue Chen, Vojtech Forejt, Marta Z. Kwiatkowska, David Parker, Aistis Simaitis |
Automatic Verification of Competitive Stochastic Systems.  |
TACAS  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Taolue Chen, Marco Diciolla, Marta Z. Kwiatkowska, Alexandru Mereacre |
Verification of linear duration properties over continuous-time markov chains. |
HSCC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Taolue Chen, Chris Chilton, Bengt Jonsson, Marta Z. Kwiatkowska |
A Compositional Specification Theory for Component Behaviours. |
ESOP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto, Taolue Chen, Anna Ingólfsdóttir, Bas Luttik, Jaco van de Pol |
On the axiomatizability of priority II. |
Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Taolue Chen, Marta Z. Kwiatkowska, David Parker, Aistis Simaitis |
Verifying Team Formation Protocols with Probabilistic Model Checking. |
CLIMA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Benoît Barbot, Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre |
Efficient CTMC Model Checking of Linear Real-Time Objectives. |
TACAS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Taolue Chen, Marco Diciolla, Marta Z. Kwiatkowska, Alexandru Mereacre |
Time-Bounded Verification of CTMCs against Real-Time Specifications. |
FORMATS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre |
Reachability probabilities in Markovian Timed Automata. |
CDC-ECE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre |
Observing Continuous-Time MDPs by 1-Clock Timed Automata. |
RP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Taolue Chen, Jian Lu |
Towards Analysis of Semi-Markov Decision Processes. |
AICI |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Taolue Chen, Tingting Han, Jian Lu |
On metrics for probabilistic systems: Definitions and algorithms. |
Computers & Mathematics with Applications |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jasper Berendsen, Taolue Chen, David N. Jansen |
Undecidability of Cost-Bounded Reachability in Priced Probabilistic Timed Automata. |
TAMC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre |
LTL Model Checking of Time-Inhomogeneous Markov Chains. |
ATVA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre |
Quantitative Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications. |
LICS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Taolue Chen, Wan Fokkink, Rob J. van Glabbeek |
On Finite Bases for Weak Semantics: Failures Versus Impossible Futures. |
SOFSEM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Taolue Chen, Wan Fokkink, Rob J. van Glabbeek |
Ready to preorder: The case of weak process semantics. |
Inf. Process. Lett. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto, Taolue Chen, Wan Fokkink, Anna Ingólfsdóttir |
On the axiomatisability of priority. |
Mathematical Structures in Computer Science |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Taolue Chen, Wan Fokkink, Bas Luttik, Sumit Nain |
On finite alphabets and infinite bases. |
Inf. Comput. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Taolue Chen, Jian Lu |
Complete Axiomatization for Divergent-Sensitive Bisimulations in Basic Process Algebra with Prefix Iteration. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Taolue Chen, Wan Fokkink, Rob J. van Glabbeek |
On Finite Bases for Weak Semantics: Failures versus Impossible Futures |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Taolue Chen, Jian Lu |
Towards the Complexity of Controls for Timed Automata with a Small Number of Clocks. |
FSKD |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Taolue Chen, Wan Fokkink |
On the Axiomatizability of Impossible Futures: Preorder versus Equivalence. |
LICS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Taolue Chen, Jaco van de Pol, Yanjing Wang |
PDL over Accelerated Labeled Transition Systems. |
TASE |
2008 |
DBLP DOI BibTeX RDF |
PDL, Accelerated Labeled Transition Systems |
| 1 | Taolue Chen, Tingting Han, Joost-Pieter Katoen |
Time-Abstracting Bisimulation for Probabilistic Timed Automata. |
TASE |
2008 |
DBLP DOI BibTeX RDF |
time-abstracting bisimulation, probabilistic timed automata |
| 1 | Taolue Chen, Bas Ploeger, Jaco van de Pol, Tim A. C. Willemse |
Equivalence Checking for Infinite Systems Using Parameterized Boolean Equation Systems. |
CONCUR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Taolue Chen, Tingting Han, Jian Lu |
On Behavioral Metric for Probabilistic Systems: Definition and Approximation Algorithm. |
FSKD |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Taolue Chen, Jian Lu |
Probabilistic Alternating-time Temporal Logic and Model Checking Algorithm. |
FSKD |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Taolue Chen, Tingting Han, Jian Lu |
On the Complete Axiomatization for Prefix Iteration modulo Observation Congruence. |
Acta Cybern. |
2006 |
DBLP BibTeX RDF |
|
| 1 | Taolue Chen, Wan Fokkink |
On Finite Alphabets and Infinite Bases III: Simulation. |
CONCUR |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto, Taolue Chen, Wan Fokkink, Anna Ingólfsdóttir |
On the Axiomatizability of Priority. |
ICALP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Taolue Chen, Tingting Han, Jian Lu |
On the Markovian Randomized Strategy of Controller for Markov Decision Processes. |
FSKD |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Taolue Chen, Wan Fokkink, Sumit Nain |
On Finite Alphabets and Infinite Bases II: Completed and Ready Simulation. |
FoSSaCS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Taolue Chen, Tingting Han, Jian Lu |
A Modal Logic for pi-Calculus and Model Checking Algorithm. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Tingting Han, Taolue Chen, Jian Lu |
Structure Analysis for Dynamic Software Architecture. |
SNPD |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Tingting Han, Taolue Chen, Jian Lu |
Structure Analysis for Dynamic Software Architecture Based on Spatial Logic. |
COMPSAC |
2005 |
DBLP DOI BibTeX RDF |
Model Checking Algorithm, Spatial logic, Dynamic Software Architecture |
| 1 | Taolue Chen, Tingting Han, Jian Lu |
Analysis of A Leader Election Algorithm in uCRL. |
CIT |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Taolue Chen, Tingting Han, Jian Lu |
On the Bisimulation Congruence in chi-Calculus. |
FSTTCS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Taolue Chen, Jingyang Zhou, Tingting Han, Jian Lu |
Checking Strong Open Congruence in Chi -Calculus. |
Electr. Notes Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Taolue Chen, Tingting Han, Jian Lu |
Tree logic with recursion and model checking algorithm. |
IASTED Conf. on Software Engineering and Applications |
2004 |
DBLP BibTeX RDF |
|
| 1 | Taolue Chen, Tingting Han, Jian Lu |
Towards a Model Logic for p-Calculus. |
COMPSAC |
2004 |
DBLP DOI BibTeX RDF |
Symbolic Transition Graph, Model Checking Algorithm, Modal Logic, ?-calculus |
| 1 | Taolue Chen, Tingting Han, Jian Lu |
Framework of Performance Evaluation for Mobile Process Based on Mobile Ambient. |
CIT |
2004 |
DBLP DOI BibTeX RDF |
Formal methodology, Software quantity, Performance evaluation, Process algebra, Mobile ambient |
| 1 | Taolue Chen, Tingting Han, Jian Lu |
Intensionality of modal logic for Robust Ambient Calculus. |
Electr. Notes Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #43 of 43 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")