Toggle Main Menu Toggle Search

Open Access padlockePrints

Browsing publications by Professor Alexander Romanovsky.

Newcastle AuthorsTitleYearFull text
Dr Alexei Iliasov
Professor Alexander Romanovsky
Formal verification of railway interlocking and its safety case2022
Dr Alexei Iliasov
Dr Linas Laibinis
Professor Alexander Romanovsky
Practical Verification of Railway Signalling Programs2022
Flavio Primo
Professor Alexander Romanovsky
Professor Paolo Missier
A customisable pipeline for the semi-automateddiscovery of online activists and social campaigns onTwitter2021
Dr Paulius Stankaitis
Dr Alexei Iliasov
Professor Alexander Romanovsky
A refinement-based development of a distributed signalling system2021
Dr Linas Laibinis
Dr Alexei Iliasov
Professor Alexander Romanovsky
Mutation Testing for Rule-Based Verification of Railway Signaling Data2021
Mohammed Al-Hayanni
Dr Fei Xia
Dr Ashur Rafiev
Professor Alexander Romanovsky
Dr Rishad Shafik
et al.
Amdahl’s law in the context of heterogeneous many-core systems – a survey2020
Dr Zhenyu Wen
Dr Rawaa Qasha
Professor Raj Ranjan
Professor Paul Watson
Professor Alexander Romanovsky
et al.
Dynamically Partitioning Workflow over Federated Clouds for Optimising the Monetary Cost and Handling Run-Time Failures2020
Dr Paulius Stankaitis
Dr Alexei Iliasov
Dr Keiichi Ishikawa
Professor Alexander Romanovsky
Formal Distributed Protocol Development for Reservation of Railway Sections2020
Dr Anatoliy Gorbenko
Professor Alexander Romanovsky
From Analyzing Operating System Vulnerabilities to Designing Multiversion Intrusion-Tolerant Architectures2020
Dr Zhenyu Wen
Professor Raj Ranjan
Professor Alexander Romanovsky
Dr Jiawei Xu
GA-Par: Dependable Microservice Orchestration Framework for Geo-Distributed Clouds2020
Ali Aalsaud
Dr Fei Xia
Dr Ashur Rafiev
Dr Rishad Shafik
Professor Alexander Romanovsky
et al.
Low-complexity run-time management of concurrent workloads for energy-efficient multi-core systems2020
Mohammed Al-Hayanni
Dr Ashur Rafiev
Dr Fei Xia
Dr Rishad Shafik
Professor Alexander Romanovsky
et al.
PARMA: Parallelization-Aware Run-time Management for Energy-Efficient Many-Core Systems2020
Flavio Primo
Professor Paolo Missier
Professor Alexander Romanovsky
A Customisable Pipeline for Continuously Harvesting Socially-Minded Twitter Users2019
Dr Paulius Stankaitis
Dr Alexei Iliasov
Professor Alexander Romanovsky
A refinement based method for developing distributed protocols2019
Professor Alexander Romanovsky
Fault tolerant internet computing: Benchmarking and modelling trade-offs between availability, latency and consistency2019
Dr Paulius Stankaitis
Dr Alexei Iliasov
Professor Alexander Romanovsky
Modelling Hybrid Train Speed Controller using Proof and Refinement2019
Professor Raj Ranjan
Professor Alexander Romanovsky
Ayman Noor
Osmotic Monitoring of Microservices between the Edge and Cloud2019
Dr Alexei Iliasov
Professor Alexander Romanovsky
Dr Linas Laibinis
Quantitative Validation of Formal Domain Models2019
Sami Alajrami
Professor Alexander Romanovsky
Cost-aware scheduling of software processes execution in the cloud2018
Sami Alajrami
Professor Alexander Romanovsky
Cost-Aware Scheduling of Software Processes Execution in the Cloud2018
Professor Alexander Romanovsky
DroidEH: An Exception Handling Mechanism for Android Applications2018
Dr Zhenyu Wen
Professor Alexander Romanovsky
Jie Xu
Professor Raj Ranjan
Emergent Failures: Rethinking Cloud Reliability at Scale2018
Sami Alajrami
Professor Alexander Romanovsky
Enabling GSD task allocation via cloud-based software processes2018
Dr Ashur Rafiev
Dr Fei Xia
Dr Alexei Iliasov
Dr Rem Gensh
Ali Aalsaud
et al.
Error-Based Metric for Cross-Layer Cut Determination2018
Dr Alexei Iliasov
Dr Linas Laibinis
Professor Alexander Romanovsky
Formal Verification of Signalling Programs with SafeCap2018
Dr Alexei Iliasov
Dr Linas Laibinis
Professor Alexander Romanovsky
Formal Verification of Signalling Programs with SafeCap2018
Professor Alexander Romanovsky
Proceedings of the Event-B Day 2018 in Tokyo2018
Dr Ashur Rafiev
Mohammed Al-Hayanni
Dr Fei Xia
Dr Rishad Shafik
Professor Alexander Romanovsky
et al.
Speedup and Power Scaling Models for Heterogeneous Many-Core Systems2018
Dr Zhenyu Wen
Professor Alexander Romanovsky
Professor Raj Ranjan
Using Osmotic Services Composition for Dynamic Load Balancing of Smart City Applications2018
Professor Paolo Missier
Professor Alexander Romanovsky
VazaDengue: An information system for preventing and combating mosquito-borne diseases with social networks2018
Paulius Stankaitis
Dr Alexei Iliasov
Professor Alexander Romanovsky
A Railway Simulation Suite For Modelling Advanced Railway Control Systems2017
Luke Martin
Professor Alexander Romanovsky
An Approach for Designing Knowledge-Based Systems for High-Integrity Applications2017
Rem Gensh
Dr Ashur Rafiev
Professor Alexander Romanovsky
Dr Fei Xia
Professor Alex Yakovlev
et al.
Architecting Holistic Fault Tolerance2017
Dr Zhenyu Wen
Dr Jacek Cala
Professor Paul Watson
Professor Alexander Romanovsky
Cost Effective, Reliable and Secure Workflow Deployment over Federated Clouds2017
Sami Alajrami
Professor Alexander Romanovsky
Enabling GSD task allocation via cloud-based software processes2017
Rem Gensh
Professor Alexander Romanovsky
Experience Report: Evaluation of Holistic Fault Tolerance2017
Professor Alexander Romanovsky
Experience Report: Study of Vulnerabilities of Enterprise Operating Systems2017
Dr Rem Gensh
Dr Ashur Rafiev
Dr Fei Xia
Professor Alexander Romanovsky
Professor Alex Yakovlev
et al.
Modelling for systems with holistic fault tolerance2017
Professor Alexander Romanovsky
Preface2017
Professor Paolo Missier
Professor Alexander Romanovsky
Recruiting from the network: Discovering Twitter users who can help combat Zika epidemics2017
Dr Ashur Rafiev
Dr Andrey Mokhov
Dr Fei Xia
Dr Alexei Iliasov
Rem Gensh
et al.
Resource-Driven Modelling for Managing Model Fidelity2017
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 systems2017
Dr Ashur Rafiev
Dr Fei Xia
Dr Alexei Iliasov
Professor Alexander Romanovsky
Professor Alex Yakovlev
et al.
Selective Abstraction for Estimating Extra-Functional Properties in Networks-on-Chips using ArchOn Framework2017
Professor Alexander Romanovsky
Dr Elena Troubitsyna
Software Engineering for Resilient Systems: 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4-5, 2017, Proceedings2017
Professor Alexander Romanovsky
Stochastic activity networks for the verification of knowledge bases2017
Professor Paolo Missier
Professor Alexander Romanovsky
VazaDengue: An Information System for Preventing and Combating Mosquito-Borne Diseases with Social Networks2017
Dr Fei Xia
Dr Ashur Rafiev
Ali Aalsaud
Mohammed Al-Hayanni
Dr Andrey Mokhov
et al.
Voltage, Throughput, Power, Reliability and Multicore Scaling2017
Luke Martin
Professor Alexander Romanovsky
A Formal Approach to Designing Reliable Advisory Systems2016
Luke Martin
Professor Alexander Romanovsky
A Formal Approach to Designing Reliable Advisory Systems2016
Rem Gensh
Dr Ashur Rafiev
Professor Alexander Romanovsky
Dr Fei Xia
Professor Alex Yakovlev
et al.
Architecting Holistic Fault Tolerance2016
Professor John Fitzgerald
Dr Claire Ingram
Professor Alexander Romanovsky
Concepts of Dependable Cyber-Physical Systems Engineering: Model-Based Approaches2016
Sami Alajrami
Professor Alexander Romanovsky
Enabling Global Software Development via Cloud-Based Software Process Enactment2016
Professor Alexander Romanovsky
Event-B Day. National Institute of InformaticsTokyo, Japan. November 21, 20162016
Sami Alajrami
Professor Alexander Romanovsky
EXE-SPEM: Towards cloud-based executable software process models2016
Dr Alexei Iliasov
Professor Alexander Romanovsky
Formal Analysis of railway signalling data2016
Dr Alexei Iliasov
Professor Alexander Romanovsky
Dr Elena Troubitsyna
Formalisation-Driven Development of Safety-Critical Systems2016
Professor Alexander Romanovsky
Dr Alexei Iliasov
Introducing SafeCap, a safety-focused tool for optimising route capacity2016
Professor Alexander Romanovsky
Dr Elena Troubitsyna
Message from the Program Co-Chairs2016
Rem Gensh
Professor Alexander Romanovsky
Professor Alex Yakovlev
On Structuring Holistic Fault Tolerance2016
Dr Alexei Iliasov
Dr Paulius Stankaitis
Professor Alexander Romanovsky
Proving Event-B Models with Reusable Generic Lemmas2016
Dr Alexei Iliasov
Paulius Stankaitis
Professor Alexander Romanovsky
Proving Event-B models with reusable generic lemmas2016
Professor Alexander Romanovsky
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification2016
Dr Alexei Iliasov
Dr Paulius Stankaitis
David Ebo Adjepon-Yamoah
Professor Alexander Romanovsky
Rodin Platform Why3 Plug-In2016
Sami Alajrami
Professor Alexander Romanovsky
Software Development in the Post-PC Era: Towards Software Development as a Service2016
Sami Alajrami
Professor Alexander Romanovsky
Towards Cloud-Based Enactment of Safety-Related Processes2016
Professor Paolo Missier
Professor Alexander Romanovsky
Tudor Miu
Atinder Pal
Tracking Dengue Epidemics using Twitter Content Classification and Topic Modelling2016
Professor Alexander Romanovsky
Trustworthy Cyber-Physical Systems Engineering2016
Professor Alexander Romanovsky
Trustworthy Cyber-Physical Systems Engineering2016
Professor Alexander Romanovsky
Dr Elena Troubitsyna
Workshop on Formal and Model-Driven Techniques for Developing Trustworthy Systems2016
Dr Alexei Iliasov
Dr Ashur Rafiev
Dr Fei Xia
Rem Gensh
Professor Alexander Romanovsky
et al.
A formal specification and prototyping language for multi-core system management2015
Dr Alexei Iliasov
Dr Ashur Rafiev
Dr Fei Xia
Rem Gensh
Professor Alexander Romanovsky
et al.
A formal specification and prototyping language for multi-core system management2015
David Ebo Adjepon-Yamoah
Professor Alexander Romanovsky
Dr Alexei Iliasov
A Reactive Architecture for Cloud-Based System Engineering2015
David Adjepon-Yamoah
Professor Alexander Romanovsky
Dr Alexei Iliasov
A reactive architecture for cloud-based system engineering.2015
Dr Zhenyu Wen
Dr Jacek Cala
Professor Paul Watson
Professor Alexander Romanovsky
Cost Effective, Reliable and Secure Workflow Deployment over Federated Clouds2015
Luke Martin
Professor Alexander Romanovsky
Dr William Blewitt
Design and development of the train advisory systems for the future2015
Rem Gensh
Professor Alexander Romanovsky
Professor Alex Yakovlev
Engineering Cross-Layer Fault Tolerance in Many-Core Systems2015
Dr Rem Gensh
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 board2015
Dr Alexei Iliasov
Professor Alexander Romanovsky
Formal Modelling of Railway Safety and Capacity2015
Dr Alexei Iliasov
Professor Alexander Romanovsky
Formal Modelling of Railway Safety and Capacity2015
Dr Elena Troubitsyna
Dr Alexei Iliasov
Professor Alexander Romanovsky
From Requirements Engineering to Safety Assurance:Refinement Approach2015
Sami Alajrami
Professor Alexander Romanovsky
Professor Paul Watson
On Cloud-Based Software Processes2015
Dr Ashur Rafiev
Dr Fei Xia
Dr Alexei Iliasov
Rem Gensh
Ali Aalsaud
et al.
Order Graphs and Cross-Layer Parametric Significance-driven Modelling2015
Dr Alexei Iliasov
Professor Alexander Romanovsky
OSLC-based Support for Integrated Development of Dependable Systems2015
Dr Ashur Rafiev
Dr Fei Xia
Dr Alexei Iliasov
Rem Gensh
Ali Aalsaud
et al.
Power-proportional modelling fidelity2015
Dr Alexei Iliasov
David Ebo Adjepon-Yamoah
Paulius Stankaitis
Professor Alexander Romanovsky
Putting Provers on the Cloud2015
Dr Alexei Iliasov
Dr Elena Troubitsyna
David Ebo Adjepon-Yamoah
Professor Alexander Romanovsky
Refinement-based Approach to Co-engineering Requirements and Formal Models2015
Dr Alexei Iliasov
Professor Alexander Romanovsky
SafeCap: The Train Advisory System for Real-Time Traffic Management2015
Dr Ashur Rafiev
Dr Alexei Iliasov
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 Framework2015
Dr Anatoliy Gorbenko
Professor Alexander Romanovsky
The Impact of Consistency on System Latency in Fault Tolerant Internet Computing2015
Dr Anatoliy Gorbenko
Professor Alexander Romanovsky
The Impact of Consistency on System Latency in Fault Tolerant Internet Computing2015
Dr Alexei Iliasov
Dr Roberto Palacin
Professor Alexander Romanovsky
Advanced Modelling, Simulation and Verification for Future Traffic Regulation Optimisation2014
Dr Alexei Iliasov
Dr Roberto Palacin
Professor Alexander Romanovsky
Advanced Modelling, Simulation and Verification for Future Traffic Regulation Optimisation2014
Dr Ashur Rafiev
Dr Alexei Iliasov
Professor Alexander Romanovsky
Dr Andrey Mokhov
Dr Fei Xia
et al.
ArchOn: Architecture-open Resource-driven Cross-layer Modelling Framework2014
Professor Alexander Romanovsky
Message from general chair: EDCC 20142014
Dr Alexei Iliasov
Dr Ilya Lopatkin
Professor Alexander Romanovsky
Practical formal methods in railways - The SafeCap approach2014
Dr Alexei Iliasov
Dr Ilya Lopatkin
Professor Alexander Romanovsky
Practical formal methods in railways - the SafeCap Approach2014
Dr Alexei Iliasov
Dr Ilya Lopatkin
Ana Mihut
Professor Alexander Romanovsky
Real-time ATO reconfiguration for operational stability2014
Dr Alexei Iliasov
Dr Ilya Lopatkin
Ana Mihut
Professor Alexander Romanovsky
Real-time ATO Reconfiguration For Operational Stability2014
Dr Ashur Rafiev
Dr Alexei Iliasov
Professor Alexander Romanovsky
Dr Andrey Mokhov
Dr Fei Xia
et al.
Resource-driven Modelling of Complex Digital Systems with Uncertainty2014
Dr Ilya Lopatkin
Professor Alexander Romanovsky
Rigorous Development of Fault-Tolerant Systems through Co-Refinement2014
Dr Ilya Lopatkin
Professor Alexander Romanovsky
Rigorous Development of Fault-Tolerant Systems through Co-Refinement2014
Dr Ilya Lopatkin
Professor Alexander Romanovsky
Rigorous Development of Fault-Tolerant Systems through Co-refinement2014
Dr Alexei Iliasov
Professor Alexander Romanovsky
SafeCap: The Train Advisory System for Real-Time Traffic Management2014
Professor Cliff Jones
Professor Alexander Romanovsky
Special issue on Automated Verification of Critical Systems (AVoCS'11) Preface2014
Dr Ashur Rafiev
Dr Alexei Iliasov
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 Framework2014
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 Specifications2014
Sami Alajrami
Professor Alexander Romanovsky
Professor Paul Watson
Professor Andreas Roth
Towards Cloud-Based Software Process Modelling and Enactment2014
Sami Alajrami
Professor Alexander Romanovsky
Professor Paul Watson
Professor Andreas Roth
Towards Cloud-Based Software Process Modelling and Enactment2014
Dr Zoe Andrews
Dr Claire Ingram
Dr Richard Payne
Professor Alexander Romanovsky
Traceable Engineering of Fault-Tolerant SoSs2014
Dr Alexei Iliasov
Dr Ilya Lopatkin
Professor Alexander Romanovsky
Unified Train Driving Policy2014
Dr Ilya Lopatkin
Professor Alexander Romanovsky
A Method for Rigorous Development of Fault-Tolerant Systems2013
Professor Alexander Romanovsky
After and outside DEPLOY: The deploy ecosystem2013
Dr Alexei Iliasov
Dr Elena Troubitsyna
Professor Alexander Romanovsky
Developing mode-rich satellite software by refinement in Event-B2013
Dr Zoe Andrews
Professor John Fitzgerald
Dr Richard Payne
Professor Alexander Romanovsky
Fault Modelling for Systems of Systems2013
Professor Alexander Romanovsky
Industrial deployment of system engineering methods2013
Professor Alexander Romanovsky
Industrial software engineering and formal methods2013
Professor Alexander Romanovsky
Introducing formal methods into existing industrial practices2013
Dr Zoe Andrews
Dr Richard Payne
Professor Alexander Romanovsky
Model-based development of fault tolerant systems of systems2013
Dr Alexei Iliasov
Dr Ilya Lopatkin
Professor Alexander Romanovsky
The SafeCap Platform for Modelling Railway Safety and Capacity2013
Dr Alexei Iliasov
Dr Ilya Lopatkin
Professor Alexander Romanovsky
The SafeCap Project on Railway Safety Verification and Capacity Simulation2013
Dr Anatoliy Gorbenko
Professor Alexander Romanovsky
Time-Outing Internet Services2013
Dr Zoe Andrews
Dr Claire Ingram
Dr Richard Payne
Professor Alexander Romanovsky
Traceable Engineering of Fault-Tolerant SoSs2013
Professor Alexander Romanovsky
Architecting Fault Tolerant Systems2012
Professor Alexander Romanovsky
Deployment of Formal Methods in Industry: the Legacy of the FP7 ICT DEPLOY Integrated Project2012
Dr Anatoliy Gorbenko
Professor Alexander Romanovsky
Exploring Uncertainty of Delays as a Factor in End-to-End Cloud Response Time2012
Dr Zoe Andrews
Professor John Fitzgerald
Dr Richard Payne
Professor Alexander Romanovsky
Fault Modelling for Systems of Systems2012
Dr Elena Troubitsyna
Dr Alexei Iliasov
Professor Alexander Romanovsky
Formal Approach to Ensuring Interoperability of Mobile Agents2012
Professor Alexander Romanovsky
Jonathan Warwick
Newcastle Experience of Coordinating the FP7 DEPLOY Integrated Project2012
Professor Alexander Romanovsky
Proceedings: Workshop on the experience of and advances in developing dependable systems in Event-B2012
Dr Alexei Iliasov
Professor Alexander Romanovsky
SAFECAP domain language for reasoning about safety and capacity2012
Dr Alexei Iliasov
Professor Alexander Romanovsky
The SafeCap toolset for improving railway capacity while ensuring its safety2012
Professor John Fitzgerald
Dr Terrence Mak
Professor Alexander Romanovsky
Professor Alex Yakovlev
Workshop Proceedings: Trustworthy Cyber-Physical Systems2012
Dr Alexei Iliasov
Dr Elena Troubitsyna
Professor Alexander Romanovsky
Formal Derivation of a Distributed Program in Event B2011
Dr Alexei Iliasov
Dr Elena Troubitsyna
Professor Alexander Romanovsky
Formal Derivation of a Distributed Program in Event B2011
Denis Grotsev
Dr Alexei Iliasov
Professor Alexander Romanovsky
Formal Stepwise Development of Scalable and Reliable Multiagent Systems2011
Dr Anatoliy Gorbenko
Professor Alexander Romanovsky
Measuring and Dealing with the Uncertainty of SOA Solutions2011
Dr Ilya Lopatkin
Dr Alexei Iliasov
Professor Alexander Romanovsky
Dr Elena Troubitsyna
Patterns for Representing FMEA in Formal Specification of Control Systems2011
Dr Ilya Lopatkin
Dr Alexei Iliasov
Professor Alexander Romanovsky
Patterns for Representing FMEA in Formal Specification of Control Systems2011
Professor Cliff Jones
Professor Alexander Romanovsky
Proceedings of the 11th International Workshop on Automated Verification of Critical Systems2011
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, 20112011
Dr Ilya Lopatkin
Dr Alexei Iliasov
Professor Alexander Romanovsky
Rigorous Development of Dependable Systems using Fault Tolerance Views2011
Dr Ilya Lopatkin
Dr Alexei Iliasov
Professor Alexander Romanovsky
Rigorous Development of Dependable Systems using Fault Tolerance Views2011
Dr Anatoliy Gorbenko
Professor Alexander Romanovsky
Using Diversity in Cloud-Based Deployment Environment to Avoid Intrusions2011
Dr Anatoliy Gorbenko
Professor Alexander Romanovsky
Using Diversity in Cloud-Based Deployment Environment to Avoid Intrusions2011
Dr Alexei Iliasov
Dr Elena Troubitsyna
Professor Alexander Romanovsky
Developing Mode-Rich Satellite Software by Refinement in Event B2010
Dr Alexei Iliasov
Dr Elena Troubitsyna
Professor Alexander Romanovsky
Developing Mode-Rich Satellite Software by Refinement in Event B2010
Denis Grotsev
Dr Alexei Iliasov
Professor Alexander Romanovsky
Formal Stepwise Development of Scalable and Reliable Multiagent Systems2010
Professor Alexander Romanovsky
Guest Editors' Introduction to the Special Section on Exception Handling: From Requirements to Software Maintenance2010
YUAN CHEN
Dr Anatoliy Gorbenko
Professor Alexander Romanovsky
Measuring and Dealing with the Uncertainty of SOA Solutions2010
Professor John Fitzgerald
Professor Alexander Romanovsky
MetaSelf – An Architecture and a Development Method for Dependable Self-* Systems2010
Dr Ilya Lopatkin
Dr Alexei Iliasov
Professor Alexander Romanovsky
On Fault Tolerance Reuse during Refinement2010
Dr Ilya Lopatkin
Dr Alexei Iliasov
Professor Alexander Romanovsky
On Fault Tolerance Reuse during Refinement2010
Dr Jeremy Bryans
Professor John Fitzgerald
Professor Alexander Romanovsky
Patterns for Modelling Time and Consistency in Business Information Systems2010
Dr Alexei Iliasov
Dr Elena Troubitsyna
Professor Alexander Romanovsky
Patterns for Refinement Automation2010
Dr Alexei Iliasov
Dr Elena Troubitsyna
Professor Alexander Romanovsky
Patterns for Refinement Automation2010
Dr Anatoliy Gorbenko
Professor Alexander Romanovsky
Real Distribution of Response Time Instability in Service-Oriented Architecture2010
Dr Alexei Iliasov
Dr Elena Troubitsyna
Professor Alexander Romanovsky
Supporting Reuse in Event B Development: Modularisation Approach2010
Dr Elena Troubitsyna
Dr Alexei Iliasov
Professor Alexander Romanovsky
System Architecture, Dependability and Modes2010
Dr Alexei Iliasov
Dr Elena Troubitsyna
Professor Alexander Romanovsky
Verifying Mode Consistency for On-Board Satellite Software2010
Yixing Chen
Dr Anatoliy Gorbenko
Professor Alexander Romanovsky
Benchmarking Dependability of a System Biology Application2009
Dr Yuhui Chen
Professor Alexander Romanovsky
Dr Anatoliy Gorbenko
Benchmarking Dependability of a System Biology Application2009
Dr Jeremy Bryans
Professor John Fitzgerald
Professor Alexander Romanovsky
Formal Modelling and Analysis of Business Information Applications with Fault Tolerant Middleware2009
Professor Alexander Romanovsky
Avelino Zorzo
Frameworks for designing and implementing dependable systems using Coordinated Atomic Actions: A comparative study2009
Professor Alexander Romanovsky
Improving reliability of cooperative concurrent systems with exception flow analysis2009
Professor Cliff Jones
Professor Alexander Romanovsky
Dr Elena Troubitsyna
Methods, Models and Tools for Fault Tolerance2009
Dr Fernando Dotti
Dr Alexei Iliasov
Professor Alexander Romanovsky
Modal systems: Specification, refinement and realisation2009
Dr Fernando Dotti
Dr Alexei Iliasov
Professor Alexander Romanovsky
Modal Systems: Specification, Refinement and Realisation2009
Dr Fernando Dotti
Dr Alexei Iliasov
Emerson Ribeiro De Mello
Professor Alexander Romanovsky
Modal Systems: Specification, Refinement and Realisation2009
Dr Jeremy Bryans
Professor John Fitzgerald
Professor Alexander Romanovsky
Patterns for Modelling Time and Consistency in Business Information Systems2009
Dr Anatoliy Gorbenko
Professor Alexander Romanovsky
Real Distribution of Response Time Instability in Service-Oriented Architecture2009
Professor Alexander Romanovsky
Special track on dependable and adaptive distributed systems2009
Dr Alexei Iliasov
Dr Leonardus Arief
Professor Alexander Romanovsky
Step-wise development of resilient ambient campus scenarios2009
Dr Alexei Iliasov
Dr Leonardus Arief
Professor Alexander Romanovsky
Step-Wise Development of Resilient Ambient Campus Scenarios2009
Dr Alexei Iliasov
Professor Alexander Romanovsky
Dr Fernando Dotti
Structuring Specifications with Modes2009
Dr Alexei Iliasov
Dr Fernando Dotti
Professor Alexander Romanovsky
Structuring Specifications with Modes2009
Dr Anatoliy Gorbenko
Professor Alexander Romanovsky
Using inherent service redundancy and diversity to ensure web services dependability2009
Professor Alexander Romanovsky
An aspect-oriented software architecture for code mobility2008
Professor Alexander Romanovsky
DEPLOY: industrial deployment of advanced system engineering methods for high productivity and dependability2008
Professor Alexander Romanovsky
DEPLOY: Industrial deployment of advanced system engineering methods for high productivity and dependability2008
Professor Alexander Romanovsky
Engineering Fault Tolerant Systems2008
Dr Anatoliy Gorbenko
Professor Alexander Romanovsky
Experimenting with exception propagation mechanisms in service-oriented architecture2008
Dr Elena Troubitsyna
Dr Alexei Iliasov
Professor Alexander Romanovsky
Formal development of cooperative exception handling for mobile agent systems2008
Dr Elena Troubitsyna
Dr Alexei Iliasov
Professor Alexander Romanovsky
Formal development of cooperative exception handling for mobile agent systems2008
Dr Jeremy Bryans
Professor John Fitzgerald
Professor Alexander Romanovsky
Formal Modelling and Analysis of Business Information Applications with Fault Tolerant Middleware2008
Dr Alexei Iliasov
Dr Elena Troubitsyna
Professor Alexander Romanovsky
Guided Formal Development: Patterns for Modelling and Refinement2008
Dr Anatoliy Gorbenko
Professor Alexander Romanovsky
How to enhance UDDI with dependability capabilities2008
Dr Yuhui Chen
Professor Alexander Romanovsky
Improving the dependability of web services integration2008
Professor Alexander Romanovsky
Improving the Reliability of Cooperative Concurrent Systems with Exception Flow Analysis2008
Professor Alexander Romanovsky
Mediating Web Services for Dependability2008
Professor John Fitzgerald
Professor Alexander Romanovsky
MetaSelf - A Framework for Designing and Controlling Self-Adaptive and Self-Organising Systems2008
Dr Alexei Iliasov
Dr Elena Troubitsyna
Professor Alexander Romanovsky
Patterns for Refinement Automation2008
Dr Alexei Iliasov
Professor Alexander Romanovsky
Refinement Patterns for Fault Tolerant Systems2008
Dr Alexei Iliasov
Professor Alexander Romanovsky
Refinement Patterns for Fault Tolerant Systems2008
Professor Alexander Romanovsky
SERENE '08. RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems. 17-19 November 2008. Newcastle upon Tyne, UK2008
Dr Anatoliy Gorbenko
Professor Alexander Romanovsky
The Threat of Uncertainty in Service-Oriented Architecture2008
Dr Anatoliy Gorbenko
Dr Yuhui Chen
Professor Alexander Romanovsky
The threat of uncertainty in service-oriented architecture2008
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, USA2008
Dr Alexei Iliasov
Professor Alexander Romanovsky
Dr Leonardus Arief
Dr Elena Troubitsyna
A framework for open distributed system design2007
Professor Alexander Romanovsky
A looming fault tolerance software crisis?2007
Professor John Fitzgerald
Professor Alexander Romanovsky
A Metadata-Based Architectural Model for Dynamically Resilient Systems2007
Dr Rogerio De Lemos
Dr Cristina Gacek
Professor Alexander Romanovsky
Architecting Dependable Systems IV2007
Professor Alexander Romanovsky
Architecting Fault Tolerant Systems2007
Professor Alexander Romanovsky
Architecting Fault Tolerant Systems2007
Professor Alexander Romanovsky
Coordinated atomic actions for dependable distributed systems: The current state in concepts, semantics and verification means2007
Professor Alexander Romanovsky
EFTS 2007: The 2nd international workshop on engineering fault tolerant systems2007
Professor Alexander Romanovsky
Exception handling in context-aware agent systems: A case study2007
Dr Anatoliy Gorbenko
Professor Alexander Romanovsky
Experimenting With Exception Handling Mechanisms Of Web Services Implemented Using Different Development Kits2007
Professor John Fitzgerald
Professor Alexander Romanovsky
Generic Framework for the Engineering of Self-Adaptive and Self-Organising Systems2007
Professor Alexander Romanovsky
Improving Service Availability without Improving Availability of Individual Services2007
Dr Anatoliy Gorbenko
Professor Alexander Romanovsky
On composing Dependable Web Services using undependable web components2007
Dr Leonardus Arief
Dr Alexei Iliasov
Professor Alexander Romanovsky
On developing open mobile fault tolerant agent systems2007
Professor Alexander Romanovsky
On exceptions, exception handling, requirements and software lifecycle2007
Dr Alexei Iliasov
Professor Alexander Romanovsky
Dr Leonardus Arief
Dr Elena Troubitsyna
On rigorous design and implementation of fault tolerant ambient systems2007
Professor Cliff Jones
Professor Alexander Romanovsky
Dr Elena Troubitsyna
Proceedings of the Workshop on Methods, Models and Tools for Fault Tolerance2007
Professor Alexander Romanovsky
Software Engineering for Multi-Agent Systems V: Research Issues and Practical Applications2007
Professor Alexander Romanovsky
Software Engineering of Fault Tolerant Systems2007
Professor Alexander Romanovsky
A Looming Fault Tolerance Software Crisis?2006
Yuan Chen
Professor Alexander Romanovsky
A Mediator System for Improving Dependability of Web Services2006
Professor Alexander Romanovsky
A modular implementation framework for code mobility2006
Professor Alexander Romanovsky
Advanced Topics in Exception Handling Techniques2006
Professor Alexander Romanovsky
Agent-oriented architecture for monitoring and diagnosis in supervisory systems2006
Dr Rogerio De Lemos
Dr Cristina Gacek
Professor Alexander Romanovsky
Architecting dependable systems2006
Professor Alexander Romanovsky
Avelino Zorzo
CAA-DRIP: a framework for implementing Coordinated Atomic Actions2006
Professor Alexander Romanovsky
Context-Aware Exception Handling in Mobile Agent Systems: The MoCA Case2006
Professor Alexander Romanovsky
Context-aware exception handling in mobile agent systems: The MoCA case2006
Professor John Fitzgerald
Professor Alexander Romanovsky
Dependable Self-Organising Software Architectures - An Approach for Self-Managing Systems2006
Professor Alexander Romanovsky
Editorial message: Special track on dependable and adaptive distributed systems2006
Professor Alexander Romanovsky
Fifth workshop on Software Engineering for Large-Scale Multi-Agent Systems (SELMAS)2006
Dr Alexei Iliasov
Dr Elena Troubitsyna
Professor Alexander Romanovsky
Formal Approach to Ensuring Interoperability of Mobile Agents2006
Professor Alexander Romanovsky
Introduction to the SELMAS 20062006
Professor Alexander Romanovsky
Looking Ahead in Open Multithreaded Transactions2006
Dr Peter Li
Professor Alexander Romanovsky
Measuring the Dependability of Web Services for Use in e-Science Experiments2006
Dr Peter Li
Dr Yifan Chen
Professor Alexander Romanovsky
Measuring the Dependability of Web Services for Use in e-Science Experiments2006
Dr Alexei Iliasov
Professor Alexander Romanovsky
Dr Leonardus Arief
Dr Elena Troubitsyna
On Rigorous Design and Implementation of Fault Tolerant Ambient Systems2006
Dr Leonardus Arief
Dr Alexei Iliasov
Professor Alexander Romanovsky
On Using the CAMA Framework for Developing Open Mobile Fault Tolerant Agent Systems2006
Dr Leonardus Arief
Dr Alexei Iliasov
Professor Alexander Romanovsky
On Using the CAMA Framework for Developing Open Mobile Fault Tolerant Agent Systems2006
Dr Leonardus Arief
Dr Alexei Iliasov
Professor Alexander Romanovsky
On using the CAMA framework for developing open mobile fault tolerant agent systems2006
Professor Alexander Romanovsky
Preface2006
Professor Cliff Jones
Professor Alexander Romanovsky
Dr Elena Troubitsyna
Rigorous Development of Complex Fault-Tolerant Systems2006
Dr Elena Troubitsyna
Dr Alexei Iliasov
Professor Alexander Romanovsky
Rigorous Development of Fault-Tolerant Agent Systems2006
Professor Alexander Romanovsky
Software Engineering for Multi-Agent Systems IV: Research Issues and Practical Applications2006
Dr Alexei Iliasov
Professor Alexander Romanovsky
Structured coordination spaces for fault tolerant mobile agents2006
Professor Alexander Romanovsky
Towards an Engineering Approach to Component Adaptation2006
Professor Alexander Romanovsky
Towards an Engineering Approach to Component Adaptation2006
Professor Alexander Romanovsky
Verification of Coordinated Exception Handling2006
Dr Rogerio De Lemos
Dr Cristina Gacek
Professor Alexander Romanovsky
Workshop on Architecting Dependable Systems (WADS)2006
Dr Rogerio De Lemos
Dr Cristina Gacek
Professor Alexander Romanovsky
Architecting Dependable Systems III2005
Dr Alexei Iliasov
Professor Alexander Romanovsky
CAMA: Structured Coordination Space and Exception Propagation Mechanism for Mobile Agents2005
Dr Anatoliy Gorbenko
Professor Alexander Romanovsky
Dependable Composite Web Services with Components Upgraded Online2005
Dr Anatoliy Gorbenko
Professor Alexander Romanovsky
Dependable Composite Web Services with Components Upgraded Online2005
Dr Anatoliy Gorbenko
Professor Alexander Romanovsky
Dependable composite web services with components upgraded online2005
Professor Alexander Romanovsky
Developing Systems that Handle Exceptions: Proceedings of ECOOP'05 Workshop on Exception Handling in Object-Oriented Systems. 25 July 2005. Glasgow, UK2005
Emeritus Professor Tom Anderson
Dr Mei Feng
Dr Stephen Riddle
Professor Alexander Romanovsky
Error Recovery for a Boiler System with OTS PID Controller2005
Dr Alexei Iliasov
Professor Alexander Romanovsky
Exception Handling in Coordination-based Mobile Environments2005
Dr Peter Li
Professor Alexander Romanovsky
Measuring the dependability of Web Services for use in e-Science experiments2005
Dr Alexei Iliasov
Dr Victor Khomenko
Professor Maciej Koutny
Professor Alexander Romanovsky
On specification and verification of location-based fault tolerant mobile systems2005
Professor Cliff Jones
Professor Alexander Romanovsky
Dr Elena Troubitsyna
Proceedings of the Workshop on Rigorous Engineering of Fault-Tolerant Systems (REFT 2005)2005
Professor Alexander Romanovsky
RODIN - Rigorous Open Development Environment for Complex Systems2005
Dr Joey Coleman
Professor Cliff Jones
Professor Alexander Romanovsky
Dr Elena Troubitsyna
RODIN (Rigorous Open Development Environment for Complex Systems)2005
Professor Alexander Romanovsky
Scientific Engineering of Distributed Java Applications: 4th International Workshop, FIDJI 2004, Luxembourg-Kirchberg, Luxembourg, November 24-25, 2004, Revised Selected Papers2005
Professor Alexander Romanovsky
Software Engineering for Large-Scale Multi-Agent Systems - SELMAS'052005
Professor Alexander Romanovsky
Software Engineering for Multi-Agent Systems III: Research Issues and Practical Applications2005
Professor Cliff Jones
Professor Alexander Romanovsky
Dr Rogerio De Lemos
Professor Brian Randell
The atomic manifesto2005
Professor Cliff Jones
Professor Alexander Romanovsky
Dr Rogerio De Lemos
Professor Brian Randell
The Atomic Manifesto: a Story in Four Quarks2005
Professor Cliff Jones
Professor Alexander Romanovsky
Dr Rogerio De Lemos
Professor Brian Randell
The Atomic Manifesto: a Story in Four Quarks2005
Professor Cliff Jones
Professor Alexander Romanovsky
The Atomic Manifesto: a Story in Four Quarks2005
Professor Alexander Romanovsky
Verification of Coordinated Exception Handling2005
YUAN CHEN
Dr Peter Li
Professor Alexander Romanovsky
Web Services Dependability and Performance Monitoring2005
Dr Rogerio De Lemos
Professor Alexander Romanovsky
Workshop on architecting dependable systems (WADS 2005)2005
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 20042004
Professor Alexander Romanovsky
Dr Rogerio De Lemos
A Dependable Architecture for COTS-Based Software Systems using Protective Wrappers2004
Dr Rogerio De Lemos
Dr Cristina Gacek
Professor Alexander Romanovsky
Architecting Dependable Systems II2004
Professor John Fitzgerald
Professor Savas Parastatidis
Professor Alexander Romanovsky
Professor Paul Watson
Dependability-explicit Computing in Service-oriented Architectures2004
Dr Anatoliy Gorbenko
Professor Alexander Romanovsky
Dependable Composite Web Services with Components Upgraded Online: Solutions, Models and Implementation2004
Dr Anatoliy Gorbenko
Professor Alexander Romanovsky
Development of Dependable Web Services out of Undependable Web Components2004
Dr Alexei Iliasov
Professor Alexander Romanovsky
Exception Handling in Coordination-based Mobile Environments2004
Professor Alexander Romanovsky
Exception Handling in Object Oriented Systems: Towards Emerging Application Areas and New Programming Paradigms2004
Professor Alexander Romanovsky
On Dependability of Composite Web Services with Components Upgraded Online2004
Professor Alexander Romanovsky
Software Engineering for Large-Scale Multi-agent Systems - SELMAS'042004
Professor Alexander Romanovsky
Software Engineering for Multi-Agent Systems II : Research Issues and Practical Applications2004
Dr Rogerio De Lemos
Dr Cristina Gacek
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, UK2004
Dr Rogerio De Lemos
Dr Cristina Gacek
Professor Alexander Romanovsky
Twin Workshops on Architecting Dependable Systems (WADS 2004)2004
Dr Rogerio De Lemos
Dr Cristina Gacek
Professor Alexander Romanovsky
Twin Workshops on Architecting Dependable Systems (WADS)2004
Professor Alexander Romanovsky
Using the B Method for the Formalization of Coordinated Atomic Actions2004
Emeritus Professor Tom Anderson
Professor Brian Randell
Professor Alexander Romanovsky
Wrapping the Future2004
Emeritus Professor Tom Anderson
Professor Brian Randell
Professor Alexander Romanovsky
Wrapping the Future2004
Dr Rogerio De Lemos
Professor Alexander Romanovsky
[Workshop Summary]ICSE 2003 Workshop on Software Architectures for Dependable Systems2003
Professor Alexander Romanovsky
Dr Rogerio De Lemos
A Fault-Tolerant Software Architecture for COTS-Based Software Systems2003
Dr Rogerio De Lemos
Dr Cristina Gacek
Professor Alexander Romanovsky
Architecting Dependable Systems2003
Dr Rogerio De Lemos
Dr Cristina Gacek
Professor Alexander Romanovsky
Architecting Dependable Systems2003
Dr Rogerio De Lemos
Dr Cristina Gacek
Professor Alexander Romanovsky
Architectural Mismatch Tolerance2003
Professor Alexander Romanovsky
Coordinated Forward Error Recovery for Composite Web Services2003
Professor Alexander Romanovsky
Dependability in the Web Services Architecture2003
Professor Alexander Romanovsky
Designing Fault-Tolerant Mobile Systems2003
Emeritus Professor Tom Anderson
Dr Mei Feng
Dr Stephen Riddle
Professor Alexander Romanovsky
Error Recovery for a Boiler System with OTS PID Controller2003
Emeritus Professor Tom Anderson
Dr Mei Feng
Dr Stephen Riddle
Professor Alexander Romanovsky
Error Recovery for a Boiler System with OTS PID Controller2003
Professor Alexander Romanovsky
Exception handling in object oriented systems: Towards emerging application areas and new programming paradigms2003
Professor Cliff Jones
Professor Brian Randell
Professor Alexander Romanovsky
Dr Robert Stroud
Final Version of DSoS Conceptual Model (CSDA1)2003
Dr Rogerio De Lemos
Dr Cristina Gacek
Professor Alexander Romanovsky
ICSE 2003 Workshop on Software Architectures for Dependable Systems2003
Professor Alexander Romanovsky
Dr Rogerio De Lemos
Integrating COTS Software Components into Dependable Software Architectures2003
Emeritus Professor Tom Anderson
Dr Mei Feng
Dr Stephen Riddle
Professor Alexander Romanovsky
Investigative Case Study: Protective Wrapping of OTS items in Simulated Environments2003
Professor Alexander Romanovsky
Proceedings of the ECOOP 2003 Workshop on Exception Handling in Object-Oriented Systems: Towards Emerging Application Areas and New Programming Paradigms2003
Emeritus Professor Tom Anderson
Dr Mei Feng
Dr Stephen Riddle
Professor Alexander Romanovsky
Protective wrapper development: A case study2003
Professor Alexander Romanovsky
Dr Rogerio De Lemos
Software Engineering for Large-Scale Multi-Agent Systems - SELMAS 20032003
Professor Alexander Romanovsky
Software Engineering for Large-Scale Multi-Agent Systems (SELMAS)2003
Professor Cliff Jones
Dr Panos Periorellis
Professor Alexander Romanovsky
Ian Welch
Structured Handling of On-Line Interface Upgrades in Integrating Dependable Systems of Systems2003
Professor Alexander Romanovsky
Dr Panos Periorellis
Avelino Zorzo
Structuring integrated Web applications for fault tolerance2003
Professor Alexander Romanovsky
Transactions and Groups as Generic Building blocks for Software Fault Tolerance2003
Avelino Zorzo
Dr Panos Periorellis
Professor Alexander Romanovsky
Using Coordinated Atomic Actions for Building Complex Web Applications: a Learning Experience2003
Dr Rogerio De Lemos
Dr Cristina Gacek
Professor Alexander Romanovsky
Workshop on Software Architectures for Dependable Systems2003
Emeritus Professor Tom Anderson
Dr Mei Feng
Dr Stephen Riddle
Professor Alexander Romanovsky
Wrapping it up2003
Professor Alexander Romanovsky
7th Workshop on Mobile Object Systems2002
Professor Brian Randell
Professor Alexander Romanovsky
A Generic Approach to Structuring and Implementing Complex Fault-Tolerant Software2002
Professor Cliff Jones
Professor Alexander Romanovsky
Ian Welch
A Structured Approach to Handling On-Line Interface Upgrades2002
Professor Cliff Jones
Professor Alexander Romanovsky
Ian Welch
A Structured Approach to Handling On-Line Interface Upgrades2002
Professor Alexander Romanovsky
Auction System Design Using Open Multithreaded Transactions2002
Professor Alexander Romanovsky
Bridging the Gap between Hardware and Software Fault Tolerance2002
Dr Paul Ezhilchelvan
Professor Alexander Romanovsky
Concurrency in Dependable Computing2002
Professor Alexander Romanovsky
Coordinated Forward Error Recovery for Web Services2002
Professor Alexander Romanovsky
Dependable on-line upgrading of distributed systems2002
Professor Alexander Romanovsky
Designing fault-tolerant mobile systems2002
Professor Alexander Romanovsky
Designing Fault-Tolerant Mobile Systems2002
Professor Alexander Romanovsky
Framework based on design patterns for providing persistence in object-oriented programming languages2002
Professor Alexander Romanovsky
Professor Cliff Jones
Dr Panos Periorellis
Ian Welch
Further Results on Architectures and Dependability Mechanisms for Dependable SoSs2002
Dr Rogerio De Lemos
Dr Cristina Gacek
Professor Alexander Romanovsky
ICSE 2002 Workshop on Architecting Dependable Systems2002
Dr Rogerio De Lemos
Dr Cristina Gacek
Professor Alexander Romanovsky
ICSE 2002 Workshop on Architecting Dependable Systems2002
Dr Rogerio De Lemos
Dr Cristina Gacek
Professor Alexander Romanovsky
ICSE 2002 Workshop on Architecting Dependable Systems (Workshop Summary)2002
Professor Alexander Romanovsky
Dr Rogerio De Lemos
Integrating COTS Software Components into Dependable Software Architectures2002
Professor Alexander Romanovsky
Dr Panos Periorellis
Avelino Zorzo
On Structuring Integrated Web Applications for Fault Tolerance2002
Professor Alexander Romanovsky
On version state recovery and adjudication in class diversity2002
Emeritus Professor Tom Anderson
Dr Mei Feng
Dr Stephen Riddle
Professor Alexander Romanovsky
Protective Wrapper Development: A Case Study2002
Professor Brian Randell
Professor Alexander Romanovsky
Dr Robert Stroud
Avelino Zorzo
Rigorous development of an embedded fault-tolerant system based on coordinated atomic actions2002
Avelino Zorzo
Professor Brian Randell
Professor Alexander Romanovsky
TLA Specification of a Mechanism for Concurrent Exception Handling2002
Professor Alexander Romanovsky
A comparative study of exception handling mechanisms for building dependable object-oriented software2001
Professor Alexander Romanovsky
Avelino Zorzo
A distributed coordinated atomic action scheme2001
Professor Alexander Romanovsky
Advances in Exception Handling Techniques2001
Ian Welch
Dr Robert Stroud
Professor Alexander Romanovsky
Aspects of Exceptions at the Meta-Level2001
Ian Welch
Dr Robert Stroud
Professor Alexander Romanovsky
Aspects of Exceptions at the Meta-level2001
Professor Alexander Romanovsky
Combining Tasking and Transactions, Part II: Open Multithreaded Transactions2001
Professor Alexander Romanovsky
Dr Paul Ezhilchelvan
Conversations with fixed and potential participants2001
Professor Alexander Romanovsky
Coordinated Atomic Actions: How to Remain ACID in the Modern World2001
Professor Alexander Romanovsky
Except for Exception Handling2001
Professor Alexander Romanovsky
Except for Exception Handling...2001
Professor Alexander Romanovsky
Exception handling in component-based system development2001
Professor Alexander Romanovsky
Exception Handling in Component-Based System Development2001
Dr Rogerio De Lemos
Professor Alexander Romanovsky
Exception handling in the software lifecycle2001
Professor Alexander Romanovsky
Implementing Exceptions in Open Multithreaded Transactions Based on Ada 95 Exceptions2001
Professor Alexander Romanovsky
Looking Ahead in Atomic Actions with Exception Handling2001
Professor Alexander Romanovsky
Looking Ahead in Atomic Actions with Exception Handling2001
Dr Frank Burns
Dr Albert Koelmans
Professor Maciej Koutny
Professor Alexander Romanovsky
Professor Alex Yakovlev
et al.
Modelling and verification of an atomic action protocol implemented in Ada2001
Professor Brian Randell
Professor Alexander Romanovsky
On Applying Coordinated Atomic Actions and Dependable Software Architectures for Developing Complex Systems2001
Dr Albert Koelmans
Professor Maciej Koutny
Professor Alexander Romanovsky
Professor Alex Yakovlev
On Developing and Verifying Design Abstractions for Reliable Concurrent Programming in Ada2001
Dr Stephen Riddle
Professor Alexander Romanovsky
On Systematic Design of Protectors for Employing OTS Items2001
Dr Stephen Riddle
Professor Alexander Romanovsky
On Systematic Design of Protectors for Employing OTS Items2001
Dr Stephen Riddle
Professor Alexander Romanovsky
Protective Wrapping of OTS Components2001
Professor Cliff Jones
Professor Brian Randell
Professor Alexander Romanovsky
Dr Robert Stroud
Revised Version of DSoS Conceptual Model2001
Professor Alexander Romanovsky
Transaction Support for Ada2001
Professor Alexander Romanovsky
A Comparative Study of Exception Handling Mechanisms for Building Dependable Object-Oriented Software2000
Professor Alexander Romanovsky
A Framework Based on Design Patterns for Providing Persistence in Object-Oriented Programming Languages2000
Professor Brian Randell
Professor Alexander Romanovsky
A Generic Implementation Approach to Concurrent Fault-Tolerant Software2000
Professor Alexander Romanovsky
Abstract Object State and Version Recovery in N-Version Programming2000
Professor Alexander Romanovsky
Action-Oriented Exception Handling in Cooperative and Competitive Concurrent Object-Oriented Systems2000
Professor Brian Randell
Professor Alexander Romanovsky
Dr Charles Snow
Dr Robert Stroud
An Application of Fault Tolerance Patterns and Coordinated Atomic Actions to a Problem in Railway Scheduling2000
Professor Alexander Romanovsky
An Exception Handling Framework for N-Version programming in Object Oriented Systems2000
Professor Alexander Romanovsky
An Exception Handling Framework for N-Version programming in Object Oriented Systems2000
Professor Alexander Romanovsky
Professor Brian Randell
Concurrent exception handling and resolution in distributed object systems2000
Professor Alexander Romanovsky
Current trends in exception handling2000
Professor Alexander Romanovsky
Diversely Designed Classes for use by Multiple Tasks2000
Professor Alexander Romanovsky
Diversely Designed Classes for Use by Multiple Tasks2000
Professor Alexander Romanovsky
Diversity for Off-The-Shelf Components2000
Professor Alexander Romanovsky
Editorial to Special Issue on Developing Fault-Tolerant Systems with Ada2000
Professor Alexander Romanovsky
Exception handling in object oriented systems2000
Professor Alexander Romanovsky
Exception Handling in Object-Oriented Systems2000
Professor Alexander Romanovsky
Extending conventional languages by distributed/concurrent exception resolution2000
Professor Alexander Romanovsky
Faulty version recovery in object-oriented N-version programming2000
Professor Alexander Romanovsky
Faulty Version Recovery in Object-Oriented N-Version Programming2000
Professor Alexander Romanovsky
On Persistent and Reliable Streaming in Ada2000
Professor Alexander Romanovsky
On persistent and reliable streaming in Ada2000
Professor Alexander Romanovsky
On Structuring Cooperative and Competitive Concurrent Systems2000
Professor Alexander Romanovsky
Supporting Evolution of Interface Exceptions2000
Professor Alexander Romanovsky
The domino effect as a deadlock2000
Dr Frank Burns
Dr Albert Koelmans
Professor Maciej Koutny
Professor Alexander Romanovsky
Professor Alex Yakovlev
et al.
Towards Modelling and Verification of Concurrent Ada Programs Using Petri Nets2000
Dr Frank Burns
Professor Maciej Koutny
Professor Alexander Romanovsky
Towards Modelling and Verification of Concurrent Ada Programs using Petri Nets2000
Professor Alexander Romanovsky
Using COALA to Develop a Distributed Object-Based Application2000
Professor Alexander Romanovsky
Abstract Object State and Version Recovery in N-Version Programming1999
Professor Alexander Romanovsky
An Exception Handling Framework for N-Version programming in Object Oriented Systems1999
Professor Alexander Romanovsky
Choosing effective methods for design diversity - How to progress from intuition to science1999
Professor Alexander Romanovsky
Choosing Effective Methods for Design Diversity - How to Progress from Intuition to Science1999
Professor Alexander Romanovsky
Class Diversity Support in Object-Oriented Languages1999
Professor Alexander Romanovsky
Class diversity support in object-oriented languages1999
Professor Alexander Romanovsky
Avelino Zorzo
Coordinated Atomic Actions as a Technique for Implementing Distributed Gamma Computation1999
Professor Alexander Romanovsky
Professor Brian Randell
Coordinated exception handling in real-time distributed object systems1999
Professor Alexander Romanovsky
Dr Paul Ezhilchelvan
Engineering Look-ahead in Distributed Conversations1999
Dr Paul Ezhilchelvan
Professor Alexander Romanovsky
Engineering Look-Ahead in Distributed Conversations1999
Dr Rogerio De Lemos
Professor Alexander Romanovsky
Exception Handling in a Cooperative Object-Oriented Approach1999
Professor Alexander Romanovsky
Faulty Version Recovery in Object-Oriented N-Version Programming1999
Professor Alexander Romanovsky
Avelino Zorzo
Formal Development and Validation of Java Dependable Distributed Systems1999
Professor Alexander Romanovsky
On N-Version Programming and Exception Handling1999
Professor Alexander Romanovsky
On Structuring Cooperative and Competitive Concurrent Systems1999
Professor Brian Randell
Professor Alexander Romanovsky
Dr Robert Stroud
Avelino Zorzo
Rigorous Development of a Safety-Critical System Based on Coordinated Atomic Actions1999
Professor Brian Randell
Professor Alexander Romanovsky
Dr Robert Stroud
Avelino Zorzo
Rigorous Development of a Safety-critical system based on co-ordinated Atomic Actions1999
Avelino Zorzo
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 study1999
Professor Alexander Romanovsky
A Concept for the Transition-Net Based Derivation of Software Versions for the Recovery Block Scheme1998
Professor Alexander Romanovsky
A study of atomic action schemes intended for standard Ada1998
Professor Alexander Romanovsky
Approaches to Designing Complex Dependable Systems1998
Professor Alexander Romanovsky
Avelino Zorzo
CO-OPN/2 Specification of the DSGamma System Designed Using Co-ordinated Atomic Actions1998
Professor Alexander Romanovsky
Avelino Zorzo
Coordinated Atomic Actions as a Technique for Implementing Distributed Gamma Computation1998
Dr Rogerio De Lemos
Professor Alexander Romanovsky
Coordinated Atomic Actions in Modelling Object Cooperation1998
Professor Brian Randell
Professor Alexander Romanovsky
Dr Robert Stroud
Avelino Zorzo
Coordinated Atomic Actions: Formal Model, Case Study and System Implementation1998
Professor Alexander Romanovsky
Professor Brian Randell
Coordinated exception handling in distributed object systems: from model to system implementation1998
Professor Brian Randell
Professor Alexander Romanovsky
Developing Control Software for Production Cell II: Failure Analysis and System Design Using CA Actions1998
Professor Alexander Romanovsky
Distributed Atomic Actions in Ada 951998
Dr Rogerio De Lemos
Professor Alexander Romanovsky
Exception Handling in a Co-operative Object-Oriented Approach1998
Professor Alexander Romanovsky
Professor Brian Randell
Exception Handling in Object-Oriented Real-Time Distributed Systems1998
Professor Alexander Romanovsky
Guaranteed Deadlock Recovery: Deadlock Resolution with Rollback Propagation1998
Professor Alexander Romanovsky
Predictable toleration of design faults: Recovery blocks in real time systems1998
Professor Brian Randell
Professor Alexander Romanovsky
Dr Robert Stroud
Supporting and Controlling Complex Concurrency in Fault-Tolerant Distributed Systems1998
Avelino Zorzo
Professor Alexander Romanovsky
Professor Brian Randell
Dr Robert Stroud
Ian Welch
et al.
Using Coordinated Atomic Actions to Design Dependable Distributed Object Systems1998
Professor Alexander Romanovsky
Avelino Zorzo
A Distributed Coordinated Atomic Action Scheme1997
Professor Alexander Romanovsky
A Study of Atomic Action Schemes Intended for Standard Ada1997
Professor Alexander Romanovsky
Conversational Group Service1997
Dr Rogerio De Lemos
Professor Alexander Romanovsky
Coordinated Atomic Actions in Modelling Objects Cooperation1997
Professor Brian Randell
Professor Alexander Romanovsky
Dr Robert Stroud
Avelino Zorzo
Co-ordinated Atomic Actions: From Concept to Implementation1997
Professor Alexander Romanovsky
Coordinated backward recovery between client processes and data servers1997
Professor Alexander Romanovsky
Professor Brian Randell
Coordinated Exception Handling in Distributed Object Systems: from Model to System Implementation1997
Professor Alexander Romanovsky
Professor Brian Randell
Co-ordinated Exception Handling in Distributed Object-Oriented Systems: Improved Algorithm, Correctness and Implementation1997
Professor Alexander Romanovsky
Professor Brian Randell
Exception Handling in Object-Oriented Real-Time Distributed Systems1997
Professor Alexander Romanovsky
Professor Brian Randell
Dr Robert Stroud
Avelino Zorzo
Implementation of blocking coordinated atomic actions based on forward error recovery1997
Professor Alexander Romanovsky
Professor Brian Randell
Dr Robert Stroud
Avelino Zorzo
Implementing Synchronous Co-ordinated Atomic Actions Based on Forward Error Recovery1997
Professor Alexander Romanovsky
Method for Deadlock Recovery Using Consistent Global Checkpoints1997
Professor Alexander Romanovsky
Object-Oriented Approach to State Restoration by Reversion in Fault Tolerant Systems1997
Professor Alexander Romanovsky
Avelino Zorzo
On Distribution of Coordinated Atomic Actions1997
Professor Alexander Romanovsky
On Programming Atomic Actions in Ada 951997
Professor Alexander Romanovsky
Practical exception handling and resolution in concurrent programs1997
Avelino Zorzo
Professor Alexander Romanovsky
Professor Brian Randell
Dr Robert Stroud
Ian Welch
et al.
Using Coordinated Atomic Actions to Design Dependable Distributed Object Systems1997
Professor Alexander Romanovsky
Application specific conversation schemes for ADA programs1996
Professor Alexander Romanovsky
Atomic Actions Based on Distributed/Concurrent Exception Resolution1996
Professor Alexander Romanovsky
Dynamic Conversations1996
Professor Alexander Romanovsky
Professor Brian Randell
Exception Handling and Resolution in Distributed Object-Oriented Systems1996
Professor Alexander Romanovsky
Practical Exception Handling and Resolution in Concurrent Programs1996
Professor Alexander Romanovsky
Backward Error Recovery via Conversations in Ada1995
Professor Alexander Romanovsky
Conversations of Objects1995
Professor Alexander Romanovsky
Professor Brian Randell
Exception Handling and Resolution in Distributed Object-Oriented Systems1995
Professor Brian Randell
Professor Alexander Romanovsky
Fault Tolerance in Concurrent Object-Oriented Software through Coordinated Error Recovery1995
Professor Brian Randell
Professor Alexander Romanovsky
Dr Robert Stroud
Jake Wu
Fault Tolerance in Concurrent Object-Oriented Software Through Co-ordinated Error Recovery1995
Professor Brian Randell
Professor Alexander Romanovsky
Dr Robert Stroud
From Recovery Blocks to Concurrent Atomic Actions1995
Professor Alexander Romanovsky
Guaranteed Deadlock Recovery: Deadlock Resolution with Rollback Propagation1995
Professor Alexander Romanovsky
How to Make a Recoverable Server by Synchronization Code Inheriting1995
Professor Alexander Romanovsky
Software Diversity as a Way to Well-Structured Concurrent Software1995
Professor Alexander Romanovsky
About Conversations for Concurrent OO Languages1994
Professor Alexander Romanovsky
Implementation of Conversations in the Conventional Ada1994
Professor Alexander Romanovsky
Recovery Unification for Concurrent Heterogeneous Systems1994
Professor Alexander Romanovsky
The Problems of Designing a Conversion Scheme for Concurrent Object Oriented Languages1994
Professor Alexander Romanovsky
Fault Tolerance: Synchronization of Redundancy1993
Professor Alexander Romanovsky
Unplanned Recovery for Non-program Objects1993
Professor Alexander Romanovsky
Designing Fault-Tolerant Objects in Object-Oriented Programming1992
Professor Alexander Romanovsky
Synchronization as a Framework for Distributed System Fault-Tolerance Design1992
Professor Alexander Romanovsky
Transparent Structurization of Parallel Processes for Backward Recovery1990