Peer-reviewed publications

A1 Journal article (refereed)
Facilitating Construction of Safety Cases from Formal Models in Event-B (2015)
Yuliya Prokhorova, Linas Laibinis, Elena Troubitsyna
Information and Software Technology
View on publisher's site
A4 Conference proceedings
From Requirements Engineering to Safety Assurance: Refinement Approach (2015)
Linas Laibinis, Elena Troubitsyna, Yuliya Prokhorova, Alexei Iliasov, Alexander Romanovsky
Springer
View on publisher's site
A4 Conference proceedings
A Case Study in Refinement-Based Modelling of a Resilient Control System (2013)
Yuliya Prokhorova, Elena Troubitsyna, Linas Laibinis
Springer
View on publisher's site
A1 Journal article (refereed)
A Survey of Safety-Oriented Model-Driven and Formal Development Approaches (2013)
Yuliya Prokhorova, Elena Troubitsyna
International Journal of Critical Computer-Based Systems
View on publisher's site
A4 Conference proceedings
Formalisation of an Industrial Approach to Monitoring Critical Data (2013)
Yuliya Prokhorova, Elena Troubitsyna, Linas Laibinis, Dubravka Ilić, Timo Latvala
Springer
View on publisher's site
A1 Journal article (refereed)
Deriving a Mode Logic Using Failure Modes and Effects Analysis (2012)
Yuliya Prokhorova, Linas Laibinis, Elena Troubitsyna, Kimmo Varpaaniemi, Timo Latvala
International Journal of Critical Computer-Based Systems
View on publisher's site
A4 Conference proceedings
Derivation and Formal Verification of a Mode Logic for Layered Control Systems (2011)
Yuliya Prokhorova, Linas Laibinis, Elena Troubitsyna, Kimmo Varpaaniemi, Timo Latvala
IEEE
View on publisher's site
A3 Book section, Chapters in research books
Development of Safety-Critical Control Systems in Event-B Using FMEA (2011)
Yuliya Prokhorova, Elena Troubitsyna, Linas Laibinis, Vyacheslav Kharchenko
Information science reference IGI
View on publisher's site
A4 Conference proceedings
Patterns for Representing FMEA in Formal Specification of Control Systems (2011)
Ilya Lopatkin, Alexei Iliasov, Alexander Romanovsky, Yuliya Prokhorova, Elena Troubitsyna
IEEE
View on publisher's site


Other publications

D4 Published development or research report or study
Towards Rigorous Construction of Safety Cases (2014)
Yuliya Prokhorova, Linas Laibinis, Elena Troubitsyna
D4 Published development or research report or study
Integrating FMEA into Event-B Development of Safety-Critical Control Systems (2010)
Yuliya Prokhorova, Elena Troubitsyna, Linas Laibinis

Last updated on 2018-19-09 at 19:51

Get in contact