Author of the publication

DCLINK: Bridging Data Constraint Changes and Implementations in FinTech Systems.

, , , , , , and . ASE, page 914-925. IEEE, (2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Poster: Symbolic Execution of MPI Programs., , , , , and . ICSE (2), page 809-810. IEEE Computer Society, (2015)ISBN 978-1-4799-1934-5 (Vol. I + II ???).Approximating Quantified SMT-Solving with SAT., , and . SSIRI (Companion), page 114-119. IEEE Computer Society, (2011)MPISE: Symbolic Execution of MPI Programs., , , , , and . HASE, page 181-188. IEEE Computer Society, (2015)MPI-SV: a symbolic verifier for MPI programs., , , and . ICSE (Companion Volume), page 93-96. ACM, (2020)Symbolic verification of message passing interface programs., , , , , , , and . ICSE, page 1248-1260. ACM, (2020)Counterexample-Preserving Reduction for Symbolic Model Checking., , , , , and . J. Appl. Math., (2014)Synchronization Error Detection of MPI Programs by Symbolic Execution., , , , and . APSEC (1), page 127-134. IEEE Computer Society, (2014)DCLINK: Bridging Data Constraint Changes and Implementations in FinTech Systems., , , , , , and . ASE, page 914-925. IEEE, (2023)Counterexample-Preserving Reduction for Symbolic Model Checking., , , , , and . ICTAC, volume 8049 of Lecture Notes in Computer Science, page 249-266. Springer, (2013)