Alexander B. Romanovsky

Orcid: 0000-0002-4076-3331

Affiliations:
  • Newcastle University, School of Computing Science, UK


According to our database1, Alexander B. Romanovsky authored at least 251 papers between 1990 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Safety Invariant Engineering for Interlocking Verification.
Proceedings of the Computer Safety, Reliability, and Security, 2024

2023
A Refinement-based Formal Development of Cyber-physical Railway Signalling Systems.
Formal Aspects Comput., March, 2023

Practical Verification of Railway Signalling Programs.
IEEE Trans. Dependable Secur. Comput., 2023

The SafeCap Trajectory: Industry-Driven Improvement of an Interlocking Verification Tool.
Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2023

2022
Safety Invariant Verification that Meets Engineers' Expectations.
Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2022

2021
A customisable pipeline for the semi-automated discovery of online activists and social campaigns on Twitter.
World Wide Web, 2021

Mutation Testing for Rule-Based Verification of Railway Signaling Data.
IEEE Trans. Reliab., 2021

A refinement-based development of a distributed signalling system.
Formal Aspects Comput., 2021

Supporting and Controlling Complex Concurrency in Fault- Tolerant Distributed Systems.
CoRR, 2021

SafeCap: from formal verification of railway interlocking to its certification.
CoRR, 2021

2020
From Analyzing Operating System Vulnerabilities to Designing Multiversion Intrusion-Tolerant Architectures.
IEEE Trans. Reliab., 2020

GA-Par: Dependable Microservice Orchestration Framework for Geo-Distributed Clouds.
IEEE Trans. Parallel Distributed Syst., 2020

Dynamically Partitioning Workflow over Federated Clouds for Optimising the Monetary Cost and Handling Run-Time Failures.
IEEE Trans. Cloud Comput., 2020

PARMA: Parallelization-Aware Run-Time Management for Energy-Efficient Many-Core Systems.
IEEE Trans. Computers, 2020

Amdahl's law in the context of heterogeneous many-core systems - a survey.
IET Comput. Digit. Tech., 2020

Interplaying Cassandra NoSQL Consistency and Performance: A Benchmarking Approach.
Proceedings of the Dependable Computing - EDCC 2020 Workshops, 2020

Formal Distributed Protocol Development for Reservation of Railway Sections.
Proceedings of the Rigorous State-Based Methods - 7th International Conference, 2020

2019
Fault tolerant internet computing: Benchmarking and modelling trade-offs between availability, latency and consistency.
J. Netw. Comput. Appl., 2019

A Customisable Pipeline for Continuously Harvesting Socially-Minded Twitter Users.
Proceedings of the Web Engineering - 19th International Conference, 2019

Modelling Hybrid Train Speed Controller using Proof and Refinement.
Proceedings of the 24th International Conference on Engineering of Complex Computer Systems, 2019

A Refinement Based Method for Developing Distributed Protocols.
Proceedings of the 19th IEEE International Symposium on High Assurance Systems Engineering, 2019

Quantitative Validation of Formal Domain Models.
Proceedings of the 19th IEEE International Symposium on High Assurance Systems Engineering, 2019

2018
Speedup and Power Scaling Models for Heterogeneous Many-Core Systems.
IEEE Trans. Multi Scale Comput. Syst., 2018

Towards industrial application of advanced formal methods for cyber-physical system engineering (NII Shonan Meeting 2018-16).
NII Shonan Meet. Rep., 2018

VazaDengue: An information system for preventing and combating mosquito-borne diseases with social networks.
Inf. Syst., 2018

Emergent Failures: Rethinking Cloud Reliability at Scale.
IEEE Cloud Comput., 2018

Using Osmotic Services Composition for Dynamic Load Balancing of Smart City Applications.
Proceedings of the 11th IEEE Conference on Service-Oriented Computing and Applications, 2018

Formal Verification of Signalling Programs with SafeCap.
Proceedings of the Computer Safety, Reliability, and Security, 2018

Cost-aware Scheduling of Software Processes Execution in the Cloud.
Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development, 2018

DroidEH: An Exception Handling Mechanism for Android Applications.
Proceedings of the 29th IEEE International Symposium on Software Reliability Engineering, 2018

Osmotic Monitoring of Microservices between the Edge and Cloud.
Proceedings of the 20th IEEE International Conference on High Performance Computing and Communications; 16th IEEE International Conference on Smart City; 4th IEEE International Conference on Data Science and Systems, 2018

2017
Cost Effective, Reliable and Secure Workflow Deployment over Federated Clouds.
IEEE Trans. Serv. Comput., 2017

Enabling GSD Task Allocation via Cloud-based Software Processes.
Int. J. Networked Distributed Comput., 2017

Voltage, Throughput, Power, Reliability, and Multicore Scaling.
Computer, 2017

Stochastic Activity Networks for the Verification of Knowledge Bases.
Proceedings of the Software Engineering for Resilient Systems - 9th International Workshop, 2017

Modelling for Systems with Holistic Fault Tolerance.
Proceedings of the Software Engineering for Resilient Systems - 9th International Workshop, 2017

Experience Report: Study of Vulnerabilities of Enterprise Operating Systems.
Proceedings of the 28th IEEE International Symposium on Software Reliability Engineering, 2017

Recruiting from the Network: Discovering Twitter Users Who Can Help Combat Zika Epidemics.
Proceedings of the Web Engineering - 17th International Conference, 2017

Architecting Holistic Fault Tolerance.
Proceedings of the 18th IEEE International Symposium on High Assurance Systems Engineering, 2017

An Approach for Designing Knowledge-Based Systems for High-Integrity Applications.
Proceedings of the 13th European Dependable Computing Conference, 2017

Selective Abstraction for Estimating Extra-Functional Properties in Networks-on-Chips Using ArchOn Framework.
Proceedings of the 17th International Conference on Application of Concurrency to System Design, 2017

2016
Automating Verification of Event-B Models.
CoRR, 2016

A Formal Approach to Designing Reliable Advisory Systems.
Proceedings of the Software Engineering for Resilient Systems - 8th International Workshop, 2016

Towards Cloud-Based Enactment of Safety-Related Processes.
Proceedings of the Computer Safety, Reliability, and Security, 2016

Software Development in the Post-PC Era: Towards Software Development as a Service.
Proceedings of the Product-Focused Software Process Improvement, 2016

EXE-SPEM: Towards Cloud-based Executable Software Process Models.
Proceedings of the MODELSWARD 2016, 2016

Tracking Dengue Epidemics Using Twitter Content Classification and Topic Modelling.
Proceedings of the Current Trends in Web Engineering, 2016

Proving Event-B Models with Reusable Generic Lemmas.
Proceedings of the Formal Methods and Software Engineering, 2016

Formalisation-Driven Development of Safety-Critical Systems.
Proceedings of the 17th IEEE International Symposium on High Assurance Systems Engineering, 2016

Formal Analysis of Railway Signalling Data.
Proceedings of the 17th IEEE International Symposium on High Assurance Systems Engineering, 2016

Selective abstraction and stochastic methods for scalable power modelling of heterogeneous systems.
Proceedings of the 2016 Forum on Specification and Design Languages, 2016

Rodin Platform Why3 Plug-In.
Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2016

On structuring holistic fault tolerance.
Proceedings of the 15th International Conference on Modularity, 2016

2015
From Requirements Engineering to Safety Assurance: Refinement Approach.
Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2015

Engineering Cross-Layer Fault Tolerance in Many-Core Systems.
Proceedings of the Software Engineering for Resilient Systems - 7th International Workshop, 2015

A Formal Specification and Prototyping Language for Multi-core System Management.
Proceedings of the 23rd Euromicro International Conference on Parallel, 2015

A reactive architecture for cloud-based system engineering.
Proceedings of the 2015 International Conference on Software and System Process, 2015

The Impact of Consistency on System Latency in Fault Tolerant Internet Computing.
Proceedings of the Distributed Applications and Interoperable Systems, 2015

Order Graphs and Cross-Layer Parametric Significance-Driven Modelling.
Proceedings of the 15th International Conference on Application of Concurrency to System Design, 2015

2014
Synthesis of Processor Instruction Sets from High-Level ISA Specifications.
IEEE Trans. Computers, 2014

Science and Practice of Engineering Trustworthy Cyber-Physical Systems (TCPS) (NII Shonan Meeting 2014-14).
NII Shonan Meet. Rep., 2014

Special issue on Automated Verification of Critical Systems (AVoCS'11).
Sci. Comput. Program., 2014

The Tenth European Dependable Computer Conference.
CoRR, 2014

Advanced Modelling, Simulation and Verification for Future Traffic Regulation Optimisation.
Proceedings of the Software Engineering for Resilient Systems - 6th International Workshop, 2014

Towards Cloud-Based Software Process Modelling and Enactment.
Proceedings of the 2nd International Workshop on Model-Driven Engineering on and for the Cloud co-located with the 17th International Conference on Model Driven Engineering Languages and Systems, 2014

ArchOn: Architecture-open Resource-driven Cross-layer Modelling Framework.
Proceedings of the International Workshop on Engineering Simulations for Cyber-Physical Systems, 2014

Rigorous Development of Fault-Tolerant Systems through Co-refinement.
Proceedings of the Reliable Software Technologies, 2014

Practical Formal Methods in Railways - The SafeCap Approach.
Proceedings of the Reliable Software Technologies, 2014

Studying the Interplay of Concurrency, Performance, Energy and Reliability with ArchOn - An Architecture-Open Resource-Driven Cross-Layer Modelling Framework.
Proceedings of the 14th International Conference on Application of Concurrency to System Design, 2014

2013
Developing mode-rich satellite software by refinement in Event-B.
Sci. Comput. Program., 2013

Time-Outing Internet Services.
IEEE Secur. Priv., 2013

Engineering Resilient Systems: Models, Methods and Tools (Dagstuhl Seminar 13022).
Dagstuhl Reports, 2013

Model-based development of fault tolerant systems of systems.
Proceedings of the IEEE International Systems Conference, 2013

The SafeCap Project on Railway Safety Verification and Capacity Simulation.
Proceedings of the Software Engineering for Resilient Systems, 5th International Workshop, 2013

The SafeCap Platform for Modelling Railway Safety and Capacity.
Proceedings of the Computer Safety, Reliability, and Security, 2013

Fault modelling for systems of systems.
Proceedings of the 11th International Symposium on Autonomous Decentralized Systems, 2013

Industrial Software Engineering and Formal Methods.
Proceedings of the Industrial Deployment of System Engineering Methods, 2013

Introducing Formal Methods into Existing Industrial Practices.
Proceedings of the Industrial Deployment of System Engineering Methods, 2013

Introduction.
Proceedings of the Industrial Deployment of System Engineering Methods, 2013

After and Outside DEPLOY: The DEPLOY Ecosystem.
Proceedings of the Industrial Deployment of System Engineering Methods, 2013

Integrated Project DEPLOY.
Proceedings of the Industrial Deployment of System Engineering Methods, 2013

2012
Deployment of formal methods in industry: the legacy of the FP7 ICT DEPLOY integrated project.
ACM SIGSOFT Softw. Eng. Notes, 2012

Proceedings: Workshop on the experience of and advances in developing dependable systems in Event-B (DS-Event-B 2012)
CoRR, 2012

Dependability of Service-Oriented Computing: Time-Probabilistic Failure Modelling.
Proceedings of the Software Engineering for Resilient Systems - 4th International Workshop, 2012

Augmenting Event-B modelling with real-time verification.
Proceedings of the First International Workshop on Formal Methods in Software Engineering, 2012

Exploring Uncertainty of Delays as a Factor in End-to-End Cloud Response Time.
Proceedings of the 2012 Ninth European Dependable Computing Conference, 2012

2011
Preface.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011

Using Diversity in Cloud-Based Deployment Environment to Avoid Intrusions.
Proceedings of the Software Engineering for Resilient Systems, 2011

Rigorous Development of Dependable Systems Using Fault Tolerance Views.
Proceedings of the IEEE 22nd International Symposium on Software Reliability Engineering, 2011

Formal Derivation of a Distributed Program in Event B.
Proceedings of the Formal Methods and Software Engineering, 2011

Patterns for Representing FMEA in Formal Specification of Control Systems.
Proceedings of the 13th IEEE International Symposium on High-Assurance Systems Engineering, 2011

2010
Guest Editors' Introduction to the Special Section on Exception Handling: From Requirements to Software Maintenance.
IEEE Trans. Software Eng., 2010

An Introduction to Software Engineering and Fault Tolerance
CoRR, 2010

Real Distribution of Response Time Instability in Service-Oriented Architecture.
Proceedings of the 29th IEEE Symposium on Reliable Distributed Systems (SRDS 2010), New Delhi, Punjab, India, October 31, 2010

On fault tolerance reuse during refinement.
Proceedings of the 2nd International Workshop on Software Engineering for Resilient Systems, 2010

Verifying Mode Consistency for On-Board Satellite Software.
Proceedings of the Computer Safety, 2010

MetaSelf: an architecture and a development method for dependable self-* systems.
Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

Patterns for Modelling Time and Consistency in Business Information Systems.
Proceedings of the 15th IEEE International Conference on Engineering of Complex Computer Systems, 2010

Supporting Reuse in Event B Development: Modularisation Approach.
Proceedings of the Abstract State Machines, 2010

2009
Step-Wise Development of Resilient Ambient Campus Scenarios.
Proceedings of the Methods, 2009

Using Inherent Service Redundancy and Diversity to Ensure Web Services Dependability.
Proceedings of the Methods, 2009

Improving reliability of cooperative concurrent systems with exception flow analysis.
J. Syst. Softw., 2009

Frameworks for designing and implementing dependable systems using Coordinated Atomic Actions: A comparative study.
J. Syst. Softw., 2009

Structuring Specifications with Modes.
Proceedings of the Fourth Latin-American Symposium on Dependable Computing, 2009

Modal Systems: Specification, Refinement and Realisation.
Proceedings of the Formal Methods and Software Engineering, 2009

Benchmarking Dependability of a System Biology Application.
Proceedings of the 14th IEEE International Conference on Engineering of Complex Computer Systems, 2009

Formal Modelling and Analysis of Business Information Applications with Fault Tolerant Middleware.
Proceedings of the 14th IEEE International Conference on Engineering of Complex Computer Systems, 2009

Patterns for Refinement Automation.
Proceedings of the Formal Methods for Components and Objects - 8th International Symposium, 2009

2008
An aspect-oriented software architecture for code mobility.
Softw. Pract. Exp., 2008

DEPLOY: industrial deployment of advanced system engineering methods for high productivity and dependability.
ACM SIGSOFT Softw. Eng. Notes, 2008

Improving the Dependability of Web Services Integration.
IT Prof., 2008

DEPLOY: Industrial Deployment of Advanced System Engineering Methods for High Productivity..
ERCIM News, 2008

Special issue: Engineering Fault Tolerant Systems.
Comput. Syst. Sci. Eng., 2008

Experimenting with exception propagation mechanisms in service-oriented architecture.
Proceedings of the 4th International Workshop on Exception Handling, 2008

Formal development of cooperative exception handling for mobile agent systems.
Proceedings of the SERENE 2008, 2008

The threat of uncertainty in service-oriented architecture.
Proceedings of the SERENE 2008, 2008

Special track on Dependable and Adaptive Distributed Systems: editorial message.
Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

MASTAC: new curriculum for master and doctoral studies in critical software and computing.
Proceedings of the 2008 International Workshop on Software Engineering in East and South Europe, 2008

Refinement Patterns for Fault Tolerant Systems.
Proceedings of the Seventh European Dependable Computing Conference, 2008

A Generic Framework for the Engineering of Self-Adaptive and Self-Organising Systems.
Proceedings of the Organic Computing - Controlled Self-organization, 30.03. - 04.04.2008, 2008

How to Enhance UDDI with Dependability Capabilities.
Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008

2007
A looming fault tolerance software crisis?
ACM SIGSOFT Softw. Eng. Notes, 2007

On composing Dependable Web Services using undependable web components.
Int. J. Simul. Process. Model., 2007

Architecting Fault Tolerant Systems.
Proceedings of the Sixth Working IEEE / IFIP Conference on Software Architecture (WICSA 2007), 2007

EFTS 2007: the 2nd international workshop on engineering fault tolerant systems.
Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007

A metadata-based architectural model for dynamically resilient systems.
Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007

Coordinated Atomic Actions for Dependable Distributed Systems: the Current State in Concepts, Semantics and Verification Means.
Proceedings of the ISSRE 2007, 2007

On Rigorous Design and Implementation of Fault Tolerant Ambient Systems.
Proceedings of the Tenth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2007), 2007

On Exceptions, Exception Handling, Requirements and Software Lifecycle.
Proceedings of the Tenth IEEE International Symposium on High Assurance Systems Engineering (HASE 2007), 2007

A Framework for Open Distributed System Design.
Proceedings of the 31st Annual International Computer Software and Applications Conference, 2007

2006
Software engineering for large-scale multi-agent systems - SELMAS 2006: workshop report.
ACM SIGSOFT Softw. Eng. Notes, 2006

Architecting dependable systems.
J. Syst. Softw., 2006

Context-aware exception handling in mobile agent systems: the MoCA case.
Proceedings of the 2006 international workshop on Software engineering for large-scale multi-agent systems, 2006

Introduction to the SELMAS 2006.
Proceedings of the 2006 international workshop on Software engineering for large-scale multi-agent systems, 2006

Exception Handling in Context-Aware Agent Systems: A Case Study.
Proceedings of the Software Engineering for Multi-Agent Systems V, 2006

On using the CAMA framework for developing open mobile fault tolerant agent systems.
Proceedings of the 2006 international workshop on Software engineering for large-scale multi-agent systems, 2006

On Developing Open Mobile Fault Tolerant Agent Systems.
Proceedings of the Software Engineering for Multi-Agent Systems V, 2006

Editorial message: special track on dependable and adaptive distributed systems.
Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006

Verification of coordinated exception handling.
Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006

Rigorous Development of Fault-Tolerant Agent Systems.
Proceedings of the Rigorous Development of Complex Fault-Tolerant Systems [FP6 IST-511599 RODIN project], 2006

On Specification and Verification of Location-Based Fault Tolerant Mobile Systems.
Proceedings of the Rigorous Development of Complex Fault-Tolerant Systems [FP6 IST-511599 RODIN project], 2006

A modular implementation framework for code mobility.
Proceedings of the 3rd international conference on Mobile technology, 2006

CAA-DRIP: a framework for implementing Coordinated Atomic Actions.
Proceedings of the 17th International Symposium on Software Reliability Engineering (ISSRE 2006), 2006

Looking Ahead in Open Multithreaded Transactions.
Proceedings of the Ninth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2006), 2006

Measuring the Dependability of Web Services for Use in e-Science Experiments.
Proceedings of the Service Availability, 2006

Fifth workshop on software engineering for large-scale multi-agent systems (SELMAS).
Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006

Structured Coordination Spaces for Fault Tolerant Mobile Agents.
Proceedings of the Advanced Topics in Exception Handling Techniques (the book grow out of ECOOP workshops), 2006

Workshop on Architecting Dependable Systems (WADS).
Proceedings of the 2006 International Conference on Dependable Systems and Networks (DSN 2006), 2006

06121 Abstracts Collection -- Atomicity: A Unifying Concept in Computer Science.
Proceedings of the Atomicity: A Unifying Concept in Computer Science, 19.03. - 24.03.2006, 2006

06121 Executive Summary -- Atomicity: A Unifying Concept in Computer Science.
Proceedings of the Atomicity: A Unifying Concept in Computer Science, 19.03. - 24.03.2006, 2006

2005
ICSE 2005 Workshop on Architecting Dependable Systems (WADS 2005).
ACM SIGSOFT Softw. Eng. Notes, 2005

ICSE 2004 workshop on architecting dependable systems.
ACM SIGSOFT Softw. Eng. Notes, 2005

Software engineering for large-scale multi-agent systems - SELMAS'05.
ACM SIGSOFT Softw. Eng. Notes, 2005

Software Engineering for Large-Scale Multi-Agent Systems - SELMAS 2005: workshop report.
ACM SIGSOFT Softw. Eng. Notes, 2005

The atomic manifesto: a story in four quarks.
SIGMOD Rec., 2005

The Atomic Manifesto.
J. Univers. Comput. Sci., 2005

Error Recovery for a Boiler System with OTS PID Controller.
Proceedings of the 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2005), 2005

Workshop on architecting dependable systems (WADS 2005).
Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), 2005

Exception Handling in Coordination-Based Mobile Environments.
Proceedings of the 29th Annual International Computer Software and Applications Conference, 2005

2004
Software engineering for large-scale multi-agent systems - SELMAS 2004: workshop report.
ACM SIGSOFT Softw. Eng. Notes, 2004

Wrapping the future.
Proceedings of the Building the Information Society, 2004

Dependable Composite Web Services with Components Upgraded Online.
Proceedings of the Architecting Dependable Systems III [the book is a result of the ICSE 2004 and DSN 2004 workshops], 2004

Software Engineering for Large-Scale Multi-agent Systems - SELMAS'04.
Proceedings of the 26th International Conference on Software Engineering (ICSE 2004), 2004

Twin Workshops on Architecting Dependable Systems (WADS 2004).
Proceedings of the 2004 International Conference on Dependable Systems and Networks (DSN 2004), 28 June, 2004

Towards an Engineering Approach to Component Adaptation.
Proceedings of the Architecting Systems with Trustworthy Components, 2004

2003
ICSE 2003 workshop on software architectures for dependable systems.
ACM SIGSOFT Softw. Eng. Notes, 2003

Software engineering for large-scale multi-agent systems: SELMAS 2003: workshop report.
ACM SIGSOFT Softw. Eng. Notes, 2003

Using Co-ordinated Atomic Actions for Building Complex Web Applications: A Learning Experience.
Proceedings of the 8th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2003), 2003

Coordinated Forward Error Recovery for Composite Web Services.
Proceedings of the 22nd Symposium on Reliable Distributed Systems (SRDS 2003), 2003

A fault-tolerant software architecture for COTS-based software systems.
Proceedings of the 11th ACM SIGSOFT Symposium on Foundations of Software Engineering 2003 held jointly with 9th European Software Engineering Conference, 2003

Integrating COTS Software Components into Dependable Software Architectures.
Proceedings of the 6th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2003), 2003

Structuring Integrated Web Applications for Fault Tolerance.
Proceedings of the 6th International Symposium on Autonomous Decentralized Systems (ISADS 2003), 2003

Software Engineering for Large-Scale Multi-Agent Systems - SELMAS'2003.
Proceedings of the 25th International Conference on Software Engineering, 2003

A Dependable Architecture for COTS-Based Software Systems Using Protective Wrappers.
Proceedings of the Architecting Dependable Systems II, 2003

Protective Wrapper Development: A Case Study.
Proceedings of the COTS-Based Software Systems, Second International Conference, 2003

Exception Handling in Object Oriented Systems: Towards Emerging Application Areas and New Programming Paradigms.
Proceedings of the Object-Oriented Technology: ECOOP 2003 Workshop Reader, 2003

Transactions and Groups as Generic Building Blocks for Software Fault Tolerance.
Proceedings of the Reliable Software Technologies, 2003

2002
Rigorous Development of an Embedded Fault-Tolerant System Based on Coordinated Atomic Actions.
IEEE Trans. Computers, 2002

Framework based on design patterns for providing persistence in object-oriented programming languages.
IEE Proc. Softw., 2002

On version state recovery and adjudication in class diversity.
Comput. Syst. Sci. Eng., 2002

Auction System Design Using Open Multithreaded Transactions.
Proceedings of the 7th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2002), 2002

A Generic Approach to Structuring and Implementing Complex Fault-Tolerant Software.
Proceedings of the 5th International Symposiun on Object Oriented Real-Time Distributed Computing, 2002

Dependability in the Web Services Architecture.
Proceedings of the Architecting Dependable Systems [the book is a result of the ICSE 2002 Workshop on Software Architectures for Dependable Systems], 2002

Architectural Mismatch Tolerance.
Proceedings of the Architecting Dependable Systems [the book is a result of the ICSE 2002 Workshop on Software Architectures for Dependable Systems], 2002

ICSE 2002 workshop on architecting dependable systems.
Proceedings of the 24th International Conference on Software Engineering, 2002

Designing Fault-Tolerant Mobile Systems.
Proceedings of the Scientific Engineering for Distributed Java Applications, 2002

Structured Handling of Online Interface Upgrades in Integrating Dependable Systems of Systems.
Proceedings of the Scientific Engineering for Distributed Java Applications, 2002

Dependable On-Line Upgrading of Distributed Systems.
Proceedings of the 26th International Computer Software and Applications Conference (COMPSAC 2002), 2002

A Structured Approach to Handling On-Line Interface Upgrades.
Proceedings of the 26th International Computer Software and Applications Conference (COMPSAC 2002), 2002

2001
Coordinated atomic actions: how to remain ACID in the modern world.
ACM SIGSOFT Softw. Eng. Notes, 2001

A comparative study of exception handling mechanisms for building dependable object-oriented software.
J. Syst. Softw., 2001

Conversations with fixed and potential participants.
J. Syst. Archit., 2001

A distributed coordinated atomic action scheme.
Comput. Syst. Sci. Eng., 2001

Exception handling in the software lifecycle.
Comput. Syst. Sci. Eng., 2001

Modelling and verification of an atomic action protocol implemented in Ada.
Comput. Syst. Sci. Eng., 2001

Open Multithreaded Transactions: Keeping Threads and Exceptions under Control.
Proceedings of the 6th Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2001), 2001

Looking Ahead in Atomic Actions with Exception Handling.
Proceedings of the 20th Symposium on Reliable Distributed Systems (SRDS 2001), 2001

Aspects of Exceptions at the Meta-level.
Proceedings of the Metalevel Architectures and Separation of Crosscutting Concerns, 2001

On Applying Coordinated Atomic Actions and Dependable Software Architectures for Developing Complex Systems.
Proceedings of the 4th International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2001), 2001

On Systematic Design of Protectors for Employing OTS Items.
Proceedings of the 27th EUROMICRO Conference 2001: A Net Odyssey, 2001

An Evolutionary and Adaptive Approach for n-Version Programming.
Proceedings of the 27th EUROMICRO Conference 2001: A Net Odyssey, 2001

7th Workshop on Mobile Object Systems.
Proceedings of the Object-Oriented Technology ECOOP 2001 Workshop Reader, 2001

Exception Handling in Component-Based System Development.
Proceedings of the 25th International Computer Software and Applications Conference (COMPSAC 2001), 2001

Transaction Support for Ada.
Proceedings of the Reliable Software Technologies: Ada Europe 2001, 2001

2000
Guest Editors' Introduction - Current Trends in Exception Handling.
IEEE Trans. Software Eng., 2000

Concurrent Exception Handling and Resolution in Distributed Object Systems.
IEEE Trans. Parallel Distributed Syst., 2000

An Application of Fault Tolerance Patterns and Coordinated Atomic Actions to a Problem in Railway Scheduling.
ACM SIGOPS Oper. Syst. Rev., 2000

Extending conventional languages by distributed/concurrent exception resolution.
J. Syst. Archit., 2000

Faulty version recovery in object-oriented N-version programming.
IEE Proc. Softw., 2000

An Exception Handling Framework for N-Version Programming in Object-Oriented Systems.
Proceedings of the 3rd International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2000), 2000

Combining tasking and transactions, part II: open multithreaded transactions.
Proceedings of the 10th International Workshop on Real-Time Ada, 2000

On developing and verifying design abstractions for reliable concurrent programming in Ada.
Proceedings of the 10th International Workshop on Real-Time Ada, 2000

Action-Oriented Exception Handling in Cooperative and Competitive Concurrent Object-Oriented Systems.
Proceedings of the Advances in Exception Handling Techniques (the book grow out of a ECOOP 2000 workshop), 2000

Supporting Evolution of Interface Exceptions.
Proceedings of the Advances in Exception Handling Techniques (the book grow out of a ECOOP 2000 workshop), 2000

Exception Handling in Object Oriented Systems.
Proceedings of the Object-Oriented Technology, 2000

Using COALA to Develop a Distributed Object-Based Application.
Proceedings of the International Symposium on Distributed Objects and Applications, 2000

On Persistent and Reliable Streaming in Ada.
Proceedings of the Reliable Software Technologies, 2000

1999
Using Coordinated Atomic Actions to Design Safety-Critical Systems: a Production Cell Case Study.
Softw. Pract. Exp., 1999

Class diversity support in object-oriented languages.
J. Syst. Softw., 1999

Coordinated atomic actions as a technique for implementing distributed gamma computation.
J. Syst. Archit., 1999

On Structuring Cooperative and Competitive Concurrent Systems.
Comput. J., 1999

Abstract Object State and Version Recovery in N-Version Programming.
Proceedings of the TOOLS Europe 1999: 29th International Conference on Technology of Object-Oriented Languages and Systems, 1999

Choosing Effective Methods for Design Diversity - How to Progress from Intuition to Science.
Proceedings of the Computer Safety, 1999

Exception Handling in a Cooperative Object-Oriented Approach.
Proceedings of the 2nd International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '99), 1999

Engineering Look-ahead in Distributed Conversations.
Proceedings of the Fourth International Symposium on Autonomous Decentralized Systems, 1999

Formal Development and Validation of Java Dependable Distributed Systems.
Proceedings of the 5th International Conference on Engineering of Complex Computer Systems (ICECCS '99), 1999

Rigorous Development of a Safety-Critical System Based on Coordinated Atomic Actions.
Proceedings of the Digest of Papers: FTCS-29, 1999

1998
A study of atomic action schemes intended for standard Ada.
J. Syst. Softw., 1998

Distributed Atomic Actions in Ada 95.
Comput. J., 1998

Exception Handling in Object-Oriented Real-Time Distributed Systems.
Proceedings of the 1st International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '98), 1998

Coordinated Atomic Actions in Modelling Objects Cooperation.
Proceedings of the 1st International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '98), 1998

Coordinated Exception Handling in Distributed Object Systems: From Model to System Implementation.
Proceedings of the 18th International Conference on Distributed Computing Systems, 1998

1997
On Distribution of Coordinated Atomic Actions.
ACM SIGOPS Oper. Syst. Rev., 1997

Conversational Group Service.
ACM SIGOPS Oper. Syst. Rev., 1997

Implementation of blocking coordinated atomic actions based on forward error recovery.
J. Syst. Archit., 1997

Coordinated backward between client processes and data servers.
IEE Proc. Softw. Eng., 1997

Practical Exception Handling and Resolution in Concurrent Programs.
Comput. Lang., 1997

On Programming Atomic Actions in Ada 95.
Proceedings of the Reliable Software Technologies, 1997

1996
Application specific conversation schemes for ADA programs.
Microprocess. Microprogramming, 1996

Exception Handling and Resolution in Distributed Object-oriented Systems.
Proceedings of the 16th International Conference on Distributed Computing Systems, 1996

1995
Software Diversity as a Way to Well-Structured Concurrent Software.
ACM SIGOPS Oper. Syst. Rev., 1995

How to make a recoverable server by synchronization code inheriting.
OOPS Messenger, 1995

Backward error recovery via conversations in Ada.
Softw. Eng. J., 1995

Conversations of Objects.
Comput. Lang., 1995

Fault Tolerance in Concurrent Object-Oriented Software Through Coordinated Error Recovery.
Proceedings of the Digest of Papers: FTCS-25, 1995

1994
About Conversations for Concurrent OO Languages.
ACM SIGPLAN Notices, 1994

The problems of designing a conversation scheme for concurrent object oriented languages.
Microprocess. Microprogramming, 1994

1993
Fault Tolerance: Synchronization of Redundancy.
ACM SIGOPS Oper. Syst. Rev., 1993

1992
Designing Fault-Tolerant Objects in Object-Oriented Programming.
Proceedings of the TOOLS 1992: 7th International Conference on Technology of Object-Oriented Languages and Systems, 1992

Synchronization as a framework for distributed system fault-tolerance design.
Proceedings of the 5th ACM SIGOPS European Workshop: Models and Paradigms for Distributed Systems Structuring, 1992

1990
Transparent structurization of parallel processes for backward recovery.
Proceedings of the Second IEEE Symposium on Parallel and Distributed Processing, 1990


  Loading...