Nikolay V. Shilov

According to our database, Nikolay V. Shilov authored at least 46 papers between 1992 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Detecting unanticipated mutual recursion using Elegant Objects representation of object-oriented programs.

Nikolai Kudasov, Mikhail Olokin, Oleksii Potyomkin, Nikolay Shilov, Maxim Stepanov

CoRR, 2022

2021

Knowledge-Based Algorithms for BDI Agents.

Nikolay V. Shilov, Natalia Olegovna Garanina

Autom. Control. Comput. Sci., 2021

Modeling and Verification using Different Notations for CPSs: The One-Water-Tank Case Study.

Tatiana V. Liakh, Andrei Rozov, Vladimir Zyubin, Sergey M. Staroletov, Thomas Baar, Horst Schulte, Ivan Konyukhov, Nikolay Shilov

Proceedings of the 16th Conference on Computer Science and Intelligence Systems, 2021

2019

Particular sides with working with talented students in professional training of a teacher.

Nikolai Vyacheslavovich Shilov, Svetlana Olegovna Shilova

Russ. Digit. Libr. J., 2019

Towards platform-independent specification and verification of the standard trigonometry functions.

Nikolay V. Shilov, Boris L. Faifel, Svetlana O. Shilova, Aleksey V. Promsky

CoRR, 2019

Platform-Independent Specification and Verification of the Standard Mathematical Square Root Function.

Nikolay V. Shilov, Dmitry A. Kondratyev, Igor S. Anureev, Evgeny V. Bodin, Alexey V. Promsky

Autom. Control. Comput. Sci., 2019

Applying Model Checking Approach with Floating Point Arithmetic for Verification of Air Collision Avoidance Maneuver Hybrid Model.

Sergey M. Staroletov, Nikolay V. Shilov

Proceedings of the Model Checking Software - 26th International Symposium, 2019

Rooting Formal Methods Within Higher Education Curricula for Computer Science and Software Engineering - A White Paper -.

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

Proceedings of the Formal Methods - Fun for Everybody - First International Workshop, 2019

Fun with Formal Methods for Better Education.

Nikolay V. Shilov, Evgeniy Muravev, Svetlana O. Shilova

Proceedings of the Formal Methods - Fun for Everybody - First International Workshop, 2019

Teaching Efficient Recursive Programming and Recursion Elimination Using Olympiads and Contests Problems.

Nikolay V. Shilov, Danila Danko

Proceedings of the Frontiers in Software Engineering Education, 2019

2018

Towards platform-independent verification of the standard mathematical functions: the square root function.

Nikolay V. Shilov, Igor S. Anureev, Mikhail Berdyshev, Dmitry Kondratev, Aleksey V. Promsky

CoRR, 2018

2016

Program schemata technique for propositional program logics: A 30-year history.

Nikolay V. Shilov, Svetlana O. Shilova, A. Yu. Bernshtein

Program. Comput. Softw., 2016

2015

Program Schemata Technique to Solve Propositional Program Logics Revised.

Nikolay Shilov

Proceedings of the Perspectives of System Informatics, 2015

Agent Knowledge and Beliefs in a Cloud.

Nikolay V. Shilov

Proceedings of the Embracing Global Computing in Emerging Economies - First Workshop, 2015

2014

An Approach to Design of Automata-Based Axiomatization for Propositional Program and Temporal Logics (by Example of Linear Temporal Logic).

Nikolay V. Shilov

Proceedings of the Logic, Computation, Hierarchies, 2014

2013

Towards Description Logic on Concept Lattices.

Julia V. Grebeneva, Nikolay V. Shilov, Natalia Olegovna Garanina

Proceedings of the Tenth International Conference on Concept Lattices and Their Applications, 2013

2012

Verification of backtracking and branch and bound design templates.

Nikolay V. Shilov

Autom. Control. Comput. Sci., 2012

2011

F@BOOL@: Experiment with a simple verifying compiler based on SAT-solvers.

Nikolay V. Shilov

Autom. Control. Comput. Sci., 2011

Algorithm Design Template Base on Temporal ADT.

Nikolay V. Shilov

Proceedings of the Eighteenth International Symposium on Temporal Representation and Reasoning, 2011

Development of the Computer Language Classification Knowledge Portal.

Nikolay V. Shilov, Alexander A. Akinin, Alexey V. Zubkov, Renat I. Idrisov

Proceedings of the Perspectives of Systems Informatics, 2011

2010

Tableau-Like Automata-Based Axiomatization for Propositional Linear Temporal Logic.

Nikolay V. Shilov

Proceedings of the International Workshop on Proof Systems for Program Logics, 2010

2009

Modal Logics for Reasoning about Multiagent Systems.

Nikolay V. Shilov, Natalya Olegovna Garanina

Proceedings of the Encyclopedia of Artificial Intelligence (3 Volumes), 2009

2008

Generation of correctness conditions for imperative programs.

Nikolay V. Shilov, Igor S. Anureev, Evgeny V. Bodin

Program. Comput. Softw., 2008

Realization Problem for Formal Concept Analysis.

Nikolay V. Shilov

Proceedings of the 21st International Workshop on Description Logics (DL2008), 2008

2007

Combined Logics of Knowledge, Time, and Actions for Reasoning about Multi-agent Systems.

Nikolay V. Shilov, Natalya Olegovna Garanina

Proceedings of the Knowledge Processing and Data Analysis - First International Conference, 2007

Combining Two Formalism for Reasoning about Concepts.

Nikolay V. Shilov, Igor S. Anureev, Natalya Olegovna Garanina

Proceedings of the 2007 International Workshop on Description Logics (DL2007), 2007

A Proposal of Description Logic on Concept Lattices.

Nikolay V. Shilov, Sang-Yong Han

Proceedings of the Fifth International Conference on Concept Lattices and Their Applications, 2007

2006

Update and Abstraction in Model Checking of Knowledge and Branching Time.

Nikolay V. Shilov, Natalya Olegovna Garanina, K.-M. Choe

Fundam. Informaticae, 2006

Well-Structured Model Checking of Multiagent Systems.

Nikolay V. Shilov, Natalya Olegovna Garanina

Proceedings of the Perspectives of Systems Informatics, 2006

2004

Addendum to Etude on theme of Dijkstra.

Svetlana O. Shilova, Nikolay V. Shilov

SIGACT News, 2004

Etude on theme of Dijkstra.

Svetlana O. Shilova, Nikolay V. Shilov

SIGACT News, 2004

Model Checking mu-Calculus in Well-Structured Transition Systems.

E. V. Kouzmin, Nikolay V. Shilov, Valery A. Sokolov

Proceedings of the 11th International Symposium on Temporal Representation and Reasoning (TIME 2004), 2004

2003

Polynomial Approximations for Model Checking.

Nikolay V. Shilov, Natalya Olegovna Garanina

Proceedings of the Perspectives of Systems Informatics, 2003

2002

Engaging students with theory through ACM collegiate programming contest.

Nikolay V. Shilov, Kwangkeun Yi

Commun. ACM, 2002

Basic-REAL: Integrated Approach for Design, Specification and Verification of Distributed Systems.

Valery A. Nepomniaschy, Nikolay V. Shilov, Evgeny V. Bodin, Vitaly E. Kozura

Proceedings of the Integrated Formal Methods, Third International Conference, 2002

Model checking knowledge and fixpoints.

Nikolay V. Shilov, Natalya Olegovna Garanina

Proceedings of the Fixed Points in Computer Science, 2002

2001

How to Find a Coin: Propositional Program Logics Made Easy.

Nikolay V. Shilov, Kwang Yi

Bull. EATCS, 2001

On Expressive and Model Checking Power of Propositional Program Logics.

Nikolay V. Shilov, Kwang Yi

Proceedings of the Perspectives of System Informatics, 2001

2000

Puzzles for Learning Model Checking, Model Checking for Programming Puzzles, Puzzles for Testing Model Checkers.

Nikolay V. Shilov, Kwang Yi

Proceedings of the Formal Methods Elsewhere, 2000

A Note on Model Checkers Reuse and Validation.

Nikolay V. Shilov, Kwangkeun Yi

Proceedings of the First Asian Workshop on Programming Languages and Systems, 2000

1999

Model Checking Knowledge and Time in Systems with Perfect Recall (Extended Abstract).

Ron van der Meyden, Nikolay V. Shilov

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1999

1997

Program Schemata vs. Automata for Decidability of Program Logics.

Nikolay V. Shilov

Theor. Comput. Sci., 1997

Some Results on Propositional Dynamic Logic with Fixed Points.

Igor Rents, Nikolay V. Shilov

Proceedings of the Logical Foundations of Computer Science, 4th International Symposium, 1997

1994

An Approach to Effective Model-Checking of Real-Time Finite-State Machines in Mu-Calculus.

Sergey Berezin, Nikolay V. Shilov

Proceedings of the Logical Foundations of Computer Science, Third International Symposium, 1994

1993

REAL92: A Combined Specification Language for Real-Time Concurrent Systems and Properties.

Valery A. Nepomniaschy, Nikolay V. Shilov

Proceedings of the Formal Methods in Programming and Their Applications, International Conference, Akademgorodok, Novosibirsk, Russia, June 28, 1993

1992

Propositional Dynamic Logic with Fixed Points: Algorithmic Tools for Verification of Finite State Machines.

Nikolay V. Shilov

Proceedings of the Logical Foundations of Computer Science, 1992