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.