( en | de | ru )

 

Disambiguierung von "Gupta, Aarti"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Assertion guided symbolic execution of multithreaded programs.

, , , , und . ESEC/SIGSOFT FSE, Seite 854-865. ACM, (2015)

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.

Aarti Singh

Ashutosh Kumar Gupta

Renee Gupta

Jan Chandra Gupta

Ajay Kumar Gupta

 

Weitere Publikationen von Autoren mit dem selben Namen

A Parallel Computer Based on Cube-Connected Cycles for Wafer-Scale., , und . FJCC, Seite 325-334. IEEE Computer Society, (1986)Program Analysis Using Symbolic Ranges, , und . SAS, Volume 4634 von LNCS, Seite 366-383. (2007)Using Statically Computed Invariants Inside the Predicate Abstraction and Refinement Loop., , , , und . CAV'06, Seite 137-151. (2006)Localization and Register Sharing for Predicate Abstraction., , , und . TACAS, Volume 3440 von Lecture Notes in Computer Science, Seite 397-412. Springer, (2005)Reasoning About Threads Communicating via Locks., , und . CAV, Volume 3576 von Lecture Notes in Computer Science, Seite 505-518. Springer, (2005)Efficient Modeling of Embedded Memories in Bounded Model Checking., , und . CAV, Volume 3114 von Lecture Notes in Computer Science, Seite 440-452. Springer, (2004)Model Checking Concurrent Programs.. VMCAI, Volume 5403 von Lecture Notes in Computer Science, Seite 2. Springer, (2009)Interprocedural Exception Analysis for C++., , , , und . ECOOP, Volume 6813 von Lecture Notes in Computer Science, Seite 583-608. Springer, (2011)From Hardware Verification to Software Verification: Re-use and Re-learn.. Haifa Verification Conference, Volume 4899 von Lecture Notes in Computer Science, Seite 14-15. Springer, (2007)Integrating a Boolean Satisfiability Checker and BDDs for Combinational Equivalence Checking., und . VLSI Design, Seite 222-225. IEEE Computer Society, (1998)