Alexander Romanovsky
22 published titles
Atomic actions based on distributed/concurrent exception resolution
1 edition
- University of Newcastle upon Tyne Computing Science
- 1996
- Details
A distributed co-ordinated atomic action scheme
1 edition
- University of Newcastle upon Tyne, Computing Science
- 1997
- Details
Diversely designed classes for use by multiple tasks
1 edition
- University of Newcastle upon Tyne, Computing Science
- 2000
- Details
Advances in exception handling techniques
(Contributor)
1 edition
- ISBN: 3540419527
- Springer
- 2001
- Details
Concurrency in dependable computing
(Contributor)
1 edition
- ISBN: 1402070438
- Kluwer Academic
- 2002
- Details
Designing fault-tolerant mobile systems
(Contributor)
1 edition
- University of Newcastle upon Tyne, Computing Science
- 2003
- Details
Architecting dependable systems
(Contributor)
1 edition
- ISBN: 3540407278
- Springer
- 2003
- Details
Scientific engineering of distributed Java applications : 4th international workshop, FIDJI 2004, Luxembourg-Kirchberg, Luxembourg, November 24-25, 2004 ; revised selected papers
(Contributor)
1 edition
- ISBN: 3540250530
- Springer
- 2005
- Details
Architecting dependable systems III
(Contributor)
1 edition
- ISBN: 9783540289685
- Springer
- 2005
- Details
A looming fault tolerance software crisis?
1 edition
- University of Newcastle upon Tyne
- 2006
- Details
Improving service availability without improving availability of individual services
(Contributor)
1 edition
- University of Newcastle upon Tyne, Computing Science
- 2007
- Details
Architecting fault tolerant systems
(Contributor)
1 edition
- University of Newcastle Upon Tyne, Computing Science
- 2007
- Details
On fault tolerance reuse during refinement
(Contributor)
1 edition
- Newcastle University, Computing Science
- 2010
- Details
Reliable Software Technologies - Ada-Europe 2011 : 16th Ada-Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24, 2011 : proceedings
(Contributor)
1 edition
- ISBN: 9783642213373
- Springer
- 2011
- Details
Rigorous development of dependable systems using fault tolerance views
(Contributor)
1 edition
- Newcastle University, Computing Science
- 2011
- Details
A method for rigorous development of fault-tolerant systems
(Contributor)
1 edition
- Newcastle University, Computing Science
- 2013
- Details
Software engineering for resilient systems : 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013, proceedings
(Contributor)
1 edition
- ISBN: 9783642408939
- Springer
- 2013
- Details
Real-time ATO reconfiguration for operational stability
(Contributor)
1 edition
- Newcastle University, Computing Science
- 2014
- Details
The SafeCap toolset for improving railway capacity while ensuring its safety
(Contributor)
1 edition
- Newcastle University, Computing Science
- Details
Fault modelling for systems of systems
(Contributor)
1 edition
- Computing Science, Newcastle University
- Details
Practical formal methods in railways : the SafeCap approach
(Contributor)
1 edition
- Newcastle University, Computing Science
- Details
EXE-SPEM : towards cloud-based executable SPEM2.0 models
(Contributor)
1 edition
- Newcastle University, Computing Science
- Details
