Browsing publications by Ilya Lopatkin

Newcastle Authors	Title	Year
Ilya Lopatkin Professor Alexander Romanovsky	A Method for Rigorous Development of Fault-Tolerant Systems	2013
Ilya Lopatkin Dr Alexei Iliasov Professor Alexander Romanovsky	Patterns for Representing FMEA in Formal Specification of Control Systems	2011
Ilya Lopatkin Dr Alexei Iliasov Professor Alexander Romanovsky Dr Elena Troubitsyna	Patterns for Representing FMEA in Formal Specification of Control Systems	2011
Ilya Lopatkin Dr Alexei Iliasov Professor Alexander Romanovsky	Rigorous Development of Dependable Systems using Fault Tolerance Views	2011
Ilya Lopatkin Dr Alexei Iliasov Professor Alexander Romanovsky	Rigorous Development of Dependable Systems using Fault Tolerance Views	2011
Ilya Lopatkin Dr Alexei Iliasov Professor Alexander Romanovsky	On Fault Tolerance Reuse during Refinement	2010
Ilya Lopatkin Dr Alexei Iliasov Professor Alexander Romanovsky	On Fault Tolerance Reuse during Refinement	2010
Ilya Lopatkin	Resilience through dynamic reconfiguration in agent systems	2008