( en | de | ru )

 

Disambiguation of "Dwyer, Matthew B."

Author of the publication

copydeleteadd this publication to your clipboard
Editorial Journal-First Publication for the Software Engineering Community.

, and . ACM Trans. Softw. Eng. Methodol., 25 (1): 1:1-1:2 (2015)

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.

Steve Goddard {Haitao Zhu, Matthew B. Dwyer}

Matthew B. Hastings

Eduard Dwyer

John Dwyer

Axel Dwyer-Holighaus

 

Other publications of authors with the same name

A Slice-Based Decision Procedure for Type-Based Partial Orders., , and . IJCAR, volume 6173 of Lecture Notes in Computer Science, page 156-170. Springer, (2010)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)Improving Timeliness and Visibility in Publishing Software Engineering Research.. IEEE Trans. Software Eng., 43 (3): 205-206 (2017)Deciding Type-Based Partial-Order Constraints for Path-Sensitive Analysis., , and . ACM Trans. Softw. Eng. Methodol., 24 (3): 15:1-15:33 (2015)Editorial Journal-First Publication for the Software Engineering Community., and . ACM Trans. Softw. Eng. Methodol., 25 (1): 1:1-1:2 (2015)SymInfer: Inferring Program Invariants using Symbolic States., , and . CoRR, (2019)Staging Static Analyses Using Abstraction-Based Program Specialization., , and . PLILP/ALP, volume 1490 of Lecture Notes in Computer Science, page 134-151. Springer, (1998)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)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)