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
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

Senast uppdaterad 2017-20-06 vid 09:52