Alexei Iliasov

Publication Activity (10 Years)

Years Active: 2005-2023
Publications (10 Years): 28

Top Venues

CoRR

RSSRail

HASE

ACSD

University of Newcastle Upon Tyne, UK (PHD)

Education History

University of Newcastle Upon Tyne, UK

PHD

Publications

Alexei Iliasov, Dominic Taylor, Linas Laibinis, Alexander B. Romanovsky
Practical Verification of Railway Signalling Programs. IEEE Trans. Dependable Secur. Comput. 20 (1) (2023)
Yamine Aït-Ameur, Sergiy Bogomolov, Guillaume Dupont, Alexei Iliasov, Alexander B. Romanovsky, Paulius Stankaitis
A Refinement-based Formal Development of Cyber-physical Railway Signalling Systems. Formal Aspects Comput. 35 (1) (2023)
Alexei Iliasov, Dominic Taylor, Linas Laibinis, Alexander B. Romanovsky
The SafeCap Trajectory: Industry-Driven Improvement of an Interlocking Verification Tool. RSSRail (2023)
Alexei Iliasov, Linas Laibinis, Dominic Taylor, Ilya Lopatkin, Alexander B. Romanovsky
Safety Invariant Verification that Meets Engineers' Expectations. RSSRail (2022)
Paulius Stankaitis, Alexei Iliasov, Tsutomu Kobayashi, Yamine Aït Ameur, Fuyuki Ishikawa, Alexander B. Romanovsky
A refinement-based development of a distributed signalling system. Formal Aspects Comput. 33 (6) (2021)
Alexei Iliasov, Dominic Taylor, Linas Laibinis, Alexander B. Romanovsky
SafeCap: from formal verification of railway interlocking to its certification. CoRR (2021)
Linas Laibinis, Alexei Iliasov, Alexander B. Romanovsky
Mutation Testing for Rule-Based Verification of Railway Signaling Data. IEEE Trans. Reliab. 70 (2) (2021)
Paulius Stankaitis, Alexei Iliasov, Tsutomu Kobayashi, Yamine Aït Ameur, Fuyuki Ishikawa, Alexander B. Romanovsky
Formal Distributed Protocol Development for Reservation of Railway Sections. ABZ (2020)
Paulius Stankaitis, Guillaume Dupont, Neeraj Kumar Singh, Yamine Aït Ameur, Alexei Iliasov, Alexander B. Romanovsky
Modelling Hybrid Train Speed Controller using Proof and Refinement. ICECCS (2019)
Alexei Iliasov, Alexander B. Romanovsky, Linas Laibinis
Quantitative Validation of Formal Domain Models. HASE (2019)
Paulius Stankaitis, Alexei Iliasov, Yamine Aït Ameur, Tsutomu Kobayashi, Fuyuki Ishikawa, Alexander B. Romanovsky
A Refinement Based Method for Developing Distributed Protocols. HASE (2019)
Alexei Iliasov, Dominic Taylor, Linas Laibinis, Alexander B. Romanovsky
Formal Verification of Signalling Programs with SafeCap. SAFECOMP (2018)
Paulius Stankaitis, Alexei Iliasov
Safety Verification of Modern Railway Signalling with the SafeCap Platform. ISSRE Workshops (2017)
Ashur Rafiev, Fei Xia, Alexei Iliasov, Alexander B. Romanovsky, Alexandre Yakovlev
Selective Abstraction for Estimating Extra-Functional Properties in Networks-on-Chips Using ArchOn Framework. ACSD (2017)
Paulius Stankaitis, Alexei Iliasov
Theories, Techniques and Tools for Engineering Heterogeneous Railway Networks. RSSRail (2017)
Alexei Iliasov, Paulius Stankaitis, David Adjepon-Yamoah
Static Verification of Railway Schema and Interlocking Design Data. RSSRail (2016)
Alexei Iliasov, Paulius Stankaitis, Alexander B. Romanovsky
Proving Event-B Models with Reusable Generic Lemmas. ICFEM (2016)
Paulius Stankaitis, Alexei Iliasov
Safety Verification of Heterogeneous Railway Networks. RSSRail (2016)
Ashur Rafiev, Fei Xia, Alexei Iliasov, Rem Gensh, Ali Aalsaud, Alexander B. Romanovsky, Alexandre Yakovlev
Selective abstraction and stochastic methods for scalable power modelling of heterogeneous systems. FDL (2016)
Alexei Iliasov, Alexander B. Romanovsky, Elena Troubitsyna, Linas Laibinis
Formalisation-Driven Development of Safety-Critical Systems. HASE (2016)
Alexei Iliasov, Paulius Stankaitis, David Adjepon-Yamoah, Alexander B. Romanovsky
Rodin Platform Why3 Plug-In. ABZ (2016)
Paulius Stankaitis, Alexei Iliasov, David Adjepon-Yamoah, Alexander B. Romanovsky
Automating Verification of Event-B Models. CoRR (2016)
Manuel Mazzara, Cliff B. Jones, Alexei Iliasov
Lessons from DEPLOYment. CoRR (2016)
Alexei Iliasov, Alexander B. Romanovsky
Formal Analysis of Railway Signalling Data. HASE (2016)
Alexei Iliasov, Ashur Rafiev, Fei Xia, Rem Gensh, Alexander B. Romanovsky, Alexandre Yakovlev
A Formal Specification and Prototyping Language for Multi-core System Management. PDP (2015)
David Adjepon-Yamoah, Alexander B. Romanovsky, Alexei Iliasov
A reactive architecture for cloud-based system engineering. ICSSP (2015)
Linas Laibinis, Elena Troubitsyna, Yuliya Prokhorova, Alexei Iliasov, Alexander B. Romanovsky
From Requirements Engineering to Safety Assurance: Refinement Approach. SETTA (2015)
Ashur Rafiev, Fei Xia, Alexei Iliasov, Rem Gensh, Ali Aalsaud, Alexander B. Romanovsky, Alex Yakovlev
Order Graphs and Cross-Layer Parametric Significance-Driven Modelling. ACSD (2015)
Ashur Rafiev, Alexei Iliasov, Alexander B. Romanovsky, Andrey Mokhov, Fei Xia, Alexandre Yakovlev
Studying the Interplay of Concurrency, Performance, Energy and Reliability with ArchOn - An Architecture-Open Resource-Driven Cross-Layer Modelling Framework. ACSD (2014)
Andrey Mokhov, Alexei Iliasov, Danil Sokolov, Maxim Rykunov, Alex Yakovlev, Alexander B. Romanovsky
Synthesis of Processor Instruction Sets from High-Level ISA Specifications. IEEE Trans. Computers 63 (6) (2014)
Alexei Iliasov, Jeremy W. Bryans
A Proof-Based Method for Modelling Timed Systems. Ershov Memorial Conference (2014)
Ashur Rafiev, Alexei Iliasov, Alexander B. Romanovsky, Andrey Mokhov, Fei Xia, Alexandre Yakovlev
ArchOn: Architecture-open Resource-driven Cross-layer Modelling Framework. ES4CPS@DATE (2014)
Alexei Iliasov, Roberto Palacin, Alexander B. Romanovsky
Advanced Modelling, Simulation and Verification for Future Traffic Regulation Optimisation. SERENE (2014)
Alexei Iliasov, Ilya Lopatkin, Alexander B. Romanovsky
Practical Formal Methods in Railways - The SafeCap Approach. Ada-Europe (2014)
Alexei Iliasov, Ilya Lopatkin, Alexander B. Romanovsky
The SafeCap Platform for Modelling Railway Safety and Capacity. SAFECOMP (2013)
Alexei Iliasov
Event-B/SLP CoRR (2013)
Alexei Iliasov, Ilya Lopatkin, Alexander B. Romanovsky
The SafeCap Project on Railway Safety Verification and Capacity Simulation. SERENE (2013)
Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander B. Romanovsky, Kimmo Varpaaniemi, Dubravka Ilic, Timo Latvala
Developing mode-rich satellite software by refinement in Event-B. Sci. Comput. Program. 78 (7) (2013)
Rainer Gmehlich, Katrin Grau, Felix Loesch, Alexei Iliasov, Michael Jackson, Manuel Mazzara
Towards a formalism-based toolkit for automotive applications. FormaliSE@ICSE (2013)
Rainer Gmehlich, Katrin Grau, Alexei Iliasov, Michael Jackson, Felix Loesch, Manuel Mazzara
Towards a Formalism-Based Toolkit for Automotive Applications. CoRR (2013)
Alexei Iliasov
Augmenting Formal Development with Use Case Reasoning. Ada-Europe (2012)
Alexei Iliasov, Alexander B. Romanovsky, Linas Laibinis, Elena Troubitsyna, Timo Latvala
Augmenting Event-B modelling with real-time verification. FormSERA@ICSE (2012)
Ilya Lopatkin, Alexei Iliasov, Alexander B. Romanovsky, Yuliya Prokhorova, Elena Troubitsyna
Patterns for Representing FMEA in Formal Specification of Control Systems. HASE (2011)
Alexei Iliasov
Use Case Scenarios as Verification Conditions: Event-B/Flow Approach. SERENE (2011)
Thai Son Hoang, Alexei Iliasov, Renato Silva, Wei Wei
A Survey on Event-B Decomposition. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 46 (2011)
Ilya Lopatkin, Alexei Iliasov, Alexander B. Romanovsky
Rigorous Development of Dependable Systems Using Fault Tolerance Views. ISSRE (2011)
Alexei Iliasov
Generation of Certifiably Correct Programs from Formal Models. WOSOCER (2011)
Alexei Iliasov, Linas Laibinis, Elena Troubitsyna, Alexander B. Romanovsky
Formal Derivation of a Distributed Program in Event B. ICFEM (2011)
Ilya Lopatkin, Alexei Iliasov, Alexander B. Romanovsky
On fault tolerance reuse during refinement. SERENE (2010)
Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander B. Romanovsky, Kimmo Varpaaniemi, Dubravka Ilic, Timo Latvala
Developing Mode-Rich Satellite Software by Refinement in Event B. FMICS (2010)
Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander B. Romanovsky, Kimmo Varpaaniemi, Pauli Väisänen, Dubravka Ilic, Timo Latvala
Verifying Mode Consistency for On-Board Satellite Software. SAFECOMP (2010)
Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander B. Romanovsky, Kimmo Varpaaniemi, Dubravka Ilic, Timo Latvala
Supporting Reuse in Event B Development: Modularisation Approach. ASM (2010)
Fernando Luís Dotti, Alexei Iliasov, Leila Ribeiro, Alexander B. Romanovsky
Modal Systems: Specification, Refinement and Realisation. ICFEM (2009)
Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander B. Romanovsky
Patterns for Refinement Automation. FMCO (2009)
Alexei Iliasov, Alexander B. Romanovsky, Fernando Luís Dotti
Structuring Specifications with Modes. LADC (2009)
Alexei Iliasov, Alexander B. Romanovsky
Refinement Patterns for Fault Tolerant Systems. EDCC (2008)
Linas Laibinis, Elena Troubitsyna, Alexei Iliasov, Alexander B. Romanovsky
Formal development of cooperative exception handling for mobile agent systems. SERENE (2008)
Alexei Iliasov
Refinement patterns for rapid development of dependable systems. EFTS (2007)
Alexei Iliasov, Alexander B. Romanovsky, Budi Arief, Linas Laibinis, Elena Troubitsyna
On Rigorous Design and Implementation of Fault Tolerant Ambient Systems. ISORC (2007)
Alexei Iliasov, Alexander B. Romanovsky, Budi Arief
A Framework for Open Distributed System Design. COMPSAC (2) (2007)
Budi Arief, Alexei Iliasov, Alexander B. Romanovsky
On Developing Open Mobile Fault Tolerant Agent Systems. SELMAS (LNCS) (2006)
Budi Arief, Alexei Iliasov, Alexander B. Romanovsky
On using the CAMA framework for developing open mobile fault tolerant agent systems. SELMAS (2006)
Linas Laibinis, Elena Troubitsyna, Alexei Iliasov, Alexander B. Romanovsky
Rigorous Development of Fault-Tolerant Agent Systems. RODIN Book (2006)
Alexei Iliasov, Victor Khomenko, Maciej Koutny, Alexander B. Romanovsky
On Specification and Verification of Location-Based Fault Tolerant Mobile Systems. RODIN Book (2006)
Alexei Iliasov, Alexander B. Romanovsky
Structured Coordination Spaces for Fault Tolerant Mobile Agents. Advanced Topics in Exception Handling Techniques (2006)
Alexei Iliasov, Alexander B. Romanovsky
Exception Handling in Coordination-Based Mobile Environments. COMPSAC (1) (2005)

Alexei Iliasov.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Alexei Iliasov