Referentgranskade publikationer

A4 Konferenspublikationer A Formal Approach to Identifying Security Vulnerabilities in Telecommunication Networks (2016) Linas Laibinis, Elena Troubitsyna, Inna Pereverzeva, Ian Oliver, Silke Holtmanns Springer Visa på utgivarens sida

A4 Konferenspublikationer Formalisation-Driven Development of Safety-Critical Systems (2016) Alexei Iliasov, Alexander Romanovsky, Elena Troubitsyna, Linas Laibinis IEEE Visa på utgivarens sida

A4 Konferenspublikationer Towards Security-Explicit Formal Modelling of Safety-Critical Systems (2016) Elena Troubitsyna, Linas Laibinis, Inna Pereverzeva, Tuomas Kuismin, Dubravka Ilic, Timo Latvala Springer Visa på utgivarens sida

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

A1 Originalartikel i en vetenskaplig tidskrift (referentgranskad) Integrating Stochastic Reasoning Into Event-B Development (2015) Anton Tarasyuk, Elena Troubitsyna, Linas Laibinis Formal Aspects of Computing Visa på utgivarens sida

A4 Konferenspublikationer Towards Visualisation of Resilience Assessment for Large-Scale Systems (2015) Elena Troubitsyna and Linas Laibinis IEEE Visa på utgivarens sida

A4 Konferenspublikationer Formal Derivation of Distributed MapReduce (2014) Pereverzeva I, Butler M, Fathabadi AS, Laibinis L, Troubitsyna E Springer Visa på utgivarens sida

A1 Originalartikel i en vetenskaplig tidskrift (referentgranskad) Formal Development of Wireless Sensor–Actor Networks (2014) Maryam Kamali, Linas Laibinis, Luigia Petre, Kaisa Sere Science of Computer Programming Visa på utgivarens sida

A4 Konferenspublikationer Formal Modelling and Verification of Cooperative Ant Behaviour in Event-B (2014) Laibinis L, Troubitsyna E, Graja Z, Migeon F, Kacem AH Springer Visa på utgivarens sida

A4 Konferenspublikationer Integrating Event-B Modelling and Discrete-Event Simulation to Analyse Resilience of Data Stores in the Cloud (2014) Laibinis L, Byholm B, Pereverzeva I, Troubitsyna E, Tan KE, Porres I Springer Visa på utgivarens sida

A4 Konferenspublikationer Modelling Resilience of Data Processing Capabilities of CPS (2014) Laibinis L, Klionskiy D, Troubitsyna E, Dorokhov A, Lilius J, Kupriyanov M Springer Visa på utgivarens sida

A4 Konferenspublikationer Modelling Resilient Systems-of-Systems in Event-B (2014) Laibinis L, Pereverzeva I, Troubitsyna E 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 Distributed Design of a Network Recovery Algorithm (2013) Maryam Kamali, Linas Laibinis, Luigia Petre, Kaisa Sere International Journal of Critical Computer-Based Systems Visa på utgivarens sida

A1 Originalartikel i en vetenskaplig tidskrift (referentgranskad) A Refinement-Based Approach to Developing Critical Multi-Agent Systems (2013) Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis 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

A4 Konferenspublikationer A Case Study in Formal Development of a Fault Tolerant Multi-Robotic System (2012) Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis 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 Formal Development of Critical Multi-Agent Systems: A Refinement Approach (2012) Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis IEEE 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

A3 Bokavsnitt, kapitel i forskningsböcker Towards Designing FPGA-Based Systems by Refinement in B (2011) Sergey Ostroumov, Elena Troubitsyna, Linas Laibinis, Vyacheslav Kharchenko Information science reference IGI Visa på utgivarens sida

A1 Originalartikel i en vetenskaplig tidskrift (referentgranskad) Requirement-Driven Scenario-Based Testing Using Formal Stepwise Development (2010) Qaisar A. Malik, Linas Laibinis, Dragoş Truşcan, and Johan Lilius International Journal on Advances in Software

A4 Konferenspublikationer Self-Recovering Sensor-Actor Networks (2010) Maryam Kamali, Linas Laibinis, Luigia Petre, Kaisa Sere Electronic Proceedings in Theoretical Computer Science Open Publishing Association Visa på utgivarens sida

A4 Konferenspublikationer Scenario-based Test Case Generation Using Event-B Models (2009) Qaisar A. Malik, Johan Lilius, Linas Laibinis IEEE Computer Society Visa på utgivarens sida

A3 Bokavsnitt, kapitel i forskningsböcker Model-based Testing Using Scenarios and Event-B Refinements (2008) Qaisar A Malik, Johan Lilius, Linas Laibinis Springer Visa på utgivarens sida

A4 Konferenspublikationer Model-based Testing Using Scenarios and Event-B Refinements (2007) Qaisar A. Malik , Johan Lilius, Linas Laibinis

A4 Konferenspublikationer Formal Model-Driven Development of Communicating Systems (2005) Linas Laibinis, Elena Troubitsyna, Sari Leppänen, Johan Lilius, Qaisar Malik Springer Visa på utgivarens sida

Övriga publikationer

D4 Publicerad utvecklings- eller forskningsrapport eller studie Formal Reasoning about Resilient Goal-Oriented Multi-Agent Systems (2015) Linas Laibinis, Inna Pereverzeva, Elena Troubitsyna

D4 Publicerad utvecklings- eller forskningsrapport eller studie Formal Derivation of Distributed MapReduce (2014) Inna Pereverzeva, Michael Butler, Asieh Salehi Fathabadi, Linas Laibinis, Elena Troubitsyna

D4 Publicerad utvecklings- eller forskningsrapport eller studie Towards Rigorous Construction of Safety Cases (2014) Yuliya Prokhorova, Linas Laibinis, Elena Troubitsyna

D3 Professionell konferenspublikation Development of a Dependable Multi-Agent System by Refinement in Event-B (2011) Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis Technical University of Denmark

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

D4 Publicerad utvecklings- eller forskningsrapport eller studie Generating Test Cases from Scenario-Based Formal Development (2008) Qaisar A. Malik, Johan Lilius,Linas Laibinis

D4 Publicerad utvecklings- eller forskningsrapport eller studie Formal Model-Driven Development of Communicating Systems (2005) Linas Laibinis, Elena Troubitsyna, Sari Leppänen, Johan Lilius, Qaisar Malik