Searching for authors named "Alexey Loginov" – sorted by Relevance.
15 documents found, showing 1 through 10.
Next 10 →
-
unknown title
- … Research Statement Alexey A. Loginov 1 A recent survey of 29 software projects of various size…
- Add To MetaCart
-
Learning Abstractions for Verifying Data-Structure
- …ABSTRACT Learning Abstractions for Verifying Data-Structure Properties Alexey Loginov Univ…
- Cited by 3 (1 self) – Add To MetaCart
-
Semantic Minimization of 3-Valued Propositional Formulae
- …Semantic Minimization of 3-Valued Propositional Formulae Thomas Reps y Alexey Loginov y Mooly…
- Cited by 4 (2 self) – Add To MetaCart
-
Refinement-Based Verification for Possibly-Cyclic Lists ⋆
- …Refinement-Based Verification for Possibly-Cyclic Lists ⋆ Alexey Loginov 1⋆⋆ , Thomas Reps 2…
- Cited by 1 (1 self) – Add To MetaCart
-
Abstraction Refinement for 3-Valued-Logic Analysis
- …Abstraction Refinement for 3-Valued-Logic Analysis Alexey Loginov 1 , Thomas Reps 1…
- Cited by 5 (2 self) – Add To MetaCart
-
A relational approach to interprocedural shape analysis
- … A Relational Approach to Interprocedural Shape Analysis Bertrand Jeannet1, Alexey Loginov2…
- Cited by 36 (12 self) – Add To MetaCart
-
Abstraction refinement via inductive learning
- …Abstraction Refinement via Inductive Learning Alexey Loginov 1 , Thomas Reps 1 , and Mooly Sagiv 2…
- Cited by 26 (8 self) – Add To MetaCart
-
A Run-Time Type-Checking Debugger for C
- …A Run-Time Type-Checking Debugger for C Alexey Loginov, Suan Yong, Susan Horwitz, and Thomas Reps…
- Add To MetaCart
-
Abstraction Refinement via Inductive Learning
- …Abstraction Refinement via Inductive Learning Alexey Loginov 1 , Thomas Reps 1 , and Mooly Sagiv 2…
- Add To MetaCart
-
Static Datarace Analysis for Multithreaded Object-Oriented Programs
- … for Multithreaded Object-Oriented Programs Jong-Deok Choi, Alexey Loginov, Vivek Sarkar IBM Research Division…
- Cited by 15 (1 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
