Personal information

No personal information available

Activities

Education and qualifications (1)

University of Minnesota: Minneapolis, MN, US

1996-09-06 to 2005-03-10 | PhD (Computer Science)
Education
Source: Self-asserted source
Michael Whalen

Works (6)

Automated Analyses of IOT Event Monitoring Systems

2023 | Book chapter
Contributors: Andrew Apicelli; Sam Bayless; Ankush Das; Andrew Gacek; Dhiva Jaganathan; Saswat Padhi; Vaibhav Sharma; Michael W. Whalen; Raveesh Yadav
Source: check_circle
Crossref

Java Ranger: Supporting String and Array Operations in Java Ranger (Competition Contribution)

2023 | Book chapter
Contributors: Soha Hussein; Qiuchen Yan; Stephen McCamant; Vaibhav Sharma; Michael W. Whalen
Source: check_circle
Crossref

Unsatisfiability Proofs for Distributed Clause-Sharing SAT Solvers

2023 | Book chapter
Contributors: Dawn Michaelson; Dominik Schreiber; Marijn J. H. Heule; Benjamin Kiesl-Reiter; Michael W. Whalen
Source: check_circle
Crossref

Java Ranger at SV-COMP 2020 (Competition Contribution)

2020 | Book chapter
Contributors: Vaibhav Sharma; Soha Hussein; Michael W. Whalen; Stephen McCamant; Willem Visser
Source: check_circle
Crossref

One-Click Formal Methods

IEEE Software
2019-11 | Journal article
Contributors: John Backes; Carsten Varming; Michael Whalen; Pauline Bolignano; Byron Cook; Andrew Gacek; Kasper Soe Luckow; Neha Rungta; Martin Schaef; Cole Schlesinger et al.
Source: check_circle
Crossref

Guest editorial: advanced topics in automated software engineering

Automated Software Engineering
2018-12 | Journal article
Contributors: Lars Grunske; Mike Whalen
Source: check_circle
Crossref