The following pages link to Matthew B. Dwyer (Q816195):
Displaying 18 items.
- Translating Java for multiple model checkers: The Bandera back-end (Q816196) (← links)
- Slicing software for model construction (Q1595472) (← links)
- Exploiting object escape and locking information in partial-order reductions for concurrent object-oriented programs (Q1888204) (← links)
- Systematic generation of diverse benchmarks for DNN verification (Q2225080) (← links)
- Structurally defined conditional data-flow static analysis (Q2324232) (← links)
- (Q2753762) (← links)
- (Q2769593) (← links)
- (Q2845504) (← links)
- (Q4414730) (← links)
- (Q4790340) (← links)
- (Q4791830) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5308403) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5308423) (← links)
- Programming Languages and Systems (Q5316585) (← links)
- Computer Aided Verification (Q5716547) (← links)
- A Slice-Based Decision Procedure for Type-Based Partial Orders (Q5747758) (← links)
- Sibyl Datasets (Q6726036) (← links)
- Specifying and Monitoring Safe Driving Properties with Scene Graphs (Q6726040) (← links)
