Vladimir Levin
According to our database1,
Vladimir Levin
authored at least 26 papers
between 1993 and 2020.
Collaborative distances:
Collaborative distances:
Timeline
1995
2000
2005
2010
2015
2020
0
1
2
3
4
5
6
1
1
1
1
1
2
4
1
1
4
2
2
1
1
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2020
Angelic Checking within Static Driver Verifier: Towards high-precision defects without (modeling) cost.
Proceedings of the 2020 Formal Methods in Computer Aided Design, 2020
2013
Organizing of Parallel Processing User-Friendly Dataflow-Oriented Environment for User Tasks Execution on Cluster.
Proceedings of the Parallel Computing Technologies - 12th International Conference, 2013
2011
Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011
Proceedings of the Fundamental Approaches to Software Engineering, 2011
2010
Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, 2010
Proceedings of the Fundamental Approaches to Software Engineering, 2010
Efficient Reachability Analysis of Büchi Pushdown Systems for Hardware/Software Co-verification.
Proceedings of the Computer Aided Verification, 22nd International Conference, 2010
Proceedings of the Computer Aided Verification, 22nd International Conference, 2010
2006
Proceedings of the 2006 EuroSys Conference, Leuven, Belgium, April 18-21, 2006, 2006
2005
Proceedings of the Model Checking Software, 2005
2004
Formal Methods Syst. Des., 2004
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2004
Proceedings of the 2nd ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2004), 2004
SLAM and Static Driver Verifier: Technology Transfer of Formal Methods inside Microsoft.
Proceedings of the Integrated Formal Methods, 4th International Conference, 2004
Proceedings of the Fundamental Approaches to Software Engineering, 2004
2002
Formal Methods Syst. Des., 2002
ObjectCheck: A Model Checking Tool for Executable Object-Oriented Software System Designs.
Proceedings of the Fundamental Approaches to Software Engineering, 2002
Proceedings of the Computer Aided Verification, 14th International Conference, 2002
2001
Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 2001
Proceedings of the Computer Aided Verification, 13th International Conference, 2001
1999
Proceedings of the Correct Hardware Design and Verification Methods, 1999
1998
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1998
1997
Proceedings of the TAPSOFT'97: Theory and Practice of Software Development, 1997
Proceedings of the 1997 IEEE/ACM International Conference on Computer-Aided Design, 1997
1993
Proceedings of the Formal Methods in Programming and Their Applications, International Conference, Akademgorodok, Novosibirsk, Russia, June 28, 1993