Publications by Dr Alexei Iliasov - ePrints

Browsing publications by Dr Alexei Iliasov.

Newcastle Authors	Title	Year
Dr Alexei Iliasov Dr Linas Laibinis Emeritus Professor Alexander Romanovsky	Safety Invariant Engineering for Interlocking Verification	2024
Dr Paulius Stankaitis Dr Alexei Iliasov Emeritus Professor Alexander Romanovsky	A refinement based method for developing distributed protocols	2019
Dr Paulius Stankaitis Dr Alexei Iliasov Emeritus Professor Alexander Romanovsky	Modelling Hybrid Train Speed Controller using Proof and Refinement	2019
Dr Alexei Iliasov Emeritus Professor Alexander Romanovsky Dr Linas Laibinis	Quantitative Validation of Formal Domain Models	2019
Dr Ashur Rafiev Dr Fei Xia Dr Alexei Iliasov Dr Rem Gensh Ali Aalsaud et al.	Error-Based Metric for Cross-Layer Cut Determination	2018
Dr Alexei Iliasov Dr Linas Laibinis Emeritus Professor Alexander Romanovsky	Formal Verification of Signalling Programs with SafeCap	2018
Dr Alexei Iliasov Dr Linas Laibinis Emeritus Professor Alexander Romanovsky	Formal Verification of Signalling Programs with SafeCap	2018
Paulius Stankaitis Dr Alexei Iliasov Emeritus Professor Alexander Romanovsky	A Railway Simulation Suite For Modelling Advanced Railway Control Systems	2017
Dr Ashur Rafiev Dr Andrey Mokhov Dr Fei Xia Dr Alexei Iliasov Rem Gensh et al.	Resource-Driven Modelling for Managing Model Fidelity	2017
Paulius Stankaitis Dr Alexei Iliasov	Safety verification of modern railway signalling with the SafeCap platform	2017
Dr Ashur Rafiev Dr Fei Xia Dr Alexei Iliasov Rem Gensh Ali Aalsaud et al.	Selective abstraction and stochastic methods for scalable power modelling of heterogeneous systems	2017
Dr Ashur Rafiev Dr Fei Xia Dr Alexei Iliasov Emeritus Professor Alexander Romanovsky Professor Alex Yakovlev et al.	Selective Abstraction for Estimating Extra-Functional Properties in Networks-on-Chips using ArchOn Framework	2017
Paulius Stankaitis Dr Alexei Iliasov	Theories, Techniques and Tools for Engineering Heterogeneous Railway Networks	2017
Dr Alexei Iliasov	A formal DSL for multi-core system management	2016
Dr Alexei Iliasov Emeritus Professor Alexander Romanovsky	Formal Analysis of railway signalling data	2016
Dr Alexei Iliasov Emeritus Professor Alexander Romanovsky Dr Elena Troubitsyna	Formalisation-Driven Development of Safety-Critical Systems	2016
Emeritus Professor Alexander Romanovsky Dr Alexei Iliasov	Introducing SafeCap, a safety-focused tool for optimising route capacity	2016
Dr Alexei Iliasov Paulius Stankaitis Emeritus Professor Alexander Romanovsky	Proving Event-B models with reusable generic lemmas	2016
Dr Alexei Iliasov Dr Paulius Stankaitis Emeritus Professor Alexander Romanovsky	Proving Event-B Models with Reusable Generic Lemmas	2016
Dr Alexei Iliasov Dr Paulius Stankaitis David Ebo Adjepon-Yamoah Emeritus Professor Alexander Romanovsky	Rodin Platform Why3 Plug-In	2016
Paulius Stankaitis Dr Alexei Iliasov	Safety Verification of Heterogeneous Railway Networks	2016
Dr Alexei Iliasov Dr Paulius Stankaitis David Adjepon-Yamoah	Static Verification of Railway Schema and Interlocking Design Data	2016
Dr Alexei Iliasov Dr Ashur Rafiev Dr Fei Xia Rem Gensh Emeritus Professor Alexander Romanovsky et al.	A formal specification and prototyping language for multi-core system management	2015
Dr Alexei Iliasov Dr Ashur Rafiev Dr Fei Xia Rem Gensh Emeritus Professor Alexander Romanovsky et al.	A formal specification and prototyping language for multi-core system management	2015
Dr Alexei Iliasov Dr Jeremy Bryans	A Proof-Based Method for Modelling Timed Systems	2015
David Ebo Adjepon-Yamoah Emeritus Professor Alexander Romanovsky Dr Alexei Iliasov	A Reactive Architecture for Cloud-Based System Engineering	2015
David Adjepon-Yamoah Emeritus Professor Alexander Romanovsky Dr Alexei Iliasov	A reactive architecture for cloud-based system engineering.	2015
Rem Gensh Ali Aalsaud Dr Ashur Rafiev Dr Fei Xia Dr Alexei Iliasov et al.	Experiments with Odroid-XU3 board	2015
Dr Alexei Iliasov Emeritus Professor Alexander Romanovsky	Formal Modelling of Railway Safety and Capacity	2015
Dr Alexei Iliasov Emeritus Professor Alexander Romanovsky	Formal Modelling of Railway Safety and Capacity	2015
Dr Elena Troubitsyna Dr Alexei Iliasov Emeritus Professor Alexander Romanovsky	From Requirements Engineering to Safety Assurance:Refinement Approach	2015
Dr Ashur Rafiev Dr Fei Xia Dr Alexei Iliasov Rem Gensh Ali Aalsaud et al.	Order Graphs and Cross-Layer Parametric Significance-driven Modelling	2015
Dr Alexei Iliasov Emeritus Professor Alexander Romanovsky	OSLC-based Support for Integrated Development of Dependable Systems	2015
Dr Ashur Rafiev Dr Fei Xia Dr Alexei Iliasov Rem Gensh Ali Aalsaud et al.	Power-proportional modelling fidelity	2015
Dr Alexei Iliasov David Ebo Adjepon-Yamoah Paulius Stankaitis Emeritus Professor Alexander Romanovsky	Putting Provers on the Cloud	2015
Dr Alexei Iliasov Dr Elena Troubitsyna David Ebo Adjepon-Yamoah Emeritus Professor Alexander Romanovsky	Refinement-based Approach to Co-engineering Requirements and Formal Models	2015
Dr Alexei Iliasov Emeritus Professor Alexander Romanovsky	SafeCap: The Train Advisory System for Real-Time Traffic Management	2015
Dr Ashur Rafiev Dr Alexei Iliasov Emeritus Professor Alexander Romanovsky Dr Andrey Mokhov Dr Fei Xia et al.	Studying the Interplay of Concurrency, Performance, Energy and Reliability with ArchOn - An Architecture-Open Resource-Driven Cross-Layer Modelling Framework	2015
Dr Alexei Iliasov Professor Roberto Palacin Emeritus Professor Alexander Romanovsky	Advanced Modelling, Simulation and Verification for Future Traffic Regulation Optimisation	2014
Dr Alexei Iliasov Professor Roberto Palacin Emeritus Professor Alexander Romanovsky	Advanced Modelling, Simulation and Verification for Future Traffic Regulation Optimisation	2014
Dr Ashur Rafiev Dr Alexei Iliasov Emeritus Professor Alexander Romanovsky Dr Andrey Mokhov Dr Fei Xia et al.	ArchOn: Architecture-open Resource-driven Cross-layer Modelling Framework	2014
Dr Alexei Iliasov Arseniy Alekseyev Dr Danil Sokolov Dr Andrey Mokhov	Design of safety critical systems by refinement	2014
Dr Alexei Iliasov Arseniy Alekseyev Dr Danil Sokolov Dr Andrey Mokhov	Design of safety critical systems by refinement	2014
Dr Alexei Iliasov Dr Ilya Lopatkin Emeritus Professor Alexander Romanovsky	Practical formal methods in railways - The SafeCap approach	2014
Dr Alexei Iliasov Dr Ilya Lopatkin Emeritus Professor Alexander Romanovsky	Practical formal methods in railways - the SafeCap Approach	2014
Dr Alexei Iliasov Dr Ilya Lopatkin Ana Mihut Emeritus Professor Alexander Romanovsky	Real-time ATO reconfiguration for operational stability	2014
Dr Alexei Iliasov Dr Ilya Lopatkin Ana Mihut Emeritus Professor Alexander Romanovsky	Real-time ATO Reconfiguration For Operational Stability	2014
Dr Ashur Rafiev Dr Alexei Iliasov Emeritus Professor Alexander Romanovsky Dr Andrey Mokhov Dr Fei Xia et al.	Resource-driven Modelling of Complex Digital Systems with Uncertainty	2014
Dr Alexei Iliasov Emeritus Professor Alexander Romanovsky	SafeCap: The Train Advisory System for Real-Time Traffic Management	2014
Dr Ashur Rafiev Dr Alexei Iliasov Emeritus Professor Alexander Romanovsky Dr Andrey Mokhov Dr Fei Xia et al.	Studying the Interplay of Concurrency, Performance, Energy and Reliability with ArchOn – an Architecture-open Resource-driven Cross-layer Modelling Framework	2014
Dr Andrey Mokhov Dr Alexei Iliasov Dr Danil Sokolov Maxim Rykunov Professor Alex Yakovlev et al.	Synthesis of Processor Instruction Sets from High-Level ISA Specifications	2014
Dr Alexei Iliasov Dr Ilya Lopatkin Emeritus Professor Alexander Romanovsky	Unified Train Driving Policy	2014
Dr Alexei Iliasov Dr Elena Troubitsyna Emeritus Professor Alexander Romanovsky	Developing mode-rich satellite software by refinement in Event-B	2013
Dr Alexei Iliasov Dr Ilya Lopatkin Emeritus Professor Alexander Romanovsky	The SafeCap Platform for Modelling Railway Safety and Capacity	2013
Dr Alexei Iliasov Dr Ilya Lopatkin Emeritus Professor Alexander Romanovsky	The SafeCap Project on Railway Safety Verification and Capacity Simulation	2013
Dr Elena Troubitsyna Dr Alexei Iliasov Emeritus Professor Alexander Romanovsky	Formal Approach to Ensuring Interoperability of Mobile Agents	2012
Dr Manuel Mazzara Emeritus Professor Cliff Jones Dr Alexei Iliasov	Lessons from DEPLOYment	2012
Dr Alexei Iliasov Emeritus Professor Alexander Romanovsky	SAFECAP domain language for reasoning about safety and capacity	2012
Dr Alexei Iliasov Emeritus Professor Alexander Romanovsky	The SafeCap toolset for improving railway capacity while ensuring its safety	2012
Dr Alexei Iliasov Dr Elena Troubitsyna Emeritus Professor Alexander Romanovsky	Formal Derivation of a Distributed Program in Event B	2011
Dr Alexei Iliasov Dr Elena Troubitsyna Emeritus Professor Alexander Romanovsky	Formal Derivation of a Distributed Program in Event B	2011
Denis Grotsev Dr Alexei Iliasov Emeritus Professor Alexander Romanovsky	Formal Stepwise Development of Scalable and Reliable Multiagent Systems	2011
Dr Ilya Lopatkin Dr Alexei Iliasov Emeritus Professor Alexander Romanovsky Dr Elena Troubitsyna	Patterns for Representing FMEA in Formal Specification of Control Systems	2011
Dr Ilya Lopatkin Dr Alexei Iliasov Emeritus Professor Alexander Romanovsky	Patterns for Representing FMEA in Formal Specification of Control Systems	2011
Dr Ilya Lopatkin Dr Alexei Iliasov Emeritus Professor Alexander Romanovsky	Rigorous Development of Dependable Systems using Fault Tolerance Views	2011
Dr Ilya Lopatkin Dr Alexei Iliasov Emeritus Professor Alexander Romanovsky	Rigorous Development of Dependable Systems using Fault Tolerance Views	2011
Dr Alexei Iliasov Dr Elena Troubitsyna Emeritus Professor Alexander Romanovsky	Developing Mode-Rich Satellite Software by Refinement in Event B	2010
Dr Alexei Iliasov Dr Elena Troubitsyna Emeritus Professor Alexander Romanovsky	Developing Mode-Rich Satellite Software by Refinement in Event B	2010
Denis Grotsev Dr Alexei Iliasov Emeritus Professor Alexander Romanovsky	Formal Stepwise Development of Scalable and Reliable Multiagent Systems	2010
Dr Ilya Lopatkin Dr Alexei Iliasov Emeritus Professor Alexander Romanovsky	On Fault Tolerance Reuse during Refinement	2010
Dr Ilya Lopatkin Dr Alexei Iliasov Emeritus Professor Alexander Romanovsky	On Fault Tolerance Reuse during Refinement	2010
Dr Alexei Iliasov Dr Elena Troubitsyna Emeritus Professor Alexander Romanovsky	Patterns for Refinement Automation	2010
Dr Alexei Iliasov Dr Elena Troubitsyna Emeritus Professor Alexander Romanovsky	Patterns for Refinement Automation	2010
Dr Alexei Iliasov Dr Elena Troubitsyna Emeritus Professor Alexander Romanovsky	Supporting Reuse in Event B Development: Modularisation Approach	2010
Dr Elena Troubitsyna Dr Alexei Iliasov Emeritus Professor Alexander Romanovsky	System Architecture, Dependability and Modes	2010
Dr Alexei Iliasov Dr Elena Troubitsyna Emeritus Professor Alexander Romanovsky	Verifying Mode Consistency for On-Board Satellite Software	2010
Dr Fernando Dotti Dr Alexei Iliasov Emeritus Professor Alexander Romanovsky	Modal systems: Specification, refinement and realisation	2009
Dr Fernando Dotti Dr Alexei Iliasov Emeritus Professor Alexander Romanovsky	Modal Systems: Specification, Refinement and Realisation	2009
Dr Fernando Dotti Dr Alexei Iliasov Emerson Ribeiro De Mello Emeritus Professor Alexander Romanovsky	Modal Systems: Specification, Refinement and Realisation	2009
Dr Alexei Iliasov	On Event-B and Control Flow	2009
Dr Alexei Iliasov Dr Leonardus Arief Emeritus Professor Alexander Romanovsky	Step-wise development of resilient ambient campus scenarios	2009
Dr Alexei Iliasov Dr Leonardus Arief Emeritus Professor Alexander Romanovsky	Step-Wise Development of Resilient Ambient Campus Scenarios	2009
Dr Alexei Iliasov Emeritus Professor Alexander Romanovsky Dr Fernando Dotti	Structuring Specifications with Modes	2009
Dr Alexei Iliasov Dr Fernando Dotti Emeritus Professor Alexander Romanovsky	Structuring Specifications with Modes	2009
Dr Alexei Iliasov	[PhD Thesis] Design Components	2008
Dr Alexei Iliasov Professor Maciej Koutny	A method and tool for design of multi-agent systems	2008
Dr Elena Troubitsyna Dr Alexei Iliasov Emeritus Professor Alexander Romanovsky	Formal development of cooperative exception handling for mobile agent systems	2008
Dr Elena Troubitsyna Dr Alexei Iliasov Emeritus Professor Alexander Romanovsky	Formal development of cooperative exception handling for mobile agent systems	2008
Dr Alexei Iliasov Dr Elena Troubitsyna Emeritus Professor Alexander Romanovsky	Guided Formal Development: Patterns for Modelling and Refinement	2008
Dr Alexei Iliasov	Mobile code for coordination	2008
Dr Alexei Iliasov Dr Elena Troubitsyna Emeritus Professor Alexander Romanovsky	Patterns for Refinement Automation	2008
Dr Alexei Iliasov	Refinement Patterns	2008
Dr Alexei Iliasov Emeritus Professor Alexander Romanovsky	Refinement Patterns for Fault Tolerant Systems	2008
Dr Alexei Iliasov Emeritus Professor Alexander Romanovsky	Refinement Patterns for Fault Tolerant Systems	2008
Dr Alexei Iliasov Emeritus Professor Alexander Romanovsky Dr Leonardus Arief Dr Elena Troubitsyna	A framework for open distributed system design	2007
Dr Alexei Iliasov	Mobile Code for Coordination	2007
Dr Leonardus Arief Dr Alexei Iliasov Emeritus Professor Alexander Romanovsky	On developing open mobile fault tolerant agent systems	2007
Dr Alexei Iliasov Emeritus Professor Alexander Romanovsky Dr Leonardus Arief Dr Elena Troubitsyna	On rigorous design and implementation of fault tolerant ambient systems	2007
Dr Alexei Iliasov	Refinement patterns for rapid development of dependable systems	2007
Dr Alexei Iliasov Dr Elena Troubitsyna Emeritus Professor Alexander Romanovsky	Formal Approach to Ensuring Interoperability of Mobile Agents	2006
Dr Alexei Iliasov Emeritus Professor Alexander Romanovsky Dr Leonardus Arief Dr Elena Troubitsyna	On Rigorous Design and Implementation of Fault Tolerant Ambient Systems	2006
Dr Leonardus Arief Dr Alexei Iliasov Emeritus Professor Alexander Romanovsky	On Using the CAMA Framework for Developing Open Mobile Fault Tolerant Agent Systems	2006
Dr Leonardus Arief Dr Alexei Iliasov Emeritus Professor Alexander Romanovsky	On Using the CAMA Framework for Developing Open Mobile Fault Tolerant Agent Systems	2006
Dr Leonardus Arief Dr Alexei Iliasov Emeritus Professor Alexander Romanovsky	On using the CAMA framework for developing open mobile fault tolerant agent systems	2006
Dr Elena Troubitsyna Dr Alexei Iliasov Emeritus Professor Alexander Romanovsky	Rigorous Development of Fault-Tolerant Agent Systems	2006
Dr Alexei Iliasov Emeritus Professor Alexander Romanovsky	Structured coordination spaces for fault tolerant mobile agents	2006
Dr Alexei Iliasov Emeritus Professor Alexander Romanovsky	CAMA: Structured Coordination Space and Exception Propagation Mechanism for Mobile Agents	2005
Dr Alexei Iliasov Emeritus Professor Alexander Romanovsky	Exception Handling in Coordination-based Mobile Environments	2005
Dr Alexei Iliasov Dr Victor Khomenko Professor Maciej Koutny Emeritus Professor Alexander Romanovsky	On specification and verification of location-based fault tolerant mobile systems	2005
Dr Alexei Iliasov Emeritus Professor Alexander Romanovsky	Exception Handling in Coordination-based Mobile Environments	2004