Ilya Lopatkin

According to our database, Ilya Lopatkin authored at least 10 papers between 2008 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Safety Invariant Verification that Meets Engineers' Expectations.

Alexei Iliasov, Linas Laibinis, Dominic Taylor, Ilya Lopatkin, Alexander B. Romanovsky

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

2014

Rigorous Development of Fault-Tolerant Systems through Co-refinement.

Ilya Lopatkin, Alexander B. Romanovsky

Proceedings of the Reliable Software Technologies, 2014

Practical Formal Methods in Railways - The SafeCap Approach.

Alexei Iliasov, Ilya Lopatkin, Alexander B. Romanovsky

Proceedings of the Reliable Software Technologies, 2014

2013

A method for rigorous development of fault-tolerant systems.

Ilya Lopatkin

PhD thesis, 2013

The SafeCap Project on Railway Safety Verification and Capacity Simulation.

Alexei Iliasov, Ilya Lopatkin, Alexander B. Romanovsky

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

The SafeCap Platform for Modelling Railway Safety and Capacity.

Alexei Iliasov, Ilya Lopatkin, Alexander B. Romanovsky

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

2011

Rigorous Development of Dependable Systems Using Fault Tolerance Views.

Ilya Lopatkin, Alexei Iliasov, Alexander B. Romanovsky

Proceedings of the IEEE 22nd International Symposium on Software Reliability Engineering, 2011

Patterns for Representing FMEA in Formal Specification of Control Systems.

Ilya Lopatkin, Alexei Iliasov, Alexander B. Romanovsky, Yuliya Prokhorova, Elena Troubitsyna

Proceedings of the 13th IEEE International Symposium on High-Assurance Systems Engineering, 2011

2010

On fault tolerance reuse during refinement.

Ilya Lopatkin, Alexei Iliasov, Alexander B. Romanovsky

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

2008

Resilience through dynamic reconfiguration in agent systems.

Ilya Lopatkin

Proceedings of the SERENE 2008, 2008