Toggle Main Menu Toggle Search

Open Access padlockePrints

Browsing publications by Dr Alexei Iliasov.

Newcastle AuthorsTitleYearFull text
Dr Paulius Stankaitis
Dr Alexei Iliasov
Professor Alexander Romanovsky
A refinement based method for developing distributed protocols2019
Dr Paulius Stankaitis
Dr Alexei Iliasov
Professor Alexander Romanovsky
Modelling Hybrid Train Speed Controller using Proof and Refinement2019
Dr Alexei Iliasov
Professor Alexander Romanovsky
Dr Linas Laibinis
Quantitative Validation of Formal Domain Models2019
Dr Ashur Rafiev
Dr Fei Xia
Dr Alexei Iliasov
Dr Rem Gensh
Ali Aalsaud
et al.
Error-Based Metric for Cross-Layer Cut Determination2018
Dr Alexei Iliasov
Dr Linas Laibinis
Professor Alexander Romanovsky
Formal Verification of Signalling Programs with SafeCap2018
Dr Alexei Iliasov
Dr Linas Laibinis
Professor Alexander Romanovsky
Formal Verification of Signalling Programs with SafeCap2018
Paulius Stankaitis
Dr Alexei Iliasov
Professor Alexander Romanovsky
A Railway Simulation Suite For Modelling Advanced Railway Control Systems2017
Dr Ashur Rafiev
Dr Andrey Mokhov
Dr Fei Xia
Dr Alexei Iliasov
Rem Gensh
et al.
Resource-Driven Modelling for Managing Model Fidelity2017
Paulius Stankaitis
Dr Alexei Iliasov
Safety verification of modern railway signalling with the SafeCap platform2017
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 systems2017
Dr Ashur Rafiev
Dr Fei Xia
Dr Alexei Iliasov
Professor Alexander Romanovsky
Professor Alex Yakovlev
et al.
Selective Abstraction for Estimating Extra-Functional Properties in Networks-on-Chips using ArchOn Framework2017
Paulius Stankaitis
Dr Alexei Iliasov
Theories, Techniques and Tools for Engineering Heterogeneous Railway Networks2017
Dr Alexei Iliasov
A formal DSL for multi-core system management2016
Dr Alexei Iliasov
Professor Alexander Romanovsky
Formal Analysis of railway signalling data2016
Dr Alexei Iliasov
Professor Alexander Romanovsky
Dr Elena Troubitsyna
Formalisation-Driven Development of Safety-Critical Systems2016
Professor Alexander Romanovsky
Dr Alexei Iliasov
Introducing SafeCap, a safety-focused tool for optimising route capacity2016
Dr Alexei Iliasov
Paulius Stankaitis
Professor Alexander Romanovsky
Proving Event-B models with reusable generic lemmas2016
Dr Alexei Iliasov
Dr Paulius Stankaitis
Professor Alexander Romanovsky
Proving Event-B Models with Reusable Generic Lemmas2016
Dr Alexei Iliasov
Dr Paulius Stankaitis
David Ebo Adjepon-Yamoah
Professor Alexander Romanovsky
Rodin Platform Why3 Plug-In2016
Paulius Stankaitis
Dr Alexei Iliasov
Safety Verification of Heterogeneous Railway Networks2016
Dr Alexei Iliasov
Dr Paulius Stankaitis
David Adjepon-Yamoah
Static Verification of Railway Schema and Interlocking Design Data2016
Dr Alexei Iliasov
Dr Ashur Rafiev
Dr Fei Xia
Rem Gensh
Professor Alexander Romanovsky
et al.
A formal specification and prototyping language for multi-core system management2015
Dr Alexei Iliasov
Dr Ashur Rafiev
Dr Fei Xia
Rem Gensh
Professor Alexander Romanovsky
et al.
A formal specification and prototyping language for multi-core system management2015
Dr Alexei Iliasov
Dr Jeremy Bryans
A Proof-Based Method for Modelling Timed Systems2015
David Ebo Adjepon-Yamoah
Professor Alexander Romanovsky
Dr Alexei Iliasov
A Reactive Architecture for Cloud-Based System Engineering2015
David Adjepon-Yamoah
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 board2015
Dr Alexei Iliasov
Professor Alexander Romanovsky
Formal Modelling of Railway Safety and Capacity2015
Dr Alexei Iliasov
Professor Alexander Romanovsky
Formal Modelling of Railway Safety and Capacity2015
Dr Elena Troubitsyna
Dr Alexei Iliasov
Professor Alexander Romanovsky
From Requirements Engineering to Safety Assurance:Refinement Approach2015
Dr Ashur Rafiev
Dr Fei Xia
Dr Alexei Iliasov
Rem Gensh
Ali Aalsaud
et al.
Order Graphs and Cross-Layer Parametric Significance-driven Modelling2015
Dr Alexei Iliasov
Professor Alexander Romanovsky
OSLC-based Support for Integrated Development of Dependable Systems2015
Dr Ashur Rafiev
Dr Fei Xia
Dr Alexei Iliasov
Rem Gensh
Ali Aalsaud
et al.
Power-proportional modelling fidelity2015
Dr Alexei Iliasov
David Ebo Adjepon-Yamoah
Paulius Stankaitis
Professor Alexander Romanovsky
Putting Provers on the Cloud2015
Dr Alexei Iliasov
Dr Elena Troubitsyna
David Ebo Adjepon-Yamoah
Professor Alexander Romanovsky
Refinement-based Approach to Co-engineering Requirements and Formal Models2015
Dr Alexei Iliasov
Professor Alexander Romanovsky
SafeCap: The Train Advisory System for Real-Time Traffic Management2015
Dr Ashur Rafiev
Dr Alexei Iliasov
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 Framework2015
Dr Alexei Iliasov
Dr Roberto Palacin
Professor Alexander Romanovsky
Advanced Modelling, Simulation and Verification for Future Traffic Regulation Optimisation2014
Dr Alexei Iliasov
Dr Roberto Palacin
Professor Alexander Romanovsky
Advanced Modelling, Simulation and Verification for Future Traffic Regulation Optimisation2014
Dr Ashur Rafiev
Dr Alexei Iliasov
Professor Alexander Romanovsky
Dr Andrey Mokhov
Dr Fei Xia
et al.
ArchOn: Architecture-open Resource-driven Cross-layer Modelling Framework2014
Dr Alexei Iliasov
Arseniy Alekseyev
Dr Danil Sokolov
Dr Andrey Mokhov
Design of safety critical systems by refinement2014
Dr Alexei Iliasov
Arseniy Alekseyev
Dr Danil Sokolov
Dr Andrey Mokhov
Design of safety critical systems by refinement2014
Dr Alexei Iliasov
Dr Ilya Lopatkin
Professor Alexander Romanovsky
Practical formal methods in railways - The SafeCap approach2014
Dr Alexei Iliasov
Dr Ilya Lopatkin
Professor Alexander Romanovsky
Practical formal methods in railways - the SafeCap Approach2014
Dr Alexei Iliasov
Dr Ilya Lopatkin
Ana Mihut
Professor Alexander Romanovsky
Real-time ATO reconfiguration for operational stability2014
Dr Alexei Iliasov
Dr Ilya Lopatkin
Ana Mihut
Professor Alexander Romanovsky
Real-time ATO Reconfiguration For Operational Stability2014
Dr Ashur Rafiev
Dr Alexei Iliasov
Professor Alexander Romanovsky
Dr Andrey Mokhov
Dr Fei Xia
et al.
Resource-driven Modelling of Complex Digital Systems with Uncertainty2014
Dr Alexei Iliasov
Professor Alexander Romanovsky
SafeCap: The Train Advisory System for Real-Time Traffic Management2014
Dr Ashur Rafiev
Dr Alexei Iliasov
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 Framework2014
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 Specifications2014
Dr Alexei Iliasov
Dr Ilya Lopatkin
Professor Alexander Romanovsky
Unified Train Driving Policy2014
Dr Alexei Iliasov
Dr Elena Troubitsyna
Professor Alexander Romanovsky
Developing mode-rich satellite software by refinement in Event-B2013
Dr Alexei Iliasov
Dr Ilya Lopatkin
Professor Alexander Romanovsky
The SafeCap Platform for Modelling Railway Safety and Capacity2013
Dr Alexei Iliasov
Dr Ilya Lopatkin
Professor Alexander Romanovsky
The SafeCap Project on Railway Safety Verification and Capacity Simulation2013
Dr Elena Troubitsyna
Dr Alexei Iliasov
Professor Alexander Romanovsky
Formal Approach to Ensuring Interoperability of Mobile Agents2012
Dr Manuel Mazzara
Professor Cliff Jones
Dr Alexei Iliasov
Lessons from DEPLOYment2012
Dr Alexei Iliasov
Professor Alexander Romanovsky
SAFECAP domain language for reasoning about safety and capacity2012
Dr Alexei Iliasov
Professor Alexander Romanovsky
The SafeCap toolset for improving railway capacity while ensuring its safety2012
Dr Alexei Iliasov
Dr Elena Troubitsyna
Professor Alexander Romanovsky
Formal Derivation of a Distributed Program in Event B2011
Dr Alexei Iliasov
Dr Elena Troubitsyna
Professor Alexander Romanovsky
Formal Derivation of a Distributed Program in Event B2011
Denis Grotsev
Dr Alexei Iliasov
Professor Alexander Romanovsky
Formal Stepwise Development of Scalable and Reliable Multiagent Systems2011
Dr Ilya Lopatkin
Dr Alexei Iliasov
Professor Alexander Romanovsky
Dr Elena Troubitsyna
Patterns for Representing FMEA in Formal Specification of Control Systems2011
Dr Ilya Lopatkin
Dr Alexei Iliasov
Professor Alexander Romanovsky
Patterns for Representing FMEA in Formal Specification of Control Systems2011
Dr Ilya Lopatkin
Dr Alexei Iliasov
Professor Alexander Romanovsky
Rigorous Development of Dependable Systems using Fault Tolerance Views2011
Dr Ilya Lopatkin
Dr Alexei Iliasov
Professor Alexander Romanovsky
Rigorous Development of Dependable Systems using Fault Tolerance Views2011
Dr Alexei Iliasov
Dr Elena Troubitsyna
Professor Alexander Romanovsky
Developing Mode-Rich Satellite Software by Refinement in Event B2010
Dr Alexei Iliasov
Dr Elena Troubitsyna
Professor Alexander Romanovsky
Developing Mode-Rich Satellite Software by Refinement in Event B2010
Denis Grotsev
Dr Alexei Iliasov
Professor Alexander Romanovsky
Formal Stepwise Development of Scalable and Reliable Multiagent Systems2010
Dr Ilya Lopatkin
Dr Alexei Iliasov
Professor Alexander Romanovsky
On Fault Tolerance Reuse during Refinement2010
Dr Ilya Lopatkin
Dr Alexei Iliasov
Professor Alexander Romanovsky
On Fault Tolerance Reuse during Refinement2010
Dr Alexei Iliasov
Dr Elena Troubitsyna
Professor Alexander Romanovsky
Patterns for Refinement Automation2010
Dr Alexei Iliasov
Dr Elena Troubitsyna
Professor Alexander Romanovsky
Patterns for Refinement Automation2010
Dr Alexei Iliasov
Dr Elena Troubitsyna
Professor Alexander Romanovsky
Supporting Reuse in Event B Development: Modularisation Approach2010
Dr Elena Troubitsyna
Dr Alexei Iliasov
Professor Alexander Romanovsky
System Architecture, Dependability and Modes2010
Dr Alexei Iliasov
Dr Elena Troubitsyna
Professor Alexander Romanovsky
Verifying Mode Consistency for On-Board Satellite Software2010
Dr Fernando Dotti
Dr Alexei Iliasov
Professor Alexander Romanovsky
Modal systems: Specification, refinement and realisation2009
Dr Fernando Dotti
Dr Alexei Iliasov
Professor Alexander Romanovsky
Modal Systems: Specification, Refinement and Realisation2009
Dr Fernando Dotti
Dr Alexei Iliasov
Emerson Ribeiro De Mello
Professor Alexander Romanovsky
Modal Systems: Specification, Refinement and Realisation2009
Dr Alexei Iliasov
On Event-B and Control Flow2009
Dr Alexei Iliasov
Dr Leonardus Arief
Professor Alexander Romanovsky
Step-wise development of resilient ambient campus scenarios2009
Dr Alexei Iliasov
Dr Leonardus Arief
Professor Alexander Romanovsky
Step-Wise Development of Resilient Ambient Campus Scenarios2009
Dr Alexei Iliasov
Professor Alexander Romanovsky
Dr Fernando Dotti
Structuring Specifications with Modes2009
Dr Alexei Iliasov
Dr Fernando Dotti
Professor Alexander Romanovsky
Structuring Specifications with Modes2009
Dr Alexei Iliasov
[PhD Thesis] Design Components2008
Dr Alexei Iliasov
Professor Maciej Koutny
A method and tool for design of multi-agent systems2008
Dr Elena Troubitsyna
Dr Alexei Iliasov
Professor Alexander Romanovsky
Formal development of cooperative exception handling for mobile agent systems2008
Dr Elena Troubitsyna
Dr Alexei Iliasov
Professor Alexander Romanovsky
Formal development of cooperative exception handling for mobile agent systems2008
Dr Alexei Iliasov
Dr Elena Troubitsyna
Professor Alexander Romanovsky
Guided Formal Development: Patterns for Modelling and Refinement2008
Dr Alexei Iliasov
Mobile code for coordination2008
Dr Alexei Iliasov
Dr Elena Troubitsyna
Professor Alexander Romanovsky
Patterns for Refinement Automation2008
Dr Alexei Iliasov
Refinement Patterns2008
Dr Alexei Iliasov
Professor Alexander Romanovsky
Refinement Patterns for Fault Tolerant Systems2008
Dr Alexei Iliasov
Professor Alexander Romanovsky
Refinement Patterns for Fault Tolerant Systems2008
Dr Alexei Iliasov
Professor Alexander Romanovsky
Dr Leonardus Arief
Dr Elena Troubitsyna
A framework for open distributed system design2007
Dr Alexei Iliasov
Mobile Code for Coordination2007
Dr Leonardus Arief
Dr Alexei Iliasov
Professor Alexander Romanovsky
On developing open mobile fault tolerant agent systems2007
Dr Alexei Iliasov
Professor Alexander Romanovsky
Dr Leonardus Arief
Dr Elena Troubitsyna
On rigorous design and implementation of fault tolerant ambient systems2007
Dr Alexei Iliasov
Refinement patterns for rapid development of dependable systems2007
Dr Alexei Iliasov
Dr Elena Troubitsyna
Professor Alexander Romanovsky
Formal Approach to Ensuring Interoperability of Mobile Agents2006
Dr Alexei Iliasov
Professor Alexander Romanovsky
Dr Leonardus Arief
Dr Elena Troubitsyna
On Rigorous Design and Implementation of Fault Tolerant Ambient Systems2006
Dr Leonardus Arief
Dr Alexei Iliasov
Professor Alexander Romanovsky
On Using the CAMA Framework for Developing Open Mobile Fault Tolerant Agent Systems2006
Dr Leonardus Arief
Dr Alexei Iliasov
Professor Alexander Romanovsky
On Using the CAMA Framework for Developing Open Mobile Fault Tolerant Agent Systems2006
Dr Leonardus Arief
Dr Alexei Iliasov
Professor Alexander Romanovsky
On using the CAMA framework for developing open mobile fault tolerant agent systems2006
Dr Elena Troubitsyna
Dr Alexei Iliasov
Professor Alexander Romanovsky
Rigorous Development of Fault-Tolerant Agent Systems2006
Dr Alexei Iliasov
Professor Alexander Romanovsky
Structured coordination spaces for fault tolerant mobile agents2006
Dr Alexei Iliasov
Professor Alexander Romanovsky
CAMA: Structured Coordination Space and Exception Propagation Mechanism for Mobile Agents2005
Dr Alexei Iliasov
Professor Alexander Romanovsky
Exception Handling in Coordination-based Mobile Environments2005
Dr Alexei Iliasov
Dr Victor Khomenko
Professor Maciej Koutny
Professor Alexander Romanovsky
On specification and verification of location-based fault tolerant mobile systems2005
Dr Alexei Iliasov
Professor Alexander Romanovsky
Exception Handling in Coordination-based Mobile Environments2004