| Formal Distributed Protocol Development for Reservation of Railway Sections. | 0 | 0.34 | 2020 |
| A Customisable Pipeline for Continuously Harvesting Socially-Minded Twitter Users. | 0 | 0.34 | 2019 |
| Emergent Failures: Rethinking Cloud Reliability at Scale. | 8 | 0.54 | 2018 |
| Using Osmotic Services Composition for Dynamic Load Balancing of Smart City Applications | 0 | 0.34 | 2018 |
| Recruiting from the network: discovering Twitter users who can help combat Zika epidemics. | 1 | 0.36 | 2017 |
| Automating Verification of Event-B Models. | 0 | 0.34 | 2016 |
| How to Enhance UDDI with Dependability Capabilities | 4 | 0.46 | 2008 |
| Software Engineering for Multi-Agent Systems V, Research Issues and Practical Applications [the book is a result of SELMAS 2006] | 12 | 0.69 | 2007 |
| Advanced Topics in Exception Handling Techniques (the book grow out of ECOOP workshops) | 14 | 0.95 | 2006 |
| Software Engineering for Multi-Agent Systems III, Research Issues and Practical Applications [the book is a result of SELMAS 2004] | 12 | 0.85 | 2006 |
| The Atomic Manifesto | 1 | 0.36 | 2005 |
| Scientific Engineering of Distributed Java Applications, 4th InternationalWorkshop, FIDJI 2004, Luxembourg-Kirchberg, Luxembourg, November 24-25, 2004, Revised Selected Papers | 13 | 2.07 | 2005 |
| Software Engineering for Multi-Agent Systems II, Research Issues and Practical Applications [the book is a result of SELMAS 2003] | 14 | 1.07 | 2005 |
| Architecting Dependable Systems IV [the book is a result of the ICSE 2006 and DSN 2006 workshops] | 32 | 2.01 | 2005 |
| Architecting Dependable Systems II - [the book is a result of the ICSE 2003 Workshop on Software Architectures for Dependable Systems] | 15 | 1.23 | 2004 |
| Wrapping the future | 1 | 0.53 | 2004 |
| Coordinated Forward Error Recovery for Composite Web Services | 12 | 1.26 | 2003 |
| Protective Wrapper Development: A Case Study | 13 | 0.94 | 2003 |
| Architecting Dependable Systems [the book is a result of the ICSE 2002 Workshop on Software Architectures for Dependable Systems] | 7 | 0.55 | 2003 |
| Integrating COTS Software Components into Dependable Software Architectures | 8 | 0.58 | 2003 |
| A Dependable Architecture for COTS-Based Software Systems Using Protective Wrappers | 9 | 0.54 | 2003 |
| Structuring Integrated Web Applications for Fault Tolerance | 14 | 0.97 | 2003 |
| Dependable On-Line Upgrading of Distributed Systems | 3 | 0.84 | 2002 |
| Designing Fault-Tolerant Mobile Systems | 8 | 0.76 | 2002 |
| On Version State Recovery And Adjudication In Class Diversity | 1 | 0.40 | 2002 |
| A Structured Approach to Handling On-Line Interface Upgrades | 4 | 0.50 | 2002 |
| Structured Handling of Online Interface Upgrades in Integrating Dependable Systems of Systems | 3 | 0.44 | 2002 |
| Aspects of Exceptions at the Meta-level | 1 | 0.38 | 2001 |
| A Distributed Coordinated Atomic Action Scheme | 1 | 0.38 | 2001 |
| 7th Workshop on Mobile Object Systems | 1 | 0.36 | 2001 |
| Transaction Support for Ada | 11 | 1.30 | 2001 |
| An evolutionary and adaptive approach for n-version programming | 3 | 0.44 | 2001 |
| Advances in Exception Handling Techniques (the book grow out of a ECOOP 2000 workshop) | 17 | 2.39 | 2001 |
| Modelling And Verification Of An Atomic Action Protocol Implemented In Ada | 1 | 0.36 | 2001 |
| Exception Handling In The Software Lifecycle | 19 | 1.12 | 2001 |
| On Systematic Design Of Protectors For Employing Ots Items | 16 | 1.54 | 2001 |
| Guest Editors' Introduction-Current Trends in Exception Handling. | 0 | 0.34 | 2000 |
| Exception Handling in Object Oriented Systems | 4 | 0.54 | 2000 |
| On Persistent and Reliable Streaming in Ada | 5 | 0.79 | 2000 |
| An Exception Handling Framework for N-Version Programming in Object-Oriented Systems | 5 | 0.52 | 2000 |
| Choosing Effective Methods for Design Diversity - How to Progress from Intuition to Science | 6 | 0.58 | 1999 |
| Engineering Look-ahead in Distributed Conversations | 0 | 0.34 | 1999 |
| Rigorous Development of a Safety-Critical System Based on Coordinated Atomic Actions | 25 | 1.55 | 1999 |
| Using coordinated atomic actions to design safety-critical systems: a production cell case study | 17 | 2.39 | 1999 |
| On Structuring Cooperative and Competitive Concurrent Systems | 6 | 0.53 | 1999 |
| Formal Development and Validation of Java Dependable Distributed Systems | 7 | 0.67 | 1999 |
| Coordinated atomic actions as a technique for implementing distributed gamma computation | 8 | 0.79 | 1999 |
| Distributed Atomic Actions in Ada 95 | 2 | 0.40 | 1998 |
| Implementation of blocking coordinated atomic actions based on forward error recovery | 8 | 0.70 | 1997 |
| On distribution of coordinated atomic actions | 7 | 0.72 | 1997 |
