• Contact
• Maps
• Departments

Navigation menu

School of Computing

• Home
• Teaching
• Research

Studying

• Undergraduate courses
• Postgraduate courses

Activities

• News
• National & International services
• Seminars
• Schools Liaison
• Outreach
• Kent IT Clinic
• Kent enterprise

Local users

• For current students and staff
• Systems Support

About us

• Contacts - How to find us
• People
  • Staff
  • Research Students
  • Undergraduate (local)
  • Taught Postgraduate (local)
  • Former Staff
  • Former Research Students
  • Student portal (univ)

Search

School of Computing

Publications by Dr Rogerio De Lemos

Publication period   (6/1996 onwards)   -   ordered by publication type and date

Books

• Architecting dependable systems iii. R. de Lemos, C. Gacek, and A. Romanovsky, volume 3549 of Lecture Notes in Computer Science. Springer, May 2005.
• Architecting dependable systems ii. R. de Lemos, C. Gacek, and A. Romanovsky, volume 3069 of Lecture Notes in Computer Science. Springer, June 2004.
• Architecting Dependable Systems. R. de Lemos, C. Gacek, and A. Romanovsky, volume 2677 of Lecture Notes in Computer Science. Springer, 2003.

Journal Papers

• Can self-managed systems be trusted? some views and trends. J. A. McCann, R. de Lemos, M. Huebscher, O. F. Rana, and A. Wombacher. Knowledge Engineering Review, 21(3):239-248, September 2006.
• A fault-tolerant architectural approach for dependable systems. R. de Lemos, P. A. de C. Guerra, and C. Rubira. IEEE Software, 23(2):80-87, March 2006.
• Exception handling in the development of dependable component-based systems. C. M. F. Rubira, R. de Lemos, G. R. M. Ferreira, and F. Castor Filho. Software-Practice and Experience, 35(3), March 2005.
• Analysing failure behaviours in component interaction. R. de Lemos. Journal of Systems and Software, 71(1-2):97-115, April 2004.
• Analysing failure behaviours in component interaction. Rogerio de Lemos. The Journal of Systems and Software, 71(1-2):97-115, April 2004.
• Exception Handling in the Software Lifecycle. R de Lemos and A. Romanovsky. International Journal of Computer Systems Science and Engineering, 16(2):167-181, March 2001.

Book Chapters

• Architectural description of dependable software systems. C. Gacek and R. de Lemos. In D. Besnard, C. Gacek, and C. Jones, editors, Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective, pages 127-142. Springer-Verlag, January 2006.
• Architecting web services applications for improving availability. R. de Lemos. In R. de Lemos, C. Gacek, and A. Romanovsky, editors, Architecting Dependable Systems III, volume 3549 of Lecture Notes in Computer Science, pages 69-91. Springer, May 2005.
• The conflict between self-* capabilities and predictability. R. de Lemos. In Ö. Babaoglu and et al., editors, Self-star Properties in Complex Information Systems: Conceptual and Practical Foundations, Lecture Notes in Computer Science, pages 219-229. Springer, February 2005.
• A dependable architecture for cots-based software systems using protective wrappers. P. Asterio de C. Guerra, C. M. F. Rubira, A. Romanovsky, and R. de Lemos. In R. de Lemos, C. Gacek, and A. Romanovsky, editors, Architecting Dependable Systems II, volume 3069 of Lecture Notes in Computer Science. Springer, June 2004.
• A Fault-Tolerant Software Architecture for Component-Based Systems. P. A. de C. Guerra, C. Rubira, and R. de Lemos, volume 2677 of Lecture Notes in Computer Science, pages 129-149. Springer, 2003.
• Architectural Mismatch Tolerance. R. de Lemos, C. Gacek, and A. Romanovsky, volume 2677 of Lecture Notes in Computer Science, pages 175-196. Springer, 2003.

Conference Papers

• Self-Adaptive Authorization Framework for Policy Based RBAC/ABAC Models. Christopher Bailey, David W. Chadwick, and Rogério de Lemos. In Proceedings of the 9th IEEE conference on Dependable, Autonomic and Secure Computing, pages 37-44. IEEE, December 2011.
• Using dynamic workflows for coordinating self-adaptation of software systems. Carlos Eduardo da Silva and Rogerio de Lemos. In Jeff Magee and Hausi A. Müller, editors, SEAMS '09: Proceedings of the 2009 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, pages 86-95, May 2009.
• Verification and validation of a fault-tolerant architectural abstraction. P. H. S. Brito, R. de Lemos, E. Martins, and C. M. F. Rubira. In Supplemental Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2007), Workshop on Architecting Dependable Systems (WADS 2007), pages 166-171, June 2007.
• Reconfiguration of software systems using atomic actions. R. de Lemos. In Supplemental Proceedings of the 36th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2006), Fast Abstracts, pages 174-175, June 2007.
• Intrusion tolerance in ad hoc networks through swarms of fragments replicas. J. Grant and J. So. In Supplemental Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2007), pages 386-387, June 2007.
• Idealised fault tolerant architectural element. R. de Lemos. In Supplemental Proceedings of the 36th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2006), Workshop on Architecting Dependable Systems (WADS 2006), pages 76-81, June 2006.
• Architectural reconfiguration using coordinated atomic actions. R. de Lemos. In Proceedings of the ICSE 2006 Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2006), pages 44-50, May 2006.
• Self-* and predictability: are these conflicting system capabilities?. R. de Lemos. In Proceedings of the International Workshop on Self-* Properties in Complex Information Systems (SELF-STAR 2004), pages 105-108, May 2004.
• An architectural approach for improving availability in web services. E. Parchas and R. de Lemos. In Proceedings of the ICSE 2004 Workshop on Architecting Dependable Systems (WADS 2004), pages 37-41, May 2004.
• Dependable Computing. R de Lemos, T da S Weber, and J B Camargo Jr, editors, volume 2847 of Lecture Notes in Computer Science. Proceedings of the First Latin American Symposium on Dependable Computing, Springer, October 2003.
• A Fault-Tolerant Software Architecture for COTS-Based Software Systems. P. A. de C. Guerra, C. Rubira, A. Romanovsky, and R. de Lemos. In Proceedings of the Joint European Software Engineering Conference (ESEC) and 11th SIGSOFT Symposium on the Foundations of Software Engineering (FSE-11)., pages 375-382. ACM Press, September 2003.
• Integrating COTS Software Components into Dependable Software Architectures. P. A. de C. Guerra, C. Rubira, A. Romanovsky, and R. de Lemos. In Proceedings of the 6th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC-03). IEEE Computer Society Press, May 2003.
• An architectural support for self-adaptive software for treating faults. Rogerio de Lemos and Jose Luiz Fiadeiro. In D. Garlan, J. Kramer, and A. Wolf, editors, Proceedings of the 1st ACM SIGSOFT Workshop on Self-Healing Systems (WOSS'02), pages 39-42, Charleston, SC, USA, November 2002.
• Towards immune inspired fault tolerance in embedded systems. J Timmis, R de Lemos, M Ayara, and R Duncan. In L Wang, J Rajapakse, K Fukushima, S Lee, and X Yao, editors, Proceedings of 9th International Conference on Neural Information Processing, pages 1459-1463. IEEE, November 2002.
• Tolerating faults in embedded systems based on artificial immune systems. M. Ayara, J. Timmis, R. de Lemos, L.N. de Castro, and R. Duncan. In Fast Abstracts Supplement of the 4th European Dependable Computing Conference (EDCC-4), pages 27-28, October 2002.
• Novel approaches in dependable computing. Rogerio de Lemos. In P. Thevenod-Fosse A. Bondavalli, editor, Proc of the 4th European Dependable Computing Conference (EDCC-4), Lecture Notes in Computer Science 2485, pages 79-80. Springer-Verlag, October 2002.
• Negative selection: How to generate detectors. M. Ayara, J. Timmis, R. de Lemos, L.N. de Castro, and R. Duncan. In J. Timmis and P.J. Bentley, editors, 1st International Conference on Artificial Immune Systems, pages 89-98, University of Kent at Canterbury, September 2002. Unversity of Kent at Canterbury Printing Unit.
• Describing evolving dependable systems using co-operative software architectures. R. de Lemos. In Proceedings of the IEEE International Conference on Software Maintenance (ICSM’01), pages 320-329. IEEE Computer Society, November 2001.
• Explicit representation of exception handling in the development of dependable component-based systems. G. R. M. Ferreira, C. M. F. Rubira, and R. de Lemos. In Proceedings of the IEEE International High-Assurance Systems Engineering Symposium (HASE 2001), pages 182-193. IEEE Computer Society, October 2001.
• Diversity of safety arguments in the validation of a sounding rocket destruction system. M. A. D. Abdala, C. H. N. Lahoz, and R. de Lemos. In Proceedings of the International Systems Safety Conference, pages 801-810, September 2001.
• Representing Exceptional Behaviour at the earlier Phases of Software Development. R. de Lemos. In Proceedings of the 9th Brazilian Symposium of Fault-Tolerant Computing (SCTF), pages 233-236, March 2001.
• Safety Analysis of an Evolving Software Architecture. R. de Lemos. In Proceedings of the 5th IEEE International High-Assurance Systems Engineering Symposium (HASE 2000), pages 159-167. IEEE Computer Society, November 2000.
• Evaluation of Co-operative Actions in the Safety Analysis of the Destruction System of the Sounding Rocket VS-40X (in Portuguese). C. Lahoz, M. Abdala, C. A. T. Moura, and R. de Lemos. In Proceedings of the Symposium on Safety and Security of Information Systems, pages 49-58, October 2000.
• A Co-operative Object-Oriented Architecture for Adaptive Systems. R. de Lemos. In Proceedings of the 7th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, pages 120-128. IEEE Computer Society, April 2000.
• Validating Formal Verification using Safety Analysis Techniques. R. de Lemos and A. Saeed. In Proceedings of the 18th International Conference on Computer Safety, Reliability and Security (SAFECOMP'99), pages 58-66, Toulouse, France, September 1999.
• Analysis of Safety Properties of a System from the Viewpoint of its Components Interactions. R. de Lemos. In Proceedings of the 9th Brazilian Symposium on Fault-Tolerant Computers (SCTF), pages 35-48, Campinas, Brazil, July 1999.
• Exception Handling in a Cooperative Object-Oriented Approach. R. de Lemos and A. Romanovsky. In Proceedings of the 2nd IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'99), pages 3-13, Saint Malo, France, May 1999.
• Coordinated Atomic Actions in Modelling Objects Cooperation. R. de Lemos and A. Romanovsky. In Proceedings of the 1st IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'98), pages 152-160, Kyoto, Japan, April 1998.
• An Object-Based Approach to Modelling and Analysis of Failure Properties. M. Cepin, R. de Lemos, B. Mavko, S. Riddle, and A. Saeed. In P. Daniel, editor, Proceedings of the 16th International Conference on Computer Safety, Reliability and Security (SAFECOMP'97), pages 281-294, York, UK, September 1997. Springer-Verlag, Berlin, Germany.
• Subjective Safety Analysis for Software Development. J. Wang, A. Saeed, and R. de Lemos. In C. Guedes Soares, editor, Proceedings of the International Conference on Safety and Reliability (ESREL 97), pages 389-396, Lisbon, Portugal, June 1997. Elsevier Science Ltd, Oxford, UK.
• Extended RTL in the Specification and Verification of an Industrial Press. R. de Lemos and J. Hall. In R. Alur, Y. A. Henzinger, and E. Sontag, editors, Hybrid Systems III, Lecture Notes in Computer Science 1066, pages 114-125, Berlin, Germany, December 1996. Springer-Verlag.
• Analysis of Safety Requirements for a Chemical Batch Processing System. R. de Lemos, A. Saeed, and T. Anderson. In T. Hilburn, G. Suski, and J. Zalewski, editors, Proceedings of the 2nd IFAC Workshop on Safety and Reliability in Emerging Control Technologies, pages 205-210, Daytona Beach, Florida, USA, November 1996. Pergamon/Elsevier Science, Oxford UK.
• ERTL: an Extension to RTL for the Specification, Analysis and Verification of Hybrid Systems. J. G. Hall and R de Lemos. In Proceedings of the 8th EUROMICRO Workshop on Real-Time Systems, pages 3-8, L'Aquila, Italy, June 1996. IEEE Computer Press.

Miscellaneous

• Dependable and secure storage in pervasive peer-to-peer systems. Rudi Ball, Vicki Spurrett, and Rogério de Lemos. Technical report, University of Kent, Computing Laboratory, September 2006.
• Analysing Failure Behaviours in Component Interaction. R de Lemos. Technical Report 2-01, University of Kent, Computing Laboratory, University of Kent at Canterbury, March 2001.
• Describing Evolving Dependable Systems using Co-operative Software Architectures. R de Lemos. Technical Report 1-01, University of Kent, Computing Laboratory, University of Kent at Canterbury, March 2001.