Ilya Lopatkin

Publication Activity (10 Years)

Years Active: 2008-2022
Publications (10 Years): 1

Top Topics

Safety Critical

Invariant Representations

Provably Correct

Top Venues

University of Newcastle upon Tyne, UK (PHD)

Education History

University of Newcastle upon Tyne, UK

PHD

Publications

Alexei Iliasov, Linas Laibinis, Dominic Taylor, Ilya Lopatkin, Alexander B. Romanovsky
Safety Invariant Verification that Meets Engineers' Expectations. RSSRail (2022)
Ilya Lopatkin, Alexander B. Romanovsky
Rigorous Development of Fault-Tolerant Systems through Co-refinement. Ada-Europe (2014)
Alexei Iliasov, Ilya Lopatkin, Alexander B. Romanovsky
Practical Formal Methods in Railways - The SafeCap Approach. Ada-Europe (2014)
Alexei Iliasov, Ilya Lopatkin, Alexander B. Romanovsky
The SafeCap Platform for Modelling Railway Safety and Capacity. SAFECOMP (2013)
Alexei Iliasov, Ilya Lopatkin, Alexander B. Romanovsky
The SafeCap Project on Railway Safety Verification and Capacity Simulation. SERENE (2013)
Ilya Lopatkin, Alexei Iliasov, Alexander B. Romanovsky, Yuliya Prokhorova, Elena Troubitsyna
Patterns for Representing FMEA in Formal Specification of Control Systems. HASE (2011)
Ilya Lopatkin, Alexei Iliasov, Alexander B. Romanovsky
Rigorous Development of Dependable Systems Using Fault Tolerance Views. ISSRE (2011)
Ilya Lopatkin, Alexei Iliasov, Alexander B. Romanovsky
On fault tolerance reuse during refinement. SERENE (2010)
Ilya Lopatkin
Resilience through dynamic reconfiguration in agent systems. SERENE (2008)