Svetlana Prokopenko

Publication Activity (10 Years)

Years Active: 2000-2021
Publications (10 Years): 1

Top Topics

Stationary Distribution

Conformant Planning

Top Venues

Publications

Maxim Gromov, Natalia Shabaldina, Aleksandr S. Tvardovskii, Svetlana Prokopenko
FSM-based Sequential Circuits Optimization by Changing Initial State of Specification. EWDTS (2021)
Khaled El-Fakih, Anton Kolomeez, Svetlana Prokopenko, Nina Yevtushenko
Extended Finite State Machine Based Test Derivation Driven by User Defined Faults. ICST (2008)
Ana R. Cavalli, Caroline Gervy, Svetlana Prokopenko
New approaches for passive testing using an Extended Finite State Machine specification. Inf. Softw. Technol. 45 (12) (2003)
Khaled El-Fakih, Svetlana Prokopenko, Nina Yevtushenko, Gregor von Bochmann
Fault Diagnosis in Extended Finite State Machines. TestCom (2003)
Ana R. Cavalli, Svetlana Prokopenko, Nina Yevtushenko
Fault Detection within a Component of a System of Communicating FSMs. TestCom (2002)
Ana R. Cavalli, Svetlana Prokopenko, Nina Yevtushenko
Fault Detection Power of a Widely Used Test Suite for a System of Communicating FSMs. TestCom (2000)