Michael W Whalen
University of Minnesota-Twin Cities
H-index: 32
North America-United States
Top articles of Michael W Whalen
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
DRAT Proofs of Unsatisfiability for SAT Modulo Monotonic Theories | Nick Feng Alan J Hu Sam Bayless Syed M Iqbal Patrick Trentin | 2024/4/4 | |
Java Ranger: Supporting String and Array Operations in Java Ranger (Competition Contribution) | Soha Hussein Qiuchen Yan Stephen McCamant Vaibhav Sharma Michael W Whalen | 2023/4/20 | |
Transitioning legacy software to be provably correct | 2023/10/24 | ||
Proofs for Incremental SAT with Inprocessing | CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN–FMCAD 2023 | Benjamin Kiesl-Reiter Michael W Whalen | 2023/10/24 |
Automated analyses of IOT event monitoring systems | Andrew Apicelli Sam Bayless Ankush Das Andrew Gacek Dhiva Jaganathan | 2023/7/17 | |
Structural Test Input Generation for 3-Address Code Coverage Using Path-Merged Symbolic Execution | Soha Hussein Stephen McCamant Elena Sherman Vaibhav Sharma Mike Whalen | 2023/5/15 | |
Unsatisfiability proofs for distributed clause-sharing SAT solvers | Dawn Michaelson Dominik Schreiber Marijn JH Heule Benjamin Kiesl-Reiter Michael W Whalen | 2023/4/22 | |
Migrating solver state | Armin Biere Md Solimul Chowdhury Marijn JH Heule Benjamin Kiesl Michael W Whalen | 2022 | |
From partial to global assume-guarantee contracts: compositional realizability analysis in FRET | Anastasia Mavridou Andreas Katis Dimitra Giannakopoulou David Kooi Thomas Pressburger | 2021 | |
Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design–FMCAD 2021 | Ruzica Piskac Michael Whalen | 2021 | |
Composition of Fault Forests | Danielle Stewart Michael Whalen Mats Heimdahl Jing Liu Darren Cofer | 2021 | |
AADL-Based safety analysis using formal methods applied to aircraft digital systems | Reliability Engineering & System Safety | Danielle Stewart Jing Janet Liu Darren Cofer Mats Heimdahl Michael W Whalen | 2021/9/1 |
Anonymizing sensitive data in logic problems for input to a constraint solver | 2021/8/17 | ||
From Informal System Requirements to Formal Software Specifications-An Experience Report | Anitha Murugesan Daniel Cofer Michael Whalen Mats Heimdahl | 2021/7/9 | |
Java Ranger at SV-COMP 2020 (competition contribution) | Vaibhav Sharma Soha Hussein Michael W Whalen Stephen McCamant Willem Visser | 2020/4/17 | |
Introduction to the special issue on software engineering in practice | Foundations of Computing and Decision Sciences | Zbigniew Huzar Zygmunt Mazur Jerzy R Nawrocki | 2004 |
Synthesis of infinite-state systems with random behavior | Andreas Katis Grigory Fedyukovich Jeffrey Chen David Greve Sanjai Rayadurgam | 2020/12/21 | |
Java Ranger: Statically summarizing regions for efficient symbolic execution of Java | Vaibhav Sharma Soha Hussein Michael W Whalen Stephen McCamant Willem Visser | 2020/11/8 |