( en | de | ru )

 

Disambiguierung von "Gupta, Aarti"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Symmetry Reduction in SAT-Based Model Checking.

, , , und . CAV, Volume 3576 von Lecture Notes in Computer Science, Seite 125-138. Springer, (2005)

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

Ajay Kumar Gupta

Jan Chandra Gupta

 

Weitere Publikationen von Autoren mit dem selben Namen

Psym: Efficient Symbolic Exploration of Distributed Systems., , und . Proc. ACM Program. Lang., 7 (PLDI): 660-685 (2023)Concurrent Test Generation Using Concolic Multi-trace Analysis., , , und . APLAS, Volume 7705 von Lecture Notes in Computer Science, Seite 239-255. Springer, (2012)Monotonic Partial Order Reduction: An Optimal Symbolic Partial Order Reduction Technique., , und . CAV, Volume 5643 von Lecture Notes in Computer Science, Seite 398-413. Springer, (2009)Parametric Circuit Representation Using Inductive Boolean Functions., und . CAV, Volume 697 von Lecture Notes in Computer Science, Seite 15-28. Springer, (1993)Symmetry Reduction in SAT-Based Model Checking., , , und . CAV, Volume 3576 von Lecture Notes in Computer Science, Seite 125-138. Springer, (2005)Trace-Based Symbolic Analysis for Atomicity Violations., , , und . TACAS, Volume 6015 von Lecture Notes in Computer Science, Seite 328-342. Springer, (2010)SAT-Based Verification Methods and Applications in Hardware Verification., , und . SFM, Volume 3965 von Lecture Notes in Computer Science, Seite 108-143. Springer, (2006)Lemma Synthesis for Automating Induction over Algebraic Data Types., , und . CP, Volume 11802 von Lecture Notes in Computer Science, Seite 600-617. Springer, (2019)Instruction-Level Abstraction (ILA): A Uniform Specification for System-on-Chip (SoC) Verification., , , , , und . ACM Trans. Design Autom. Electr. Syst., 24 (1): 10:1-10:24 (2019)Static analysis for concurrent programs with applications to data race detection., , und . Int. J. Softw. Tools Technol. Transf., 15 (4): 321-336 (2013)