Alexei Iliasov
Alexei Iliasov
Newcastle University, School of Computing Science
E-mail confirmado em newcastle.ac.uk
Título
Citado por
Citado por
Ano
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
752010
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
412010
Use case scenarios as verification conditions: Event-B/Flow approach
A Iliasov
International Workshop on Software Engineering for Resilient Systems, 9-23, 2011
342011
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
322012
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
322011
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
262013
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
252010
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
242013
SafeCap domain language for reasoning about safety and capacity
A Iliasov, A Romanovsky
2012 Workshop on Dependable Transportation Systems/Recent Advances in …, 2012
242012
Cama: Structured coordination space and exception propagation mechanism for mobile agents
A Iliasov, A Romanovsky
ECOOP Workshop, 75, 2005
242005
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
232006
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
222006
On Event-B and control flow
A Iliasov
DEPLOY Project, 2009
212009
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
202013
A survey on Event-B decomposition
TS Hoang, A Iliasov, RA Silva, W Wei
Electronic Communications of the EASST 46, 2011
202011
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
On fault tolerance reuse during refinement
I Lopatkin, A Iliasov, A Romanovsky
Proceedings of the 2nd International Workshop on Software Engineering for …, 2010
162010
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20