Yangjia Li

According to our database, Yangjia Li authored at least 22 papers between 2014 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2022

A proof system for disjoint parallel quantum programs.

Mingsheng Ying, Li Zhou, Yangjia Li, Yuan Feng

Theor. Comput. Sci., 2022

Exploiting Quantum Assertions for Error Mitigation and Quantum Program Debugging.

Peiyi Li, Ji Liu, Yangjia Li, Huiyang Zhou

Proceedings of the IEEE 40th International Conference on Computer Design, 2022

2021

Indecision and delays are the parents of failure - taming them algorithmically by synthesizing delay-resilient control.

Mingshuai Chen, Martin Fränzle, Yangjia Li, Peter Nazier Mosaad, Naijun Zhan

Acta Informatica, 2021

Quantum Relational Hoare Logic with Expectations.

Yangjia Li, Dominique Unruh

Proceedings of the 48th International Colloquium on Automata, Languages, and Programming, 2021

2019

Quantum Hoare Logic.

Junyi Liu, Bohua Zhan, Shuling Wang, Shenggang Ying, Tao Liu, Yangjia Li, Mingsheng Ying, Naijun Zhan

Arch. Formal Proofs, 2019

Formal Verification of Quantum Algorithms Using Quantum Hoare Logic.

Junyi Liu, Bohua Zhan, Shuling Wang, Shenggang Ying, Tao Liu, Yangjia Li, Mingsheng Ying, Naijun Zhan

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

2018

Reachability Analysis for Solvable Dynamical Systems.

Ting Gan, Mingshuai Chen, Yangjia Li, Bican Xia, Naijun Zhan

IEEE Trans. Autom. Control., 2018

Algorithmic analysis of termination problems for quantum programs.

Yangjia Li, Mingsheng Ying

Proc. ACM Program. Lang., 2018

Reasoning about Parallel Quantum Programs.

Mingsheng Ying, Yangjia Li

CoRR, 2018

Robust Non-termination Analysis of Numerical Software.

Bai Xue, Naijun Zhan, Yangjia Li, Qiuye Wang

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2018

What's to Come is Still Unsure - Synthesizing Controllers Resilient to Delayed Interaction.

Mingshuai Chen, Martin Fränzle, Yangjia Li, Peter Nazier Mosaad, Naijun Zhan

Proceedings of the Automated Technology for Verification and Analysis, 2018

2017

Generating semi-algebraic invariants for non-autonomous polynomial hybrid systems.

Qiuye Wang, Yangjia Li, Bican Xia, Naijun Zhan

J. Syst. Sci. Complex., 2017

Safe Over- and Under-Approximation of Reachable Sets for Delay Differential Equations.

Bai Xue, Peter Nazier Mosaad, Martin Fränzle, Mingshuai Chen, Yangjia Li, Naijun Zhan

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2017

2016

A Theorem Prover for Quantum Hoare Logic and Its Applications.

Tao Liu, Yangjia Li, Shuling Wang, Mingsheng Ying, Naijun Zhan

CoRR, 2016

Approximate Bisimulation and Discretization of Hybrid CSP.

Gaogao Yan, Li Jiao, Yangjia Li, Shuling Wang, Naijun Zhan

Proceedings of the FM 2016: Formal Methods, 2016

Validated Simulation-Based Verification of Delayed Differential Dynamics.

Mingshuai Chen, Martin Fränzle, Yangjia Li, Peter Nazier Mosaad, Naijun Zhan

Proceedings of the FM 2016: Formal Methods, 2016

Computing reachable sets of linear vector fields revisited.

Ting Gan, Mingshuai Chen, Yangjia Li, Bican Xia, Naijun Zhan

Proceedings of the 15th European Control Conference, 2016

2015

Termination Analysis of Polynomial Programs with Equality Conditions.

Yangjia Li, Hui Lu, Naijun Zhan, Mingshuai Chen, Guohua Wu

CoRR, 2015

2014

Model-Checking Linear-Time Properties of Quantum Systems.

Mingsheng Ying, Yangjia Li, Nengkun Yu, Yuan Feng

ACM Trans. Comput. Log., 2014

Debugging Quantum Processes Using Monitoring Measurements.

Yangjia Li, Mingsheng Ying

CoRR, 2014

Termination of nondeterministic quantum programs.

Yangjia Li, Nengkun Yu, Mingsheng Ying

Acta Informatica, 2014

(Un)decidable Problems about Reachability of Quantum Systems.

Yangjia Li, Mingsheng Ying

Proceedings of the CONCUR 2014 - Concurrency Theory - 25th International Conference, 2014