• P. Stankaitis, A. Iliasov & A. Romanovsky. A Railway Simulation Suite For Modelling Advanced Railway Control Systems. International Journal of Transport Development and Integration, Volume 1, Issue 3, pp. 558 – 567. 2017
  • L. Martin, A. Romanovsky. A Formal Approach to Designing Reliable Advisory Systems. In Software Engineering for Resilient Systems – 8th International Workshop, SERENE-2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings. LNCS-9823, Springer. Pp. 28-42. 2016.
  • Paulius Stankaitis, Alexei Iliasov and Alexander Romanovsky. A Simulation Suite for Modelling Advanced Train Control Systems. 15th International Conference COMPRAIL 2016, Madrid, Spain, 18 – 21 July 2016.
  • Thierry Lecomte, Ralf Pinger, Alexander Romanovsky. Reliability, Safety, and Security of Railway Systems: Modelling, Analysis, Verification, and Certification – First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings. LNCS – 9707, Springer 2016.
  •  Luke Martin. Predictive Reasoning and Machine Learning for the Enhancement of Reliability in Railway Systems. In Proc. of 1st International Conference on Reliability, Safety, and Security of Railway Systems: Modelling, Analysis, Verification, and Certification. RSSRail 2016, June 28-30, Paris, France, Springer, LNCS – 9707, Pp. 178-188.
  • Paulius Stankaitis, Alexei Iliasov. Safety Verification of Heterogeneous Railway Networks. In Proc. of 1st International Conference on Reliability, Safety, and Security of Railway Systems: Modelling, Analysis, Verification, and Certification. RSSRail 2016, June 28-30, Paris, France, Springer, LNCS – 9707, Pp. 150-159.
  • Alexei Iliasov, Paulius Stankaitis and David Ebo Adjepon – Yamoah. Static Verification of Railway Schema and Interlocking Design Data. In Proc. of 1st International Conference on Reliability, Safety, and Security of Railway Systems: Modelling, Analysis, Verification, and Certification. RSSRail 2016, June 28-30, Paris, France Springer, LNCS – 9707, Pp. 123-133.
  • Alexei Iliasov, Paulius Stankaitis and David Ebo Adjepon – Yamoah and Alexander Romanovsky. A Rodin plug-in for constructing reusable schematic lemmas. In Proc. of 6th Rodin User and Developer Workshop, May 23, Linz, Austria. 2016.
  • Alexander Romanovsky, Alexei Iliasov. Introducing SafeCap, a safety-focused tool for optimising route capacity. IRSE NEWS. Issue 223, June 2016.
  • Alexei Iliasov, Paulius Stankaitis, David Ebo Adjepon – Yamoah, Alexander Romanovsky. Rodin Platform Why3 Plug-In. In Proc. of the 5th International Conference on Abstract State Machines, Alloy, B, TLA, VDM and Z. ABZ 2016, May 23 – 27, Linz, Austria. Springer, LNCS – 9675, Pp. 275 – 281. 2016
  • Alexei Iliasov, Alexander Romanovsky. Formal analysis of railway signalling data. In Proc. 17th IEEE International Symposium on High Assurance Systems Engineering, HASE 2016, January 7 – 9, 2016, Orlando, Florida, USA. IEEE CS. 2016
  • Luke Martin, Alexander Romanovsky, William Blewitt. Design and development of the train advisory systems for the future. In Proc. of the 13th Conference on Railway Engineering 2015. Edinburgh. UK, June 30 – July 1, 2015.
  • Alexei Iliasov, David Ebo Adjepon – Yamoah, Paulius Stankaitis,  Alexander Romanovsky. Event – B and Cloud Provers. In Proc. of the Automated Reasoning Workshop 2015. Birmingham. UK, April 9 –  10, 2015.
  • Alexei Iliasov, Alexander Romanovsky. SafeCap: The Train Advisory System for Real-Time Traffic Management. In Proc of the Stephenson Conference: Research for Railways. London. Institution of Mechanical Engineers. April 2015.
  • Alexei Iliasov, David Adjepon-Yamoah, Paulius Stankaitis, Alexander Romanovsky. Putting Provers on the Cloud. In the 23rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP 2015). Work in progress. March 4-6, 2015. Turku, Finland
  • Alexei Iliasov, Alexander Romanovsky. Formal Modelling of Railway Safety and Capacity. In Proc of the Safety-critical Systems Symposium 2015. Bristol. BAE Systems. February 2015.
  • Alexei Iliasov, Roberto Palacin, Alexander Romanovsky. Advanced Modelling, Simulation and Verification for Future Traffic Regulation Optimisation. In Proceedings: 6th International Workshop Software Engineering for Resilient Systems, SERENE-2014, Budapest, Hungary, October 15-16, 2014. Springer, LNCS- 8785, Pp. 131-138.
  • Alexei Iliasov, Ilya Lopatkin, Alexander Romanovsky. Unified Train Driving Policy. In Formal Methods Applied to Complex Systems. J.-L. Boulanger (Ed). Wiley. July 2014. ISBN: 9781848217096. Pp.447-473.
  • Alexei Iliasov, Ilya Lopatkin, Alexander Romanovsky. Practical Formal Methods in Railways – The SafeCap Approach. In Proceedings: 19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014. LNCS. 8454, 2014.
  • Alexei Iliasov, Ilya Lopatkin, Ana Mihut, Alexander Romanovsky. Real-time ATO reconfiguration for operational stability. Computers in Railways XIV: Railway Engineering Design and Optimization 135, WIT Press. June 2014. pp. 163-173
  • Alexei Iliasov, Ilya Lopatkin, Alexander Romanovsky. The SafeCap Project on Railway Safety Verification and Capacity Simulation. In Software Engineering for Resilient Systems – 5th International Workshop, SERENE 2013, Kiev, Ukraine, October, 2013. Proceedings. LNCS 8166. Springer 2013.
  • Alexei Iliasov, Ilya Lopatkin, Alexander Romanovsky. The SafeCap Platform for Modelling Railway Safety and Capacity. In Computer Safety, Reliability and Security – 32nd International Conference SAFECOMP 2013. Toulouse, France, September 2013. Proceedings. LNCS 8135. Springer.
  • Alexei Iliasov, Ilya Lopatkin, Alexander Romanovsky. SafeCap: advanced computer science techniques for railways of tomorrow. EURAILmag. Issue 28. September. 2013.
  • Roger Goodall, Roger Dixon, Sam Bemment, Taku Fujiyama, T. X. Mei, John Preston, Alexander Romanovsky, Markus Roggenbach. The Future of Train Control Systems. Technical Paper. IRSE – Institute of Railway Signal Engineers. UK. February 13, 2013.
  • Alexei Iliasov, A. Romanovsky. The SafeCap toolset for improving railway capacity while ensuring its safety. In Rail Research UK Association (RRUKA) Annual Conference. November 2012. London, UK. http://rruka.org.uk/rruka-annual-conference-2012-conference-proceedings/
  • Alexei Iliasov, Alexander Romanovsky. SafeCap domain language for reasoning about safety and capacity. In Workshop on Dependable Transportation Systems at the Pacific-Rim Dependable Computing Conference (PRDC 2012). Niigata, Japan. IEEE CS. November. 2012.