Alexei Iliasov
Alexei Iliasov
Newcastle University, School of Computing Science
Verified email at newcastle.ac.uk
Title
Cited by
Cited by
Year
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
692010
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
382010
Use case scenarios as verification conditions: Event-B/Flow approach
A Iliasov
International Workshop on Software Engineering for Resilient Systems, 9-23, 2011
332011
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
302012
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
302011
Modal systems: Specification, refinement and realisation
FL Dotti, A Iliasov, L Ribeiro, A Romanovsky
International Conference on Formal Engineering Methods, 601-619, 2009
272009
Exception handling in coordination-based mobile environments
A Iliasov, A Romanovsky
29th Annual International Computer Software and Applications Conference …, 2005
272005
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
252013
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
252013
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
242010
SafeCap domain language for reasoning about safety and capacity
A Iliasov, A Romanovsky
2012 Workshop on Dependable Transportation Systems/Recent Advances in …, 2012
232012
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
222006
Cama: Structured coordination space and exception propagation mechanism for mobile agents
A Iliasov, A Romanovsky
ECOOP Workshop, 75, 2005
222005
On Event-B and control flow
A Iliasov
DEPLOY Project, 2009
212009
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
202006
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
192013
Refinement patterns for rapid development of dependable systems
A Iliasov
Proceedings of the 2007 workshop on Engineering fault tolerant systems, 10-es, 2007
192007
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
182007
A survey on Event-B decomposition
TS Hoang, A Iliasov, RA Silva, W Wei
Electronic Communications of the EASST 46, 2011
162011
Structuring specifications with modes
A Iliasov, A Romanovsky, FL Dotti
2009 Fourth Latin-American Symposium on Dependable Computing, 81-88, 2009
162009
The system can't perform the operation now. Try again later.
Articles 1–20