Guest Editors' Introduction to the Special Section on Exception Handling: From Requirements to Software Maintenance
Garcia, A., Romanovsky, A. and Issarny, V.
IEEE Transactions on Software Engineering Vol. 36, Issue 2, pp 147-149
IEEE Computer Society, 2010 ISSN 0098-5589

Improving reliability of cooperative concurrent systems with exception flow analysis
Castor Filho, F., Romanovsky, A. and Rubira, C.M.F.
Journal of Systems and Software Vol. 82, Issue 5, pp 874–890
Elsevier Inc., 2009 ISSN 0164-1212

[Abstract]

Frameworks for designing and implementing dependable systems using Coordinated Atomic Actions: A comparative study
Capozucca, A., Guelfi, N., Pelliccione, P. et al.
Journal of Systems and Software Vol. 82, Issue 2, pp 207-228
Elsevier Inc., 2009 ISSN 0164-1212

Improving the Dependability of Web Services Integration
Chen, Y. and Romanovsky, A.
IT Professional Vol. 10, Issue 3, pp 29 - 35
IEEE Computer Society, 2008 ISSN 1520-9202
Notes : DOI 10.1109/MITP.2008.49

Guest Editorial - Engineering Fault Tolerant Systems
Guelfi, N., Muccini, H., Pelliccione, P. and Romanovsky, A.
International Journal of Computer Systems Science & Engineering Vol. 23, Issue 5, pp 315-316
CRL Publishing, 2008 ISSN 0267-6192
Notes : Introduction to a special issue.

An aspect-oriented software architecture for code mobility
Lobato, C., Garcia, A., Romanovsky, A. and Lucena, C.
Software: Practice and Experience Vol. 38, Issue 13, pp 1365-1392
John Wiley & Sons, 2008 ISSN 0038-0644

DEPLOY: industrial deployment of advanced system engineering methods for high productivity and dependability
Romanovsky, A.
Software Engineering Notes Vol. 33, Issue 6, pp 36
ACM , 2008 ISSN 0163-5948
Notes : Abstract only. Full text is available in the ACM Digital Library on the SEN site.

A looming fault tolerance software crisis?
Romanovsky, A.
Software Engineering Notes Vol. 32, Issue 2, pp 27
ACM, 2007 ISSN 0163-5948
Notes : Position paper for the 2006 NATO Workshop on Building Robust Systems with Fallible Construction (Prague, Czech Republic, 9-10 November 2006). Abstract only. Full text (3 pp.)is available in the ACM Digital Library on the SEN site.

On Composing Dependable Web Services Using Undependable Web Components
Gorbenko, A., Kharchenko, V. and Romanovsky, A.
International Journal of Simulation and Process Modelling Vol. 3, Issue 1/2, pp 45-54
Inderscience Publishers, 2007 ISSN 1740-2123

[Abstract]

Guest Editorial - Architecting Dependable Systems
de Lemos, R., Gacek, C. and Romanovsky, A. (eds.)
The Journal of Systems and Software Vol. 79, Issue 10, pp 1359-1360
Elsevier Inc., 2006 ISSN 0164-1212

Architecting Dependable Systems
de Lemos, R., Gacek, C. and Romanovsky, A. (eds.)
The Journal of Systems and Software Vol. 79, Issue 10, pp 1359-1482
Elsevier Inc., 2006 ISSN 0164-1212
Notes : Special issue of journal on Architecting Dependable Systems: contains extended versions of selected papers initially presented at ICSE 2005 WADS.

RODIN - Rigorous Open Development Environment for Complex Systems
Romanovsky, A.
Software Engineering Notes Vol. 30, Issue 1, pp 2
ACM, 2005 ISSN 0163-5948
Notes : Abstract only.

The Atomic Manifesto: a Story in Four Quarks
Jones, C., Lomet, D., Romanovsky, A. et al.
SIGMOD Record Vol. 34, Issue 1, pp 63-69
ACM Press, 2005 ISSN 0163-5808

Workshop on Software Architectures for Dependable Systems
de Lemos, R., Gacek, C., and Romanovsky, A.
Software Engineering Notes Vol. 28, Issue 6, pp 28
ACM Press, 2003 ISSN 0163-5948
Notes : Workshop summary. Full report of the Workshop is available in the ACM Digital Library on the SEN site.

Wrapping it up
Anderson, T., Feng, M., Riddle, S. and Romanovsky, A.
Safety Systems Vol. 13, Issue 1, pp 8-10
Safety Critical Systems Club, 2003

Software Engineering for Large-Scale Multi-Agent Systems - SELMAS 2003
Garcia, A., Leite, J., Milidiu, R. et al.
Software Engineering Notes Vol. 28, Issue 6, pp 26
ACM Press, 2003 ISSN 0163-5948
Notes : Workshop summary. Full report of Workshop is available in ACM Digital Library on the SEN site.

Rigorous development of an Embedded Fault-Tolerant System Based on Coordinated Atomic Actions
Xu, J., Randell, B., Romanovsky, A. et al.
IEEE Transactions on Computers Vol. 51, Issue 2, pp 164-179
IEEE Computer Society, 2002 ISSN 0018-9340
Notes : Special Issue on Fault Tolerance.

[Abstract]

On version state recovery and adjudication in class diversity
Romanovsky, A.
International Journal of Computer Systems Science & Engineering Vol. 17, Issue 3, pp 159-168
CRL Publishing, 2002 ISSN 0267-6192

Framework Based on Design Patterns for Providing Persistence in Object-oriented Programming Languages
Kienzle, J. and Romanovsky, A.
IEE Proceedings - Software Vol. 149, Issue 3, pp 77-85
Institution of Electrical Engineers (IEE), 2002 ISSN 1462-5970

ICSE 2002 Workshop on Architecting Dependable Systems
de Lemos, R., Gacek, C. and Romanovsky, A.
Software Engineering Notes Vol. 27, Issue 5, pp 77-80
ACM Press, 2002 ISSN 0163-5948
Notes : Workshop summary.

Except for Exception Handling...
Romanovsky, A. and Sanden, B.
Ada Letters Vol. 21, Issue 3, pp 19-25
ACM Press, 2001 ISSN 1094-3641

A Distributed Co-ordinated Atomic Action Scheme
Romanovsky, A. and Zorzo, A.
International Journal of Computer Systems Science & Engineering Vol. 16, Issue 4, pp 237-247
CRL Publishing , 2001 ISSN 0267-6192

On Developing and Verifying Design Abstractions for Reliable Concurrent Programming in Ada
Burns, A., Wellings, A.J. and Koelmans, A.M. et. al.
ACM SIGAda Ada Letters Vol. 21, Issue 1, pp 48-55
ACM Press, New York, 2001 ISSN 1094-3641

Implementing Exceptions in Open Multithreaded Transactions Based on Ada 95 Exceptions
Kienzle, J. and Romanovsky, A.
Ada Letters Vol. 21, Issue 3, pp 57-63
ACM Press, 2001 ISSN 1094-3641

Conversations with Fixed and Potential Participants
Romanovsky, A. and Ezhilchelvan, P.
Journal of Systems Architecture Vol. 47, Issue 2, pp 193-196
Elsevier Science B.V., 2001 ISSN 1383-7621
Notes : Short communication.

A Comparative Study of Exception Handling Mechanisms for Building Dependable Object-Oriented Software
Garcia, A.F., Rubira, C.M.F., Romanovsky, A. and Xu, J.
The Journal of Systems and Software Vol. 59, Issue 2, pp 197-222
Elsevier Science Inc., 2001 ISSN 0164-1212

Combining Tasking and Transactions, Part II: Open Multithreaded Transactions
Kienzle, J. and Romanovsky, A.
Ada Letters Vol. 21, Issue 1, pp 67-74
ACM Press, 2001 ISSN 1094-3641

Coordinated Atomic Actions: How to Remain ACID in the Modern World
Romanovsky, A.
Software Engineering Notes Vol. 26, Issue 2, pp 66-68
ACM Press, 2001 ISSN 0163-5948

Towards Modelling and Verification of Concurrent Ada Programs Using Petri Nets
Burns, A., Wellings, A.J. and Burns, F.P. et. al.
Computer Systems Science and Engineering (Special Issue: International Workshop on Software Engineering and Petri Nets (SEPN)) Vol. 16, Issue 3, pp 173-182
CRL Publishing Ltd., 2001 ISSN 0267-6192

Faulty Version Recovery in Object-Oriented N-version Programming
Romanovsky, A.
IEE Proceedings - Software Vol. 147, Issue 3, pp 81-90
Institution of Electrical Engineers (IEE), 2000 ISSN 1462-5970

Extending Conventional Languages by Distributed/Concurrent Exception Resolution
Romanovsky, A.
Journal of Systems Architecture Vol. 46, Issue 1, pp 79-95
Elsevier Science BV (North-Holland), 2000 ISSN 1383-7621

Current Trends in Exception Handling
Perry, D.E., Romanovsky, A. and Tripathi, A.
IEEE Transactions on Software Engineering Vol. 26, Issue 10, pp 921-922
IEEE Computer Society, 2000 ISSN 0098-5589
Notes : Editorial to Special Issue on Current Trends in Exception Handling. Part 2.

The Domino Effect as a Deadlock
Romanovsky, A.
Computer Systems Science and Engineering Vol. 15, Issue 3, pp 147-154
CRL Publishing Ltd., 2000 ISSN 0267-6192

An Application of Fault Tolerance Patterns and Coordinated Atomic Actions to a Problem in Railway Scheduling
Randell, B., Beder, D.M. and Romanovsky, A. et. al.
ACM SIGOPS Operating Systems Review Vol. 34, Issue 4, pp 21-31
ACM Press, New York, 2000 ISSN 0163-5980

Editorial to Special Issue on Developing Fault-Tolerant Systems with Ada
Romanovsky, A. and Wellings, A.J.
Computer Systems Science and Engineering Vol. 15, Issue 1, pp 3-6
CRL Publishing Ltd., 2000 ISSN 0267-6192

Current Trends in Exception Handling
Perry, D.E., Romanovsky, A. and Tripathi, A.
IEEE Transactions on Software Engineering Vol. 26, Issue 9, pp 817-819
IEEE Computer Society, 2000 ISSN 0098-5589
Notes : Editorial to Special Issue on Current Trends in Exception Handling, Part I

Concurrent Exception Handling and Resolution in Distributed Object Systems
Xu, J., Romanovsky, A. and Randell, B.
IEEE Transactions on Parallel and Distributed Systems Vol. 11, Issue 10, pp 1019-1032
IEEE Computer Society, 2000 ISSN 1045-9219

Diversely Designed Classes for use by Multiple Tasks
Romanovsky, A.
ACM SIGAda Ada Letters Vol. 20, Issue 1, pp 25-37
ACM Press, New York, 2000 ISSN 1094-3641

On Structuring Cooperative and Competitive Concurrent Systems
Romanovsky, A.
The Computer Journal Vol. 42, Issue 8, pp 627-637
Oxford University Press/British Computer Society, 1999 ISSN 0010-4260

Using Co-ordinated Atomic Actions to Design Complex Safety-Critical Systems: A Production Cell Case Study
Zorzo, A.F., Romanovsky, A. and Xu, J. et. al.
Software: Practice and Experience Vol. 29, Issue 8, pp 677-697
John Wiley & Sons, 1999 ISSN 0038-0644

Coordinated Exception Handling in Real-Time Distributed Object Systems
Romanovsky, A., Xu, J. and Randell, B.
Computer Systems Science and Engineering (Special Issue on Object-Oriented Real-Time Distributed Systems) Vol. 14, Issue 4, pp 197-207
CRL Publishing Ltd., Leicester, 1999 ISSN 0267-6192

[Abstract]

Class Diversity Support in Object-Oriented Languages
Romanovsky, A.
Journal of Systems and Software Vol. 48, Issue 1, pp 43-57
Elsevier Science Inc., 1999 ISSN 0164-1212

Coordinated Atomic Actions as a Technique for Implementing Distributed Gamma Computation
Romanovsky, A. and Zorzo, A.F.
Journal of Systems Architecture (Special Issue on New Trends in Programming and Execution Models for Parallel Architectures, Heterogeneously Distributed Systems and Mobile Computing) Vol. 45, Issue 15, pp 1357-1374
Elsevier Science BV (North-Holland), 1999 ISSN 1383-7621

A Study of Atomic Action Schemes Intended for Standard Ada
Romanovsky, A.
Journal of Systems and Software Vol. 43, Issue 1, pp 29-44
Elsevier Science Inc., 1998 ISSN 0164-1212

Distributed Atomic Actions in Ada 95
Mitchell, S.E., Wellings, A.J. and Romanovsky, A.
The Computer Journal Vol. 41, Issue 7, pp 486-502
Oxford University Press/British Computer Society, 1998 ISSN 0010-4260

Predictable Toleration of Design Faults: Recovery Blocks in Real Time Systems
Romanovsky, A.
Computer Systems Science and Engineering Vol. 13, Issue 6, pp 369-377
CRL Publishing Ltd., 1998 ISSN 0267-6192

Coordinated Backward Recovery Between Client Processes and Data Servers
Strigini, L., Di Giandomenico, F. and Romanovsky, A.
IEE Proceedings - Software Engineering Vol. 144, Issue 2, pp 134-146
Institution of Electrical Engineers (IEE), 1997 ISSN 1462-5970

Conversational Group Service
Romanovsky, A.
ACM SIGOPS Operating Systems Review Vol. 31, Issue 1, pp 54-63
ACM Press, New York, 1997 ISSN 0163-5980

Implementation of Blocking Coordinated Atomic Actions Based on Forward Error Recovery
Romanovsky, A., Randell, B. and Stroud, R.J. et. al.
Journal of Systems Architecture (Special Issue on Dependable Parallel Computing Systems) Vol. 43, Issue 10, pp 687-699
Elsevier Science BV (North-Holland), 1997 ISSN 1383-7621

Practical Exception Handling and Resolution in Concurrent Programs
Romanovsky, A.
Computer Languages Vol. 23, Issue 1, pp 43-58
Elsevier Science Ltd. (Pergamon Press), 1997 ISSN 0096-0551

On Distribution of Coordinated Atomic Actions
Romanovsky, A. and Zorzo, A.F.
ACM SIGOPS Operating Systems Review Vol. 31, Issue 4, pp 63-71
ACM Press, New York, 1997 ISSN 0163-5980

Dynamic Conversations
Romanovsky, A. and Shturtz, I.V.
Computer Systems Science and Engineering Vol. 11, Issue N.2, pp 109-116
CRL Publishing Ltd., 1996 ISSN 0267-6192

Application Specific Conversation Schemes for ADA Programs
Romanovsky, A.
Microprocessing and Microprogramming Vol. 41, Issue 10, pp 703-713
Elsevier Science BV (North-Holland), 1995 ISSN 0165-6074

How to Make a Recoverable Server by Synchronization Code Inheriting
Romanovsky, A.
ACM SIGPLAN OOPS Messenger Vol. 6, Issue 1, pp 7-13
ACM Press, New York, 1995 ISSN 1055-6400

Backward Error Recovery via Conversations in Ada
Romanovsky, A. and Strigini, L.
IEE Software Engineering Journal Vol. 10, Issue 6, pp 219-232
Institution of Electrical Engineers (IEE), 1995 ISSN 0268-6961

Software Diversity as a Way to Well-Structured Concurrent Software
Romanovsky, A.
ACM SIGOPS Operating Systems Review Vol. 29, Issue 3, pp 85-90
ACM Press, New York, 1995 ISSN 0163-5980

Conversations of Objects
Romanovsky, A.
Computer Languages Vol. 21, Issue 3-4, pp 147-163
Elsevier Science Ltd. (Pergamon Press), 1995 ISSN 0096-0551

The Problems of Designing a Conversion Scheme for Concurrent Object Oriented Languages
Romanovsky, A.
Microprocessing and Microprogramming Vol. 40, Issue 10/12, pp 897-900
Elsevier Science BV (North-Holland), 1994 ISSN 0165-6074

Recovery Unification for Concurrent Heterogeneous Systems
Romanovsky, A.
Computer Systems Science and Engineering Vol. 9, Issue 4, pp 234-239
CRL Publishing Ltd., 1994 ISSN 0267-6192

About Conversations for Concurrent OO Languages
Romanovsky, A.
ACM SIGPLAN Notices Vol. 29, Issue 9, pp 17-21
ACM Press, New York, 1994 ISSN 1523-2867

Fault Tolerance: Synchronization of Redundancy
Romanovsky, A.
ACM SIGOPS Operating Systems Review Vol. 27, Issue 4, pp 58-66
ACM Press, New York, 1993 ISSN 0163-5980

Unplanned Recovery for Non-program Objects
Romanovsky, A. and Shturtz, I.V.
Computer Systems Science and Engineering Vol. 8, Issue 2, pp 72-79
CRL Publishing Ltd., 1993 ISSN 0267-6192

Software Engineering of Fault Tolerant Systems
Pelliccione, P., Muccini, H., Guelfi, N. and Romanovsky, A. (eds.)
Series on Software Engineering and Knowledge Engineering, 19
World Scientific Publishing, 2007, ISBN 978-981-270-503-7

Software Engineering for Multi-Agent Systems V: Research Issues and Practical Applications
Choren, R., Garcia, A., Giese, H. et al. (eds.)
Lecture Notes in Computer Science, 4408
Springer-Verlag, 2007, ISBN 978-3-540-73130-6
Notes : State-of-the-Art Survey. Selected papers from the SELMAS 2006 Workshop, plus invited papers.

Architecting Dependable Systems IV
de Lemos, R., Gacek, C. and Romanovsky, A. (eds.)
Lecture Notes in Computer Science, 4615
Springer-Verlag, 2007, ISBN 978-3-540-74033-9
Notes : State-of-the-Art Survey. Selected papers from WADS 2006, plus invited papers.

Software Engineering for Multi-Agent Systems IV : Research Issues and Practical Applications
Garcia, A., Choren, R., Lucena, C. et al. (eds)
Lecture Notes in Computer Science, 3914
Springer-Verlag , 2006, ISBN 3-540-33580-3
Notes : State-of-the-Art Survey.

Rigorous Development of Complex Fault-Tolerant Systems
Butler, M., Jones, C., Romanovsky, A. and Troubitsyna, E. (eds.)
Lecture Notes in Computer Science, 4157
Springer-Verlag, 2006, ISBN 978-3-540-48265-9
Notes : State-of-the-Art Survey.

Advanced Topics in Exception Handling Techniques
Dony, C., Knudsen, J.L., Romanovsky, A. and Tripathi, A. (eds.)
Lecture Notes in Computer Science, 4119
Springer-Verlag, 2006, ISBN 978-3-540-37443-5
Notes : State-of-the-Art Survey.

Measuring the Dependability of Web Services for Use in e-Science Experiments
Li, P., Chen, Y. and Romanovsky, A.
In Service Availability. Third International Service Availability Symposium, ISAS 2006, Helsinki, Finland, May 15-16, 2006. Revised Selected Papers,
Penkler, D., Reitenspiess, M. and Tam, F. (eds.), pp 193 - 205
Lecture Notes in Computer Science, 4328
Springer, 2006, ISBN 3-540-68724-6

Towards an Engineering Approach to Component Adaptation
Becker, S., Brogi, A., Gorton, I., Overhage, S., Romanovsky, A. and Tivoli, M.
In Architecting Systems with Trustworthy Components. International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers,
Reussner, R.H., Judith J.A. and Szyperski, C.A. (eds), pp 193-215
Lecture Notes in Computer Science, 3938
Springer Verlag, 2006, ISBN 3-540-35800-5

Rigorous Development of Fault-Tolerant Agent Systems
Laibinis, L., Troubitsyna, E., Iliasov, A. and Romanovsky, A.
In Rigorous Development of Complex Fault-Tolerant Systems,
Butler, M., Jones, C., Romanovsky, A. and Troubitsyna, E. (eds.), pp 241-260
Lecture Notes in Computer Science, 4157
Springer, 2006, ISBN 978-3-540-48265-9

Structured Coordination Spaces for Fault Tolerant Mobile Agents
Iliasov, A. and Romanovsky, A.
In Advanced Topics in Exception Handling Techniques,
Dony, C., Knudsen, J.L., Romanovsky, A. and Tripathi, A. (eds.), pp 181-199
Lecture Notes in Computer Science, 4119
Springer, 2006, ISBN 978-3-540-37443-5

On Specification and Verification of Location-Based Fault Tolerant Mobile Systems
Iliasov, A., Khomenko, V., Koutny, M. and Romanovsky, A.
In Rigorous Development of Complex Fault-Tolerant Systems,
Butler, M., Jones, C., Romanovsky, A. and Troubitsyna, E. (eds.), pp 168-188
Lecture Notes in Computer Science, 4157
Springer, 2006, ISBN 978-3-540-48265-9

Architecting Dependable Systems III
de Lemos, R., Gacek, C. and Romanovsky, A. (eds)
Lecture Notes in Computer Science, 3549
Springer-Verlag, 2005, ISBN 3-540-28968-2
Notes : State-of-the-art survey. Selected papers from Twin Workshops on Architecting Dependable Systems (WADS 2004), plus invited papers.

Scientific Engineering of Distributed Java Applications: 4th International Workshop, FIDJI 2004, Luxembourg-Kirchberg, Luxembourg, November 24-25, 2004, Revised Selected Papers
Guelfi, N., Reggio, G. and Romanovsky, A. (eds.)
Lecture Notes in Computer Science, 3409
Springer-Verlag, 2005, ISBN 3-540-25053-0

Software Engineering for Multi-Agent Systems III: Research Issues and Practical Applications
Choren, R., Garcia, A., Lucena, C. and Romanovsky, A. (eds)
Lecture Notes in Computer Science, 3390
Springer-Verlag, 2005, ISBN 3-540-24843-9
Notes : State-of-the-Art Survey.

Dependable Composite Web Services with Components Upgraded Online
Gorbenko, A., Kharchenko, V., Popov, P. and Romanovsky, A.
In Architecting Dependable Systems III,
de Lemos, R., Gacek, C. and Romanovsky, A. (eds.), pp 92-121
Lecture Notes in Computer Science, 3549
Springer, 2005, ISBN 3-540-28968-2

Architecting Dependable Systems II
de Lemos, R., Gacek, C. and Romanovsky, A. (eds)
Lecture Notes in Computer Science, 3069
Springer-Verlag, 2004, ISBN 3-540-23168-4
Notes : State-of-the-Art Survey. Selected papers from WADS 2003, plus invited papers.

Software Engineering for Multi-Agent Systems II : Research Issues and Practical Applications
Lucena, C., Garcia, A., Romanovsky, A. et al. (eds)
Lecture Notes in Computer Science, 2940
Springer-Verlag, 2004, ISBN 3-540-21182-9
Notes : State-of-the-Art Survey.

A Dependable Architecture for COTS-Based Software Systems using Protective Wrappers
Asterio de C. Guerra, P., Rubira, C.M.F., Romanovsky, A. and de Lemos, R.
In Architecting Dependable Systems II,
de Lemos, R., Gacek, C. and Romanovsky, A. (eds.), pp 144 -166
Lecture Notes in Computer Science, 3069
Springer-Verlag, 2004, ISBN 3-540-23168-4
Notes : State-of-the-Art Survey.

Exception Handling in Object Oriented Systems: Towards Emerging Application Areas and New Programming Paradigms
Romanovsky, A., Dony, C., Tripathi, A. and Lindskov Knudsen, J.
In Object-Oriented Technology: ECOOP 2003 Workshop Reader, ECOOP 2003 Workshops, Darmstadt, Germany, July 21-25, 2003.,
Buschmann, F., Buchmann, A. P. and Cilia, M. (eds), pp 1-10
Lecture Notes in Computer Science, 3013
Springer, 2004, ISBN 3-540-22405-X

Architecting Dependable Systems
de Lemos, R., Gacek, C. and Romanovsky, A., (eds.)
Lecture Notes in Computer Science, 2677 Goos, G. Hartmanis, J. and van Leeuwen, J. (eds.)
Springer-Verlag, 2003, ISBN 3-540-40727-8
Notes : State-of-the-Art Survey. Selected papers from WADS 2002, plus invited papers.

Architectural Mismatch Tolerance
de Lemos, R., Gacek, C., and Romanovsky, A.
In Architecting Dependable Systems,
de Lemos, R., Gacek, C., and Romanovsky, A., (eds.), pp 175-194
State of the Art - Lecture Notes in Computer Science, 2677 Goos, G. Hartmanis, J. and van Leeuwen, J.(eds)
Springer-Verlag, 2003, ISBN 3-540-40727-8

Dependability in the Web Services Architecture
Tartanoglu, F., Issarny, V., Romanovsky, A. and Levy, N.
In Architecting Dependable Systems,
de Lemos, R., Gacek, C., and Romanovsky, A., (eds.), pp 90-109
Lecture Notes in Computer Science, 2677 Goos, G. Hartmanis, J. and van Leeuwen, J.(eds)
Springer-Verlag, 2003, ISBN 3-540-40727-8

Concurrency in Dependable Computing
Ezhilchelvan, P. and Romanovsky, A. (eds.)
Kluwer Academic Publishers, 2002, ISBN 1-4020-7043-8

TLA Specification of a Mechanism for Concurrent Exception Handling
Zorzo, A.F., Randell, B. and Romanovsky, A.
In Concurrency in Dependable Computing,
Ezhilchelvan, P. and Romanovsky, A. (eds.), pp 41-59
Kluwer Academic Publishers, Boston, 2002, ISBN 1-4020-7043-8

Advances in Exception Handling Techniques
Romanovsky, A., Dony, C., Knudsen, J. L. and Tripathi, A. (eds.)
Lecture Notes in Computer Science, 2022
Springer-Verlag, 2001, ISBN 3-540-41952-7
Notes : State-of-the-Art Survey.

From Recovery Blocks to Concurrent Atomic Actions
Randell, B., Romanovsky, A., Rubira-Calsavara, C.M.F., Stroud, R.J., Wu, Z. and Xu, J.
In Predictably Dependable Computing Systems,
Randell, B., Laprie, J-C., Kopetz, H. and Littlewood, B. (eds.), pp 87-101
ESPRIT Basic Research Series,
Springer-Verlag, Brussels, 1995, ISBN 3-540-59334-9

[Abstract]

Supporting Reuse in Event B Development: Modularisation Approach
Iliasov, A., Troubitsyna, E., Laibinis, L. et al.
In Abstract State Machines, Alloy, B and Z . Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010
Frappier, M., Glässer, U., Khurshid, S. et al. (eds.)
Lecture Notes in Computer Science, 5977 , pp 174-188
Springer-Verlag , 2010

[Abstract]

Patterns for Modelling Time and Consistency in Business Information Systems
Bryans, J. W., Fitzgerald, J. S., Romanovsky, A. and Roth, A.
In 2010 15th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2010, 22-26 March 2010, Oxford, UK
Calinescu, R., Paige, R. and Kwiatkowska, M. (eds.)
pp 105-114
IEEE, 2010

MetaSelf – An Architecture and a Development Method for Dependable Self-* Systems
Di Marzo Serugendo, G., Fitzgerald, J. and Romanovsky, A.
In Applied Computing 2010. The 25th annual ACM Symposium on Applied Computing, Sierre, Switzerland, March 22-26, 2010
Shin, D. (ed.)
pp 457-461
ACM, 2010

[Abstract]

Modal Systems: Specification, Refinement and Realisation
Dotti, F. L., Iliasov, A., Ribeiro, L. and Romanovsky, A.
In Formal Methods and Software Engineering. 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009
Breitman, K. and Cavalcanti, A. (eds.)
Lecture Notes in Computer Science, 5885, pp 601-619
Springer-Verlag , 2009

Benchmarking Dependability of a System Biology Application
Chen, Y., Romanovsky, A., Gorbenko, A. et al.
In Proceedings. 14th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2009, 2-4 June 2009, Potsdam, Germany
pp 146-153
IEEE Computer Society, 2009

Formal Modelling and Analysis of Business Information Applications with Fault Tolerant Middleware
Bryans, J., Fitzgerald J., Romanovsky, A. and Roth A.
In Proceedings. 14th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2009, 2-4 June 2009, Potsdam, Germany
pp 68-77
IEEE Computer Society, 2009

Structuring Specifications with Modes
Iliasov, A., Romanovsky, A. and Dotti, F.L.
In Proceedings. 2009 Fourth Latin-American Symposium on Dependable Computing, LADC 2009, 1-4 September 2009, João Pessoa, Brazil
pp 81-88
IEEE Computer Society, 2009

[Abstract]

How to Enhance UDDI with Dependability Capabilities
Gorbenko, A., Romanovsky, A. and Kharchenko, V.
In Proceedings. 32nd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2008, 28 July-1 August 2008, Turku, Finland
pp 1023-1028
IEEE Computer Society, 2008

Experimenting with exception propagation mechanisms in service-oriented architecture
Gorbenko, A., Kharchenko, V., Romanovsky, A. et al.
In 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, November 14, 2008, Atlanta, Georgia, USA
Garcia, A., Kienzle, J., Romanovsky, A. et al. (eds.)
pp 1-7
ACM, 2008

Refinement Patterns for Fault Tolerant Systems
Iliasov, A. and Romanovsky, A.
In Proceedings. Seventh European Dependable Computing Conference, EDCC-7, 7-9 May 2008, Kaunas, Lithuania
pp 167-176
IEEE Computer Society, 2008

A Metadata-Based Architectural Model for Dynamically Resilient Systems
Di Marzo Serugendo, G., Fitzgerald, J., Romanovsky, A. and Guelfi, N.
In 22nd ACM Symposium on Applied Computing, Seoul, Korea, March 11-15, 2007
pp 566-573
ACM, 2007

[Abstract]

Architecting Fault Tolerant Systems
Muccini, H., Pelliccione, P. and Romanovsky, A.
In Working IEEE/IFIP Conference on Software Architecture, Mumbai, India, January 6-9, 2007
pp 43
IEEE Computer Society, 2007
Notes : Abstract of a tutorial presented at WICSA'07. ISBN 978-0-7695-2744-4

A Framework for Open Distributed System Design
Iliasov, A., Romanovsky, A., Arief, B. et al.
In Proceedings. COMPSAC 2007, 24-27 July 2007, Beijing, China
2, pp 658-674
IEEE Computer Society, 2007
Notes : 31st Annual International Computer Software and Applications Conference

Coordinated Atomic Actions for Dependable Distributed Systems: the Current State in Concepts, Semantics and Verification Means
Gallina, B., Guelfi, N. and Romanovsky, A.
In Proceedings. 18th IEEE International Symposium on Software Reliability Engineering, ISSRE 2007, Trollhättan, Sweden, 5-9 November 2007
pp 29-38
IEEE Computer Society, 2007

On Rigorous Design and Implementation of Fault Tolerant Ambient Systems
Iliasov, A., Romanovsky, A., Arief, B. et al.
In Proceedings. 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing , ISORC 2007, 7-9 May, 2007, Santorini Island, Greece
pp 141-145
IEEE Computer Society, 2007

Context-Aware Exception Handling in Mobile Agent Systems: The MoCA Case
Damasceno, K., Cacho, N., Garcia, A., Romanovsky, A. and Lucena, C.
In SELMAS 2006 Workshop, May 22-23, 2006, Shanghai, China, held as part of the 28th International Conference on Software Engineering
pp 37-43
ACM, 2006

Verification of Coordinated Exception Handling
Castor Filho, F., Romanovsky, A. and Rubira, C. M. F.
In Applied Computing 2006: the 21st annual ACM Symposium on Applied Computing, Dijon, France, April 23-27, 2006
1, pp 680-685
ACM, 2006

Fifth Workshop on Software Engineering for Large-Scale Multi-Agent Systems (SELMAS)
Choren, R., Garcia, A., Giese, H., Leung, H.-f., Lucena, C. and Romanovsky, A.
In 28th International Conference on Software Engineering, 20-28 May 2006, Shanghai, China
pp 1022-1023
ACM, 2006
Notes : ICSE 2006

On Using the CAMA Framework for Developing Open Mobile Fault Tolerant Agent Systems
Arief, B., Iliasov, A. and Romanovsky, A.
In SELMAS 2006 Workshop , May 22-23, 2006, Shanghai, China, held as part of the 28th International Conference on Software Engineering, 2006
pp 29-35
ACM, 2006
Notes : DOI http://doi.acm.org/10.1145/1138063.1138070

Looking Ahead in Open Multithreaded Transactions
Monod, M., Kienzle, J. and Romanovsky, A.
In Proceedings. Ninth IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing, ISORC 2006, 24-26 April 2006, Gyeongju, Korea
Lee, S. et al. (eds)
pp 53 - 63
IEEE Computer Society, 2006

Introduction to the SELMAS 2006
Choren, R., Garcia, A., Giese, H., Leung, H.-f., Lucena, C. and Romanovsky, A.
In SELMAS 2006 Workshop, May 22-23, 2006, Shanghai, China, held as part of the 28th International Conference on Software Engineering
pp 1-4
ACM, 2006

A modular implementation framework for code mobility
Lobato, C., Garcia, A., Lucena, C. and Romanovsky, A.
In Mobility '06. Proceedings of the 3rd international conference on Mobile technology, applications & systems 2006, Bangkok, Thailand, October 25-27, 2006
ACM International Conference Series, 270, pp 1-7
ACM, 2006

Workshop on Architecting Dependable Systems (WADS)
de Lemos, R., Gacek, C. and Romanovsky, A.
In DSN 2006. 2006 International Conference on Dependable Systems and Networks, 25-28 June 2006, Philadelphia, Pennsylvania
pp 592
IEEE Computer Society, 2006

CAA-DRIP: a framework for implementing Coordinated Atomic Actions
Capozucca, A., Guelfi, N., Pelliccione, P., Romanovsky, A. and Zorzo, A.
In 17th International Symposium on Software Reliability Engineering, ISSRE 2006, November 7-10, 2006, Raleigh, North Carolina
pp 385-394
IEEE Computer Society, 2006

Software Engineering for Large-Scale Multi-Agent Systems - SELMAS'05
Garcia, A., Choren, R., Lucena, C., Romanovsky, A., Holvoet, T., Giorgini, P.
In 27th International Conference on Software Engineering 2005 (ICSE 05), St Louis MO, May 15-21 2005
pp 682
ACM Press, 2005

Exception Handling in Coordination-based Mobile Environments
Iliasov, A. and Romanovsky, A.
In 29th Annual International Computer Software and Applications Conference (COMPSAC 2005), Edinburgh, Scotland, July 26-28, 2005
pp 341 - 350
IEEE Computer Society Press, 2005

Workshop on Architecting Dependable Systems (WADS 2005)
de Lemos, R. and Romanovsky, A.
In 27th International Conference on Software Engineering 2005 (ICSE 05),St Louis MO, May15-21 2005
pp 691
ACM Press, 2005

Error Recovery for a Boiler System with OTS PID Controller
Anderson, T., Feng, M., Riddle, S. and Romanovsky, A.
In 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2005), Sedona, Arizona, 2-4 February 2005
pp 113 - 120
IEEE Computer Society, 2005

Twin Workshops on Architecting Dependable Systems (WADS 2004)
de Lemos, R., Gacek, C. and Romanovsky, A.
In 2004 International Conference on Dependable Systems and Networks (DSN 2004), Florence, Italy, June 28-July 1, 2004
pp 901
IEEE Computer Society, 2004

Software Engineering for Large-Scale Multi-agent Systems - SELMAS'04
Choren, R., Garcia, A., Lucena, C., Griss, M., Kung, D., Minsky, N., Romanovsky, A.
In 26th International Conference on Software Engineering (ICSE 2004), May 23-28, 2004, Edinburgh, Scotland
pp 752-753
IEEE Computer Society, 2004

On Dependability of Composite Web Services with Components Upgraded Online
Kharchenko, V., Popov, P. and Romanovsky, A.
In 2004 International Conference on Dependable Systems and Networks, Florence, Italy, June 28 - July 1, 2004
pp 287-291
IEEE Computer Society, 2004
Notes : DSN 2004 Supplemental volume.

Wrapping the Future
Anderson, T., Randell, B., and Romanovsky, A.
In Building the Information Society: Proc. IFIP 18th World Computer Congress, 22-27 August 2004, Toulouse, France
Jacquart, R. (ed)
pp 165-173
Kluwer Academic Publishers, 2004

[Abstract]

Twin Workshops on Architecting Dependable Systems (WADS 2004)
de Lemos, R., Gacek, C. and Romanovsky, A.
In 26th International Conference on Software Engineering (ICSE 2004)
pp 758
IEEE Computer Society Press, 2004

Structured Handling of On-Line Interface Upgrades in Integrating Dependable Systems of Systems
Jones, C., Periorellis, P., Romanovsky, A. and Welch , I.
In International Workshop on Scientific Engineering for Distributed Java Applications (FIDJI 2002), Luxembourg-Kirchberg, Luxembourg, 28-29 November 2002
Guelfi, N., Astesiano, E. and Reggio, G. (eds.)
Lecture Notes in Computer Science, 2604, pp 73-86
Springer-Verlag, 2003ISBN 3-540-00679-6

[Abstract]

ICSE 2003 Workshop on Software Architectures for Dependable Systems
de Lemos, R., Gacek, C. and Romanovsky, A.
In 25th International Conference on Software Engineering (ICSE 2003), Portland, Oregon, USA, 3-10 May 2003
pp 781-782
IEEE Computer Society Press, 2003ISBN 0-7695-1877-X

Designing Fault-Tolerant Mobile Systems
Di Marzo, G. and Romanovsky, A.
In International Workshop on Scientific Engineering for Distributed Java Applications (FIDJI 2002), Luxembourg-Kirchberg, Luxembourg, 28-29 November 2002
Guelfi, N., Astesiano, E. and Reggio, G. (eds.)
Lecture Notes in Computer Science, 2604, pp 185-201
Springer-Verlag, 2003ISBN 3-540-00679-6

Structuring Integrated Web Applications for Fault Tolerance
Romanovsky, A., Periorellis, P. and Zorzo, A.F.
In 6th International Symposium on Autonomous Decentralised Systems (ISADS 2003), Pisa, Italy, April 2003
pp 99-106
IEEE Computer Society Press, 2003

Software Engineering for Large-Scale Multi-Agent Systems - SELMAS 2003 (Workshop overview)
Lucena, C., Sardinha, J.A. and Castro, J. et. al.
In 25th International Conference on Software Engineering (ICSE 2003), Portland, Oregon, USA, 3-10 May 2003
pp 771-772
IEEE Computer Society Press, 2003ISBN 0-7695-1877-X

Coordinated Forward Error Recovery for Composite Web Services
Tartanoglu, F., Issarny. V., Romanovsky. A., and Levy, N.
In 22nd International Symposium on Reliable Distributed Systems (SRDS '03),Florence, Italy
pp 167-176
IEEE Computer Society Press, 2003

Protective Wrapper Development: A Case Study
Anderson, T., Feng, M., Riddle, S. and Romanovsky, A.
In 2nd International Conference on COTS-Based Software Systems (ICCBSS 2003), Ottawa, Canada, 10-13 February 2003
Erdogmus, M.H. and Weng, T. (eds.)
Lecture Notes in Computer Science, 2580, pp 1-14
Springer-Verlag, 2003ISBN 3-540-00562-5

Using Coordinated Atomic Actions for Building Complex Web Applications: a Learning Experience
Zorzo, A., Periorellis, P. and Romanovsky, A.
In Proceedings. The Eighth IEEE International Workshop on Object-Oriented Real-Time Dependable Systems, January 15 to 17, 2003, Guadalajara, Mexico
pp 288-295
IEEE Computer Society , 2003
Notes : WORDS 2003

Integrating COTS Software Components into Dependable Software Architectures
Asterio de C. Guerra, P., Rubira, C.M.F., Romanovsky, A. and de Lemos, R.
In Proceedings. Sixth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, ISORC 2003, 14-16 May 2003, Hakodate, Hokkaido, Japan
Puschner, P., Nakajima, T. and Ghafoor, A. (eds.)
pp 139-142
IEEE Computer Society , 2003ISBN 0-7695-1928-8

Software Engineering for Large-Scale Multi-Agent Systems - SELMAS'2003
Lucena, C. J. P. , Sardinha, J. A. , Garcia, A. F. , Romanovsky, A. , Castro, J. , Alencar, P. S. C. , and Cowan, D. D.
In 25th International Conference on Software Engineering (ICSE 2003), Portland, Oregon
pp 771-772
IEEE Computer Society and ACM, 2003

A Fault-Tolerant Software Architecture for COTS-Based Software Systems
Asterio de C. Guerra, P., Rubira, C. M. F. , Romanovsky, A. and de Lemos, R.
In Proceedings of the joint 9th European Software Engineering Conference (ESEC) & 11th SIGSOFT Symposium on the Foundations of Software Engineering (FSE-11), Helsinki, Finland, September 1-5, 2003
Inverardi, P. (ed.)
pp 375-378
ACM, 2003
Notes : Proceedings published as Software Engineering Notes Vol. 28, no. 5, 2003.

Transactions and Groups as Generic Building blocks for Software Fault Tolerance
Patiño-Martínez, M., Jiménez-Peris, R. and Romanovsky, A.
In Int. Conference on Reliable Software Technologies - Ada-Europe 2003
Rosen, J.-P. and Strohmeier, A. (eds)
Lecture Notes in Computer Science, 2655, pp 208-219
Springer Verlag, 2003

A Generic Approach to Structuring and Implementing Complex Fault-Tolerant Software
Xu, J., Randell, B. and Romanovsky, A.
In 5th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2002), Washington DC, USA, 29 April-01 May 2002
Bacellar, L., Puschner, P. and Hong, S. (eds.)
pp 207-214
IEEE Computer Society Press, 2002ISBN 0-7695-1558-4

ICSE 2002 Workshop on Architecting Dependable Systems
de Lemos, R., Gacek, C. and Romanovsky, A.
In 24th International Conference on Software Engineering (ICSE 2002), Orlando, Florida, USA, 19-25 May 2002
pp 673-674
ACM Press and IEEE Computer Society Press, 2002

Auction System Design Using Open Multithreaded Transactions
Kienzle, J., Romanovsky, A. and Strohmeier, A.
In 7th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2002), San Diego, California, USA, 7-9 January 2002
pp 95-104
IEEE Computer Society Press, 2002ISBN 0-7695-1576-2

Dependable On-line Upgrading of Distributed Systems
Romanovsky, A. and Smith, I.
In 26th Annual International Computer Software and Applications Conference (COMPSAC 2002), Oxford, UK, 26-29 August 2002
pp 975-976
IEEE Computer Society Press, 2002ISBN 0-7695-1727-7

A Structured Approach to Handling On-Line Interface Upgrades
Jones, C., Romanovsky, A. and Welch, I.
In 26th Annual International Computer Software and Applications Conference (COMPSAC 2002), Oxford, UK, 26-29 August 2002
pp 1000-1005
IEEE Computer Society Press, 2002ISBN 0-7695-1727-7

[Abstract]

Looking Ahead in Atomic Actions with Exception Handling
Romanovsky, A.
In 20th IEEE Symposium on Reliable Distributed Systems, October 28-31, 2001, New Orleans, Louisiana, USA
pp 142-151
IEEE Computer Society, 2001

Aspects of Exceptions at the Meta-Level
Welch, I., Stroud, R.J. and Romanovsky, A.
In International Workshop on Reflection
Cooperative Systems Engineering Group (CSEG) Technical Reports, CSEG/03/01, pp 38-43
Computing Department, Lancaster University, 2001

Aspects of Exceptions at the Meta-level
Welch, I., Stroud, R.J. and Romanovsky, A.
In 3rd International Conference on Metalevel Architectures and Separation of Crosscutting Concerns (REFLECTION 2001), Kyoto, Japan, 25-28 September 2001
Yonezawa, A. and Matsuoka, S. (eds.)
Lecture Notes in Computer Science, 2192, pp 280-281
Springer-Verlag, 2001ISBN 3-540-42618-3

Transaction Support for Ada
Kienzle, J., Jimenez-Peris, R., Romanovsky, A. and Patino-Martinez, M.
In 6th Ada-Europe International Conference on Reliable Software Technologies (Ada-Europe 2001), Leuven, Belgium, 14-18 May 2001
Craeynest, D. and Strohmeier, A. (eds)
Lecture Notes in Computer Science, 2043, pp 290-304
Springer-Verlag, 2001ISBN 3-540-42123-8

On Applying Coordinated Atomic Actions and Dependable Software Architectures for Developing Complex Systems
Beder, D.M., Randell, B., Romanovsky, A. and Rubira, C.M.F.,
In 4th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2001), Magdeburg, Germany, 2-4 May 2001
pp 103-112
IEEE Computer Society Press, 2001ISBN 0-7695-1089-2

On Systematic Design of Protectors for Employing OTS Items
Popov, P., Riddle, S., Romanovsky, A. and Strigini, L.
In 27th Euromicro Conference, Warsaw, Poland, 4-6 September 2001
pp 22-29
IEEE Computer Society Press, 2001ISBN 0-7695-1236-4

Exception Handling in Component-based System Development
Romanovsky, A.
In 25th Annual International Computer Software and Application Conference (COMPSAC 2001), Chicago, IL, USA, 8–12 October 2001
pp 580-586
IEEE Computer Society Press, 2001ISBN 0-7695-1372-7

Protective Wrapping of OTS Components
Popov, P., Strigini, L., Riddle, S. and Romanovsky, A.
In 4th ICSE Workshop on Component-Based Software Engineering: Component Certification and System Prediction (part of the 23rd IEEE International Conference on Software Engineering (ICSE 2001)), Toronto, Canada, 14-15 May 2001 , Toronto, 14-15 May 2001
Crnkovic, I., Schmidt, H., Stafford, J. and Wallnau, K. (eds.)
IEEE Computer Society Press, 2001

Exception Handling in Object-Oriented Systems
Romanovsky, A., Dony, C., Knudsen, J.L. and Tripathi, A.
In ECOOP 2000 Workshops, Panels, and Posters: Object-Oriented Technology; part of the 14th European Conference on Object-Oriented Programming (ECOOP 2000), Sophia Antipolis and Cannes, France, 12-16 June 2000
Malenfant, J., Moisan, S. and Moreira, A.M.D. (eds.)
Lecture Notes in Computer Science, 1964, pp 16-31
Springer-Verlag, 2000ISBN 3-540-41513-0

Using COALA to Develop a Distributed Object-Based Application
Vachon, J., Guelgi, N. and Romanovsky, A.
In 2000 IEEE International Symposium on Distributed Objects and Applications (DOA 2000), Antwerp, Belgium, 21-23 September 2000
Drew, P., Meersman, R., Tari, Z. and Zicari, R. (eds.)
pp 195-208
IEEE Computer Society Press, 2000ISBN 0-7695-0819-7

An Exception Handling Framework for N-Version programming in Object Oriented Systems
Romanovsky, A.
In 3rd IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2000), Newport Beach, California, USA, 15–17 March 2000
pp 226-233
IEEE Computer Society Press, 2000ISBN 0-7695-0607-0

On Persistent and Reliable Streaming in Ada
Kienzle, J. and Romanovsky, A.
In 5th Ada-Europe International Conference on Reliable Software Technologies (Ada-Europe 2000), Potsdam, Germany, 26-30 June 2000
Keller, H. B. and Plöderer, E. (eds.)
Lecture Notes in Computer Science, 1845, pp 82-95
Springer-Verlag, 2000ISBN 3-540-67669-4

Towards Modelling and Verification of Concurrent Ada Programs using Petri Nets
Burns, A., Wellings, A.J., and Burns, F.P. et. al.
In International Workshop on Software Engineering and Petri Nets (SEPN 2000) (in conjunction with the 21st International Conference on Application and Theory of Petri Nets (ICATPN 2000)), Aarhus, Denmark, 26 June 2000
Pezze, M. and Shatz, S.M. (eds.)
pp 115-134
Dept. of Computer Science, University of Aarhus, Denmark, 2000ISBN 0105-8517

Diversity for Off-The-Shelf Components
Popov, P., Strigini, L. and Romanovsky, A.
In 2000 International Conference on Dependable Systems and Networks (DSN 2000) (formerly FTCS-30 and DCCA-8), Workshops and Fast Abstracts Digest, New York, USA, 25-28 June 2000
pp 61-62
IEEE Computer Society Press, 2000ISBN 0-7695-0707-7

Exception Handling in a Cooperative Object-Oriented Approach
de Lemos, R. and Romanovsky, A.
In 2nd IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '99), St. Malo, France, 2-5 May 1999
pp 3-13
IEEE Computer Society Press, 1999ISBN 0-7695-0207-5

Engineering Look-Ahead in Distributed Conversations
Ezhilchelvan, P.D. and Romanovsky, A.
In 4th International Symposium on Autonomous Decentralized Systems (ISADS '99), Tokyo, Japan, 20-23 March 1999
pp 142-149
IEEE Computer Society Press, 1999ISBN 0-7695-0137-0

Abstract Object State and Version Recovery in N-Version Programming
Romanovsky, A.
In 29th IEEE International Conference on Technology of Object-Oriented Languages and Systems (TOOLS / Europe-29 '99), Nancy, France, 7-10 June 1999
Mitchell, R., Cameron, A.C., Bosch, J. and Meyer, B. (eds.)
pp 86-95
IEEE Computer Society Press, 1999ISBN 0-7695-0275-X

Formal Development and Validation of Java Dependable Distributed Systems
Di Marzo Serugendo, G., Guelfi, N., Romanovsky, A. and Zorzo, A.F.
In 5th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '99), Las Vegas, Nevada, USA, 18-22 October 1999
pp 98-108
IEEE Computer Society Press, 1999ISBN 0-7695-0434-5

Rigorous Development of a Safety-Critical System Based on Coordinated Atomic Actions
Xu, J., Randell, B. and Romanovsky, A. et. al.
In 29th International Symposium on Fault-Tolerant Computing (FTCS-29), Madison, Wisconsin, USA, 15–18 June 1999
pp 68-75
IEEE Computer Society Press, 1999ISBN 0-7695-0213-X

On N-Version Programming and Exception Handling
Romanovsky, A.
In 10th European Workshop on Dependable Computing (EWDC-10): Design Methods and Tools for Dependable Systems and Quality of Service, Vienna, Austria, 6-7 May 1999
Puschner, P. (ed)
Schriftenreihe - Osterreichischen Computer Gesellschaft, 125, pp 126-130
Österreichische Computer Gesellschaft, 1999ISBN 3-85403-125-4

Developing Control Software for Production Cell II: Failure Analysis and System Design Using CA Actions
Xu, J., Randell, B., Romanovsky, A. et. al
In 3rd International Workshop on Design for Validation, Louvain-La-Neuve, 1998
1998

Exception Handling in Object-Oriented Real-Time Distributed Systems
Romanovsky, A., Xu, J. and Randell, B.
In 1st IEEE International Symposium on Object-Oriented Real-time Distributed Computing (ISORC '98), Kyoto, Japan, 20-22 April 1998
pp 32-42
IEEE Computer Society Press, 1998ISBN 0-8186-8430-5

Supporting and Controlling Complex Concurrency in Fault-Tolerant Distributed Systems
Xu, J., Randell, B., Romanovsky, A. and Stroud, R.J.
In International Symposium on Special Topics of Computers, China
pp 53-59
1998

Coordinated Exception Handling in Distributed Object Systems: From Model to System Implementation
Xu, J., Romanovsky, A. and Randell, B.
In 18th IEEE International Conference on Distributed Computing Systems (ICDCS '98) , Amsterdam, The Netherlands, 26-29 May 1998
pp 12-21
IEEE Computer Society Press, 1998ISBN 0-8186-8292-2

Approaches to Designing Complex Dependable Systems
Clematis, A., Gianuzzi, V., Romanovsky, A., Tyrrell, A.M. and Cazzola, W.
In 15th IFAC Workshop on Distributed Computer Control Systems (DCCS '98), Como, Italy
1998

Coordinated Atomic Actions in Modelling Object Cooperation
de Lemos, R. and Romanovsky, A.
In 1st IEEE International Symposium on Object-Oriented Real-time Distributed Computing (ISORC '98), Kyoto, Japan, 20-22 April 1998
pp 152-161
IEEE Computer Society Press, 1998ISBN 0-8186-8430-5

A Concept for the Transition-Net Based Derivation of Software Versions for the Recovery Block Scheme
Grosspietsch, K.E. and Romanovsky, A.
In 9th European Workshop on Dependable Computing (EWDC-9): Testing Methods and Tools for Modern Computer Systems & Networks, Gdansk, Poland, 14-15 May 1998
1998

Using Coordinated Atomic Actions to Design Dependable Distributed Object Systems
Zorzo, A.F., Romanovsky, A., Xu, J. , Randell, B., Stroud, R. and Welch, I.
In OOPSLA '97 Workshop on Dependable Distributed Object Systems, Atlanta, Georgia, USA, 5 October 1997. Part of the 1997 ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages & Applications (OOPSLA '97), Atlanta, 5-9 October 1997
ACM, 1997

Exception Handling and Resolution in Distributed Object-Oriented Systems
Romanovsky, A., Xu, J. and Randell, B.
In 16th IEEE International Conference on Distributed Computing Systems (ICDCS '96), Hong Kong, China, 27-30 May 1996
pp 545-552
IEEE Computer Society Press, 1996ISBN 0-8186-7398-2

[Abstract]

Guaranteed Deadlock Recovery: Deadlock Resolution with Rollback Propagation
Wang, Y.-M., Merritt, M.J. and Romanovsky, A.
In 1995 Pacific Rim International Symposium on Fault-Tolerant Systems (PRFTS '95), Newport Beach, California, USA, 4-5 December 1995
pp 92-97
IEEE Computer Society Pres, 1995ISBN 0-8186-7315-X

Fault Tolerance in Concurrent Object-Oriented Software through Coordinated Error Recovery
Xu, J., Randell, B. and Romanovsky, A. et. al.
In 25th International Symposium on Fault-Tolerant Computing (FTCS-25), Pasadena, California, USA, 27-30 June 1995
pp 499-508
IEEE Computer Society Press, 1995ISBN 0-8186-7079-7

[Abstract]

Designing Fault-Tolerant Objects in Object-Oriented Programming
Romanovsky, A., Shturtz, I.V. and Vassilyev, V.R.
In 7th International Conference on the Technology of Object-Oriented Languages and Systems (TOOLS Europe '92), Dortmund, Germany
Heeg, G., Magnusson, B. and Meyer, B. (eds.)
pp 199-205
Prentice-Hall, 1992

Synchronization as a Framework for Distributed System Fault-Tolerance Design
Romanovsky, A.
In 5th ACM SIGOPS European Workshop: Models and Paradigms for Distributed Systems Structuring (EW 5), Mont Saint-Michel, France
ACM Press, New York, 1992

Transparent Structurization of Parallel Processes for Backward Recovery
Romanovsky, A. and Shturtz, I.V.
In 2nd IEEE International Parallel and Distributed Processing Symposium (IPPS '90), Dallas, TX, USA, December 1990
pp 698-706
IEEE Computer Society Press, 1990ISBN 0-8186-2087-0

Method for Deadlock Recovery Using Consistent Global Checkpoints
Romanovsky, A.B. and Wang, Y.-M.
1997, U.S. Patent No. 5.664.088

SERENE '08. RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems, November 17-19, 2008, Newcastle upon Tyne, UK
Guelfi, N., Muccini, H., Pelliccione, P. and Romanovsky, A. (eds.)
ACM, 2008
Notes : ISBN:978-1-60558-275-7

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, November 14, 2008, Atlanta, Georgia, USA
Garcia, A., Romanovsky, A., Kienzle, J. et al. (eds.)
ACM , 2008
Notes : ISBN: 978-1-60558-229-0

Developing Systems that Handle Exceptions. Proceedings of ECOOP'05 Workshop on Exception Handling in Object-Oriented Systems, 2005
Romanovsky, A., Dony, C., Knudsen, J.-L., and Tripathi, A. (eds)
Department of Computer Science. LIRMM. Montpellier-II University. France, 2005
Notes : Workshop held July 25, 2005, Glasgow, UK. Proceedings published as Technical Report no. 05-050, Department of Computer Science, LIRMM, Montpellier-II University, France.

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 ... Scotland, UK
de Lemos, R., Gacek, C. and Romanovsky, A. (eds.)
IEE, 2004
Notes : ISBN 0-86341-434-6

Proceedings of the ECOOP 2003 Workshop on Exception Handling in Object-Oriented Systems: Towards Emerging Application Areas and New Programming Paradigms
Romanovsky, A., Dony, C., Knudsen, J.L. and Tripathi, A. (eds.)
Department of Computer Science, University of Minnesota, Minneapolis, MN, USA, 2003
Notes : Workshop held in Darmstadt, Germany, July 21, 2003. Proceedings published as Technical Report no. 03-028, Department of Computer Science and Engineering, University of Minnesota, 2003.

CS-TR N^o 1207 Developing Mode-Rich Satellite Software by Refinement in Event B
Iliasov, A., Troubitsyna, E., Laibinis, L., Romanovsky, A., Varpaaniemi, K., Ilic, D., Latvala, T.
School of Computing Science, Newcastle University, Jun 2010

[Abstract]

CS-TR N^o 1205 Formal Stepwise Development of Scalable and Reliable Multiagent Systems
Grotsev, D., Iliasov, A., Romanovsky, A.
School of Computing Science, Newcastle University, Jun 2010

[Abstract]

CS-TR N^o 1188 On Fault Tolerance Reuse during Refinement
Lopatkin, I., Iliasov, A., Romanovsky, A.
School of Computing Science, Newcastle University, Feb 2010

[Abstract]

CS-TR N^o 1182 Real Distribution of Response Time Instability in Service-Oriented Architecture
Gorbenko, A., Kharchenko, V., Mamutov, S., Tarasyuk, O., Chen, Y., Romanovsky, A.
School of Computing Science, Newcastle University, Dec 2009

[Abstract]

CS-TR N^o 1178 Patterns for Modelling Time and Consistency in Business Information Systems
Bryans, J. W., Fitzgerald, J. S., Romanovsky, A., Roth, A.
School of Computing Science, Newcastle University, Nov 2009

[Abstract]

CS-TR N^o 1143 Structuring Specifications with Modes
Iliasov, A., Dotti, F. L., Romanovsky, A.
School of Computing Science, Newcastle University, Mar 2009

[Abstract]

CS-TR N^o 1136 Benchmarking Dependability of a System Biology Application
Chen, Y., Gorbenko, A., Kharchenko, V., Mamutov, S., Romanovsky, A., Tarasyuk, O.
School of Computing Science, Newcastle University, Jan 2009

[Abstract]

CS-TR N^o 1131 Formal Modelling and Analysis of Business Information Applications with Fault Tolerant Middleware
Bryans, J., Fitzgerald, J., Romanovsky, A., Roth, A.
School of Computing Science, Newcastle University, Dec 2008

[Abstract]

CS-TR N^o 1125 Patterns for Refinement Automation
Iliasov, A., Troubitsyna, E., Laibinis, L., Romanovsky, A.
School of Computing Science, Newcastle University, Oct 2008

[Abstract]

CS-TR N^o 1123 Formal development of cooperative exception handling for mobile agent systems
Laibinis, L., Troubitsyna, E., Iliasov, A., Romanovsky, A.
School of Computing Science, Newcastle University, Oct 2008

[Abstract]

CS-TR N^o 1122 The Threat of Uncertainty in Service-Oriented Architecture
Gorbenko, A., Kharchenko, V., Tarasyuk, O., Chen, Y., Romanovsky, A.
School of Computing Science, Newcastle University, Oct 2008

[Abstract]

CS-TR N^o 1105 Improving the Reliability of Cooperative Concurrent Systems with Exception Flow Analysis
Castor Filho, F., Romanovsky, A., Rubira, C. M. F.
School of Computing Science, Newcastle University, Jun 2008

[Abstract]

CS-TR N^o 1104 Mediating Web Services for Dependability
Chen, Y., Romanovsky, A.
School of Computing Science, Newcastle University, Jun 2008

[Abstract]

CS-TR N^o 1103 Guided Formal Development: Patterns for Modelling and Refinement
Iliasov, A., Troubitsyna, E., Laibinis, L., Romanovsky, A.
School of Computing Science, Newcastle University, Jun 2008

[Abstract]

CS-TR N^o 1074 Refinement Patterns for Fault Tolerant Systems
Iliasov, A., Romanovsky, A.
School of Computing Science, Newcastle University, Feb 2008

[Abstract]

CS-TR N^o 1051 Architecting Fault Tolerant Systems
Muccini, H., Romanovsky, A.
School of Computing Science, Newcastle University, Sep 2007

[Abstract]

CS-TR N^o 1032 Proceedings of the Workshop on Methods, Models and Tools for Fault Tolerance
Butler, M., Jones, C. B., Romanovsky, A., Troubitsyna, E.
School of Computing Science, Newcastle University, Jun 2007

[Abstract]

CS-TR N^o 1025 Improving Service Availability without Improving Availability of Individual Services
Chen, Y., Romanovsky, A.
School of Computing Science, Newcastle University, May 2007

[Abstract]

CS-TR N^o 1018 Generic Framework for the Engineering of Self-Adaptive and Self-Organising Systems
Di Marzo Serugendo, G., Fitzgerald, J. S., Romanovsky, A., Guelfi, N.
School of Computing Science, Newcastle University, Apr 2007

[Abstract]

CS-TR N^o 1010 Experimenting With Exception Handling Mechanisms Of Web Services Implemented Using Different Development Kits
Gorbenko, A., Mikhaylichenko, A., Kharchenko, V., Romanovsky, A.
School of Computing Science, Newcastle University, Mar 2007

[Abstract]

CS-TR N^o 993 On Rigorous Design and Implementation of Fault Tolerant Ambient Systems
Iliasov, A., Romanovsky, A., Arief, B., Laibinis, L., Troubitsyna, E.
School of Computing Science, Newcastle University, Dec 2006

[Abstract]

CS-TR N^o 991 A Looming Fault Tolerance Software Crisis?
Romanovsky, A.
School of Computing Science, Newcastle University, Nov 2006

[Abstract]

CS-TR N^o 989 Formal Approach to Ensuring Interoperability of Mobile Agents
Laibinis, L., Iliasov, A., Troubitsyna, E., Romanovsky, A.
School of Computing Science, Newcastle University, Nov 2006

[Abstract]

CS-TR N^o 943 On Using the CAMA Framework for Developing Open Mobile Fault Tolerant Agent Systems
Arief, B., Iliasov, A., Romanovsky, A.
School of Computing Science, Newcastle University, Feb 2006

[Abstract]

CS-TR N^o 939 Towards an Engineering Approach to Component Adaptation
Becker, S., Brogi, A., Gorton, I., Overhage, S., Romanovsky, A., Tivoli, M.
School of Computing Science, Newcastle University, Jan 2006

[Abstract]

CS-TR N^o 938 Measuring the dependability of Web Services for use in e-Science experiments
Li, P., Chen, Y., Romanovsky, A.
School of Computing Science, Newcastle University, Dec 2005

[Abstract]

CS-TR N^o 927 Verification of Coordinated Exception Handling
CastorFilho, F., Romanovsky, A., Rubira, C. M. F.
School of Computing Science, Newcastle University, Sep 2005

[Abstract]

CS-TR N^o 917 CAMA: Structured Coordination Space and Exception Propagation Mechanism for Mobile Agents
Iliasov, A., Romanovsky, A.
School of Computing Science, Newcastle University, Jul 2005

[Abstract]

CS-TR N^o 915 Proceedings of the Workshop on Rigorous Engineering of Fault-Tolerant Systems (REFT 2005)
Butler, M., Jones, C., Romanovsky, A., Troubitsyna, E.
School of Computing Science, Newcastle University, Jun 2005

[Abstract]

CS-TR N^o 897 Dependable Composite Web Services with Components Upgraded Online
Gorbenko, A., Kharchenko, V., Popov, P., Romanovsky, A.
School of Computing Science, Newcastle University, Mar 2005

[Abstract]

CS-TR N^o 896 RODIN (Rigorous Open Development Environment for Complex Systems)
Coleman, J., Jones, C., Oliver, I., Romanovsky, A., Troubitsyna, E.
School of Computing Science, Newcastle University, Mar 2005

CS-TR N^o 886 The Atomic Manifesto: a Story in Four Quarks
Jones, C., Lomet, D., Romanovsky, A., Weikum, G., Fekete, A., Gaudel, M.C., Korth, H. F., Lemos, R., Moss, E., Rajwar, R., Ramamritham, K., Randell, B., Rodrigues, L.
School of Computing Science, Newcastle University, Jan 2005

[Abstract]

CS-TR N^o 879 Dependable Composite Web Services with Components Upgraded Online: Solutions, Models and Implementation
Gorbenko, A., Kharchenko, V., Popov, P., Romanovsky, A.
School of Computing Science, Newcastle University, Dec 2004

[Abstract]

CS-TR N^o 878 Exception Handling in Coordination-based Mobile Environments
Iliasov, A., Romanovsky, A.
School of Computing Science, Newcastle University, Nov 2004

[Abstract]

CS-TR N^o 865 Using the B Method for the Formalization of Coordinated Atomic Actions
Tartanoglu, F., Levy, N., Issarny, V., Romanovsky, A.
School of Computing Science, Newcastle University, Oct 2004

[Abstract]

CS-TR N^o 863 Development of Dependable Web Services out of Undependable Web Components
Gorbenko, A., Kharchenko, V., Popov, P., Romanovsky, A., Boyarchuk, A.
School of Computing Science, Newcastle University, Oct 2004

[Abstract]

CS-TR N^o 852 Wrapping the Future
Anderson, T., Randell, B., Romanovsky, A.
School of Computing Science, Newcastle University, Jul 2004

[Abstract]

CS-TR N^o 821 Investigative Case Study: Protective Wrapping of OTS items in Simulated Environments
Anderson, T., Feng, M., Riddle, S., and Romanovsky, A.
School of Computing Science, Newcastle University, Dec 2003

[Abstract]

CS-TR N^o 798 Error Recovery for a Boiler System with OTS PID Controller
Anderson, T., Feng, M., Riddle, S., Romanovsky, A.
School of Computing Science, Newcastle University, May 2003

[Abstract]

CS-TR N^o 786 Coordinated Forward Error Recovery for Web Services
Tartanoglu, F., Issarny, V., Romanovsky, A., Levy N.
School of Computing Science, Newcastle University, Dec 2002

[Abstract]

CS-TR N^o 783 Designing Fault-Tolerant Mobile Systems
Di Marzo Serugendo, G. and Romanovsky, A.
School of Computing Science, Newcastle University, Nov 2002

[Abstract]

CS-TR N^o 782 Final Version of DSoS Conceptual Model (CSDA1)
Gaudel, M., Issarny, V., Jones, C., Kopetz, H., Marsden, E., Moffat, N., Paulitsch, M., Powell, D., Randell, B., Romanovsky, A., Stroud, R., Taiani, F.
School of Computing Science, Newcastle University, Jul 2003

[Abstract]

CS-TR N^o 781 Protective Wrapper Development: A Case Study
Anderson, T., Feng, M., Riddle, S., Romanovsky, A.
School of Computing Science, Newcastle University, Nov 2002

[Abstract]

CS-TR N^o 780 Integrating COTS Software Components into Dependable Software Architectures
Guerra, P.A. de C., Rubira, C.M.F., Romanovsky, A. and de Lemos, R.
School of Computing Science, Newcastle University, Nov 2002

[Abstract]

CS-TR N^o 779 Further Results on Architectures and Dependability Mechanisms for Dependable SoSs
Romanovsky, A., Fabre, J-C., Issarny, V., Jones, C., Levy, N., Marsden, E., Periorellis, P., Rodriguez, M., Tartanoglu, F., Welch, I.
School of Computing Science, Newcastle University, Sep 2002

[Abstract]

CS-TR N^o 770 A Structured Approach to Handling On-Line Interface Upgrades
C.B. Jones, A. Romanovsky and I. Welch
School of Computing Science, Newcastle University, 2002

[Abstract]

CS-TR N^o 766 Bridging the Gap between Hardware and Software Fault Tolerance
Patino Martinez, M., R. Jimenez Peris and A. Romanovsky
School of Computing Science, Newcastle University, 2002

[Abstract]

CS-TR N^o 765 On Structuring Integrated Web Applications for Fault Tolerance
Romanovsky, A., P. Periorellis and A.F. Zorzo
School of Computing Science, Newcastle University, 2002

[Abstract]

CS-TR N^o 746 Revised Version of DSoS Conceptual Model
C.B. Jones, M-O. Killijian, H. Kopetz, E. Marsden, N. Moffat, M. Paulitsch, D. Powell, B. Randell, A. Romanovsky and R.J. Stroud
School of Computing Science, Newcastle University, 2001

[Abstract]

CS-TR N^o 736 Detecting State Coding Conflicts in STGs Using Integer Programming
V. Khomenko, M. Koutny and A. Yakovlev
School of Computing Science, Newcastle University, 2001

[Abstract]

CS-TR N^o 735 Except for Exception Handling
A. Romanovsky and Bo. Sanden
School of Computing Science, Newcastle University, 2001

[Abstract]

CS-TR N^o 732 Looking Ahead in Atomic Actions with Exception Handling
A. Romanovsky
School of Computing Science, Newcastle University, 2001

[Abstract]

CS-TR N^o 730 On Systematic Design of Protectors for Employing OTS Items
P. Popov, S. Riddle, A. Romanovsky and L. Strigini
School of Computing Science, Newcastle University, 2001

[Abstract]

CS-TR N^o 724 Exception Handling in Component-Based System Development
A. Romanovsky
School of Computing Science, Newcastle University, 2001

[Abstract]

CS-TR N^o 715 Supporting Evolution of Interface Exceptions
A. Mikhailova and A. Romanovsky
School of Computing Science, Newcastle University, 2000

[Abstract]

CS-TR N^o 714 A Comparative Study of Exception Handling Mechanisms for Building Dependable Object-Oriented Software
F. Garcia , C.M.F. Rubira-Calsavara, A. Romanovsky and J. Xu
School of Computing Science, Newcastle University, 2000

[Abstract]

CS-TR N^o 713 Action-Oriented Exception Handling in Cooperative and Competitive Concurrent Object-Oriented Systems
A. Romanovsky and J. Kienzle
School of Computing Science, Newcastle University, 2000

[Abstract]

CS-TR N^o 700 Towards Modelling and Verification of Concurrent Ada Programs Using Petri Nets
A. Burns, A.J. Wellings, . Burns , A.M. Koelmans, M. Koutny, A. Romanovsky and A. Yakovlev
School of Computing Science, Newcastle University, 2000

[Abstract]

CS-TR N^o 692 A Generic Implementation Approach to Concurrent Fault-Tolerant Software
J. Xu, B. Randell and A. Romanovsky
School of Computing Science, Newcastle University, 2000

[Abstract]

CS-TR N^o 691 Diversely Designed Classes for Use by Multiple Tasks
A. Romanovsky
School of Computing Science, Newcastle University, 2000

[Abstract]

CS-TR N^o 688 A Framework Based on Design Patterns for Providing Persistence in Object-Oriented Programming Languages
J. Kienzle and A. Romanovsky
School of Computing Science, Newcastle University, 2000

[Abstract]

CS-TR N^o 684 An Exception Handling Framework for N-Version programming in Object Oriented Systems
A. Romanovsky
School of Computing Science, Newcastle University, 2000

[Abstract]

CS-TR N^o 682 On Structuring Cooperative and Competitive Concurrent Systems
A. Romanovsky
School of Computing Science, Newcastle University, 2000

[Abstract]

CS-TR N^o 679 Faulty Version Recovery in Object-Oriented N-Version Programming
A. Romanovsky
School of Computing Science, Newcastle University, 2000

[Abstract]

CS-TR N^o 669 Abstract Object State and Version Recovery in N-Version Programming
A. Romanovsky
School of Computing Science, Newcastle University, 2000

[Abstract]

CS-TR N^o 666 Choosing Effective Methods for Design Diversity - How to Progress from Intuition to Science
P. Popov, A. Romanovsky and L. Strigini
School of Computing Science, Newcastle University, 1999

[Abstract]

CS-TR N^o 662 Rigorous Development of a Safety-Critical System Based on Coordinated Atomic Actions
J. Xu, B. Randell, A. Romanovsky, R.J. Stroud, A.F. Zorzo, E. Canver and F. von Henke
School of Computing Science, Newcastle University, 1999

[Abstract]

CS-TR N^o 661 Class Diversity Support in Object-Oriented Languages
A. Romanovsky
School of Computing Science, Newcastle University, 1999

[Abstract]

CS-TR N^o 659 Engineering Look-ahead in Distributed Conversations
P.D. Ezhilchelvan and A. Romanovsky
School of Computing Science, Newcastle University, 1999

[Abstract]

CS-TR N^o 648 Guaranteed Deadlock Recovery: Deadlock Resolution with Rollback Propagation
Y.-M. Wang, M.J. Merritt and A. Romanovsky
School of Computing Science, Newcastle University, 1998

[Abstract]

CS-TR N^o 641 CO-OPN/2 Specification of the DSGamma System Designed Using Co-ordinated Atomic Actions
G. Di Marzo Serugendo, N. Guelfi, A. Romanovsky and A.F. Zorzo
School of Computing Science, Newcastle University, 1998

[Abstract]

CS-TR N^o 639 Exception Handling in a Co-operative Object-Oriented Approach
R. de Lemos and A. Romanovsky
School of Computing Science, Newcastle University, 1998

[Abstract]

CS-TR N^o 628 Coordinated Atomic Actions: Formal Model, Case Study and System Implementation
B. Randell, A. Romanovsky, R.J. Stroud, J. Xu, A.F. Zorzo, D. Schwier and F. von Henke
School of Computing Science, Newcastle University, 1998

[Abstract]

CS-TR N^o 624 Coordinated Atomic Actions as a Technique for Implementing Distributed Gamma Computation
A. Romanovsky and A.F. Zorzo
School of Computing Science, Newcastle University, 1998

[Abstract]

CS-TR N^o 620 Coordinated Atomic Actions in Modelling Objects Cooperation
R. de Lemos and A. Romanovsky
School of Computing Science, Newcastle University, 1997

[Abstract]

CS-TR N^o 619 Using Coordinated Atomic Actions to Design Dependable Distributed Object Systems
A.F. Zorzo, A. Romanovsky, B. Randell, R.J. Stroud, I. Welch and J. Xu
School of Computing Science, Newcastle University, 1998

[Abstract]

CS-TR N^o 618 Exception Handling in Object-Oriented Real-Time Distributed Systems
A. Romanovsky, J. Xu and B. Randell
School of Computing Science, Newcastle University, 1997

[Abstract]

CS-TR N^o 612 Coordinated Exception Handling in Distributed Object Systems: from Model to System Implementation
J. Xu, A. Romanovsky and B. Randell
School of Computing Science, Newcastle University, 1997

[Abstract]

CS-TR N^o 608 A Distributed Coordinated Atomic Action Scheme
A. Romanovsky and A.F. Zorzo
School of Computing Science, Newcastle University, 1997

[Abstract]

CS-TR N^o 600 A Study of Atomic Action Schemes Intended for Standard Ada
A. Romanovsky
School of Computing Science, Newcastle University, 1997

[Abstract]

CS-TR N^o 596 Co-ordinated Exception Handling in Distributed Object-Oriented Systems: Improved Algorithm, Correctness and Implementation
J. Xu, A. Romanovsky and B. Randell
School of Computing Science, Newcastle University, 1997

[Abstract]

CS-TR N^o 595 Co-ordinated Atomic Actions: From Concept to Implementation
B. Randell, A. Romanovsky, R.J. Stroud, J. Xu and A.F. Zorzo
School of Computing Science, Newcastle University, 1997

[Abstract]

CS-TR N^o 586 On Programming Atomic Actions in Ada 95
A. Romanovsky, S.E. Mitchell and A.J. Wellings
School of Computing Science, Newcastle University, 1997

[Abstract]

CS-TR N^o 571 Object-Oriented Approach to State Restoration by Reversion in Fault Tolerant Systems
N.V. Tikhomirova, I.V. Shturtz and A. Romanovsky
School of Computing Science, Newcastle University, 1997

[Abstract]

CS-TR N^o 561 Implementing Synchronous Co-ordinated Atomic Actions Based on Forward Error Recovery
A. Romanovsky, B. Randell, R.J. Stroud, J. Xu and A.F. Zorzo
School of Computing Science, Newcastle University, 1997

[Abstract]

CS-TR N^o 560 Atomic Actions Based on Distributed/Concurrent Exception Resolution
A. Romanovsky
School of Computing Science, Newcastle University, 1996

[Abstract]

CS-TR N^o 545 Practical Exception Handling and Resolution in Concurrent Programs
A. Romanovsky
School of Computing Science, Newcastle University, 1996

[Abstract]

CS-TR N^o 542 Exception Handling and Resolution in Distributed Object-Oriented Systems
A. Romanovsky, J. Xu and B. Randell
School of Computing Science, Newcastle University, 1995

[Abstract]

CS-TR N^o 507 Fault Tolerance in Concurrent Object-Oriented Software Through Co-ordinated Error Recovery
J. Xu, B. Randell, A. Romanovsky, C.M.F. Rubira-Calsavara, R.J. Stroud and Z. Wu
School of Computing Science, Newcastle University, 1995

[Abstract]

CS-TR N^o 475 Implementation of Conversations in the Conventional Ada
Romanovsky, A. and Strigini, L.
School of Computing Science, Newcastle University, 1994

[Abstract]

Dependable Self-Organising Software Architectures - An Approach for Self-Managing Systems
Di Marzo Serugendo, G., Fitzgerald, J., Romanovsky, A. and Guelfi, N.
BBKCS-06-05, School of Computer Science and Information Systems, Birkbeck College, London, May, 2006
Keywords : Dependability, self-managing systems, metadata, fault tolerance, resilience

[Abstract]

Proceedings of the ECOOP 2003 Workshop on Exception Handling in Object-Oriented Systems: Towards Emerging Application Areas and New Programming Paradigms
Romanovsky, A., Dony, C., Knudsen, J.L. and Tripathi, A.
03-028, Department of Computer Science, University of Minnesota, Minneapolis, 2003