Nikolay Shilov

Publication Activity (10 Years)

Years Active: 2015-2022
Publications (10 Years): 3

Top Topics

Computer Science

Colored Petri Nets

Propositional Logic

Higher Education

Top Venues

Ershov Memorial Conference

Publications

Nikolai Kudasov, Mikhail Olokin, Oleksii Potyomkin, Nikolay Shilov, Maxim Stepanov
Detecting unanticipated mutual recursion using Elegant Objects representation of object-oriented programs. CoRR (2022)
Tatiana V. Liakh, Andrei Rozov, Vladimir Zyubin, Sergey M. Staroletov, Thomas Baar, Horst Schulte, Ivan Konyukhov, Nikolay Shilov
Modeling and Verification using Different Notations for CPSs: The One-Water-Tank Case Study. FedCSIS (2021)
Antonio Cerone, Markus Roggenbach, James Davenport, Casey Denner, Marie Farrell, Magne Haveraaen, Faron Moller, Philipp Koerner, Sebastian Krings, Peter Csaba Ölveczky, Bernd-Holger Schlingloff, Nikolay Shilov, Rustam Zhumagambetov
Rooting Formal Methods within Higher Education Curricula for Computer Science and Software Engineering - A White Paper. CoRR (2020)
Nikolay Shilov
Program Schemata Technique to Solve Propositional Program Logics Revised. Ershov Memorial Conference (2015)