Linas Laibinis

Publication Activity (10 Years)

Years Active: 1996-2023
Publications (10 Years): 15

Top Topics

Requirements Engineering

Top Venues

Sci. Comput. Program.

Publications

Alexei Iliasov, Dominic Taylor, Linas Laibinis, Alexander B. Romanovsky
Practical Verification of Railway Signalling Programs. IEEE Trans. Dependable Secur. Comput. 20 (1) (2023)
Alexei Iliasov, Dominic Taylor, Linas Laibinis, Alexander B. Romanovsky
The SafeCap Trajectory: Industry-Driven Improvement of an Interlocking Verification Tool. RSSRail (2023)
Alexei Iliasov, Linas Laibinis, Dominic Taylor, Ilya Lopatkin, Alexander B. Romanovsky
Safety Invariant Verification that Meets Engineers' Expectations. RSSRail (2022)
Alexei Iliasov, Dominic Taylor, Linas Laibinis, Alexander B. Romanovsky
SafeCap: from formal verification of railway interlocking to its certification. CoRR (2021)
Linas Laibinis, Alexei Iliasov, Alexander B. Romanovsky
Mutation Testing for Rule-Based Verification of Railway Signaling Data. IEEE Trans. Reliab. 70 (2) (2021)
Alexei Iliasov, Alexander B. Romanovsky, Linas Laibinis
Quantitative Validation of Formal Domain Models. HASE (2019)
Alexei Iliasov, Dominic Taylor, Linas Laibinis, Alexander B. Romanovsky
Formal Verification of Signalling Programs with SafeCap. SAFECOMP (2018)
Linas Laibinis, Inna Pereverzeva, Elena Troubitsyna
Formal reasoning about resilient goal-oriented multi-agent systems. Sci. Comput. Program. 148 (2017)
Elena Troubitsyna, Linas Laibinis, Inna Pereverzeva, Tuomas Kuismin, Dubravka Ilic, Timo Latvala
Towards Security-Explicit Formal Modelling of Safety-Critical Systems. SAFECOMP (2016)
Alexei Iliasov, Alexander B. Romanovsky, Elena Troubitsyna, Linas Laibinis
Formalisation-Driven Development of Safety-Critical Systems. HASE (2016)
Linas Laibinis, Elena Troubitsyna, Inna Pereverzeva, Ian Oliver, Silke Holtmanns
A Formal Approach to Identifying Security Vulnerabilities in Telecommunication Networks. ICFEM (2016)
Anton Tarasyuk, Elena Troubitsyna, Linas Laibinis
Integrating stochastic reasoning into Event-B development. Formal Aspects Comput. 27 (1) (2015)
Yuliya Prokhorova, Linas Laibinis, Elena Troubitsyna
Facilitating construction of safety cases from formal models in Event-B. Inf. Softw. Technol. 60 (2015)
Elena Troubitsyna, Linas Laibinis
Towards Visualisation of Resilience Assessment for Large-Scale Systems. HPCC/CSS/ICESS (2015)
Linas Laibinis, Elena Troubitsyna, Yuliya Prokhorova, Alexei Iliasov, Alexander B. Romanovsky
From Requirements Engineering to Safety Assurance: Refinement Approach. SETTA (2015)
Inna Pereverzeva, Michael J. Butler, Asieh Salehi Fathabadi, Linas Laibinis, Elena Troubitsyna
Formal Derivation of Distributed MapReduce. ABZ (2014)
Zeineb Graja, Frédéric Migeon, Christine Maurel, Marie-Pierre Gleizes, Linas Laibinis, Amira Regayeg, Ahmed Hadj Kacem
. ICAART (2) (2014)
Linas Laibinis, Inna Pereverzeva, Elena Troubitsyna
Modelling Resilient Systems-of-Systems in Event-B. SAFECOMP Workshops (2014)
Linas Laibinis, Elena Troubitsyna, Zeineb Graja, Frédéric Migeon, Ahmed Hadj Kacem
Formal Modelling and Verification of Cooperative Ant Behaviour in Event-B. SEFM (2014)
Linas Laibinis, Dmitry M. Klionskiy, Elena Troubitsyna, Anatoly Dorokhov, Johan Lilius, Mikhail Kupriyanov
Modelling Resilience of Data Processing Capabilities of CPS. SERENE (2014)
Linas Laibinis, Benjamin Byholm, Inna Pereverzeva, Elena Troubitsyna, Kuan Eeik Tan, Ivan Porres
Integrating Event-B Modelling and Discrete-Event Simulation to Analyse Resilience of Data Stores in the Cloud. IFM (2014)
Maryam Kamali, Linas Laibinis, Luigia Petre, Kaisa Sere
Formal development of wireless sensor-actor networks. Sci. Comput. Program. 80 (2014)
Yuliya Prokhorova, Elena Troubitsyna, Linas Laibinis
A Case Study in Refinement-Based Modelling of a Resilient Control System. SERENE (2013)
Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis
A refinement-based approach to developing critical multi-agent systems. Int. J. Crit. Comput. Based Syst. 4 (1) (2013)
Maryam Kamali, Linas Laibinis, Luigia Petre, Kaisa Sere
A distributed design of a network recovery algorithm. Int. J. Crit. Comput. Based Syst. 4 (1) (2013)
Anton Tarasyuk, Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis
Formal Development and Quantitative Assessment of a Resilient Multi-robotic System. SERENE (2013)
Inna Pereverzeva, Linas Laibinis, Elena Troubitsyna, Markus Holmberg, Mikko Pöri
Formal Modelling of Resilient Data Storage in Cloud. ICFEM (2013)
Yuliya Prokhorova, Elena Troubitsyna, Linas Laibinis, Dubravka Ilic, Timo Latvala
Formalisation of an Industrial Approach to Monitoring Critical Data. SAFECOMP (2013)
Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander B. Romanovsky, Kimmo Varpaaniemi, Dubravka Ilic, Timo Latvala
Developing mode-rich satellite software by refinement in Event-B. Sci. Comput. Program. 78 (7) (2013)
Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis
Formal Goal-Oriented Development of Resilient MAS in Event-B. Ada-Europe (2012)
Anton Tarasyuk, Elena Troubitsyna, Linas Laibinis
Formal Modelling and Verification of Service-Oriented Systems in Probabilistic Event-B. IFM (2012)
Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis
A Case Study in Formal Development of a Fault Tolerant Multi-robotic System. SERENE (2012)
Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis
Formal Development of Critical Multi-agent Systems: A Refinement Approach. EDCC (2012)
Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis
Development of Fault Tolerant MAS with Cooperative Error Recovery by Refinement in Event-B CoRR (2012)
Yuliya Prokhorova, Linas Laibinis, Elena Troubitsyna, Kimmo Varpaaniemi, Timo Latvala
Deriving a mode logic using failure modes and effects analysis. Int. J. Crit. Comput. Based Syst. 3 (4) (2012)
Alexei Iliasov, Alexander B. Romanovsky, Linas Laibinis, Elena Troubitsyna, Timo Latvala
Augmenting Event-B modelling with real-time verification. FormSERA@ICSE (2012)
Anton Tarasyuk, Elena Troubitsyna, Linas Laibinis
Quantitative Verification of System Safety in Event-B. SERENE (2011)
Yuliya Prokhorova, Linas Laibinis, Elena Troubitsyna, Kimmo Varpaaniemi, Timo Latvala
Derivation and Formal Verification of a Mode Logic for Layered Control Systems. APSEC (2011)
Alexei Iliasov, Linas Laibinis, Elena Troubitsyna, Alexander B. Romanovsky
Formal Derivation of a Distributed Program in Event B. ICFEM (2011)
Maryam Kamali, Linas Laibinis, Luigia Petre, Kaisa Sere
Self-Recovering Sensor-Actor Networks FOCLASA (2010)
Anton Tarasyuk, Elena Troubitsyna, Linas Laibinis
Towards Probabilistic Modelling in Event-B. IFM (2010)
Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander B. Romanovsky, Kimmo Varpaaniemi, Dubravka Ilic, Timo Latvala
Developing Mode-Rich Satellite Software by Refinement in Event B. FMICS (2010)
Linas Laibinis, Elena Troubitsyna, Sari Leppänen
Service-Oriented Development of Fault Tolerant Communicating Systems: Refinement Approach. Int. J. Embed. Real Time Commun. Syst. 1 (2) (2010)
Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander B. Romanovsky, Kimmo Varpaaniemi, Pauli Väisänen, Dubravka Ilic, Timo Latvala
Verifying Mode Consistency for On-Board Satellite Software. SAFECOMP (2010)
Anton Tarasyuk, Elena Troubitsyna, Linas Laibinis
Augmenting formal development of control systems with quantitative reliability assessment. SERENE (2010)
Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander B. Romanovsky, Kimmo Varpaaniemi, Dubravka Ilic, Timo Latvala
Supporting Reuse in Event B Development: Modularisation Approach. ASM (2010)
Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander B. Romanovsky
Patterns for Refinement Automation. FMCO (2009)
Linas Laibinis, Elena Troubitsyna, Alexei Iliasov, Alexander B. Romanovsky
Formal development of cooperative exception handling for mobile agent systems. SERENE (2008)
Alexei Iliasov, Alexander B. Romanovsky, Budi Arief, Linas Laibinis, Elena Troubitsyna
On Rigorous Design and Implementation of Fault Tolerant Ambient Systems. ISORC (2007)
Dubravka Ilic, Elena Troubitsyna, Linas Laibinis, Sari Leppänen
Formal Verification of Consistency in Model-Driven Development of Distributed Communicating Systems and Communication Protocols. ISoLA (2006)
Linas Laibinis, Elena Troubitsyna, Alexei Iliasov, Alexander B. Romanovsky
Rigorous Development of Fault-Tolerant Agent Systems. RODIN Book (2006)
Dubravka Ilic, Elena Troubitsyna, Linas Laibinis, Colin F. Snook
Formal Development of Mechanisms for Tolerating Transient Faults. RODIN Book (2006)
Linas Laibinis, Elena Troubitsyna, Sari Leppänen, Johan Lilius, Qaisar A. Malik
Formal Service-Oriented Development of Fault Tolerant Communicating Systems. RODIN Book (2006)
Linas Laibinis, Elena Troubitsyna
Formal Development of Reactive Fault Tolerant Systems. RISE (2005)
Linas Laibinis, Elena Troubitsyna, Sari Leppänen, Johan Lilius, Qaisar A. Malik
Formal Model-Driven Development of Communicating Systems. ICFEM (2005)
Linas Laibinis, Elena Troubitsyna
Refinement of Fault Tolerant Control Systems in B. SAFECOMP (2004)
Linas Laibinis, Elena Troubitsyna
Fault Tolerance in a Layered Architecture: A General Specification Pattern in B. SEFM (2004)
Linas Laibinis, Joakim von Wright
Functional Procedures in Higher-Order Logic. TPHOLs (2000)
Leonid Mikhajlov, Emil Sekerinski, Linas Laibinis
Developing Components in the Presence of Re-entrance. World Congress on Formal Methods (1999)
Linas Laibinis
Using Lattice Theory in Higher Order Logic. TPHOLs (1996)