Elaheh Ghassabani

According to our database, Elaheh Ghassabani authored at least 11 papers between 2015 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Inductive Validity Cores.

Elaheh Ghassabani, Michael W. Whalen, Andrew Gacek, Mats Per Erik Heimdahl

IEEE Trans. Software Eng., 2021

2018

Online Enumeration of All Minimal Inductive Validity Cores.

Jaroslav Bendík, Elaheh Ghassabani, Michael W. Whalen, Ivana Cerná

Proceedings of the Software Engineering and Formal Methods - 16th International Conference, 2018

The JKind Model Checker.

Andrew Gacek, John Backes, Mike Whalen, Lucas G. Wagner, Elaheh Ghassabani

Proceedings of the Computer Aided Verification - 30th International Conference, 2018

2017

Proof-based coverage metrics for formal verification.

Elaheh Ghassabani, Andrew Gacek, Michael W. Whalen, Mats Per Erik Heimdahl, Lucas G. Wagner

Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

Efficient generation of all minimal inductive validity cores.

Elaheh Ghassabani, Michael W. Whalen, Andrew Gacek

Proceedings of the 2017 Formal Methods in Computer Aided Design, 2017

2016

DSCMC: Distributed Stateless Code Model Checker.

Elaheh Ghassabani, Mohammad Abdollahi Azgomi

CoRR, 2016

A New Approach to Stateless Model Checking of LTL Properties.

Elaheh Ghassabani, Mohammad Abdollahi Azgomi

CoRR, 2016

Stateless Code Model Checking of Information Flow Security.

Elaheh Ghassabani, Mohammad Abdollahi Azgomi

CoRR, 2016

Efficient generation of inductive validity cores for safety properties.

Elaheh Ghassabani, Andrew Gacek, Michael W. Whalen

Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

Complete Traceability for Requirements in Satisfaction Arguments.

Anitha Murugesan, Michael W. Whalen, Elaheh Ghassabani, Mats Per Erik Heimdahl

Proceedings of the 24th IEEE International Requirements Engineering Conference, 2016

2015

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

Proceedings of the 13. ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2015