Nikolay V. Shilov

Publication Activity (10 Years)

Years Active: 1992-2021
Publications (10 Years): 9

Top Topics

Mathematical Functions

Top Venues

Autom. Control. Comput. Sci.

Publications

Nikolay V. Shilov, Natalia Olegovna Garanina
Knowledge-Based Algorithms for BDI Agents. Autom. Control. Comput. Sci. 55 (7) (2021)
Sergey M. Staroletov, Nikolay V. Shilov
Applying Model Checking Approach with Floating Point Arithmetic for Verification of Air Collision Avoidance Maneuver Hybrid Model. SPIN (2019)
Antonio Cerone, Markus Roggenbach, James Davenport, Casey Denner, Marie Farrell, Magne Haveraaen, Faron Moller, Philipp Körner, Sebastian Krings, Peter Csaba Ölveczky, Bernd-Holger Schlingloff, Nikolay V. Shilov, Rustam Zhumagambetov
Rooting Formal Methods Within Higher Education Curricula for Computer Science and Software Engineering - A White Paper -. FMFun (2019)
Nikolay V. Shilov, Evgeniy Muravev, Svetlana O. Shilova
Fun with Formal Methods for Better Education. FMFun (2019)
Nikolay V. Shilov, Boris L. Faifel, Svetlana O. Shilova, Aleksey V. Promsky
Towards platform-independent specification and verification of the standard trigonometry functions. CoRR (2019)
Nikolay V. Shilov, Danila Danko
Teaching Efficient Recursive Programming and Recursion Elimination Using Olympiads and Contests Problems. FISEE (2019)
Nikolay V. Shilov, Dmitry A. Kondratyev, Igor S. Anureev, Evgeny V. Bodin, Alexey V. Promsky
Platform-Independent Specification and Verification of the Standard Mathematical Square Root Function. Autom. Control. Comput. Sci. 53 (7) (2019)
Nikolay V. Shilov, Igor S. Anureev, Mikhail Berdyshev, Dmitry Kondratev, Aleksey V. Promsky
Towards platform-independent verification of the standard mathematical functions: the square root function. CoRR (2018)
Nikolay V. Shilov, Svetlana O. Shilova, A. Yu. Bernshtein
Program schemata technique for propositional program logics: A 30-year history. Program. Comput. Softw. 42 (4) (2016)
Nikolay V. Shilov
Agent Knowledge and Beliefs in a Cloud. EGC (2015)
Julia V. Grebeneva, Nikolay V. Shilov, Natalia Olegovna Garanina
Towards Description Logic on Concept Lattices. CLA (2013)
Nikolay V. Shilov
Verification of backtracking and branch and bound design templates. Autom. Control. Comput. Sci. 46 (7) (2012)
Nikolay V. Shilov, Alexander A. Akinin, Alexey V. Zubkov, Renat I. Idrisov
Development of the Computer Language Classification Knowledge Portal. Ershov Memorial Conference (2011)
Nikolay V. Shilov
F@BOOL@: Experiment with a simple verifying compiler based on SAT-solvers. Autom. Control. Comput. Sci. 45 (7) (2011)
Nikolay V. Shilov
Algorithm Design Template Base on Temporal ADT. TIME (2011)
Nikolay V. Shilov
Tableau-Like Automata-Based Axiomatization for Propositional Linear Temporal Logic. PSPL@LICS (2010)
Nikolay V. Shilov
Realization Problem for Formal Concept Analysis. Description Logics (2008)
Nikolay V. Shilov, Igor S. Anureev, Evgeny V. Bodin
Generation of correctness conditions for imperative programs. Program. Comput. Softw. 34 (6) (2008)
Nikolay V. Shilov, Natalya Olegovna Garanina
Combined Logics of Knowledge, Time, and Actions for Reasoning about Multi-agent Systems. KONT/KPP (2007)
Nikolay V. Shilov, Sang-Yong Han
A Proposal of Description Logic on Concept Lattices. CLA (2007)
Nikolay V. Shilov, Igor S. Anureev, Natalya Olegovna Garanina
Combining Two Formalism for Reasoning about Concepts. Description Logics (2007)
Nikolay V. Shilov, Natalya Olegovna Garanina
Well-Structured Model Checking of Multiagent Systems. Ershov Memorial Conference (2006)
Nikolay V. Shilov, Natalya Olegovna Garanina, K.-M. Choe
Update and Abstraction in Model Checking of Knowledge and Branching Time. Fundam. Informaticae 72 (1-3) (2006)
E. V. Kouzmin, Nikolay V. Shilov, Valery A. Sokolov
Model Checking mu-Calculus in Well-Structured Transition Systems. TIME (2004)
Svetlana O. Shilova, Nikolay V. Shilov
Etude on theme of Dijkstra. SIGACT News 35 (3) (2004)
Svetlana O. Shilova, Nikolay V. Shilov
Addendum to Etude on theme of Dijkstra. SIGACT News 35 (4) (2004)
Nikolay V. Shilov, Natalya Olegovna Garanina
Polynomial Approximations for Model Checking. Ershov Memorial Conference (2003)
Valery A. Nepomniaschy, Nikolay V. Shilov, Evgeny V. Bodin, Vitaly E. Kozura
Basic-REAL: Integrated Approach for Design, Specification and Verification of Distributed Systems. IFM (2002)
Nikolay V. Shilov, Kwangkeun Yi
Engaging students with theory through ACM collegiate programming contest. Commun. ACM 45 (9) (2002)
Nikolay V. Shilov, Natalya Olegovna Garanina
Model checking knowledge and fixpoints. FICS (2002)
Nikolay V. Shilov, Kwang Yi
Puzzles for Learning Model Checking, Model Checking for Programming Puzzles, Puzzles for Testing Model Checkers. Electron. Notes Theor. Comput. Sci. 43 (2001)
Nikolay V. Shilov, Kwang Yi
On Expressive and Model Checking Power of Propositional Program Logics. Ershov Memorial Conference (2001)
Nikolay V. Shilov, Kwang Yi
How to Find a Coin: Propositional Program Logics Made Easy. Bull. EATCS 75 (2001)
Nikolay V. Shilov, Kwangkeun Yi
A Note on Model Checkers Reuse and Validation. APLAS (2000)
Ron van der Meyden, Nikolay V. Shilov
Model Checking Knowledge and Time in Systems with Perfect Recall (Extended Abstract). FSTTCS (1999)
Nikolay V. Shilov
Program Schemata vs. Automata for Decidability of Program Logics. Theor. Comput. Sci. 175 (1) (1997)
Igor Rents, Nikolay V. Shilov
Some Results on Propositional Dynamic Logic with Fixed Points. LFCS (1997)
Sergey Berezin, Nikolay V. Shilov
An Approach to Effective Model-Checking of Real-Time Finite-State Machines in Mu-Calculus. LFCS (1994)
Valery A. Nepomniaschy, Nikolay V. Shilov
REAL92: A Combined Specification Language for Real-Time Concurrent Systems and Properties. Formal Methods in Programming and Their Applications (1993)
Nikolay V. Shilov
Propositional Dynamic Logic with Fixed Points: Algorithmic Tools for Verification of Finite State Machines. LFCS (1992)