( en | de | ru )

 

Disambiguierung von "Gupta, Aarti"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A General Approach to Network Configuration Verification.

, , , und . SIGCOMM, Seite 155-168. ACM, (2017)

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

A Parallel Computer Based on Cube-Connected Cycles for Wafer-Scale., , und . FJCC, Seite 325-334. IEEE Computer Society, (1986)Interprocedural Exception Analysis for C++., , , , und . ECOOP, Volume 6813 von Lecture Notes in Computer Science, Seite 583-608. Springer, (2011)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)Instruction-Level Abstraction (ILA): A Uniform Specification for System-on-Chip (SoC) Verification., , , , , und . CoRR, (2018)SAT-Based Scalable Formal Verification Solutions, und . Series on Integrated Circuits and Systems Springer, (2007)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)Template-Based Parameterized Synthesis of Uniform Instruction-Level Abstractions for SoC Verification., , , , und . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 37 (8): 1692-1705 (2018)