Transparent structurization of parallel processes for backward recovery. - Alexander B. Romanovsky; I. V. Sturtz (SPDP, 1990)

Synchronization as a framework for distributed system fault-tolerance design. - Alexander B. Romanovsky (ACM SIGOPS European Workshop, 1992)

Designing Fault-Tolerant Objects in Object-Oriented Programming. - Alexander B. Romanovsky; I. V. Shturtz; V. R. Vassilyev (TOOLS (7), 1992)

Fault Tolerance: Synchronization of Redundancy. - Alexander B. Romanovsky (ACM SIGOPS Oper. Syst. Rev., 1993)

The problems of designing a conversation scheme for concurrent object oriented languages. - Alexander B. Romanovsky (Microprocess. Microprogramming, 1994)

About Conversations for Concurrent OO Languages. - Alexander B. Romanovsky (ACM SIGPLAN Notices, 1994)

Fault Tolerance in Concurrent Object-Oriented Software Through Coordinated Error Recovery. - Jie Xu 007; Brian Randell; Alexander B. Romanovsky; Cecília M. F. Rubira; Robert J. Stroud; Zhixue Wu (FTCS, 1995)

Conversations of Objects. - Alexander B. Romanovsky (Comput. Lang., 1995)

Backward error recovery via conversations in Ada. - Alexander B. Romanovsky; Lorenzo Strigini (Softw. Eng. J., 1995)

How to make a recoverable server by synchronization code inheriting. - Alexander B. Romanovsky (OOPS Messenger, 1995)

Software Diversity as a Way to Well-Structured Concurrent Software. - Alexander B. Romanovsky (ACM SIGOPS Oper. Syst. Rev., 1995)

Exception Handling and Resolution in Distributed Object-oriented Systems. - Jie Xu 007; Alexander B. Romanovsky; Brian Randell (ICDCS, 1996)

Application specific conversation schemes for ADA programs. - Alexander B. Romanovsky (Microprocess. Microprogramming, 1996)

On Programming Atomic Actions in Ada 95. - Alexander B. Romanovsky; Stuart E. Mitchell; Andy J. Wellings (Ada-Europe, 1997)

Practical Exception Handling and Resolution in Concurrent Programs. - Alexander B. Romanovsky (Comput. Lang., 1997)

Coordinated backward between client processes and data servers. - Lorenzo Strigini; Felicita Di Giandomenico; Alexander B. Romanovsky (IEE Proc. Softw. Eng., 1997)

Implementation of blocking coordinated atomic actions based on forward error recovery. - Alexander B. Romanovsky; Brian Randell; Robert J. Stroud; Jie Xu 007; Avelino Francisco Zorzo (J. Syst. Archit., 1997)

Conversational Group Service. - Alexander B. Romanovsky (ACM SIGOPS Oper. Syst. Rev., 1997)

On Distribution of Coordinated Atomic Actions. - Alexander B. Romanovsky; Avelino F. Zorzo (ACM SIGOPS Oper. Syst. Rev., 1997)

Coordinated Exception Handling in Distributed Object Systems: From Model to System Implementation. - Jie Xu 007; Alexander B. Romanovsky; Brian Randell (ICDCS, 1998)

Coordinated Atomic Actions in Modelling Objects Cooperation. - Rogério de Lemos; Alexander B. Romanovsky (ISORC, 1998)

Exception Handling in Object-Oriented Real-Time Distributed Systems. - Alexander B. Romanovsky; Jie Xu 007; Brian Randell (ISORC, 1998)

Distributed Atomic Actions in Ada 95. - Stuart E. Mitchell; Andy J. Wellings; Alexander B. Romanovsky (Comput. J., 1998)

A study of atomic action schemes intended for standard Ada. - Alexander B. Romanovsky (J. Syst. Softw., 1998)

Rigorous Development of a Safety-Critical System Based on Coordinated Atomic Actions. - Jie Xu 007; Brian Randell; Alexander B. Romanovsky; Robert J. Stroud; Avelino F. Zorzo; Ercument Canver; Friedrich W. von Henke (FTCS, 1999)

Formal Development and Validation of Java Dependable Distributed Systems. - Giovanna Di Marzo Serugendo; Nicolas Guelfi; Alexander B. Romanovsky; Avelino F. Zorzo (ICECCS, 1999)

Engineering Look-ahead in Distributed Conversations. - Paul D. Ezhilchelvan; Alexander B. Romanovsky (ISADS, 1999)

Exception Handling in a Cooperative Object-Oriented Approach. - Rogério de Lemos; Alexander B. Romanovsky (ISORC, 1999)

Choosing Effective Methods for Design Diversity - How to Progress from Intuition to Science. - Peter T. Popov; Lorenzo Strigini; Alexander B. Romanovsky (SAFECOMP, 1999)

Abstract Object State and Version Recovery in N-Version Programming. - Alexander B. Romanovsky (TOOLS (29), 1999)

On Structuring Cooperative and Competitive Concurrent Systems. - Alexander B. Romanovsky (Comput. J., 1999)

Coordinated atomic actions as a technique for implementing distributed gamma computation. - Alexander B. Romanovsky; Avelino Francisco Zorzo (J. Syst. Archit., 1999)

Class diversity support in object-oriented languages. - Alexander B. Romanovsky (J. Syst. Softw., 1999)

Using Coordinated Atomic Actions to Design Safety-Critical Systems: a Production Cell Case Study. - Avelino F. Zorzo; Alexander B. Romanovsky; Jie Xu 007; Brian Randell; Robert J. Stroud; Ian Welch (Softw. Pract. Exp., 1999)

On Persistent and Reliable Streaming in Ada. - Jörg Kienzle; Alexander B. Romanovsky (Ada-Europe, 2000)

Using COALA to Develop a Distributed Object-Based Application. - Julie Vachon; Nicolas Guelfi; Alexander B. Romanovsky (DOA, 2000)

Exception Handling in Object Oriented Systems. - Alexander B. Romanovsky; Christophe Dony; Jørgen Lindskov Knudsen; Anand Tripathi (ECOOP Workshops, 2000)

Supporting Evolution of Interface Exceptions. - Anna Mikhailova; Alexander B. Romanovsky (Advances in Exception Handling Techniques, 2000)

Action-Oriented Exception Handling in Cooperative and Competitive Concurrent Object-Oriented Systems. - Alexander B. Romanovsky; Jörg Kienzle (Advances in Exception Handling Techniques, 2000)

On developing and verifying design abstractions for reliable concurrent programming in Ada. - Alan Burns 001; Andy J. Wellings; Albert Koelmans; Maciej Koutny; Alexander B. Romanovsky; Alexandre Yakovlev (IRTAW, 2000)

Combining tasking and transactions, part II: open multithreaded transactions. - Jörg Kienzle; Alexander B. Romanovsky (IRTAW, 2000)

An Exception Handling Framework for N-Version Programming in Object-Oriented Systems. - Alexander B. Romanovsky (ISORC, 2000)

Faulty version recovery in object-oriented N-version programming. - Alexander B. Romanovsky (IEE Proc. Softw., 2000)

Extending conventional languages by distributed/concurrent exception resolution. - Alexander B. Romanovsky (J. Syst. Archit., 2000)

An Application of Fault Tolerance Patterns and Coordinated Atomic Actions to a Problem in Railway Scheduling. - Delano M. Beder; Alexander B. Romanovsky; Brian Randell; C. Richard Snow; Robert J. Stroud (ACM SIGOPS Oper. Syst. Rev., 2000)

Concurrent Exception Handling and Resolution in Distributed Object Systems. - Jie Xu 007; Alexander B. Romanovsky; Brian Randell (IEEE Trans. Parallel Distributed Syst., 2000)

Guest Editors' Introduction - Current Trends in Exception Handling. - Dewayne E. Perry; Alexander B. Romanovsky; Anand Tripathi (IEEE Trans. Software Eng., 2000)

Transaction Support for Ada. - Jörg Kienzle; Ricardo Jiménez-Peris; Alexander B. Romanovsky; Marta Patiño-Martínez (Ada-Europe, 2001)

Exception Handling in Component-Based System Development. - Alexander B. Romanovsky (COMPSAC, 2001)

7th Workshop on Mobile Object Systems. - Ciarán Bryce; Alexander B. Romanovsky (ECOOP Workshops, 2001)

An Evolutionary and Adaptive Approach for n-Version Programming. - Karl-Erwin Großpietsch; Alexander B. Romanovsky (EUROMICRO, 2001)

On Systematic Design of Protectors for Employing OTS Items. - Peter T. Popov; Lorenzo Strigini; Steve Riddle; Alexander B. Romanovsky (EUROMICRO, 2001)

On Applying Coordinated Atomic Actions and Dependable Software Architectures for Developing Complex Systems. - Delano M. Beder; Cecília M. F. Rubira; Brian Randell; Alexander B. Romanovsky (ISORC, 2001)

Aspects of Exceptions at the Meta-level. - Ian Welch; Robert J. Stroud; Alexander B. Romanovsky (Reflection, 2001)

Looking Ahead in Atomic Actions with Exception Handling. - Alexander B. Romanovsky (SRDS, 2001)

Open Multithreaded Transactions: Keeping Threads and Exceptions under Control. - Jörg Kienzle; Alfred Strohmeier; Alexander B. Romanovsky (WORDS, 2001)

Modelling and verification of an atomic action protocol implemented in Ada. - Alan Burns 001; Andy J. Wellings; Frank P. Burns; Albert Koelmans; Maciej Koutny; Alexander B. Romanovsky; Alexandre Yakovlev (Comput. Syst. Sci. Eng., 2001)

Exception handling in the software lifecycle. - Rogério de Lemos; Alexander B. Romanovsky (Comput. Syst. Sci. Eng., 2001)

A distributed coordinated atomic action scheme. - Alexander B. Romanovsky; Avelino F. Zorzo (Comput. Syst. Sci. Eng., 2001)

Conversations with fixed and potential participants. - Alexander B. Romanovsky; Paul D. Ezhilchelvan (J. Syst. Archit., 2001)

A comparative study of exception handling mechanisms for building dependable object-oriented software. - Alessandro F. Garcia 001; Cecília M. F. Rubira; Alexander B. Romanovsky; Jie Xu 007 (J. Syst. Softw., 2001)

Coordinated atomic actions: how to remain ACID in the modern world. - Alexander B. Romanovsky (ACM SIGSOFT Softw. Eng. Notes, 2001)

A Structured Approach to Handling On-Line Interface Upgrades. - Cliff B. Jones; Alexander B. Romanovsky; Ian Welch (COMPSAC, 2002)

Dependable On-Line Upgrading of Distributed Systems. - Alexander B. Romanovsky; Iain Smith (COMPSAC, 2002)

Structured Handling of Online Interface Upgrades in Integrating Dependable Systems of Systems. - Cliff B. Jones; Panayiotis Periorellis; Alexander B. Romanovsky; Ian Welch (FIDJI, 2002)

Designing Fault-Tolerant Mobile Systems. - Giovanna Di Marzo Serugendo; Alexander B. Romanovsky (FIDJI, 2002)

ICSE 2002 workshop on architecting dependable systems. - Rogério de Lemos; Cristina Gacek; Alexander B. Romanovsky (ICSE, 2002)

Architectural Mismatch Tolerance. - Rogério de Lemos; Cristina Gacek; Alexander B. Romanovsky (WADS, 2002)

Dependability in the Web Services Architecture. - Ferda Tartanoglu; Valérie Issarny; Alexander B. Romanovsky; Nicole Lévy (WADS, 2002)

A Generic Approach to Structuring and Implementing Complex Fault-Tolerant Software. - Jie Xu 007; Brian Randell; Alexander B. Romanovsky (Symposium on Object-Oriented Real-Time Distributed Computing, 2002)

Auction System Design Using Open Multithreaded Transactions. - Jörg Kienzle; Alfred Strohmeier; Alexander B. Romanovsky (WORDS, 2002)

On version state recovery and adjudication in class diversity. - Alexander B. Romanovsky (Comput. Syst. Sci. Eng., 2002)

Framework based on design patterns for providing persistence in object-oriented programming languages. - Jörg Kienzle; Alexander B. Romanovsky (IEE Proc. Softw., 2002)

Rigorous Development of an Embedded Fault-Tolerant System Based on Coordinated Atomic Actions. - Jie Xu 007; Brian Randell; Alexander B. Romanovsky; Robert J. Stroud; Avelino F. Zorzo; Ercument Canver; Friedrich W. von Henke (IEEE Trans. Computers, 2002)

Transactions and Groups as Generic Building Blocks for Software Fault Tolerance. - Marta Patiño-Martínez; Ricardo Jiménez-Peris; Alexander B. Romanovsky (Ada-Europe, 2003)

Exception Handling in Object Oriented Systems: Towards Emerging Application Areas and New Programming Paradigms. - Alexander B. Romanovsky; Christophe Dony; Anand Tripathi; Jørgen Lindskov Knudsen (ECOOP Workshops, 2003)

Protective Wrapper Development: A Case Study. - Tom Anderson 001; Mei Feng; Steve Riddle; Alexander B. Romanovsky (ICCBSS, 2003)

A Dependable Architecture for COTS-Based Software Systems Using Protective Wrappers. - Paulo Asterio de Castro Guerra; Cecília M. F. Rubira; Alexander B. Romanovsky; Rogério de Lemos (WADS, 2003)

Software Engineering for Large-Scale Multi-Agent Systems - SELMAS'2003. - Carlos José Pereira de Lucena; José Alberto R. P. Sardinha; Alessandro F. Garcia 001; Alexander B. Romanovsky; Jaelson Castro; Paulo S. C. Alencar; Donald D. Cowan (ICSE, 2003)

Structuring Integrated Web Applications for Fault Tolerance. - Alexander B. Romanovsky; Panos Periorellis; Avelino F. Zorzo (ISADS, 2003)

Integrating COTS Software Components into Dependable Software Architectures. - Paulo Asterio de Castro Guerra; Alexander B. Romanovsky; Rogério de Lemos (ISORC, 2003)

A fault-tolerant software architecture for COTS-based software systems. - Paulo Asterio de Castro Guerra; Cecília M. F. Rubira; Alexander B. Romanovsky; Rogério de Lemos (ESEC / SIGSOFT FSE, 2003)

Coordinated Forward Error Recovery for Composite Web Services. - Ferda Tartanoglu; Valérie Issarny; Alexander B. Romanovsky; Nicole Lévy (SRDS, 2003)

Using Co-ordinated Atomic Actions for Building Complex Web Applications: A Learning Experience. - Avelino F. Zorzo; Panayiotis Periorellis; Alexander B. Romanovsky (WORDS, 2003)

Software engineering for large-scale multi-agent systems: SELMAS 2003: workshop report. - Alessandro Garcia 001; José Alberto R. P. Sardinha; Carlos José Pereira de Lucena; Jaelson Brelaz de Castro; Julio César Sampaio do Prado Leite; Ruy Luiz Milidiú; Alexander B. Romanovsky; Martin L. Griss; Rogério de Lemos; Anna Perini (ACM SIGSOFT Softw. Eng. Notes, 2003)

ICSE 2003 workshop on software architectures for dependable systems. - Rogério de Lemos; Cristina Gacek; Alexander B. Romanovsky (ACM SIGSOFT Softw. Eng. Notes, 2003)

Towards an Engineering Approach to Component Adaptation. - Steffen Becker 001; Antonio Brogi; Ian Gorton; Sven Overhage; Alexander B. Romanovsky; Massimo Tivoli (Architecting Systems with Trustworthy Components, 2004)

Twin Workshops on Architecting Dependable Systems (WADS 2004). - Rogério de Lemos; Cristina Gacek; Alexander B. Romanovsky (DSN, 2004)

Software Engineering for Large-Scale Multi-agent Systems - SELMAS'04. - Ricardo Choren; Alessandro F. Garcia 001; Carlos José Pereira de Lucena; Martin L. Griss; David Chenho Kung; Naftaly H. Minsky; Alexander B. Romanovsky (ICSE, 2004)

Dependable Composite Web Services with Components Upgraded Online. - Anatoliy Gorbenko; Vyacheslav S. Kharchenko; Peter T. Popov; Alexander B. Romanovsky (WADS, 2004)

Wrapping the future. - Tom Anderson 001; Brian Randell; Alexander B. Romanovsky (IFIP Congress Topical Sessions, 2004)

Software engineering for large-scale multi-agent systems - SELMAS 2004: workshop report. - Ricardo Choren; Alessandro Garcia 001; Carlos José Pereira de Lucena; Martin L. Griss; David Chenho Kung; Naftaly H. Minsky; Alexander B. Romanovsky; Jaelson Brelaz de Castro; Rogério de Lemos; Danny Weyns (ACM SIGSOFT Softw. Eng. Notes, 2004)

Exception Handling in Coordination-Based Mobile Environments. - Alexei Iliasov; Alexander B. Romanovsky (COMPSAC (1), 2005)

Workshop on architecting dependable systems (WADS 2005). - Rogério de Lemos; Alexander B. Romanovsky (ICSE, 2005)

Error Recovery for a Boiler System with OTS PID Controller. - Tom Anderson 001; Mei Feng; Steve Riddle; Alexander B. Romanovsky (WORDS, 2005)

The Atomic Manifesto. - Cliff B. Jones; David B. Lomet; Alexander B. Romanovsky; Gerhard Weikum (J. Univers. Comput. Sci., 2005)

The atomic manifesto: a story in four quarks. - Cliff B. Jones; David B. Lomet; Alexander B. Romanovsky; Gerhard Weikum; Alan D. Fekete; Marie-Claude Gaudel; Henry F. Korth; Rogério de Lemos; J. Eliot B. Moss; Ravi Rajwar; Krithi Ramamritham; Brian Randell; et al. (SIGMOD Rec., 2005)

Software Engineering for Large-Scale Multi-Agent Systems - SELMAS 2005: workshop report. - Alessandro Garcia 001; Ricardo Choren; Carlos José Pereira de Lucena; Alexander B. Romanovsky; Holger Giese; Danny Weyns; Tom Holvoet; Paolo Giorgini (ACM SIGSOFT Softw. Eng. Notes, 2005)

Software engineering for large-scale multi-agent systems - SELMAS'05. - Alessandro Garcia 001; Ricardo Choren; Carlos José Pereira de Lucena; Alexander B. Romanovsky; Tom Holvoet; Paolo Giorgini (ACM SIGSOFT Softw. Eng. Notes, 2005)

ICSE 2004 workshop on architecting dependable systems. - Rogério de Lemos; Cristina Gacek; Alexander B. Romanovsky (ACM SIGSOFT Softw. Eng. Notes, 2005)

ICSE 2005 Workshop on Architecting Dependable Systems (WADS 2005). - Rogério de Lemos; Alexander B. Romanovsky (ACM SIGSOFT Softw. Eng. Notes, 2005)

06121 Executive Summary – Atomicity: A Unifying Concept in Computer Science. - Gerhard Weikum; Cliff B. Jones; David B. Lomet; Alexander B. Romanovsky (Atomicity: A Unifying Concept in Computer Science, 2006)

06121 Abstracts Collection – Atomicity: A Unifying Concept in Computer Science. - Gerhard Weikum; Cliff B. Jones; David B. Lomet; Alexander B. Romanovsky (Atomicity: A Unifying Concept in Computer Science, 2006)

Workshop on Architecting Dependable Systems (WADS). - Rogério de Lemos; Cristina Gacek; Alexander B. Romanovsky (DSN, 2006)

Structured Coordination Spaces for Fault Tolerant Mobile Agents. - Alexei Iliasov; Alexander B. Romanovsky (Advanced Topics in Exception Handling Techniques, 2006)

Fifth workshop on software engineering for large-scale multi-agent systems (SELMAS). - Ricardo Choren; Ho-fung Leung; Alessandro F. Garcia 001; Carlos José Pereira de Lucena; Holger Giese; Alexander B. Romanovsky (ICSE, 2006)

Measuring the Dependability of Web Services for Use in e-Science Experiments. - Peter Li; Yuhui Chen; Alexander B. Romanovsky (ISAS, 2006)

Looking Ahead in Open Multithreaded Transactions. - Maxime Monod; Jörg Kienzle; Alexander B. Romanovsky (ISORC, 2006)

CAA-DRIP: a framework for implementing Coordinated Atomic Actions. - Alfredo Capozucca; Nicolas Guelfi; Patrizio Pelliccione; Alexander B. Romanovsky; Avelino F. Zorzo (ISSRE, 2006)

A modular implementation framework for code mobility. - Cidiane Lobato; Alessandro Garcia 001; Carlos Lucena; Alexander B. Romanovsky (Mobility Conference, 2006)

On Specification and Verification of Location-Based Fault Tolerant Mobile Systems. - Alexei Iliasov; Victor Khomenko; Maciej Koutny; Alexander B. Romanovsky (RODIN Book, 2006)

Rigorous Development of Fault-Tolerant Agent Systems. - Linas Laibinis; Elena Troubitsyna; Alexei Iliasov; Alexander B. Romanovsky (RODIN Book, 2006)

Verification of coordinated exception handling. - Fernando Castor Filho; Alexander B. Romanovsky; Cecília M. F. Rubira (SAC, 2006)

Editorial message: special track on dependable and adaptive distributed systems. - Karl M. Göschka; Svein O. Hallsteinsen; Rui Oliveira 001; Alexander B. Romanovsky (SAC, 2006)

On Developing Open Mobile Fault Tolerant Agent Systems. - Budi Arief; Alexei Iliasov; Alexander B. Romanovsky (SELMAS (LNCS), 2006)

On using the CAMA framework for developing open mobile fault tolerant agent systems. - Budi Arief; Alexei Iliasov; Alexander B. Romanovsky (SELMAS, 2006)

Exception Handling in Context-Aware Agent Systems: A Case Study. - Nélio Cacho; Karla Damasceno; Alessandro F. Garcia 001; Alexander B. Romanovsky; Carlos José Pereira de Lucena (SELMAS (LNCS), 2006)

Introduction to the SELMAS 2006. - Ricardo Choren; Ho-fung Leung; Alessandro F. Garcia 001; Carlos Lucena; Holger Giese; Alexander B. Romanovsky (SELMAS, 2006)

Context-aware exception handling in mobile agent systems: the MoCA case. - Karla Damasceno; Nélio Cacho; Alessandro F. Garcia 001; Alexander B. Romanovsky; Carlos Lucena (SELMAS, 2006)

Architecting dependable systems. - Rogério de Lemos; Cristina Gacek; Alexander B. Romanovsky (J. Syst. Softw., 2006)

Software engineering for large-scale multi-agent systems - SELMAS 2006: workshop report. - Alessandro Garcia 001; Holger Giese; Alexander B. Romanovsky; Ricardo Choren; Ho-fung Leung; Carlos José Pereira de Lucena; Florian Klein 001; Eric Platon (ACM SIGSOFT Softw. Eng. Notes, 2006)

A Framework for Open Distributed System Design. - Alexei Iliasov; Alexander B. Romanovsky; Budi Arief (COMPSAC (2), 2007)

On Exceptions, Exception Handling, Requirements and Software Lifecycle. - Alexander B. Romanovsky (HASE, 2007)

On Rigorous Design and Implementation of Fault Tolerant Ambient Systems. - Alexei Iliasov; Alexander B. Romanovsky; Budi Arief; Linas Laibinis; Elena Troubitsyna (ISORC, 2007)

Coordinated Atomic Actions for Dependable Distributed Systems: the Current State in Concepts, Semantics and Verification Means. - Barbara Gallina; Nicolas Guelfi; Alexander B. Romanovsky (ISSRE, 2007)

A metadata-based architectural model for dynamically resilient systems. - Giovanna Di Marzo Serugendo; John S. Fitzgerald; Alexander B. Romanovsky; Nicolas Guelfi (SAC, 2007)

EFTS 2007: the 2nd international workshop on engineering fault tolerant systems. - Nicolas Guelfi; Henry Muccini; Patrizio Pelliccione; Alexander B. Romanovsky (ESEC/SIGSOFT FSE, 2007)

Architecting Fault Tolerant Systems. - Henry Muccini; Patrizio Pelliccione; Alexander B. Romanovsky (WICSA, 2007)

On composing Dependable Web Services using undependable web components. - Anatoliy Gorbenko; Vyacheslav S. Kharchenko; Alexander B. Romanovsky (Int. J. Simul. Process. Model., 2007)

A looming fault tolerance software crisis? - Alexander B. Romanovsky (ACM SIGSOFT Softw. Eng. Notes, 2007)

How to Enhance UDDI with Dependability Capabilities. - Anatoliy Gorbenko; Alexander B. Romanovsky; Vyacheslav S. Kharchenko (COMPSAC, 2008)

A Generic Framework for the Engineering of Self-Adaptive and Self-Organising Systems. - Giovanna Di Marzo Serugendo; John S. Fitzgerald; Alexander B. Romanovsky; Nicolas Guelfi (Organic Computing - Controlled Self-organization, 2008)

Refinement Patterns for Fault Tolerant Systems. - Alexei Iliasov; Alexander B. Romanovsky (EDCC, 2008)

MASTAC: new curriculum for master and doctoral studies in critical software and computing. - Vyacheslav Kharchenko; Chris Phillips; Peter T. Popov; Oksana Pomorova; Alexander B. Romanovsky; Elena Troubitsyna (SEESE@ICSE, 2008)

Special track on Dependable and Adaptive Distributed Systems: editorial message. - Karl M. Göschka; Svein O. Hallsteinsen; Rui Oliveira 001; Alexander B. Romanovsky (SAC, 2008)

The threat of uncertainty in service-oriented architecture. - Anatoliy Gorbenko; Vyacheslav S. Kharchenko; Olga Tarasyuk; Yuhui Chen; Alexander B. Romanovsky (SERENE, 2008)

Formal development of cooperative exception handling for mobile agent systems. - Linas Laibinis; Elena Troubitsyna; Alexei Iliasov; Alexander B. Romanovsky (SERENE, 2008)

Experimenting with exception propagation mechanisms in service-oriented architecture. - Anatoliy Gorbenko; Alexander B. Romanovsky; Vyacheslav S. Kharchenko; Alexey Mikhaylichenko (Workshop on Exception Handling, 2008)

Special issue: Engineering Fault Tolerant Systems. - Nicolas Guelfi; Henry Muccini; Patrizio Pelliccione; Alexander B. Romanovsky (Comput. Syst. Sci. Eng., 2008)

DEPLOY: Industrial Deployment of Advanced System Engineering Methods for High Productivity.. - Alexander B. Romanovsky (ERCIM News, 2008)

Improving the Dependability of Web Services Integration. - Yuhui Chen; Alexander B. Romanovsky (IT Prof., 2008)

DEPLOY: industrial deployment of advanced system engineering methods for high productivity and dependability. - Alexander B. Romanovsky (ACM SIGSOFT Softw. Eng. Notes, 2008)

An aspect-oriented software architecture for code mobility. - Cidiane Lobato; Alessandro Garcia 001; Alexander B. Romanovsky; Carlos José Pereira de Lucena (Softw. Pract. Exp., 2008)

Patterns for Refinement Automation. - Alexei Iliasov; Elena Troubitsyna; Linas Laibinis; Alexander B. Romanovsky (FMCO, 2009)

Formal Modelling and Analysis of Business Information Applications with Fault Tolerant Middleware. - Jeremy W. Bryans; John S. Fitzgerald; Alexander B. Romanovsky; Andreas Roth 001 (ICECCS, 2009)

Benchmarking Dependability of a System Biology Application. - Yuhui Chen; Alexander B. Romanovsky; Anatoliy Gorbenko; Vyacheslav S. Kharchenko; Seyran Mamutov; Olga Tarasyuk (ICECCS, 2009)

Modal Systems: Specification, Refinement and Realisation. - Fernando Luís Dotti; Alexei Iliasov; Leila Ribeiro 001; Alexander B. Romanovsky (ICFEM, 2009)

Structuring Specifications with Modes. - Alexei Iliasov; Alexander B. Romanovsky; Fernando Luís Dotti (LADC, 2009)

Frameworks for designing and implementing dependable systems using Coordinated Atomic Actions: A comparative study. - Alfredo Capozucca; Nicolas Guelfi; Patrizio Pelliccione; Alexander B. Romanovsky; Avelino Francisco Zorzo (J. Syst. Softw., 2009)

Improving reliability of cooperative concurrent systems with exception flow analysis. - Fernando Castor Filho; Alexander B. Romanovsky; Cecília M. F. Rubira (J. Syst. Softw., 2009)

Using Inherent Service Redundancy and Diversity to Ensure Web Services Dependability. - Anatoliy Gorbenko; Vyacheslav S. Kharchenko; Alexander B. Romanovsky (Methods, Models and Tools for Fault Tolerance, 2009)

Step-Wise Development of Resilient Ambient Campus Scenarios. - Alexei Iliasov; Budi Arief; Alexander B. Romanovsky (Methods, Models and Tools for Fault Tolerance, 2009)

Supporting Reuse in Event B Development: Modularisation Approach. - Alexei Iliasov; Elena Troubitsyna; Linas Laibinis; Alexander B. Romanovsky; Kimmo Varpaaniemi; Dubravka Ilic; Timo Latvala (ASM, 2010)

Patterns for Modelling Time and Consistency in Business Information Systems. - Jeremy W. Bryans; John S. Fitzgerald; Alexander B. Romanovsky; Andreas Roth 001 (ICECCS, 2010)

MetaSelf: an architecture and a development method for dependable self-* systems. - Giovanna Di Marzo Serugendo; John S. Fitzgerald; Alexander B. Romanovsky (SAC, 2010)

Verifying Mode Consistency for On-Board Satellite Software. - Alexei Iliasov; Elena Troubitsyna; Linas Laibinis; Alexander B. Romanovsky; Kimmo Varpaaniemi; Pauli Väisänen; Dubravka Ilic; Timo Latvala (SAFECOMP, 2010)

On fault tolerance reuse during refinement. - Ilya Lopatkin; Alexei Iliasov; Alexander B. Romanovsky (SERENE, 2010)

Real Distribution of Response Time Instability in Service-Oriented Architecture. - Anatoliy Gorbenko; Vyacheslav S. Kharchenko; Seyran Mamutov; Olga Tarasyuk; Yuhui Chen; Alexander B. Romanovsky (SRDS, 2010)

An Introduction to Software Engineering and Fault Tolerance - Patrizio Pelliccione; Henry Muccini; Nicolas Guelfi; Alexander B. Romanovsky (CoRR, 2010)

Guest Editors' Introduction to the Special Section on Exception Handling: From Requirements to Software Maintenance. - Alessandro Garcia 001; Alexander B. Romanovsky; Valérie Issarny (IEEE Trans. Software Eng., 2010)

Patterns for Representing FMEA in Formal Specification of Control Systems. - Ilya Lopatkin; Alexei Iliasov; Alexander B. Romanovsky; Yuliya Prokhorova; Elena Troubitsyna (HASE, 2011)

Formal Derivation of a Distributed Program in Event B. - Alexei Iliasov; Linas Laibinis; Elena Troubitsyna; Alexander B. Romanovsky (ICFEM, 2011)

Rigorous Development of Dependable Systems Using Fault Tolerance Views. - Ilya Lopatkin; Alexei Iliasov; Alexander B. Romanovsky (ISSRE, 2011)

Using Diversity in Cloud-Based Deployment Environment to Avoid Intrusions. - Anatoliy Gorbenko; Vyacheslav S. Kharchenko; Olga Tarasyuk; Alexander B. Romanovsky (SERENE, 2011)

Preface. - Alexander B. Romanovsky; Cliff B. Jones; Jens Bendisposto; Michael Leuschel (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011)

Exploring Uncertainty of Delays as a Factor in End-to-End Cloud Response Time. - Anatoliy Gorbenko; Vyacheslav S. Kharchenko; Seyran Mamutov; Olga Tarasyuk; Alexander B. Romanovsky (EDCC, 2012)

Augmenting Event-B modelling with real-time verification. - Alexei Iliasov; Alexander B. Romanovsky; Linas Laibinis; Elena Troubitsyna; Timo Latvala (FormSERA@ICSE, 2012)

Dependability of Service-Oriented Computing: Time-Probabilistic Failure Modelling. - Anatoliy Gorbenko; Alexander B. Romanovsky; Vyacheslav S. Kharchenko; Olga Tarasyuk (SERENE, 2012)

Proceedings: Workshop on the experience of and advances in developing dependable systems in Event-B (DS-Event-B 2012) - Fuyuki Ishikawa; Alexander B. Romanovsky (CoRR, 2012)

Deployment of formal methods in industry: the legacy of the FP7 ICT DEPLOY integrated project. - Alexander B. Romanovsky (ACM SIGSOFT Softw. Eng. Notes, 2012)

Integrated Project DEPLOY. - Alexander B. Romanovsky (Industrial Deployment of System Engineering Methods, 2013)

After and Outside DEPLOY: The DEPLOY Ecosystem. - Alexander B. Romanovsky (Industrial Deployment of System Engineering Methods, 2013)

Introduction. - Alexander B. Romanovsky; Martyn Thomas (Industrial Deployment of System Engineering Methods, 2013)

Introducing Formal Methods into Existing Industrial Practices. - Martyn Thomas; Alexander B. Romanovsky (Industrial Deployment of System Engineering Methods, 2013)

Industrial Software Engineering and Formal Methods. - Martyn Thomas; Alexander B. Romanovsky (Industrial Deployment of System Engineering Methods, 2013)

Fault modelling for systems of systems. - Zoe Andrews; John S. Fitzgerald; Richard John Payne; Alexander B. Romanovsky (ISADS, 2013)

The SafeCap Platform for Modelling Railway Safety and Capacity. - Alexei Iliasov; Ilya Lopatkin; Alexander B. Romanovsky (SAFECOMP, 2013)

The SafeCap Project on Railway Safety Verification and Capacity Simulation. - Alexei Iliasov; Ilya Lopatkin; Alexander B. Romanovsky (SERENE, 2013)

Model-based development of fault tolerant systems of systems. - Zoe Andrews; Richard John Payne; Alexander B. Romanovsky; André Didier; Alexandre Mota 001 (SysCon, 2013)

Engineering Resilient Systems: Models, Methods and Tools (Dagstuhl Seminar 13022). - Maritta Heisel; Mohamed Kaâniche; Alexander B. Romanovsky; Elena Troubitsyna (Dagstuhl Reports, 2013)

Time-Outing Internet Services. - Anatoliy Gorbenko; Alexander B. Romanovsky (IEEE Secur. Priv., 2013)

Developing mode-rich satellite software by refinement in Event-B. - Alexei Iliasov; Elena Troubitsyna; Linas Laibinis; Alexander B. Romanovsky; Kimmo Varpaaniemi; Dubravka Ilic; Timo Latvala (Sci. Comput. Program., 2013)

Studying the Interplay of Concurrency, Performance, Energy and Reliability with ArchOn - An Architecture-Open Resource-Driven Cross-Layer Modelling Framework. - Ashur Rafiev; Alexei Iliasov; Alexander B. Romanovsky; Andrey Mokhov; Fei Xia 001; Alexandre Yakovlev (ACSD, 2014)

Practical Formal Methods in Railways - The SafeCap Approach. - Alexei Iliasov; Ilya Lopatkin; Alexander B. Romanovsky (Ada-Europe, 2014)

Rigorous Development of Fault-Tolerant Systems through Co-refinement. - Ilya Lopatkin; Alexander B. Romanovsky (Ada-Europe, 2014)

ArchOn: Architecture-open Resource-driven Cross-layer Modelling Framework. - Ashur Rafiev; Alexei Iliasov; Alexander B. Romanovsky; Andrey Mokhov; Fei Xia 001; Alexandre Yakovlev (ES4CPS@DATE, 2014)

Towards Cloud-Based Software Process Modelling and Enactment. - Sami Alajrami; Alexander B. Romanovsky; Paul Watson 001; Andreas Roth 001 (CloudMDE@MoDELS, 2014)

Advanced Modelling, Simulation and Verification for Future Traffic Regulation Optimisation. - Alexei Iliasov; Roberto Palacin; Alexander B. Romanovsky (SERENE, 2014)

The Tenth European Dependable Computer Conference. - Alexander B. Romanovsky; Marc-Olivier Killijian (CoRR, 2014)

Special issue on Automated Verification of Critical Systems (AVoCS'11). - Cliff B. Jones; Alexander B. Romanovsky (Sci. Comput. Program., 2014)

Science and Practice of Engineering Trustworthy Cyber-Physical Systems (TCPS) (NII Shonan Meeting 2014-14). - Fuyuki Ishikawa; Alexander B. Romanovsky (NII Shonan Meet. Rep., 2014)

Synthesis of Processor Instruction Sets from High-Level ISA Specifications. - Andrey Mokhov; Alexei Iliasov; Danil Sokolov; Maxim Rykunov; Alex Yakovlev; Alexander B. Romanovsky (IEEE Trans. Computers, 2014)

Order Graphs and Cross-Layer Parametric Significance-Driven Modelling. - Ashur Rafiev; Fei Xia 001; Alexei Iliasov; Rem Gensh; Ali Aalsaud; Alexander B. Romanovsky; Alex Yakovlev (ACSD, 2015)

The Impact of Consistency on System Latency in Fault Tolerant Internet Computing. - Olga Tarasyuk; Anatoliy Gorbenko; Alexander B. Romanovsky; Vyacheslav S. Kharchenko; Vitalii Ruban (DAIS, 2015)

A reactive architecture for cloud-based system engineering. - David Adjepon-Yamoah; Alexander B. Romanovsky; Alexei Iliasov (ICSSP, 2015)

A Formal Specification and Prototyping Language for Multi-core System Management. - Alexei Iliasov; Ashur Rafiev; Fei Xia 001; Rem Gensh; Alexander B. Romanovsky; Alexandre Yakovlev (PDP, 2015)

Engineering Cross-Layer Fault Tolerance in Many-Core Systems. - Rem Gensh; Alexander B. Romanovsky; Alex Yakovlev (SERENE, 2015)

From Requirements Engineering to Safety Assurance: Refinement Approach. - Linas Laibinis; Elena Troubitsyna; Yuliya Prokhorova; Alexei Iliasov; Alexander B. Romanovsky (SETTA, 2015)

On structuring holistic fault tolerance. - Rem Gensh; Alexander B. Romanovsky; Alex Yakovlev (MODULARITY, 2016)

Rodin Platform Why3 Plug-In. - Alexei Iliasov; Paulius Stankaitis; David Adjepon-Yamoah; Alexander B. Romanovsky (ABZ, 2016)

Selective abstraction and stochastic methods for scalable power modelling of heterogeneous systems. - Ashur Rafiev; Fei Xia 001; Alexei Iliasov; Rem Gensh; Ali Aalsaud; Alexander B. Romanovsky; Alexandre Yakovlev (FDL, 2016)

Formal Analysis of Railway Signalling Data. - Alexei Iliasov; Alexander B. Romanovsky (HASE, 2016)

Formalisation-Driven Development of Safety-Critical Systems. - Alexei Iliasov; Alexander B. Romanovsky; Elena Troubitsyna; Linas Laibinis (HASE, 2016)

Proving Event-B Models with Reusable Generic Lemmas. - Alexei Iliasov; Paulius Stankaitis; Alexander B. Romanovsky (ICFEM, 2016)

Tracking Dengue Epidemics Using Twitter Content Classification and Topic Modelling. - Paolo Missier; Alexander B. Romanovsky; Tudor Miu; Atinder Pal; Michael Daniilakis; Alessandro F. Garcia 001; Diego Cedrim; Leonardo da Silva Sousa (ICWE Workshops, 2016)

EXE-SPEM: Towards Cloud-based Executable Software Process Models. - Sami Alajrami; Barbara Gallina; Alexander B. Romanovsky (MODELSWARD, 2016)

Software Development in the Post-PC Era: Towards Software Development as a Service. - Sami Alajrami; Alexander B. Romanovsky; Barbara Gallina (PROFES, 2016)

Towards Cloud-Based Enactment of Safety-Related Processes. - Sami Alajrami; Barbara Gallina; Irfan Sljivo; Alexander B. Romanovsky; Petter Isberg (SAFECOMP, 2016)

A Formal Approach to Designing Reliable Advisory Systems. - Luke J. W. Martin; Alexander B. Romanovsky (SERENE, 2016)

Automating Verification of Event-B Models. - Paulius Stankaitis; Alexei Iliasov; David Adjepon-Yamoah; Alexander B. Romanovsky (CoRR, 2016)

Selective Abstraction for Estimating Extra-Functional Properties in Networks-on-Chips Using ArchOn Framework. - Ashur Rafiev; Fei Xia 001; Alexei Iliasov; Alexander B. Romanovsky; Alexandre Yakovlev (ACSD, 2017)

An Approach for Designing Knowledge-Based Systems for High-Integrity Applications. - Luke J. W. Martin; Alexander B. Romanovsky (EDCC, 2017)

Architecting Holistic Fault Tolerance. - Rem Gensh; Ashur Rafiev; Alexander B. Romanovsky; Alessandro F. Garcia 001; Fei Xia 001; Alex Yakovlev (HASE, 2017)

Recruiting from the Network: Discovering Twitter Users Who Can Help Combat Zika Epidemics. - Paolo Missier; Callum McClean; Jonathan Carlton; Diego Cedrim; Leonardo da Silva Sousa; Alessandro F. Garcia 001; Alexandre Plastino 001; Alexander B. Romanovsky (ICWE, 2017)

Experience Report: Study of Vulnerabilities of Enterprise Operating Systems. - Anatoliy Gorbenko; Alexander B. Romanovsky; Olga Tarasyuk; Oleksandr Biloborodov (ISSRE, 2017)

Modelling for Systems with Holistic Fault Tolerance. - Rem Gensh; Ashur Rafiev; Fei Xia 001; Alexander B. Romanovsky; Alex Yakovlev (SERENE, 2017)

Stochastic Activity Networks for the Verification of Knowledge Bases. - Luke J. W. Martin; Alexander B. Romanovsky (SERENE, 2017)

Voltage, Throughput, Power, Reliability, and Multicore Scaling. - Fei Xia 001; Ashur Rafiev; Ali Aalsaud; Mohammed A. Noaman Al-Hayanni; James J. Davis 001; Joshua M. Levine; Andrey Mokhov; Alexander B. Romanovsky; Rishad A. Shafik; Alex Yakovlev; Sheng Yang 003 (Computer, 2017)

Enabling GSD Task Allocation via Cloud-based Software Processes. - Sami Alajrami; Barbara Gallina; Alexander B. Romanovsky (Int. J. Networked Distributed Comput., 2017)

Cost Effective, Reliable and Secure Workflow Deployment over Federated Clouds. - Zhenyu Wen; Jacek Cala; Paul Watson 001; Alexander B. Romanovsky (IEEE Trans. Serv. Comput., 2017)

Osmotic Monitoring of Microservices between the Edge and Cloud. - Arthur Souza 001; Nélio Cacho; Ayman Noor; Prem Prakash Jayaraman; Alexander B. Romanovsky; Rajiv Ranjan 001 (HPCC/SmartCity/DSS, 2018)

DroidEH: An Exception Handling Mechanism for Android Applications. - Juliana Oliveira; Hivana Macedo; Nélio Cacho; Alexander B. Romanovsky (ISSRE, 2018)

Cost-aware Scheduling of Software Processes Execution in the Cloud. - Sami Alajrami; Alexander B. Romanovsky; Barbara Gallina (MODELSWARD, 2018)

Formal Verification of Signalling Programs with SafeCap. - Alexei Iliasov; Dominic Taylor; Linas Laibinis; Alexander B. Romanovsky (SAFECOMP, 2018)

Using Osmotic Services Composition for Dynamic Load Balancing of Smart City Applications. - Arthur Souza 001; Zhenyu Wen; Nélio Cacho; Alexander B. Romanovsky; Philip James 002; Rajiv Ranjan 001 (SOCA, 2018)

Emergent Failures: Rethinking Cloud Reliability at Scale. - Peter Garraghan; Renyu Yang; Zhenyu Wen; Alexander B. Romanovsky; Jie Xu 007; Rajkumar Buyya; Rajiv Ranjan 001 (IEEE Cloud Comput., 2018)

VazaDengue: An information system for preventing and combating mosquito-borne diseases with social networks. - Leonardo da Silva Sousa; Rafael Maiani de Mello; Diego Cedrim; Alessandro Garcia 001; Paolo Missier; Anderson G. Uchôa; Anderson Oliveira; Alexander B. Romanovsky (Inf. Syst., 2018)

Towards industrial application of advanced formal methods for cyber-physical system engineering (NII Shonan Meeting 2018-16). - Fuyuki Ishikawa; Alexander B. Romanovsky; Thierry Lecomte (NII Shonan Meet. Rep., 2018)

Speedup and Power Scaling Models for Heterogeneous Many-Core Systems. - Ashur Rafiev; Mohammed A. Noaman Al-Hayanni; Fei Xia 001; Rishad A. Shafik; Alexander B. Romanovsky; Alex Yakovlev (IEEE Trans. Multi Scale Comput. Syst., 2018)

Quantitative Validation of Formal Domain Models. - Alexei Iliasov; Alexander B. Romanovsky; Linas Laibinis (HASE, 2019)

A Refinement Based Method for Developing Distributed Protocols. - Paulius Stankaitis; Alexei Iliasov; Yamine Aït Ameur; Tsutomu Kobayashi; Fuyuki Ishikawa; Alexander B. Romanovsky (HASE, 2019)

Modelling Hybrid Train Speed Controller using Proof and Refinement. - Paulius Stankaitis; Guillaume Dupont; Neeraj Kumar Singh 001; Yamine Aït Ameur; Alexei Iliasov; Alexander B. Romanovsky (ICECCS, 2019)

A Customisable Pipeline for Continuously Harvesting Socially-Minded Twitter Users. - Flavio Primo; Paolo Missier; Alexander B. Romanovsky; Mickael Figueredo; Nélio Cacho (ICWE, 2019)

Fault tolerant internet computing: Benchmarking and modelling trade-offs between availability, latency and consistency. - Anatoliy Gorbenko; Alexander B. Romanovsky; Olga Tarasyuk (J. Netw. Comput. Appl., 2019)

Formal Distributed Protocol Development for Reservation of Railway Sections. - Paulius Stankaitis; Alexei Iliasov; Tsutomu Kobayashi; Yamine Aït Ameur; Fuyuki Ishikawa; Alexander B. Romanovsky (ABZ, 2020)

Interplaying Cassandra NoSQL Consistency and Performance: A Benchmarking Approach. - Anatoliy Gorbenko; Alexander B. Romanovsky; Olga Tarasyuk (EDCC Workshops, 2020)

Amdahl's law in the context of heterogeneous many-core systems - a survey. - Mohammed A. Noaman Al-Hayanni; Fei Xia 001; Ashur Rafiev; Alexander B. Romanovsky; Rishad A. Shafik; Alex Yakovlev (IET Comput. Digit. Tech., 2020)

PARMA: Parallelization-Aware Run-Time Management for Energy-Efficient Many-Core Systems. - Mohammed A. Noaman Al-Hayanni; Ashur Rafiev; Fei Xia 001; Rishad A. Shafik; Alexander B. Romanovsky; Alex Yakovlev (IEEE Trans. Computers, 2020)

Dynamically Partitioning Workflow over Federated Clouds for Optimising the Monetary Cost and Handling Run-Time Failures. - Zhenyu Wen; Rawaa Qasha; Zequn Li 002; Rajiv Ranjan 001; Paul Watson 001; Alexander B. Romanovsky (IEEE Trans. Cloud Comput., 2020)

GA-Par: Dependable Microservice Orchestration Framework for Geo-Distributed Clouds. - Zhenyu Wen; Tao Lin 004; Renyu Yang; Shouling Ji; Rajiv Ranjan 001; Alexander B. Romanovsky; Chang-Ting Lin; Jie Xu 007 (IEEE Trans. Parallel Distributed Syst., 2020)

From Analyzing Operating System Vulnerabilities to Designing Multiversion Intrusion-Tolerant Architectures. - Anatoliy Gorbenko; Alexander B. Romanovsky; Olga Tarasyuk; Oleksandr Biloborodov (IEEE Trans. Reliab., 2020)

SafeCap: from formal verification of railway interlocking to its certification. - Alexei Iliasov; Dominic Taylor; Linas Laibinis; Alexander B. Romanovsky (CoRR, 2021)

Supporting and Controlling Complex Concurrency in Fault- Tolerant Distributed Systems. - Jie Xu 007; Brian Randell; Alexander B. Romanovsky; Robert J. Stroud; Avelino F. Zorzo (CoRR, 2021)

A refinement-based development of a distributed signalling system. - Paulius Stankaitis; Alexei Iliasov; Tsutomu Kobayashi; Yamine Aït Ameur; Fuyuki Ishikawa; Alexander B. Romanovsky (Formal Aspects Comput., 2021)

Mutation Testing for Rule-Based Verification of Railway Signaling Data. - Linas Laibinis; Alexei Iliasov; Alexander B. Romanovsky (IEEE Trans. Reliab., 2021)

A customisable pipeline for the semi-automated discovery of online activists and social campaigns on Twitter. - Flavio Primo; Alexander B. Romanovsky; Rafael Maiani de Mello; Alessandro F. Garcia 001; Paolo Missier (World Wide Web, 2021)

Safety Invariant Verification that Meets Engineers' Expectations. - Alexei Iliasov; Linas Laibinis; Dominic Taylor; Ilya Lopatkin; Alexander B. Romanovsky (RSSRail, 2022)

The SafeCap Trajectory: Industry-Driven Improvement of an Interlocking Verification Tool. - Alexei Iliasov; Dominic Taylor; Linas Laibinis; Alexander B. Romanovsky (RSSRail, 2023)

Practical Verification of Railway Signalling Programs. - Alexei Iliasov; Dominic Taylor; Linas Laibinis; Alexander B. Romanovsky (IEEE Trans. Dependable Secur. Comput., 2023)

A Refinement-based Formal Development of Cyber-physical Railway Signalling Systems. - Yamine Aït-Ameur; Sergiy Bogomolov; Guillaume Dupont; Alexei Iliasov; Alexander B. Romanovsky; Paulius Stankaitis (Formal Aspects Comput., 2023)

Safety Invariant Engineering for Interlocking Verification. - Alexei Iliasov; Dominic Taylor; Linas Laibinis; Alexander B. Romanovsky (SAFECOMP, 2024)

Proof Semantics of Railway Interlocking. - Linas Laibinis; Alexei Iliasov; Alexander B. Romanovsky (ABZ, 2025)