Professor Alexander Romanovsky

Prof of Computing Science

Email: alexander.romanovsky@ncl.ac.uk
Telephone: +44 191 208 8135

Background

Introduction

Alexander (Sascha) Romanovsky is a Professor in the Centre for Software Reliability. He is the leader of the Secure and Resilient Systems Group at the School of Computing Science.

His main research interests are system dependability, fault tolerance, software architectures, exception handling, error recovery, system verification for safety, system structuring and verification of fault tolerance.

He received a M.Sc. degree in Applied Mathematics from Moscow State University and a PhD degree in Computer Science from St. Petersburg State Technical University. He was with this University from 1984 until 1996, doing research and teaching. In 1991 he worked as a visiting researcher at ABB Ltd Computer Architecture Lab Research Center, Switzerland. In 1993 he was a visiting fellow at Istituto di Elaborazione della Informazione, CNR, Pisa, Italy. In 1993-94 he was a post-doctoral fellow with the Department of Computing Science, University of Newcastle upon Tyne, UK.

Since 1992 Prof Romanovsky has been involved in a number of EC and UK research projects on various aspects of system dependability engineering.

In 2004-07 Prof Romanovsky was the Coordinator of the FP6 ICT Rigorous Open Development Environment for Complex Systems Project (RODIN). In 2008-12 he was the Coordinator of the major FP7 Integrated Project on Industrial Deployment of System Engineering Methods Providing High Dependability and Productivity (DEPLOY). The DEPLOY IP, that followed RODIN, developed the Rodin tooling environment for formal stepwise design of complex dependable systems using Event-B. Rodin is now widely used by companies in Europe, China, Japan, Canada and Brazil.

Prof Romanovsky is now the Principle Investigator of the EPSRC STRATA platform grant on Layers for Structuring Trustworthy Ambient Systems (2016-20) and of the RSSB research project SafeCap for FuTRO on integrated optimum capacity, safety and energy strategies at multiple railway nodes (2014-16), and the Co-investigator of the EPSRC PRiME program grant on Power-efficient, Reliable, Many-core Embedded systems (2013-18).

He is a member of the editorial boards of Computer Journal, IEEE Transactions on Reliability, Journal of System Architecture and International Journal of Critical Computer-Based Systems.

Prof Romanovsky is a visiting professor at the National Institute of Informatics (NII, Tokyo, Japan).

Research

Our recent work focuses on modelling and verification of railway systems - follow it on the SafeCap web site.

Research interests:

fault-tolerance software: system structuring, error recovery
rigorous development of fault tolerant systems (RODIN, CORRECT and DEPLOY projects)
refinement and modelling patterns (DEPLOY, RODIN, TrAmS and TrAmS-2 projects)
engineering of dependable mobile systems (the RODIN project)
a middleware for building fault tolerant mobile systems (the CAMA system)
fault tolerance of service oriented architectures and web services
dependability-explicit and resilience-explicit computing
the WS-Mediator architecture for dependable WS integration
exception handling (a list of papers and reports on this topic )
fault tolerance software architectures (including a one-day tutorial – given at WICSA 2007, ISSRE 2007 and SAFECOMP 2008)
software diversity (DeVa, DISCS and DOTS projects)
fault tolerance of concurrent and distributed systems; conversations, atomic actions and atomic transactions
Coordinated Atomic Actions in the DeVa and DSoS Projects, and beyond
dependability of systems employing legacy code and of complex systems of systems (the DOTS and DSoS projects)
dependability in the component-based system development and protective wrapping (the DOTS project).

Software to download:

WS-Mediator Elite – an architectural solution for improving dependability of WSs (developed by Yuhui Chen)
WSsDAT - a Web Service monitoring tool (developed by Yuhui Chen)
CAMA middleware supporting development of ambient agent systems (developed by Alexei Iliasov)
Finer plugin: refinement pattern support in Event-B (developed by Alexei Iliasov)
the SafeCap tooling environment for safety verification and capacity simulation of railway networks (stations and junctions)
Fault analysis and modelling for systems of systems (the SysML models)

Projects (recent and ongoing):

ERCIM Working group SERENE - Software Engineering for Resilient Systems
EPSRC TrAmS-2 Platform Grant. PI.
EPSRC PRiME Programme Grant. CoI.
FP7 COMPASS FP7 IP. CoI.
EPSRC SafeCap Impact Acceleration Account. PI
EPSRC Impact Acceleration Account on railway data analytics. PI
EPSRC SafeCap for FuTRO. PI
EPSRC CASE Studentship with Siemens Rail Automation on developing an advanced advisory system. PI
EPSRC STRATA Platform Grant. PI.
EPSRC CASE Studentship with Siemens Rail Automation on modelling and verification of heterogeneous railway systems. PI

Projects (completed):

TrAmS – Trustworthy Ambient Systems. (2007-2011). I was a co-investigator of this EPSRC platform grant
EPSRC/RSSB SafeCap project (2011-2013) on Overcoming the railway capacity challenges without undermining rail network safety. I am coordinating this project
DEPLOY FP7 Integrated Project (Industrial deployment of advanced system engineering methods for high productivity and dependability) 2008-2012. I was the Coordinator of this project
MiNEMA - Middleware for Network Eccentric and Mobile Applications. An ESF Network
ERCIM Working Group RISE - Rapid Integration of Software Engineering Techniques.
Rigorous Stepwise Development of Complex Fault Tolerant Distributed Systems: from Architectural Description to Java Implementation (CORRECT) Luxemburg National Project (2004-2007). I was a co-author and a co-investigator of this project
Rigorous Open Development Environment for Complex Systems (RODIN) FP6 ICT project (2004-2007). I coordinated this project
European IST Network of Excellence in Distributed and Dependable Computing Systems CaberNet (1996-2004)
CaberNet Vision of Research and Technology Development in Distributed and Dependable Systems. Edited by A. Romanovsky and R. Snow. Network of Excellence in Distributed and Dependable Computing Systems. IST-2000-25088. July 2004. (the main text and the appendix)
EPSRC/UK Diversity with Off-The-Shelf Components (DOTS) Project. I am a co-author of this project. 2000-2004
AgentLink III. Co-ordination Action for Agent Based Computing. FP6 ICT. 2003-2005
European IST Dependable Systems of Systems project (DSoS) (IST-1999-11585) (my web page). 2000-2003
EPSRC/UK Diversity in Safety Critical Software (DISCS) Project (a list of papers and reports) 1998-2001
European ICT Design for Validation (the DeVa project). 1996-1999

Current PhD student:

David Adjepon-Yamoah (from 2013) - software engineering on the cloud
Rem Gensh (from 2014) - holistic fault tolerance
Luke Martin (from 2015)- railway advisory systems
Paulius Stankaitis (from 2016) - verification of heterogeneous railway systems
Sami Alajrami (from 2013) - software engineering on the cloud

Former PhD students:

Alexei Iliasov (Design Components, completed in 2008)
Yuhui Chen (WS-Mediator for Improving Dependability of Service Composition, completed in 2008)
Ilya Lopatkin (A Method for Rigorous Development of Fault-Tolerant Systems in 2013)

Awards:

AdaEurope 2000 - the best paper and the best presentation awards for the paper entitled On Persistent and Reliable Streaming in Ada by J. Kienzle and A. Romanovsky
The winner of the 2001 British Computer Society Brendan Murphy Prize for the work with Brian Randell and Jie Xu on Concurrent Exception Handling and Resolution in Distributed Object Systems.

Teaching

I am teaching Stage 3 module on Fault Tolerance and Reliability (3662).

Publications

Alajrami S, Gallina B, Romanovsky A. Enabling GSD task allocation via cloud-based software processes. In: Software Engineering Research, Management and Applications. Cham: Springer Verlag, 2018, pp.179-192.
Stankaitis P, Iliasov A, Romanovsky A. A Railway Simulation Suite For Modelling Advanced Railway Control Systems. International Journal of Transport Development and Integration 2017, 1(3), 558-567.
Gensh R, Rafiev A, Romanovsky A, Garcia A, Xia F, Yakovlev A. Architecting Holistic Fault Tolerance. In: 18th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2017). 2017, Singapore: IEEE Computer Society.
Gensh R, Romanovsky A, Garcia A. Experience Report: Evaluation of Holistic Fault Tolerance. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2017. School of Computing Science Technical Report Series 1507.
Missier P, McClean C, Carlton J, Cedrim D, Silva L, Garcia A, Plastino A, Romanovsky A. Recruiting from the network: Discovering Twitter users who can help combat Zika epidemics. In: 17th International Conference on Web Engineering (ICWE 2017). 2017, Rome, Italy: Springer Verlag.
Rafiev A, Mokhov A, Xia F, Iliasov A, Gensh R, Aalsaud A, Romanovsky A, Yakovlev A. Resource-Driven Modelling for Managing Model Fidelity. In: Molnos A; Fabre C, ed. Model-Implementation Fidelity in Cyber Physical System Design. Cham, Switzerland: Springer International Publishing AG, 2017, pp.236.
Rafiev A, Xia F, Iliasov A, Gensh R, Aalsaud A, Romanovsky A, Yakovlev A. Selective abstraction and stochastic methods for scalable power modelling of heterogeneous systems. In: Forum on Specification and Design Languages (FDL). 2017, Bremen, Germany: IEEE Computer Society.
Sousa L, de Mello R, Cedrim D, Garcia A, Missier P, Anderson U, Anderson O, Romanovsky A. VazaDengue: An Information System for Preventing and Combating Mosquito-BorneDiseases with Social Networks. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2017. School of Computing Science Technical Report Series 1511.
Xia F, Rafiev A, Aalsaud A, Al-Hayanni M, Davis J, Levine J, Mokhov A, Romanovsky A, Shafik R, Yakovlev A, Yang S. Voltage, Throughput, Power, Reliability and Multicore Scaling. IEEE Computer Magazine 2017, 50(8), 34-45.
Martin L, Romanovsky A. A Formal Approach to Designing Reliable Advisory Systems. In: 8th International Workshop, SERENE 2016. 2016, Gothenburg, Sweden: Springer.
Martin LJW, Romanovsky A. A Formal Approach to Designing Reliable Advisory Systems. In: 8th International Workshop on Software Engineering for Resilient Systems (SERENE 2016). 2016, Gothenburg, Sweden: Springer.
Wen Z, Cala J, Watson P, Romanovsky A. Cost Effective, Reliable and Secure Workﬂow Deployment over Federated Clouds. IEEE Transactions on Services Computing 2016, epub ahead of print.
Wen Z, Qasha R, Li Z, Ranjan R, Watson P, Romanovsky A. Dynamically Partitioning Workflow over Federated Clouds For Optimising the Monetary Cost and Handling Run-Time Failures. IEEE Transactions on Cloud Computing 2016, Epub ahead of print.
Alajrami S, Gallina B, Romanovsky A. Enabling Global Software Development via Cloud-Based Software Process Enactment. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2016. School of Computing Science Technical Report Series 1494.
Ishikawa F, Romanovsky A. Event-B Day. National Institute of InformaticsTokyo, Japan. November 21, 2016. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2016. School of Computing Science Technical Report Series 1504.
Alajrami S, Gallina B, Romanovsky A. EXE-SPEM: Towards cloud-based executable software process models. In: MODELSWARD 2016 - 4th International Conference on Model-Driven Engineering and Software Development. 2016, Rome, Italy: SciTePress.
Iliasov A, Romanovsky A. Formal Analysis of railway signalling data. In: 17th IEEE International Symposium on High Assurance Systems Engineering (HASE 2016). 2016, Orlando, Florida: IEEE.
Iliasov A, Romanovsky A, Troubitsyna E, Laibinis L. Formalisation-Driven Development of Safety-Critical Systems. In: 2016 IEEE 17th International Symposium on High Assurance Systems Engineering (HASE). 2016, Orlando, Florida: IEEE.
Romanovsky A, Iliasov A. Introducing SafeCap, a safety-focused tool for optimising route capacity. Institution of Railway Signal Engineers. IRSE NEWS 2016, (223), pp.7.
Romanovsky A, Troubitsyna E. Message from the Program Co-Chairs. In: 27th International Symposium on Software Reliability Engineering, ISSRE. 2016, Ottawa, Canada: IEEE Computer Society.
Gensh R, Romanovsky A, Yakovlev A. On Structuring Holistic Fault Tolerance. In: 15th International Conference on Modularity 2016. 2016, Malaga, Spain: ACM.
Iliasov A, Stankaitis P, Romanovsky A. Proving Event-B models with reusable generic lemmas. In: Formal Methods and Software Engineering: 18th International Conference on Formal Engineering Methods (ICFEM 2016). 2016, Tokyo, Japan: Springer.
Iliasov A, Stankaitis P, Romanovsky A. Proving Event-B Models with Reusable Generic Lemmas. In: ICFEM 2016: Formal Methods and Software Engineering. 2016, Tokyo, Japan: Springer International Publishing.
Lecomte T, Pinger R, Romanovsky A. Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification. Springer International Publishing, 2016.
Iliasov A, Stankaitis P, Adjepon-Yamoah D, Romanovsky A. Rodin Platform Why3 Plug-In. In: 5th International Conference ABZ 2016. 2016, Linz, Austria: Springer.
Alajrami S, Romanovsky A, Gallina B. Software Development in the Post-PC Era: Towards Software Development as a Service. In: 17th International Conference on Product-Focused Software Process Improvement (PROFES 2016). 2016, Trondheim, Norway: Springer.
Alajrami S, Gallina B, Sljivo I, Romanovsky A, Isberg P. Towards Cloud-Based Enactment of Safety-Related Processes. In: Computer Safety, Reliability, and Security: 35th International Conference (SAFECOMP 2016). 2016, Trondheim, Norway: Springer.
Missier P, Romanovsky A, Miu T, Pal A, Daniilakis M, Garcia A, Cedrim D, Sousa L. Tracking Dengue Epidemics using Twitter Content Classification and Topic Modelling. In: 2nd International Workshop on Mining the Social Web (SoWeMine 2016) - co-located with ICWE 2016. 2016, Lugano, Switzerland: Springer.
Romanovsky A, Ishikawa F. Trustworthy Cyber-Physical Systems Engineering. Chapman and Hall/CRC Press, 2016.
Ishikawa F, Romanovsky A, Troubitsyna E. Workshop on Formal and Model-Driven Techniques for Developing Trustworthy Systems. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2016. School of Computing Science Technical Report Series 1503.
Iliasov A, Rafiev A, Xia F, Gensh R, Romanovsky A, Yakovlev A. A formal specification and prototyping language for multi-core system management. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2015. School of Computing Science Technical Report Series 1445.
Iliasov A, Rafiev A, Xia F, Gensh R, Romanovsky A, Yakovlev A. A formal specification and prototyping language for multi-core system management. In: 23rd Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP 2015). 2015, Turku: IEEE.
Adjepon-Yamoah D, Romanovsky A, Iliasov A. A Reactive Architecture for Cloud-Based System Engineering. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2015. School of Computing Science Technical Report Series 1474.
Adjepon-Yamoa D, Romanovsky A, Iliasov A. A reactive architecture for cloud-based system engineering. In: 2015 International Conference on Software and System Process ICSSP-2015. 2015, Tallinn, Estonia: ACM.
Wen Z, Cala J, Watson P, Romanovsky A. Cost Effective, Reliable and Secure Workflow Deployment over Federated Clouds. In: 8th IEEE International Conference on Cloud Computing (CLOUD). 2015, New York, NY, USA: IEEE.
Martin L, Romanovsky A, Blewitt W. Design and development of the train advisory systems for the future. In: 13th Conference on Railway Engineering 2015. 2015, Edinburgh.
Gensh R, Romanovsky A, Yakovlev A. Engineering Cross-Layer Fault Tolerance in Many-Core Systems. In: 7th International Workshop on Software Engineering for Resilient Systems. 2015, Paris, France: Springer International Publishing.
Gensh R, Romanovsky A, Yakovlev A. Engineering Cross-Layer Fault Tolerance in Many-Core Systems. In: 7th International Workshop, SERENE-2015. 2015, Paris, France: Springer.
Iliasov A, Romanovsky A. Formal Modelling of Railway Safety and Capacity. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2015. School of Computing Science Technical Report Series 1444.
Iliasov A, Romanovsky A. Formal Modelling of Railway Safety and Capacity. In: 23rd Safety-Critical Systems Symposium 2015 (SSS'15). 2015, Bristol, UK.
Laibinis L, Troubitsyna E, Prokhorova Y, Iliasov A, Romanovsky A. From Requirements Engineering to Safety Assurance: Refinement Approach. In: DEPENDABLE SOFTWARE ENGINEERING: THEORIES, TOOLS, AND APPLICATIONS, SETTA 2015. 2015, GEWERBESTRASSE 11, CHAM, CH-6330, SWITZERLAND: SPRINGER INT PUBLISHING AG.
Laibinis L, Troubitsyna E, Prokhorova Y, Iliasov A, Romanovsky A. From Requirements Engineering to Safety Assurance:Refinement Approach. In: 1st Symposium on Dependable Software Engineering; Theories, Tools and Applications. 2015, Nanjing, China: Springer.
Alajrami S, Romanovsky A, Watson P. On Cloud-Based Software Processes. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2015. School of Computing Science Technical Report Series 1458.
Rafiev A, Xia F, Iliasov A, Gensh R, Aalsaud A, Romanovsky A, Yakovlev A. Order Graphs and Cross-Layer Parametric Significance-driven Modelling. In: 15th International Conference on Application of Concurrency to System Design (ACSD'15). 2015, Brussels, Belgium: IEEE Computer Society.
Iliasov A, Romanovsky A, Laibinis L, Troubitsyna E. OSLC-based Support for Integrated Development of Dependable Systems. In: EDCC 2015. 2015, Paris, France.
Rafiev A, Xia F, Iliasov A, Gensh R, Aalsaud A, Romanovsky A, Yakovlev A. Power-proportional modelling fidelity. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2015. School of Computing Science Technical Report Series 1443.
Iliasov A, Lopatkin I, Romanovsky A. Practical Formal Methods in Railways - The SafeCap Approach. In: 19th Ada-Europe International Conference on Reliable Software Technologies. 2015, Paris, France: Springer.
Iliasov A, Adjepon-Yamoah D, Stankaitis P, Romanovsky A. Putting Provers on the Cloud. In: 23rd Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP 2015). 2015, Turku, Finland.
Iliasov A, Laibinis L, Troubitsyna E, Adjepon-Yamoah D, Romanovsky A. Refinement-based Approach to Co-engineering Requirements and Formal Models. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2015. School of Computing Science Technical Report Series 1456.
Iliasov A, Romanovsky A. SafeCap: The Train Advisory System for Real-Time Traffic Management. In: The Stephenson Conference 2015: Research for Railways. 2015, London, UK: Institution of Mechanical Engineers, London.
Rafiev A, Iliasov A, Romanovsky A, Mokhov A, Xia F, Yakovlev A. Studying the Interplay of Concurrency, Performance, Energy and Reliability with ArchOn - An Architecture-Open Resource-Driven Cross-Layer Modelling Framework. In: 14th International Conference on Application of Concurrency to System Design (ACSD 2014). 2015, Tunis, Tunisia: IEEE Computer Society.
Tarasyuk O, Gorbenko A, Romanovsky A, Kharchenko V. The Impact of Consistency on System Latency in Fault Tolerant Internet Computing. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2015. School of Computing Science Technical Report Series 1459.
Tarasyuk O, Gorbenko A, Romanovsky A, Kharchenko V, Ruban V. The Impact of Consistency on System Latency in Fault Tolerant Internet Computing. In: Distributed Applications and Interoperable Systems - 15th International Conference (DAIS 2015). 2015, Grenoble, France: Springer.
Iliasov A, Palacin R, Romanovsky A. Advanced Modelling, Simulation and Verification for Future Traffic Regulation Optimisation. In: 6th International Workshop, SERENE 2014. 2014, Budapest, Hungary: Springer.
Rafiev A, Iliasov A, Romanovsky A, Mokhov A, Xia F, Yakovlev A. ArchOn: Architecture-open Resource-driven Cross-layer Modelling Framework. In: ES4CPS@DATE 2014 - International Workshop on Engineering Simulations for Cyber-Physical Systems. 2014, Dresden, Germany.
Iliasov A, Lopatkin I, Romanovsky A. Practical formal methods in railways - the SafeCap Approach. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2014. School of Computing Science Technical Report Series 1404.
Iliasov A, Lopatkin I, Mihut A, Romanovsky A. Real-time ATO reconfiguration for operational stability. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2014. School of Computing Science Technical Report Series 1412.
Iliasov A, Lopatkin I, Mihut A, Romanovsky A. Real-time ATO Reconfiguration For Operational Stability. In: Brebbia,C.A; Tomii,N; Tzieropoulos,P; Mera,J.M, ed. Computers in Railways XIV: Railway Engineering Design and Optimization. WIT Press, 2014, pp.163-173.
Lopatkin I, Romanovsky A. Rigorous Development of Fault-Tolerant Systems through Co-Refinement. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2014. School of Computing Science Technical Report Series 1405.
Lopatkin I, Romanovsky A. Rigorous Development of Fault-Tolerant Systems through Co-Refinement. In: 19th Ada-Europe International Conference on Reliable Software Technologies. 2014, Paris, France: Springer.
Iliasov A, Romanovsky A. SafeCap: The Train Advisory System for Real-Time Traffic Management. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2014. School of Computing Science Technical Report Series 1433.
Jones C, Romanovsky A. Special issue on Automated Verification of Critical Systems (AVoCS'11) Preface. Science of Computer Programming 2014, 82, 1-1.
Rafiev A, Iliasov A, Romanovsky A, Mokhov A, Xia F, Yakovlev A. Studying the Interplay of Concurrency, Performance, Energy and Reliability with ArchOn – an Architecture-open Resource-driven Cross-layer Modelling Framework. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2014. School of Computing Science Technical Report Series 1408.
Mokhov A, Iliasov A, Sokolov D, Rykunov M, Yakovlev A, Romanovsky A. Synthesis of Processor Instruction Sets from High-Level ISA Specifications. IEEE Transactions on Computers 2014, 63(6), 1552-1566.
Alajrami S, Romanovsky A, Watson P, Roth A. Towards Cloud-Based Software Process Modelling and Enactment. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2014. School of Computing Science Technical Report Series 1432.
Alajrami S, Romanovsky A, Watson P, Roth A. Towards Cloud-Based Software Process Modelling and Enactment. In: ACM/IEEE 17th International Conference on Model Driven Engineering Languages and Systems. 2014, Valencia, Spain.
Andrews Z, Ingram C, Payne R, Romanovsky A, Holt J, Perry S. Traceable Engineering of Fault-Tolerant SoSs. In: INCOSE International Symposium 2014. 2014, Nevada, USA: International Council on Systems Engineering (INCOSE).
Iliasov A, Lopatkin I, Romanovsky A. Unified Train Driving Policy. In: Boulanger, J-L, ed. Formal Methods Applied to Complex Systems. New Jersey, USA: Wiley, 2014, pp.447-473.
Lopatkin I, Romanovsky A. A Method for Rigorous Development of Fault-Tolerant Systems. Newcastle upon Tyne: Newcastle University, 2013. School of Computing Science Technical Report Series 1374.
Iliasov A, Troubitsyna E, Laibinis L, Romanovsky A, Varpaaniemi K, Ilic D, Latvala T. Developing mode-rich satellite software by refinement in Event-B. Science of Computer Programming 2013, 78(7), 884-905.
Andrews Z, Fitzgerald J, Payne R, Romanovsky A. Fault Modelling for Systems of Systems. In: 11th International Symposium on Autonomous Decentralized Systems (ISADS 2013). 2013, Mexico City, Mexico: IEEE.
Andrews Z, Payne R, Romanovsky A, Didier A, Mota A. Model-based development of fault tolerant systems of systems. In: 2013 7TH Annual IEEE International Systems Conference (SYSCON 2013). 2013, Orlando, FL, USA: IEEE.
Iliasov A, Lopatkin I, Romanovsky A. The SafeCap Platform for Modelling Railway Safety and Capacity. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2013. School of Computing Science Technical Report Series 1382.
Iliasov A, Lopatkin I, Romanovsky A. The SafeCap Project on Railway Safety Verification and Capacity Simulation. In: 5th International Workshop SERENE 2013. 2013, Kiev, Ukraine: Springer.
Gorbenko A, Romanovsky A. Time-Outing Internet Services. IEEE Security & Privacy 2013, 11(2), 68-71.
Andrews Z, Holt J, Ingram C, Payne R, Perry S, Romanovsky A. Traceable Engineering of Fault-Tolerant SoSs. Newcastle upon Tyne: Newcastle University, 2013. School of Computing Science Technical Report Series 1391.
Romanovsky A. Deployment of Formal Methods in Industry: the Legacy of the FP7 ICT DEPLOY Integrated Project. Newcastle upon Tyne: Newcastle University, 2012. School of Computing Science Technical Report Series 1351.
Gorbenko A, Kharchenko V, Mamutov S, Tarasyuk O, Romanovsky A. Exploring Uncertainty of Delays as a Factor in End-to-End Cloud Response Time. In: 9th European Dependable Computing Conference (EDCC). 2012, Sibiu, Romania: IEEE.
Andrews Z, Fitzgerald J, Payne R, Romanovsky A. Fault Modelling for Systems of Systems. Newcastle upon Tyne: Newcastle University, 2012. School of Computing Science Technical Report Series 1346.
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. Hershey, Pennsylvania, USA: IGI Global, 2012, pp.442-462.
Romanovsky A, Warwick J. Newcastle Experience of Coordinating the FP7 DEPLOY Integrated Project. Newcastle upon Tyne: Newcastle University, 2012. School of Computing Science Technical Report Series 1350.
Ishikawa F, Romanovsky A. Proceedings: Workshop on the experience of and advances in developing dependable systems in Event-B. Newcastle upon Tyne: Newcastle University, 2012. School of Computing Science Technical Report Series 1355.
Iliasov A, Romanovsky A. SAFECAP domain language for reasoning about safety and capacity. Newcastle upon Tyne: Newcastle University, 2012. School of Computing Science Technical Report Series 1352.
Iliasov A, Romanovsky A. SAFECAP domain language for reasoning about safety and capacity. In: 2012 WORKSHOP ON DEPENDABLE TRANSPORTATION SYSTEMS/RECENT ADVANCES IN SOFTWARE DEPENDABILITY (WDTS-RASD 2012). 2012, 345 E 47TH ST, NEW YORK, NY 10017 USA: IEEE.
Iliasov A, Romanovsky A. The SafeCap toolset for improving railway capacity while ensuring its safety. Newcastle upon Tyne: Newcastle University, 2012. School of Computing Science Technical Report Series 1354.
Fitzgerald J, Mak T, Romanovsky A, Yakovlev A. Workshop Proceedings: Trustworthy Cyber-Physical Systems. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2012. School of Computing Science Technical Report Series 1347.
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.
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. 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.
Chen Y, Gorbenko A, Kharchenko V, Romanovsky A. Measuring and Dealing with the Uncertainty of SOA Solutions. In: Cardellini, V; Casalicchio, E; Branco, K; Estrella, J; Monaco, F, ed. Performance and Dependability in Service Computing: Concepts, Techniques and Research Directions. Pennsylvania, USA: IGI Global, 2011, pp.265-294.
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.
Bendisposto J, Jones C, Leuschel M, Romanovsky A, (eds). Proceedings of the 11th International Workshop on Automated Verification of Critical Systems. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2011. School of Computing Science Technical Report Series 1272.
Romanovsky A, Vardanega T, ed. Reliable Software Technologies - Ada-Europe 2011. Proceedings of the 16th Ada-Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24, 2011. Netherlands: Springer, 2011.
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.
Gorbenko A, Kharchenko V, Tarasyuk O, Romanovsky A. Using Diversity in Cloud-Based Deployment Environment to Avoid Intrusions. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2011. School of Computing Science Technical Report Series 1262.
Gorbenko A, Kharchenko V, Tarasyuk O, Romanovsky A. Using Diversity in Cloud-Based Deployment Environment to Avoid Intrusions. In: Third International Workshop on Software Engineering for Resilient Systems (SERENE). 2011, Geneva, Switzerland: Springer.
Iliasov A, Troubitsyna E, Laibinis L, Romanovsky A, Varpaaniemi K, Ilic D, Latvala T. Developing Mode-Rich Satellite Software by Refinement in Event B. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2010. School of Computing Science Technical Report Series 1207.
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.
Grotsev D, Iliasov A, Romanovsky A. Formal Stepwise Development of Scalable and Reliable Multiagent Systems. Newcastle upon Tyne, UK: Newcastle University, 2010. School of Computing Science Technical Report Series 1226.
Garcia A, Romanovsky A, Issarny V. Guest Editors' Introduction to the Special Section on Exception Handling: From Requirements to Software Maintenance. IEEE Transactions on Software Engineering 2010, 36(2), 147-149.
Chen Y, Gorbenko A, Kharchenko V, Romanovsky A. Measuring and Dealing with the Uncertainty of SOA Solutions. Newcastle upon Tyne, UK: Newcastle University, 2010. School of Computing Science Technical Report Series 1225.
Di Marzo Serugendo G, Fitzgerald J, Romanovsky A. MetaSelf – An Architecture and a Development Method for Dependable Self-* Systems. In: 25th annual ACM Symposium on Applied Computing. 2010, Sierre, Switzerland: ACM.
Lopatkin I, Iliasov A, Romanovsky A. On Fault Tolerance Reuse during Refinement. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2010. School of Computing Science Technical Report Series 1188.
Lopatkin I, Iliasov A, Romanovsky A. On Fault Tolerance Reuse during Refinement. In: 2nd International Workshop on Software Engineering for Resilient Systems (SERENE). 2010, London, UK: ACM DL.
Bryans JW, Fitzgerald JS, Romanovsky A, Roth A. Patterns for Modelling Time and Consistency in Business Information Systems. In: 15th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS). 2010, Oxford, UK: IEEE.
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. Patterns for Refinement Automation. In: Formal Methods for Components and Objects: 8th International Symposium (FMCO 2009). 2010, Eindhoven, The Netherlands: Springer.
Gorbenko A, Kharchenko V, Mamutov S, Tarasyuk O, Chen Y, Romanovsky A. Real Distribution of Response Time Instability in Service-Oriented Architecture. In: 29th IEEE Symposium on Reliable Distributed Systems (SRDS). 2010, New Delhi, India: IEEE.
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.
Laibinis L, Troubitsyna E, Iliasov A, Romanovsky A. System Architecture, Dependability and Modes. In: 8th European Dependable Computing Conference (Fast Abstract Track). 2010, Valencia, Spain.
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.
Chen Y, Romanovsky A, Gorbenko A, Kharchenko V, Mamutov S, Tarasyuk O. Benchmarking Dependability of a System Biology Application. In: 14th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS). 2009, Potsdam, Germany: IEEE Computer Society.
Chen Y, Gorbenko A, Kharchenko V, Mamutov S, Romanovsky A, Tarasyuk O. Benchmarking Dependability of a System Biology Application. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2009. School of Computing Science Technical Report Series 1136.
Bryans J, Fitzgerald JS, Romanovsky A, Roth A. Formal Modelling and Analysis of Business Information Applications with Fault Tolerant Middleware. In: 14th IEEE International Conference on Engineering of Complex Computer Systems. 2009, Potsdam, Germany: IEEE.
Capozucca A, Guelfi N, Pelliccione P, Romanovsky A, Zorzo AF. Frameworks for designing and implementing dependable systems using Coordinated Atomic Actions: A comparative study. Journal of Systems and Software 2009, 82(2), 207-228.
Castor F, Romanovsky A, Rubira CMF. Improving reliability of cooperative concurrent systems with exception flow analysis. Journal of Systems and Software 2009, 82(5), 874-890.
Butler M, Jones CB, Romanovsky A, Troubitsyna E, ed. Methods, Models and Tools for Fault Tolerance. Berlin; New York: Springer, 2009.
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-Verlag.
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.
Bryans J W, Fitzgerald J S, Romanovsky A, Roth A. Patterns for Modelling Time and Consistency in Business Information Systems. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2009. School of Computing Science Technical Report Series 1178.
Gorbenko A, Kharchenko V, Mamutov S, Tarasyuk O, Chen Y, Romanovsky A. Real Distribution of Response Time Instability in Service-Oriented Architecture. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2009. School of Computing Science Technical Report Series 1182.
Goeschka K, Hallsteinsen S, Oliveira R, Romanovsky A. Special track on dependable and adaptive distributed systems. In: Proceedings of the ACM Symposium on Applied Computing. 2009, Honolulu, Hawaii, USA: ACM Press.
Iliasov A, Arief B, Romanovsky A. Step-wise development of resilient ambient campus scenarios. In: Methods, Models and Tools for Fault Tolerance. 2009, Oxford, UK: Springer.
Iliasov A, Arief B, Romanovsky A. Step-Wise Development of Resilient Ambient Campus Scenarios. In: Methods, Models and Tools for Fault Tolerance. 2009, Oxford, UK: Springer.
Iliasov A, Romanovsky A, Dotti FL. Structuring Specifications with Modes. In: Proceedings of the Fourth Latin-American Symposium on Dependable Computing (LADC). 2009, Joao Pessoa, Brazil: IEEE Computer Society.
Gorbenko A, Kharchenko V, Romanovsky A. Using inherent service redundancy and diversity to ensure web services dependability. In: Butler, M., Jones, C., Romanovsky, A., Troubitsyna, E, ed. Methods, Models and Tools for Fault Tolerance. Berlin; New York: Springer, 2009, pp.324-341.
Lobato C, Garcia A, Romanovsky A, Lucena C. An aspect-oriented software architecture for code mobility. Software: Practice and Experience 2008, 38(13), 1365-1392.
Romanovsky A. DEPLOY: industrial deployment of advanced system engineering methods for high productivity and dependability. Software Engineering Notes 2008, 33(6), 36.
Romanovsky A. DEPLOY: Industrial deployment of advanced system engineering methods for high productivity and dependability. In: Proceedings of the RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems, SERENE'08. 2008, Newcastle upon Tyne, UK: ACM Press.
Guelfi N, Muccini H, Pelliccione P, Romanovsky A. Engineering Fault Tolerant Systems. International Journal of Computer Systems Science and Engineering 2008, 23(5), 315-316.
Gorbenko A, Kharchenko V, Romanovsky A, Mikhaylichenko A. Experimenting with exception propagation mechanisms in service-oriented architecture. In: Proceedings of the Fourth International Workshop on Exception Handling. Co-located with the Sixteenth ACM SIGSOFT International Symposium on the Foundations of Software Engineering. 2008, Atlanta, Georgia, USA: ACM.
Laibinis L, Troubitsyna E, Iliasov A, Romanovsky A. Formal development of cooperative exception handling for mobile agent systems. In: Proceedings of the 2008 RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems (SERENE). 2008, Newcastle upon Tyne, UK: ACM Press.
Laibinis L, Troubitsyna E, Iliasov A, Romanovsky A. Formal development of cooperative exception handling for mobile agent systems. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2008. School of Computing Science Technical Report Series 1123.
Bryans J, Fitzgerald J, Romanovsky A, Roth A. Formal Modelling and Analysis of Business Information Applications with Fault Tolerant Middleware. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2008. School of Computing Science Technical Report Series 1131.
Iliasov A, Troubitsyna E, Laibinis L, Romanovsky A. Guided Formal Development: Patterns for Modelling and Refinement. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2008. School of Computing Science Technical Report Series 1103.
Gorbenko A, Romanovsky A, Kharehenko V. How to enhance UDDI with dependability capabilities. In: 32nd Annual IEEE International Computer Software and Applications Conference. 2008, Turku, Finland: IEEE Computer Society.
Chen Y, Romanovsky A. Improving the dependability of web services integration. IT Professional 2008, 10(3), 29-35.
Castor Filho F, Romanovsky A, Rubira CMF. Improving the Reliability of Cooperative Concurrent Systems with Exception Flow Analysis. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2008. School of Computing Science Technical Report Series 1105.
Chen Y, Romanovsky A. Mediating Web Services for Dependability. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2008. School of Computing Science Technical Report Series 1104.
Di Marzo Serugendo G, Fitzgerald J, Romanovsky A, Guelfi N. MetaSelf - A Framework for Designing and Controlling Self-Adaptive and Self-Organising Systems. Birkbeck College, London, UK: School of Computer Science and Information Systems, 2008. BBKCS-08-08.
Iliasov A, Troubitsyna E, Laibinis L, Romanovsky A. Patterns for Refinement Automation. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2008. School of Computing Science Technical Report Series 1125.
Iliasov A, Romanovsky A. Refinement Patterns for Fault Tolerant Systems. In: Proceedings of the Seventh European Dependable Computing Conference (EDCC-7). 2008, Kaunas, Lithuania: IEEE Computer Society.
Guelfi N, Muccini H, Pelliccione P, Romanovsky A, ed. SERENE '08. RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems. 17-19 November 2008. Newcastle upon Tyne, UK. New York, USA: ACM, 2008.
Gorbenko A, Kharchenko V, Tarasyuk O, Chen Y, Romanovsky A. The threat of uncertainty in service-oriented architecture. In: 2008 RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems (SERENE). 2008, Newcastle upon Tyne, UK: ACM.
Gorbenko A, Kharchenko V, Tarasyuk O, Chen Y, Romanovsky A. The Threat of Uncertainty in Service-Oriented Architecture. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2008. School of Computing Science Technical Report Series 1122.
Garcia A, Romanovsky A, Kienzle J, Dony C, Cacho N, ed. WEH '08. Proceedings of the Fourth International Workshop on Exception Handling. Co-located with the Sixteenth ACM SIGSOFT International Symposium on the Foundations of Software Engineering. 14 November 2008. Atlanta, Georgia, USA. New York, USA: ACM, 2008.
Iliasov A, Romanovsky A, Arief B, Laibinis L, Troubitsyna E. A framework for open distributed system design. In: COMPSAC: International Computer Software and Applications Conference. 2007, Beijing, China: IEEE.
Romanovsky A. A looming fault tolerance software crisis?. In: Software Engineering Notes: NATO Workshop on Building Robust Systems with Fallible Construction. 2007, Prague, Czech Republic: ACM.
Di Marzo Serugendo G, Fitzgerald J, Romanovsky A, Guelfi N. A Metadata-Based Architectural Model for Dynamically Resilient Systems. In: 22nd ACM Symposium on Applied Computing. 2007, Seoul, Korea: ACM.
de Lemos R, Gacek C, Romanovsky A, ed. Architecting Dependable Systems IV. Berlin: Springer-Verlag, 2007.
Muccini H, Pelliccione P, Romanovsky A. Architecting Fault Tolerant Systems. In: Working IEEE/IFIP Conference on Software Architecture. 2007, Mumbai, India: IEEE Computer Society.
Gallina B, Guelfi N, Romanovsky A. Coordinated atomic actions for dependable distributed systems: The current state in concepts, semantics and verification means. In: Proceedings - International Symposium on Software Reliability Engineering, ISSRE. 2007, Trollhättan, Sweden: IEEE.
Guelfi N, Muccini H, Pelliccione P, Romanovsky A. EFTS 2007: The 2nd international workshop on engineering fault tolerant systems. In: 6th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE. 2007, Dubrovnik, Croatia: ACM.
Cacho N, Damasceno K, Garcia A, Romanovsky A, Lucena C. Exception handling in context-aware agent systems: A case study. In: Software Engineering for Multi-Agent Systems V: Research Issues and Practical Applications. Berlin: Springer, 2007, pp.57-76.
Gorbenko A, Mikhaylichenko A, Kharchenko V, Romanovsky A. Experimenting With Exception Handling Mechanisms Of Web Services Implemented Using Different Development Kits. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2007. School of Computing Science Technical Report Series 1010.
Di Marzo Serugendo G, Fitzgerald JS, Romanovsky A, Guelfi N. Generic Framework for the Engineering of Self-Adaptive and Self-Organising Systems. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2007. School of Computing Science Technical Report Series 1018.
Chen Y, Romanovsky A. Improving Service Availability without Improving Availability of Individual Services. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2007. School of Computing Science Technical Report Series 1025.
Gorbenko A, Kharchenko V, Romanovsky A. On composing Dependable Web Services using undependable web components. International Journal of Simulation and Process Modelling 2007, 3(1-2), 45-54.
Arief B, Iliasov A, Romanovsky A. On developing open mobile fault tolerant agent systems. In: Choren, R; Garcia, A Giese, H; Leung, H-F; Lucena, C; Romanovsky, A, ed. Software Engineering for Multi-Agent Systems V: Research Issues and Practical Applications. Berlin: Springer, 2007, pp.21-40.
Romanovsky A. On exceptions, exception handling, requirements and software lifecycle. In: 10th IEEE High Assurance Systems Engineering Symposium (HASE). 2007, Plano, TX: IEEE.
Iliasov A, Romanovsky A, Arief B, Laibinis L, Troubitsyna E. On rigorous design and implementation of fault tolerant ambient systems. In: 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing, ISORC 2007. 2007, Santorini Island, Greece: Institute of Electrical and Electronics Engineers.
Butler M, Jones CB, Romanovsky A, Troubitsyna E. Proceedings of the Workshop on Methods, Models and Tools for Fault Tolerance. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2007. School of Computing Science Technical Report Series 1032.
Choren R, Garcia A, Giese H, Romanovsky A, ed. Software Engineering for Multi-Agent Systems V: Research Issues and Practical Applications. Berlin: Springer-Verlag, 2007.
Pelliccione P, Muccini H, Guelfi N, Romanovsky A, ed. Software Engineering of Fault Tolerant Systems. New Jersey; London: World Scientific Publishing, 2007.
Romanovsky A. A Looming Fault Tolerance Software Crisis?. Newcastle upon Tyne: School of Computing Science, Newcastle University, 2006. School of Computing Science Technical Report Series 991.
Chen Y, Romanovsky A. A Mediator System for Improving Dependability of Web Services. In: International Conference on Dependable Systems and Networks (DSN-2006). 2006, Philadelphia, USA: IEEE.
Lobato C, Garcia A, Lucena C, Romanovsky A. A modular implementation framework for code mobility. In: 3rd international conference on Mobile Technology, Applications & Systems (Mobile '06). 2006, Bangkok, Thailand: ACM.
Dony C, Knudsen JL, Romanovsky A, Tripathi A, ed. Advanced Topics in Exception Handling Techniques. Berlin: Springer-Verlag, 2006.
Garcia A, Lucena C, Bordini R, Breitman K, Bresciani P, Briot J-P, Cabri G, Cossentino M, Choren R, Davidsson P, Deloach S, Di Marzo Serugendo G, Elrad T, Fuentes L, Giampapa J, Giese H, Giorgini P, Guessoum Z, Guizzardi G, Henderson-Sellers B, Holvoet T, Iglesias C, Julien C, Leung H-F, Mamei M, Mouratidis H, Mueller J, Omicini A, Romanovsky A, Rossi G, Shehory O, Shepherdson J, Sichman J, Sycara K, Von Staa A, Weiss M, Weyns D, Winikoff M, Zisman A. Agent-oriented architecture for monitoring and diagnosis in supervisory systems. Computer Systems Science and Engineering 2006, 21(2), 85-86.
de Lemos R, Gacek C, Romanovsky A. Architecting dependable systems. Journal of Systems and Software 2006, 79(10), 1359-1360.
Capozucca A, Guelfi N, Pelliccione P, Romanovsky A, Zorzo A. CAA-DRIP: a framework for implementing Coordinated Atomic Actions. In: 17th International Symposium on Software Reliability Engineering (ISSRE '06). 2006, Raleigh, North Carolina: IEEE Computer Society.
Damasceno K, Cacho N, Garcia A, Romanovsky A, Lucena C. Context-aware exception handling in mobile agent systems: The MoCA case. In: Proceedings of the International Conference on Software Engineering. 2006, Shanghai, China: ACM Press.
Damasceno K, Cacho N, Garcia A, Romanovsky A, Lucena C. Context-Aware Exception Handling in Mobile Agent Systems: The MoCA Case. In: International Workshop on Software Engineering for Large-Scale Multi-Agent Systems (SELMAS 2006 Workshop). 2006, Shanghai, China: ACM.
Di Marzo Serugendo G, Fitzgerald J, Romanovsky A, Guelfi N. Dependable Self-Organising Software Architectures - An Approach for Self-Managing Systems. London: School of Computer Science and Information Systems, Birkbeck College, 2006. BBKCS-06-05.
Goschka KM, Oliveira R, Hallsteinsen SO, Romanovsky A. Editorial message: Special track on dependable and adaptive distributed systems. In: Proceedings of the ACM Symposium on Applied Computing. 2006, Dijon, France: ACM Press.
Choren R, Garcia A, Giese H, Leung H-F, Lucena C, Romanovsky A. Fifth workshop on Software Engineering for Large-Scale Multi-Agent Systems (SELMAS). In: 28th International Conference on Software Engineering. 2006, Shanghai, China: IEEE.
Laibinis L, Iliasov A, Troubitsyna E, Romanovsky A. Formal Approach to Ensuring Interoperability of Mobile Agents. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2006. School of Computing Science Technical Report Series 989.
Choren R, Garcia A, Giese H, Leung H, Lucena C, Romanovsky A. Introduction to the SELMAS 2006. In: Proceedings of the International Conference on Software Engineering. 2006, Shanghai, China: ACM Press.
Monod M, Kienzle J, Romanovsky A. Looking Ahead in Open Multithreaded Transactions. In: Ninth IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC 2006). 2006, Gyeongju, Korea: IEEE Computer Society.
Li P, Chen Y, Romanovsky A. Measuring the Dependability of Web Services for Use in e-Science Experiments. In: Service Availability: Third International Service Availability Symposium (ISAS). 2006, Helsinki, Finland: Springer.
Li P, Chen Y, Romanovsky A. Measuring the Dependability of Web Services for Use in e-Science Experiments. In: Service Availability: Third International Service Availability Symposium (ISAS 2006). 2006, Helsinki, Finland: Springer.
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.
Arief B, Iliasov A, Romanovsky A. On Using the CAMA Framework for Developing Open Mobile Fault Tolerant Agent Systems. In: 2006 International Workshop on Software Engineering for Large-Scale Multi-Agent Systems. 2006, Shanghai, China: ACM.
Arief B, Iliasov A, Romanovsky A. On Using the CAMA Framework for Developing Open Mobile Fault Tolerant Agent Systems. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2006. School of Computing Science Technical Report Series 943.
Garcia A, Choren R, Lucena C, Giorgini P, Holvoet T, Romanovsky A. Preface. In: Garcia, A; Choren, R; Lucena, C; Giorgini, P; Holvoet, T; Romanovsky, A, ed. Software Engineering for Multi-Agent Systems IV: Research Issues and Practical Applications: v. 4. Berlin/Heidelberg: Springer, 2006, pp.VII-IX.
Butler M, Jones C, Romanovsky A, Troubitsyna E, ed. Rigorous Development of Complex Fault-Tolerant Systems. Berlin: Springer-Verlag, 2006.
Laibinis L, Troubitsyna E, Iliasov A, Romanovsky A. Rigorous Development of Fault-Tolerant Agent Systems. In: Butler, M., Jones, C., Romanovsky, A. and Troubitsyna, E, ed. Rigorous Development of Complex Fault-Tolerant Systems. Berlin: Springer-Verlag, 2006, pp.241-260.
Garcia A, Choren R, Lucena C, Giorgini P, Holvoet T, Romanovsky A, ed. Software Engineering for Multi-Agent Systems IV: Research Issues and Practical Applications. Berlin: Springer-Verlag, 2006.
Iliasov A, Romanovsky A. Structured coordination spaces for fault tolerant mobile agents. In: Dony, C; Lindskov Knudsen, J; Romanovsky, A; Tripathi, A, ed. Advanced Topics in Exception Handling Techniques. Berlin: Springer-Verlag, 2006, pp.181-199.
Becker S, Brogi A, Gorton I, Overhage S, Romanovsky A, Tivoli M. Towards an Engineering Approach to Component Adaptation. In: Architecting Systems with Trustworthy Components: International Seminar. 2006, Dagstuhl Castle, Germany: Springer-Verlag.
Becker S, Brogi A, Gorton I, Overhage S, Romanovsky A, Tivoli M. Towards an Engineering Approach to Component Adaptation. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2006. School of Computing Science Technical Report Series 939.
Castor Filho F, Romanovsky A, Rubira CMF. Verification of Coordinated Exception Handling. In: Proceedings of the 2006 ACM Symposium on Applied Computing. 2006, Dijon, France: ACM.
de Lemos R, Gacek C, Romanovsky A. Workshop on Architecting Dependable Systems (WADS). In: International Conference on Dependable Systems and Networks (DNS 2006). 2006, Philadelphia, Pennsylvania: IEEE Computer Society.
de Lemos R, Gacek C, Romanovsky A, ed. Architecting Dependable Systems III. Berlin: Springer-Verlag, 2005.
Iliasov A, Romanovsky A. CAMA: Structured Coordination Space and Exception Propagation Mechanism for Mobile Agents. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2005. School of Computing Science Technical Report Series 917.
Gorbenko A, Kharchenko V, Popov P, Romanovsky A. Dependable composite web services with components upgraded online. In: de Lemos, R; Gacek, C; Romanovsky, A, ed. Architecting Dependable Systems III. Berlin: Springer, 2005, pp.92-121.
Gorbenko A, Kharchenko V, Popov P, Romanovsky A. Dependable Composite Web Services with Components Upgraded Online. In: de Lemos, R., Gacek, C. and Romanovsky, A, ed. Architecting Dependable Systems III. Berlin: Springer, 2005, pp.92-121.
Gorbenko A, Kharchenko V, Popov P, Romanovsky A. Dependable Composite Web Services with Components Upgraded Online. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2005. School of Computing Science Technical Report Series 897.
Romanovsky A, Dony C, Knudsen J-L, Tripathi A, ed. Developing Systems that Handle Exceptions: Proceedings of ECOOP'05 Workshop on Exception Handling in Object-Oriented Systems. 25 July 2005. Glasgow, UK. Montpellier, Hérault, France: Department of Computer Science. LIRMM. Montpellier-II University, 2005.
Anderson T, Feng M, Riddle S, Romanovsky A. Error Recovery for a Boiler System with OTS PID Controller. In: 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2005). 2005, Sedona, Arizona: IEEE.
Li P, Chen Y, Romanovsky A. Measuring the dependability of Web Services for use in e-Science experiments. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2005. School of Computing Science Technical Report Series 938.
Iliasov A, Khomenko V, Koutny M, Romanovsky A. On specification and verification of location-based fault tolerant mobile systems. In: Rigorous Engineering of Fault Tolerant Systems (REFT). 2005, Newcastle upon Tyne: Springer Berlin / Heidelberg.
Butler M, Jones C, Romanovsky A, Troubitsyna E. Proceedings of the Workshop on Rigorous Engineering of Fault-Tolerant Systems (REFT 2005). Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2005. School of Computing Science Technical Report Series 915.
Romanovsky A. RODIN - Rigorous Open Development Environment for Complex Systems. Software Engineering Notes 2005, 30(1), 2.
Coleman J, Jones C, Oliver I, Romanovsky A, Troubitsyna E. RODIN (Rigorous Open Development Environment for Complex Systems). Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2005. School of Computing Science Technical Report Series 896.
Guelfi N, Reggio G, Romanovsky A, ed. Scientific Engineering of Distributed Java Applications: 4th International Workshop, FIDJI 2004, Luxembourg-Kirchberg, Luxembourg, November 24-25, 2004, Revised Selected Papers. Berlin; New York: Springer-Verlag, 2005.
Garcia A, Choren R, Lucena C, Romanovsky A, Holvoet T, Giorgini P. Software Engineering for Large-Scale Multi-Agent Systems - SELMAS'05. In: 27th International Conference on Software Engineering (ICSE). 2005, St Louis, Missouri, USA: ACM.
Choren R, Garcia A, Lucena C, Romanovsky A, ed. Software Engineering for Multi-Agent Systems III: Research Issues and Practical Applications. Berlin: Springer-Verlag, 2005.
Jones C, Lomet D, Romanovsky A, Weikum G, Fekete A, Gaudel M-C, Korth HF, De Lemos R, Moss E, Rajwar R, Ramamritham K, Randell B, Rodrigues L. The atomic manifesto. Journal of Universal Computer Science 2005, 11(5), 636-650.
Jones CB, Lomet D, Romanovsky A, Weikum G. The Atomic Manifesto: a Story in Four Quarks. ACM SIGOPS Operating Systems Review 2005, 39(2), 41-46.
Jones C, Lomet D, Romanovsky A, Weikum G, Fekete A, Gaudel M-C, Korth HF, de Lemos R, Moss E, Rajwar R, Ramamritham K, Randell B, Rodrigues L. The Atomic Manifesto: a Story in Four Quarks. SIGMOD Record 2005, 34(1), 63-69.
Jones C, Lomet D, Romanovsky A, Weikum G, Fekete A, Gaudel MC, Korth H F, de Lemos R, Moss E, Rajwar R, Ramamritham K, Randell B, Rodrigues L. The Atomic Manifesto: a Story in Four Quarks. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2005. School of Computing Science Technical Report Series 886.
Castor Filho F, Romanovsky A, Rubira CMF. Verification of Coordinated Exception Handling. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2005. School of Computing Science Technical Report Series 927.
Chen Y, Li P, Romanovsky A. Web Services Dependability and Performance Monitoring. In: 21st Annual UK Performance Engineering Workshop (UKPEW). 2005, Newcastle Upon Tyne, UK.
de Lemos R, Romanovsky A. Workshop on architecting dependable systems (WADS 2005). In: 27th International Conference on Software Engineering (ICSE 2005). 2005, St. Louis, Missouri: ACM.
Choren R, Garcia A, Lucena C, Griss M, Kung D, Minsky N, Romanovsky A, ed. 26th International Conference on Software Engineering (ICSE 2004). Scotland. Third International Workshop on Software Engineering for Large-Scale Multi-Agent Systems (SELMAS'04), 24th-25th May 2004. IEE, 2004.
Asterio de C Guerra P, Rubira CMF, Romanovsky A, de Lemos R. A Dependable Architecture for COTS-Based Software Systems using Protective Wrappers. In: de Lemos, R., Gacek, C. and Romanovsky, A, ed. Architecting Dependable Systems II. Berlin: Springer-Verlag, 2004, pp.144-166.
de Lemos R, Gacek C, Romanovsky A, ed. Architecting Dependable Systems II. Berlin: Springer-Verlag, 2004.
Fitzgerald JS, Parastatidis S, Romanovsky A, Watson P. Dependability-explicit Computing in Service-oriented Architectures. In: Proceedings of the International Conference on Dependable Systems and Networks (DSN 2004). 2004, Florence, Italy.
Gorbenko A, Kharchenko V, Popov P, Romanovsky A. Dependable Composite Web Services with Components Upgraded Online: Solutions, Models and Implementation. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2004. School of Computing Science Technical Report Series 879.
Gorbenko A, Kharchenko V, Popov P, Romanovsky A, Boyarchuk A. Development of Dependable Web Services out of Undependable Web Components. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2004. School of Computing Science Technical Report Series 863.
Iliasov A, Romanovsky A. Exception Handling in Coordination-based Mobile Environments. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2004. School of Computing Science Technical Report Series 878.
Romanovsky A, Dony C, Tripathi A, Lindskov Knudsen J. Exception Handling in Object Oriented Systems: Towards Emerging Application Areas and New Programming Paradigms. In: Object-Oriented Technology: ECOOP 2003 Workshop. 2004, Darmstadt, Germany: Springer-Verlag.
Kharchenko V, Popov P, Romanovsky A. On Dependability of Composite Web Services with Components Upgraded Online. In: 2004 International Conference on Dependable Systems and Networks. 2004, Florence, Italy: IEEE Computer Society.
Choren R, Garcia A, Lucena C, Griss M, Kung D, Minsky N, Romanovsky A. Software Engineering for Large-Scale Multi-agent Systems - SELMAS'04. In: 26th International Conference on Software Engineering (ICSE). 2004, Edinburgh, UK: IEEE Computer Society.
Lucena C, Garcia A, Romanovsky A, Castro J, Alencar PSC, ed. Software Engineering for Multi-Agent Systems II : Research Issues and Practical Applications. Berlin; New York: Springer-Verlag, 2004.
de Lemos R, Gacek C, Romanovsky A, ed. Third Workshop on Architectures for Dependable Systems (WADS), 25th May 2004. [Held as part of ] ICSE Scotland 2004: 26th International Conference on Software Engineering, May 23-28, Edinburgh, UK. New Jersey, USA: IEE, 2004.
de Lemos R, Gacek C, Romanovsky A. Twin Workshops on Architecting Dependable Systems (WADS 2004). In: International Conference on Dependable Systems and Networks (DSN). 2004, Florence, Italy: IEEE Computer Society.
de Lemos R, Gacek C, Romanovsky A. Twin Workshops on Architecting Dependable Systems (WADS). In: 26th International Conference on Software Engineering (ICSE). 2004, Edinburgh, UK: IEEE Computer Society Press.
Tartanoglu F, Levy N, Issarny V, Romanovsky A. Using the B Method for the Formalization of Coordinated Atomic Actions. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2004. School of Computing Science Technical Report Series 865.
Anderson T, Randell B, Romanovsky A. Wrapping the Future. In: Building the Information Society: Proceedings of the IFIP 18th World Computer Congress. 2004, Toulouse, France: Kluwer Academic Publishers.
de Lemos R, Romanovsky A. [Workshop Summary]ICSE 2003 Workshop on Software Architectures for Dependable Systems. ACM SIGSOFT Software Engineering Notes 2003, 28(6), 1-6.
Asterio de C Guerra P, Rubira CMF, Romanovsky A, de Lemos R. A Fault-Tolerant Software Architecture for COTS-Based Software Systems. In: Proceedings of the joint 9th European Software Engineering Conference (ESEC) & 11th SIGSOFT Symposium on the Foundations of Software Engineering (FSE-11). 2003, Helsinki, Finland: ACM.
de Lemos R, Gacek C, Romanovsky A. Architecting Dependable Systems. Berlin, Germany: Springer Verlag, 2003.
de Lemos R, Gacek C, Romanovsky A, ed. Architecting Dependable Systems. Berlin: Springer-Verlag, 2003.
de Lemos R, Gacek C, Romanovsky A. Architectural Mismatch Tolerance. In: de Lemos, R, Gacek, C, and Romanovsky, A, ed. Architecting Dependable Systems. Berlin: Springer-Verlag, 2003, pp.175-194.
Tartanoglu F, Issarny V, Romanovsky A, Levy N. Coordinated Forward Error Recovery for Composite Web Services. In: 22nd International Symposium on Reliable Distributed Systems (SRDS '03). 2003, Florence, Italy: IEEE Computer Society Press.
Tartanoglu F, Issarny V, Romanovsky A, Levy N. Dependability in the Web Services Architecture. In: de Lemos, R., Gacek, C., Romanovsky, A, ed. Architecting Dependable Systems. Berlin: Springer-Verlag, 2003, pp.90-109.
Di Marzo G, Romanovsky A. Designing Fault-Tolerant Mobile Systems. In: International Workshop on Scientific Engineering for Distributed Java Applications (FIDJI 2002). 2003, Luxembourg-Kirchberg: Springer-Verlag.
Anderson T, Feng M, Riddle S, Romanovsky A. Error Recovery for a Boiler System with OTS PID Controller. In: Workshop on Exception Handling in Object-Oriented Systems: Towards Emerging Application Areas and New Programming Paradigms (ECOOP). 2003, Dept. of Computer Science, University of Minnesota, Minneapolis, USA.
Anderson T, Feng M, Riddle S, Romanovsky A. Error Recovery for a Boiler System with OTS PID Controller. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2003. School of Computing Science Technical Report Series 798.
Romanovsky A, Dony C, Tripathi A, Knudsen JL. Exception handling in object oriented systems: Towards emerging application areas and new programming paradigms. In: Object-Oriented Technology: 17th European Conference on Object-Oriented Programming (ECOOP). 2003, Darmstadt, Germany: Springer.
Gaudel M, Issarny V, Jones C, Kopetz H, Marsden E, Moffat N, Paulitsch M, Powell D, Randell B, Romanovsky A, Stroud RJ, Taiani F. Final Version of DSoS Conceptual Model (CSDA1). Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2003. School of Computing Science Technical Report Series 782.
de Lemos R, Gacek C, Romanovsky A. ICSE 2003 Workshop on Software Architectures for Dependable Systems. In: 25th International Conference on Software Engineering (ICSE). 2003, Portland, Oregon: IEEE Computer Society Press.
Asterio de C Guerra P, Rubira CMF, Romanovsky A, de Lemos R. Integrating COTS Software Components into Dependable Software Architectures. In: 6th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing. 2003, Hakodate, Japan: IEEE.
Anderson T, Feng M, Riddle S, Romanovsky A. Investigative Case Study: Protective Wrapping of OTS items in Simulated Environments. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2003. School of Computing Science Technical Report Series 821.
Romanovsky A, Dony C, Knudsen JL, Tripathi A, ed. Proceedings of the ECOOP 2003 Workshop on Exception Handling in Object-Oriented Systems: Towards Emerging Application Areas and New Programming Paradigms. Minneapolis, Minnesota, USA: Department of Computer Science, University of Minnesota, 2003.
Anderson T, Feng M, Riddle S, Romanovsky A. Protective wrapper development: A case study. In: 2nd International Conference on COTS-Based Software Systems. 2003, Ottawa, Canada: Springer.
Garcia A, Sardinha J, Lucena C, Castro J, Leite J, Milidiu R, Romanovsky A, Griss M, de Lemos R, Perini A. Software Engineering for Large-Scale Multi-Agent Systems - SELMAS 2003. Software Engineering Notes 2003, 28(6), 26.
Lucena CJP, Sardinha JA, Garcia AF, Romanovsky A, Castro J, Alencar PSC, Cowan DD. Software Engineering for Large-Scale Multi-Agent Systems (SELMAS). In: 25th International Conference on Software Engineering (ICSE). 2003, Portland, Oregon: IEEE Computer Society & ACM.
Jones C, Periorellis P, Romanovsky A, Welch I. Structured Handling of On-Line Interface Upgrades in Integrating Dependable Systems of Systems. In: Scientific Engineering for Distributed Java Applications: International Workshop (FIDJI). 2003, Luxembourg-Kirchberg, Luxembourg: Springer.
Romanovsky A, Periorellis P, Zorzo AF. Structuring integrated Web applications for fault tolerance. In: 6th International Symposium on Autonomous Decentralized Systems (ISADS). 2003, Pisa, Italy: IEEE Computer Society.
Patiño-Martínez M, Jiménez-Peris R, Romanovsky A. Transactions and Groups as Generic Building blocks for Software Fault Tolerance. In: Reliable Software Technologies: 8th Ada-Europe International Conference on Reliable Software Technologies (ADA-Europe). 2003, Toulouse, France: Springer.
Zorzo A, Periorellis P, Romanovsky A. Using Coordinated Atomic Actions for Building Complex Web Applications: a Learning Experience. In: Proceedings of the 8th International Workshop on Object-Oriented Real-Time Dependable Systems. 2003, Guadalajara, Mexico: IEEE Computer Society.
de Lemos R, Gacek C, Romanovsky A. Workshop on Software Architectures for Dependable Systems. Software Engineering Notes 2003, 28(6), 28.
Anderson T, Feng M, Riddle S, Romanovsky A. Wrapping it up. Safety Systems 2003, 13(1), 8-10.
Bryce C, Romanovsky A. 7th Workshop on Mobile Object Systems. In: Object-Oriented Technology: Workshop Reader (ECOOP). 2002, Budapest, Hungary: Springer.
Xu J, Randell B, Romanovsky A. A Generic Approach to Structuring and Implementing Complex Fault-Tolerant Software. In: 5th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC). 2002, Washington DC, USA: IEEE Computer Society Press.
Jones C, Romanovsky A, Welch I. A Structured Approach to Handling On-Line Interface Upgrades. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2002. Department of Computing Science Technical Report Series 770.
Jones C, Romanovsky A, Welch I. A Structured Approach to Handling On-Line Interface Upgrades. In: 26th Annual International Computer Software and Applications Conference (COMPSAC). 2002, Oxford, UK: IEEE Computer Society Press.
Kienzle J, Romanovsky A, Strohmeier A. Auction System Design Using Open Multithreaded Transactions. In: 7th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS). 2002, San Diego, California, USA: IEEE Computer Society Press.
Patino-Martinez M, Jimenez-Peris R, Romanovsky A. Bridging the Gap between Hardware and Software Fault Tolerance. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2002. Department of Computing Science Technical Report Series 766.
Ezhilchelvan P, Romanovsky A, ed. Concurrency in Dependable Computing. Boston, Massachusetts, USA; London: Kluwer Academic Publishers, 2002.
Tartanoglu F, Issarny V, Romanovsky A, Levy N. Coordinated Forward Error Recovery for Web Services. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2002. School of Computing Science Technical Report Series 786.
Romanovsky A, Smith I. Dependable on-line upgrading of distributed systems. In: 26th Annual International Conference on Computer Software and Applications Conference. 2002, Oxford, UK: IEEE.
Serugendo GD, Romanovsky A. Designing fault-tolerant mobile systems. In: Scientific Engineering for Distributed Java Applications: International Workshop (FIDJI). 2002, Luxembourg: Springer.
Di Marzo Serugendo G, Romanovsky A. Designing Fault-Tolerant Mobile Systems. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2002. School of Computing Science Technical Report Series 783.
Kienzle J, Romanovsky A. Framework based on design patterns for providing persistence in object-oriented programming languages. IEE Proceedings Software 2002, 149(3), 77-85.
Romanovsky A, Fabre JC, Issarny V, Jones C, Levy N, Marsden E, Periorellis P, Rodriguez M, Tartanoglu F, Welch I. Further Results on Architectures and Dependability Mechanisms for Dependable SoSs. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2002. Department of Computing Science Technical Report Series 779.
de Lemos R, Gacek C, Romanovsky A. ICSE 2002 Workshop on Architecting Dependable Systems. Software Engineering Notes 2002, 27(5), 77-80.
de Lemos R, Gacek C, Romanovsky A. ICSE 2002 Workshop on Architecting Dependable Systems. In: 24th International Conference on Software Engineering (ICSE). 2002, Orlando, Florida, USA: IEEE Press.
de Lemos R, Gacek C, Romanovsky A, ed. ICSE 2002 Workshop on Architecting Dependable Systems (Workshop Summary). New York: ACM Press, 2002.
de C Guerra PA, Rubira CMF, Romanovsky A, de Lemos R. Integrating COTS Software Components into Dependable Software Architectures. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2002. School of Computing Science Technical Report Series 780.
Romanovsky A, Periorellis P, Zorzo AF. On Structuring Integrated Web Applications for Fault Tolerance. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2002. Department of Computing Science Technical Report Series 765.
Romanovsky A. On version state recovery and adjudication in class diversity. Computer Systems Science and Engineering 2002, 17(3), 159-168.
Anderson T, Feng M, Riddle S, Romanovsky A. Protective Wrapper Development: A Case Study. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2002. School of Computing Science Technical Report Series 781.
Xu J, Randell B, Romanovsky A, Stroud RJ, Zorzo AF, Canver E, Von Henke F. Rigorous development of an embedded fault-tolerant system based on coordinated atomic actions. IEEE Transactions on Computers 2002, 51(2), 164-179.
Zorzo AF, Randell B, Romanovsky A. TLA Specification of a Mechanism for Concurrent Exception Handling. In: Ezhilchelvan, P., Romanovsky, A, ed. Concurrency in Dependable Computing. Boston, Massachusetts, USA; London: Kluwer Academic Publishers, 2002, pp.41-59.
Garcia AF, Rubira CMF, Romanovsky A, Xu J. A comparative study of exception handling mechanisms for building dependable object-oriented software. Journal of Systems and Software 2001, 59(2), 197-222.
Romanovsky A, Zorzo A. A distributed coordinated atomic action scheme. Computer Systems Science and Engineering 2001, 16(4), 237-247.
Romanovsky A, Dony C, Knudsen JL, Tripathi A, ed. Advances in Exception Handling Techniques. Berlin; New York: Springer-Verlag, 2001.
Welch I, Stroud RJ, Romanovsky A. Aspects of Exceptions at the Meta-level. In: 3rd International Conference on Metalevel Architectures and Separation of Crosscutting Concerns (REFLECTION). 2001, Kyoto, Japan: Springer-Verlag.
Welch I, Stroud RJ, Romanovsky A. Aspects of Exceptions at the Meta-Level. In: International Workshop on Reflection. 2001, Computing Department, University of Lancaster, UK.
Kienzle J, Romanovsky A. Combining Tasking and Transactions, Part II: Open Multithreaded Transactions. Ada Letters 2001, 21(1), 67-74.
Romanovsky A, Ezhilchelvan P. Conversations with fixed and potential participants. Journal of Systems Architecture 2001, 47(2), 193-196.
Romanovsky A. Coordinated Atomic Actions: How to Remain ACID in the Modern World. Software Engineering Notes 2001, 26(2), 66-68.
Romanovsky A, Sanden B. Except for Exception Handling. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2001. Department of Computing Science Technical Report Series 735.
Romanovsky A, Sanden B. Except for Exception Handling. Ada Letters 2001, 21(3), 19-25.
Romanovsky A. Exception handling in component-based system development. In: 25th Annual International Computer Software and Application Conference (COMPSAC). 2001, Chicago, Illinois, USA: IEEE.
Romanovsky A. Exception Handling in Component-Based System Development. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2001. Department of Computing Science Technical Report Series 724.
de Lemos R, Romanovsky A. Exception handling in the software lifecycle. Computer Systems Science and Engineering 2001, 16(2), 119-133.
Kienzle J, Romanovsky A. Implementing Exceptions in Open Multithreaded Transactions Based on Ada 95 Exceptions. Ada Letters 2001, 21(3), 57-63.
Romanovsky A. Looking Ahead in Atomic Actions with Exception Handling. In: 20th IEEE Symposium on Reliable Distributed Systems. 2001, New Orleans, Louisiana, USA: IEEE Computer Society.
Romanovsky A. Looking Ahead in Atomic Actions with Exception Handling. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2001. Department of Computing Science Technical Report Series 732.
Burns A, Wellings AJ, Burns F, Koelmans AM, Koutny M, Romanovsky A, Yakovlev A. Modelling and verification of an atomic action protocol implemented in Ada. In: 21st International Workshop on Software Engineering and Petri Nets (SEPN). 2001, Aarhus, Denmark: CRL Publishing.
Beder DM, Randell B, Romanovsky A, Rubira CMF. On Applying Coordinated Atomic Actions and Dependable Software Architectures for Developing Complex Systems. In: 4th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC). 2001, Magdeburg, Germany: IEEE Computer Society Press.
Burns A, Wellings AJ, Koelmans AM, Koutny M, Romanovsky A, Yakovlev A. On Developing and Verifying Design Abstractions for Reliable Concurrent Programming in Ada. ACM SIGAda Ada Letters 2001, 21(1), 48-55.
Popov P, Riddle S, Romanovsky A, Strigini L. On Systematic Design of Protectors for Employing OTS Items. In: 27th Euromicro Conference. 2001, Warsaw, Poland: IEEE Computer Society Press.
Popov P, Riddle S, Romanovsky A, Strigini L. On Systematic Design of Protectors for Employing OTS Items. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2001. Department of Computing Science Technical Report Series 730.
Popov P, Strigini L, Riddle S, Romanovsky A. Protective Wrapping of OTS Components. In: 4th ICSE Workshop on Component-Based Software Engineering: Component Certification and System Prediction (part of the 23rd IEEE International Conference on Software Engineering (ICSE). 2001, Toronto, Canada: IEEE Computer Society Press.
Jones CB, Killijian M-O, Kopetz H, Marsden E, Moffat N, Paulitsch M, Powell D, Randell B, Romanovsky A, Stroud RJ. Revised Version of DSoS Conceptual Model. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2001. Department of Computing Science Technical Report Series 746.
Kienzle J, Jimenez-Peris R, Romanovsky A, Patino-Martinez M. Transaction Support for Ada. In: 6th Ada-Europe International Conference on Reliable Software Technologies (Ada-Europe). 2001, Leuven, Belgium: Springer-Verlag.
Garcia F, Rubira-Calsavara CMF, Romanovsky A, Xu J. A Comparative Study of Exception Handling Mechanisms for Building Dependable Object-Oriented Software. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2000. Department of Computing Science Technical Report Series 714.
Kienzle J, Romanovsky A. A Framework Based on Design Patterns for Providing Persistence in Object-Oriented Programming Languages. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2000. Department of Computing Science Technical Report Series 688.
Xu J, Randell B, Romanovsky A. A Generic Implementation Approach to Concurrent Fault-Tolerant Software. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2000. Department of Computing Science Technical Report Series 692.
Romanovsky A. Abstract Object State and Version Recovery in N-Version Programming. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2000. Department of Computing Science Technical Report Series 669.
Romanovsky A, Kienzle J. Action-Oriented Exception Handling in Cooperative and Competitive Concurrent Object-Oriented Systems. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2000. Department of Computing Science Technical Report Series 713.
Randell B, Beder DM, Romanovsky A, Snow CR, Stroud RJ. An Application of Fault Tolerance Patterns and Coordinated Atomic Actions to a Problem in Railway Scheduling. Operating Systems Review 2000, 34(4), 21-31.
Romanovsky A. An Exception Handling Framework for N-Version programming in Object Oriented Systems. In: 3rd IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC). 2000, Newport Beach, California, USA: IEEE.
Romanovsky A. An Exception Handling Framework for N-Version programming in Object Oriented Systems. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2000. Department of Computing Science Technical Report Series 684.
Xu J, Romanovsky A, Randell B. Concurrent exception handling and resolution in distributed object systems. IEEE Transactions on Parallel and Distributed Systems 2000, 11(10), 1019-1032.
Perry DE, Romanovsky A, Tripathi A. Current trends in exception handling. IEEE Transactions on Software Engineering 2000, 26(10), 921-922.
Romanovsky A, Wellings A. Developing fault-tolerant systems with Ada. COMPUTER SYSTEMS SCIENCE AND ENGINEERING 2000, 15(1), 3-6.
Romanovsky A. Diversely Designed Classes for use by Multiple Tasks. Ada Letters 2000, 20(1), 25-37.
Romanovsky A. Diversely Designed Classes for Use by Multiple Tasks. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2000. Department of Computing Science Technical Report Series 691.
Popov P, Strigini L, Romanovsky A. Diversity for Off-The-Shelf Components. In: International Conference on Dependable Systems and Networks (DSN 2000) (formerly FTCS-30 and DCCA-8), Workshops and Fast Abstracts Digest. 2000, New York, USA: IEEE Computer Society Press.
Romanovsky A, Wellings AJ. Editorial to Special Issue on Developing Fault-Tolerant Systems with Ada. Computer Systems Science and Engineering 2000, 15(1), 3-6.
Romanovsky A, Dony C, Knudsen JL, Tripathi A. Exception handling in object oriented systems. In: ECOOP 2000 - Object-Oriented Programming, 14th European Conference. 2000, Sophia Antipolis and Cannes, France: Springer-Verlag.
Romanovsky A, Dony C, Knudsen JL, Tripathi A. Exception Handling in Object-Oriented Systems. In: ECOOP 2000 Workshops, Panels, and Posters: Object-Oriented Technology; part of the 14th European Conference on Object-Oriented Programming (ECOOP). 2000, Sophia Antipolis and Cannes, France: Springer-Verlag.
Romanovsky A. Extending conventional languages by distributed/concurrent exception resolution. Journal of Systems Architecture 2000, 46(1), 79-95.
Romanovsky A. Faulty version recovery in object-oriented N-version programming. IEE Proceedings: Software 2000, 147(3), 81-90.
Romanovsky A. Faulty Version Recovery in Object-Oriented N-Version Programming. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2000. Department of Computing Science Technical Report Series 679.
Kienzle J, Romanovsky A. On persistent and reliable streaming in Ada. Lecture notes in Computer Science: Reliable Software Technologies ADA-Europe 2000 2000, 1845, 82-95.
Kienzle J, Romanovsky A. On Persistent and Reliable Streaming in Ada. In: 5th Ada-Europe International Conference on Reliable Software Technologies (Ada-Europe). 2000, Potsdam, Germany: Springer-Verlag.
Romanovsky A. On Structuring Cooperative and Competitive Concurrent Systems. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2000. Department of Computing Science Technical Report Series 682.
Mikhailova A, Romanovsky A. Supporting Evolution of Interface Exceptions. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2000. Department of Computing Science Technical Report Series 715.
Romanovsky A. The domino effect as a deadlock. Computer Systems Science and Engineering 2000, 15(3), 147-154.
Burns A, Wellings AJ, Burns FP, Koutny M, Romanovsky A. Towards Modelling and Verification of Concurrent Ada Programs using Petri Nets. In: DAIMIPB: International Workshop on Software Engineering and Petri Nets (SEPN 2000) (in conjunction with the 21st International Conference on Application and Theory of Petri Nets (ICATPN). 2000, Aarhus, Denmark: Aarhus Universitet, Datalogisk Afdeling.
Burns A, Wellings AJ, Burns F, Koelmans AM, Koutny M, Romanovsky A, Yakovlev A. Towards Modelling and Verification of Concurrent Ada Programs Using Petri Nets. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2000. Department of Computing Science Technical Report Series 700.
Vachon J, Guelgi N, Romanovsky A. Using COALA to Develop a Distributed Object-Based Application. In: 2000 IEEE International Symposium on Distributed Objects and Applications (DOA). 2000, Antwerp, Belgium: IEEE Computer Society Press.
Romanovsky A. Abstract Object State and Version Recovery in N-Version Programming. In: 29th IEEE International Conference on Technology of Object-Oriented Languages and Systems (TOOLS / Europe-29). 1999, Nancy, France: IEEE.
Romanovsky A. An Exception Handling Framework for N-Version programming in Object Oriented Systems. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 1999. Department of Computing Science Technical Report Series 684.
Popov P, Strigini L, Romanovsky A. Choosing effective methods for design diversity - How to progress from intuition to science. In: 18th International Conference on Computer Safety, Reliability and Security (SAFECOMP). 1999, Toulouse, France: Springer.
Popov P, Romanovsky A, Strigini L. Choosing Effective Methods for Design Diversity - How to Progress from Intuition to Science. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1999. Department of Computing Science Technical Report Series 666.
Romanovsky A. Class diversity support in object-oriented languages. Journal of Systems and Software 1999, 48(1), 43-57.
Romanovsky A. Class Diversity Support in Object-Oriented Languages. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1999. Department of Computing Science Technical Report Series 661.
Romanovsky A, Zorzo AF. Coordinated Atomic Actions as a Technique for Implementing Distributed Gamma Computation. Journal of Systems Architecture 1999, 45(15), 1357-1374.
Romanovsky A, Xu J, Randell B. Coordinated exception handling in real-time distributed object systems. Computer Systems Science and Engineering 1999, 14(4), 197-207.
Romanovsky A, Ezhilchelvan PD. Engineering Look-ahead in Distributed Conversations. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 1999. School of Computing Science Technical Report Series 659.
Ezhilchelvan PD, Romanovsky A. Engineering Look-Ahead in Distributed Conversations. In: 4th International Symposium on Autonomous Decentralized Systems (ISADS '99). 1999, Tokyo, Japan: IEEE Computer Society Press.
de Lemos R, Romanovsky A. Exception Handling in a Cooperative Object-Oriented Approach. In: 2nd IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC). 1999, St. Malo, France: IEEE Computer Society Press.
Romanovsky A. Faulty Version Recovery in Object-Oriented N-Version Programming. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 1999. Department of Computing Science Technical Report Series 679.
Di Marzo Serugendo G, Guelfi N, Romanovsky A, Zorzo AF. Formal Development and Validation of Java Dependable Distributed Systems. In: 5th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS). 1999, Las Vegas, Nevada, USA: IEEE Computer Society Press.
Romanovsky A. On N-Version Programming and Exception Handling. In: 10th European Workshop on Dependable Computing (EWDC-10): Design Methods and Tools for Dependable Systems and Quality of Service. 1999, Vienna, Austria: OCG.
Romanovsky A. On Structuring Cooperative and Competitive Concurrent Systems. Computer Journal 1999, 42(8), 627-637.
Xu J, Randell B, Romanovsky A, Stroud R, Zorzo AF, Canver E, von Henke F. Rigorous Development of a Safety-critical system based on co-ordinated Atomic Actions. In: Proceedings of the 29th International Symposium on Fault-Tolerant Computing (FTCS). 1999, Madison, Wisconsin, USA: IEEE Computer Society.
Xu J, Randell B, Romanovsky A, Stroud RJ, Zorzo AF, Canver E, von Henke F. Rigorous Development of a Safety-Critical System Based on Coordinated Atomic Actions. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1999. Department of Computing Science Technical Report Series 662.
Zorzo AF, Romanovsky A, Xu J, Randell B, Stroud RJ, Welch IS. Using coordinated atomic actions to design safety-critical systems: A production cell case study. Software - Practice and Experience 1999, 29(8), 677-697.
Grosspietsch KE, Romanovsky A. A Concept for the Transition-Net Based Derivation of Software Versions for the Recovery Block Scheme. In: 9th European Workshop on Dependable Computing (EWDC-9): Testing Methods and Tools for Modern Computer Systems & Networks. 1998, Gdansk, Poland.
Romanovsky A. A study of atomic action schemes intended for standard Ada. Journal of Systems and Software 1998, 43(1), 29-44.
Clematis A, Gianuzzi V, Romanovsky A, Tyrrell AM, Cazzola W. Approaches to Designing Complex Dependable Systems. In: 15th IFAC Workshop on Distributed Computer Control Systems (DCCS). 1998, Como, Italy.
Di Marzo Serugendo G, Guelfi N, Romanovsky A, Zorzo AF. CO-OPN/2 Specification of the DSGamma System Designed Using Co-ordinated Atomic Actions. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1998. Department of Computing Science Technical Report Series 641.
Romanovsky A, Zorzo AF. Coordinated Atomic Actions as a Technique for Implementing Distributed Gamma Computation. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1998. Department of Computing Science Technical Report Series 624.
de Lemos R, Romanovsky A. Coordinated Atomic Actions in Modelling Object Cooperation. In: 1st IEEE International Symposium on Object-Oriented Real-time Distributed Computing (ISORC). 1998, Kyoto, Japan: IEEE Computer Society Press.
Randell B, Romanovsky A, Stroud RJ, Xu J, Zorzo AF, Schwier D, von Henke F. Coordinated Atomic Actions: Formal Model, Case Study and System Implementation. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1998. Department of Computing Science Technical Report Series 628.
Xu J, Romanovsky A, Randell B. Coordinated exception handling in distributed object systems: from model to system implementation. In: 18th IEEE International Conference on Distributed Computing Systems (ICDCS). 1998, Amsterdam, The Netherlands: IEEE.
Xu J, Randell B, Romanovsky A et al. Developing Control Software for Production Cell II: Failure Analysis and System Design Using CA Actions. In: 3rd International Workshop on Design for Validation. 1998, Louvain-La-Neuve, Belgium.
Mitchell SE, Wellings AJ, Romanovsky A. Distributed Atomic Actions in Ada 95. Computer Journal 1998, 41(7), 486-502.
de Lemos R, Romanovsky A. Exception Handling in a Co-operative Object-Oriented Approach. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1998. Department of Computing Science Technical Report Series 639.
Romanovsky A, Xu J, Randell B. Exception Handling in Object-Oriented Real-Time Distributed Systems. In: 1st IEEE International Symposium on Object-Oriented Real-time Distributed Computing (ISORC). 1998, Kyoto, Japan: IEEE Computer Society Press.
Wang Y-M, Merritt MJ, Romanovsky A. Guaranteed Deadlock Recovery: Deadlock Resolution with Rollback Propagation. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1998. Department of Computing Science Technical Report Series 648.
Romanovsky AB. Predictable toleration of design faults: Recovery blocks in real time systems. Computer Systems Science and Engineering 1998, 13(6), 369-377.
Xu J, Randell B, Romanovsky A, Stroud RJ. Supporting and Controlling Complex Concurrency in Fault-Tolerant Distributed Systems. In: International Symposium on Special Topics of Computers. 1998, China.
Zorzo AF, Romanovsky A, Randell B, Stroud RJ, Welch I, Xu J. Using Coordinated Atomic Actions to Design Dependable Distributed Object Systems. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1998. Department of Computing Science Technical Report Series 619.
Romanovsky A, Zorzo AF. A Distributed Coordinated Atomic Action Scheme. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1997. Department of Computing Science Technical Report Series 608.
Romanovsky A. A Study of Atomic Action Schemes Intended for Standard Ada. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1997. Department of Computing Science Technical Report Series 600.
Romanovsky A. Conversational Group Service. Operating Systems Review 1997, 31(1), 54-63.
de Lemos R, Romanovsky A. Coordinated Atomic Actions in Modelling Objects Cooperation. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1997. Department of Computing Science Technical Report Series 620.
Randell B, Romanovsky A, Stroud RJ, Xu J, Zorzo AF. Co-ordinated Atomic Actions: From Concept to Implementation. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1997. Department of Computing Science Technical Report Series 595.
Strigini L, Di Giandomenico F, Romanovsky A. Coordinated backward recovery between client processes and data servers. IEE Proceedings: Software 1997, 144(2), 134-146.
Xu J, Romanovsky A, Randell B. Coordinated Exception Handling in Distributed Object Systems: from Model to System Implementation. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1997. Department of Computing Science Technical Report Series 612.
Xu J, Romanovsky A, Randell B. Co-ordinated Exception Handling in Distributed Object-Oriented Systems: Improved Algorithm, Correctness and Implementation. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1997. Department of Computing Science Technical Report Series 596.
Romanovsky A, Xu J, Randell B. Exception Handling in Object-Oriented Real-Time Distributed Systems. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1997. Department of Computing Science Technical Report Series 618.
Romanovsky A, Randell B, Stroud R, Xu J, Zorzo AF. Implementation of blocking coordinated atomic actions based on forward error recovery. Journal of Systems Architecture 1997, 43(10), 687-699.
Romanovsky A, Randell B, Stroud RJ, Xu J, Zorzo AF. Implementing Synchronous Co-ordinated Atomic Actions Based on Forward Error Recovery. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1997. Department of Computing Science Technical Report Series 561.
Romanovsky A, Wang Y-M. Method for Deadlock Recovery Using Consistent Global Checkpoints. USA, 5.664.088, 1997, 30-11-1995.
Tikhomirova NV, Shturtz IV, Romanovsky A. Object-Oriented Approach to State Restoration by Reversion in Fault Tolerant Systems. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1997. Department of Computing Science Technical Report Series 571.
Romanovsky A, Zorzo AF. On Distribution of Coordinated Atomic Actions. Operating Systems Review 1997, 31(4), 63-71.
Romanovsky A, Mitchell SE, Wellings AJ. On Programming Atomic Actions in Ada 95. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1997. Department of Computing Science Technical Report Series 586.
Romanovsky A. Practical exception handling and resolution in concurrent programs. Computer Languages 1997, 23(1), 43-58.
Zorzo AF, Romanovsky A, Xu J, Randell B, Stroud R, Welch I. Using Coordinated Atomic Actions to Design Dependable Distributed Object Systems. In: OOPSLA '97 Workshop on Dependable Distributed Object Systems, Atlanta, Georgia, USA, 5 October 1997. Part of the 1997 ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages & Applications (OOPSLA). 1997, Atlanta, Georgia, USA: ACM.
Romanovsky A. Application specific conversation schemes for ADA programs. Microprocessing and Microprogramming 1996, 41(10), 703-713.
Romanovsky A. Atomic Actions Based on Distributed/Concurrent Exception Resolution. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1996. Department of Computing Science Technical Report Series 560.
Romanovsky A, Shturtz IV. Dynamic Conversations. International Journal of Computer Systems Science and Engineering 1996, 11(2), 109-116.
Romanovsky A, Xu J, Randell B. Exception Handling and Resolution in Distributed Object-Oriented Systems. In: 16th IEEE International Conference on Distributed Computing Systems (ICDCS). 1996, Hong Kong, China: IEEE Computer Society Press.
Romanovsky A. Practical Exception Handling and Resolution in Concurrent Programs. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1996. Department of Computing Science Technical Report Series 545.
Romanovsky A, Strigini L. Backward Error Recovery via Conversations in Ada. IEE Software Engineering Journal 1995, 10(6), 219-232.
Romanovsky A. Conversations of Objects. Computer Languages 1995, 21(3-4), 147-163.
Romanovsky A, Xu J, Randell B. Exception Handling and Resolution in Distributed Object-Oriented Systems. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1995. Department of Computing Science Technical Report Series 542.
Xu J, Randell B, Romanovsky A, Rubira CMF, Stroud RJ, Zhixue W. Fault Tolerance in Concurrent Object-Oriented Software through Coordinated Error Recovery. In: 25th International Symposium on Fault-Tolerant Computing (FTCS). 1995, Pasadena, California, USA: IEEE.
Xu J, Randell B, Romanovsky A, Rubira-Calsavara CMF, Stroud RJ, Wu Z. Fault Tolerance in Concurrent Object-Oriented Software Through Co-ordinated Error Recovery. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1995. Department of Computing Science Technical Report Series 507.
Randell B, Romanovsky A, Rubira-Calsavara CMF, Stroud RJ, Wu Z, Xu J. From Recovery Blocks to Concurrent Atomic Actions. In: Randell, B., Laprie, J-C., Kopetz, H., Littlewood, B, ed. Predictably Dependable Computing Systems. Brussels: Springer-Verlag, 1995, pp.87-101.
Wang Y-M, Merritt MJ, Romanovsky A. Guaranteed Deadlock Recovery: Deadlock Resolution with Rollback Propagation. In: Pacific Rim International Symposium on Fault-Tolerant Systems (PRFTS). 1995, Newport Beach, California, USA: IEEE.
Romanovsky A. How to Make a Recoverable Server by Synchronization Code Inheriting. OOPS Messenger 1995, 6(1), 7-13.
Romanovsky A. Software Diversity as a Way to Well-Structured Concurrent Software. Operating Systems Review 1995, 29(3), 85-90.
Romanovsky A. About Conversations for Concurrent OO Languages. SIGPLAN Notices 1994, 29(9), 17-21.
Romanovsky A, Strigini L. Implementation of Conversations in the Conventional Ada. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1994. Department of Computing Science Technical Report Series 475.
Romanovsky A. Recovery Unification for Concurrent Heterogeneous Systems. Computer Systems Science and Engineering 1994, 9(4), 234-239.
Romanovsky A. The Problems of Designing a Conversion Scheme for Concurrent Object Oriented Languages. Microprocessing and Microprogramming 1994, 40(10-12), 897-900.
Romanovsky A. Fault Tolerance: Synchronization of Redundancy. Operating Systems Review 1993, 27(4), 58-66.
Romanovsky A, Shturtz IV. Unplanned Recovery for Non-program Objects. International Journal of Computer Systems Science and Engineering 1993, 8(2), 72-79.
Romanovsky A, Shturtz IV, Vassilyev VR. Designing Fault-Tolerant Objects in Object-Oriented Programming. In: 7th International Conference on the Technology of Object-Oriented Languages and Systems (TOOLS Europe). 1992, Dortmund, Germany: Prentice-Hall.
Romanovsky A. Synchronization as a Framework for Distributed System Fault-Tolerance Design. In: 5th ACM SIGOPS European Workshop: Models and Paradigms for Distributed Systems Structuring (EW 5). 1992, Mont Saint-Michel, France: ACM Press.
Romanovsky A, Shturtz IV. Transparent Structurization of Parallel Processes for Backward Recovery. In: 2nd IEEE International Parallel and Distributed Processing Symposium (IPPS). 1990, Dallas, Texas, USA: IEEE Computer Society Press.