Follow
Nikolay Shilov
Nikolay Shilov
Innopolis University
Verified email at iis.nsk.su - Homepage
Title
Cited by
Cited by
Year
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
1891999
Engaging students with theory through acm collegiate programming contest
NV Shilov, K Yi
Communications of the ACM 45 (9), 98-101, 2002
422002
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
302004
Model checking knowledge and fixpoints.
NV Shilov, NO Garanina
FICS, 25-39, 2002
282002
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
232006
Program schemata vs. automata for decidability of program logics
NV Shilov
Theoretical Computer Science 175 (1), 15-27, 1997
231997
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
222019
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
182001
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
172021
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
172004
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
162008
Model checking knowledge, actions and fixpoints
NO Garanina, NA Kalinina, NV Shilov
Proc. of Concurrency, Specification and Programming Workshop CS&P, 351-357, 2004
162004
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
152002
Generation of correctness conditions for imperative programs
NV Shilov, IS Anureev, EV Bodin
Programming and Computer Software 34, 307-321, 2008
122008
Etude on theme of Dijkstra
SO Shilova, NV Shilov
ACM SIGACT News 35 (3), 102-108, 2004
122004
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
121994
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
112018
Well-structured model checking of multiagent systems
NV Shilov, NO Garanina
International Andrei Ershov Memorial Conference on Perspectives of System …, 2006
112006
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
102011
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
92019
The system can't perform the operation now. Try again later.
Articles 1–20