Author Info
Name
Affiliation
Papers
VLADIMIR ITSYKSON
St Petersburg State Polytech Univ, St Petersburg, Russia
7
Collaborators
Citations 
PageRank 
9
3
2.50
Referers 
Referees 
References 
4
110
43
Search Limit
100110
Title
Citations
PageRank
Year
Automated Cross-Language Integration Based on Formal Model of Components.00.342019
Semantics-Driven Migration of Java Programs: A Practical Application.00.342018
Formalism and Language Tools for Specification of the Semantics of Software Libraries.10.392017
Using a bounded model checker for test generation: How to kill two birds with one SMT solver.00.342015
Random model sampling: Making craig interpolation work when it should not.00.342015
Software defect detection by combining bounded model checking and approximations of functions.20.432014
Tree slicing: Finding intertwined and gapped clones in one simple step.00.342013