Peer-reviewed publications

A4 Conference proceedings
A Formal Approach to Identifying Security Vulnerabilities in Telecommunication Networks (2016)
Linas Laibinis, Elena Troubitsyna, Inna Pereverzeva, Ian Oliver, Silke Holtmanns
Springer
View on publisher's site
A4 Conference proceedings
Formalisation-Driven Development of Safety-Critical Systems (2016)
Alexei Iliasov, Alexander Romanovsky, Elena Troubitsyna, Linas Laibinis
IEEE
View on publisher's site
A4 Conference proceedings
Towards Security-Explicit Formal Modelling of Safety-Critical Systems (2016)
Elena Troubitsyna, Linas Laibinis, Inna Pereverzeva, Tuomas Kuismin, Dubravka Ilic, Timo Latvala
Springer
View on publisher's site
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
A1 Journal article (refereed)
Integrating Stochastic Reasoning Into Event-B Development (2015)
Anton Tarasyuk, Elena Troubitsyna, Linas Laibinis
Formal Aspects of Computing
View on publisher's site
A4 Conference proceedings
Towards Visualisation of Resilience Assessment for Large-Scale Systems (2015)
Elena Troubitsyna and Linas Laibinis
IEEE
View on publisher's site
A4 Conference proceedings
Formal Derivation of Distributed MapReduce (2014)
Pereverzeva I, Butler M, Fathabadi AS, Laibinis L, Troubitsyna E
Springer
View on publisher's site
A1 Journal article (refereed)
Formal Development of Wireless Sensor–Actor Networks (2014)
Maryam Kamali, Linas Laibinis, Luigia Petre, Kaisa Sere
Science of Computer Programming
View on publisher's site
A4 Conference proceedings
Formal Modelling and Verification of Cooperative Ant Behaviour in Event-B (2014)
Laibinis L, Troubitsyna E, Graja Z, Migeon F, Kacem AH
Springer
View on publisher's site
A4 Conference proceedings
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
View on publisher's site
A4 Conference proceedings
Modelling Resilience of Data Processing Capabilities of CPS (2014)
Laibinis L, Klionskiy D, Troubitsyna E, Dorokhov A, Lilius J, Kupriyanov M
Springer
View on publisher's site
A4 Conference proceedings
Modelling Resilient Systems-of-Systems in Event-B (2014)
Laibinis L, Pereverzeva I, Troubitsyna E
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 Distributed Design of a Network Recovery Algorithm (2013)
Maryam Kamali, Linas Laibinis, Luigia Petre, Kaisa Sere
International Journal of Critical Computer-Based Systems
View on publisher's site
A1 Journal article (refereed)
A Refinement-Based Approach to Developing Critical Multi-Agent Systems (2013)
Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis
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
A4 Conference proceedings
A Case Study in Formal Development of a Fault Tolerant Multi-Robotic System (2012)
Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis
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
Formal Development of Critical Multi-Agent Systems: A Refinement Approach (2012)
Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis
IEEE
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
A3 Book section, Chapters in research books
Towards Designing FPGA-Based Systems by Refinement in B (2011)
Sergey Ostroumov, Elena Troubitsyna, Linas Laibinis, Vyacheslav Kharchenko
Information science reference IGI
View on publisher's site
A1 Journal article (refereed)
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 Conference proceedings
Scenario-based Test Case Generation Using Event-B Models (2009)
Qaisar A. Malik, Johan Lilius, Linas Laibinis
IEEE Computer Society
View on publisher's site
A3 Book section, Chapters in research books
Model-based Testing Using Scenarios and Event-B Refinements (2008)
Qaisar A Malik, Johan Lilius, Linas Laibinis
Springer
View on publisher's site
A4 Conference proceedings
Model-based Testing Using Scenarios and Event-B Refinements (2007)
Qaisar A. Malik , Johan Lilius, Linas Laibinis
A4 Conference proceedings
Formal Model-Driven Development of Communicating Systems (2005)
Linas Laibinis, Elena Troubitsyna, Sari Leppänen, Johan Lilius, Qaisar Malik
Springer
View on publisher's site


Other publications

D4 Published development or research report or study
Formal Reasoning about Resilient Goal-Oriented Multi-Agent Systems (2015)
Linas Laibinis, Inna Pereverzeva, Elena Troubitsyna
D4 Published development or research report or study
Formal Derivation of Distributed MapReduce (2014)
Inna Pereverzeva, Michael Butler, Asieh Salehi Fathabadi, Linas Laibinis, Elena Troubitsyna
D4 Published development or research report or study
Towards Rigorous Construction of Safety Cases (2014)
Yuliya Prokhorova, Linas Laibinis, Elena Troubitsyna
D3 Professional conference proceedings
Development of a Dependable Multi-Agent System by Refinement in Event-B (2011)
Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis
Technical University of Denmark
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
D4 Published development or research report or study
Generating Test Cases from Scenario-Based Formal Development (2008)
Qaisar A. Malik, Johan Lilius,Linas Laibinis
D4 Published development or research report or study
Formal Model-Driven Development of Communicating Systems (2005)
Linas Laibinis, Elena Troubitsyna, Sari Leppänen, Johan Lilius, Qaisar Malik

Last updated on 2017-20-06 at 09:52

Get in contact