( en | de | ru )

 

Disambiguierung von "Dwyer, Matthew B."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Extending JML for Modular Specification and Verification of Multi-threaded Programs.

, , , , , und . ECOOP, Volume 3586 von Lecture Notes in Computer Science, Seite 551-576. Springer, (2005)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Steve Goddard {Haitao Zhu, Matthew B. Dwyer}

Matthew B. Hastings

Eduard Dwyer

John Dwyer

Axel Dwyer-Holighaus

 

Weitere Publikationen von Autoren mit dem selben Namen

A Slice-Based Decision Procedure for Type-Based Partial Orders., , und . IJCAR, Volume 6173 von Lecture Notes in Computer Science, Seite 156-170. Springer, (2010)Generalized Abstract Symbolic Summaries for Differencing Heap-manipulating Programs., und . NASA Formal Methods, Volume NASA/CP-2009-215407 von NASA Conference Proceedings, Seite 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., , und . ACM Trans. Softw. Eng. Methodol., 24 (3): 15:1-15:33 (2015)Editorial Journal-First Publication for the Software Engineering Community., und . ACM Trans. Softw. Eng. Methodol., 25 (1): 1:1-1:2 (2015)SymInfer: Inferring Program Invariants using Symbolic States., , und . CoRR, (2019)Staging Static Analyses Using Abstraction-Based Program Specialization., , und . PLILP/ALP, Volume 1490 von Lecture Notes in Computer Science, Seite 134-151. Springer, (1998)Verifying Atomicity Specifications for Concurrent Object-Oriented Software Using Model-Checking., , und . VMCAI, Volume 2937 von Lecture Notes in Computer Science, Seite 175-190. Springer, (2004)Monitoring Finite State Properties: Algorithmic Approaches and Their Relative Strengths., , und . RV, Volume 7186 von Lecture Notes in Computer Science, Seite 381-395. Springer, (2011)Using the Bandera Tool Set to Model-Check Properties of Concurrent Java Software., und . CONCUR, Volume 2154 von Lecture Notes in Computer Science, Seite 39-58. Springer, (2001)