( en | de | ru )

 

Disambiguierung von "Loginov, Alexey"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Finite differencing of logical formulas for static analysis.

, , und . ACM Trans. Program. Lang. Syst., 32 (6): 24:1-24:55 (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.

Maxim Loginov

Alexey Dashevsky

Alexey Shaytan

Alexey Mikaberidze

Alexey Lomonosov

 

Weitere Publikationen von Autoren mit dem selben Namen

Refinement-Based Verification for Possibly-Cyclic Lists., , und . Program Analysis and Compilation, Volume 4444 von Lecture Notes in Computer Science, Seite 247-272. Springer, (2006)Verifying dereference safety via expanding-scope analysis., , , , , und . ISSTA, Seite 213-224. ACM, (2008)A relational approach to interprocedural shape analysis., , , und . ACM Trans. Program. Lang. Syst., 32 (2): 5:1-5:52 (2010)Data-Delineation in Software Binaries and its Application to Buffer-Overrun Discovery., , , , , und . ICSE (1), Seite 145-155. IEEE Computer Society, (2015)Abstraction Refinement via Inductive Learning., , und . CAV, Volume 3576 von Lecture Notes in Computer Science, Seite 519-533. Springer, (2005)Efficient and Precise Datarace Detection for Multithreaded Object-Oriented Programs., , , , , und . PLDI, Seite 258-269. ACM, (2002)Polymorphic type inference for machine code., , und . PLDI, Seite 27-41. ACM, (2016)Finite differencing of logical formulas for static analysis., , und . ACM Trans. Program. Lang. Syst., 32 (6): 24:1-24:55 (2010)Debugging via Run-Time Type Checking., , , und . FASE, Volume 2029 von Lecture Notes in Computer Science, Seite 217-232. Springer, (2001)Automated Verification of the Deutsch-Schorr-Waite Tree-Traversal Algorithm., , und . SAS, Volume 4134 von Lecture Notes in Computer Science, Seite 261-279. Springer, (2006)