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 001 (MEMOCODE, 2015)

Complete Traceability for Requirements in Satisfaction Arguments. - Anitha Murugesan; Michael W. Whalen; Elaheh Ghassabani; Mats Per Erik Heimdahl (RE, 2016)

Efficient generation of inductive validity cores for safety properties. - Elaheh Ghassabani; Andrew Gacek; Michael W. Whalen (SIGSOFT FSE, 2016)

Stateless Code Model Checking of Information Flow Security. - Elaheh Ghassabani; Mohammad Abdollahi Azgomi (CoRR, 2016)

A New Approach to Stateless Model Checking of LTL Properties. - Elaheh Ghassabani; Mohammad Abdollahi Azgomi (CoRR, 2016)

DSCMC: Distributed Stateless Code Model Checker. - Elaheh Ghassabani; Mohammad Abdollahi Azgomi (CoRR, 2016)

Efficient generation of all minimal inductive validity cores. - Elaheh Ghassabani; Michael W. Whalen; Andrew Gacek (FMCAD, 2017)

Proof-based coverage metrics for formal verification. - Elaheh Ghassabani; Andrew Gacek; Michael W. Whalen; Mats Per Erik Heimdahl; Lucas G. Wagner (ASE, 2017)

The JKind Model Checker. - Andrew Gacek; John Backes; Mike Whalen; Lucas G. Wagner; Elaheh Ghassabani (CAV (2), 2018)

Online Enumeration of All Minimal Inductive Validity Cores. - Jaroslav Bendík; Elaheh Ghassabani; Michael W. Whalen; Ivana Cerná (SEFM, 2018)

Inductive Validity Cores. - Elaheh Ghassabani; Michael W. Whalen; Andrew Gacek; Mats Per Erik Heimdahl (IEEE Trans. Software Eng., 2021)