Elaheh Ghassabani

Identifiers

No identifiers captured yet.

Papers (4)

1. The JKind Model Checker cs.LO · 2017 · author #5
2. DSCMC: Distributed Stateless Code Model Checker cs.PL · 2016 · author #1
3. A New Approach to Stateless Model Checking of LTL Properties cs.PL · 2016 · author #1
4. Stateless Code Model Checking of Information Flow Security cs.PL · 2016 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Mohammad Abdollahi Azgomi 3 shared papers
• Andrew Gacek 1 shared papers
• John Backes 1 shared papers
• Lucas Wagner 1 shared papers
• Mike Whalen 1 shared papers