Yuliya Prokhorova

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