Elaheh Ghassabani

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