Forskning
Registerbeskrivning
Logga in
Tillgänglighet
In English
Artur
Om Artur
Artur
»
Lista över personer
»
Linas Laibinis
Hem
Publikationer
Personer
Samverkansaktiviteter
Organisationer
Områden
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
Dela länk
Kom i kontakt
Senast uppdaterad 2017-20-06 vid 09:52