Browsing publications by Dr Alexei Iliasov

Newcastle AuthorsTitleYear
Dr Alexei Iliasov
Dr Elena Troubitsyna
Professor Alexander Romanovsky
Developing mode-rich satellite software by refinement in Event-B2013
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 Specifications2013
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
Ilya Lopatkin
Dr Alexei Iliasov
Professor Alexander Romanovsky
Dr Elena Troubitsyna
Patterns for Representing FMEA in Formal Specification of Control Systems2011
123456