| Supporting reuse in Event B development: modularisation approach A Iliasov, E Troubitsyna, L Laibinis, A Romanovsky, K Varpaaniemi, D Ilic, ... International Conference on Abstract State Machines, Alloy, B and Z, 174-188, 2010 | 95 | 2010 |
| Developing mode-rich satellite software by refinement in Event B A Iliasov, E Troubitsyna, L Laibinis, A Romanovsky, K Varpaaniemi, D Ilic, ... International Workshop on Formal Methods for Industrial Critical Systems, 50-66, 2010 | 55 | 2010 |
| Augmenting Event-B modelling with real-time verification A Iliasov, A Romanovsky, L Laibinis, E Troubitsyna, T Latvala 2012 First International Workshop on Formal Methods in Software Engineering …, 2012 | 41 | 2012 |
| Patterns for representing FMEA in formal specification of control systems I Lopatkin, A Iliasov, A Romanovsky, Y Prokhorova, E Troubitsyna 2011 IEEE 13th International Symposium on High-Assurance Systems Engineering …, 2011 | 40 | 2011 |
| The SafeCap platform for modelling railway safety and capacity A Iliasov, I Lopatkin, A Romanovsky International Conference on Computer Safety, Reliability, and Security, 130-137, 2013 | 36 | 2013 |
| Use case scenarios as verification conditions: Event-B/Flow approach A Iliasov International Workshop on Software Engineering for Resilient Systems, 9-23, 2011 | 34 | 2011 |
| Exception handling in coordination-based mobile environments A Iliasov, A Romanovsky 29th Annual International Computer Software and Applications Conference …, 2005 | 32 | 2005 |
| Verifying mode consistency for on-board satellite software A Iliasov, E Troubitsyna, L Laibinis, A Romanovsky, K Varpaaniemi, ... International Conference on Computer Safety, Reliability, and Security, 126-141, 2010 | 30 | 2010 |
| Synthesis of processor instruction sets from high-level ISA specifications A Mokhov, A Iliasov, D Sokolov, M Rykunov, A Yakovlev, A Romanovsky IEEE Transactions on Computers 63 (6), 1552-1566, 2013 | 28 | 2013 |
| SafeCap domain language for reasoning about safety and capacity A Iliasov, A Romanovsky 2012 Workshop on Dependable Transportation Systems/Recent Advances in …, 2012 | 28 | 2012 |
| Modal systems: Specification, refinement and realisation FL Dotti, A Iliasov, L Ribeiro, A Romanovsky International Conference on Formal Engineering Methods, 601-619, 2009 | 28 | 2009 |
| Cama: Structured coordination space and exception propagation mechanism for mobile agents A Iliasov, A Romanovsky School of Computing Science Technical Report Series, 2005 | 28 | 2005 |
| Experiments with Odroid-XU3 board R Gensh, A Aalsaud, A Rafiev, F Xia, A Iliasov, A Romanovsky, ... School of Computing Science Technical Report Series, 2015 | 27 | 2015 |
| Towards a formalism-based toolkit for automotive applications R Gmehlich, K Grau, F Loesch, A Iliasov, M Jackson, M Mazzara 2013 1st FME Workshop on Formal Methods in Software Engineering (FormaliSE …, 2013 | 27 | 2013 |
| A survey on Event-B decomposition TS Hoang, A Iliasov, RA Silva, W Wei Electronic Communications of the EASST, 2012 | 26 | 2012 |
| Rigorous development of fault-tolerant agent systems L Laibinis, E Troubitsyna, A Iliasov, A Romanovsky Rigorous Development of Complex Fault-Tolerant Systems, 241-260, 2006 | 26 | 2006 |
| On using the CAMA framework for developing open mobile fault tolerant agent systems B Arief, A Iliasov, A Romanovsky Proceedings of the 2006 international workshop on Software engineering for …, 2006 | 24 | 2006 |
| On Event-B and control flow A Iliasov Project DEPLOY Grant Agreement 214158, 19, 2009 | 23 | 2009 |
| On rigorous design and implementation of fault tolerant ambient systems A Iliasov, A Romanovsky, B Arief, L Laibinis, E Troubitsyna 10th IEEE International Symposium on Object and Component-Oriented Real-Time …, 2007 | 23 | 2007 |
| Refinement patterns for rapid development of dependable systems A Iliasov Proceedings of the 2007 workshop on Engineering fault tolerant systems, 10-es, 2007 | 22 | 2007 |
Alexander RomanovskyEmeritus Professor, Newcastle University, UKVerified email at ncl.ac.uk
