Staff - Computing Science - Newcastle University

You are here: Newcastle University
» Computing Science
» Staff

Dr Alexei Iliasov
Research Associate

Email: alexei.iliasov@ncl.ac.uk
Telephone: +44 (0) 191 222 5993

Publications

Laibinis L, Troubitsyna E, Iliasov A, Romanovsky A. Formal Approach to Ensuring Interoperability of Mobile Agents. In: Alencar, P; Cowan. D, ed. Handbook of Research on Mobile Software Engineering: Design Implementation and Emergent Applications. IGI Global, 2012. In Press.
Mazzara M, Jones C, Iliasov A. Lessons from DEPLOYment. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2012. School of Computing Science Technical Report Series 1309.
Iliasov A, Laibinis L, Troubitsyna E, Romanovsky A. Formal Derivation of a Distributed Program in Event B. In: 13th International Conference on Formal Engineering Methods (ICFEM). 2011, Durham, UK: Springer.
Grotsev D, Iliasov A, Romanovsky A. Formal Stepwise Development of Scalable and Reliable Multiagent Systems. In: Petre, L; Sere, K; Troubitsyna, E, ed. Dependability and Computer Engineering: Concepts for Software-Intensive Systems. Hershey, PA: IGI Global, 2011, pp.58-74.
Lopatkin I, Iliasov A, Romanovsky A, Prokhorova Y, Troubitsyna E. Patterns for Representing FMEA in Formal Specification of Control Systems. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2011. School of Computing Science Technical Report Series 1261.
Lopatkin I, Iliasov A, Romanovsky A, Prokhorova Y, Troubitsyna Y. Patterns for Representing FMEA in Formal Specification of Control Systems. In: 13th IEEE International Symposium on High-Assurance Systems Engineering, HASE 2011. 2011, Boca Raton, Florida, USA: IEEE.
Lopatkin I, Iliasov A, Romanovsky A. Rigorous Development of Dependable Systems using Fault Tolerance Views. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2011. School of Computing Science Technical Report Series 1234.
Lopatkin I, Iliasov A, Romanovsky A. Rigorous Development of Dependable Systems using Fault Tolerance Views. In: 22nd IEEE International Symposium on Software Reliability Engineering (ISSRE). 2011, Hiroshima, Japan: IEEE.
Iliasov A, Troubitsyna E, Laibinis L, Romanovsky A, Varpaaniemi K, Ilic D, Latvala T. Developing Mode-Rich Satellite Software by Refinement in Event B. In: Formal Methods for Industrial Critical Systems: 15th International Workshop (FMICS). 2010, Antwerp, Belgium: Springer.
Iliasov A, Troubitsyna E, Laibinis L, Romanovsky A. Patterns for Refinement Automation. In: Formal Methods for Components and Objects: 8th International Symposium (FMCO 2009). 2010, Eindhoven, The Netherlands: Springer.
Iliasov A, Troubitsyna E, Laibinis L, Romanovsky A. Patterns for Refinement Automation. In: Formal Methods for Components and Objects: 8th International Symposium (FMCO). 2010, Eindhoven, Netherlands: Springer.
Iliasov A, Troubitsyna E, Laibinis L, Romanovsky A, Varpaaniemi K, Ilic D, Latvala T. Supporting Reuse in Event B Development: Modularisation Approach. In: Abstract State Machines, Alloy, B and Z: Second International Conference (ABZ). 2010, Orford, QC, Canada: Springer.
Iliasov A, Troubitsyna E, Laibinis L, Romanovsky A, Varpaaniemi K, Vaisanen P, Ilic D, Latvala T. Verifying Mode Consistency for On-Board Satellite Software. In: 29th International Conference on Computer Safety, Reliability and Security (SAFECOMP). 2010, Vienna, Austria: Springer.
Dotti F, Iliasov A, Ribeiro L, Romanovsky A. Modal systems: Specification, refinement and realisation. In: Formal Methods and Software Engineering: 11th International Conference on Formal Engineering Methods (ICFEM). 2009, Springer.
Dotti FL, Iliasov A, Ribeiro L, Romanovsky A. Modal Systems: Specification, Refinement and Realisation. In: Formal Methods and Software Engineering: 11th International Conference on Formal Engineering Methods (ICFEM). 2009, Rio de Janeiro, Brazil: Springer.
Iliasov A. Refinement patterns for rapid development of dependable systems. In: Proceedings of the Workshop on Engineering Fault Tolerant Systems (EFTS). 2007, Dubrovnik, Croatia: ACM Press.
Arief B, Iliasov A, Romanovsky A. On using the CAMA framework for developing open mobile fault tolerant agent systems. In: Proceedings of the International Conference on Software Engineering. 2006, Shanghai, China: ACM Press.

Report a problem with this web page

Newcastle University

Computing Science

Dr Alexei Iliasov Research Associate

Dr Alexei Iliasov
Research Associate