Staff Profile
Dr Alexei Iliasov
Senior Research Associate
- Email: alexei.iliasov@ncl.ac.uk
- Telephone: +44 191 208 5993
Publications
- Laibinis L, Troubitsyna E, Iliasov A, Romanovsky A. Formal Approach to Ensuring Interoperability of Mobile Agents. In: Alencar, P; Cowan. D, ed. Handbook of Research on Mobile Software Engineering: Design Implementation and Emergent Applications. Hershey, Pennsylvania, USA: IGI Global, 2012, pp.442-462.
- Mazzara M, Jones C, Iliasov A. Lessons from DEPLOYment. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2012. School of Computing Science Technical Report Series 1309.
- Iliasov A, Laibinis L, Troubitsyna E, Romanovsky A. Formal Derivation of a Distributed Program in Event B. In: 13th International Conference on Formal Engineering Methods (ICFEM). 2011, Durham, UK: Springer.
- Iliasov A, Laibinis L, Troubitsyna E, Romanovsky A. Formal Derivation of a Distributed Program in Event B. In: 13th International Conference on Formal Engineering Methods. 2011, Durham, UK: Springer.
- Grotsev D, Iliasov A, Romanovsky A. Formal Stepwise Development of Scalable and Reliable Multiagent Systems. In: Petre, L; Sere, K; Troubitsyna, E, ed. Dependability and Computer Engineering: Concepts for Software-Intensive Systems. Hershey, PA: IGI Global, 2011, pp.58-74.
- Lopatkin I, Iliasov A, Romanovsky A, Prokhorova Y, Troubitsyna E. Patterns for Representing FMEA in Formal Specification of Control Systems. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2011. School of Computing Science Technical Report Series 1261.
- Lopatkin I, Iliasov A, Romanovsky A, Prokhorova Y, Troubitsyna Y. Patterns for Representing FMEA in Formal Specification of Control Systems. In: 13th IEEE International Symposium on High-Assurance Systems Engineering, HASE 2011. 2011, Boca Raton, Florida, USA: IEEE.
- Lopatkin I, Iliasov A, Romanovsky A. Rigorous Development of Dependable Systems using Fault Tolerance Views. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2011. School of Computing Science Technical Report Series 1234.
- Lopatkin I, Iliasov A, Romanovsky A. Rigorous Development of Dependable Systems using Fault Tolerance Views. In: 22nd IEEE International Symposium on Software Reliability Engineering (ISSRE). 2011, Hiroshima, Japan: IEEE.
- Iliasov A, Troubitsyna E, Laibinis L, Romanovsky A, Varpaaniemi K, Ilic D, Latvala T. Developing Mode-Rich Satellite Software by Refinement in Event B. In: Formal Methods for Industrial Critical Systems: 15th International Workshop (FMICS). 2010, Antwerp, Belgium: Springer.
- Iliasov A, Troubitsyna E, Laibinis L, Romanovsky A. Patterns for Refinement Automation. In: Formal Methods for Components and Objects: 8th International Symposium (FMCO 2009). 2010, Eindhoven, The Netherlands: Springer.
- Iliasov A, Troubitsyna E, Laibinis L, Romanovsky A. Patterns for Refinement Automation. In: Formal Methods for Components and Objects: 8th International Symposium (FMCO). 2010, Eindhoven, Netherlands: Springer.
- Iliasov A, Troubitsyna E, Laibinis L, Romanovsky A, Varpaaniemi K, Ilic D, Latvala T. Supporting Reuse in Event B Development: Modularisation Approach. In: Abstract State Machines, Alloy, B and Z: Second International Conference (ABZ). 2010, Orford, QC, Canada: Springer.
- Iliasov A, Troubitsyna E, Laibinis L, Romanovsky A, Varpaaniemi K, Vaisanen P, Ilic D, Latvala T. Verifying Mode Consistency for On-Board Satellite Software. In: 29th International Conference on Computer Safety, Reliability and Security (SAFECOMP). 2010, Vienna, Austria: Springer.
- Dotti F, Iliasov A, Ribeiro L, Romanovsky A. Modal systems: Specification, refinement and realisation. In: Formal Methods and Software Engineering: 11th International Conference on Formal Engineering Methods (ICFEM). 2009, Springer.
- Dotti FL, Iliasov A, Ribeiro L, Romanovsky A. Modal Systems: Specification, Refinement and Realisation. In: Formal Methods and Software Engineering: 11th International Conference on Formal Engineering Methods (ICFEM). 2009, Rio de Janeiro, Brazil: Springer.
- Iliasov A. Refinement patterns for rapid development of dependable systems. In: Proceedings of the Workshop on Engineering Fault Tolerant Systems (EFTS). 2007, Dubrovnik, Croatia: ACM Press.
- Arief B, Iliasov A, Romanovsky A. On using the CAMA framework for developing open mobile fault tolerant agent systems. In: Proceedings of the International Conference on Software Engineering. 2006, Shanghai, China: ACM Press.
- Iliasov A, Troubitsyna E, Laibinis L, Romanovsky A, Varpaaniemi K, Ilic D, Latvala T. Developing mode-rich satellite software by refinement in Event-B. Science of Computer Programming 2013, 78(7), 884-905.
- Mokhov A, Iliasov A, Sokolov D, Rykunov M, Yakovlev A, Romanovsky A. Synthesis of Processor Instruction Sets from High-Level ISA Specifications. IEEE Transactions on Computers 2014, 63(6), 1552-1566.
- Iliasov A, Romanovsky A. SAFECAP domain language for reasoning about safety and capacity. Newcastle upon Tyne: Newcastle University, 2012. School of Computing Science Technical Report Series 1352.
- Iliasov A, Romanovsky A. The SafeCap toolset for improving railway capacity while ensuring its safety. Newcastle upon Tyne: Newcastle University, 2012. School of Computing Science Technical Report Series 1354.
- Iliasov A, Romanovsky A. Formal Analysis of railway signalling data. In: 17th IEEE International Symposium on High Assurance Systems Engineering (HASE 2016). 2016, Orlando, Florida: IEEE.
- Iliasov A, Rafiev A, Xia F, Gensh R, Romanovsky A, Yakovlev A. A formal specification and prototyping language for multi-core system management. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2015. School of Computing Science Technical Report Series 1445.
- Iliasov A, Rafiev A, Xia F, Gensh R, Romanovsky A, Yakovlev A. A formal specification and prototyping language for multi-core system management. In: 23rd Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP 2015). 2015, Turku: IEEE.
- Adjepon-Yamoah D, Romanovsky A, Iliasov A. A Reactive Architecture for Cloud-Based System Engineering. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2015. School of Computing Science Technical Report Series 1474.
- Adjepon-Yamoa D, Romanovsky A, Iliasov A. A reactive architecture for cloud-based system engineering. In: 2015 International Conference on Software and System Process ICSSP-2015. 2015, Tallinn, Estonia: ACM.
- Gensh R, Aalsaud A, Rafiev A, Xia F, Iliasov A, Romanovsky A, Yakovlev A. Experiments with Odroid-XU3 board. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2015. School of Computing Science Technical Report Series 1471.
- Iliasov A, Romanovsky A. Formal Modelling of Railway Safety and Capacity. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2015. School of Computing Science Technical Report Series 1444.
- Iliasov A, Romanovsky A. Formal Modelling of Railway Safety and Capacity. In: 23rd Safety-Critical Systems Symposium 2015 (SSS'15). 2015, Bristol, UK.
- Laibinis L, Troubitsyna E, Prokhorova Y, Iliasov A, Romanovsky A. From Requirements Engineering to Safety Assurance:Refinement Approach. In: 1st Symposium on Dependable Software Engineering; Theories, Tools and Applications. 2015, Nanjing, China: Springer.
- Rafiev A, Xia F, Iliasov A, Gensh R, Aalsaud A, Romanovsky A, Yakovlev A. Order Graphs and Cross-Layer Parametric Significance-driven Modelling. In: 15th International Conference on Application of Concurrency to System Design (ACSD'15). 2015, Brussels, Belgium: IEEE Computer Society.
- Iliasov A, Romanovsky A, Laibinis L, Troubitsyna E. OSLC-based Support for Integrated Development of Dependable Systems. In: EDCC 2015. 2015, Paris, France.
- Rafiev A, Xia F, Iliasov A, Gensh R, Aalsaud A, Romanovsky A, Yakovlev A. Power-proportional modelling fidelity. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2015. School of Computing Science Technical Report Series 1443.
- Iliasov A, Lopatkin I, Romanovsky A. Practical Formal Methods in Railways - The SafeCap Approach. In: 19th Ada-Europe International Conference on Reliable Software Technologies. 2015, Paris, France: Springer.
- Iliasov A, Adjepon-Yamoah D, Stankaitis P, Romanovsky A. Putting Provers on the Cloud. In: 23rd Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP 2015). 2015, Turku, Finland.
- Iliasov A, Laibinis L, Troubitsyna E, Adjepon-Yamoah D, Romanovsky A. Refinement-based Approach to Co-engineering Requirements and Formal Models. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2015. School of Computing Science Technical Report Series 1456.
- Iliasov A, Romanovsky A. SafeCap: The Train Advisory System for Real-Time Traffic Management. In: The Stephenson Conference 2015: Research for Railways. 2015, London, UK: Institution of Mechanical Engineers, London.
- Iliasov A, Palacin R, Romanovsky A. Advanced Modelling, Simulation and Verification for Future Traffic Regulation Optimisation. In: 6th International Workshop, SERENE 2014. 2014, Budapest, Hungary: Springer.
- Rafiev A, Iliasov A, Romanovsky A, Mokhov A, Xia F, Yakovlev A. ArchOn: Architecture-open Resource-driven Cross-layer Modelling Framework. In: ES4CPS@DATE 2014 - International Workshop on Engineering Simulations for Cyber-Physical Systems. 2014, Dresden, Germany.
- Iliasov A, Alekseyev A, Sokolov D, Mokhov A. Design of safety critical systems by refinement. In: 2014 Design, Automaton and Test in Europe Conference and Exhibition (DATE). 2014, Dresden, Germany: IEEE.
- Iliasov A, Lopatkin I, Romanovsky A. Practical formal methods in railways - the SafeCap Approach. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2014. School of Computing Science Technical Report Series 1404.
- Iliasov A, Lopatkin I, Mihut A, Romanovsky A. Real-time ATO reconfiguration for operational stability. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2014. School of Computing Science Technical Report Series 1412.
- Iliasov A, Lopatkin I, Mihut A, Romanovsky A. Real-time ATO Reconfiguration For Operational Stability. In: Brebbia,C.A; Tomii,N; Tzieropoulos,P; Mera,J.M, ed. Computers in Railways XIV: Railway Engineering Design and Optimization. WIT Press, 2014, pp.163-173.
- Rafiev A, Iliasov A, Romanovsky A, Mokhov A, Xia F, Yakovlev A. Resource-driven Modelling of Complex Digital Systems with Uncertainty. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2014. School of Computing Science Technical Report Series 1413.
- Iliasov A, Romanovsky A. SafeCap: The Train Advisory System for Real-Time Traffic Management. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2014. School of Computing Science Technical Report Series 1433.
- Rafiev A, Iliasov A, Romanovsky A, Mokhov A, Xia F, Yakovlev A. Studying the Interplay of Concurrency, Performance, Energy and Reliability with ArchOn - An Architecture-Open Resource-Driven Cross-Layer Modelling Framework. In: 14th International Conference on Application of Concurrency to System Design (ACSD 2014). 2015, Tunis, Tunisia: IEEE Computer Society.
- Rafiev A, Iliasov A, Romanovsky A, Mokhov A, Xia F, Yakovlev A. Studying the Interplay of Concurrency, Performance, Energy and Reliability with ArchOn – an Architecture-open Resource-driven Cross-layer Modelling Framework. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2014. School of Computing Science Technical Report Series 1408.
- Iliasov A, Lopatkin I, Romanovsky A. Unified Train Driving Policy. In: Boulanger, J-L, ed. Formal Methods Applied to Complex Systems. New Jersey, USA: Wiley, 2014, pp.447-473.
- Iliasov A, Lopatkin I, Romanovsky A. The SafeCap Platform for Modelling Railway Safety and Capacity. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2013. School of Computing Science Technical Report Series 1382.
- Iliasov A, Lopatkin I, Romanovsky A. The SafeCap Project on Railway Safety Verification and Capacity Simulation. In: 5th International Workshop SERENE 2013. 2013, Kiev, Ukraine: Springer.
- Rafiev A, Xia F, Iliasov A, Gensh R, Aalsaud A, Romanovsky A, Yakovlev A. Error-Based Metric for Cross-Layer Cut Determination. In: Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2016. 2018, Bremen, Germany: Springer Verlag.
- Iliasov A, Taylor D, Laibinis L, Romanovsky A. Formal Verification of Signalling Programs with SafeCap. In: 37th International Conference on Computer Safety, Reliability, & Security. 2018, Västerås, Sweden: Springer.
- Stankaitis P, Iliasov A, Romanovsky A. A Railway Simulation Suite For Modelling Advanced Railway Control Systems. International Journal of Transport Development and Integration 2017, 1(3), 558-567.
- Rafiev A, Mokhov A, Xia F, Iliasov A, Gensh R, Aalsaud A, Romanovsky A, Yakovlev A. Resource-Driven Modelling for Managing Model Fidelity. In: Molnos A; Fabre C, ed. Model-Implementation Fidelity in Cyber Physical System Design. Cham, Switzerland: Springer International Publishing AG, 2017, pp.25-55.
- Stankaitis P, Iliasov A. Safety verification of modern railway signalling with the SafeCap platform. In: 28th International Symposium on Software Reliability Engineering Workshops (ISSREW 2017). 2017, Toulouse, France: IEEE.
- Rafiev A, Xia F, Iliasov A, Gensh R, Aalsaud A, Romanovsky A, Yakovlev A. Selective abstraction and stochastic methods for scalable power modelling of heterogeneous systems. In: Forum on Specification and Design Languages (FDL). 2017, Bremen, Germany: IEEE Computer Society.
- Rafiev A, Xia F, Iliasov A, Romanovsky A, Yakovlev A. Selective Abstraction for Estimating Extra-Functional Properties in Networks-on-Chips using ArchOn Framework. In: 17th International Conference on Application of Concurrency to System Design (ACSD). 2017, Zaragoza, Spain: IEEE.
- Stankaitis P, Iliasov A. Theories, Techniques and Tools for Engineering Heterogeneous Railway Networks. In: RSSRail 2017: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification. 2017, Pistoia, Italy: Springer Verlag.
- Iliasov A, Romanovsky A, Troubitsyna E, Laibinis L. Formalisation-Driven Development of Safety-Critical Systems. In: 2016 IEEE 17th International Symposium on High Assurance Systems Engineering (HASE). 2016, Orlando, Florida: IEEE.
- Romanovsky A, Iliasov A. Introducing SafeCap, a safety-focused tool for optimising route capacity. Institution of Railway Signal Engineers. IRSE NEWS 2016, (223), pp.7.
- Iliasov A, Stankaitis P, Romanovsky A. Proving Event-B models with reusable generic lemmas. In: Formal Methods and Software Engineering: 18th International Conference on Formal Engineering Methods (ICFEM 2016). 2016, Tokyo, Japan: Springer.
- Iliasov A, Stankaitis P, Romanovsky A. Proving Event-B Models with Reusable Generic Lemmas. In: ICFEM 2016: Formal Methods and Software Engineering. 2016, Tokyo, Japan: Springer International Publishing.
- Iliasov A, Stankaitis P, Adjepon-Yamoah D, Romanovsky A. Rodin Platform Why3 Plug-In. In: 5th International Conference ABZ 2016. 2016, Linz, Austria: Springer.
- Stankaitis P, Iliasov A. Safety Verification of Heterogeneous Railway Networks. In: Reliability, Safety, and Security of Railway Systems: Modelling, Analysis, Verification, and Certification (RSSRail 2016). 2016, Paris: Springer.
- Iliasov A, Stankaitis P, Adjepon-Yamoah D. Static Verification of Railway Schema and Interlocking Design Data. In: Reliability, Safety, and Security of Railway Systems: Modelling, Analysis, Verification, and Certification (RSSRail 2016). 2016, Paris: Springer.
- Iliasov A, Bryans J. A Proof-Based Method for Modelling Timed Systems. In: Perspectives of System Informatics. 2015, St Petersburg, Russia: Springer Berlin Heidelberg.
- Iliasov A, Palacin R, Romanovsky A. Advanced Modelling, Simulation and Verification for Future Traffic Regulation Optimisation. In: SERENE 2014: Software Engineering for Resilient Systems. 2014, Budapest, Hungary: Springer, Cham.
- Iliasov A, Alekseyev A, Sokolov D, Mokhov A. Design of safety critical systems by refinement. In: Design, Automation and Test in Europe Conference and Exhibition (DATE). 2014, Dresden, Germany: IEEE.
- Iliasov A, Lopatkin I, Romanovsky A. Practical formal methods in railways - The SafeCap approach. In: 19th Ada-Europe International Conference on Reliable Software Technologies. 2014, Paris, France: Springer.
- Iliasov A, Lopatkin I, Mihut A, Romanovsky A. Real-time ATO reconfiguration for operational stability. In: WIT Transactions on the Built Environment. 2014, WITPress.