Yuliya Prokhorova

Publication Activity (10 Years)

Years Active: 2008-2016
Publications (10 Years): 3

Top Topics

Requirements Engineering

Space Partitioning

Failure Modes And Effects

Top Venues

Int. J. Crit. Comput. Based Syst.

Inf. Softw. Technol.

Publications

Victor Bos, Timo Vepsäläinen, Yuliya Prokhorova, Timo Latvala
Time and Space Partitioning Using On-Board Software Reference Architecture. ISSRE Workshops (2016)
Yuliya Prokhorova, Linas Laibinis, Elena Troubitsyna
Facilitating construction of safety cases from formal models in Event-B. Inf. Softw. Technol. 60 (2015)
Linas Laibinis, Elena Troubitsyna, Yuliya Prokhorova, Alexei Iliasov, Alexander B. Romanovsky
From Requirements Engineering to Safety Assurance: Refinement Approach. SETTA (2015)
Yuliya Prokhorova, Elena Troubitsyna, Linas Laibinis
A Case Study in Refinement-Based Modelling of a Resilient Control System. SERENE (2013)
Yuliya Prokhorova, Elena Troubitsyna
A survey of safety-oriented model-driven and formal development approaches. Int. J. Crit. Comput. Based Syst. 4 (2) (2013)
Yuliya Prokhorova, Elena Troubitsyna, Linas Laibinis, Dubravka Ilic, Timo Latvala
Formalisation of an Industrial Approach to Monitoring Critical Data. SAFECOMP (2013)
Yuliya Prokhorova, Elena Troubitsyna
Linking Modelling in Event-B with Safety Cases. SERENE (2012)
Yuliya Prokhorova, Linas Laibinis, Elena Troubitsyna, Kimmo Varpaaniemi, Timo Latvala
Deriving a mode logic using failure modes and effects analysis. Int. J. Crit. Comput. Based Syst. 3 (4) (2012)
Ilya Lopatkin, Alexei Iliasov, Alexander B. Romanovsky, Yuliya Prokhorova, Elena Troubitsyna
Patterns for Representing FMEA in Formal Specification of Control Systems. HASE (2011)
Yuliya Prokhorova, Linas Laibinis, Elena Troubitsyna, Kimmo Varpaaniemi, Timo Latvala
Derivation and Formal Verification of a Mode Logic for Layered Control Systems. APSEC (2011)
Yuliya Prokhorova, Vyacheslav S. Kharchenko, Sergey Ostroumov, Stanislav Yatsenko, Mykola Sidorenko, Boris Ostroumov
Dependable SoPC-Based On-board Ice Protection System: From Research Project to Implementation. DepCoS-RELCOMEX (2008)