( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
SyncGen: An Aspect-Oriented Framework for Synchronization.

, , , и . TACAS, том 2988 из Lecture Notes in Computer Science, стр. 158-162. Springer, (2004)

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.

Steve Goddard {Haitao Zhu, Matthew B. Dwyer}

Matthew B. Hastings

Eduard Dwyer

John Dwyer

Axel Dwyer-Holighaus

 

Другие публикации лиц с тем же именем

Generalized Abstract Symbolic Summaries for Differencing Heap-manipulating Programs., и . NASA Formal Methods, том NASA/CP-2009-215407 из NASA Conference Proceedings, стр. 46-55. (2009)A Language Framework for Expressing Checkable Properties of Dynamic Software., , , и . SPIN, том 1885 из Lecture Notes in Computer Science, стр. 205-223. Springer, (2000)Foundations of the Bandera Abstraction Tools., , , и . The Essence of Computation, том 2566 из Lecture Notes in Computer Science, стр. 172-203. Springer, (2002)A Slice-Based Decision Procedure for Type-Based Partial Orders., , и . IJCAR, том 6173 из Lecture Notes in Computer Science, стр. 156-170. Springer, (2010)Staging Static Analyses Using Abstraction-Based Program Specialization., , и . PLILP/ALP, том 1490 из Lecture Notes in Computer Science, стр. 134-151. Springer, (1998)Using the Bandera Tool Set to Model-Check Properties of Concurrent Java Software., и . CONCUR, том 2154 из Lecture Notes in Computer Science, стр. 39-58. Springer, (2001)Monitoring Finite State Properties: Algorithmic Approaches and Their Relative Strengths., , и . RV, том 7186 из Lecture Notes in Computer Science, стр. 381-395. Springer, (2011)Verifying Atomicity Specifications for Concurrent Object-Oriented Software Using Model-Checking., , и . VMCAI, том 2937 из Lecture Notes in Computer Science, стр. 175-190. Springer, (2004)Model Checking Generic Container Implementations., и . Generic Programming, том 1766 из Lecture Notes in Computer Science, стр. 162-177. Springer, (1998)A Formal Study of Slicing for Multi-threaded Programs with JVM Concurrency Primitives., , , , и . SAS, том 1694 из Lecture Notes in Computer Science, стр. 1-18. Springer, (1999)