Nikolay V. Shilov

43 papers B 2C 2Misc 3Journal 14Unranked 20
YearRankTypeTitle / Venue / Authors
2023 — conf
Running Regular Research Seminar Online.
KES-AMSTA
Nikolay V. Shilov, Dmitry A. Kondratyev, Nikolai Kudasov, Igor S. Anureev
2021 J jnl
Knowledge-Based Algorithms for BDI Agents.
Autom. Control. Comput. Sci.
Nikolay V. Shilov, Natalia Olegovna Garanina
2019 — conf
Applying Model Checking Approach with Floating Point Arithmetic for Verification of Air Collision Avoidance Maneuver Hybrid Model.
SPIN
Sergey M. Staroletov, Nikolay V. Shilov
2019 — conf
Fun with Formal Methods for Better Education.
FMFun
Nikolay V. Shilov, Evgeniy Muravev, Svetlana O. Shilova
2019 J jnl
Platform-Independent Specification and Verification of the Standard Mathematical Square Root Function.
Autom. Control. Comput. Sci.
Nikolay V. Shilov, Dmitry A. Kondratyev, Igor S. Anureev, Evgeny V. Bodin, Alexey V. Promsky
2019 — conf
Rooting Formal Methods Within Higher Education Curricula for Computer Science and Software Engineering - A White Paper -.
FMFun
Antonio Cerone, Markus Roggenbach, James H. 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
2019 — conf
Teaching Efficient Recursive Programming and Recursion Elimination Using Olympiads and Contests Problems.
FISEE
Nikolay V. Shilov, Danila Danko
2019 J jnl
Towards platform-independent specification and verification of the standard trigonometry functions.
CoRR
Nikolay V. Shilov, Boris L. Faifel, Svetlana O. Shilova, Aleksey V. Promsky
2018 J jnl
Towards platform-independent verification of the standard mathematical functions: the square root function.
CoRR
Nikolay V. Shilov, Igor S. Anureev, Mikhail Berdyshev, Dmitry Kondratev, Aleksey V. Promsky
2016 J jnl
Program schemata technique for propositional program logics: A 30-year history.
Program. Comput. Softw.
Nikolay V. Shilov, Svetlana O. Shilova, A. Yu. Bernshtein
2015 — conf
Agent Knowledge and Beliefs in a Cloud.
EGC
Nikolay V. Shilov
2014 — ch.
An Approach to Design of Automata-Based Axiomatization for Propositional Program and Temporal Logics (by Example of Linear Temporal Logic).
Logic, Computation, Hierarchies
Nikolay V. Shilov
2013 — conf
Towards Description Logic on Concept Lattices.
CLA
Julia V. Grebeneva, Nikolay V. Shilov, Natalia Olegovna Garanina
2012 J jnl
Verification of backtracking and branch and bound design templates.
Autom. Control. Comput. Sci.
Nikolay V. Shilov
2011 C conf
Algorithm Design Template Base on Temporal ADT.
TIME
Nikolay V. Shilov
2011 — conf
Development of the Computer Language Classification Knowledge Portal.
Ershov Memorial Conference
Nikolay V. Shilov, Alexander A. Akinin, Alexey V. Zubkov, Renat I. Idrisov
2011 J jnl
F@BOOL@: Experiment with a simple verifying compiler based on SAT-solvers.
Autom. Control. Comput. Sci.
Nikolay V. Shilov
2010 — conf
Tableau-Like Automata-Based Axiomatization for Propositional Linear Temporal Logic.
PSPL@LICS
Nikolay V. Shilov
2009 — ch.
Modal Logics for Reasoning about Multiagent Systems.
Encyclopedia of Artificial Intelligence
Nikolay V. Shilov, Natalya Olegovna Garanina
2008 J jnl
Generation of correctness conditions for imperative programs.
Program. Comput. Softw.
Nikolay V. Shilov, Igor S. Anureev, Evgeny V. Bodin
2008 — conf
Realization Problem for Formal Concept Analysis.
Description Logics
Nikolay V. Shilov
2007 — conf
A Proposal of Description Logic on Concept Lattices.
CLA
Nikolay V. Shilov, Sang-Yong Han
2007 — conf
Combined Logics of Knowledge, Time, and Actions for Reasoning about Multi-agent Systems.
KONT/KPP
Nikolay V. Shilov, Natalya Olegovna Garanina
2007 — conf
Combining Two Formalism for Reasoning about Concepts.
Description Logics
Nikolay V. Shilov, Igor S. Anureev, Natalya Olegovna Garanina
2006 J jnl
Update and Abstraction in Model Checking of Knowledge and Branching Time.
Fundam. Informaticae
Nikolay V. Shilov, Natalya Olegovna Garanina, K.-M. Choe
2006 — conf
Well-Structured Model Checking of Multiagent Systems.
Ershov Memorial Conference
Nikolay V. Shilov, Natalya Olegovna Garanina
2004 J jnl
Addendum to Etude on theme of Dijkstra.
SIGACT News
Svetlana O. Shilova, Nikolay V. Shilov
2004 J jnl
Etude on theme of Dijkstra.
SIGACT News
Svetlana O. Shilova, Nikolay V. Shilov
2004 C conf
Model Checking mu-Calculus in Well-Structured Transition Systems.
TIME
E. V. Kouzmin, Nikolay V. Shilov, Valery A. Sokolov
2003 — conf
Polynomial Approximations for Model Checking.
Ershov Memorial Conference
Nikolay V. Shilov, Natalya Olegovna Garanina
2002 B conf
Basic-REAL: Integrated Approach for Design, Specification and Verification of Distributed Systems.
IFM
Valery A. Nepomniaschy, Nikolay V. Shilov, Evgeny V. Bodin, Vitaly E. Kozura
2002 J jnl
Engaging students with theory through ACM collegiate programming contest.
Commun. ACM
Nikolay V. Shilov, Kwangkeun Yi
2002 — conf
Model checking knowledge and fixpoints.
FICS
Nikolay V. Shilov, Natalya Olegovna Garanina
2001 J jnl
How to Find a Coin: Propositional Program Logics Made Easy.
Bull. EATCS
Nikolay V. Shilov, Kwang Yi
2001 — conf
On Expressive and Model Checking Power of Propositional Program Logics.
Ershov Memorial Conference
Nikolay V. Shilov, Kwang Yi
2000 B conf
A Note on Model Checkers Reuse and Validation.
APLAS
Nikolay V. Shilov, Kwangkeun Yi
2000 — conf
Puzzles for Learning Model Checking, Model Checking for Programming Puzzles, Puzzles for Testing Model Checkers.
FM-Everywhere@FORTE/PSTV
Nikolay V. Shilov, Kwang Yi
1999 — conf
Model Checking Knowledge and Time in Systems with Perfect Recall (Extended Abstract).
FSTTCS
Ron van der Meyden, Nikolay V. Shilov
1997 J jnl
Program Schemata vs. Automata for Decidability of Program Logics.
Theor. Comput. Sci.
Nikolay V. Shilov
1997 Misc conf
Some Results on Propositional Dynamic Logic with Fixed Points.
LFCS
Igor Rents, Nikolay V. Shilov
1994 Misc conf
An Approach to Effective Model-Checking of Real-Time Finite-State Machines in Mu-Calculus.
LFCS
Sergey Berezin, Nikolay V. Shilov
1993 — conf
REAL92: A Combined Specification Language for Real-Time Concurrent Systems and Properties.
Formal Methods in Programming and Their Applications
Valery A. Nepomniaschy, Nikolay V. Shilov
1992 Misc conf
Propositional Dynamic Logic with Fixed Points: Algorithmic Tools for Verification of Finite State Machines.
LFCS
Nikolay V. Shilov