Folgen
Alexei Iliasov
Alexei Iliasov
Newcastle University, School of Computing Science
Bestätigte E-Mail-Adresse bei newcastle.ac.uk
Titel
Zitiert von
Zitiert von
Jahr
Supporting reuse in Event B development: modularisation approach
A Iliasov, E Troubitsyna, L Laibinis, A Romanovsky, K Varpaaniemi, D Ilic, ...
Abstract State Machines, Alloy, B and Z: Second International Conference …, 2010
912010
Developing mode-rich satellite software by refinement in event b
A Iliasov, E Troubitsyna, L Laibinis, A Romanovsky, K Varpaaniemi, D Ilic, ...
Formal Methods for Industrial Critical Systems: 15th International Workshop …, 2010
512010
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
402012
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
402011
Use case scenarios as verification conditions: Event-B/Flow approach
A Iliasov
International Workshop on Software Engineering for Resilient Systems, 9-23, 2011
342011
The SafeCap platform for modelling railway safety and capacity
A Iliasov, I Lopatkin, A Romanovsky
Computer Safety, Reliability, and Security: 32nd International Conference …, 2013
312013
Exception handling in coordination-based mobile environments
A Iliasov, A Romanovsky
29th Annual International Computer Software and Applications Conference …, 2005
312005
SafeCap domain language for reasoning about safety and capacity
A Iliasov, A Romanovsky
2012 Workshop on Dependable Transportation Systems/Recent Advances in …, 2012
292012
Verifying mode consistency for on-board satellite software
A Iliasov, E Troubitsyna, L Laibinis, A Romanovsky, K Varpaaniemi, ...
Computer Safety, Reliability, and Security: 29th International Conference …, 2010
282010
Modal systems: Specification, refinement and realisation
FL Dotti, A Iliasov, L Ribeiro, A Romanovsky
International Conference on Formal Engineering Methods, 601-619, 2009
282009
Cama: Structured coordination space and exception propagation mechanism for mobile agents
A Iliasov, A Romanovsky
School of Computing Science Technical Report Series, 2005
282005
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
272013
A survey on Event-B decomposition
TS Hoang, A Iliasov, RA Silva, W Wei
Electronic Communications of the EASST 46, 2011
262011
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
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
252006
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
232015
On Event-B and control flow
A Iliasov
School of Computing Science Technical Report Series, 2009
232009
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
Refinement patterns for rapid development of dependable systems
A Iliasov
Proceedings of the 2007 workshop on Engineering fault tolerant systems, 10-es, 2007
212007
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
212007
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20