Linas Laibinis

67 papers B 11C 10Misc 3Journal 13Unranked 26

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