Yuan Feng

Publication Activity (10 Years)

Years Active: 2004-2024
Publications (10 Years): 49

Top Topics

Probabilistic Automata

Top Venues

J. Comput. Syst. Sci.

Publications

Ji Guan, Yuan Feng, Andrea Turrini, Mingsheng Ying
Measurement-Based Verification of Quantum Markov Chains. CAV (3) (2024)
Jiawei Ren, Yulei Sui, Xiao Cheng, Yuan Feng, Jianjun Zhao
Dynamic Transitive Closure-based Static Analysis through the Lens of Quantum Search. ACM Trans. Softw. Eng. Methodol. 33 (5) (2024)
Chang Liu, Xiwei Wu, Yuan Feng, Qinxiang Cao, Junchi Yan
Towards General Loop Invariant Generation via Coordinating Symbolic Execution and Large Language Models. CoRR (2023)
Sanjiang Li, Ky Dan Nguyen, Zachary Clare, Yuan Feng
Single-Qubit Gates Matter for Optimising Quantum Circuit Depth in Qubit Mapping. CoRR (2023)
Yuan Feng, Sanjiang Li
Abstract interpretation, Hoare logic, and incorrectness logic for quantum programs. Inf. Comput. 294 (2023)
Yuan Feng, Li Zhou, Yingte Xu
Refinement calculus of quantum programs with projective assertions. CoRR (2023)
Afrad Basheer, Yuan Feng, Christopher Ferrie, Sanjiang Li
Alternating Layered Variational Quantum Circuits Can Be Classically Optimized Efficiently Using Classical Shadows. AAAI (2023)
Sanjiang Li, Ky Dan Nguyen, Zachary Clare, Yuan Feng
Single-Qubit Gates Matter for Optimising Quantum Circuit Depth in Qubit Mapping. ICCAD (2023)
Chen Fu, Andrea Turrini, Xiaowei Huang, Lei Song, Yuan Feng, Lijun Zhang
Model Checking for Probabilistic Multiagent Systems. J. Comput. Sci. Technol. 38 (5) (2023)
Xiangzhen Zhou, Yuan Feng, Sanjiang Li
Supervised Learning Enhanced Quantum Circuit Transformation. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 42 (2) (2023)
Xin Hong, Wei-Jia Huang, Wei-Chen Chien, Yuan Feng, Min-Hsiu Hsieh, Sanjiang Li, Chia-Shun Yeh, Mingsheng Ying
Decision Diagrams for Symbolic Verification of Quantum Circuits. QCE (2023)
Likang Liu, Keke Sun, Chunlai Zhou, Yuan Feng
Two Views of Constrained Differential Privacy: Belief Revision and Update. AAAI (2023)
Xin Hong, Xiangzhen Zhou, Sanjiang Li, Yuan Feng, Mingsheng Ying
A Tensor Network based Decision Diagram for Representation of Quantum Circuits. ACM Trans. Design Autom. Electr. Syst. 27 (6) (2022)
Yuxin Deng, Yuan Feng
Formal semantics of a classical-quantum language. Theor. Comput. Sci. 913 (2022)
Yuan Feng, Sanjiang Li
Abstract interpretation, Hoare logic, and incorrectness logic for quantum programs. CoRR (2022)
Mingsheng Ying, Li Zhou, Yangjia Li, Yuan Feng
A proof system for disjoint parallel quantum programs. Theor. Comput. Sci. 897 (2022)
Xin Hong, Yuan Feng, Sanjiang Li, Mingsheng Ying
Equivalence Checking of Dynamic Quantum Circuits. ICCAD (2022)
Xiangzhen Zhou, Yuan Feng, Sanjiang Li
Quantum Circuit Transformation: A Monte Carlo Tree Search Framework. ACM Trans. Design Autom. Electr. Syst. 27 (6) (2022)
Yuan Feng, Sanjiang Li, Mingsheng Ying
Verification of Distributed Quantum Programs. ACM Trans. Comput. Log. 23 (3) (2022)
Wenjun Shi, Qinxiang Cao, Yuxin Deng, Hanru Jiang, Yuan Feng
Symbolic Reasoning About Quantum Circuits in Coq. J. Comput. Sci. Technol. 36 (6) (2021)
Sanjiang Li, Xiangzhen Zhou, Yuan Feng
Qubit Mapping Based on Subgraph Isomorphism and Filtered Depth-Limited Search. IEEE Trans. Computers 70 (11) (2021)
Ming Xu, Cheng-Chao Huang, Yuan Feng
Measuring the constrained reachability in quantum Markov chains. Acta Informatica 58 (6) (2021)
Yuxin Deng, Yuan Feng
Formal Semantics of a Classical-Quantum Language. CoRR (2021)
Yuan Feng, Sanjiang Li, Mingsheng Ying
Verification of Distributed Quantum Programs. CoRR (2021)
Mingsheng Ying, Yuan Feng, Shenggang Ying
Optimal Policies for Quantum Markov Decision Processes. Int. J. Autom. Comput. 18 (3) (2021)
Xin Hong, Mingsheng Ying, Yuan Feng, Xiangzhen Zhou, Sanjiang Li
Approximate Equivalence Checking of Noisy Quantum Circuits. DAC (2021)
Xin Hong, Mingsheng Ying, Yuan Feng, Xiangzhen Zhou, Sanjiang Li
Approximate Equivalence Checking of Noisy Quantum Circuits. CoRR (2021)
Xin Hong, Xiangzhen Zhou, Sanjiang Li, Yuan Feng, Mingsheng Ying
A Tensor Network based Decision Diagram for Representation of Quantum Circuits. CoRR (2020)
Wenjun Shi, Qinxiang Cao, Yuxin Deng, Hanru Jiang, Yuan Feng
Symbolic Reasoning about Quantum Circuits in Coq. CoRR (2020)
Xiangzhen Zhou, Yuan Feng, Sanjiang Li
A Monte Carlo Tree Search Framework for Quantum Circuit Transformation. ICCAD (2020)
Xiangzhen Zhou, Sanjiang Li, Yuan Feng
Quantum Circuit Transformation Based on Simulated Annealing and Heuristic Search. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39 (12) (2020)
Yuan Feng, Mingsheng Ying
Quantum Hoare logic with classical variables. CoRR (2020)
Ji Guan, Yuan Feng, Andrea Turrini, Mingsheng Ying
Model Checking Applied to Quantum Physics. CoRR (2019)
Chen Fu, Andrea Turrini, Xiaowei Huang, Lei Song, Yuan Feng, Lijun Zhang
Model Checking Probabilistic Epistemic Logic for Probabilistic Multiagent Systems. IJCAI (2018)
Ji Guan, Yuan Feng, Mingsheng Ying
Decomposition of quantum Markov chains and its applications. J. Comput. Syst. Sci. 95 (2018)
Ji Guan, Yuan Feng, Mingsheng Ying
Super-activating quantum memory with entanglement. Quantum Inf. Comput. 18 (13&14) (2018)
Mingsheng Ying, Yuan Feng
Model Checking Quantum Systems - A Survey. CoRR (2018)
Ji Guan, Yuan Feng, Mingsheng Ying
Super-activating Quantum Memory with Entanglement. CoRR (2017)
Yuan Feng, Ernst Moritz Hahn, Andrea Turrini, Shenggang Ying
Model Checking Omega-regular Properties for Quantum Markov Chains . CONCUR (2017)
Shenggang Ying, Mingsheng Ying, Yuan Feng
Quantum Privacy-Preserving Perceptron. CoRR (2017)
Yuxin Deng, Yuan Feng
Probabilistic bisimilarity as testing equivalence. Inf. Comput. 257 (2017)
Guoxin Su, Taolue Chen, Yuan Feng, David S. Rosenblum
ProEva: runtime proactive performance evaluation based on continuous-time markov chains. ICSE (2017)
Yuxin Deng, Yuan Feng
Bisimulations for probabilistic linear lambda calculi. TASE (2017)
Shenggang Ying, Mingsheng Ying, Yuan Feng
Quantum Privacy-Preserving Data Analytics. CoRR (2017)
Yuan Feng, Lijun Zhang
Precisely deciding CSL formulas through approximate model checking for CTMCs. J. Comput. Syst. Sci. 89 (2017)
Yong Li, Lei Song, Yuan Feng, Lijun Zhang
Verify LTL with Fairness Assumptions Efficiently. CoRR (2016)
Guoxin Su, Yuan Feng, Taolue Chen, David S. Rosenblum
Asymptotic Perturbation Bounds for Probabilistic Model Checking with Empirically Determined Probability Parameters. IEEE Trans. Software Eng. 42 (7) (2016)
Yong Li, Lei Song, Yuan Feng, Lijun Zhang
Verify LTL with Fairness Assumptions Efficiently. TIME (2016)
Guoxin Su, Taolue Chen, Yuan Feng, David S. Rosenblum, P. S. Thiagarajan
An Iterative Decision-Making Scheme for Markov Decision Processes and Its Application to Self-adaptive Systems. FASE (2016)
Yuxin Deng, Yuan Feng, Ugo Dal Lago
On Coinduction and Quantum Lambda Calculi. CONCUR (2015)
Lvzhou Li, Yuan Feng
On hybrid models of quantum finite automata. J. Comput. Syst. Sci. 81 (7) (2015)
Shenggang Ying, Mingsheng Ying, Yuan Feng
Quantum Privacy-Preserving Data Mining. CoRR (2015)
Yuan Feng, Ernst Moritz Hahn, Andrea Turrini, Lijun Zhang
QPMC: A Model Checker for Quantum Programs and Protocols. FM (2015)
Yuan Feng, Lijun Zhang
A nearly optimal upper bound for the self-stabilization time in Herman's algorithm. Distributed Comput. 28 (4) (2015)
Yuan Feng, Mingsheng Ying
Toward automatic verification of quantum cryptographic protocols. CoRR (2015)
Yuan Feng, Mingsheng Ying
Toward Automatic Verification of Quantum Cryptographic Protocols. CONCUR (2015)
Lvzhou Li, Yuan Feng
Quantum Markov chains: Description of hybrid systems, decidability of equivalence, and model checking linear-time properties. Inf. Comput. 244 (2015)
Yuan Feng, Yuxin Deng, Mingsheng Ying
Symbolic Bisimulation for Quantum Processes. ACM Trans. Comput. Log. 15 (2) (2014)
Yuan Feng, Lijun Zhang
A Nearly Optimal Upper Bound for the Self-Stabilization Time in Herman's Algorithm. CONCUR (2014)
Taolue Chen, Yuan Feng, David S. Rosenblum, Guoxin Su
Perturbation Analysis in Verification of Discrete-Time Markov Chains. CONCUR (2014)
Mingsheng Ying, Nengkun Yu, Yuan Feng
Alternation in Quantum Programming: From Superposition of Data to Superposition of Programs. CoRR (2014)
Mingsheng Ying, Yangjia Li, Nengkun Yu, Yuan Feng
Model-Checking Linear-Time Properties of Quantum Systems. ACM Trans. Comput. Log. 15 (3) (2014)
Yuan Feng, Lijun Zhang
When Equivalence and Bisimulation Join Forces in Probabilistic Automata. FM (2014)
Mingsheng Ying, Yuan Feng, Nengkun Yu
Quantum Information-Flow Security: Noninterference and Access Control. CSF (2013)
Mingsheng Ying, Yuan Feng, Nengkun Yu
Quantum Information-Flow Security: Noninterference and Access Control CoRR (2013)
Yuan Feng, Nengkun Yu, Mingsheng Ying
Reachability Analysis of Recursive Quantum Markov Chains. MFCS (2013)
Mingsheng Ying, Nengkun Yu, Yuan Feng, Runyao Duan
Verification of quantum programs. Sci. Comput. Program. 78 (9) (2013)
Yuan Feng, Wenhui Fan, Yuanhui Qin
A Discrete Event Simulation Based Production Line Optimization through Markov Decision Process. AsiaSim (2013)
Yuan Feng, Nengkun Yu, Mingsheng Ying
Model checking quantum Markov chains. J. Comput. Syst. Sci. 79 (7) (2013)
Yuan Feng, Lijun Zhang
A tighter bound for the self-stabilization time in Herman's algorithm. Inf. Process. Lett. 113 (13) (2013)
Yuan Feng, Lijun Zhang
When Equivalence and Bisimulation Join Forces in Probabilistic Automata. CoRR (2013)
Shenggang Ying, Yuan Feng, Nengkun Yu, Mingsheng Ying
Reachability Probabilities of Quantum Markov Chains. CONCUR (2013)
Yuan Feng, Runyao Duan, Mingsheng Ying
Bisimulation for Quantum Processes. ACM Trans. Program. Lang. Syst. 34 (4) (2012)
Mingsheng Ying, Nengkun Yu, Yuan Feng
Defining Quantum Control Flow CoRR (2012)
Yuan Feng, Nengkun Yu, Mingsheng Ying
Model checking quantum Markov chains CoRR (2012)
Yuxin Deng, Yuan Feng
Open Bisimulation for Quantum Processes. IFIP TCS (2012)
Yuan Feng, Yuxin Deng, Mingsheng Ying
Symbolic bisimulation for quantum processes CoRR (2012)
Yuxin Deng, Yuan Feng
Open Bisimulation for Quantum Processes CoRR (2012)
Mingsheng Ying, Nengkun Yu, Yuan Feng, Runyao Duan
Verification of Quantum Programs CoRR (2011)
Mingsheng Ying, Yuan Feng
A Flowchart Language for Quantum Programming. IEEE Trans. Software Eng. 37 (4) (2011)
Yuan Feng, Runyao Duan, Mingsheng Ying
Bisimulation for quantum processes. POPL (2011)
Yuan Feng, Runyao Duan, Mingsheng Ying
Bisimulation for quantum processes CoRR (2010)
Mingsheng Ying, Yuan Feng
Quantum loop programs. Acta Informatica 47 (4) (2010)
Yuan Feng, Yaoyun Shi
Characterizing locally indistinguishable orthogonal product states. IEEE Trans. Inf. Theory 55 (6) (2009)
Yuan Feng, Runyao Duan, Mingsheng Ying
Locally undetermined states, generalized schmidt decomposition, and application in deistributed comuting. Quantum Inf. Comput. 9 (11&12) (2009)
Mingsheng Ying, Yuan Feng, Runyao Duan, Zheng-Feng Ji
An algebra of quantum processes. ACM Trans. Comput. Log. 10 (3) (2009)
Mingsheng Ying, Yuan Feng
An Algebraic Language for Distributed Quantum Computing. IEEE Trans. Computers 58 (6) (2009)
Runyao Duan, Yuan Feng, Yu Xin, Mingsheng Ying
Distinguishability of Quantum States by Separable Operations. IEEE Trans. Inf. Theory 55 (3) (2009)
Zheng-Feng Ji, Guoming Wang, Runyao Duan, Yuan Feng, Mingsheng Ying
Parameter Estimation of Quantum Channels. IEEE Trans. Inf. Theory 54 (11) (2008)
Yuan Feng, Runyao Duan, Zheng-Feng Ji, Mingsheng Ying
Proof rules for the correctness of quantum programs. Theor. Comput. Sci. 386 (1-2) (2007)
Mingsheng Ying, Jianxin Chen, Yuan Feng, Runyao Duan
Commutativity of quantum weakest preconditions. Inf. Process. Lett. 104 (4) (2007)
Yuan Feng, Runyao Duan, Zheng-Feng Ji, Mingsheng Ying
Probabilistic bisimulations for quantum processes. Inf. Comput. 205 (11) (2007)
Runyao Duan, Yuan Feng, Mingsheng Ying
Partial Recovery of Quantum Entanglement. IEEE Trans. Inf. Theory 52 (7) (2006)
Runyao Duan, Zheng-Feng Ji, Yuan Feng, Mingsheng Ying
Some Issues in Quantum Information Theory. J. Comput. Sci. Technol. 21 (5) (2006)
Yuan Feng, Runyao Duan, Zheng-Feng Ji, Mingsheng Ying
Probabilistic bisimilarities between quantum processes CoRR (2006)
Yuan Feng, Runyao Duan, Zheng-Feng Ji, Mingsheng Ying
Proof rules for purely quantum programs CoRR (2005)
Yuan Feng, Runyao Duan, Mingsheng Ying
Catalyst-assisted probabilistic entanglement transformation. IEEE Trans. Inf. Theory 51 (3) (2005)
Yuan Feng, Mingsheng Ying
Process Algebra Approach to Reasoning About Concurrent Actions. J. Comput. Sci. Technol. 19 (3) (2004)