Yuliya Prokhorova

According to our database, Yuliya Prokhorova authored at least 11 papers between 2008 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

Time and Space Partitioning Using On-Board Software Reference Architecture.

Victor Bos, Timo Vepsäläinen, Yuliya Prokhorova, Timo Latvala

Proceedings of the 2016 IEEE International Symposium on Software Reliability Engineering Workshops, 2016

2015

Facilitating construction of safety cases from formal models in Event-B.

Yuliya Prokhorova, Linas Laibinis, Elena Troubitsyna

Inf. Softw. Technol., 2015

From Requirements Engineering to Safety Assurance: Refinement Approach.

Linas Laibinis, Elena Troubitsyna, Yuliya Prokhorova, Alexei Iliasov, Alexander B. Romanovsky

Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2015

2013

A survey of safety-oriented model-driven and formal development approaches.

Yuliya Prokhorova, Elena Troubitsyna

Int. J. Crit. Comput. Based Syst., 2013

A Case Study in Refinement-Based Modelling of a Resilient Control System.

Yuliya Prokhorova, Elena Troubitsyna, Linas Laibinis

Proceedings of the Software Engineering for Resilient Systems, 5th International Workshop, 2013

Formalisation of an Industrial Approach to Monitoring Critical Data.

Yuliya Prokhorova, Elena Troubitsyna, Linas Laibinis, Dubravka Ilic, Timo Latvala

Proceedings of the Computer Safety, Reliability, and Security, 2013

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

Linking Modelling in Event-B with Safety Cases.

Yuliya Prokhorova, Elena Troubitsyna

Proceedings of the Software Engineering for Resilient Systems - 4th International Workshop, 2012

2011

Patterns for Representing FMEA in Formal Specification of Control Systems.

Ilya Lopatkin, Alexei Iliasov, Alexander B. Romanovsky, Yuliya Prokhorova, Elena Troubitsyna

Proceedings of the 13th IEEE International Symposium on High-Assurance Systems Engineering, 2011

Derivation and Formal Verification of a Mode Logic for Layered Control Systems.

Yuliya Prokhorova, Linas Laibinis, Elena Troubitsyna, Kimmo Varpaaniemi, Timo Latvala

Proceedings of the 18th Asia Pacific Software Engineering Conference, 2011

2008

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

Proceedings of the Third International Conference on Dependability of Computer Systems, 2008