Nikolay V. Shilov
E-mail
Organization:
  • A.P. Ershov Institute of Informatics Systems SB RAS — senior researcher
Academic degree: PhD
List of Articles:
Shilov N. On the need to specify and verify standard functions // Computer Science. — 2015 . — # 38.  — P. 105-119
Shilov N. Satekbayeva A. Vorontsov A. Alias calculus for a simple imperative language with decidable pointer arithmetic // Computer Science. — 2014 . — # 37.  — P. 131-147
Grebeneva J. Shilov N. Garanina N. ALC for CLA: Towards description logic on concept lattices // Computer Science. — 2013 . — # 35.  — P. 57-68
Shilov N. Unifying dynamic programming design patterns // Computer Science. — 2012 . — # 34.  — P. 135-155
Shilov N. Make formal semantics easy and useful // Computer Science. — 2011 . — # 32.  — P. 107-126
Shilov N. Bodin E. Shilova S. Guided tour inside F@BOOL@: a case-study for a SAT-based verifying compiler // Computer Science. — 2010 . — # 31.  — P. 139-154
Shilov N. Bodin E. Shilova S. Fabulous arrays I: Operational and transformational semantics of static arrays in verification project F@BOOL@ // Computer Science. — 2009 . — # 29.  — P. 119-138
Anureev I. Bodin E. Gorodnyaya L. Marchuk A. Murzin F. Shilov N. On the problem of computer language classification // Computer Science. — 2008 . — # 28.  — P. 31-42
Anureev I. Bodin E. Shilov N. Effective generation of verification conditions for non-deterministic unstructured programs // Computer Science. — 2007 . — # 26.  — P. 39-63
Schreiner P. Shilov N. Grebeneva J. O S. SAT vs. SMV for automatic validation of tabular property of superintuitionistic logics // Computer Science. — 2006 . — # 24.  — P. 105-117
Shilov N. Designing tableau-like axiomatization for Propositional Linear Temporal Logic at home of Arthur Prior // Computer Science. — 2005 . — # 23.  — P. 113-136
Kouzmin E. Shilov N. Sokolov V. Model checking μ-calculus in well-structured transition systems // Computer Science. — 2004 . — # 20.  — P. 49-59
Shilov N. Yi K. Model checking puzzles in μ-Calculus // Computer Science. — 2000 . — # 13.  — P. 67-75
Nepomniaschy V. Shilov N. Bodin E. Formal semantics and verification of distributed systems presented by Basic-REAL specifications // Computer Science. — 1997 . — # 7.  — P. 35-55
Berezin S. Shilov N. Shneider P. An effective model checking for Mu-calculus: from finite systems towards systems with real time // Computer Science. — 1993 . — # 1.  — P. 73-86