Resilience through dynamic reconfiguration in agent systems. - Ilya Lopatkin (SERENE, 2008)

On fault tolerance reuse during refinement. - Ilya Lopatkin; Alexei Iliasov; Alexander B. Romanovsky (SERENE, 2010)

Patterns for Representing FMEA in Formal Specification of Control Systems. - Ilya Lopatkin; Alexei Iliasov; Alexander B. Romanovsky; Yuliya Prokhorova; Elena Troubitsyna (HASE, 2011)

Rigorous Development of Dependable Systems Using Fault Tolerance Views. - Ilya Lopatkin; Alexei Iliasov; Alexander B. Romanovsky (ISSRE, 2011)

The SafeCap Platform for Modelling Railway Safety and Capacity. - Alexei Iliasov; Ilya Lopatkin; Alexander B. Romanovsky (SAFECOMP, 2013)

The SafeCap Project on Railway Safety Verification and Capacity Simulation. - Alexei Iliasov; Ilya Lopatkin; Alexander B. Romanovsky (SERENE, 2013)

A method for rigorous development of fault-tolerant systems. - Ilya Lopatkin (2013)

Practical Formal Methods in Railways - The SafeCap Approach. - Alexei Iliasov; Ilya Lopatkin; Alexander B. Romanovsky (Ada-Europe, 2014)

Rigorous Development of Fault-Tolerant Systems through Co-refinement. - Ilya Lopatkin; Alexander B. Romanovsky (Ada-Europe, 2014)

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