Toggle Main Menu Toggle Search

Open Access padlockePrints

Browsing publications by Dr Ilya Lopatkin.

Newcastle AuthorsTitleYearFull text
Dr Alexei Iliasov
Dr Linas Laibinis
Dr Ilya Lopatkin
Professor Alexander Romanovsky
Safety Invariant Verification that Meets Engineers’ Expectations2022
Dr Alexei Iliasov
Dr Ilya Lopatkin
Professor Alexander Romanovsky
Practical formal methods in railways - The SafeCap approach2014
Dr Alexei Iliasov
Dr Ilya Lopatkin
Professor Alexander Romanovsky
Practical formal methods in railways - the SafeCap Approach2014
Dr Alexei Iliasov
Dr Ilya Lopatkin
Ana Mihut
Professor Alexander Romanovsky
Real-time ATO reconfiguration for operational stability2014
Dr Alexei Iliasov
Dr Ilya Lopatkin
Ana Mihut
Professor Alexander Romanovsky
Real-time ATO Reconfiguration For Operational Stability2014
Dr Ilya Lopatkin
Professor Alexander Romanovsky
Rigorous Development of Fault-Tolerant Systems through Co-refinement2014
Dr Ilya Lopatkin
Professor Alexander Romanovsky
Rigorous Development of Fault-Tolerant Systems through Co-Refinement2014
Dr Ilya Lopatkin
Professor Alexander Romanovsky
Rigorous Development of Fault-Tolerant Systems through Co-Refinement2014
Dr Alexei Iliasov
Dr Ilya Lopatkin
Professor Alexander Romanovsky
Unified Train Driving Policy2014
Dr Ilya Lopatkin
Professor Alexander Romanovsky
A Method for Rigorous Development of Fault-Tolerant Systems2013
Dr Alexei Iliasov
Dr Ilya Lopatkin
Professor Alexander Romanovsky
The SafeCap Platform for Modelling Railway Safety and Capacity2013
Dr Alexei Iliasov
Dr Ilya Lopatkin
Professor Alexander Romanovsky
The SafeCap Project on Railway Safety Verification and Capacity Simulation2013
Dr Ilya Lopatkin
Dr Alexei Iliasov
Professor Alexander Romanovsky
Patterns for Representing FMEA in Formal Specification of Control Systems2011
Dr Ilya Lopatkin
Dr Alexei Iliasov
Professor Alexander Romanovsky
Dr Elena Troubitsyna
Patterns for Representing FMEA in Formal Specification of Control Systems2011
Dr Ilya Lopatkin
Dr Alexei Iliasov
Professor Alexander Romanovsky
Rigorous Development of Dependable Systems using Fault Tolerance Views2011
Dr Ilya Lopatkin
Dr Alexei Iliasov
Professor Alexander Romanovsky
Rigorous Development of Dependable Systems using Fault Tolerance Views2011
Dr Ilya Lopatkin
Dr Alexei Iliasov
Professor Alexander Romanovsky
On Fault Tolerance Reuse during Refinement2010
Dr Ilya Lopatkin
Dr Alexei Iliasov
Professor Alexander Romanovsky
On Fault Tolerance Reuse during Refinement2010
Dr Ilya Lopatkin
Resilience through dynamic reconfiguration in agent systems2008