• HOME
• ABOUT US
  • Organization
  • Personnel
• NEWS&EVENTS
  • News & Events archive
  • Newsletter archive
  • Conference archive
  • Travel reports
• COOPERATION
  • International Involvement
  • National Involvement
  • Regional Involvement
• EDUCATION
  • Master's Programmes
  • TUCS Graduate Programmes
  • Information for Students
  • Courses
  • TUCS Short Courses
• PUBLICATIONS
  • TUCS Publication Series
  • How to Publish in TUCS Series
  • Publication Search
  • Publication Graph
  • Publication Input
  • Publication Input Guide
  • JuFo Browser
• RESEARCH
  • Focus areas
  • Research Programmes
  • Research Units
  • Distinguished Lectures

Where academic tradition
meets the exciting future

You are here: TUCS > PUBLICATIONS > Publication Search

• TUCS Publication Series
• How to Publish in TUCS Series
• Publication Search
• Publication Graph
• Publication Input
• Publication Input Guide
• JuFo Browser

Department: Any ÅAU / Department of Information Technologies UTU / Department of Information Technology UTU / Department of Mathematics and Statistics UTU / Turku School of Economics, Institute of Information Systems Sciences

Research Unit: Any Algorithmics and Computational Intelligence Group (ACI) Biomathematics Research Unit (BIOMATH) Communication Systems (ComSys) Computational Biomodeling Laboratory (Combio Lab) Data Mining and Knowledge Management Laboratory Distributed Systems Laboratory (DS Lab) Embedded Computer and Electronic Systems (ECES) Embedded Systems Laboratory (ESLAB) FUNDIM, Fundamentals of Computing and Discrete Mathematics Institute for Advanced Management Systems Research (IAMSR) Learning and Reasoning Lab Software Construction Laboratorium Software Development Laboratory (SwDev) Software Engineering Laboratory (SE Lab) Turku BioNLP Group Turku Optimization Group (TOpGroup) UTU Information Systems Science (ISS)

Publication type: Any Monographs Edited books Edited special issues of journals Edited proceedings Articles in journals Articles in proceedings Chapters in edited books Ph.D. thesis Lic. thesis Technical reports

Lastname, Firstname Year Title Abstract Keyword Points AND Lastname, Firstname Year Title Abstract Keyword Points AND Lastname, Firstname Year Title Abstract Keyword Points AND Lastname, Firstname Year Title Abstract Keyword Points AND Lastname, Firstname Year Title Abstract Keyword Points

Sort output by publication type Sort output by publication year

and display below and download in BibTeX and download as CSV and download as 2014-CSV

Articles in journals (3):

• Yuliya Prokhorova, Linas Laibinis, Elena Troubitsyna, Facilitating Construction of Safety Cases from Formal Models in Event-B. Information and Software Technology 60, 51–76, 2015.
• Yuliya Prokhorova, Elena Troubitsyna, A Survey of Safety-Oriented Model-Driven and Formal Development Approaches. International Journal of Critical Computer-Based Systems 4(2), 93–118, 2013.
• Yuliya Prokhorova, Linas Laibinis, Elena Troubitsyna, Kimmo Varpaaniemi, Timo Latvala, Deriving a Mode Logic Using Failure Modes and Effects Analysis. International Journal of Critical Computer-Based Systems 3(4), 305–328, 2012.

Articles in proceedings (8):

• Linas Laibinis, Elena Troubitsyna, Yuliya Prokhorova, Alexei Iliasov, Alexander Romanovsky, From Requirements Engineering to Safety Assurance: Refinement Approach. In: Li Xuandong, Liu Zhiming, Yi Wang (Eds.), Dependable Software Engineering: Theories, Tools, and Applications, First International Symposium, SETTA 2015, Nanjing, Lecture Notes in Computer Science 9409, 201–216, Springer, 2015.
• Yuliya Prokhorova, Elena Troubitsyna, Linas Laibinis, Dubravka Ilić, Timo Latvala, Formalisation of an Industrial Approach to Monitoring Critical Data. In: Friedemann Bitsch, Jérémie Guiochet, Mohamed Kaâniche (Eds.), Proceedings of the 32nd International Conference on Computer Safety, Reliability and Security (SAFECOMP 2013), Lecture Notes in Computer Science 8153, 57–69, Springer-Verlag Berlin Heidelberg, 2013.
• Yuliya Prokhorova, Elena Troubitsyna, Linas Laibinis, Supporting Formal Modelling in Event-B with Safety Cases. In: Michael Butler, Stefan Hallerstede, Marina Waldén (Eds.), Proceedings of the 4th Rodin User and Developer Workshop, TUCS Lecture Notes 18, 8–11, TUCS, 2013.
• Yuliya Prokhorova, Elena Troubitsyna, Linas Laibinis, A Case Study in Refinement-Based Modelling of a Resilient Control System. In: Anatoliy Gorbenko, Alexander Romanovsky, Vyacheslav Kharchenko (Eds.), Proceedings of the 5th International Workshop on Software Engineering for Resilient Systems (SERENE 2013), Lecture Notes in Computer Science 8166, 79–93, Springer-Verlag Berlin Heidelberg, 2013.
• Yuliya Prokhorova, Elena Troubitsyna, Linking Modelling in Event-B with Safety Cases. In: Paris Avgeriou (Ed.), Proceedings of the 4th International Workshop on Software Engineering for Resilient Systems (SERENE 2012), Lecture Notes in Computer Science 7527, 47–62, Springer-Verlag Berlin Heidelberg, 2012.
• Ilya Lopatkin, Alexei Iliasov, Alexander Romanovsky, Yuliya Prokhorova, Elena Troubitsyna, Patterns for Representing FMEA in Formal Specification of Control Systems. In: Ankur Agarwal, Swapna Gokhale, Taghi M. Khoshgoftaar (Eds.), Proceedings of the 13th IEEE International High Assurance Systems Engineering Symposium (HASE 2011), 146-151, IEEE Conference Publishing Services (CPS), 2011.
• Yuliya Prokhorova, Linas Laibinis, Elena Troubitsyna, Kimmo Varpaaniemi, Timo Latvala, Derivation and Formal Verification of a Mode Logic for Layered Control Systems. In: Tran Dan Thu, Karl Leung (Eds.), Proceedings of the 18th Asia-Pacific Software Engineering Conference (APSEC 2011), 49–56, IEEE Conference Publishing Services (CPS), 2011.
• Yuliya Prokhorova, Elena Troubitsyna, Linas Laibinis, Kimmo Varpaaniemi, Timo Latvala, Deriving Mode Logic for Fault-Tolerant Control Systems. In: Naveed Ahmed, Daniele Quercia, Christian D. Jensen (Eds.), Workshop Proceedings of the 5th IFIP WG 11.11 International Conference on Trust Management (IFIPTM 2011), 309-323, Technical University of Denmark, 2011.

Chapters in edited books (1):

• Yuliya Prokhorova, Elena Troubitsyna, Linas Laibinis, Vyacheslav Kharchenko, Development of Safety-Critical Control Systems in Event-B Using FMEA . In: Luigia Petre, Kaisa Sere, Elena Troubitsyna (Eds.), Dependability and Computer Engineering: Concepts for Software-Intensive Systems, 75–91, IGI Global, 2011.

Ph.D. thesis (1):

• Yuliya Prokhorova, Rigorous Development of Safety-Critical Systems. TUCS Dissertations 193. 2015.

Technical reports (6):

• Yuliya Prokhorova, Linas Laibinis, Elena Troubitsyna, Towards Rigorous Construction of Safety Cases. TUCS Technical Reports 1110, Turku Centre for Computer Science, 2014.
• Yuliya Prokhorova, Elena Troubitsyna, Linas Laibinis, A Case Study in Refinement-Based Modelling of a Resilient Control System. TUCS Technical Reports 1086, TUCS, 2013.
• Yuliya Prokhorova, Elena Troubitsyna, Linas Laibinis, Dubravka Ilic, Timo Latvala, Formalisation of an Industrial Approach to Monitoring Critical Data. TUCS Technical Reports 1070, TUCS, 2013.
• Ilya Lopatkin, Alexei Iliasov, Alexander Romanovsky, Yuliya Prokhorova, Elena Troubitsyna, Patterns for Representing FMEA in Formal Specification of Control Systems. TECHNICAL REPORT SERIES CS-TR-1261, Newcastle University, 2011.
• Ilya Lopatkin, Yuliya Prokhorova, Elena Troubitsyna, Alexei Iliasov, Alexander Romanovsky, Patterns for Representing FMEA in Formal Specification of Control Systems. TUCS Technical Reports 1003, Turku Centre for Computer Science, 2011.
• Yuliya Prokhorova, Elena Troubitsyna, Linas Laibinis, Integrating FMEA into Event-B Development of Safety-Critical Control Systems. TUCS Technical Reports 986, Turku Centre for Computer Science, 2010.