Elaheh Ghassabani
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2015–2018
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | CAV | The JKind Model Checker. | Andrew Gacek, John Backes, Mike Whalen, Lucas G. Wagner, Elaheh Ghassabani |
| 2018 | SEFM | Online Enumeration of All Minimal Inductive Validity Cores. | Jaroslav Bendk, Elaheh Ghassabani, Michael W. Whalen, Ivana Cern |
| 2017 | FMCAD | Efficient generation of all minimal inductive validity cores. | Elaheh Ghassabani, Michael W. Whalen, Andrew Gacek |
| 2016 | RE | Complete Traceability for Requirements in Satisfaction Arguments. | Anitha Murugesan, Michael W. Whalen, Elaheh Ghassabani, Mats Per Erik Heimdahl |
| 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 |