Michael W. Whalen
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
40
Venues
16
Active years
2000–2026
Best venue rank
A*
Where they publish
Papers
40 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CAV | A Neurosymbolic Approach to Natural Language Formalization and Verification. | Chenyang An, Sam Bayless, Stefano Buliani, Darion Cassel, Byron Cook, Duncan Clough, Rmi Delmas, Nafi Diallo, Ferhat Erata, Nick Feng, Dimitra Giannakopoulou, Aman Goel, Aditya Gokhale, Joe Hendrix, Victor Heorhiadi, Marc Hudak, Dejan Jovanovic, Andrew M. Kent, Benjamin Kiesl-Reiter, Jeffrey J. Kuna, Nadia Labai, Joseph Lilien, Divya Raghunathan, Zvonimir Rakamaric, Niloofar Razavi, Michael Tautschnig, Ali Torkamani, Nathaniel Weir, Michael W. Whalen, Jianan Yao |
| 2025 | ICSE | Formally Verified Cloud-Scale Authorization. | Aleks Chakarov, Jaco Geldenhuys, Matthew Heck, Michael Hicks, Sam Huang, Georges-Axel Jaloyan, Anjali Joshi, K. Rustan M. Leino, Mikael Mayer, Sean McLaughlin, Akhilesh Mritunjai, Clment Pit-Claudel, Sorawee Porncharoenwase, Florian Rabe, Marianna Rapoport, Giles Reger, Cody Roux, Neha Rungta, Robin Salkeld, Matthias Schlaipfer, Daniel Schoepe, Johanna Schwartzentruber, Serdar Tasiran, Aaron Tomb, Emina Torlak, Jean-Baptiste Tristan, Lucas G. Wagner, Michael W. Whalen, Remy Willems, Tongtong Xiang, Taejoon Byun, Joshua M. Cohen, Ruijie Fang, Junyoung Jang, Jakob Rath, Hira Taqdees Syeda, Dominik Wagner, Yongwei Yuan |
| 2024 | FMCAD | SMT-D: New Strategies for Portfolio-Based SMT Solving. | Clark W. Barrett, Pei-Wei Chen, Byron Cook, Bruno Dutertre, Robert B. Jones, Nham Le, Andrew Reynolds, Kunal Sheth, Christopher Stephens, Michael W. Whalen |
| 2023 | CAV | Automated Analyses of IOT Event Monitoring Systems. | Andrew Apicelli, Sam Bayless, Ankush Das, Andrew Gacek, Dhiva Jaganathan, Saswat Padhi, Vaibhav Sharma, Michael W. Whalen, Raveesh Yadav |
| 2023 | FMCAD | Proofs for Incremental SAT with Inprocessing. | Benjamin Kiesl-Reiter, Michael W. Whalen |
| 2023 | TACAS | Java Ranger: Supporting String and Array Operations in Java Ranger (Competition Contribution). | Soha Hussein, Qiuchen Yan, Stephen McCamant, Vaibhav Sharma, Michael W. Whalen |
| 2023 | TACAS | Unsatisfiability Proofs for Distributed Clause-Sharing SAT Solvers. | Dawn Michaelson, Dominik Schreiber, Marijn J. H. Heule, Benjamin Kiesl-Reiter, Michael W. Whalen |
| 2022 | SAT | Migrating Solver State. | Armin Biere, Md. Solimul Chowdhury, Marijn J. H. Heule, Benjamin Kiesl, Michael W. Whalen |
| 2021 | FM | From Partial to Global Assume-Guarantee Contracts: Compositional Realizability Analysis in FRET. | Anastasia Mavridou, Andreas Katis, Dimitra Giannakopoulou, David Kooi, Thomas Pressburger, Michael W. Whalen |
| 2021 | SAFECOMP | Composition of Fault Forests. | Danielle Stewart, Michael W. Whalen, Mats Per Erik Heimdahl, Jing Liu, Darren D. Cofer |
| 2020 | TACAS | Java Ranger at SV-COMP 2020 (Competition Contribution). | Vaibhav Sharma, Soha Hussein, Michael W. Whalen, Stephen McCamant, Willem Visser |
| 2018 | SEFM | Online Enumeration of All Minimal Inductive Validity Cores. | Jaroslav Bendk, Elaheh Ghassabani, Michael W. Whalen, Ivana Cern |
| 2018 | TACAS | Validity-Guided Synthesis of Reactive Systems from Assume-Guarantee Contracts. | Andreas Katis, Grigory Fedyukovich, Huajun Guo, Andrew Gacek, John Backes, Arie Gurfinkel, Michael W. Whalen |
| 2017 | FMCAD | Efficient generation of all minimal inductive validity cores. | Elaheh Ghassabani, Michael W. Whalen, Andrew Gacek |
| 2016 | ICSE | Towards synthesis from assume-guarantee contracts involving infinite theories: a preliminary report. | Andreas Katis, Andrew Gacek, Michael W. Whalen |
| 2016 | RE | Complete Traceability for Requirements in Satisfaction Arguments. | Anitha Murugesan, Michael W. Whalen, Elaheh Ghassabani, Mats Per Erik Heimdahl |
| 2015 | ICSE | A Flexible and Non-intrusive Approach for Computing Complex Structural Coverage Metrics. | Michael W. Whalen, Suzette Person, Neha Rungta, Matt Staats, Daniela Grijincu |
| 2015 | ISSRE | Efficient observability-based test generation by dynamic symbolic execution. | Dongjiang You, Sanjai Rayadurgam, Michael W. Whalen, Mats Per Erik Heimdahl, Gregory Gay |
| 2015 | MEMOCODE | Hierarchical multi-formalism proofs of cyber-physical systems. | Michael W. Whalen, Sanjai Rayadurgam, Elaheh Ghassabani, Anitha Murugesan, Oleg Sokolsky, Mats Per Erik Heimdahl, Insup Lee |
| 2014 | ICSE | Analysis and testing of PLEXIL plans. | Jason Biatek, Michael W. Whalen, Mats Per Erik Heimdahl, Sanjai Rayadurgam, Michael R. Lowry |
| 2014 | ICSE | Moving the goalposts: coverage satisfaction is not enough. | Gregory Gay, Matt Staats, Michael W. Whalen, Mats Per Erik Heimdahl |
| 2014 | ICSE | Exploring the twin peaks using probabilistic verification techniques. | Anitha Murugesan, Lu Feng, Mats Per Erik Heimdahl, Sanjai Rayadurgam, Michael W. Whalen, Insup Lee |
| 2014 | ICSE | Helping system engineers bridge the peaks. | Neha Rungta, Oksana Tkachuk, Suzette Person, Jason Biatek, Michael W. Whalen, Joseph Castle, Karen Gundy-Burlet |
| 2014 | ICSE | Structuring simulink models for verification and reuse. | Michael W. Whalen, Anitha Murugesan, Sanjai Rayadurgam, Mats Per Erik Heimdahl |
| 2013 | ICSE | Observable modified Condition/Decision coverage. | Michael W. Whalen, Gregory Gay, Dongjiang You, Mats Per Erik Heimdahl, Matt Staats |
| 2012 | FASE | On the Danger of Coverage Directed Test Case Generation. | Matt Staats, Gregory Gay, Michael W. Whalen, Mats Per Erik Heimdahl |
| 2012 | RE | Your what is my how: Why requirements and architectural design should be iterative. | Michael W. Whalen, Anitha Murugesan, Mats Per Erik Heimdahl |
| 2012 | TACAS | The Guardol Language and Verification System. | David S. Hardin, Konrad Slind, Michael W. Whalen, Tuan-Hung Pham |
| 2011 | ICSE | Programs, tests, and oracles: the foundations of testing revisited. | Matt Staats, Michael W. Whalen, Mats Per Erik Heimdahl |
| 2011 | ICSE | Better testing through oracle selection. | Matt Staats, Michael W. Whalen, Mats Per Erik Heimdahl |
| 2011 | ISSTA | Polyglot: modeling and analysis for multiple Statechart formalisms. | Daniel Balasubramanian, Corina S. Pasareanu, Michael W. Whalen, Gabor Karsai, Michael R. Lowry |
| 2009 | ICFEM | Development of Security Software: A High Assurance Methodology. | David S. Hardin, T. Douglas Hiratzka, D. Randolph Johnson, Lucas G. Wagner, Michael W. Whalen |
| 2008 | ICFEM | Requirements Coverage as an Adequacy Measure for Conformance Testing. | Ajitha Rajan, Michael W. Whalen, Matt Staats, Mats Per Erik Heimdahl |
| 2008 | ICSE | The effect of program and model structure on mc/dc test adequacy coverage. | Ajitha Rajan, Michael W. Whalen, Mats Per Erik Heimdahl |
| 2007 | FMICS | Integration of Formal Analysis into a Model-Based Software Development Process. | Michael W. Whalen, Darren D. Cofer, Steven P. Miller, Bruce H. Krogh, Walter Storm |
| 2006 | ISSTA | Coverage metrics for requirements-based testing. | Michael W. Whalen, Ajitha Rajan, Mats Per Erik Heimdahl, Steven P. Miller |
| 2003 | RE | NIMBUS: A Tool for Specification Centered Development. | Mats Per Erik Heimdahl, Michael W. Whalen, Jeffrey M. Thompson |
| 2002 | CADE | AutoBayes/CC - Combining Program Synthesis with Automatic Code Certification - System Description. | Michael W. Whalen, Johann Schumann, Bernd Fischer |
| 2002 | FM | Synthesizing Certified Code. | Michael W. Whalen, Johann Schumann, Bernd Fischer |
| 2000 | ICSE | High-integrity code generation for state-based formalisms. | Michael W. Whalen |