Using Lattice Theory in Higher Order Logic. - Linas Laibinis (TPHOLs, 1996)

Developing Components in the Presence of Re-entrance. - Leonid Mikhajlov; Emil Sekerinski; Linas Laibinis (World Congress on Formal Methods, 1999)

Functional Procedures in Higher-Order Logic. - Linas Laibinis; Joakim von Wright (TPHOLs, 2000)

Refinement of Fault Tolerant Control Systems in B. - Linas Laibinis; Elena Troubitsyna (SAFECOMP, 2004)

Fault Tolerance in a Layered Architecture: A General Specification Pattern in B. - Linas Laibinis; Elena Troubitsyna (SEFM, 2004)

Formal Model-Driven Development of Communicating Systems. - Linas Laibinis; Elena Troubitsyna; Sari Leppänen; Johan Lilius; Qaisar A. Malik (ICFEM, 2005)

Formal Development of Reactive Fault Tolerant Systems. - Linas Laibinis; Elena Troubitsyna (RISE, 2005)

Formal Verification of Consistency in Model-Driven Development of Distributed Communicating Systems and Communication Protocols. - Dubravka Ilic; Elena Troubitsyna; Linas Laibinis; Sari Leppänen (ISoLA, 2006)

Formal Development of Mechanisms for Tolerating Transient Faults. - Dubravka Ilic; Elena Troubitsyna; Linas Laibinis; Colin F. Snook (RODIN Book, 2006)

Rigorous Development of Fault-Tolerant Agent Systems. - Linas Laibinis; Elena Troubitsyna; Alexei Iliasov; Alexander B. Romanovsky (RODIN Book, 2006)

Formal Service-Oriented Development of Fault Tolerant Communicating Systems. - Linas Laibinis; Elena Troubitsyna; Sari Leppänen; Johan Lilius; Qaisar A. Malik (RODIN Book, 2006)

On Rigorous Design and Implementation of Fault Tolerant Ambient Systems. - Alexei Iliasov; Alexander B. Romanovsky; Budi Arief; Linas Laibinis; Elena Troubitsyna (ISORC, 2007)

Formal development of cooperative exception handling for mobile agent systems. - Linas Laibinis; Elena Troubitsyna; Alexei Iliasov; Alexander B. Romanovsky (SERENE, 2008)

Patterns for Refinement Automation. - Alexei Iliasov; Elena Troubitsyna; Linas Laibinis; Alexander B. Romanovsky (FMCO, 2009)

Formal Reasoning about Fault Tolerance and Parallelism in Communicating Systems. - Linas Laibinis; Elena Troubitsyna; Sari Leppänen (Methods, Models and Tools for Fault Tolerance, 2009)

Model-Based Testing Using Scenarios and Event-B Refinements. - Qaisar A. Malik; Johan Lilius; Linas Laibinis (Methods, Models and Tools for Fault Tolerance, 2009)

Supporting Reuse in Event B Development: Modularisation Approach. - Alexei Iliasov; Elena Troubitsyna; Linas Laibinis; Alexander B. Romanovsky; Kimmo Varpaaniemi; Dubravka Ilic; Timo Latvala (ASM, 2010)

Towards Probabilistic Modelling in Event-B. - Anton Tarasyuk; Elena Troubitsyna; Linas Laibinis (IFM, 2010)

Verifying Mode Consistency for On-Board Satellite Software. - Alexei Iliasov; Elena Troubitsyna; Linas Laibinis; Alexander B. Romanovsky; Kimmo Varpaaniemi; Pauli Väisänen; Dubravka Ilic; Timo Latvala (SAFECOMP, 2010)

Augmenting formal development of control systems with quantitative reliability assessment. - Anton Tarasyuk; Elena Troubitsyna; Linas Laibinis (SERENE, 2010)

Self-Recovering Sensor-Actor Networks - Maryam Kamali; Linas Laibinis; Luigia Petre; Kaisa Sere (FOCLASA, 2010)

Service-Oriented Development of Fault Tolerant Communicating Systems: Refinement Approach. - Linas Laibinis; Elena Troubitsyna; Sari Leppänen (Int. J. Embed. Real Time Commun. Syst., 2010)

Derivation and Formal Verification of a Mode Logic for Layered Control Systems. - Yuliya Prokhorova; Linas Laibinis; Elena Troubitsyna; Kimmo Varpaaniemi; Timo Latvala (APSEC, 2011)

Formal Derivation of a Distributed Program in Event B. - Alexei Iliasov; Linas Laibinis; Elena Troubitsyna; Alexander B. Romanovsky (ICFEM, 2011)

Quantitative Verification of System Safety in Event-B. - Anton Tarasyuk; Elena Troubitsyna; Linas Laibinis (SERENE, 2011)

Formal Goal-Oriented Development of Resilient MAS in Event-B. - Inna Pereverzeva; Elena Troubitsyna; Linas Laibinis (Ada-Europe, 2012)

Formal Development of Critical Multi-agent Systems: A Refinement Approach. - Inna Pereverzeva; Elena Troubitsyna; Linas Laibinis (EDCC, 2012)

Augmenting Event-B modelling with real-time verification. - Alexei Iliasov; Alexander B. Romanovsky; Linas Laibinis; Elena Troubitsyna; Timo Latvala (FormSERA@ICSE, 2012)

Formal Modelling and Verification of Service-Oriented Systems in Probabilistic Event-B. - Anton Tarasyuk; Elena Troubitsyna; Linas Laibinis (IFM, 2012)

A Case Study in Formal Development of a Fault Tolerant Multi-robotic System. - Inna Pereverzeva; Elena Troubitsyna; Linas Laibinis (SERENE, 2012)

Development of Fault Tolerant MAS with Cooperative Error Recovery by Refinement in Event-B - Inna Pereverzeva; Elena Troubitsyna; Linas Laibinis (CoRR, 2012)

Deriving a mode logic using failure modes and effects analysis. - Yuliya Prokhorova; Linas Laibinis; Elena Troubitsyna; Kimmo Varpaaniemi; Timo Latvala (Int. J. Crit. Comput. Based Syst., 2012)

Deployment in the Space Sector. - Dubravka Ilic; Linas Laibinis; Timo Latvala; Elena Troubitsyna; Kimmo Varpaaniemi (Industrial Deployment of System Engineering Methods, 2013)

Formal Modelling of Resilient Data Storage in Cloud. - Inna Pereverzeva; Linas Laibinis; Elena Troubitsyna; Markus Holmberg; Mikko Pöri (ICFEM, 2013)

Formalisation of an Industrial Approach to Monitoring Critical Data. - Yuliya Prokhorova; Elena Troubitsyna; Linas Laibinis; Dubravka Ilic; Timo Latvala (SAFECOMP, 2013)

A Case Study in Refinement-Based Modelling of a Resilient Control System. - Yuliya Prokhorova; Elena Troubitsyna; Linas Laibinis (SERENE, 2013)

Formal Development and Quantitative Assessment of a Resilient Multi-robotic System. - Anton Tarasyuk; Inna Pereverzeva; Elena Troubitsyna; Linas Laibinis (SERENE, 2013)

A distributed design of a network recovery algorithm. - Maryam Kamali; Linas Laibinis; Luigia Petre; Kaisa Sere (Int. J. Crit. Comput. Based Syst., 2013)

A refinement-based approach to developing critical multi-agent systems. - Inna Pereverzeva; Elena Troubitsyna; Linas Laibinis (Int. J. Crit. Comput. Based Syst., 2013)

Developing mode-rich satellite software by refinement in Event-B. - Alexei Iliasov; Elena Troubitsyna; Linas Laibinis; Alexander B. Romanovsky; Kimmo Varpaaniemi; Dubravka Ilic; Timo Latvala (Sci. Comput. Program., 2013)

Formal Derivation of Distributed MapReduce. - Inna Pereverzeva; Michael J. Butler; Asieh Salehi Fathabadi; Linas Laibinis; Elena Troubitsyna (ABZ, 2014)

A Pattern based Modelling for Self-organizing Multi-agent Systems with Event-B. - Zeineb Graja; Frédéric Migeon; Christine Maurel; Marie-Pierre Gleizes; Linas Laibinis; Amira Regayeg; Ahmed Hadj Kacem (ICAART (2), 2014)

Integrating Event-B Modelling and Discrete-Event Simulation to Analyse Resilience of Data Stores in the Cloud. - Linas Laibinis; Benjamin Byholm; Inna Pereverzeva; Elena Troubitsyna; Kuan Eeik Tan; Ivan Porres (IFM, 2014)

Modelling Resilient Systems-of-Systems in Event-B. - Linas Laibinis; Inna Pereverzeva; Elena Troubitsyna (SAFECOMP Workshops, 2014)

Formal Modelling and Verification of Cooperative Ant Behaviour in Event-B. - Linas Laibinis; Elena Troubitsyna; Zeineb Graja; Frédéric Migeon; Ahmed Hadj Kacem (SEFM, 2014)

Modelling Resilience of Data Processing Capabilities of CPS. - Linas Laibinis; Dmitry M. Klionskiy; Elena Troubitsyna; Anatoly Dorokhov; Johan Lilius; Mikhail Kupriyanov (SERENE, 2014)

Formal development of wireless sensor-actor networks. - Maryam Kamali; Linas Laibinis; Luigia Petre; Kaisa Sere (Sci. Comput. Program., 2014)

Towards Visualisation of Resilience Assessment for Large-Scale Systems. - Elena Troubitsyna; Linas Laibinis (HPCC/CSS/ICESS, 2015)

From Requirements Engineering to Safety Assurance: Refinement Approach. - Linas Laibinis; Elena Troubitsyna; Yuliya Prokhorova; Alexei Iliasov; Alexander B. Romanovsky (SETTA, 2015)

Integrating stochastic reasoning into Event-B development. - Anton Tarasyuk; Elena Troubitsyna; Linas Laibinis (Formal Aspects Comput., 2015)

Facilitating construction of safety cases from formal models in Event-B. - Yuliya Prokhorova; Linas Laibinis; Elena Troubitsyna (Inf. Softw. Technol., 2015)

A Contract-Based Approach to Ensuring Component Interoperability in Event-B. - Linas Laibinis; Elena Troubitsyna (From Action Systems to Distributed Systems, 2016)

Formalisation-Driven Development of Safety-Critical Systems. - Alexei Iliasov; Alexander B. Romanovsky; Elena Troubitsyna; Linas Laibinis (HASE, 2016)

A Formal Approach to Identifying Security Vulnerabilities in Telecommunication Networks. - Linas Laibinis; Elena Troubitsyna; Inna Pereverzeva; Ian Oliver; Silke Holtmanns (ICFEM, 2016)

Towards Security-Explicit Formal Modelling of Safety-Critical Systems. - Elena Troubitsyna; Linas Laibinis; Inna Pereverzeva; Tuomas Kuismin; Dubravka Ilic; Timo Latvala (SAFECOMP, 2016)

Formal reasoning about resilient goal-oriented multi-agent systems. - Linas Laibinis; Inna Pereverzeva; Elena Troubitsyna (Sci. Comput. Program., 2017)

Formal Verification of Signalling Programs with SafeCap. - Alexei Iliasov; Dominic Taylor; Linas Laibinis; Alexander B. Romanovsky (SAFECOMP, 2018)

Quantitative Validation of Formal Domain Models. - Alexei Iliasov; Alexander B. Romanovsky; Linas Laibinis (HASE, 2019)

SafeCap: from formal verification of railway interlocking to its certification. - Alexei Iliasov; Dominic Taylor; Linas Laibinis; Alexander B. Romanovsky (CoRR, 2021)

Mutation Testing for Rule-Based Verification of Railway Signaling Data. - Linas Laibinis; Alexei Iliasov; Alexander B. Romanovsky (IEEE Trans. Reliab., 2021)

Safety Invariant Verification that Meets Engineers' Expectations. - Alexei Iliasov; Linas Laibinis; Dominic Taylor; Ilya Lopatkin; Alexander B. Romanovsky (RSSRail, 2022)

The SafeCap Trajectory: Industry-Driven Improvement of an Interlocking Verification Tool. - Alexei Iliasov; Dominic Taylor; Linas Laibinis; Alexander B. Romanovsky (RSSRail, 2023)

Practical Verification of Railway Signalling Programs. - Alexei Iliasov; Dominic Taylor; Linas Laibinis; Alexander B. Romanovsky (IEEE Trans. Dependable Secur. Comput., 2023)

Safety Invariant Engineering for Interlocking Verification. - Alexei Iliasov; Dominic Taylor; Linas Laibinis; Alexander B. Romanovsky (SAFECOMP, 2024)