( en | de | ru )

 

Disambiguation of "Dwyer, Matthew B."

Author of the publication

copydeleteadd this publication to your clipboard
Formal Software Analysis Emerging Trends in Software Model Checking

, , , , and . Future of Software Engineering, 2007. FOSE '07, page 120--136. (2007)
DOI: 10.1109/FOSE.2007.6

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

Software Model Checking: The Bandera approach.. FMOODS, volume 209 of IFIP Conference Proceedings, page 3-4. Kluwer, (2002)Exploiting Partial Success in Applying Automated Formal Methods.. ICFEM, volume 6447 of Lecture Notes in Computer Science, page 21. Springer, (2010)Reducing irrelevant trace variations., , and . ASE, page 477-480. ACM, (2007)The hidden models of model checking., , and . Softw. Syst. Model., 11 (4): 541-555 (2012)SyncGen: An Aspect-Oriented Framework for Synchronization., , , and . TACAS, volume 2988 of Lecture Notes in Computer Science, page 158-162. Springer, (2004)Finding Feasible Counter-examples when Model Checking Abstracted Java Programs., , and . TACAS, volume 2031 of Lecture Notes in Computer Science, page 284-298. Springer, (2001)CIVL: Applying a General Concurrency Verification Framework to C/Pthreads Programs (Competition Contribution)., , , , , , and . TACAS, volume 9636 of Lecture Notes in Computer Science, page 908-911. Springer, (2016)Cadena: An Integrated Development Environment for Analysis, Synthesis, and Verification of Component-Based Systems., , , , , , , , and . FASE, volume 2984 of Lecture Notes in Computer Science, page 160-164. Springer, (2004)A Case Study in Domain-Customized Model Checking for Real-Time Component Software., , , and . ISoLA, volume 4313 of Lecture Notes in Computer Science, page 161-180. Springer, (2004)Checking JML specifications using an extensible software model checking framework., , , and . Int. J. Softw. Tools Technol. Transf., 8 (3): 280-299 (2006)