Referentgranskade publikationer

A1 Originalartikel i en vetenskaplig tidskrift (referentgranskad)
Facilitating Construction of Safety Cases from Formal Models in Event-B (2015)
Yuliya Prokhorova, Linas Laibinis, Elena Troubitsyna
Information and Software Technology
Visa på utgivarens sida
A4 Konferenspublikationer
From Requirements Engineering to Safety Assurance: Refinement Approach (2015)
Linas Laibinis, Elena Troubitsyna, Yuliya Prokhorova, Alexei Iliasov, Alexander Romanovsky
Springer
Visa på utgivarens sida
A4 Konferenspublikationer
A Case Study in Refinement-Based Modelling of a Resilient Control System (2013)
Yuliya Prokhorova, Elena Troubitsyna, Linas Laibinis
Springer
Visa på utgivarens sida
A1 Originalartikel i en vetenskaplig tidskrift (referentgranskad)
A Survey of Safety-Oriented Model-Driven and Formal Development Approaches (2013)
Yuliya Prokhorova, Elena Troubitsyna
International Journal of Critical Computer-Based Systems
Visa på utgivarens sida
A4 Konferenspublikationer
Formalisation of an Industrial Approach to Monitoring Critical Data (2013)
Yuliya Prokhorova, Elena Troubitsyna, Linas Laibinis, Dubravka Ilić, Timo Latvala
Springer
Visa på utgivarens sida
A1 Originalartikel i en vetenskaplig tidskrift (referentgranskad)
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
Visa på utgivarens sida
A4 Konferenspublikationer
Derivation and Formal Verification of a Mode Logic for Layered Control Systems (2011)
Yuliya Prokhorova, Linas Laibinis, Elena Troubitsyna, Kimmo Varpaaniemi, Timo Latvala
IEEE
Visa på utgivarens sida
A3 Bokavsnitt, kapitel i forskningsböcker
Development of Safety-Critical Control Systems in Event-B Using FMEA (2011)
Yuliya Prokhorova, Elena Troubitsyna, Linas Laibinis, Vyacheslav Kharchenko
Information science reference IGI
Visa på utgivarens sida
A4 Konferenspublikationer
Patterns for Representing FMEA in Formal Specification of Control Systems (2011)
Ilya Lopatkin, Alexei Iliasov, Alexander Romanovsky, Yuliya Prokhorova, Elena Troubitsyna
IEEE
Visa på utgivarens sida


Övriga publikationer

D4 Publicerad utvecklings- eller forskningsrapport eller studie
Towards Rigorous Construction of Safety Cases (2014)
Yuliya Prokhorova, Linas Laibinis, Elena Troubitsyna
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Integrating FMEA into Event-B Development of Safety-Critical Control Systems (2010)
Yuliya Prokhorova, Elena Troubitsyna, Linas Laibinis

Senast uppdaterad 2018-19-09 vid 19:51