( en | de | ru )

 

Disambiguierung von "Ganai, Malay K."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Efficient state space exploration: Interleaving stateless and state-based model checking.

, , und . ICCAD, Seite 786-793. IEEE, (2010)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Ara Malayan

Vahid Hosseini Malayeri

Hamid Reza Hosseiny Malayeri

Aman K K Bhasin

K Schaber

 

Weitere Publikationen von Autoren mit dem selben Namen

Predicting Concurrency Failures in the Generalized Execution Traces of x86 Executables., und . RV, Volume 7186 von Lecture Notes in Computer Science, Seite 4-18. Springer, (2011)DiVer: SAT-Based Model Checking Platform for Verifying Large Scale Systems., , und . TACAS, Volume 3440 von Lecture Notes in Computer Science, Seite 575-580. Springer, (2005)BEST: A symbolic testing tool for predicting multi-threaded program failures., , , , und . ASE, Seite 596-599. IEEE Computer Society, (2011)SIVA: A System for Coverage-Directed State Space Search., , , , und . J. Electron. Test., 17 (1): 11-27 (2001)Abstraction and BDDs Complement SAT-Based BMC in DiVer., , , , und . CAV, Volume 2725 von Lecture Notes in Computer Science, Seite 206-209. Springer, (2003)Integrating ICP and LRA solvers for deciding nonlinear real arithmetic problems., , , , , und . FMCAD, Seite 81-89. IEEE, (2010)Efficient state space exploration: Interleaving stateless and state-based model checking., , und . ICCAD, Seite 786-793. IEEE, (2010)Dynamic Livelock Analysis of Multi-threaded Programs.. RV, Volume 7687 von Lecture Notes in Computer Science, Seite 3-18. Springer, (2012)Efficient Modeling of Concurrent Systems in BMC., und . SPIN, Volume 5156 von Lecture Notes in Computer Science, Seite 114-133. Springer, (2008)Deciding Separation Logic Formulae by SAT and Incremental Negative Cycle Elimination., , , und . LPAR, Volume 3835 von Lecture Notes in Computer Science, Seite 322-336. Springer, (2005)