Toggle Main Menu Toggle Search

Open Access padlockePrints

Browsing publications by Avelino Zorzo.

Newcastle AuthorsTitleYearFull text
Professor Alexander Romanovsky
Avelino Zorzo
Frameworks for designing and implementing dependable systems using Coordinated Atomic Actions: A comparative study2009
Professor Alexander Romanovsky
Avelino Zorzo
CAA-DRIP: a framework for implementing Coordinated Atomic Actions2006
Professor Alexander Romanovsky
Dr Panos Periorellis
Avelino Zorzo
Structuring integrated Web applications for fault tolerance2003
Avelino Zorzo
Dr Panos Periorellis
Professor Alexander Romanovsky
Using Coordinated Atomic Actions for Building Complex Web Applications: a Learning Experience2003
Professor Alexander Romanovsky
Dr Panos Periorellis
Avelino Zorzo
On Structuring Integrated Web Applications for Fault Tolerance2002
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
Avelino Zorzo
A distributed coordinated atomic action scheme2001
Avelino Zorzo
Dr Robert Stroud
A distributed object-oriented framework for dependable multiparty interactions1999
Avelino Zorzo
Dr Robert Stroud
A Distributed Object-Oriented Framework for Dependable Multiparty Interactions1999
Avelino Zorzo
Dr Robert Stroud
A Distributed Object-Oriented Framework for Dependable Multiparty Interactions1999
Avelino Zorzo
A Production Cell Controlled by Dependable Multiparty Interactions1999
Avelino Zorzo
A Production Cell Controlled by Dependable Multiparty Interactions1999
Dr Robert Stroud
Avelino Zorzo
An object-oriented framework for dependable multiparty interactions1999
Professor Alexander Romanovsky
Avelino Zorzo
Coordinated Atomic Actions as a Technique for Implementing Distributed Gamma Computation1999
Professor Brian Randell
Avelino Zorzo
Exception Handling in Multiparty Interactions1999
Professor Alexander Romanovsky
Avelino Zorzo
Formal Development and Validation of Java Dependable Distributed 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
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
Professor Brian Randell
Professor Alexander Romanovsky
Dr Robert Stroud
Avelino Zorzo
Coordinated Atomic Actions: Formal Model, Case Study and System Implementation1998
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 Brian Randell
Professor Alexander Romanovsky
Dr Robert Stroud
Avelino Zorzo
Co-ordinated Atomic Actions: From Concept to Implementation1997
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
Avelino Zorzo
On Distribution of Coordinated Atomic Actions1997
Professor Brian Randell
Avelino Zorzo
Software Fault Tolerance in Object-Oriented Systems: Approaches, Implementation and Evaluation1997
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
Avelino Zorzo
Professor Brian Randell
Experimental Evaluation of Fault-Tolerant Mechanisms for Object-Oriented Software1996
Professor Brian Randell
Avelino Zorzo
Implementing Software-Fault Tolerance in C++ and Open C++1996