Author of the publication

Foundations of the Bandera Abstraction Tools.

, , , and . The Essence of Computation, volume 2566 of Lecture Notes in Computer Science, page 172-203. Springer, (2002)

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

Foundations of the Bandera Abstraction Tools., , , and . The Essence of Computation, volume 2566 of Lecture Notes in Computer Science, page 172-203. Springer, (2002)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)Using the Bandera Tool Set to Model-Check Properties of Concurrent Java Software., and . CONCUR, volume 2154 of Lecture Notes in Computer Science, page 39-58. Springer, (2001)A Formal Study of Slicing for Multi-threaded Programs with JVM Concurrency Primitives., , , , and . SAS, volume 1694 of Lecture Notes in Computer Science, page 1-18. Springer, (1999)Verifying Atomicity Specifications for Concurrent Object-Oriented Software Using Model-Checking., , and . VMCAI, volume 2937 of Lecture Notes in Computer Science, page 175-190. Springer, (2004)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)Staging Static Analyses Using Abstraction-Based Program Specialization., , and . PLILP/ALP, volume 1490 of Lecture Notes in Computer Science, page 134-151. Springer, (1998)Model Checking Generic Container Implementations., and . Generic Programming, volume 1766 of Lecture Notes in Computer Science, page 162-177. Springer, (1998)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)Analyzing Interaction Orderings with Model Checking., , , and . ASE, page 154-163. IEEE Computer Society, (2004)