Vadim S. Mutilin
Orcid: 0000-0003-3097-8512
According to our database1,
Vadim S. Mutilin
authored at least 18 papers
between 2006 and 2021.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2021
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021
2020
Predicate Extension of Symbolic Memory Graphs for the Analysis of Memory Safety Correctness.
Program. Comput. Softw., 2020
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2020
2019
Proceedings of the Frontiers in Software Engineering Education, 2019
2018
CPA-BAM-Slicing: Block-Abstraction Memoization and Slicing with Region-Based Dependency Analysis - (Competition Contribution).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018
2017
CPA-BAM-BnB: Block-Abstraction Memoization and Region-Based Memory Models for Predicate Abstractions - (Competition Contribution).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017
2016
Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016
2015
Program. Comput. Softw., 2015
Program. Comput. Softw., 2015
2014
Proceedings of the Perspectives of System Informatics, 2014
2012
Program. Comput. Softw., 2012
Program. Comput. Softw., 2012
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012
2011
Proceedings of the Perspectives of Systems Informatics, 2011
2009
Proceedings of the Perspectives of Systems Informatics, 2009
2006
Proceedings of the Leveraging Applications of Formal Methods, 2006