Biblio

Export 5 results:

Filters: Author is Alexander Romanovsky [Clear All Filters]

2012

Romanovsky, Alexander. "Deployment of Formal Methods in Industry: the Legacy of the FP7 ICT DEPLOY Integrated Project." ACM SIGSOFT Software Engineering Notes 37, no. 5 (2012): 1-4.

Gorbenko, Anatoliy, Vyacheslav Kharchenko, Olga Tarasyuk, and Alexander Romanovsky. "Intrusion-Avoidance via System Diversity." Information & Security: An International Journal 28, no. 1 (2012): 154-158.

2010

Iliasov, Alexei, Elena Troubitsyna, Linas Laibinis, Alexander Romanovsky, Kimmo Varpaaniemi, Dubravka Ilic, and Timo Latvala. "Developing Mode-Rich Satellite Software by Refinement in Event-B." In Formal Methods for Industrial Critical Systems, FMICS 2010. Springer, 2010.

2006

Butler, Michael, Cliff B. Jones, Alexander Romanovsky, and Elena Troubitsyna. Rigorous Development of Complex Fault-Tolerant Systems. Berlin: Springer, 2006.

2004

Gorbenko, Anatoly, Peter Popov, Alexander Romanovsky, Artem Boyarchuk, and Vyacheslav Kharchenko. "Development of Dependable Web Services out of Undependable Web Components(link is external)." Technical Report CS-TR (Newcastle: School of Computing Science (2004).