Taolue Chen

According to our database1, Taolue Chen authored at least 88 papers between 2003 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
Decision procedures for path feasibility of string-manipulating programs with complex operations.
PACMPL, 2019

Deep finger texture learning for verifying people.
IET Biometrics, 2019

Quantitative Verification of Masked Arithmetic Programs Against Side-Channel Attacks.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

Separation Logic with Linearly Compositional Inductive Predicates and Set Data Constraints.
Proceedings of the SOFSEM 2019: Theory and Practice of Computer Science, 2019

DRONE: a tool to detect and repair directive defects in Java APIs documentation.
Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings, 2019

Road Tracking Using Deep Reinforcement Learning for Self-driving Car Applications.
Proceedings of the Progress in Computer Recognition Systems, 2019

2018
Polynomial-time algorithms for computing distances of fuzzy transition systems.
Theor. Comput. Sci., 2018

What is decidable about string constraints with the ReplaceAll function.
PACMPL, 2018

Bisimulations for fuzzy transition systems revisited.
Int. J. Approx. Reasoning, 2018

Android Stack Machine.
Proceedings of the Computer Aided Verification - 30th International Conference, 2018

2017
Augmenting Bug Localization with Part-of-Speech and Invocation.
International Journal of Software Engineering and Knowledge Engineering, 2017

The packing chromatic number of the infinite square lattice is between 13 and 15.
Discrete Applied Mathematics, 2017

Analyzing APIs documentation and code to detect directive defects.
Proceedings of the 39th International Conference on Software Engineering, 2017

ProEva: runtime proactive performance evaluation based on continuous-time markov chains.
Proceedings of the 39th International Conference on Software Engineering, 2017

Model Checking Pushdown Epistemic Game Structures.
Proceedings of the Formal Methods and Software Engineering, 2017

A Proof-Theoretic Trust and Reputation Model for VANET.
Proceedings of the 2017 IEEE European Symposium on Security and Privacy Workshops, 2017

Tractability of Separation Logic with Inductive Definitions: Beyond Lists.
Proceedings of the 28th International Conference on Concurrency Theory, 2017

Satisfiability of Compositional Separation Logic with Tree Predicates and Data Constraints.
Proceedings of the Automated Deduction - CADE 26, 2017

2016
Asymptotic Perturbation Bounds for Probabilistic Model Checking with Empirically Determined Probability Parameters.
IEEE Trans. Software Eng., 2016

A Computationally Grounded, Weighted Doxastic Logic.
Studia Logica, 2016

Formal Reasoning on Infinite Data Values: An Ongoing Quest.
Proceedings of the Engineering Trustworthy Software Systems - Second International School, 2016

Verifying Pushdown Multi-Agent Systems against Strategy Logics.
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

An Iterative Decision-Making Scheme for Markov Decision Processes and Its Application to Self-adaptive Systems.
Proceedings of the Fundamental Approaches to Software Engineering, 2016

Model based analysis of insider threats.
Proceedings of the 2016 International Conference On Cyber Security And Protection Of Digital Services (Cyber Security), 2016

A Complete Decision Procedure for Linearly Compositional Separation Logic with Data Constraints.
Proceedings of the Automated Reasoning - 8th International Joint Conference, 2016

Global Model Checking on Pushdown Multi-Agent Systems.
Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

2015
Continuous-time orbit problems are decidable in polynomial-time.
Inf. Process. Lett., 2015

On the Axiomatizability of Impossible Futures.
Logical Methods in Computer Science, 2015

Towards A Novel Approach for Defect Localization Based on Part-of-Speech and Invocation.
Proceedings of the 7th Asia-Pacific Symposium on Internetware, 2015

Analyzing Eventual Leader Election Protocols for Dynamic Systems by Probabilistic Model Checking.
Proceedings of the Cloud Computing and Security - First International Conference, 2015

A Probabilistic Analysis Framework for Malicious Insider Threats.
Proceedings of the Human Aspects of Information Security, Privacy, and Trust, 2015

On the Satisfiability of Indexed Linear Temporal Logics.
Proceedings of the 26th International Conference on Concurrency Theory, 2015

2014
Quantitative verification of implantable cardiac pacemakers over hybrid heart models.
Inf. Comput., 2014

On the Complexity of Computing Maximum Entropy for Markovian Models.
Proceedings of the 34th International Conference on Foundation of Software Technology and Theoretical Computer Science, 2014

On the total variation distance of labelled Markov chains.
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2014

Perturbation Analysis in Verification of Discrete-Time Markov Chains.
Proceedings of the CONCUR 2014 - Concurrency Theory - 25th International Conference, 2014

2013
On the complexity of model checking interval-valued discrete time Markov chains.
Inf. Process. Lett., 2013

Model Repair for Markov Decision Processes.
Proceedings of the Seventh International Symposium on Theoretical Aspects of Software Engineering, 2013

PRISM-games: A Model Checker for Stochastic Multi-Player Games.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013

Synthesis for Multi-objective Stochastic Games: An Application to Autonomous Urban Driving.
Proceedings of the Quantitative Evaluation of Systems - 10th International Conference, 2013

On Stochastic Games with Multiple Objectives.
Proceedings of the Mathematical Foundations of Computer Science 2013, 2013

A simulink hybrid heart model for quantitative verification of cardiac pacemakers.
Proceedings of the 16th international conference on Hybrid systems: computation and control, 2013

Solvency Markov Decision Processes with Interest.
Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2013

2012
Automatic Verification of Competitive Stochastic Systems.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012

Quantitative Verification of Implantable Cardiac Pacemakers.
Proceedings of the 33rd IEEE Real-Time Systems Symposium, 2012

Model Checking Stochastic Branching Processes.
Proceedings of the Mathematical Foundations of Computer Science 2012, 2012

Verification of linear duration properties over continuous-time markov chains.
Proceedings of the Hybrid Systems: Computation and Control (part of CPS Week 2012), 2012

A Compositional Specification Theory for Component Behaviours.
Proceedings of the Programming Languages and Systems, 2012

Playing Stochastic Games Precisely.
Proceedings of the CONCUR 2012 - Concurrency Theory - 23rd International Conference, 2012

2011
On the axiomatizability of priority II.
Theor. Comput. Sci., 2011

Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications
Logical Methods in Computer Science, 2011

Efficient CTMC Model Checking of Linear Real-Time Objectives.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2011

Observing Continuous-Time MDPs by 1-Clock Timed Automata.
Proceedings of the Reachability Problems - 5th International Workshop, 2011

Time-Bounded Verification of CTMCs against Real-Time Specifications.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2011

Verifying Team Formation Protocols with Probabilistic Model Checking.
Proceedings of the Computational Logic in Multi-Agent Systems, 2011

Reachability probabilities in Markovian Timed Automata.
Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011

2010
Towards Analysis of Semi-Markov Decision Processes.
Proceedings of the Artificial Intelligence and Computational Intelligence, 2010

2009
On metrics for probabilistic systems: Definitions and algorithms.
Computers & Mathematics with Applications, 2009

Undecidability of Cost-Bounded Reachability in Priced Probabilistic Timed Automata.
Proceedings of the Theory and Applications of Models of Computation, 6th Annual Conference, 2009

On Finite Bases for Weak Semantics: Failures Versus Impossible Futures.
Proceedings of the SOFSEM 2009: Theory and Practice of Computer Science, 2009

Quantitative Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications.
Proceedings of the 24th Annual IEEE Symposium on Logic in Computer Science, 2009

LTL Model Checking of Time-Inhomogeneous Markov Chains.
Proceedings of the Automated Technology for Verification and Analysis, 2009

2008
On the axiomatisability of priority.
Mathematical Structures in Computer Science, 2008

Ready to preorder: The case of weak process semantics.
Inf. Process. Lett., 2008

On finite alphabets and infinite bases.
Inf. Comput., 2008

Complete Axiomatization for Divergent-Sensitive Bisimulations in Basic Process Algebra with Prefix Iteration.
Electr. Notes Theor. Comput. Sci., 2008

PDL over Accelerated Labeled Transition Systems.
Proceedings of the Second IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering, 2008

Time-Abstracting Bisimulation for Probabilistic Timed Automata.
Proceedings of the Second IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering, 2008

On the Axiomatizability of Impossible Futures: Preorder versus Equivalence.
Proceedings of the Twenty-Third Annual IEEE Symposium on Logic in Computer Science, 2008

Towards the Complexity of Controls for Timed Automata with a Small Number of Clocks.
Proceedings of the Fifth International Conference on Fuzzy Systems and Knowledge Discovery, 2008

2007
Probabilistic Alternating-time Temporal Logic and Model Checking Algorithm.
Proceedings of the Fourth International Conference on Fuzzy Systems and Knowledge Discovery, 2007

On Behavioral Metric for Probabilistic Systems: Definition and Approximation Algorithm.
Proceedings of the Fourth International Conference on Fuzzy Systems and Knowledge Discovery, 2007

Equivalence Checking for Infinite Systems Using Parameterized Boolean Equation Systems.
Proceedings of the CONCUR 2007 - Concurrency Theory, 18th International Conference, 2007

2006
On the Complete Axiomatization for Prefix Iteration modulo Observation Congruence.
Acta Cybern., 2006

On the Axiomatizability of Priority.
Proceedings of the Automata, Languages and Programming, 33rd International Colloquium, 2006

On the Markovian Randomized Strategy of Controller for Markov Decision Processes.
Proceedings of the Fuzzy Systems and Knowledge Discovery, Third International Conference, 2006

On Finite Alphabets and Infinite Bases II: Completed and Ready Simulation.
Proceedings of the Foundations of Software Science and Computation Structures, 2006

On Finite Alphabets and Infinite Bases III: Simulation.
Proceedings of the CONCUR 2006 - Concurrency Theory, 17th International Conference, 2006

2005
A Modal Logic for pi-Calculus and Model Checking Algorithm.
Electr. Notes Theor. Comput. Sci., 2005

Structure Analysis for Dynamic Software Architecture.
Proceedings of the 6th ACIS International Conference on Software Engineering, 2005

On the Bisimulation Congruence in chi-Calculus.
Proceedings of the FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science, 2005

Structure Analysis for Dynamic Software Architecture Based on Spatial Logic.
Proceedings of the 29th Annual International Computer Software and Applications Conference, 2005

Analysis of A Leader Election Algorithm in uCRL.
Proceedings of the Fifth International Conference on Computer and Information Technology (CIT 2005), 2005

2004
Checking Strong Open Congruence in Chi -Calculus.
Electr. Notes Theor. Comput. Sci., 2004

Tree logic with recursion and model checking algorithm.
Proceedings of the IASTED Conference on Software Engineering and Applications, 2004

Towards a Model Logic for p-Calculus.
Proceedings of the 28th International Computer Software and Applications Conference (COMPSAC 2004), 2004

Framework of Performance Evaluation for Mobile Process Based on Mobile Ambient.
Proceedings of the 2004 International Conference on Computer and Information Technology (CIT 2004), 2004

2003
Intensionality of modal logic for Robust Ambient Calculus.
Electr. Notes Theor. Comput. Sci., 2003


  Loading...