List of works - Taolue Chen

Adversarial Robustness of Deep Code Comment Generation

scientific article published in 2022

Automatic source code summarization with graph attention networks

scientific article published in 2022

Compositional Verification of First-Order Masking Countermeasures against Power Side-Channel Attacks

scientific article published on 05 December 2023

ESampler: Boosting sampling of satisfying assignments for Boolean formulas via derivation

scientific article published in 2022

Efficient CTMC Model Checking of Linear Real-Time Objectives

article

How Important Are Good Method Names in Neural Code Generation? A Model Robustness Perspective

scientific article published on 23 October 2023

LLM Meets Bounded Model Checking: Neuro-symbolic Loop Invariant Inference

scientific article published on 18 October 2024

LTL Model Checking of Time-Inhomogeneous Markov Chains

Model-based automated testing of JavaScript Web applications via longer test sequences

scientific article published on 11 November 2021

Observing Continuous-Time MDPs by 1-Clock Timed Automata

On the axiomatizability of priority II

scientific article published in June 2011

PDL over Accelerated Labeled Transition Systems

scientific article published in June 2008

Precise Quantitative Analysis of Binarized Neural Networks: A BDD-based Approach

scientific article published in 2022

Quantitative Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications

article

Reachability probabilities in Markovian Timed Automata

Sequence-Aware API Recommendation Based on Collaborative Filtering

scientific article published in 2022

Solving string constraints with Regex-dependent functions through transducers with priorities and variables

scientific article published on 12 January 2022

Time-Abstracting Bisimulation for Probabilistic Timed Automata

Verification of linear duration properties over continuous-time markov chains

scientific article published in November 2013

What is decidable about string constraints with the ReplaceAll function

scientific article published in 2018

List of works by Taolue Chen

Adversarial Robustness of Deep Code Comment Generation

Automatic source code summarization with graph attention networks

Compositional Verification of First-Order Masking Countermeasures against Power Side-Channel Attacks

ESampler: Boosting sampling of satisfying assignments for Boolean formulas via derivation

Efficient CTMC Model Checking of Linear Real-Time Objectives

How Important Are Good Method Names in Neural Code Generation? A Model Robustness Perspective

LLM Meets Bounded Model Checking: Neuro-symbolic Loop Invariant Inference

LTL Model Checking of Time-Inhomogeneous Markov Chains

Model-based automated testing of JavaScript Web applications via longer test sequences

Observing Continuous-Time MDPs by 1-Clock Timed Automata

On the axiomatizability of priority II

PDL over Accelerated Labeled Transition Systems

Precise Quantitative Analysis of Binarized Neural Networks: A BDD-based Approach

Quantitative Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications

Reachability probabilities in Markovian Timed Automata

Sequence-Aware API Recommendation Based on Collaborative Filtering

Solving string constraints with Regex-dependent functions through transducers with priorities and variables

Time-Abstracting Bisimulation for Probabilistic Timed Automata

Verification of linear duration properties over continuous-time markov chains

What is decidable about string constraints with the ReplaceAll function