Publications by Emeritus Professor Alexander Romanovsky - ePrints

Browsing publications by Emeritus Professor Alexander Romanovsky.

Newcastle Authors	Title	Year
Dr Alexei Iliasov Dr Linas Laibinis Emeritus Professor Alexander Romanovsky	Safety Invariant Engineering for Interlocking Verification	2024
Dr Sergiy Bogomolov Dr Alexei Iliasov Emeritus Professor Alexander Romanovsky Dr Paulius Stankaitis	A Refinement-based Formal Development of Cyber-physical Railway Signalling Systems	2023
Dr Alexei Iliasov Dr Linas Laibinis Emeritus Professor Alexander Romanovsky	Practical Verification of Railway Signalling Programs	2023
Dr Alexei Iliasov Dr Linas Laibinis Emeritus Professor Alexander Romanovsky	The SafeCap trajectory: industry-driven improvement of an interlocking verification tool	2023
Dr Alexei Iliasov Emeritus Professor Alexander Romanovsky	Formal verification of railway interlocking and its safety case	2022
Dr Alexei Iliasov Dr Linas Laibinis Dr Ilya Lopatkin Emeritus Professor Alexander Romanovsky	Safety Invariant Verification that Meets Engineers’ Expectations	2022
Flavio Primo Emeritus Professor Alexander Romanovsky Professor Paolo Missier	A customisable pipeline for the semi-automateddiscovery of online activists and social campaigns onTwitter	2021
Dr Paulius Stankaitis Dr Alexei Iliasov Emeritus Professor Alexander Romanovsky	A refinement-based development of a distributed signalling system	2021
Dr Linas Laibinis Dr Alexei Iliasov Emeritus Professor Alexander Romanovsky	Mutation Testing for Rule-Based Verification of Railway Signaling Data	2021
Mohammed Al-Hayanni Dr Fei Xia Dr Ashur Rafiev Emeritus Professor Alexander Romanovsky Professor Rishad Shafik et al.	Amdahl’s law in the context of heterogeneous many-core systems – a survey	2020
Dr Zhenyu Wen Dr Rawaa Qasha Professor Raj Ranjan Professor Paul Watson Emeritus Professor Alexander Romanovsky et al.	Dynamically Partitioning Workflow over Federated Clouds for Optimising the Monetary Cost and Handling Run-Time Failures	2020
Dr Paulius Stankaitis Dr Alexei Iliasov Dr Keiichi Ishikawa Emeritus Professor Alexander Romanovsky	Formal Distributed Protocol Development for Reservation of Railway Sections	2020
Dr Anatoliy Gorbenko Emeritus Professor Alexander Romanovsky	From Analyzing Operating System Vulnerabilities to Designing Multiversion Intrusion-Tolerant Architectures	2020
Dr Zhenyu Wen Professor Raj Ranjan Emeritus Professor Alexander Romanovsky Dr Jiawei Xu	GA-Par: Dependable Microservice Orchestration Framework for Geo-Distributed Clouds	2020
Ali Aalsaud Dr Fei Xia Dr Ashur Rafiev Professor Rishad Shafik Emeritus Professor Alexander Romanovsky et al.	Low-complexity run-time management of concurrent workloads for energy-efficient multi-core systems	2020
Mohammed Al-Hayanni Dr Ashur Rafiev Dr Fei Xia Professor Rishad Shafik Emeritus Professor Alexander Romanovsky et al.	PARMA: Parallelization-Aware Run-time Management for Energy-Efficient Many-Core Systems	2020
Flavio Primo Professor Paolo Missier Emeritus Professor Alexander Romanovsky	A Customisable Pipeline for Continuously Harvesting Socially-Minded Twitter Users	2019
Dr Paulius Stankaitis Dr Alexei Iliasov Emeritus Professor Alexander Romanovsky	A refinement based method for developing distributed protocols	2019
Emeritus Professor Alexander Romanovsky	Fault tolerant internet computing: Benchmarking and modelling trade-offs between availability, latency and consistency	2019
Dr Paulius Stankaitis Dr Alexei Iliasov Emeritus Professor Alexander Romanovsky	Modelling Hybrid Train Speed Controller using Proof and Refinement	2019
Professor Raj Ranjan Emeritus Professor Alexander Romanovsky Ayman Noor	Osmotic Monitoring of Microservices between the Edge and Cloud	2019
Dr Alexei Iliasov Emeritus Professor Alexander Romanovsky Dr Linas Laibinis	Quantitative Validation of Formal Domain Models	2019
Sami Alajrami Emeritus Professor Alexander Romanovsky	Cost-aware scheduling of software processes execution in the cloud	2018
Sami Alajrami Emeritus Professor Alexander Romanovsky	Cost-Aware Scheduling of Software Processes Execution in the Cloud	2018
Emeritus Professor Alexander Romanovsky	DroidEH: An Exception Handling Mechanism for Android Applications	2018
Dr Zhenyu Wen Emeritus Professor Alexander Romanovsky Jie Xu Professor Raj Ranjan	Emergent Failures: Rethinking Cloud Reliability at Scale	2018
Sami Alajrami Emeritus Professor Alexander Romanovsky	Enabling GSD task allocation via cloud-based software processes	2018
Dr Ashur Rafiev Dr Fei Xia Dr Alexei Iliasov Dr Rem Gensh Ali Aalsaud et al.	Error-Based Metric for Cross-Layer Cut Determination	2018
Dr Alexei Iliasov Dr Linas Laibinis Emeritus Professor Alexander Romanovsky	Formal Verification of Signalling Programs with SafeCap	2018
Dr Alexei Iliasov Dr Linas Laibinis Emeritus Professor Alexander Romanovsky	Formal Verification of Signalling Programs with SafeCap	2018
Emeritus Professor Alexander Romanovsky	Proceedings of the Event-B Day 2018 in Tokyo	2018
Dr Ashur Rafiev Mohammed Al-Hayanni Dr Fei Xia Professor Rishad Shafik Emeritus Professor Alexander Romanovsky et al.	Speedup and Power Scaling Models for Heterogeneous Many-Core Systems	2018
Dr Zhenyu Wen Emeritus Professor Alexander Romanovsky Professor Raj Ranjan	Using Osmotic Services Composition for Dynamic Load Balancing of Smart City Applications	2018
Professor Paolo Missier Emeritus Professor Alexander Romanovsky	VazaDengue: An information system for preventing and combating mosquito-borne diseases with social networks	2018
Paulius Stankaitis Dr Alexei Iliasov Emeritus Professor Alexander Romanovsky	A Railway Simulation Suite For Modelling Advanced Railway Control Systems	2017
Luke Martin Emeritus Professor Alexander Romanovsky	An Approach for Designing Knowledge-Based Systems for High-Integrity Applications	2017
Rem Gensh Dr Ashur Rafiev Emeritus Professor Alexander Romanovsky Dr Fei Xia Professor Alex Yakovlev et al.	Architecting Holistic Fault Tolerance	2017
Dr Zhenyu Wen Dr Jacek Cala Professor Paul Watson Emeritus Professor Alexander Romanovsky	Cost Effective, Reliable and Secure Workﬂow Deployment over Federated Clouds	2017
Sami Alajrami Emeritus Professor Alexander Romanovsky	Enabling GSD task allocation via cloud-based software processes	2017
Rem Gensh Emeritus Professor Alexander Romanovsky	Experience Report: Evaluation of Holistic Fault Tolerance	2017
Emeritus Professor Alexander Romanovsky	Experience Report: Study of Vulnerabilities of Enterprise Operating Systems	2017
Dr Rem Gensh Dr Ashur Rafiev Dr Fei Xia Emeritus Professor Alexander Romanovsky Professor Alex Yakovlev et al.	Modelling for systems with holistic fault tolerance	2017
Emeritus Professor Alexander Romanovsky	Preface	2017
Professor Paolo Missier Emeritus Professor Alexander Romanovsky	Recruiting from the network: Discovering Twitter users who can help combat Zika epidemics	2017
Dr Ashur Rafiev Dr Andrey Mokhov Dr Fei Xia Dr Alexei Iliasov Rem Gensh et al.	Resource-Driven Modelling for Managing Model Fidelity	2017
Dr Ashur Rafiev Dr Fei Xia Dr Alexei Iliasov Rem Gensh Ali Aalsaud et al.	Selective abstraction and stochastic methods for scalable power modelling of heterogeneous systems	2017
Dr Ashur Rafiev Dr Fei Xia Dr Alexei Iliasov Emeritus Professor Alexander Romanovsky Professor Alex Yakovlev et al.	Selective Abstraction for Estimating Extra-Functional Properties in Networks-on-Chips using ArchOn Framework	2017
Emeritus Professor Alexander Romanovsky Dr Elena Troubitsyna	Software Engineering for Resilient Systems: 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4-5, 2017, Proceedings	2017
Emeritus Professor Alexander Romanovsky	Stochastic activity networks for the verification of knowledge bases	2017
Professor Paolo Missier Emeritus Professor Alexander Romanovsky	VazaDengue: An Information System for Preventing and Combating Mosquito-Borne Diseases with Social Networks	2017
Dr Fei Xia Dr Ashur Rafiev Ali Aalsaud Mohammed Al-Hayanni Dr Andrey Mokhov et al.	Voltage, Throughput, Power, Reliability and Multicore Scaling	2017
Luke Martin Emeritus Professor Alexander Romanovsky	A Formal Approach to Designing Reliable Advisory Systems	2016
Luke Martin Emeritus Professor Alexander Romanovsky	A Formal Approach to Designing Reliable Advisory Systems	2016
Rem Gensh Dr Ashur Rafiev Emeritus Professor Alexander Romanovsky Dr Fei Xia Professor Alex Yakovlev et al.	Architecting Holistic Fault Tolerance	2016
Professor John Fitzgerald Dr Claire Ingram Emeritus Professor Alexander Romanovsky	Concepts of Dependable Cyber-Physical Systems Engineering: Model-Based Approaches	2016
Sami Alajrami Emeritus Professor Alexander Romanovsky	Enabling Global Software Development via Cloud-Based Software Process Enactment	2016
Emeritus Professor Alexander Romanovsky	Event-B Day. National Institute of InformaticsTokyo, Japan. November 21, 2016	2016
Sami Alajrami Emeritus Professor Alexander Romanovsky	EXE-SPEM: Towards cloud-based executable software process models	2016
Dr Alexei Iliasov Emeritus Professor Alexander Romanovsky	Formal Analysis of railway signalling data	2016
Dr Alexei Iliasov Emeritus Professor Alexander Romanovsky Dr Elena Troubitsyna	Formalisation-Driven Development of Safety-Critical Systems	2016
Emeritus Professor Alexander Romanovsky Dr Alexei Iliasov	Introducing SafeCap, a safety-focused tool for optimising route capacity	2016
Emeritus Professor Alexander Romanovsky Dr Elena Troubitsyna	Message from the Program Co-Chairs	2016
Rem Gensh Emeritus Professor Alexander Romanovsky Professor Alex Yakovlev	On Structuring Holistic Fault Tolerance	2016
Dr Alexei Iliasov Dr Paulius Stankaitis Emeritus Professor Alexander Romanovsky	Proving Event-B Models with Reusable Generic Lemmas	2016
Dr Alexei Iliasov Paulius Stankaitis Emeritus Professor Alexander Romanovsky	Proving Event-B models with reusable generic lemmas	2016
Emeritus Professor Alexander Romanovsky	Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification	2016
Dr Alexei Iliasov Dr Paulius Stankaitis David Ebo Adjepon-Yamoah Emeritus Professor Alexander Romanovsky	Rodin Platform Why3 Plug-In	2016
Sami Alajrami Emeritus Professor Alexander Romanovsky	Software Development in the Post-PC Era: Towards Software Development as a Service	2016
Sami Alajrami Emeritus Professor Alexander Romanovsky	Towards Cloud-Based Enactment of Safety-Related Processes	2016
Professor Paolo Missier Emeritus Professor Alexander Romanovsky Tudor Miu Atinder Pal	Tracking Dengue Epidemics using Twitter Content Classification and Topic Modelling	2016
Emeritus Professor Alexander Romanovsky	Trustworthy Cyber-Physical Systems Engineering	2016
Emeritus Professor Alexander Romanovsky	Trustworthy Cyber-Physical Systems Engineering	2016
Emeritus Professor Alexander Romanovsky Dr Elena Troubitsyna	Workshop on Formal and Model-Driven Techniques for Developing Trustworthy Systems	2016
Dr Alexei Iliasov Dr Ashur Rafiev Dr Fei Xia Rem Gensh Emeritus Professor Alexander Romanovsky et al.	A formal specification and prototyping language for multi-core system management	2015
Dr Alexei Iliasov Dr Ashur Rafiev Dr Fei Xia Rem Gensh Emeritus Professor Alexander Romanovsky et al.	A formal specification and prototyping language for multi-core system management	2015
David Ebo Adjepon-Yamoah Emeritus Professor Alexander Romanovsky Dr Alexei Iliasov	A Reactive Architecture for Cloud-Based System Engineering	2015
David Adjepon-Yamoah Emeritus Professor Alexander Romanovsky Dr Alexei Iliasov	A reactive architecture for cloud-based system engineering.	2015
Dr Zhenyu Wen Dr Jacek Cala Professor Paul Watson Emeritus Professor Alexander Romanovsky	Cost Effective, Reliable and Secure Workflow Deployment over Federated Clouds	2015
Luke Martin Emeritus Professor Alexander Romanovsky Dr William Blewitt	Design and development of the train advisory systems for the future	2015
Rem Gensh Emeritus Professor Alexander Romanovsky Professor Alex Yakovlev	Engineering Cross-Layer Fault Tolerance in Many-Core Systems	2015
Dr Rem Gensh Emeritus Professor Alexander Romanovsky Professor Alex Yakovlev	Engineering Cross-Layer Fault Tolerance in Many-Core Systems.	2015
Rem Gensh Ali Aalsaud Dr Ashur Rafiev Dr Fei Xia Dr Alexei Iliasov et al.	Experiments with Odroid-XU3 board	2015
Dr Alexei Iliasov Emeritus Professor Alexander Romanovsky	Formal Modelling of Railway Safety and Capacity	2015
Dr Alexei Iliasov Emeritus Professor Alexander Romanovsky	Formal Modelling of Railway Safety and Capacity	2015
Dr Elena Troubitsyna Dr Alexei Iliasov Emeritus Professor Alexander Romanovsky	From Requirements Engineering to Safety Assurance:Refinement Approach	2015
Sami Alajrami Emeritus Professor Alexander Romanovsky Professor Paul Watson	On Cloud-Based Software Processes	2015
Dr Ashur Rafiev Dr Fei Xia Dr Alexei Iliasov Rem Gensh Ali Aalsaud et al.	Order Graphs and Cross-Layer Parametric Significance-driven Modelling	2015
Dr Alexei Iliasov Emeritus Professor Alexander Romanovsky	OSLC-based Support for Integrated Development of Dependable Systems	2015
Dr Ashur Rafiev Dr Fei Xia Dr Alexei Iliasov Rem Gensh Ali Aalsaud et al.	Power-proportional modelling fidelity	2015
Dr Alexei Iliasov David Ebo Adjepon-Yamoah Paulius Stankaitis Emeritus Professor Alexander Romanovsky	Putting Provers on the Cloud	2015
Dr Alexei Iliasov Dr Elena Troubitsyna David Ebo Adjepon-Yamoah Emeritus Professor Alexander Romanovsky	Refinement-based Approach to Co-engineering Requirements and Formal Models	2015
Dr Alexei Iliasov Emeritus Professor Alexander Romanovsky	SafeCap: The Train Advisory System for Real-Time Traffic Management	2015
Dr Ashur Rafiev Dr Alexei Iliasov Emeritus Professor Alexander Romanovsky Dr Andrey Mokhov Dr Fei Xia et al.	Studying the Interplay of Concurrency, Performance, Energy and Reliability with ArchOn - An Architecture-Open Resource-Driven Cross-Layer Modelling Framework	2015
Dr Anatoliy Gorbenko Emeritus Professor Alexander Romanovsky	The Impact of Consistency on System Latency in Fault Tolerant Internet Computing	2015
Dr Anatoliy Gorbenko Emeritus Professor Alexander Romanovsky	The Impact of Consistency on System Latency in Fault Tolerant Internet Computing	2015
Dr Alexei Iliasov Professor Roberto Palacin Emeritus Professor Alexander Romanovsky	Advanced Modelling, Simulation and Verification for Future Traffic Regulation Optimisation	2014
Dr Alexei Iliasov Professor Roberto Palacin Emeritus Professor Alexander Romanovsky	Advanced Modelling, Simulation and Verification for Future Traffic Regulation Optimisation	2014
Dr Ashur Rafiev Dr Alexei Iliasov Emeritus Professor Alexander Romanovsky Dr Andrey Mokhov Dr Fei Xia et al.	ArchOn: Architecture-open Resource-driven Cross-layer Modelling Framework	2014
Emeritus Professor Alexander Romanovsky	Message from general chair: EDCC 2014	2014
Dr Alexei Iliasov Dr Ilya Lopatkin Emeritus Professor Alexander Romanovsky	Practical formal methods in railways - The SafeCap approach	2014
Dr Alexei Iliasov Dr Ilya Lopatkin Emeritus Professor Alexander Romanovsky	Practical formal methods in railways - the SafeCap Approach	2014
Dr Alexei Iliasov Dr Ilya Lopatkin Ana Mihut Emeritus Professor Alexander Romanovsky	Real-time ATO reconfiguration for operational stability	2014
Dr Alexei Iliasov Dr Ilya Lopatkin Ana Mihut Emeritus Professor Alexander Romanovsky	Real-time ATO Reconfiguration For Operational Stability	2014
Dr Ashur Rafiev Dr Alexei Iliasov Emeritus Professor Alexander Romanovsky Dr Andrey Mokhov Dr Fei Xia et al.	Resource-driven Modelling of Complex Digital Systems with Uncertainty	2014
Dr Ilya Lopatkin Emeritus Professor Alexander Romanovsky	Rigorous Development of Fault-Tolerant Systems through Co-Refinement	2014
Dr Ilya Lopatkin Emeritus Professor Alexander Romanovsky	Rigorous Development of Fault-Tolerant Systems through Co-Refinement	2014
Dr Ilya Lopatkin Emeritus Professor Alexander Romanovsky	Rigorous Development of Fault-Tolerant Systems through Co-refinement	2014
Dr Alexei Iliasov Emeritus Professor Alexander Romanovsky	SafeCap: The Train Advisory System for Real-Time Traffic Management	2014
Emeritus Professor Cliff Jones Emeritus Professor Alexander Romanovsky	Special issue on Automated Verification of Critical Systems (AVoCS'11) Preface	2014
Dr Ashur Rafiev Dr Alexei Iliasov Emeritus Professor Alexander Romanovsky Dr Andrey Mokhov Dr Fei Xia et al.	Studying the Interplay of Concurrency, Performance, Energy and Reliability with ArchOn – an Architecture-open Resource-driven Cross-layer Modelling Framework	2014
Dr Andrey Mokhov Dr Alexei Iliasov Dr Danil Sokolov Maxim Rykunov Professor Alex Yakovlev et al.	Synthesis of Processor Instruction Sets from High-Level ISA Specifications	2014
Sami Alajrami Emeritus Professor Alexander Romanovsky Professor Paul Watson Professor Andreas Roth	Towards Cloud-Based Software Process Modelling and Enactment	2014
Sami Alajrami Emeritus Professor Alexander Romanovsky Professor Paul Watson Professor Andreas Roth	Towards Cloud-Based Software Process Modelling and Enactment	2014
Dr Zoe Andrews Dr Claire Ingram Dr Richard Payne Emeritus Professor Alexander Romanovsky	Traceable Engineering of Fault-Tolerant SoSs	2014
Dr Alexei Iliasov Dr Ilya Lopatkin Emeritus Professor Alexander Romanovsky	Unified Train Driving Policy	2014
Dr Ilya Lopatkin Emeritus Professor Alexander Romanovsky	A Method for Rigorous Development of Fault-Tolerant Systems	2013
Emeritus Professor Alexander Romanovsky	After and outside DEPLOY: The deploy ecosystem	2013
Dr Alexei Iliasov Dr Elena Troubitsyna Emeritus Professor Alexander Romanovsky	Developing mode-rich satellite software by refinement in Event-B	2013
Dr Zoe Andrews Professor John Fitzgerald Dr Richard Payne Emeritus Professor Alexander Romanovsky	Fault Modelling for Systems of Systems	2013
Emeritus Professor Alexander Romanovsky	Industrial deployment of system engineering methods	2013
Emeritus Professor Alexander Romanovsky	Industrial software engineering and formal methods	2013
Emeritus Professor Alexander Romanovsky	Introducing formal methods into existing industrial practices	2013
Dr Zoe Andrews Dr Richard Payne Emeritus Professor Alexander Romanovsky	Model-based development of fault tolerant systems of systems	2013
Dr Alexei Iliasov Dr Ilya Lopatkin Emeritus Professor Alexander Romanovsky	The SafeCap Platform for Modelling Railway Safety and Capacity	2013
Dr Alexei Iliasov Dr Ilya Lopatkin Emeritus Professor Alexander Romanovsky	The SafeCap Project on Railway Safety Verification and Capacity Simulation	2013
Dr Anatoliy Gorbenko Emeritus Professor Alexander Romanovsky	Time-Outing Internet Services	2013
Dr Zoe Andrews Dr Claire Ingram Dr Richard Payne Emeritus Professor Alexander Romanovsky	Traceable Engineering of Fault-Tolerant SoSs	2013
Emeritus Professor Alexander Romanovsky	Architecting Fault Tolerant Systems	2012
Emeritus Professor Alexander Romanovsky	Deployment of Formal Methods in Industry: the Legacy of the FP7 ICT DEPLOY Integrated Project	2012
Dr Anatoliy Gorbenko Emeritus Professor Alexander Romanovsky	Exploring Uncertainty of Delays as a Factor in End-to-End Cloud Response Time	2012
Dr Zoe Andrews Professor John Fitzgerald Dr Richard Payne Emeritus Professor Alexander Romanovsky	Fault Modelling for Systems of Systems	2012
Dr Elena Troubitsyna Dr Alexei Iliasov Emeritus Professor Alexander Romanovsky	Formal Approach to Ensuring Interoperability of Mobile Agents	2012
Emeritus Professor Alexander Romanovsky Jonathan Warwick	Newcastle Experience of Coordinating the FP7 DEPLOY Integrated Project	2012
Emeritus Professor Alexander Romanovsky	Proceedings: Workshop on the experience of and advances in developing dependable systems in Event-B	2012
Dr Alexei Iliasov Emeritus Professor Alexander Romanovsky	SAFECAP domain language for reasoning about safety and capacity	2012
Dr Alexei Iliasov Emeritus Professor Alexander Romanovsky	The SafeCap toolset for improving railway capacity while ensuring its safety	2012
Professor John Fitzgerald Dr Terrence Mak Emeritus Professor Alexander Romanovsky Professor Alex Yakovlev	Workshop Proceedings: Trustworthy Cyber-Physical Systems	2012
Dr Alexei Iliasov Dr Elena Troubitsyna Emeritus Professor Alexander Romanovsky	Formal Derivation of a Distributed Program in Event B	2011
Dr Alexei Iliasov Dr Elena Troubitsyna Emeritus Professor Alexander Romanovsky	Formal Derivation of a Distributed Program in Event B	2011
Denis Grotsev Dr Alexei Iliasov Emeritus Professor Alexander Romanovsky	Formal Stepwise Development of Scalable and Reliable Multiagent Systems	2011
Dr Anatoliy Gorbenko Emeritus Professor Alexander Romanovsky	Measuring and Dealing with the Uncertainty of SOA Solutions	2011
Dr Ilya Lopatkin Dr Alexei Iliasov Emeritus Professor Alexander Romanovsky Dr Elena Troubitsyna	Patterns for Representing FMEA in Formal Specification of Control Systems	2011
Dr Ilya Lopatkin Dr Alexei Iliasov Emeritus Professor Alexander Romanovsky	Patterns for Representing FMEA in Formal Specification of Control Systems	2011
Emeritus Professor Cliff Jones Emeritus Professor Alexander Romanovsky	Proceedings of the 11th International Workshop on Automated Verification of Critical Systems	2011
Emeritus Professor Alexander Romanovsky	Reliable Software Technologies - Ada-Europe 2011. Proceedings of the 16th Ada-Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24, 2011	2011
Dr Ilya Lopatkin Dr Alexei Iliasov Emeritus Professor Alexander Romanovsky	Rigorous Development of Dependable Systems using Fault Tolerance Views	2011
Dr Ilya Lopatkin Dr Alexei Iliasov Emeritus Professor Alexander Romanovsky	Rigorous Development of Dependable Systems using Fault Tolerance Views	2011
Dr Anatoliy Gorbenko Emeritus Professor Alexander Romanovsky	Using Diversity in Cloud-Based Deployment Environment to Avoid Intrusions	2011
Dr Anatoliy Gorbenko Emeritus Professor Alexander Romanovsky	Using Diversity in Cloud-Based Deployment Environment to Avoid Intrusions	2011
Dr Alexei Iliasov Dr Elena Troubitsyna Emeritus Professor Alexander Romanovsky	Developing Mode-Rich Satellite Software by Refinement in Event B	2010
Dr Alexei Iliasov Dr Elena Troubitsyna Emeritus Professor Alexander Romanovsky	Developing Mode-Rich Satellite Software by Refinement in Event B	2010
Denis Grotsev Dr Alexei Iliasov Emeritus Professor Alexander Romanovsky	Formal Stepwise Development of Scalable and Reliable Multiagent Systems	2010
Emeritus Professor Alexander Romanovsky	Guest Editors' Introduction to the Special Section on Exception Handling: From Requirements to Software Maintenance	2010
YUAN CHEN Dr Anatoliy Gorbenko Emeritus Professor Alexander Romanovsky	Measuring and Dealing with the Uncertainty of SOA Solutions	2010
Professor John Fitzgerald Emeritus Professor Alexander Romanovsky	MetaSelf – An Architecture and a Development Method for Dependable Self-* Systems	2010
Dr Ilya Lopatkin Dr Alexei Iliasov Emeritus Professor Alexander Romanovsky	On Fault Tolerance Reuse during Refinement	2010
Dr Ilya Lopatkin Dr Alexei Iliasov Emeritus Professor Alexander Romanovsky	On Fault Tolerance Reuse during Refinement	2010
Dr Jeremy Bryans Professor John Fitzgerald Emeritus Professor Alexander Romanovsky	Patterns for Modelling Time and Consistency in Business Information Systems	2010
Dr Alexei Iliasov Dr Elena Troubitsyna Emeritus Professor Alexander Romanovsky	Patterns for Refinement Automation	2010
Dr Alexei Iliasov Dr Elena Troubitsyna Emeritus Professor Alexander Romanovsky	Patterns for Refinement Automation	2010
Dr Anatoliy Gorbenko Emeritus Professor Alexander Romanovsky	Real Distribution of Response Time Instability in Service-Oriented Architecture	2010
Dr Alexei Iliasov Dr Elena Troubitsyna Emeritus Professor Alexander Romanovsky	Supporting Reuse in Event B Development: Modularisation Approach	2010
Dr Elena Troubitsyna Dr Alexei Iliasov Emeritus Professor Alexander Romanovsky	System Architecture, Dependability and Modes	2010
Dr Alexei Iliasov Dr Elena Troubitsyna Emeritus Professor Alexander Romanovsky	Verifying Mode Consistency for On-Board Satellite Software	2010
Yixing Chen Dr Anatoliy Gorbenko Emeritus Professor Alexander Romanovsky	Benchmarking Dependability of a System Biology Application	2009
Dr Yuhui Chen Emeritus Professor Alexander Romanovsky Dr Anatoliy Gorbenko	Benchmarking Dependability of a System Biology Application	2009
Dr Jeremy Bryans Professor John Fitzgerald Emeritus Professor Alexander Romanovsky	Formal Modelling and Analysis of Business Information Applications with Fault Tolerant Middleware	2009
Emeritus Professor Alexander Romanovsky Avelino Zorzo	Frameworks for designing and implementing dependable systems using Coordinated Atomic Actions: A comparative study	2009
Emeritus Professor Alexander Romanovsky	Improving reliability of cooperative concurrent systems with exception flow analysis	2009
Emeritus Professor Cliff Jones Emeritus Professor Alexander Romanovsky Dr Elena Troubitsyna	Methods, Models and Tools for Fault Tolerance	2009
Dr Fernando Dotti Dr Alexei Iliasov Emeritus Professor Alexander Romanovsky	Modal systems: Specification, refinement and realisation	2009
Dr Fernando Dotti Dr Alexei Iliasov Emeritus Professor Alexander Romanovsky	Modal Systems: Specification, Refinement and Realisation	2009
Dr Fernando Dotti Dr Alexei Iliasov Emerson Ribeiro De Mello Emeritus Professor Alexander Romanovsky	Modal Systems: Specification, Refinement and Realisation	2009
Dr Jeremy Bryans Professor John Fitzgerald Emeritus Professor Alexander Romanovsky	Patterns for Modelling Time and Consistency in Business Information Systems	2009
Dr Anatoliy Gorbenko Emeritus Professor Alexander Romanovsky	Real Distribution of Response Time Instability in Service-Oriented Architecture	2009
Emeritus Professor Alexander Romanovsky	Special track on dependable and adaptive distributed systems	2009
Dr Alexei Iliasov Dr Leonardus Arief Emeritus Professor Alexander Romanovsky	Step-wise development of resilient ambient campus scenarios	2009
Dr Alexei Iliasov Dr Leonardus Arief Emeritus Professor Alexander Romanovsky	Step-Wise Development of Resilient Ambient Campus Scenarios	2009
Dr Alexei Iliasov Emeritus Professor Alexander Romanovsky Dr Fernando Dotti	Structuring Specifications with Modes	2009
Dr Alexei Iliasov Dr Fernando Dotti Emeritus Professor Alexander Romanovsky	Structuring Specifications with Modes	2009
Dr Anatoliy Gorbenko Emeritus Professor Alexander Romanovsky	Using inherent service redundancy and diversity to ensure web services dependability	2009
Emeritus Professor Alexander Romanovsky	An aspect-oriented software architecture for code mobility	2008
Emeritus Professor Alexander Romanovsky	DEPLOY: industrial deployment of advanced system engineering methods for high productivity and dependability	2008
Emeritus Professor Alexander Romanovsky	DEPLOY: Industrial deployment of advanced system engineering methods for high productivity and dependability	2008
Emeritus Professor Alexander Romanovsky	Engineering Fault Tolerant Systems	2008
Dr Anatoliy Gorbenko Emeritus Professor Alexander Romanovsky	Experimenting with exception propagation mechanisms in service-oriented architecture	2008
Dr Elena Troubitsyna Dr Alexei Iliasov Emeritus Professor Alexander Romanovsky	Formal development of cooperative exception handling for mobile agent systems	2008
Dr Elena Troubitsyna Dr Alexei Iliasov Emeritus Professor Alexander Romanovsky	Formal development of cooperative exception handling for mobile agent systems	2008
Dr Jeremy Bryans Professor John Fitzgerald Emeritus Professor Alexander Romanovsky	Formal Modelling and Analysis of Business Information Applications with Fault Tolerant Middleware	2008
Dr Alexei Iliasov Dr Elena Troubitsyna Emeritus Professor Alexander Romanovsky	Guided Formal Development: Patterns for Modelling and Refinement	2008
Dr Anatoliy Gorbenko Emeritus Professor Alexander Romanovsky	How to enhance UDDI with dependability capabilities	2008
Dr Yuhui Chen Emeritus Professor Alexander Romanovsky	Improving the dependability of web services integration	2008
Emeritus Professor Alexander Romanovsky	Improving the Reliability of Cooperative Concurrent Systems with Exception Flow Analysis	2008
Emeritus Professor Alexander Romanovsky	Mediating Web Services for Dependability	2008
Professor John Fitzgerald Emeritus Professor Alexander Romanovsky	MetaSelf - A Framework for Designing and Controlling Self-Adaptive and Self-Organising Systems	2008
Dr Alexei Iliasov Dr Elena Troubitsyna Emeritus Professor Alexander Romanovsky	Patterns for Refinement Automation	2008
Dr Alexei Iliasov Emeritus Professor Alexander Romanovsky	Refinement Patterns for Fault Tolerant Systems	2008
Dr Alexei Iliasov Emeritus Professor Alexander Romanovsky	Refinement Patterns for Fault Tolerant Systems	2008
Emeritus Professor Alexander Romanovsky	SERENE '08. RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems. 17-19 November 2008. Newcastle upon Tyne, UK	2008
Dr Anatoliy Gorbenko Emeritus Professor Alexander Romanovsky	The Threat of Uncertainty in Service-Oriented Architecture	2008
Dr Anatoliy Gorbenko Dr Yuhui Chen Emeritus Professor Alexander Romanovsky	The threat of uncertainty in service-oriented architecture	2008
Emeritus Professor Alexander Romanovsky	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	2008
Dr Alexei Iliasov Emeritus Professor Alexander Romanovsky Dr Leonardus Arief Dr Elena Troubitsyna	A framework for open distributed system design	2007
Emeritus Professor Alexander Romanovsky	A looming fault tolerance software crisis?	2007
Professor John Fitzgerald Emeritus Professor Alexander Romanovsky	A Metadata-Based Architectural Model for Dynamically Resilient Systems	2007
Dr Rogerio De Lemos Dr Cristina Gacek Emeritus Professor Alexander Romanovsky	Architecting Dependable Systems IV	2007
Emeritus Professor Alexander Romanovsky	Architecting Fault Tolerant Systems	2007
Emeritus Professor Alexander Romanovsky	Architecting Fault Tolerant Systems	2007
Emeritus Professor Alexander Romanovsky	Coordinated atomic actions for dependable distributed systems: The current state in concepts, semantics and verification means	2007
Emeritus Professor Alexander Romanovsky	EFTS 2007: The 2nd international workshop on engineering fault tolerant systems	2007
Emeritus Professor Alexander Romanovsky	Exception handling in context-aware agent systems: A case study	2007
Dr Anatoliy Gorbenko Emeritus Professor Alexander Romanovsky	Experimenting With Exception Handling Mechanisms Of Web Services Implemented Using Different Development Kits	2007
Professor John Fitzgerald Emeritus Professor Alexander Romanovsky	Generic Framework for the Engineering of Self-Adaptive and Self-Organising Systems	2007
Emeritus Professor Alexander Romanovsky	Improving Service Availability without Improving Availability of Individual Services	2007
Dr Anatoliy Gorbenko Emeritus Professor Alexander Romanovsky	On composing Dependable Web Services using undependable web components	2007
Dr Leonardus Arief Dr Alexei Iliasov Emeritus Professor Alexander Romanovsky	On developing open mobile fault tolerant agent systems	2007
Emeritus Professor Alexander Romanovsky	On exceptions, exception handling, requirements and software lifecycle	2007
Dr Alexei Iliasov Emeritus Professor Alexander Romanovsky Dr Leonardus Arief Dr Elena Troubitsyna	On rigorous design and implementation of fault tolerant ambient systems	2007
Emeritus Professor Cliff Jones Emeritus Professor Alexander Romanovsky Dr Elena Troubitsyna	Proceedings of the Workshop on Methods, Models and Tools for Fault Tolerance	2007
Emeritus Professor Alexander Romanovsky	Software Engineering for Multi-Agent Systems V: Research Issues and Practical Applications	2007
Emeritus Professor Alexander Romanovsky	Software Engineering of Fault Tolerant Systems	2007
Emeritus Professor Alexander Romanovsky	A Looming Fault Tolerance Software Crisis?	2006
Yuan Chen Emeritus Professor Alexander Romanovsky	A Mediator System for Improving Dependability of Web Services	2006
Emeritus Professor Alexander Romanovsky	A modular implementation framework for code mobility	2006
Emeritus Professor Alexander Romanovsky	Advanced Topics in Exception Handling Techniques	2006
Emeritus Professor Alexander Romanovsky	Agent-oriented architecture for monitoring and diagnosis in supervisory systems	2006
Dr Rogerio De Lemos Dr Cristina Gacek Emeritus Professor Alexander Romanovsky	Architecting dependable systems	2006
Emeritus Professor Alexander Romanovsky Avelino Zorzo	CAA-DRIP: a framework for implementing Coordinated Atomic Actions	2006
Emeritus Professor Alexander Romanovsky	Context-Aware Exception Handling in Mobile Agent Systems: The MoCA Case	2006
Emeritus Professor Alexander Romanovsky	Context-aware exception handling in mobile agent systems: The MoCA case	2006
Professor John Fitzgerald Emeritus Professor Alexander Romanovsky	Dependable Self-Organising Software Architectures - An Approach for Self-Managing Systems	2006
Emeritus Professor Alexander Romanovsky	Editorial message: Special track on dependable and adaptive distributed systems	2006
Emeritus Professor Alexander Romanovsky	Fifth workshop on Software Engineering for Large-Scale Multi-Agent Systems (SELMAS)	2006
Dr Alexei Iliasov Dr Elena Troubitsyna Emeritus Professor Alexander Romanovsky	Formal Approach to Ensuring Interoperability of Mobile Agents	2006
Emeritus Professor Alexander Romanovsky	Introduction to the SELMAS 2006	2006
Emeritus Professor Alexander Romanovsky	Looking Ahead in Open Multithreaded Transactions	2006
Dr Peter Li Emeritus Professor Alexander Romanovsky	Measuring the Dependability of Web Services for Use in e-Science Experiments	2006
Dr Peter Li Dr Yifan Chen Emeritus Professor Alexander Romanovsky	Measuring the Dependability of Web Services for Use in e-Science Experiments	2006
Dr Alexei Iliasov Emeritus Professor Alexander Romanovsky Dr Leonardus Arief Dr Elena Troubitsyna	On Rigorous Design and Implementation of Fault Tolerant Ambient Systems	2006
Dr Leonardus Arief Dr Alexei Iliasov Emeritus Professor Alexander Romanovsky	On Using the CAMA Framework for Developing Open Mobile Fault Tolerant Agent Systems	2006
Dr Leonardus Arief Dr Alexei Iliasov Emeritus Professor Alexander Romanovsky	On Using the CAMA Framework for Developing Open Mobile Fault Tolerant Agent Systems	2006
Dr Leonardus Arief Dr Alexei Iliasov Emeritus Professor Alexander Romanovsky	On using the CAMA framework for developing open mobile fault tolerant agent systems	2006
Emeritus Professor Alexander Romanovsky	Preface	2006
Emeritus Professor Cliff Jones Emeritus Professor Alexander Romanovsky Dr Elena Troubitsyna	Rigorous Development of Complex Fault-Tolerant Systems	2006
Dr Elena Troubitsyna Dr Alexei Iliasov Emeritus Professor Alexander Romanovsky	Rigorous Development of Fault-Tolerant Agent Systems	2006
Emeritus Professor Alexander Romanovsky	Software Engineering for Multi-Agent Systems IV: Research Issues and Practical Applications	2006
Dr Alexei Iliasov Emeritus Professor Alexander Romanovsky	Structured coordination spaces for fault tolerant mobile agents	2006
Emeritus Professor Alexander Romanovsky	Towards an Engineering Approach to Component Adaptation	2006
Emeritus Professor Alexander Romanovsky	Towards an Engineering Approach to Component Adaptation	2006
Emeritus Professor Alexander Romanovsky	Verification of Coordinated Exception Handling	2006
Dr Rogerio De Lemos Dr Cristina Gacek Emeritus Professor Alexander Romanovsky	Workshop on Architecting Dependable Systems (WADS)	2006
Dr Rogerio De Lemos Dr Cristina Gacek Emeritus Professor Alexander Romanovsky	Architecting Dependable Systems III	2005
Dr Alexei Iliasov Emeritus Professor Alexander Romanovsky	CAMA: Structured Coordination Space and Exception Propagation Mechanism for Mobile Agents	2005
Dr Anatoliy Gorbenko Emeritus Professor Alexander Romanovsky	Dependable Composite Web Services with Components Upgraded Online	2005
Dr Anatoliy Gorbenko Emeritus Professor Alexander Romanovsky	Dependable Composite Web Services with Components Upgraded Online	2005
Dr Anatoliy Gorbenko Emeritus Professor Alexander Romanovsky	Dependable composite web services with components upgraded online	2005
Emeritus Professor Alexander Romanovsky	Developing Systems that Handle Exceptions: Proceedings of ECOOP'05 Workshop on Exception Handling in Object-Oriented Systems. 25 July 2005. Glasgow, UK	2005
Emeritus Professor Tom Anderson Dr Mei Feng Dr Stephen Riddle Emeritus Professor Alexander Romanovsky	Error Recovery for a Boiler System with OTS PID Controller	2005
Dr Alexei Iliasov Emeritus Professor Alexander Romanovsky	Exception Handling in Coordination-based Mobile Environments	2005
Dr Peter Li Emeritus Professor Alexander Romanovsky	Measuring the dependability of Web Services for use in e-Science experiments	2005
Dr Alexei Iliasov Dr Victor Khomenko Professor Maciej Koutny Emeritus Professor Alexander Romanovsky	On specification and verification of location-based fault tolerant mobile systems	2005
Emeritus Professor Cliff Jones Emeritus Professor Alexander Romanovsky Dr Elena Troubitsyna	Proceedings of the Workshop on Rigorous Engineering of Fault-Tolerant Systems (REFT 2005)	2005
Emeritus Professor Alexander Romanovsky	RODIN - Rigorous Open Development Environment for Complex Systems	2005
Dr Joey Coleman Emeritus Professor Cliff Jones Emeritus Professor Alexander Romanovsky Dr Elena Troubitsyna	RODIN (Rigorous Open Development Environment for Complex Systems)	2005
Emeritus Professor Alexander Romanovsky	Scientific Engineering of Distributed Java Applications: 4th International Workshop, FIDJI 2004, Luxembourg-Kirchberg, Luxembourg, November 24-25, 2004, Revised Selected Papers	2005
Emeritus Professor Alexander Romanovsky	Software Engineering for Large-Scale Multi-Agent Systems - SELMAS'05	2005
Emeritus Professor Alexander Romanovsky	Software Engineering for Multi-Agent Systems III: Research Issues and Practical Applications	2005
Emeritus Professor Cliff Jones Emeritus Professor Alexander Romanovsky Dr Rogerio De Lemos Professor Brian Randell	The atomic manifesto	2005
Emeritus Professor Cliff Jones Emeritus Professor Alexander Romanovsky Dr Rogerio De Lemos Professor Brian Randell	The Atomic Manifesto: a Story in Four Quarks	2005
Emeritus Professor Cliff Jones Emeritus Professor Alexander Romanovsky Dr Rogerio De Lemos Professor Brian Randell	The Atomic Manifesto: a Story in Four Quarks	2005
Emeritus Professor Cliff Jones Emeritus Professor Alexander Romanovsky	The Atomic Manifesto: a Story in Four Quarks	2005
Emeritus Professor Alexander Romanovsky	Verification of Coordinated Exception Handling	2005
YUAN CHEN Dr Peter Li Emeritus Professor Alexander Romanovsky	Web Services Dependability and Performance Monitoring	2005
Dr Rogerio De Lemos Emeritus Professor Alexander Romanovsky	Workshop on architecting dependable systems (WADS 2005)	2005
Emeritus Professor Alexander Romanovsky	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	2004
Emeritus Professor Alexander Romanovsky Dr Rogerio De Lemos	A Dependable Architecture for COTS-Based Software Systems using Protective Wrappers	2004
Dr Rogerio De Lemos Dr Cristina Gacek Emeritus Professor Alexander Romanovsky	Architecting Dependable Systems II	2004
Professor John Fitzgerald Professor Savas Parastatidis Emeritus Professor Alexander Romanovsky Professor Paul Watson	Dependability-explicit Computing in Service-oriented Architectures	2004
Dr Anatoliy Gorbenko Emeritus Professor Alexander Romanovsky	Dependable Composite Web Services with Components Upgraded Online: Solutions, Models and Implementation	2004
Dr Anatoliy Gorbenko Emeritus Professor Alexander Romanovsky	Development of Dependable Web Services out of Undependable Web Components	2004
Dr Alexei Iliasov Emeritus Professor Alexander Romanovsky	Exception Handling in Coordination-based Mobile Environments	2004
Emeritus Professor Alexander Romanovsky	Exception Handling in Object Oriented Systems: Towards Emerging Application Areas and New Programming Paradigms	2004
Emeritus Professor Alexander Romanovsky	On Dependability of Composite Web Services with Components Upgraded Online	2004
Emeritus Professor Alexander Romanovsky	Software Engineering for Large-Scale Multi-agent Systems - SELMAS'04	2004
Emeritus Professor Alexander Romanovsky	Software Engineering for Multi-Agent Systems II : Research Issues and Practical Applications	2004
Dr Rogerio De Lemos Dr Cristina Gacek Emeritus Professor Alexander Romanovsky	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	2004
Dr Rogerio De Lemos Dr Cristina Gacek Emeritus Professor Alexander Romanovsky	Twin Workshops on Architecting Dependable Systems (WADS 2004)	2004
Dr Rogerio De Lemos Dr Cristina Gacek Emeritus Professor Alexander Romanovsky	Twin Workshops on Architecting Dependable Systems (WADS)	2004
Emeritus Professor Alexander Romanovsky	Using the B Method for the Formalization of Coordinated Atomic Actions	2004
Emeritus Professor Tom Anderson Professor Brian Randell Emeritus Professor Alexander Romanovsky	Wrapping the Future	2004
Emeritus Professor Tom Anderson Professor Brian Randell Emeritus Professor Alexander Romanovsky	Wrapping the Future	2004
Dr Rogerio De Lemos Emeritus Professor Alexander Romanovsky	[Workshop Summary]ICSE 2003 Workshop on Software Architectures for Dependable Systems	2003
Emeritus Professor Alexander Romanovsky Dr Rogerio De Lemos	A Fault-Tolerant Software Architecture for COTS-Based Software Systems	2003
Dr Rogerio De Lemos Dr Cristina Gacek Emeritus Professor Alexander Romanovsky	Architecting Dependable Systems	2003
Dr Rogerio De Lemos Dr Cristina Gacek Emeritus Professor Alexander Romanovsky	Architecting Dependable Systems	2003
Dr Rogerio De Lemos Dr Cristina Gacek Emeritus Professor Alexander Romanovsky	Architectural Mismatch Tolerance	2003
Emeritus Professor Alexander Romanovsky	Coordinated Forward Error Recovery for Composite Web Services	2003
Emeritus Professor Alexander Romanovsky	Dependability in the Web Services Architecture	2003
Emeritus Professor Alexander Romanovsky	Designing Fault-Tolerant Mobile Systems	2003
Emeritus Professor Tom Anderson Dr Mei Feng Dr Stephen Riddle Emeritus Professor Alexander Romanovsky	Error Recovery for a Boiler System with OTS PID Controller	2003
Emeritus Professor Tom Anderson Dr Mei Feng Dr Stephen Riddle Emeritus Professor Alexander Romanovsky	Error Recovery for a Boiler System with OTS PID Controller	2003
Emeritus Professor Alexander Romanovsky	Exception handling in object oriented systems: Towards emerging application areas and new programming paradigms	2003
Emeritus Professor Cliff Jones Professor Brian Randell Emeritus Professor Alexander Romanovsky Dr Robert Stroud	Final Version of DSoS Conceptual Model (CSDA1)	2003
Dr Rogerio De Lemos Dr Cristina Gacek Emeritus Professor Alexander Romanovsky	ICSE 2003 Workshop on Software Architectures for Dependable Systems	2003
Emeritus Professor Alexander Romanovsky Dr Rogerio De Lemos	Integrating COTS Software Components into Dependable Software Architectures	2003
Emeritus Professor Tom Anderson Dr Mei Feng Dr Stephen Riddle Emeritus Professor Alexander Romanovsky	Investigative Case Study: Protective Wrapping of OTS items in Simulated Environments	2003
Emeritus Professor Alexander Romanovsky	Proceedings of the ECOOP 2003 Workshop on Exception Handling in Object-Oriented Systems: Towards Emerging Application Areas and New Programming Paradigms	2003
Emeritus Professor Tom Anderson Dr Mei Feng Dr Stephen Riddle Emeritus Professor Alexander Romanovsky	Protective wrapper development: A case study	2003
Emeritus Professor Alexander Romanovsky Dr Rogerio De Lemos	Software Engineering for Large-Scale Multi-Agent Systems - SELMAS 2003	2003
Emeritus Professor Alexander Romanovsky	Software Engineering for Large-Scale Multi-Agent Systems (SELMAS)	2003
Emeritus Professor Cliff Jones Dr Panos Periorellis Emeritus Professor Alexander Romanovsky Ian Welch	Structured Handling of On-Line Interface Upgrades in Integrating Dependable Systems of Systems	2003
Emeritus Professor Alexander Romanovsky Dr Panos Periorellis Avelino Zorzo	Structuring integrated Web applications for fault tolerance	2003
Emeritus Professor Alexander Romanovsky	Transactions and Groups as Generic Building blocks for Software Fault Tolerance	2003
Avelino Zorzo Dr Panos Periorellis Emeritus Professor Alexander Romanovsky	Using Coordinated Atomic Actions for Building Complex Web Applications: a Learning Experience	2003
Dr Rogerio De Lemos Dr Cristina Gacek Emeritus Professor Alexander Romanovsky	Workshop on Software Architectures for Dependable Systems	2003
Emeritus Professor Tom Anderson Dr Mei Feng Dr Stephen Riddle Emeritus Professor Alexander Romanovsky	Wrapping it up	2003
Emeritus Professor Alexander Romanovsky	7th Workshop on Mobile Object Systems	2002
Professor Brian Randell Emeritus Professor Alexander Romanovsky	A Generic Approach to Structuring and Implementing Complex Fault-Tolerant Software	2002
Emeritus Professor Cliff Jones Emeritus Professor Alexander Romanovsky Ian Welch	A Structured Approach to Handling On-Line Interface Upgrades	2002
Emeritus Professor Cliff Jones Emeritus Professor Alexander Romanovsky Ian Welch	A Structured Approach to Handling On-Line Interface Upgrades	2002
Emeritus Professor Alexander Romanovsky	Auction System Design Using Open Multithreaded Transactions	2002
Emeritus Professor Alexander Romanovsky	Bridging the Gap between Hardware and Software Fault Tolerance	2002
Dr Paul Ezhilchelvan Emeritus Professor Alexander Romanovsky	Concurrency in Dependable Computing	2002
Emeritus Professor Alexander Romanovsky	Coordinated Forward Error Recovery for Web Services	2002
Emeritus Professor Alexander Romanovsky	Dependable on-line upgrading of distributed systems	2002
Emeritus Professor Alexander Romanovsky	Designing fault-tolerant mobile systems	2002
Emeritus Professor Alexander Romanovsky	Designing Fault-Tolerant Mobile Systems	2002
Emeritus Professor Alexander Romanovsky	Framework based on design patterns for providing persistence in object-oriented programming languages	2002
Emeritus Professor Alexander Romanovsky Emeritus Professor Cliff Jones Dr Panos Periorellis Ian Welch	Further Results on Architectures and Dependability Mechanisms for Dependable SoSs	2002
Dr Rogerio De Lemos Dr Cristina Gacek Emeritus Professor Alexander Romanovsky	ICSE 2002 Workshop on Architecting Dependable Systems	2002
Dr Rogerio De Lemos Dr Cristina Gacek Emeritus Professor Alexander Romanovsky	ICSE 2002 Workshop on Architecting Dependable Systems	2002
Dr Rogerio De Lemos Dr Cristina Gacek Emeritus Professor Alexander Romanovsky	ICSE 2002 Workshop on Architecting Dependable Systems (Workshop Summary)	2002
Emeritus Professor Alexander Romanovsky Dr Rogerio De Lemos	Integrating COTS Software Components into Dependable Software Architectures	2002
Emeritus Professor Alexander Romanovsky Dr Panos Periorellis Avelino Zorzo	On Structuring Integrated Web Applications for Fault Tolerance	2002
Emeritus Professor Alexander Romanovsky	On version state recovery and adjudication in class diversity	2002
Emeritus Professor Tom Anderson Dr Mei Feng Dr Stephen Riddle Emeritus Professor Alexander Romanovsky	Protective Wrapper Development: A Case Study	2002
Professor Brian Randell Emeritus Professor Alexander Romanovsky Dr Robert Stroud Avelino Zorzo	Rigorous development of an embedded fault-tolerant system based on coordinated atomic actions	2002
Avelino Zorzo Professor Brian Randell Emeritus Professor Alexander Romanovsky	TLA Specification of a Mechanism for Concurrent Exception Handling	2002
Emeritus Professor Alexander Romanovsky	A comparative study of exception handling mechanisms for building dependable object-oriented software	2001
Emeritus Professor Alexander Romanovsky Avelino Zorzo	A distributed coordinated atomic action scheme	2001
Emeritus Professor Alexander Romanovsky	Advances in Exception Handling Techniques	2001
Ian Welch Dr Robert Stroud Emeritus Professor Alexander Romanovsky	Aspects of Exceptions at the Meta-Level	2001
Ian Welch Dr Robert Stroud Emeritus Professor Alexander Romanovsky	Aspects of Exceptions at the Meta-level	2001
Emeritus Professor Alexander Romanovsky	Combining Tasking and Transactions, Part II: Open Multithreaded Transactions	2001
Emeritus Professor Alexander Romanovsky Dr Paul Ezhilchelvan	Conversations with fixed and potential participants	2001
Emeritus Professor Alexander Romanovsky	Coordinated Atomic Actions: How to Remain ACID in the Modern World	2001
Emeritus Professor Alexander Romanovsky	Except for Exception Handling	2001
Emeritus Professor Alexander Romanovsky	Except for Exception Handling...	2001
Emeritus Professor Alexander Romanovsky	Exception handling in component-based system development	2001
Emeritus Professor Alexander Romanovsky	Exception Handling in Component-Based System Development	2001
Dr Rogerio De Lemos Emeritus Professor Alexander Romanovsky	Exception handling in the software lifecycle	2001
Emeritus Professor Alexander Romanovsky	Implementing Exceptions in Open Multithreaded Transactions Based on Ada 95 Exceptions	2001
Emeritus Professor Alexander Romanovsky	Looking Ahead in Atomic Actions with Exception Handling	2001
Emeritus Professor Alexander Romanovsky	Looking Ahead in Atomic Actions with Exception Handling	2001
Dr Frank Burns Dr Albert Koelmans Professor Maciej Koutny Emeritus Professor Alexander Romanovsky Professor Alex Yakovlev et al.	Modelling and verification of an atomic action protocol implemented in Ada	2001
Professor Brian Randell Emeritus Professor Alexander Romanovsky	On Applying Coordinated Atomic Actions and Dependable Software Architectures for Developing Complex Systems	2001
Dr Albert Koelmans Professor Maciej Koutny Emeritus Professor Alexander Romanovsky Professor Alex Yakovlev	On Developing and Verifying Design Abstractions for Reliable Concurrent Programming in Ada	2001
Dr Stephen Riddle Emeritus Professor Alexander Romanovsky	On Systematic Design of Protectors for Employing OTS Items	2001
Dr Stephen Riddle Emeritus Professor Alexander Romanovsky	On Systematic Design of Protectors for Employing OTS Items	2001
Dr Stephen Riddle Emeritus Professor Alexander Romanovsky	Protective Wrapping of OTS Components	2001
Emeritus Professor Cliff Jones Professor Brian Randell Emeritus Professor Alexander Romanovsky Dr Robert Stroud	Revised Version of DSoS Conceptual Model	2001
Emeritus Professor Alexander Romanovsky	Transaction Support for Ada	2001
Emeritus Professor Alexander Romanovsky	A Comparative Study of Exception Handling Mechanisms for Building Dependable Object-Oriented Software	2000
Emeritus Professor Alexander Romanovsky	A Framework Based on Design Patterns for Providing Persistence in Object-Oriented Programming Languages	2000
Professor Brian Randell Emeritus Professor Alexander Romanovsky	A Generic Implementation Approach to Concurrent Fault-Tolerant Software	2000
Emeritus Professor Alexander Romanovsky	Abstract Object State and Version Recovery in N-Version Programming	2000
Emeritus Professor Alexander Romanovsky	Action-Oriented Exception Handling in Cooperative and Competitive Concurrent Object-Oriented Systems	2000
Professor Brian Randell Emeritus Professor Alexander Romanovsky Dr Charles Snow Dr Robert Stroud	An Application of Fault Tolerance Patterns and Coordinated Atomic Actions to a Problem in Railway Scheduling	2000
Emeritus Professor Alexander Romanovsky	An Exception Handling Framework for N-Version programming in Object Oriented Systems	2000
Emeritus Professor Alexander Romanovsky	An Exception Handling Framework for N-Version programming in Object Oriented Systems	2000
Emeritus Professor Alexander Romanovsky Professor Brian Randell	Concurrent exception handling and resolution in distributed object systems	2000
Emeritus Professor Alexander Romanovsky	Current trends in exception handling	2000
Emeritus Professor Alexander Romanovsky	Diversely Designed Classes for use by Multiple Tasks	2000
Emeritus Professor Alexander Romanovsky	Diversely Designed Classes for Use by Multiple Tasks	2000
Emeritus Professor Alexander Romanovsky	Diversity for Off-The-Shelf Components	2000
Emeritus Professor Alexander Romanovsky	Editorial to Special Issue on Developing Fault-Tolerant Systems with Ada	2000
Emeritus Professor Alexander Romanovsky	Exception handling in object oriented systems	2000
Emeritus Professor Alexander Romanovsky	Exception Handling in Object-Oriented Systems	2000
Emeritus Professor Alexander Romanovsky	Extending conventional languages by distributed/concurrent exception resolution	2000
Emeritus Professor Alexander Romanovsky	Faulty version recovery in object-oriented N-version programming	2000
Emeritus Professor Alexander Romanovsky	Faulty Version Recovery in Object-Oriented N-Version Programming	2000
Emeritus Professor Alexander Romanovsky	On Persistent and Reliable Streaming in Ada	2000
Emeritus Professor Alexander Romanovsky	On persistent and reliable streaming in Ada	2000
Emeritus Professor Alexander Romanovsky	On Structuring Cooperative and Competitive Concurrent Systems	2000
Emeritus Professor Alexander Romanovsky	Supporting Evolution of Interface Exceptions	2000
Emeritus Professor Alexander Romanovsky	The domino effect as a deadlock	2000
Dr Frank Burns Dr Albert Koelmans Professor Maciej Koutny Emeritus Professor Alexander Romanovsky Professor Alex Yakovlev et al.	Towards Modelling and Verification of Concurrent Ada Programs Using Petri Nets	2000
Dr Frank Burns Professor Maciej Koutny Emeritus Professor Alexander Romanovsky	Towards Modelling and Verification of Concurrent Ada Programs using Petri Nets	2000
Emeritus Professor Alexander Romanovsky	Using COALA to Develop a Distributed Object-Based Application	2000
Emeritus Professor Alexander Romanovsky	Abstract Object State and Version Recovery in N-Version Programming	1999
Emeritus Professor Alexander Romanovsky	An Exception Handling Framework for N-Version programming in Object Oriented Systems	1999
Emeritus Professor Alexander Romanovsky	Choosing effective methods for design diversity - How to progress from intuition to science	1999
Emeritus Professor Alexander Romanovsky	Choosing Effective Methods for Design Diversity - How to Progress from Intuition to Science	1999
Emeritus Professor Alexander Romanovsky	Class Diversity Support in Object-Oriented Languages	1999
Emeritus Professor Alexander Romanovsky	Class diversity support in object-oriented languages	1999
Emeritus Professor Alexander Romanovsky Avelino Zorzo	Coordinated Atomic Actions as a Technique for Implementing Distributed Gamma Computation	1999
Emeritus Professor Alexander Romanovsky Professor Brian Randell	Coordinated exception handling in real-time distributed object systems	1999
Emeritus Professor Alexander Romanovsky Dr Paul Ezhilchelvan	Engineering Look-ahead in Distributed Conversations	1999
Dr Paul Ezhilchelvan Emeritus Professor Alexander Romanovsky	Engineering Look-Ahead in Distributed Conversations	1999
Dr Rogerio De Lemos Emeritus Professor Alexander Romanovsky	Exception Handling in a Cooperative Object-Oriented Approach	1999
Emeritus Professor Alexander Romanovsky	Faulty Version Recovery in Object-Oriented N-Version Programming	1999
Emeritus Professor Alexander Romanovsky Avelino Zorzo	Formal Development and Validation of Java Dependable Distributed Systems	1999
Emeritus Professor Alexander Romanovsky	On N-Version Programming and Exception Handling	1999
Emeritus Professor Alexander Romanovsky	On Structuring Cooperative and Competitive Concurrent Systems	1999
Professor Brian Randell Emeritus Professor Alexander Romanovsky Dr Robert Stroud Avelino Zorzo	Rigorous Development of a Safety-Critical System Based on Coordinated Atomic Actions	1999
Professor Brian Randell Emeritus Professor Alexander Romanovsky Dr Robert Stroud Avelino Zorzo	Rigorous Development of a Safety-critical system based on co-ordinated Atomic Actions	1999
Avelino Zorzo Emeritus Professor Alexander Romanovsky Professor Brian Randell Dr Robert Stroud Ian Welch et al.	Using coordinated atomic actions to design safety-critical systems: A production cell case study	1999
Emeritus Professor Alexander Romanovsky	A Concept for the Transition-Net Based Derivation of Software Versions for the Recovery Block Scheme	1998
Emeritus Professor Alexander Romanovsky	A study of atomic action schemes intended for standard Ada	1998
Emeritus Professor Alexander Romanovsky	Approaches to Designing Complex Dependable Systems	1998
Emeritus Professor Alexander Romanovsky Avelino Zorzo	CO-OPN/2 Specification of the DSGamma System Designed Using Co-ordinated Atomic Actions	1998
Emeritus Professor Alexander Romanovsky Avelino Zorzo	Coordinated Atomic Actions as a Technique for Implementing Distributed Gamma Computation	1998
Dr Rogerio De Lemos Emeritus Professor Alexander Romanovsky	Coordinated Atomic Actions in Modelling Object Cooperation	1998
Professor Brian Randell Emeritus Professor Alexander Romanovsky Dr Robert Stroud Avelino Zorzo	Coordinated Atomic Actions: Formal Model, Case Study and System Implementation	1998
Emeritus Professor Alexander Romanovsky Professor Brian Randell	Coordinated exception handling in distributed object systems: from model to system implementation	1998
Professor Brian Randell Emeritus Professor Alexander Romanovsky	Developing Control Software for Production Cell II: Failure Analysis and System Design Using CA Actions	1998
Emeritus Professor Alexander Romanovsky	Distributed Atomic Actions in Ada 95	1998
Dr Rogerio De Lemos Emeritus Professor Alexander Romanovsky	Exception Handling in a Co-operative Object-Oriented Approach	1998
Emeritus Professor Alexander Romanovsky Professor Brian Randell	Exception Handling in Object-Oriented Real-Time Distributed Systems	1998
Emeritus Professor Alexander Romanovsky	Guaranteed Deadlock Recovery: Deadlock Resolution with Rollback Propagation	1998
Emeritus Professor Alexander Romanovsky	Predictable toleration of design faults: Recovery blocks in real time systems	1998
Professor Brian Randell Emeritus Professor Alexander Romanovsky Dr Robert Stroud	Supporting and Controlling Complex Concurrency in Fault-Tolerant Distributed Systems	1998
Avelino Zorzo Emeritus Professor Alexander Romanovsky Professor Brian Randell Dr Robert Stroud Ian Welch et al.	Using Coordinated Atomic Actions to Design Dependable Distributed Object Systems	1998
Emeritus Professor Alexander Romanovsky Avelino Zorzo	A Distributed Coordinated Atomic Action Scheme	1997
Emeritus Professor Alexander Romanovsky	A Study of Atomic Action Schemes Intended for Standard Ada	1997
Emeritus Professor Alexander Romanovsky	Conversational Group Service	1997
Dr Rogerio De Lemos Emeritus Professor Alexander Romanovsky	Coordinated Atomic Actions in Modelling Objects Cooperation	1997
Professor Brian Randell Emeritus Professor Alexander Romanovsky Dr Robert Stroud Avelino Zorzo	Co-ordinated Atomic Actions: From Concept to Implementation	1997
Emeritus Professor Alexander Romanovsky	Coordinated backward recovery between client processes and data servers	1997
Emeritus Professor Alexander Romanovsky Professor Brian Randell	Coordinated Exception Handling in Distributed Object Systems: from Model to System Implementation	1997
Emeritus Professor Alexander Romanovsky Professor Brian Randell	Co-ordinated Exception Handling in Distributed Object-Oriented Systems: Improved Algorithm, Correctness and Implementation	1997
Emeritus Professor Alexander Romanovsky Professor Brian Randell	Exception Handling in Object-Oriented Real-Time Distributed Systems	1997
Emeritus Professor Alexander Romanovsky Professor Brian Randell Dr Robert Stroud Avelino Zorzo	Implementation of blocking coordinated atomic actions based on forward error recovery	1997
Emeritus Professor Alexander Romanovsky Professor Brian Randell Dr Robert Stroud Avelino Zorzo	Implementing Synchronous Co-ordinated Atomic Actions Based on Forward Error Recovery	1997
Emeritus Professor Alexander Romanovsky	Method for Deadlock Recovery Using Consistent Global Checkpoints	1997
Emeritus Professor Alexander Romanovsky	Object-Oriented Approach to State Restoration by Reversion in Fault Tolerant Systems	1997
Emeritus Professor Alexander Romanovsky Avelino Zorzo	On Distribution of Coordinated Atomic Actions	1997
Emeritus Professor Alexander Romanovsky	On Programming Atomic Actions in Ada 95	1997
Emeritus Professor Alexander Romanovsky	Practical exception handling and resolution in concurrent programs	1997
Avelino Zorzo Emeritus Professor Alexander Romanovsky Professor Brian Randell Dr Robert Stroud Ian Welch et al.	Using Coordinated Atomic Actions to Design Dependable Distributed Object Systems	1997
Emeritus Professor Alexander Romanovsky	Application specific conversation schemes for ADA programs	1996
Emeritus Professor Alexander Romanovsky	Atomic Actions Based on Distributed/Concurrent Exception Resolution	1996
Emeritus Professor Alexander Romanovsky	Dynamic Conversations	1996
Emeritus Professor Alexander Romanovsky Professor Brian Randell	Exception Handling and Resolution in Distributed Object-Oriented Systems	1996
Emeritus Professor Alexander Romanovsky	Practical Exception Handling and Resolution in Concurrent Programs	1996
Emeritus Professor Alexander Romanovsky	Backward Error Recovery via Conversations in Ada	1995
Emeritus Professor Alexander Romanovsky	Conversations of Objects	1995
Emeritus Professor Alexander Romanovsky Professor Brian Randell	Exception Handling and Resolution in Distributed Object-Oriented Systems	1995
Professor Brian Randell Emeritus Professor Alexander Romanovsky	Fault Tolerance in Concurrent Object-Oriented Software through Coordinated Error Recovery	1995
Professor Brian Randell Emeritus Professor Alexander Romanovsky Dr Robert Stroud Jake Wu	Fault Tolerance in Concurrent Object-Oriented Software Through Co-ordinated Error Recovery	1995
Professor Brian Randell Emeritus Professor Alexander Romanovsky Dr Robert Stroud	From Recovery Blocks to Concurrent Atomic Actions	1995
Emeritus Professor Alexander Romanovsky	Guaranteed Deadlock Recovery: Deadlock Resolution with Rollback Propagation	1995
Emeritus Professor Alexander Romanovsky	How to Make a Recoverable Server by Synchronization Code Inheriting	1995
Emeritus Professor Alexander Romanovsky	Software Diversity as a Way to Well-Structured Concurrent Software	1995
Emeritus Professor Alexander Romanovsky	About Conversations for Concurrent OO Languages	1994
Emeritus Professor Alexander Romanovsky	Implementation of Conversations in the Conventional Ada	1994
Emeritus Professor Alexander Romanovsky	Recovery Unification for Concurrent Heterogeneous Systems	1994
Emeritus Professor Alexander Romanovsky	The Problems of Designing a Conversion Scheme for Concurrent Object Oriented Languages	1994
Emeritus Professor Alexander Romanovsky	Fault Tolerance: Synchronization of Redundancy	1993
Emeritus Professor Alexander Romanovsky	Unplanned Recovery for Non-program Objects	1993
Emeritus Professor Alexander Romanovsky	Designing Fault-Tolerant Objects in Object-Oriented Programming	1992
Emeritus Professor Alexander Romanovsky	Synchronization as a Framework for Distributed System Fault-Tolerance Design	1992
Emeritus Professor Alexander Romanovsky	Transparent Structurization of Parallel Processes for Backward Recovery	1990