He is now the Coordinator of the major FP7 DEPLOY Integrated Project (2008-2012) on Industrial Deployment of System Engineering Methods Providing High Dependability and Productivity and of the new EPSRC/RSSB SafeCap project (2011-2013) on Overcoming the railway capacity challenges without undermining rail network safety.
- fault-tolerance software: system structuring, error recovery
- refinement and modelling patterns (DEPLOY, RODIN and TrAmS projects)
- engineering of dependable mobile systems (RODIN project)
- a middleware for building fault tolerant mobile systems (the CAMA system)
- dependability-explicit and resilience-explicit computing
- exception handling (a list of papers and reports on this topic )
- fault tolerance software architectures (including a one-day tutorial – given at WICSA 2007, ISSRE 2007 and SAFECOMP 2008)
- software diversity (DeVa, DISCS and DOTS projects)
- fault tolerance of concurrent and distributed systems; conversations, atomic actions and atomic transactions
- Coordinated Atomic Actions (a complete list of papers and reports, which I keep) in the DeVa and DSoS Projects, and beyond
- dependability of systems employing legacy code and of complex systems of systems (DOTS and DSoS projects)
- dependability in the component-based system development and protective wrapping (DOTS project)
- WS-Mediator Elite – an architectural solution for improving dependability of WSs (developed by Yuhui Chen)
- WSsDAT - a Web Service monitoring tool (developed by Yuhui Chen)
- CAMA middleware supporting development of ambient agent systems (developed by Alexei Iliasov)
- Finer plugin: refinement pattern support in Event-B (developed by Alexei Iliasov)
- DEPLOY FP7 Integrated Project (Industrial deployment of advanced system engineering methods for high productivity and dependability) 2008-2012. I am the Coordinator of this project
- TrAmS – Trustworthy Ambient Systems. (2007-2011). I am a co-investigator of this EPSRC platform grant
- EPSRC/RSSB SafeCap project (2011-2013) on Overcoming the railway capacity challenges without undermining rail network safety. I am coordinating this project
- ERCIM Working group SERENE - Software Engineering for Resilient Systems
- ERCIM Working Group RISE - Rapid Integration of Software Engineering Techniques
- Rigorous Stepwise Development of Complex Fault Tolerant Distributed Systems: from Architectural Description to Java Implementation (CORRECT) Luxemburg National Project (2004-2007). I was a co-author and a co-investigator of this project
- Rigorous Open Development Environment for Complex Systems (RODIN) IST FP6 project (2004-2007). I coordinated this project
- European IST Network of Excellence in Distributed and Dependable Computing Systems CaberNet (1996-2004)
o CaberNet Vision of Research and Technology Development in Distributed and Dependable Systems. Edited by A. Romanovsky and R. Snow. Network of Excellence in Distributed and Dependable Computing Systems. IST-2000-25088. July 2004. (the main text and the appendix)
- EPSRC/UK Diversity with Off-The-Shelf Components (DOTS) Project. I am a co-author of this project. 2000-2004
- AgentLink III. Co-ordination Action for Agent Based Computing. IST FP6. 2003-2005
- European IST Dependable Systems of Systems project (DSoS) (IST-1999-11585) (my web page). 2000-2003
- EPSRC/UK Diversity in Safety Critical Software (DISCS) Project (a list of papers and reports) 1998-2001
- European IST Design for Validation (DeVa project). 1996-1999
1. On the Way to Cheap Software Fault Tolerance. Daimler-Benz AG, Research and Technology (Berlin). April 1996. Germany.
2. N-version Programming in Concurrent Object-Oriented Systems. EPFL (Lausanne), January 2000. Switzerland.
3. Building Fault Tolerant Component Based Systems. University Urbana Champaign. Illinois. October 2001. USA.
4. On Structuring Complex Distributed Java Applications for Fault Tolerance. The 1st FIDJI closed workshop, November 30, 2001. Institut Supurieur de Technologie, Luxembourg University of Applied Sciences. (project FIDJI Project). Luxemburg.
5. Looking Ahead in Distributed Atomic Actions with Coordinated Exception Handling. EPFL (Lausanne), March 19, 2002. Switzerland.
6. Looking Ahead in Distributed Atomic Actions with Coordinated Exception Handling. South Bank University (London). Centre for Applied Formal Methods. May 13, 2002.
7. Rigorous Development of Dependable Web Applications. LIASIT and University of Luxembourg Workshop at RE 2002. Essen. September 10. 2002. Germany.
8. Coordinated Atomic Actions and Developing Complex Web Applications. Nokia Research. Helsinki. 7 October. 2002. Finland.
9. Coordinated Atomic Actions and Developing Complex Web Applications. Aabo Academy. TUCS. Turku. 10 October. 2002. Finland.
10. Designing Fault-Tolerant Mobile Systems (with G. Di Marzo). FIDJI 2002 Int. Workshop on scientific engineering of distributed Java applications. November 28. 2002. Luxemburg.
11. Coordinated Atomic Actions and BPEL. Workshop on process compensation. MS Research - Cambridge. 25-26 September 2003.
12. Coordinated Atomic Actions and Software Fault Tolerance. Rutgers University. Department of Computer Science. February 9. 2004. NJ. USA.
13. Fault Tolerance through Exception Handling in Ambient and Pervasive Systems. SBES 2005 - 19th Brazilian Symposium on Software Engineering. Invited talk. October 6, 2005. Brazil.
14. Dependability-Explicit Computing. SBES 2005 - 19th Brazilian Symposium on Software Engineering. Invited mini-tutorial. October 6, 2005. Brazil.
15. Fault Tolerance through Exception Handling in Ambient and Pervasive Systems. Pontifical Catholic University of Rio de Janeiro. October 13, 2005. Brazil.
16. Dependability-Explicit Computing. Pontifical Catholic University of Rio de Janeiro. October 14, 2005. Brazil.
AdaEurope 2000 - the best paper and the best presentation awards for the paper J. Kienzle and A. Romanovsky: "On Persistent and Reliable Streaming in Ada",
I am the winner of the 2001 British Computer Society Brendan Murphy Prize for the work with Brian Randell and Jie Xu on Concurrent Exception Handling and Resolution in Distributed Object Systems.
1. A. Romanovsky, C. Dony, J. L. Knudsen, A. Tripathi (Eds). Advances in Exception Handling Techniques. LNCS. 2022, 289 p. 2001.
3. R. de Lemos, C. Gacek, A. Romanovsky (Eds). Architecting Dependable Systems. LNCS. 2677. 309 p. 2003
4. A. Romanovsky, C. Dony, J. L. Knudsen, A. Tripathi. Proceedings of the ECOOP 2003 Workshop on Exception Handling in Object-Oriented Systems: Towards Emerging Application Areas and New Programming Paradigms. TR 03-028, Department of Computer Science, University of Minnesota, Minneapolis, MN 55455. July 2003
6. R. de Lemos, C. Gasek, A. Romanovsky. ICSE 2004. 26th International Conference on Software Engineering. Scotland. Third Workshop on Architecting Dependable Systems. 25th May 2004. ISBN 0-86341-434-6. Published by IEE. 2004
7. R. Choren, A. Garcia, C. Lucena, M. Griss, D. Kung, N. Minsky, A. Romanovsky. ICSE 2004. 26th International Conference on Software Engineering. Scotland. Third International Workshop on Software Engineering for Large-Scale Multi-Agent Systems (SELMAS'04) May 24-25. 155 p. ISBN 0-86341-431-1. Published by IEE. 2004
8. Guelfi, N.; Reggio, G.; Romanovsky, A. (Eds.). Scientific Engineering of Distributed Java Applications. 4th International Workshop, FIDJI 2004, Luxembourg-Kirchberg, Luxembourg, November 24-25, 2004, Revised Selected Papers. LNCS. 3409. 2005
9. Choren, R.; Garcia, A.; Lucena, C.; Romanovsky, A. (Eds.) Software Engineering for Multi-Agent Systems III. Research Issues and Practical Applications. LNCS. 3390. 2005, 291 p.
11. Garcia, A.; Choren, R.; Lucena, C.; Giorgini, P.; Holvoet, T.; Romanovsky, A. (Eds.)Software Engineering for Multi-Agent Systems IV. Research Issues and Practical Applications. LNCS. 3914. 2006.
12. Dony, C., Knudsen, J.L., Romanovsky, A., Tripathi, A. (Eds.) Advanced Topics in Exception Handling Techniques.), LNCS. 4119, 2006.
15. Choren, R.; Garcia, A.; Giese, H.; Leung, H.-f.; Lucena, C.; Romanovsky, A. (Eds.) 2007. Software Engineering for Multi-Agent Systems V. Research Issues and Practical Applications. LNCS. 4408, 233 p. 2007.
16. Lemos, Rogério de; Gacek, Cristina; Romanovsky, Alexander (Eds.) Architecting Dependable Systems IV. LNCS. 4615. 2007, 435 p.
17. N. Guelfi, H. Muccini, P. Pelliccione, A. Romanovsky: Proceedings of the 2007 Workshop on Engineering Fault Tolerant Systems, EFTS 2007, Dubrovnik, Croatia, September 4, 2007 ACM DL, 2007.
18. N. Guelfi, H. Muccini, P. Pelliccione, A. Romanovsky. SERENE '08: Proceedings of the 2008 RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems November, ACM DL. 2008
19. C. Dony, A. Garcia, J. Kienzle, A. Romanovsky. WEH '08: Proceedings of the 4th international workshop on Exception handling. Publisher: ACM DL, November 2008.
20. M. Butler, C. B. Jones, A. Romanovsky, E. Troubitsyna. Methods, Models and Tools for Fault Tolerance, Lecture Notes in Computer Science, Vol. 5454, Springer, 2009.
1. D. E. Perry, A. Romanovsky, A. Tripathi. Current Trends in Exception Handling. Editorial to the Special Issue (Part 1). IEEE Trans. on Software Engineering. TSE-26, 9, pp. 817-819, 2000.
2. D. E. Perry, A. Romanovsky, A. Tripathi. Current Trends in Exception Handling. Editorial to the Special Issue (Part 2). IEEE Trans. on Software Engineering. TSE-26, 10, pp. 921-922, 2000.
3. A. Romanovsky, A. Wellings. Developing Fault-Tolerant Systems with Ada. Editorial to the Special Issue. Int. J. Computer Systems Science and Engineering. 15, 1, pp. 3-6. 2000.
4. de Lemos, R., Gacek, C. and Romanovsky, A. Guest Editorial - Architecting Dependable Systems The Journal of Systems and Software Vol. 79, Issue 10, pp 1359-1360. Elsevier Inc., 2006
5. N. Guelfi, H. Muccini, P. Pelliccione, A. Romanovsky. Guest Editorial - Engineering fault tolerant systems. Int. J. Computer Systems Science and Engineering. 23, November 2008.
6. A. Garcia, A. Romanovsky, V. Issarny. Guest Editors' Introduction to the Special Section on Exception Handling: From Requirements to Software Maintenance. IEEE Trans. on Software Eng. 36(2): 147-149. 2010.
- open multithreaded transactions – an advanced scheme atomic transactions and exception handling
- Using Coordinated Atomic Actions to Design Production Cell Case Study (a list of papers and reports on this topic) in DeVa Project