Dependable SoPC-Based On-board Ice Protection System: From Research Project to Implementation. - Yuliya Prokhorova; Vyacheslav S. Kharchenko; Sergey Ostroumov; Stanislav Yatsenko; Mykola Sidorenko; Boris Ostroumov (DepCoS-RELCOMEX, 2008)

Derivation and Formal Verification of a Mode Logic for Layered Control Systems. - Yuliya Prokhorova; Linas Laibinis; Elena Troubitsyna; Kimmo Varpaaniemi; Timo Latvala (APSEC, 2011)

Patterns for Representing FMEA in Formal Specification of Control Systems. - Ilya Lopatkin; Alexei Iliasov; Alexander B. Romanovsky; Yuliya Prokhorova; Elena Troubitsyna (HASE, 2011)

Linking Modelling in Event-B with Safety Cases. - Yuliya Prokhorova; Elena Troubitsyna (SERENE, 2012)

Deriving a mode logic using failure modes and effects analysis. - Yuliya Prokhorova; Linas Laibinis; Elena Troubitsyna; Kimmo Varpaaniemi; Timo Latvala (Int. J. Crit. Comput. Based Syst., 2012)

Formalisation of an Industrial Approach to Monitoring Critical Data. - Yuliya Prokhorova; Elena Troubitsyna; Linas Laibinis; Dubravka Ilic; Timo Latvala (SAFECOMP, 2013)

A Case Study in Refinement-Based Modelling of a Resilient Control System. - Yuliya Prokhorova; Elena Troubitsyna; Linas Laibinis (SERENE, 2013)

A survey of safety-oriented model-driven and formal development approaches. - Yuliya Prokhorova; Elena Troubitsyna (Int. J. Crit. Comput. Based Syst., 2013)

From Requirements Engineering to Safety Assurance: Refinement Approach. - Linas Laibinis; Elena Troubitsyna; Yuliya Prokhorova; Alexei Iliasov; Alexander B. Romanovsky (SETTA, 2015)

Facilitating construction of safety cases from formal models in Event-B. - Yuliya Prokhorova; Linas Laibinis; Elena Troubitsyna (Inf. Softw. Technol., 2015)

Time and Space Partitioning Using On-Board Software Reference Architecture. - Victor Bos; Timo Vepsäläinen; Yuliya Prokhorova; Timo Latvala (ISSRE Workshops, 2016)