Ievgen Ivanov

发表

Inference Rules for the Partial Floyd-Hoare Logic Based on Composition of Predicate Complement

Ievgen Ivanov, Mykola Nikitchenko, 2018, ICTERI.

Partial Correctness of GCD Algorithm

Ievgen Ivanov, Mykola Nikitchenko, Artur Kornilowicz, 2018, Formaliz. Math..

Implementation of the Composition-nominative Approach to Program Formalization in Mizar

Ievgen Ivanov, Mykola Nikitchenko, Artur Kornilowicz, 2018, Comput. Sci. J. Moldova.

On the Kleene Algebra of Partial Predicates with Predicate Complement

Ievgen Ivanov, Mykola Nikitchenko, 2019, ICTERI Workshops.

On Existence of Global-in-Time Trajectories of Non-deterministic Markovian Systems

Ievgen Ivanov, I. Ivanov, 2012, ICTERI.

Event-Based Proof of the Mutual Exclusion Property of Peterson’s Algorithm

Uri Abraham, Ievgen Ivanov, Mykola Nikitchenko, 2015, Formaliz. Math..

On Induction for Diamond-Free Directed Complete Partial Orders

Ievgen Ivanov, 2020, ICTERI Workshops.

Set-theoretic Analysis of Nominative Data

Ievgen Ivanov, Mykola Nikitchenko, Volodymyr G. Skobelev, 2015, Comput. Sci. J. Moldova.

Expressibility in the Kleene Algebra of Partial Predicates with the Complement Composition

Ievgen Ivanov, Mykola Nikitchenko, 2019, ICTERI.

Proving Properties of Programs on Hierarchical Nominative Data

Ievgen Ivanov, Mykola Nikitchenko, Volodymyr G. Skobelev, 2016, Comput. Sci. J. Moldova.

Formalization of the Nominative Algorithmic Algebra in Mizar

Ievgen Ivanov, Mykola Nikitchenko, Artur Kornilowicz, 2017, ISAT.

Simple-Named Complex-Valued Nominative Data – Definition and Basic Operations

Ievgen Ivanov, Mykola Nikitchenko, Artur Kornilowicz, 2017, Formaliz. Math..

On an Algorithmic Algebra over Simple-Named Complex-Valued Nominative Data

Ievgen Ivanov, Mykola Nikitchenko, Artur Kornilowicz, 2018, Formaliz. Math..

On the Sequence Rule for the Floyd-Hoare Logic with Partial Pre- and Post-Conditions

Ievgen Ivanov, Mykola Nikitchenko, 2018, ICTERI Workshops.

Formalization of the algebra of nominative data in mizar

Ievgen Ivanov, Mykola Nikitchenko, Artur Kornilowicz, 2017, 2017 Federated Conference on Computer Science and Information Systems (FedCSIS).

A formal proof of properties of a presentation system using Isabelle

Ievgen Ivanov, Taras Panchenko, I. Ivanov, 2017, 2017 IEEE First Ukraine Conference on Electrical and Computer Engineering (UKRCON).

An Inference System of an Extension of Floyd-Hoare Logic for Partial Predicates

Ievgen Ivanov, Mykola Nikitchenko, Artur Kornilowicz, 2018, Formaliz. Math..

A Formal Proof of Correctness of a Distributed Presentation Software System

Ievgen Ivanov, Taras Panchenko, I. Ivanov, 2017, ICTERI.

On Representations of Abstract Systems with Partial Inputs and Outputs

Ievgen Ivanov, I. Ivanov, 2014, TAMC.

On Local Characterization of Global Timed Bisimulation for Abstract Continuous-Time Systems

Ievgen Ivanov, I. Ivanov, 2016, CMCS.

Nominative data with ordered set of names

Ievgen Ivanov, Mykola Nikitchenko, Volodymyr G. Skobelev, 2017, Comput. Sci. J. Moldova.

Kleene Algebra of Partial Predicates

Ievgen Ivanov, Mykola Nikitchenko, Artur Kornilowicz, 2018, Formaliz. Math..

Extended Floyd-Hoare Logic over Relational Nominative Data

Ievgen Ivanov, Artur Korniłowicz, Mykola S. Nikitchenko, 2017, AICT 2017.

An Abstract Block Formalism for Engineering Systems

Ievgen Ivanov, 2013, ICTERI.

On the Underapproximation of Reach Sets of Abstract Continuous-Time Systems

Ievgen Ivanov, 2017, SNR@ETAPS.

On Algebraic Properties of Nominative Data and Functions

Ievgen Ivanov, Mykola Nikitchenko, Volodymyr G. Skobelev, 2014, ICTERI.

On Existence of Total Input-Output Pairs of Abstract Time Systems

Ievgen Ivanov, I. Ivanov, 2013, ICTERI.

On Formalization of Semantics of Real-Time and Cyber-Physical Systems

Ievgen Ivanov, Mykola S. Nikitchenko, Taras Panchenko, 2018 .

On Algebras of Algorithms and Specifications over Uninterpreted Data

Ievgen Ivanov, Mykola Nikitchenko, Artur Kornilowicz, 2018, Formaliz. Math..

An Approach To Formalization of an Extension of Floyd-Hoare Logic

Ievgen Ivanov, Mykola Nikitchenko, Artur Kornilowicz, 2017, ICTERI.

On a Decidable Formal Theory for Abstract Continuous-Time Dynamical Systems

Uri Abraham, Ievgen Ivanov, Mykola Nikitchenko, 2014, ICTERI.

On a Strong Notion of Viability for Switched Systems

Ievgen Ivanov, I. Ivanov, 2015, ICTERI.

A Criterion for Existence of Global-in-Time Trajectories of Non-deterministic Markovian Systems

Ievgen Ivanov, I. Ivanov, 2012, ICTERI.