Books Edited

R. de Lemos, C. Gacek, A. Romanovsky (Eds.). Architecting Dependable Systems IV . Lecture Notes in Computer Science 4615. State-of-the-Art Survey. Springer. Berlin, Germany .
R. de Lemos, C. Gacek, A. Romanovsky (Eds.). Architecting Dependable Systems III . Lecture Notes in Computer Science 3549. State-of-the-Art Survey. Springer. Berlin, Germany . 2005.
R. de Lemos, C. Gacek, A. Romanovsky (Eds.). Architecting Dependable Systems II . Lecture Notes in Computer Science 3069. State-of-the-Art Survey. Springer. Berlin, Germany. 2004.
R. de Lemos, C. Gacek, A. Romanovsky (Eds.). Architecting Dependable Systems . Lecture Notes in Computer Science 2677. State-of-the-Art Survey. Springer. Berlin, Germany. 2003.
R. de Lemos, T. S. Weber, J. B. Camargo Jr (Eds.). Dependable Computing . Proceedings of the First Latin American Symposium on Dependable Computing. Lecture Notes in Computer Science 2847. Springer. Berlin, Germany. 2003.

Publications

Journal papers

R. de Lemos, J. Timmis, M. Ayara, S. Forrest. "Immune-Inspired Adaptable Error Detection for Automated Teller Machines". IEEE Transactions on Systems, Man, and Cybernetics Part C 37(5) . September 2007. pp. 873-886.
J. A. McCann , R. de Lemos , M. Huebscher, O. F. R ana , A. Wombacher. "Can Self-Managed Systems be Trusted? Some Views and Trends" . Knowledge Engineering Review . 21(3) . Cambridge University Press. September 2006. pp. 239-248.
R.de Lemos, P. A. de C. Guerra , C. Rubira . "A Fault-Tolerant Architectural Approach for Dependable Systems". IEEE Software (Special Issue on Software Architectures). March/April 2006. pp. 80-87.
C. M. F. Rubira, R. de Lemos, G. R. M. Ferreira, F. Castor Filho. "Exception Handling in the Development of Dependable Component-Based Systems". Software-Practice and Experience. Volume 35(3) . March 2005. pp. 195-236.
R. de Lemos. "Analysing Failure Behaviours in Component Interaction". Journal of Systems and Software 71(1-2) . April 2004. pp. 97-115.
R. de Lemos, A. Romanovsky. "Exception Handling in the Software Lifecycle". International Journal of Computer Systems Science and Engineering (Special Issue on Object-Oriented Real-Time Distributed Systems) 16(2) . March 2001. pp. 167-181.
A. Saeed, R. de Lemos, T. Anderson. "On the Safety Analysis of Requirements Specifications for Safety-Critical Software". ISA Transactions 34 . 1995. pp. 283-295.
R. de Lemos, A. Saeed, T. Anderson. "Analyzing Safety Requirements for Process-Control Systems". IEEE Software 12(3). May 1995. pp. 42-53.
A. Saeed, R. de Lemos, T. Anderson. "Formal Techniques for Requirements Analysis for Safe Reactor Control". The Nuclear Engineer 34(4) . August 1993. pp. 108-115.
R. de Lemos, A. Saeed, T. Anderson. "A Train Set as a Case Study for the Requirements Analysis of Safety-Critical Systems". The Computer Journal 35(1) . February 1992. pp 30-40.

Book chapters

R. de Lemos. "Architectural Fault Tolerance using Exception Handling". Architecting Dependable Systems IV . R. de Lemos, C. Gacek, A. Romanovsky (Eds.). Lecture Notes in Computer Science 4615. Springer. Berlin , Germany . 2007. pp. 142-162.
C. Gacek, R. de Lemos. "Architectural Description of Dependable Software Systems". Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective . D. Besnard, C. Gacek, C. Jones (Eds.). Springer-Verlag. London , UK . 2006. pp. 127-142.
R. de Lemos. "Architecting Web Services Applications for Improving Availability". R. de Lemos, C. Gacek, A. Romanovsky (Eds.). Architecting Dependable Systems III . Lecture Notes in Computer Science 3549. Springer. Berlin, Germany. 2005. pp. 69-91.
R. de Lemos. "The Conflict between Self-* Capabilities and Predictability". Self-star Properties in Complex Information Systems: Conceptual and Practical Foundations . Ö. Babaoglu, et al. (Eds.). Lecture Notes in Computer Science 3460. Springer. Berlin, Germany. 2005. pp. 219-229.
P. Asterio de C. Guerra, C. M. F. Rubira, A. Romanovsky, R. de Lemos. " A Dependable Architecture for COTS-Based Software Systems using Protective Wrappers". R. de Lemos, C. Gacek, A. Romanovsky (Eds.). Architecting Dependable Systems II . Lecture Notes in Computer Science 3069. Springer. Berlin, Germany. 2004. pp. 144-166.
R. de Lemos, C. Gacek, A. Romanovsky. "Architectural Mismatch Tolerance". Architecting Dependable Systems . Lecture Notes in Computer Science 2677. R. de Lemos, C. Gacek, A. Romanovsky (Eds.). Springer. Berlin, Germany. 2003. pp. 175-196.
P. A. de C. Guerra, C. Rubira, R. de Lemos. "A Fault-Tolerant Software Architecture for Component-Based Systems". Architecting Dependable Systems . Lecture Notes in Computer Science 2677. R. de Lemos, C. Gacek, A. Romanovsky (Eds.). Springer. Berlin, Germany. 2003. pp. 129-149.
T. Anderson, R. de Lemos, A. Saeed. "Analysis of Safety Requirements for Process-Control Systems". Predictably Dependable Computing Systems . B. Randell, J. C. Laprie, B. Littlewood, H. Kopetz (Eds.). Springer-Verlag. Berlin , Germany . 1995. pp. 27-40.
R. de Lemos, A. Saeed, T. Anderson. "Formal Techniques for Requirements Analysis for Safety-Critical Systems". Mathematics of Dependable Systems . C. Mitchell and V. Stavridou (Eds.). Clarendon Press. Oxford , UK . 1995. pp. 63-95.
T. Anderson, R. de Lemos, J. Fitzgerald, A. Saeed. "On Formal Support for Industrial-Scale Requirements Analysis". Hybrid Systems . R. L. Grossman et al (Eds.). Lectures Notes in Computer Science 736. Springer-Verlag. Berlin , Germany . 1993. pp. 426-451.
R. de Lemos, A. Saeed, A. Waterworth. "Exception Handling in Real-Time Software from Specification to Design". Responsive Computer Systems . H. Kopetz, Y. Kakuda (Eds.). Springer-Verlag. Vienna , Austria . 1993. pp 255-285.

Selected papers in refereed conferences

R. Ball, J. Grant, J. So, V. Spurrett, R. de Lemos. "Dependable and Secure Distributed Storage System for Ad Hoc Networks". Sixth International Conference on Ad-Hoc Networks and Wireless (Ad Hoc NOW 2007). Morelia , Mexico . September, 2007. Lecture Notes in Computer Science 4686. E. Kranakis and J. Opatrny (Eds.). Springer. Berlin, Germany pp. 129–139.
P. H. S. Brito, R. de Lemos, E. Martins, C. M. F. Rubira. "Architecture-Centric Fault Tolerance with Exception Handling". Third Latin-American Symposium on Dependable Computing (LADC 2007). Morelia , Mexico . September, 2007. pp. 75-94.
M. Ayara, J. Timmis, R. de Lemos, S. Forrest. "Immunising Automated Teller Machines". Proceedings of the 4th International Conference in Artificial Immune Systems (ICARIS 2005) . Banff , Canada . August 2005. Lecture Notes in Computer Science 3627. Springer. Berlin, Germany. August 2005. pp. 404-417.
P. A. de C. Guerra, C. Rubira, A. Romanovsky, R. de Lemos . "A Fault-Tolerant Software Architecture for COTS-Based Software Systems". Proceedings of the Joint European Software Engineering Conference (ESEC) and 11th SIGSOFT Symposium on the Foundations of Software Engineering (FSE-11) . Helsinki , Finland . September 2003. pp. 375-382.
P. A. de C. Guerra, C. Rubira, A. Romanovsky, R. de Lemos . "Integrating COTS Software Components into Dependable Software Architectures" . Proceedings of the 6th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'03) . Hokaido, Japan. May 2003 .
J. Timmis, R. de Lemos, M. Ayara, R. Duncan. "Towards Immune Inspired Fault Tolerance in Embedded Systems". Proceedings of 9th International Conference on Neural Information Processing . IEEE Computer Society. November 2002. pp. 1459-1463.
M. Ayara, J. Timmis, R. de Lemos, L.N. de Castro, R. Duncan. "Negative Selection: How to Generate Detectors". Proceedings of the 1st International Conference on Artificial Immune Systems . Canterbury , UK . September 2002. pp. 89-98.
R. de Lemos. " Describing Evolving Dependable Systems using Co-operative Software Architectures". Proceedings IEEE International Conference on Software Maintenance . Florence , Italy . November 2001. pp. 320-329.
G. R. M. Ferreira, C. M. F. Rubira, R. de Lemos. "Explicit Representation of Exception Handling in the Development of Dependable Component-Based Systems". Proceedings IEEE International High-Assurance Systems Engineering Symposium (HASE 2001) . Boca Raton , FL. October 2001. pp. 182-193.
M. A. D. Abdala, C. H. N. Lahoz, R. de Lemos. "Diversity of Safety Arguments in the Validation of a Sounding Rocket Destruction System". Proceedings International Systems Safety Conference . September 2001. Huntsville , AL. pp. 801-810.
R. de Lemos. "Representing Exceptional Behaviour at the earlier Phases of Software Development" (Invited Paper) . Proceedings of the 9th Brazilian Symposium of Fault-Tolerant Computing (SCTF) . Florianópolis , Brazil . March 2001. pp 233-236.
R. de Lemos. "Safety Analysis of an Evolving Software Architecture". Proceedings of the 5th IEEE International High-Assurance Systems Engineering Symposium (HASE 2000) . Albuquerque , NM . November 2000. pp. 159-167.
C. Lahoz, M. Abdala, C. A. T. Moura, R. de Lemos. "Evaluation of Co-operative Actions in the Safety Analysis of the Destruction System of the Sounding Rocket VS-40X". Proceedings of the Symposium on Safety and Security of Information Systems . São José dos Campos , Brazil . October 2000. pp. 49-58. (In Portuguese)
R. de Lemos. "A Co-operative Object-Oriented Architecture for Adaptive Systems". Proc. of the 7th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems (ECBS'00). Edinburgh , Scotland . April 2000. pp. 120-128.
R. de Lemos, A. Saeed. "Validating Formal Verification using Safety Analysis Techniques". Proceedings of the 18th International Conference on Computer Safety, Reliability and Security (SAFECOMP'99). Toulouse , France . September 1999. pp. 58-66.
R. de Lemos. "Analysis of Safety Properties of a System from the Viewpoint of its Components Interactions". Proceedings of the 9th Brazilian Symposium on Fault-Tolerant Computers (SCTF) . Campinas , Brazil . July 1999. pp. 35-48.
R. de Lemos, A. Romanovsky. "Exception Handling in a Cooperative Object-Oriented Approach". Proceedings of the 2nd IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'99) . Saint Malo , France . May 1999. pp. 3-13.
R. de Lemos, A. Romanovsky. "Coordinated Atomic Actions in Modelling Objects Cooperation". Proceedings of the 1st IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'98) . Kyoto , Japan . April 1998. pp. 152-160.
M. Cepin, R. de Lemos, B. Mavko, S. Riddle, A. Saeed. "An Object-Based Approach to Modelling and Analysis of Failure Properties". Proceedings of the 16th International Conference on Computer Safety, Reliability and Security ( SAFECOMP'97 ). York , UK . September 1997. Ed. P. Daniel. Springer-Verlag. Berlin , Germany . pp. 281-294.
J. Wang, A. Saeed, R. de Lemos. "Subjective Safety Analysis for Software Development". Proceedings of the International Conference on Safety and Reliability (ESREL '97) . C. Guedes Soares (Ed.). Lisbon , Portugal . June 1997. Elsevier Science Ltd. Oxford , UK . pp. 389-396.
R. de Lemos, J. G. Hall. "Extended RTL in the Specification and Verification of an Industrial Press". Hybrid Systems III . Lecture Notes in Computer Science 1066. R. Alur, T. A. Henzinger, E. Sontag (Eds.). Springer-Verlag. Berlin , Germany . 1996. pp. 114-125.
R. de Lemos, A. Saeed, T. Anderson. "Analysis of Safety Requirements for a Chemical Batch Processing System". Proceedings of the 2nd IFAC Workshop on Safety and Reliability in Emerging Control Technologies . Daytona Beach , FA. T. Hilburn, G. Suski, J. Zalewski (Eds.). Pergamon/ Elsevier Science. Oxford , UK . November 1996. pp. 205-210.
J. G. Hall, R. de Lemos. "ERTL: an Extension to RTL for the Specification, Analysis and Verification of Hybrid Systems". Proceedings of the 8th EUROMICRO Workshop on Real-Time Systems . L'Aquila , Italy . IEEE Computer Press. June 1996. pp 3-8.
A. Saeed, R. de Lemos, T. Anderson. "Safety Analysis for Requirements Specifications: Methods and Techniques". Proceedings of the 14th International Conference on Computer Safety, Reliability and Security ( SAFECOMP'95 ). Belgirate , Italy . G. Rabe (Ed.). Springer-Verlag. Berlin , Germany . October 1995. pp. 27-41.
R. de Lemos, B. Fields, A. Saeed. "Analysis of Safety Requirements in the Context of System Faults and Human Errors". Proc. of the IEEE International Symposium and Workshop on Systems Engineering of Computer Based Systems . Tucson , Arizona . March 1995. pp. 374-381.
R. de Lemos, A. Saeed, T. Anderson. "On the Safety Analysis of Requirements Specifications". Proc. of the 13th International Conference on Computer Safety, Reliability and Security ( SAFECOMP'94 ). Instrument Society of America . V. Maggioli (Ed.). Anaheim , California . October 1994. pp. 217-227.
A. Saeed, R. de Lemos, T. Anderson. "An Approach for the Risk Analysis of Safety Specifications". Proceedings of the 9th Annual Conference on Computer Assurance (COMPASS'94) . Gaithersburg , MD. June/July 1994. pp. 209-221.
A. Saeed, R. de Lemos, T. Anderson. "Robust Requirements Specifications for Safety-Critical Systems". Proceedings of the 12th International Conference on Computer Safety, Reliability and Security ( SAFECOMP'93 ). Poznan-Kiekrz , Poland . Springer-Verlag. Ed. J. Górski. October 1993. pp. 219-229.
R. de Lemos, A. Saeed, T. Anderson. "Analysis of Timeliness Requirements in Safety-Critical Systems". Proceedings of the 2nd Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems . Nijmegen , The Netherlands . Lectures Notes in Computer Science 571. J. Vytopil (Ed.). Springer-Verlag. Berlin , Germany . January 1992. pp 171-192.
R. de Lemos, A. Saeed, A. Waterworth. "Exception Handling in the Specification of Real-Time Systems". Proceedings of the Workshop on Architecture Supports for Real-Time Systems. Santo Antonio , TX . December 1991. pp 109-113.
R. de Lemos, A. Saeed, T. Anderson. "Value Inconsistencies due to Time Uncertainties". Proceedings of the 10th IFAC Workshop on Distributed Computer Control Systems . Semmering , Austria . September 1991. H. Kopetz, M. Rodd (Eds.). Pergamon Press. pp 1-6.
A. Saeed, R. de Lemos, T. Anderson. "The Role of Formal Methods in Requirements Analysis of Safety-Critical Systems: A Train Set Example". Proceedings of the 21st International Symposium on Fault-Tolerant Computing . Montreal , Canada . July 1991. pp 478-485.
P. D. Ezhilchelvan, R. de Lemos. "A Robust Group Membership Algorithm for Distributed Real-Time Systems". Proceedings of the 11th Real-Time System Symposium . Lake Buena Vista , FA. December 1990. pp 173-179.
R. de Lemos, P. D. Ezhilchelvan. "Agreement on Group Membership in Synchronous Distributed Systems". Proceedings of the 4th International Workshop on Distributed Algorithms . Bari , Italy . Lectures Notes in Computer Science 486. J. van Leeuven and N. Santoro (Eds.). Springer-Verlag. Berlin , Germany . September 1990. pp 353-372.

Selected papers in refereed workshops

J. Grant, J. So, R. de Lemos. “Intrusion Tolerance in Ad Hoc Networks through Swarms of Fragments Replicas”. Supplemental Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2007) - Fast Abstracts . Edinburgh , Scotland , UK . June 2007. pp. 386-387.
P. H. S. Brito, R. de Lemos, E. Martins, C. M. F. Rubira. "Verification and Validation of a Fault-Tolerant Architectural Abstraction". Supplemental Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2007) - Workshop on Architecting Dependable Systems (WADS 2007). Edinburgh , Scotland , UK . June 2007. pp. 166-171.
R. de Lemos. “Architectural Reconfiguration of Software Systems using Atomic Actions”. Supplemental Proceedings of the 36th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2006) - Fast Abstracts . Philadelphia , PA , USA . June 2006. pp. 174-175.
R. de Lemos. “Idealised Fault Tolerant Architectural Element”. Supplemental Proceedings of the 36th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2006) - Workshop on Architecting Dependable Systems (WADS 2006). Philadelphia , PA , USA . June 2006. pp. 76-81.
R. de Lemos. “Architectural Reconfiguration using Coordinated Atomic Actions”. Proceedings of the ICSE 2006 Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2006) . May 2006, Shanghai , China . pp. 44-50.
R. de Lemos. "Self-* and Predictability: are these conflicting System Capabilities?" Proceedings of the International Workshop on Self-* Properties in Complex Information Systems (SELF-STAR 2004) . Bertinoro ( Forli ), Italy . May/June, 2004. pp. 105-108.
E. Parchas, R. de Lemos. "An Architectural Approach for Improving Availability in Web Services". Proceedings of the ICSE 2004 Workshop on Architecting Dependable Systems (WADS 2004) . Edinburgh , Scotland , UK . The IEE. London , UK . May 2004. pp. 37-41.
R. de Lemos, J. L. Fiadeiro. "An Architectural Support for Self-adaptive Software for Treating Faults". Proceedings of the 1st ACM SIGSOFT Workshop on Self-Healing Systems (WOSS'02) . A. Wolf, D. Garlan, J. Kramer (Eds.). Charleston , SC , USA . November 2002. pp. 39-42.
M. Ayara, J. Timmis, R. de Lemos, L.N. de Castro, R. Duncan. "Tolerating Faults in Embedded Systems Based on Artificial Immune Systems". Fast Abstracts Supplement of the 4th European Dependable Computing Conference (EDCC-4) . Toulouse , France . October 2002. pp. 27-28.
R. de Lemos, C. Gacek, A. Romanovsky. "Tolerating Architectural Mismatches". Proceedings of the ICSE 2002 Workshop on Architecting Dependable Systems (WADS 2002) . Orlando , FL. May 2002.
P. A. de Castro Guerra, C. Rubira, R. de Lemos. "An Idealized Fault-Tolerant Architectural Component". Proceedings of the ICSE 2002 Workshop on Architecting Dependable Systems (WADS 2002) . Orlando , FL. May 2002.
E. Tramontana, R. de Lemos. "Reflective Architecture Supporting Evolution: a Case Study". Proceedings of the OOPSLA'99 Workshop on Reflection and Software Engineering . Denver , CL. November 1999. pp. 33-42.
R. de Lemos, E. Tramontana. "A Reflective Architecture for Supporting Evolvable Software". Proceedings of the ICSM'99 Workshop on Software and Organisation and Co-Evolution (SOCE'99) . Oxford , UK . August 1999. pp. 4-9.
R. de Lemos, E. Tramontana. "Design and Implementation of Evolvable Software Using Reflection". Proceedings of the Second Nordic Workshop on Software Architectures (NOSA'99) . Department of Computer Science and Software Engineering Research Report 13/99 . University of Karlskrona/Ronneby. Ronneby , Sweden . August, 1999.
E. Tramontana, R. de Lemos. "Design and Implementation of Evolvable Software Using Reflection". Proceedings of the Workshop on Software Change and Evolution (SCE'99) . Los Angeles , CA. May 1999.
S. Merad, R. de Lemos. "Solution Concepts for the Optimal Selection of Software Components". Proceedings of the Second International Workshop on Component-Based Software Engineering . Los Angeles , CA. May 1999. pp. 169-174.
J. G. Hall, R. de Lemos. "Extended Real-Time Logic for Hybrid Systems Controller Design". Proceedings of the IEE Colloquium on Hybrid Control for Real-Time Systems . London , UK . December 1996.
R. de Lemos, J. Hall, A. Saeed. "ERTL: An Extension to RTL for Requirements Analysis for Hybrid Systems". Proceedings of the 2nd European Workshop on Real-Time and Hybrid Systems . Grenoble , France . May/June 1995.