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
-
rigorous
development of fault tolerant systems (RODIN, CORRECT and DEPLOY
projects)
-
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)
-
fault tolerance of service
oriented architectures and web services
-
dependability-explicit
and resilience-explicit computing
-
the
WS-Mediator architecture for dependable WS integration
-
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
-
MiNEMA - Middleware for Network
Eccentric and Mobile Applications. An ESF Network
-
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.
Publications in the ACM Portal.
Books:
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.
Special Issues:
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
- an object persistence framework based on design
patterns
- Using Coordinated Atomic Actions to Design Production
Cell Case Study (a list of
papers and reports on this topic) in DeVa Project