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

Improving Timeliness and Visibility in Publishing Software Engineering Research.. IEEE Trans. Software Eng., 43 (3): 205-206 (2017)SymInfer: Inferring Program Invariants using Symbolic States., , and . CoRR, (2019)A Language Framework for Expressing Checkable Properties of Dynamic Software., , , and . SPIN, volume 1885 of Lecture Notes in Computer Science, page 205-223. Springer, (2000)Foundations of the Bandera Abstraction Tools., , , and . The Essence of Computation, volume 2566 of Lecture Notes in Computer Science, page 172-203. Springer, (2002)Generalized Abstract Symbolic Summaries for Differencing Heap-manipulating Programs., and . NASA Formal Methods, volume NASA/CP-2009-215407 of NASA Conference Proceedings, page 46-55. (2009)Monitoring Finite State Properties: Algorithmic Approaches and Their Relative Strengths., , and . RV, volume 7186 of Lecture Notes in Computer Science, page 381-395. Springer, (2011)A Compact Petri Net Representation and Its Implications for Analysis., and . IEEE Trans. Software Eng., 22 (11): 794-811 (1996)Finding feasible abstract counter-examples., , and . Int. J. Softw. Tools Technol. Transf., 5 (1): 34-48 (2003)Expressing checkable properties of dynamic systems: the Bandera Specification Language., , , and . Int. J. Softw. Tools Technol. Transf., 4 (1): 34-56 (2002)PCV: A Point Cloud-Based Network Verifier., , and . CoRR, (2023)