Michael W Whalen

Emailmwwhalenumnedu

Accepting PhD Students

PhD projects

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

Research activity per year

University of Minnesota Twin Cities

University of Minnesota

Organizational unit: Campus

91 shared research output

College of Science & Engineering

University of Minnesota Twin Cities

Organizational unit: College

91 shared research output

University of Minnesota

Organizational unit: University

91 shared research output

Biotechnology Institute

College of Biological Sciences

Organizational unit: Institute/Center

2 shared research output

College of Biological Sciences

University of Minnesota Twin Cities

Organizational unit: College

2 shared research output

College of Education & Human Development

University of Minnesota Twin Cities

Organizational unit: College

1 shared research output

Software Engineering Center

Computer Science and Engineering

Organizational unit: Institute/Center

1 shared research output

Organizational Leadership, Policy and Development

College of Education & Human Development

Organizational unit: Department

1 shared research output

University of Minnesota Twin Cities

External organization: Academic

33 shared research output

Rockwell Collins

External organization: Corporate

21 shared research output

Advanced Technology Center

External organization: Unknown

6 shared research output

NASA Ames Research Center

External organization: Government

5 shared research output

University of South Carolina

External organization: Academic

4 shared research output

Directorate for Computer and Information Science and Engineering

External organization: Unknown

4 shared research output

University of Minnesota

External organization: Unknown

4 shared research output

National Science Foundation

External organization: Government

4 shared research output

University of Pennsylvania

External organization: Academic

4 shared research output

Google Inc.

External organization: Corporate

3 shared research output

Korea Advanced Institute of Science and Technology

External organization: Academic

2 shared research output

United States Air Force Institute of Technology

External organization: Government

2 shared research output

Wright-Patterson AFB

External organization: Academic

2 shared research output

National Aeronautics and Space Administration

External organization: Government

2 shared research output

Rockwell Collins

External organization: Unknown

2 shared research output

University of Minnesota Duluth

External organization: Academic

2 shared research output

Department of Computer Science and Engineering

External organization: Unknown

2 shared research output

NASA Langley Research Center

External organization: Government

2 shared research output

University of Waterloo

External organization: Academic

1 shared research output

University of St Andrews

External organization: Academic

1 shared research output

Humboldt University of Berlin

External organization: Academic

1 shared research output

University of Minnesotra Software Engineering Center

External organization: Unknown

1 shared research output

Advanced Technology Center

External organization: Unknown

1 shared research output

Commercial Systems Flight Control

External organization: Unknown

1 shared research output

Air Force Research Laboratories

External organization: Unknown

1 shared research output

Groq Inc.

External organization: Unknown

1 shared research output

Boeing

External organization: Corporate

1 shared research output

Princeton University

External organization: Academic

1 shared research output

Defense Advanced Research Projects Agency

External organization: Government

1 shared research output

University of New South Wales

External organization: Academic

1 shared research output

ONERA

External organization: Government

1 shared research output

Masaryk University

External organization: Academic

1 shared research output

Fastly

External organization: Unknown

1 shared research output

CSIRO

External organization: Government

1 shared research output

University of Iowa

External organization: Academic

1 shared research output

National Sleep Foundation

External organization: Unknown

1 shared research output

Fonds National de la Recherche Luxembourg

External organization: Unknown

1 shared research output

Department of Computer Science and Engineering

External organization: Unknown

1 shared research output

Lockheed Martin

External organization: Corporate

1 shared research output

Wright State University

External organization: Academic

1 shared research output

Trusted Systems

External organization: Unknown

1 shared research output

Department of Aeronautics and Astronautics

External organization: Unknown

1 shared research output

University of Luxembourg

External organization: Academic

1 shared research output

Carnegie Mellon University

External organization: Academic

1 shared research output

LinQuest Corporation

External organization: Corporate

1 shared research output

Galois Inc.

External organization: Unknown

1 shared research output

Michael W Whalen

Network