Michael W Whalen

PhD

Accepting PhD Students

PhD projects

AMASE: Model based safety analysis
ARCHER: Compositional verification of systems-of-systems
SNOW CRASH: White box fuzz testing

19972021

Research activity per year

Filter
Finished

Search results