Elaheh Ghassabani

Publication Activity (10 Years)

Years Active: 2015-2021
Publications (10 Years): 12

Top Topics

Formal Verification

Pspace Complete

Top Venues

Publications

Elaheh Ghassabani, Michael W. Whalen, Andrew Gacek, Mats Per Erik Heimdahl
Inductive Validity Cores. IEEE Trans. Software Eng. 47 (2) (2021)
Andrew Gacek, John Backes, Mike Whalen, Lucas G. Wagner, Elaheh Ghassabani
The JKind Model Checker. CAV (2) (2018)
Jaroslav Bendík, Elaheh Ghassabani, Michael W. Whalen, Ivana Cerná
Online Enumeration of All Minimal Inductive Validity Cores. SEFM (2018)
Andrew Gacek, John Backes, Mike Whalen, Lucas G. Wagner, Elaheh Ghassabani
The JKind Model Checker. CoRR (2017)
Elaheh Ghassabani, Michael W. Whalen, Andrew Gacek
Efficient generation of all minimal inductive validity cores. FMCAD (2017)
Elaheh Ghassabani, Andrew Gacek, Michael W. Whalen, Mats Per Erik Heimdahl, Lucas G. Wagner
Proof-based coverage metrics for formal verification. ASE (2017)
Elaheh Ghassabani, Mohammad Abdollahi Azgomi
Stateless Code Model Checking of Information Flow Security. CoRR (2016)
Elaheh Ghassabani, Mohammad Abdollahi Azgomi
DSCMC: Distributed Stateless Code Model Checker. CoRR (2016)
Anitha Murugesan, Michael W. Whalen, Elaheh Ghassabani, Mats Per Erik Heimdahl
Complete Traceability for Requirements in Satisfaction Arguments. RE (2016)
Elaheh Ghassabani, Andrew Gacek, Michael W. Whalen
Efficient Generation of Inductive Validity Cores for Safety Properties. CoRR (2016)
Elaheh Ghassabani, Andrew Gacek, Michael W. Whalen
Efficient generation of inductive validity cores for safety properties. SIGSOFT FSE (2016)
Elaheh Ghassabani, Mohammad Abdollahi Azgomi
A New Approach to Stateless Model Checking of LTL Properties. CoRR (2016)
Michael W. Whalen, Sanjai Rayadurgam, Elaheh Ghassabani, Anitha Murugesan, Oleg Sokolsky, Mats Per Erik Heimdahl, Insup Lee
Hierarchical multi-formalism proofs of cyber-physical systems. MEMOCODE (2015)