Templates-based portable just-in-time compiler. - Alex Iliasov (ACM SIGPLAN Notices, 2003)

Exception Handling in Coordination-Based Mobile Environments. - Alexei Iliasov; Alexander B. Romanovsky (COMPSAC (1), 2005)

Structured Coordination Spaces for Fault Tolerant Mobile Agents. - Alexei Iliasov; Alexander B. Romanovsky (Advanced Topics in Exception Handling Techniques, 2006)

On Specification and Verification of Location-Based Fault Tolerant Mobile Systems. - Alexei Iliasov; Victor Khomenko; Maciej Koutny; Alexander B. Romanovsky (RODIN Book, 2006)

Rigorous Development of Fault-Tolerant Agent Systems. - Linas Laibinis; Elena Troubitsyna; Alexei Iliasov; Alexander B. Romanovsky (RODIN Book, 2006)

On Developing Open Mobile Fault Tolerant Agent Systems. - Budi Arief; Alexei Iliasov; Alexander B. Romanovsky (SELMAS (LNCS), 2006)

On using the CAMA framework for developing open mobile fault tolerant agent systems. - Budi Arief; Alexei Iliasov; Alexander B. Romanovsky (SELMAS, 2006)

A Framework for Open Distributed System Design. - Alexei Iliasov; Alexander B. Romanovsky; Budi Arief (COMPSAC (2), 2007)

On Rigorous Design and Implementation of Fault Tolerant Ambient Systems. - Alexei Iliasov; Alexander B. Romanovsky; Budi Arief; Linas Laibinis; Elena Troubitsyna (ISORC, 2007)

Refinement patterns for rapid development of dependable systems. - Alexei Iliasov (EFTS, 2007)

Refinement Patterns for Fault Tolerant Systems. - Alexei Iliasov; Alexander B. Romanovsky (EDCC, 2008)

Formal development of cooperative exception handling for mobile agent systems. - Linas Laibinis; Elena Troubitsyna; Alexei Iliasov; Alexander B. Romanovsky (SERENE, 2008)

Design components. - Alexei Iliasov (2008)

Patterns for Refinement Automation. - Alexei Iliasov; Elena Troubitsyna; Linas Laibinis; Alexander B. Romanovsky (FMCO, 2009)

Modal Systems: Specification, Refinement and Realisation. - Fernando Luís Dotti; Alexei Iliasov; Leila Ribeiro 001; Alexander B. Romanovsky (ICFEM, 2009)

Structuring Specifications with Modes. - Alexei Iliasov; Alexander B. Romanovsky; Fernando Luís Dotti (LADC, 2009)

Step-Wise Development of Resilient Ambient Campus Scenarios. - Alexei Iliasov; Budi Arief; Alexander B. Romanovsky (Methods, Models and Tools for Fault Tolerance, 2009)

Supporting Reuse in Event B Development: Modularisation Approach. - Alexei Iliasov; Elena Troubitsyna; Linas Laibinis; Alexander B. Romanovsky; Kimmo Varpaaniemi; Dubravka Ilic; Timo Latvala (ASM, 2010)

Verifying Mode Consistency for On-Board Satellite Software. - Alexei Iliasov; Elena Troubitsyna; Linas Laibinis; Alexander B. Romanovsky; Kimmo Varpaaniemi; Pauli Väisänen; Dubravka Ilic; Timo Latvala (SAFECOMP, 2010)

On fault tolerance reuse during refinement. - Ilya Lopatkin; Alexei Iliasov; Alexander B. Romanovsky (SERENE, 2010)

Patterns for Representing FMEA in Formal Specification of Control Systems. - Ilya Lopatkin; Alexei Iliasov; Alexander B. Romanovsky; Yuliya Prokhorova; Elena Troubitsyna (HASE, 2011)

Formal Derivation of a Distributed Program in Event B. - Alexei Iliasov; Linas Laibinis; Elena Troubitsyna; Alexander B. Romanovsky (ICFEM, 2011)

Generation of Certifiably Correct Programs from Formal Models. - Alexei Iliasov (WOSOCER, 2011)

Rigorous Development of Dependable Systems Using Fault Tolerance Views. - Ilya Lopatkin; Alexei Iliasov; Alexander B. Romanovsky (ISSRE, 2011)

Use Case Scenarios as Verification Conditions: Event-B/Flow Approach. - Alexei Iliasov (SERENE, 2011)

A Survey on Event-B Decomposition. - Thai Son Hoang; Alexei Iliasov; Renato Silva; Wei Wei 015 (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011)

Augmenting Formal Development with Use Case Reasoning. - Alexei Iliasov (Ada-Europe, 2012)

Augmenting Event-B modelling with real-time verification. - Alexei Iliasov; Alexander B. Romanovsky; Linas Laibinis; Elena Troubitsyna; Timo Latvala (FormSERA@ICSE, 2012)

Towards a formalism-based toolkit for automotive applications. - Rainer Gmehlich; Katrin Grau; Felix Loesch; Alexei Iliasov; Michael Jackson 003; Manuel Mazzara (FormaliSE@ICSE, 2013)

The SafeCap Platform for Modelling Railway Safety and Capacity. - Alexei Iliasov; Ilya Lopatkin; Alexander B. Romanovsky (SAFECOMP, 2013)

The SafeCap Project on Railway Safety Verification and Capacity Simulation. - Alexei Iliasov; Ilya Lopatkin; Alexander B. Romanovsky (SERENE, 2013)

Event-B/SLP - Alexei Iliasov (CoRR, 2013)

Developing mode-rich satellite software by refinement in Event-B. - Alexei Iliasov; Elena Troubitsyna; Linas Laibinis; Alexander B. Romanovsky; Kimmo Varpaaniemi; Dubravka Ilic; Timo Latvala (Sci. Comput. Program., 2013)

Studying the Interplay of Concurrency, Performance, Energy and Reliability with ArchOn - An Architecture-Open Resource-Driven Cross-Layer Modelling Framework. - Ashur Rafiev; Alexei Iliasov; Alexander B. Romanovsky; Andrey Mokhov; Fei Xia 001; Alexandre Yakovlev (ACSD, 2014)

Practical Formal Methods in Railways - The SafeCap Approach. - Alexei Iliasov; Ilya Lopatkin; Alexander B. Romanovsky (Ada-Europe, 2014)

Design of safety critical systems by refinement. - Alex Iliasov; Arseniy Alekseyev; Danil Sokolov; Andrey Mokhov (DATE, 2014)

ArchOn: Architecture-open Resource-driven Cross-layer Modelling Framework. - Ashur Rafiev; Alexei Iliasov; Alexander B. Romanovsky; Andrey Mokhov; Fei Xia 001; Alexandre Yakovlev (ES4CPS@DATE, 2014)

A Proof-Based Method for Modelling Timed Systems. - Alexei Iliasov; Jeremy W. Bryans (Ershov Memorial Conference, 2014)

Advanced Modelling, Simulation and Verification for Future Traffic Regulation Optimisation. - Alexei Iliasov; Roberto Palacin; Alexander B. Romanovsky (SERENE, 2014)

Synthesis of Processor Instruction Sets from High-Level ISA Specifications. - Andrey Mokhov; Alexei Iliasov; Danil Sokolov; Maxim Rykunov; Alex Yakovlev; Alexander B. Romanovsky (IEEE Trans. Computers, 2014)

Order Graphs and Cross-Layer Parametric Significance-Driven Modelling. - Ashur Rafiev; Fei Xia 001; Alexei Iliasov; Rem Gensh; Ali Aalsaud; Alexander B. Romanovsky; Alex Yakovlev (ACSD, 2015)

A reactive architecture for cloud-based system engineering. - David Adjepon-Yamoah; Alexander B. Romanovsky; Alexei Iliasov (ICSSP, 2015)

A Formal Specification and Prototyping Language for Multi-core System Management. - Alexei Iliasov; Ashur Rafiev; Fei Xia 001; Rem Gensh; Alexander B. Romanovsky; Alexandre Yakovlev (PDP, 2015)

From Requirements Engineering to Safety Assurance: Refinement Approach. - Linas Laibinis; Elena Troubitsyna; Yuliya Prokhorova; Alexei Iliasov; Alexander B. Romanovsky (SETTA, 2015)

Rodin Platform Why3 Plug-In. - Alexei Iliasov; Paulius Stankaitis; David Adjepon-Yamoah; Alexander B. Romanovsky (ABZ, 2016)

Selective abstraction and stochastic methods for scalable power modelling of heterogeneous systems. - Ashur Rafiev; Fei Xia 001; Alexei Iliasov; Rem Gensh; Ali Aalsaud; Alexander B. Romanovsky; Alexandre Yakovlev (FDL, 2016)

Formal Analysis of Railway Signalling Data. - Alexei Iliasov; Alexander B. Romanovsky (HASE, 2016)

Formalisation-Driven Development of Safety-Critical Systems. - Alexei Iliasov; Alexander B. Romanovsky; Elena Troubitsyna; Linas Laibinis (HASE, 2016)

Proving Event-B Models with Reusable Generic Lemmas. - Alexei Iliasov; Paulius Stankaitis; Alexander B. Romanovsky (ICFEM, 2016)

Static Verification of Railway Schema and Interlocking Design Data. - Alexei Iliasov; Paulius Stankaitis; David Adjepon-Yamoah (RSSRail, 2016)

Safety Verification of Heterogeneous Railway Networks. - Paulius Stankaitis; Alexei Iliasov (RSSRail, 2016)

Lessons from DEPLOYment. - Manuel Mazzara; Cliff B. Jones; Alexei Iliasov (CoRR, 2016)

Automating Verification of Event-B Models. - Paulius Stankaitis; Alexei Iliasov; David Adjepon-Yamoah; Alexander B. Romanovsky (CoRR, 2016)

Selective Abstraction for Estimating Extra-Functional Properties in Networks-on-Chips Using ArchOn Framework. - Ashur Rafiev; Fei Xia 001; Alexei Iliasov; Alexander B. Romanovsky; Alexandre Yakovlev (ACSD, 2017)

Safety Verification of Modern Railway Signalling with the SafeCap Platform. - Paulius Stankaitis; Alexei Iliasov (ISSRE Workshops, 2017)

Theories, Techniques and Tools for Engineering Heterogeneous Railway Networks. - Paulius Stankaitis; Alexei Iliasov (RSSRail, 2017)

Formal Verification of Signalling Programs with SafeCap. - Alexei Iliasov; Dominic Taylor; Linas Laibinis; Alexander B. Romanovsky (SAFECOMP, 2018)

Quantitative Validation of Formal Domain Models. - Alexei Iliasov; Alexander B. Romanovsky; Linas Laibinis (HASE, 2019)

A Refinement Based Method for Developing Distributed Protocols. - Paulius Stankaitis; Alexei Iliasov; Yamine Aït Ameur; Tsutomu Kobayashi; Fuyuki Ishikawa; Alexander B. Romanovsky (HASE, 2019)

Modelling Hybrid Train Speed Controller using Proof and Refinement. - Paulius Stankaitis; Guillaume Dupont; Neeraj Kumar Singh 001; Yamine Aït Ameur; Alexei Iliasov; Alexander B. Romanovsky (ICECCS, 2019)

Formal Distributed Protocol Development for Reservation of Railway Sections. - Paulius Stankaitis; Alexei Iliasov; Tsutomu Kobayashi; Yamine Aït Ameur; Fuyuki Ishikawa; Alexander B. Romanovsky (ABZ, 2020)

SafeCap: from formal verification of railway interlocking to its certification. - Alexei Iliasov; Dominic Taylor; Linas Laibinis; Alexander B. Romanovsky (CoRR, 2021)

A refinement-based development of a distributed signalling system. - Paulius Stankaitis; Alexei Iliasov; Tsutomu Kobayashi; Yamine Aït Ameur; Fuyuki Ishikawa; Alexander B. Romanovsky (Formal Aspects Comput., 2021)

Mutation Testing for Rule-Based Verification of Railway Signaling Data. - Linas Laibinis; Alexei Iliasov; Alexander B. Romanovsky (IEEE Trans. Reliab., 2021)

Safety Invariant Verification that Meets Engineers' Expectations. - Alexei Iliasov; Linas Laibinis; Dominic Taylor; Ilya Lopatkin; Alexander B. Romanovsky (RSSRail, 2022)

The SafeCap Trajectory: Industry-Driven Improvement of an Interlocking Verification Tool. - Alexei Iliasov; Dominic Taylor; Linas Laibinis; Alexander B. Romanovsky (RSSRail, 2023)

Practical Verification of Railway Signalling Programs. - Alexei Iliasov; Dominic Taylor; Linas Laibinis; Alexander B. Romanovsky (IEEE Trans. Dependable Secur. Comput., 2023)

A Refinement-based Formal Development of Cyber-physical Railway Signalling Systems. - Yamine Aït-Ameur; Sergiy Bogomolov; Guillaume Dupont; Alexei Iliasov; Alexander B. Romanovsky; Paulius Stankaitis (Formal Aspects Comput., 2023)

Safety Invariant Engineering for Interlocking Verification. - Alexei Iliasov; Dominic Taylor; Linas Laibinis; Alexander B. Romanovsky (SAFECOMP, 2024)

Proof Semantics of Railway Interlocking. - Linas Laibinis; Alexei Iliasov; Alexander B. Romanovsky (ABZ, 2025)