Linas Laibinis

Proceedings of the Computer Safety, Reliability, and Security, 2024

2023

Practical Verification of Railway Signalling Programs.

[BibT_eX]

[DOI]

IEEE Trans. Dependable Secur. Comput., 2023

The SafeCap Trajectory: Industry-Driven Improvement of an Interlocking Verification Tool.

[BibT_eX]

[DOI]

Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2023

2022

Safety Invariant Verification that Meets Engineers' Expectations.

[BibT_eX]

[DOI]

Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2022

2021

Mutation Testing for Rule-Based Verification of Railway Signaling Data.

[BibT_eX]

[DOI]

IEEE Trans. Reliab., 2021

SafeCap: from formal verification of railway interlocking to its certification.

[BibT_eX]

[DOI]

CoRR, 2021

2019

Quantitative Validation of Formal Domain Models.

[BibT_eX]

[DOI]

Proceedings of the 19th IEEE International Symposium on High Assurance Systems Engineering, 2019

2018

Formal Verification of Signalling Programs with SafeCap.

[BibT_eX]

[DOI]

Proceedings of the Computer Safety, Reliability, and Security, 2018

2017

Formal reasoning about resilient goal-oriented multi-agent systems.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2017

2016

Towards Security-Explicit Formal Modelling of Safety-Critical Systems.

[BibT_eX]

[DOI]

Proceedings of the Computer Safety, Reliability, and Security, 2016

A Formal Approach to Identifying Security Vulnerabilities in Telecommunication Networks.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2016

Formalisation-Driven Development of Safety-Critical Systems.

[BibT_eX]

[DOI]

Proceedings of the 17th IEEE International Symposium on High Assurance Systems Engineering, 2016

A Contract-Based Approach to Ensuring Component Interoperability in Event-B.

[BibT_eX]

[DOI]

Proceedings of the From Action Systems to Distributed Systems - The Refinement Approach., 2016

2015

Facilitating construction of safety cases from formal models in Event-B.

[BibT_eX]

[DOI]

Yuliya Prokhorova

Inf. Softw. Technol., 2015

Integrating stochastic reasoning into Event-B development.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2015

From Requirements Engineering to Safety Assurance: Refinement Approach.

[BibT_eX]

[DOI]

Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2015

Towards Visualisation of Resilience Assessment for Large-Scale Systems.

[BibT_eX]

[DOI]

Proceedings of the 17th IEEE International Conference on High Performance Computing and Communications, 2015

2014

Formal development of wireless sensor-actor networks.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2014

Modelling Resilience of Data Processing Capabilities of CPS.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering for Resilient Systems - 6th International Workshop, 2014

Formal Modelling and Verification of Cooperative Ant Behaviour in Event-B.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods - 12th International Conference, 2014

Modelling Resilient Systems-of-Systems in Event-B.

[BibT_eX]

[DOI]

Proceedings of the Computer Safety, Reliability, and Security, 2014

Integrating Event-B Modelling and Discrete-Event Simulation to Analyse Resilience of Data Stores in the Cloud.

[BibT_eX]

[DOI]

Proceedings of the Integrated Formal Methods - 11th International Conference, 2014

A Pattern based Modelling for Self-organizing Multi-agent Systems with <i>Event-B</i>.

[BibT_eX]

[DOI]

Proceedings of the ICAART 2014, 2014

Formal Derivation of Distributed MapReduce.

[BibT_eX]

[DOI]

Michael J. Butler

Asieh Salehi Fathabadi

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2014

2013

Developing mode-rich satellite software by refinement in Event-B.

[BibT_eX]

[DOI]

Kimmo Varpaaniemi

Dubravka Ilic

Timo Latvala

Sci. Comput. Program., 2013

A refinement-based approach to developing critical multi-agent systems.

[BibT_eX]

[DOI]

Int. J. Crit. Comput. Based Syst., 2013

A distributed design of a network recovery algorithm.

[BibT_eX]

[DOI]

Int. J. Crit. Comput. Based Syst., 2013

Formal Development and Quantitative Assessment of a Resilient Multi-robotic System.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering for Resilient Systems, 5th International Workshop, 2013

A Case Study in Refinement-Based Modelling of a Resilient Control System.

[BibT_eX]

[DOI]

Yuliya Prokhorova

Proceedings of the Software Engineering for Resilient Systems, 5th International Workshop, 2013

Formalisation of an Industrial Approach to Monitoring Critical Data.

[BibT_eX]

[DOI]

Proceedings of the Computer Safety, Reliability, and Security, 2013

Formal Modelling of Resilient Data Storage in Cloud.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2013

Deployment in the Space Sector.

[BibT_eX]

[DOI]

Proceedings of the Industrial Deployment of System Engineering Methods, 2013

2012

Deriving a mode logic using failure modes and effects analysis.

[BibT_eX]

[DOI]

Int. J. Crit. Comput. Based Syst., 2012

Development of Fault Tolerant MAS with Cooperative Error Recovery by Refinement in Event-B

[BibT_eX]

[DOI]

CoRR, 2012

A Case Study in Formal Development of a Fault Tolerant Multi-robotic System.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering for Resilient Systems - 4th International Workshop, 2012

Formal Modelling and Verification of Service-Oriented Systems in Probabilistic Event-B.

[BibT_eX]

[DOI]

Proceedings of the Integrated Formal Methods - 9th International Conference, 2012

Augmenting Event-B modelling with real-time verification.

[BibT_eX]

[DOI]

Timo Latvala

Proceedings of the First International Workshop on Formal Methods in Software Engineering, 2012

Formal Development of Critical Multi-agent Systems: A Refinement Approach.

[BibT_eX]

[DOI]

Proceedings of the 2012 Ninth European Dependable Computing Conference, 2012

Formal Goal-Oriented Development of Resilient MAS in Event-B.

[BibT_eX]

[DOI]

Proceedings of the Reliable Software Technologies - Ada-Europe 2012, 2012

2011

Quantitative Verification of System Safety in Event-B.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering for Resilient Systems, 2011

Formal Derivation of a Distributed Program in Event B.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2011

Derivation and Formal Verification of a Mode Logic for Layered Control Systems.

[BibT_eX]

[DOI]

Proceedings of the 18th Asia Pacific Software Engineering Conference, 2011

2010

Service-Oriented Development of Fault Tolerant Communicating Systems: Refinement Approach.

[BibT_eX]

[DOI]

Sari Leppänen

Int. J. Embed. Real Time Commun. Syst., 2010

Self-Recovering Sensor-Actor Networks

[BibT_eX]

[DOI]

Proceedings of the Proceedings Ninth International Workshop on the Foundations of Coordination Languages and Software Architectures, 2010

Augmenting formal development of control systems with quantitative reliability assessment.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Workshop on Software Engineering for Resilient Systems, 2010

Verifying Mode Consistency for On-Board Satellite Software.

[BibT_eX]

[DOI]

Proceedings of the Computer Safety, 2010

Towards Probabilistic Modelling in Event-B.

[BibT_eX]

[DOI]

Proceedings of the Integrated Formal Methods - 8th International Conference, 2010

Supporting Reuse in Event B Development: Modularisation Approach.

[BibT_eX]

[DOI]

Kimmo Varpaaniemi

Dubravka Ilic

Timo Latvala

Proceedings of the Abstract State Machines, 2010

2009

Model-Based Testing Using Scenarios and Event-B Refinements.

[BibT_eX]

[DOI]

Qaisar A. Malik

Johan Lilius

Proceedings of the Methods, 2009

Formal Reasoning about Fault Tolerance and Parallelism in Communicating Systems.

[BibT_eX]

[DOI]

Sari Leppänen

Proceedings of the Methods, 2009

Patterns for Refinement Automation.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Components and Objects - 8th International Symposium, 2009

2008

Formal development of cooperative exception handling for mobile agent systems.

[BibT_eX]

[DOI]

Proceedings of the SERENE 2008, 2008

2007

On Rigorous Design and Implementation of Fault Tolerant Ambient Systems.

[BibT_eX]

[DOI]

Budi Arief

Proceedings of the Tenth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2007), 2007

2006

Formal Service-Oriented Development of Fault Tolerant Communicating Systems.

[BibT_eX]

[DOI]

Proceedings of the Rigorous Development of Complex Fault-Tolerant Systems [FP6 IST-511599 RODIN project], 2006

Rigorous Development of Fault-Tolerant Agent Systems.

[BibT_eX]

[DOI]

Proceedings of the Rigorous Development of Complex Fault-Tolerant Systems [FP6 IST-511599 RODIN project], 2006

Formal Development of Mechanisms for Tolerating Transient Faults.

[BibT_eX]

[DOI]

Proceedings of the Rigorous Development of Complex Fault-Tolerant Systems [FP6 IST-511599 RODIN project], 2006

Formal Verification of Consistency in Model-Driven Development of Distributed Communicating Systems and Communication Protocols.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, 2006

2005

Formal Development of Reactive Fault Tolerant Systems.

[BibT_eX]

[DOI]

Proceedings of the Rapid Integration of Software Engineering Techniques, 2005

Formal Model-Driven Development of Communicating Systems.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2005

2004

Fault Tolerance in a Layered Architecture: A General Specification Pattern in B.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 2004

Refinement of Fault Tolerant Control Systems in B.

[BibT_eX]

[DOI]

Proceedings of the Computer Safety, 2004

2000

Functional Procedures in Higher-Order Logic.

[BibT_eX]

[DOI]

Joakim von Wright

Proceedings of the Theorem Proving in Higher Order Logics, 13th International Conference, 2000

1999

Developing Components in the Presence of Re-entrance.

[BibT_eX]

[DOI]

Leonid Mikhajlov

Emil Sekerinski

Proceedings of the FM'99 - Formal Methods, 1999

1996

Using Lattice Theory in Higher Order Logic.

[BibT_eX]

[DOI]