Alexei Iliasov

About

Dr Alexei Iliasov is a Senior Research Associate at the School of Computing, Newcastle University. His research focuses on formal methods, dependable systems, and railway safety, with contributions to Event-B refinement and system engineering.

Selected publications

• Formal Approach to Ensuring Interoperability of Mobile Agents
• Lessons from DEPLOYment
• Formal Derivation of a Distributed Program in Event B
• Patterns for Refinement Automation
• Developing Mode-Rich Satellite Software by Refinement in Event B
• Formal Analysis of railway signalling data
• Practical Formal Methods in Railways - The SafeCap Approach
• SafeCap: The Train Advisory System for Real-Time Traffic Management
• Advanced Modelling, Simulation and Verification for Future Traffic Regulation Optimisation
• Design of safety critical systems by refinement