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

Fingerprint

The Fingerprint is created by mining the titles and abstracts of the person's research outputs and projects/funding awards to create an index of weighted terms from discipline-specific thesauri.

Computer Science

Keyphrases

Engineering