( en | de | ru )

 

Disambiguierung von "Chaki, Sagar"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Automatic Abstraction in SMT-Based Unbounded Software Model Checking.

, , , und . CAV, Volume 8044 von Lecture Notes in Computer Science, Seite 846-862. Springer, (2013)

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.

Vidya Sagar

Rachida Chakir

Anubha Sagar

Pramod Sagar

Sagar Bhayana

 

Weitere Publikationen von Autoren mit dem selben Namen

Have Your PI and Eat it Too: Practical Security on a Low-Cost Ubiquitous Computing Platform., und . EuroS&P, Seite 183-198. IEEE, (2018)Achieving high coverage in hardware equivalence checking via concolic verification., und . Formal Methods Syst. Des., 60 (3): 329-349 (2022)Error explanation with distance metrics., , , und . Int. J. Softw. Tools Technol. Transf., 8 (3): 229-247 (2006)Three optimizations for Assume-Guarantee reasoning with L*., und . Formal Methods Syst. Des., 32 (3): 267-284 (2008)BDD-Based Symbolic Model Checking., und . Handbook of Model Checking, Springer, (2018)Explaining abstract counterexamples., , und . SIGSOFT FSE, Seite 73-82. ACM, (2004)Recovering C++ Objects From Binaries Using Inter-Procedural Data-Flow Analysis., , , , , , , und . PPREW@POPL, Seite 1:1-1:11. ACM, (2014)Semantic Importance Sampling for Statistical Model Checking., , , , und . TACAS, Volume 9035 von Lecture Notes in Computer Science, Seite 241-255. Springer, (2015)Time-bounded analysis of real-time systems., , und . FMCAD, Seite 72-80. FMCAD Inc., (2011)ASPIER: An Automated Framework for Verifying Security Protocol Implementations., und . CSF, Seite 172-185. IEEE Computer Society, (2009)