Publications of
Ievgen Ivanov, Mykola Nikitchenko, Louis Féraud
Hybrid possibilistic systems with nondeterministic continous evolutions and switching
In : Acta Electrotechnica et Informatica, Faculty of Electrical Engineering and Informatics, Košice – Slovaquie, Vol. 12 N. 1, (electronic medium), 2012.
Ievgen Ivanov, Mykola Nikitchenko, Louis Féraud
Possibilistic modeling of a special class of hybrid systems (regular paper)
In : International scientific conference "Dynamical system modeling and stability investigation" (DMSI 2011), Kiev Ukraine, 25/05/11-27/05/11, DMSI, pp. 90-95, May 2011.
Ievgen Ivanov, Mykola Nikitchenko, Louis Féraud
Possibilistic models of hybrid systems with nondeterministic continuous evolutions and switchings (regular paper)
In : International scientific conference INFORMATICS’2011, Roznava Slovakia, 16/11/11-18/11/11, Faculty of Electrical Engineering and Informatics, pp. 14-25, November 2011.
Ievgen Ivanov, Mykola Nikitchenko, Louis Féraud, Martin Strecker
Modeling programs over complex-named data by term rewriting systems (regular paper)
In : Theoretical and Applied Aspects of Program Systems Development (TAAPSD 2010), Univ. Taras Shevchenko, Kiev (Ukraine), 04/10/10-08/10/10, Presses universitaires de l’Université Taras Shevchenko, pp. 40-49, October 2010.