Author of the publication

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

Failure-Divergence Refinement of Compensating Communicating Processes., , and . FM, volume 6664 of Lecture Notes in Computer Science, page 262-277. Springer, (2011)Symbolic Verification of MPI Programs with Non-deterministic Synchronizations., , , and . SETTA, volume 12153 of Lecture Notes in Computer Science, page 160-176. Springer, (2020)A Runtime Monitoring Based Fuzzing Framework for Temporal Properties., , , , and . ISSRE Workshops, page 300-301. IEEE, (2021)An Interface Theory Based Approach to Verification of Web Services., , , , and . COMPSAC (2), page 139-144. IEEE Computer Society, (2006)0-7695-2655-1.Topology-Aware Deployment of Scientific Applications in Cloud Computing., , , , and . IEEE CLOUD, page 319-326. IEEE Computer Society, (2012)CSP based Formal Modeling and Verification of Behavior Trees., , , and . QRS Companion, page 1-2. IEEE, (2023)A Contract-based Approach to Specifying and Verifying Safety Critical Systems., , and . FESCA@ETAPS, volume 176 of Electronic Notes in Theoretical Computer Science, page 89-103. Elsevier, (2006)MPI-SV: a symbolic verifier for MPI programs., , , and . ICSE (Companion Volume), page 93-96. ACM, (2020)MPISE: Symbolic Execution of MPI Programs., , , , , and . HASE, page 181-188. IEEE Computer Society, (2015)Partial Solution Based Constraint Solving Cache in Symbolic Execution., , , , , , and . Proc. ACM Softw. Eng., 1 (FSE): 2493-2514 (2024)