Publications by Dr Ilya Lopatkin - ePrints

Browsing publications by Dr Ilya Lopatkin.

Newcastle Authors	Title	Year
Dr Alexei Iliasov Dr Linas Laibinis Dr Ilya Lopatkin Emeritus Professor Alexander Romanovsky	Safety Invariant Verification that Meets Engineers’ Expectations	2022
Dr Alexei Iliasov Dr Ilya Lopatkin Emeritus Professor Alexander Romanovsky	Practical formal methods in railways - The SafeCap approach	2014
Dr Alexei Iliasov Dr Ilya Lopatkin Emeritus Professor Alexander Romanovsky	Practical formal methods in railways - the SafeCap Approach	2014
Dr Alexei Iliasov Dr Ilya Lopatkin Ana Mihut Emeritus Professor Alexander Romanovsky	Real-time ATO reconfiguration for operational stability	2014
Dr Alexei Iliasov Dr Ilya Lopatkin Ana Mihut Emeritus Professor Alexander Romanovsky	Real-time ATO Reconfiguration For Operational Stability	2014
Dr Ilya Lopatkin Emeritus Professor Alexander Romanovsky	Rigorous Development of Fault-Tolerant Systems through Co-refinement	2014
Dr Ilya Lopatkin Emeritus Professor Alexander Romanovsky	Rigorous Development of Fault-Tolerant Systems through Co-Refinement	2014
Dr Ilya Lopatkin Emeritus Professor Alexander Romanovsky	Rigorous Development of Fault-Tolerant Systems through Co-Refinement	2014
Dr Alexei Iliasov Dr Ilya Lopatkin Emeritus Professor Alexander Romanovsky	Unified Train Driving Policy	2014
Dr Ilya Lopatkin Emeritus Professor Alexander Romanovsky	A Method for Rigorous Development of Fault-Tolerant Systems	2013
Dr Alexei Iliasov Dr Ilya Lopatkin Emeritus Professor Alexander Romanovsky	The SafeCap Platform for Modelling Railway Safety and Capacity	2013
Dr Alexei Iliasov Dr Ilya Lopatkin Emeritus Professor Alexander Romanovsky	The SafeCap Project on Railway Safety Verification and Capacity Simulation	2013
Dr Ilya Lopatkin Dr Alexei Iliasov Emeritus Professor Alexander Romanovsky	Patterns for Representing FMEA in Formal Specification of Control Systems	2011
Dr Ilya Lopatkin Dr Alexei Iliasov Emeritus Professor Alexander Romanovsky Dr Elena Troubitsyna	Patterns for Representing FMEA in Formal Specification of Control Systems	2011
Dr Ilya Lopatkin Dr Alexei Iliasov Emeritus Professor Alexander Romanovsky	Rigorous Development of Dependable Systems using Fault Tolerance Views	2011
Dr Ilya Lopatkin Dr Alexei Iliasov Emeritus Professor Alexander Romanovsky	Rigorous Development of Dependable Systems using Fault Tolerance Views	2011
Dr Ilya Lopatkin Dr Alexei Iliasov Emeritus Professor Alexander Romanovsky	On Fault Tolerance Reuse during Refinement	2010
Dr Ilya Lopatkin Dr Alexei Iliasov Emeritus Professor Alexander Romanovsky	On Fault Tolerance Reuse during Refinement	2010
Dr Ilya Lopatkin	Resilience through dynamic reconfiguration in agent systems	2008