Alexei Iliasov

According to our database, Alexei Iliasov authored at least 68 papers between 2003 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

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., March, 2023

Practical Verification of Railway Signalling Programs.

Alexei Iliasov, Dominic Taylor, Linas Laibinis, Alexander B. Romanovsky

IEEE Trans. Dependable Secur. Comput., 2023

The SafeCap Trajectory: Industry-Driven Improvement of an Interlocking Verification Tool.

Alexei Iliasov, Dominic Taylor, Linas Laibinis, Alexander B. Romanovsky

Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2023

2022

Safety Invariant Verification that Meets Engineers' Expectations.

Alexei Iliasov, Linas Laibinis, Dominic Taylor, Ilya Lopatkin, Alexander B. Romanovsky

Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2022

2021

Mutation Testing for Rule-Based Verification of Railway Signaling Data.

Linas Laibinis, Alexei Iliasov, Alexander B. Romanovsky

IEEE Trans. Reliab., 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

SafeCap: from formal verification of railway interlocking to its certification.

Alexei Iliasov, Dominic Taylor, Linas Laibinis, Alexander B. Romanovsky

CoRR, 2021

2020

Formal Distributed Protocol Development for Reservation of Railway Sections.

Paulius Stankaitis, Alexei Iliasov, Tsutomu Kobayashi, Yamine Aït Ameur, Fuyuki Ishikawa, Alexander B. Romanovsky

Proceedings of the Rigorous State-Based Methods - 7th International Conference, 2020

2019

Modelling Hybrid Train Speed Controller using Proof and Refinement.

Paulius Stankaitis, Guillaume Dupont, Neeraj Kumar Singh, Yamine Aït Ameur, Alexei Iliasov, Alexander B. Romanovsky

Proceedings of the 24th International Conference on Engineering of Complex Computer Systems, 2019

A Refinement Based Method for Developing Distributed Protocols.

Paulius Stankaitis, Alexei Iliasov, Yamine Aït Ameur, Tsutomu Kobayashi, Fuyuki Ishikawa, Alexander B. Romanovsky

Proceedings of the 19th IEEE International Symposium on High Assurance Systems Engineering, 2019

Quantitative Validation of Formal Domain Models.

Alexei Iliasov, Alexander B. Romanovsky, Linas Laibinis

Proceedings of the 19th IEEE International Symposium on High Assurance Systems Engineering, 2019

2018

Formal Verification of Signalling Programs with SafeCap.

Alexei Iliasov, Dominic Taylor, Linas Laibinis, Alexander B. Romanovsky

Proceedings of the Computer Safety, Reliability, and Security, 2018

2017

Theories, Techniques and Tools for Engineering Heterogeneous Railway Networks.

Paulius Stankaitis, Alexei Iliasov

Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2017

Safety Verification of Modern Railway Signalling with the SafeCap Platform.

Paulius Stankaitis, Alexei Iliasov

Proceedings of the 2017 IEEE International Symposium on Software Reliability Engineering Workshops, 2017

Selective Abstraction for Estimating Extra-Functional Properties in Networks-on-Chips Using ArchOn Framework.

Ashur Rafiev, Fei Xia, Alexei Iliasov, Alexander B. Romanovsky, Alexandre Yakovlev

Proceedings of the 17th International Conference on Application of Concurrency to System Design, 2017

2016

Automating Verification of Event-B Models.

Paulius Stankaitis, Alexei Iliasov, David Adjepon-Yamoah, Alexander B. Romanovsky

CoRR, 2016

Lessons from DEPLOYment.

Manuel Mazzara, Cliff B. Jones, Alexei Iliasov

CoRR, 2016

Safety Verification of Heterogeneous Railway Networks.

Paulius Stankaitis, Alexei Iliasov

Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2016

Static Verification of Railway Schema and Interlocking Design Data.

Alexei Iliasov, Paulius Stankaitis, David Adjepon-Yamoah

Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2016

Proving Event-B Models with Reusable Generic Lemmas.

Alexei Iliasov, Paulius Stankaitis, Alexander B. Romanovsky

Proceedings of the Formal Methods and Software Engineering, 2016

Formalisation-Driven Development of Safety-Critical Systems.

Alexei Iliasov, Alexander B. Romanovsky, Elena Troubitsyna, Linas Laibinis

Proceedings of the 17th IEEE International Symposium on High Assurance Systems Engineering, 2016

Formal Analysis of Railway Signalling Data.

Alexei Iliasov, Alexander B. Romanovsky

Proceedings of the 17th IEEE International Symposium on High Assurance Systems Engineering, 2016

Selective abstraction and stochastic methods for scalable power modelling of heterogeneous systems.

Ashur Rafiev, Fei Xia, Alexei Iliasov, Rem Gensh, Ali Aalsaud, Alexander B. Romanovsky, Alexandre Yakovlev

Proceedings of the 2016 Forum on Specification and Design Languages, 2016

Rodin Platform Why3 Plug-In.

Alexei Iliasov, Paulius Stankaitis, David Adjepon-Yamoah, Alexander B. Romanovsky

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2016

2015

From Requirements Engineering to Safety Assurance: Refinement Approach.

Linas Laibinis, Elena Troubitsyna, Yuliya Prokhorova, Alexei Iliasov, Alexander B. Romanovsky

Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2015

A Formal Specification and Prototyping Language for Multi-core System Management.

Alexei Iliasov, Ashur Rafiev, Fei Xia, Rem Gensh, Alexander B. Romanovsky, Alexandre Yakovlev

Proceedings of the 23rd Euromicro International Conference on Parallel, 2015

A reactive architecture for cloud-based system engineering.

David Adjepon-Yamoah, Alexander B. Romanovsky, Alexei Iliasov

Proceedings of the 2015 International Conference on Software and System Process, 2015

Order Graphs and Cross-Layer Parametric Significance-Driven Modelling.

Ashur Rafiev, Fei Xia, Alexei Iliasov, Rem Gensh, Ali Aalsaud, Alexander B. Romanovsky, Alex Yakovlev

Proceedings of the 15th International Conference on Application of Concurrency to System Design, 2015

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

Advanced Modelling, Simulation and Verification for Future Traffic Regulation Optimisation.

Alexei Iliasov, Roberto Palacin, Alexander B. Romanovsky

Proceedings of the Software Engineering for Resilient Systems - 6th International Workshop, 2014

A Proof-Based Method for Modelling Timed Systems.

Alexei Iliasov, Jeremy W. Bryans

Proceedings of the Perspectives of System Informatics, 2014

ArchOn: Architecture-open Resource-driven Cross-layer Modelling Framework.

Ashur Rafiev, Alexei Iliasov, Alexander B. Romanovsky, Andrey Mokhov, Fei Xia, Alexandre Yakovlev

Proceedings of the International Workshop on Engineering Simulations for Cyber-Physical Systems, 2014

Design of safety critical systems by refinement.

Alex Iliasov, Arseniy Alekseyev, Danil Sokolov, Andrey Mokhov

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014

Practical Formal Methods in Railways - The SafeCap Approach.

Alexei Iliasov, Ilya Lopatkin, Alexander B. Romanovsky

Proceedings of the Reliable Software Technologies, 2014

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, Alexandre Yakovlev

Proceedings of the 14th International Conference on Application of Concurrency to System Design, 2014

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

Event-B/SLP

Alexei Iliasov

CoRR, 2013

The SafeCap Project on Railway Safety Verification and Capacity Simulation.

Alexei Iliasov, Ilya Lopatkin, Alexander B. Romanovsky

Proceedings of the Software Engineering for Resilient Systems, 5th International Workshop, 2013

The SafeCap Platform for Modelling Railway Safety and Capacity.

Alexei Iliasov, Ilya Lopatkin, Alexander B. Romanovsky

Proceedings of the Computer Safety, Reliability, and Security, 2013

Towards a formalism-based toolkit for automotive applications.

Rainer Gmehlich, Katrin Grau, Felix Loesch, Alexei Iliasov, Michael Jackson, Manuel Mazzara

Proceedings of the 1st FME Workshop on Formal Methods in Software Engineering, 2013

2012

Augmenting Event-B modelling with real-time verification.

Alexei Iliasov, Alexander B. Romanovsky, Linas Laibinis, Elena Troubitsyna, Timo Latvala

Proceedings of the First International Workshop on Formal Methods in Software Engineering, 2012

Augmenting Formal Development with Use Case Reasoning.

Alexei Iliasov

Proceedings of the Reliable Software Technologies - Ada-Europe 2012, 2012

2011

A Survey on Event-B Decomposition.

Thai Son Hoang, Alexei Iliasov, Renato Silva, Wei Wei

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011

Use Case Scenarios as Verification Conditions: Event-B/Flow Approach.

Alexei Iliasov

Proceedings of the Software Engineering for Resilient Systems, 2011

Rigorous Development of Dependable Systems Using Fault Tolerance Views.

Ilya Lopatkin, Alexei Iliasov, Alexander B. Romanovsky

Proceedings of the IEEE 22nd International Symposium on Software Reliability Engineering, 2011

Generation of Certifiably Correct Programs from Formal Models.

Alexei Iliasov

Proceedings of the 2011 First International Workshop on Software Certification, WoSoCER 2011, Hiroshima, Japan, November 29, 2011

Formal Derivation of a Distributed Program in Event B.

Alexei Iliasov, Linas Laibinis, Elena Troubitsyna, Alexander B. Romanovsky

Proceedings of the Formal Methods and Software Engineering, 2011

Patterns for Representing FMEA in Formal Specification of Control Systems.

Ilya Lopatkin, Alexei Iliasov, Alexander B. Romanovsky, Yuliya Prokhorova, Elena Troubitsyna

Proceedings of the 13th IEEE International Symposium on High-Assurance Systems Engineering, 2011

2010

On fault tolerance reuse during refinement.

Ilya Lopatkin, Alexei Iliasov, Alexander B. Romanovsky

Proceedings of the 2nd International Workshop on Software Engineering for Resilient Systems, 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

Proceedings of the Computer Safety, 2010

Supporting Reuse in Event B Development: Modularisation Approach.

Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander B. Romanovsky, Kimmo Varpaaniemi, Dubravka Ilic, Timo Latvala

Proceedings of the Abstract State Machines, 2010

2009

Step-Wise Development of Resilient Ambient Campus Scenarios.

Alexei Iliasov, Budi Arief, Alexander B. Romanovsky

Proceedings of the Methods, 2009

Structuring Specifications with Modes.

Alexei Iliasov, Alexander B. Romanovsky, Fernando Luís Dotti

Proceedings of the Fourth Latin-American Symposium on Dependable Computing, 2009

Modal Systems: Specification, Refinement and Realisation.

Fernando Luís Dotti, Alexei Iliasov, Leila Ribeiro, Alexander B. Romanovsky

Proceedings of the Formal Methods and Software Engineering, 2009

Patterns for Refinement Automation.

Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander B. Romanovsky

Proceedings of the Formal Methods for Components and Objects - 8th International Symposium, 2009

2008

Design components.

Alexei Iliasov

PhD thesis, 2008

Formal development of cooperative exception handling for mobile agent systems.

Linas Laibinis, Elena Troubitsyna, Alexei Iliasov, Alexander B. Romanovsky

Proceedings of the SERENE 2008, 2008

Refinement Patterns for Fault Tolerant Systems.

Alexei Iliasov, Alexander B. Romanovsky

Proceedings of the Seventh European Dependable Computing Conference, 2008

2007

Refinement patterns for rapid development of dependable systems.

Alexei Iliasov

Proceedings of the 2007 Workshop on Engineering Fault Tolerant Systems, 2007

On Rigorous Design and Implementation of Fault Tolerant Ambient Systems.

Alexei Iliasov, Alexander B. Romanovsky, Budi Arief, Linas Laibinis, Elena Troubitsyna

Proceedings of the Tenth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2007), 2007

A Framework for Open Distributed System Design.

Alexei Iliasov, Alexander B. Romanovsky, Budi Arief

Proceedings of the 31st Annual International Computer Software and Applications Conference, 2007

2006

On using the CAMA framework for developing open mobile fault tolerant agent systems.

Budi Arief, Alexei Iliasov, Alexander B. Romanovsky

Proceedings of the 2006 international workshop on Software engineering for large-scale multi-agent systems, 2006

On Developing Open Mobile Fault Tolerant Agent Systems.

Budi Arief, Alexei Iliasov, Alexander B. Romanovsky

Proceedings of the Software Engineering for Multi-Agent Systems V, 2006

Rigorous Development of Fault-Tolerant Agent Systems.

Linas Laibinis, Elena Troubitsyna, Alexei Iliasov, Alexander B. Romanovsky

Proceedings of the Rigorous Development of Complex Fault-Tolerant Systems [FP6 IST-511599 RODIN project], 2006

On Specification and Verification of Location-Based Fault Tolerant Mobile Systems.

Alexei Iliasov, Victor Khomenko, Maciej Koutny, Alexander B. Romanovsky

Proceedings of the Rigorous Development of Complex Fault-Tolerant Systems [FP6 IST-511599 RODIN project], 2006

Structured Coordination Spaces for Fault Tolerant Mobile Agents.

Alexei Iliasov, Alexander B. Romanovsky

Proceedings of the Advanced Topics in Exception Handling Techniques (the book grow out of ECOOP workshops), 2006

2005

Exception Handling in Coordination-Based Mobile Environments.

Alexei Iliasov, Alexander B. Romanovsky

Proceedings of the 29th Annual International Computer Software and Applications Conference, 2005

2003

Templates-based portable just-in-time compiler.

Alex Iliasov

ACM SIGPLAN Notices, 2003