Alexei Iliasov

71 papers A 1B 6C 10Misc 4Journal 12Unranked 36

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