E-LIB Suche - Ergebnisse für: Chen, Mingshuai

1

MorphQPV: Exploiting Isomorphism in Quantum Programs to Fac..:

, In: Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 3,

Tan, Siwei ; Xiang, Debin ; Lu, Liqiang... - p. 671-688 , 2024

Link: https://dl.acm.org/doi/1..

2

QuFEM: Fast and Accurate Quantum Readout Calibration Using ..:

, In: Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2,

Tan, Siwei ; Lu, Liqiang ; Zhang, Hanyu... - p. 948-963 , 2024

Link: https://dl.acm.org/doi/1..

3

Probabilistic Program Verification via Inductive Synthesis ..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Batz, Kevin ; Chen, Mingshuai ; Junges, Sebastian... - p. 410-429 , 2023

Link: https://doi.org/10.1007/..

4

Does a Program Yield the Right Distribution?: Verifying Pro..:

, In: Computer Aided Verification; Lecture Notes in Computer Science,

Chen, Mingshuai ; Katoen, Joost-Pieter ; Klinkenberg, Lutz. - p. 79-101 , 2022

Link: https://doi.org/10.1007/..

5

Synthesizing Invariant Barrier Certificates via Difference-..:

, In: Computer Aided Verification; Lecture Notes in Computer Science,

Wang, Qiuye ; Chen, Mingshuai ; Xue, Bai.. - p. 443-466 , 2021

Link: https://doi.org/10.1007/..

6

Latticed k-Induction with an Application to Probabilistic P..:

, In: Computer Aided Verification; Lecture Notes in Computer Science,

Batz, Kevin ; Chen, Mingshuai ; Kaminski, Benjamin Lucien... - p. 524-549 , 2021

Link: https://doi.org/10.1007/..

7

Unbounded-Time Safety Verification of Stochastic Differenti..:

, In: Computer Aided Verification; Lecture Notes in Computer Science,

Feng, Shenghua ; Chen, Mingshuai ; Xue, Bai.. - p. 327-348 , 2020

Link: https://doi.org/10.1007/..

8

Learning One-Clock Timed Automata:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

An, Jie ; Chen, Mingshuai ; Zhan, Bohua.. - p. 444-462 , 2020

Link: https://doi.org/10.1007/..

9

NIL: Learning Nonlinear Interpolants:

, In: Lecture Notes in Computer Science; Automated Deduction – CADE 27,

Chen, Mingshuai ; Wang, Jian ; An, Jie... - p. 178-196 , 2019

Link: https://doi.org/10.1007/..

10

Taming Delays in Dynamical Systems: Unbounded Verification ..:

, In: Computer Aided Verification; Lecture Notes in Computer Science,

Feng, Shenghua ; Chen, Mingshuai ; Zhan, Naijun.. - p. 650-669 , 2019

Link: https://doi.org/10.1007/..

11

Validated simulation-based verification of delayed differen..:

, In: FM 2016: Formal Methods / edited by John Fitzgerald, Constance Heitmeyer, Stefania Gnesi, Anna Philippou

Chen, Mingshuai ; Fränzle, Martin ; Li, Yangija... (2016) - p. 137-154

Link: https://doi.org/10.1007/..

12

Two-Stage Neural Network for ICASSP 2023 Speech Signal Impr..:

, In: ICASSP 2023 - 2023 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP),

Liu, Mingshuai ; Lv, Shubo ; Zhang, Zihan... - p. 1-2 , 2023

Link: https://doi.org/10.1109/..

13

Two-Step Band-Split Neural Network Approach For Full-Band R..:

, In: ICASSP 2023 - 2023 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP),

Zhang, Zihan ; Zhang, Shimin ; Liu, Mingshuai... - p. 1-2 , 2023

Link: https://doi.org/10.1109/..