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 | 30 | 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 | 22 | 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 |
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 | 17 | 2021 |
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 |
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 |