Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Matthew B. Dwyer

Structurally Defined Conditional Data-Flow Static Analysis

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Sensing Through the Continent: Towards Monitoring Migratory Birds Using Cellular Sensor Networks

2012English

Translating Java for Multiple Model Checkers: The Bandera Back-End

Formal Methods in System Design
HardwareTheoretical Computer ScienceArchitectureSoftware
2005English

Parallel Randomized State-Space Search

Proceedings - International Conference on Software Engineering
Software
2007English

Checking Strong Specifications Using an Extensible Software Model Checking Framework

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

Controlling Factors in Evaluating Path-Sensitive Error Detection Techniques

2006English

Property Specification Patterns for Finite-State Verification

1998English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy