D. A. Ryabukhin

Publication Activity (10 Years)

Years Active: 2014-2017
Publications (10 Years): 3

Top Topics

Provably Correct

Formal Verification

Top Venues

Autom. Control. Comput. Sci.

Publications

D. A. Ryabukhin, E. V. Kuzmin, Valery A. Sokolov
Construction of CFC-Programs by LTL-Specification. Autom. Control. Comput. Sci. 51 (7) (2017)
E. V. Kuzmin, D. A. Ryabukhin, Valery A. Sokolov
On the expressiveness of the approach to constructing PLC-programs by LTL-specification. Autom. Control. Comput. Sci. 50 (7) (2016)
E. V. Kuzmin, Valery A. Sokolov, D. A. Ryabukhin
Construction and verification of PLC-programs by LTL-specification. Autom. Control. Comput. Sci. 49 (7) (2015)
E. V. Kuzmin, Valery A. Sokolov, D. A. Ryabukhin
Construction and verification of PLC LD programs by the LTL specification. Autom. Control. Comput. Sci. 48 (7) (2014)
E. V. Kuzmin, D. A. Ryabukhin, Valery A. Sokolov
Modeling a consistent behavior of PLC-sensors. Autom. Control. Comput. Sci. 48 (7) (2014)