| 2021 | SAFECOMP | Composition of Fault Forests. | Danielle Stewart, Michael W. Whalen, Mats Per Erik Heimdahl, Jing Liu, Darren D. Cofer |
| 2019 | RE | Requirements Reference Models Revisited: Accommodating Hierarchy in System Design. | Anitha Murugesan, Sanjai Rayadurgam, Mats Per Erik Heimdahl |
| 2017 | ISSRE | Toward Rigorous Object-Code Coverage Criteria. | Taejoon Byun, Vaibhav Sharma, Sanjai Rayadurgam, Stephen McCamant, Mats Per Erik Heimdahl |
| 2016 | RE | Complete Traceability for Requirements in Satisfaction Arguments. | Anitha Murugesan, Michael W. Whalen, Elaheh Ghassabani, Mats Per Erik Heimdahl |
| 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 |
| 2015 | SAFECOMP | Representing Confidence in Assurance Case Evidence. | Lian Duan, Sanjai Rayadurgam, Mats Per Erik Heimdahl, Oleg Sokolsky, 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 | Steering model-based oracles to admit real program behaviors. | Gregory Gay, Sanjai Rayadurgam, Mats Per Erik Heimdahl |
| 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 | Structuring simulink models for verification and reuse. | Michael W. Whalen, Anitha Murugesan, Sanjai Rayadurgam, Mats Per Erik Heimdahl |
| 2013 | ICSE | Modeling and requirements on the physical side of cyber-physical systems. | Mats Per Erik Heimdahl, Lian Duan, Anitha Murugesan, Sanjai Rayadurgam |
| 2013 | ICSE | Modes, features, and state-based modeling for clarity and flexibility. | 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 | ICSE | Automated oracle creation support, or: How I learned to stop worrying about fault propagation and love mutation testing. | Matt Staats, Gregory Gay, 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 | REFSQ | Trace Queries for Safety Requirements in High Assurance Systems. | Jane Cleland-Huang, Mats Per Erik Heimdahl, Jane Huffman Hayes, Robyn R. Lutz, Patrick Maeder |
| 2011 | EMSOFT | Challenges in the regulatory approval of medical cyber-physical systems. | Oleg Sokolsky, Insup Lee, Mats Per Erik Heimdahl |
| 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 |
| 2009 | RV | Hardware Supported Flexible Monitoring: Early Results. | Antonia Zhai, Guojin He, Mats Per Erik Heimdahl |
| 2008 | ICFEM | Requirements Coverage as an Adequacy Measure for Conformance Testing. | Ajitha Rajan, Michael W. Whalen, Matt Staats, Mats Per Erik Heimdahl |
| 2008 | ICFEM | Partial Translation Verification for Untrusted Code-Generators. | Matthew 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 | FASE | Flexible and Extensible Notations for Modeling Languages. | Jimin Gao, Mats Per Erik Heimdahl, Eric Van Wyk |
| 2007 | ICSE | Safety and Software Intensive Systems: Challenges Old and New. | Mats Per Erik Heimdahl |
| 2006 | APSEC | Interaction Testing in Model-Based Development: Effect on Model-Coverage. | Rene C. Bryce, Ajitha Rajan, Mats Per Erik Heimdahl |
| 2006 | COMPSAC | On the Distribution of Property Violations in Formal Models: An Initial Study. | Jimin Gao, Mats Per Erik Heimdahl, David Owen, Tim Menzies |
| 2006 | ISSTA | Coverage metrics for requirements-based testing. | Michael W. Whalen, Ajitha Rajan, Mats Per Erik Heimdahl, Steven P. Miller |
| 2005 | COMPSAC | Coverage-Directed Test Generation with Model Checkers: Challenges and Opportunities. | George Devaraj, Mats Per Erik Heimdahl, Donglin Liang |
| 2005 | COMPSAC | Model-Based Testing: Challenges Ahead. | Mats Per Erik Heimdahl |
| 2005 | SAFECOMP | Model-Based Safety Analysis of Simulink Models Using SCADE Design Verifier. | Anjali Joshi, Mats Per Erik Heimdahl |
| 2003 | FM | Proving the Shalls. | Steven P. Miller, Alan C. Tribble, Mats Per Erik Heimdahl |
| 2003 | ICFEM | Using PVS to Prove Properties of Systems Modelled in a Synchronous Dataflow Language. | Sanjai Rayadurgam, Anjali Joshi, Mats Per Erik Heimdahl |
| 2003 | RE | NIMBUS: A Tool for Specification Centered Development. | Mats Per Erik Heimdahl, Michael W. Whalen, Jeffrey M. Thompson |
| 2003 | SEW | On the Advantages of Approximate vs. Complete Verification: Bigger Models, Faster, Less Memory, Usually Accurate. | David Owen, Tim Menzies, Mats Per Erik Heimdahl, Jimin Gao |
| 2003 | SEW | Generating MC/DC Adequate Test Sequences Through Model Checking. | Sanjai Rayadurgam, Mats Per Erik Heimdahl |
| 2001 | RE | Extending the Product Family Approach to Support n-Dimensional and Hierarchical Product Lines. | Jeffrey M. Thompson, Mats Per Erik Heimdahl |
| 1999 | RSP | An Integrated Development Environment for Prototyping Safety Critical Systems. | Jeffrey M. Thompson, Mats Per Erik Heimdahl |
| 1998 | COMPSAC | A General Framework for Interconnecting Annotations of Software Systems. | Michael V. Stein, Mats Per Erik Heimdahl, John Riedl |
| 1997 | ICFEM | Specification and Analysis of System Level Inter-Component Communication. | Mats Per Erik Heimdahl, Jeffrey M. Thompson |
| 1997 | RE | Generating Code from Hierarchical State-Based Requirements. | Mats Per Erik Heimdahl, David J. Keenan |
| 1997 | RE | Software Requirements Specification and System Safety. | Mats Per Erik Heimdahl, Jon Damon Reese |
| 1996 | ISSTA | Experiences and Lessons from the Analysis of TCAS II. | Mats Per Erik Heimdahl |
| 1995 | ICSE | Completeness and Consistency Analysis of State-Based Requirements. | Mats Per Erik Heimdahl, Nancy G. Leveson |