| Model checking knowledge and time in systems with perfect recall R van der Meyden, NV Shilov International Conference on Foundations of Software Technology and …, 1999 | 189 | 1999 |
| Engaging students with theory through acm collegiate programming contest NV Shilov, K Yi Communications of the ACM 45 (9), 98-101, 2002 | 42 | 2002 |
| How to find a coin: propositional program logics made easy NV Shilov, K Yi Current Trends in Theoretical Computer Science: The Challenge of the New …, 2004 | 29 | 2004 |
| Model checking knowledge and fixpoints. NV Shilov, NO Garanina FICS, 25-39, 2002 | 28 | 2002 |
| Update and abstraction in model checking of knowledge and branching time NV Shilov, NO Garanina, KM Choe Fundamenta Informaticae 72 (1-3), 347-361, 2006 | 23 | 2006 |
| Program schemata vs. automata for decidability of program logics NV Shilov Theoretical Computer Science 175 (1), 15-27, 1997 | 23 | 1997 |
| Model-driven methods to design of reliable multiagent cyber-physical systems S Staroletov, N Shilov, V Zyubin, T Liakh, A Rozov, I Konyukhov, I Shilov, ... CEUR workshop proceedings 2478, 74-91, 2019 | 21 | 2019 |
| Puzzles for learning model checking, model checking for programming puzzles, puzzles for testing model checkers NV Shilov, K Yi Electronic Notes in Theoretical Computer Science 43, 34-49, 2001 | 18 | 2001 |
| Model checking/spl mu/-calculus in well-structured transition systems EV Kouzmin, NV Shilov, VA Sokolov Proceedings. 11th International Symposium on Temporal Representation and …, 2004 | 17 | 2004 |
| On the problem of computer language classification IS Anureev, EV Bodin, LV Gorodnyaya, AG Marchuk, FA Murzin, ... Joint NCC&IIS Bulletin, Series Computer Science 27, 1-20, 2008 | 16 | 2008 |
| Model checking knowledge, actions and fixpoints NO Garanina, NA Kalinina, NV Shilov Proc. of Concurrency, Specification and Programming Workshop CS&P, 351-357, 2004 | 16 | 2004 |
| Rooting formal methods within higher education curricula for computer science and software engineering—a white paper— A Cerone, M Roggenbach, J Davenport, C Denner, M Farrell, ... Formal Methods–Fun for Everybody: First International Workshop, FMFun 2019 …, 2021 | 15 | 2021 |
| Basic-REAL: integrated approach for design, specification and verification of distributed systems VA Nepomniaschy, NV Shilov, EV Bodin, VE Kozura Integrated Formal Methods: Third International Conference, IFM 2002 Turku …, 2002 | 15 | 2002 |
| Generation of correctness conditions for imperative programs NV Shilov, IS Anureev, EV Bodin Programming and Computer Software 34, 307-321, 2008 | 12 | 2008 |
| Etude on theme of Dijkstra SO Shilova, NV Shilov ACM SIGACT News 35 (3), 102-108, 2004 | 12 | 2004 |
| An approach to Effective model-checking of real-time finite-state machines in Mu-Calculus SA Berezin, NV Shilov International Symposium on Logical Foundations of Computer Science, 47-55, 1994 | 12 | 1994 |
| Platform-independent Specification and Verification of the Standard Mathematical Square Root Function NV Shilov, DA Kondratyev, IS Anureev, EV Bodin, AV Promsky Modeling and Analysis of Information Systems 25 (6), 637-666, 2018 | 11 | 2018 |
| Well-structured model checking of multiagent systems NV Shilov, NO Garanina International Andrei Ershov Memorial Conference on Perspectives of System …, 2006 | 11 | 2006 |
| Development of the computer language classification knowledge portal NV Shilov, AA Akinin, AV Zubkov, RI Idrisov International Andrei Ershov Memorial Conference on Perspectives of System …, 2011 | 10 | 2011 |
| Applying model checking approach with floating point arithmetic for verification of air collision avoidance maneuver hybrid model S Staroletov, N Shilov Model Checking Software: 26th International Symposium, SPIN 2019, Beijing …, 2019 | 9 | 2019 |
Natalia GaraninaSenior Reseacher, A.P. Ershov INSTITUTE OF INFORMATICS SYSTEMS, Novosibirsk, RussiaVerified email at iis.nsk.su
