Vitaly O. Mordan

According to our database, Vitaly O. Mordan authored at least 2 papers between 2015 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2016

On-the-fly decomposition of specifications in software model checking.

Sven Apel, Dirk Beyer, Vitaly O. Mordan, Vadim S. Mutilin, Andreas Stahlbauer

Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

2015

Checking Several Requirements at once by CEGAR.

Vitaly O. Mordan, Vadim S. Mutilin

Proceedings of the Perspectives of System Informatics, 2015