Browse by Person (creator, editor, contributor, etc.)

Article

Cámara, Javier and de Lemos, Rogério and Vieira, Marco and Almeida, Raquel and Ventura, Rafael (2013) Architecture-based Resilience Evaluation for Self-adaptive Systems. Computing, 95 (8). pp. 689-722. ISSN 1436-5057. (doi:https://doi.org/10.1007/s00607-013-0311-7) (Full text available)

Preview

da Silva, Carlos Eduardo and de Lemos, Rogério (2011) A Framework for Automatic Generation of Processes for Self-Adaptive Software Systems. Informatica, 35 (1). pp. 3-13. ISSN 0350-5596. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

de Lemos, Rogério (2009) On Architecting Software Fault Tolerance using Abstractions. Electronic Notes in Theoretical Computer Science, 236 . pp. 21-32. ISSN 1571-0661. (doi:https://doi.org/10.1016/j.entcs.2009.03.012) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Brito, Patrick H. S. and de Lemos, Rogério and Rubira, Cecilia M. F. and Martins, Eliane (2009) Architecting Fault Tolerance with Exception Handling: Verification and Validation. Journal of Computer Science and Technology, 24 (2). pp. 212-237. ISSN 1000-9000. (doi:https://doi.org/10.1007/s11390-009-9219-2) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Rubira, Cecilia M. F. and de Lemos, Rogério (2008) Software components, architectures and reuse. Journal of Universal Computer Science, 14 (8). pp. 1179-1181. ISSN 0948-695X. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

de Lemos, Rogério and Timmis, Jon and Ayara, Modupe and Forrest, Simon (2007) Immune-inspired adaptable error detection for automated teller machines. IEEE Transactions on Systems, Man and Cybernetics, Part C: Applications and Reviews, 37 (5). pp. 873-886. ISSN 1094-6977. (doi:https://doi.org/10.1109/TSMCC.2007.900662) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)

McCann, Julie A. and de Lemos, Rogério and Huebscher, Markus and Rana, Omer F. and Wombacher, Andreas (2006) Can Self-Managed Systems be Trusted? Some Views and Trends. Knowledge Engineering Review, 21 (3). pp. 239-248. ISSN 0269-8889. (doi:https://doi.org/10.1017/S0269888906000853) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

de Lemos, Rogério and de C. Guerra, P.A. and Rubira, Cecilia M. F. (2006) A Fault-Tolerant Architectural Approach for Dependable Systems. IEEE Software, 23 (2). pp. 80-87. ISSN 0740-7459. (doi:https://doi.org/10.1109/MS.2006.35) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

de Lemos, Rogério and Gacek, Cristina and Romanovsky, Alexander (2006) Architecting Dependable Systems. Journal of Systems and Software, 79 (10). pp. 1359-1360. ISSN 0164-1212. (doi:https://doi.org/10.1016/j.jss.2006.04.008) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Rubira, Cecilia M. F. and de Lemos, Rogério and Ferreira, G.R.M. and Filho, F. Castor (2005) Exception Handling in the Development of Dependable Component-Based Systems. Software: Practice and Experience, 35 (3). pp. 195-236. ISSN 0038-0644. (doi:https://doi.org/10.1002/spe.632) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

de Lemos, Rogério (2004) Analysing Failure Behaviours in Component Interaction. Journal of Systems and Software, 71 (1-2). pp. 97-115. ISSN 0164-1212. (doi:https://doi.org/10.1016/S0164-1212(02)00152-8) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

de Lemos, Rogério and Romanovsky, A. (2001) Exception Handling in the Software Lifecycle. International Journal of Computer Systems Science and Engineering, 16 (2). pp. 167-181. ISSN 0267-6192. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Book section

de Lemos, Rogério (2016) Foreword. In: Mistrik, Ivan and Ali, Nour and Kazman, Rick and Grundy, John and Schmerl, Bradley, eds. Managing Trade-offs in Adaptable Software Architectures. Morgan Kaufmann, Cambridge, MA, USA, xxix-xxx. ISBN 978-0-12-802855-1. (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)

de Lemos, Rogério and Potena, Pasqualina (2016) Identifying and Handling Uncertainties in the Feedback Control Loop. In: Mistrik, Ivan and Ali, Nour and Kazman, Rick and Grundy, John and Schmerl, Bradley, eds. Managing Trade-offs in Adaptable Software Architectures. Morgan Kaufmann, Cambridge, MA, USA, pp. 353-367. E-ISBN 978-0-12-802855-1. (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)

Bailey, Christopher and Chadwick, David W and de Lemos, Rogério and Siu, Kristy WS (2013) Enabling the Autonomic Management of Federated Identity Providers. In: Emerging Management Mechanisms for the Future Internet. Springer Berlin Heidelberg, pp. 100-111. (Full text available)

Preview

Merad, Salah and de Lemos, Rogério and Anderson, Tom (2011) A game theoretic solution for the optimal selection of services. In: Performance and Dependability in Service Computing: Concepts, Techniques and Research Directions. Premier Reference Source . IGI Global, pp. 172-188. ISBN 978-1-60960-794-4. (doi:https://doi.org/10.4018/978-1-60960-794-4.ch008) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Andersson, Jesper and de Lemos, Rogério and Malek, Sam and Weyns, Danny (2009) Modeling Dimensions for Self-Adaptive Systems. In: Software Engineering for Self-Adaptive Systems. Lecture Notes in Computer Science/Programming and Software Engineering (5525). Springer, pp. 27-47. ISBN 978-3-642-02160-2. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Cheng, Betty H. C. and de Lemos, Rogério and Giese, Holger and Inverardi, Paola and Magee, Jeff and Andersson, Jesper and Becker, Basil (2009) Software Engineering for Self-Adaptive Systems: A Research Roadmap. In: Software Engineering for Self-Adaptive Systems. Lecture Notes in Computer Science, 5525 . Springer, Berlin, pp. 1-26. ISBN 978-3-642-02161-9. (doi:https://doi.org/10.1007/978-3-642-02161-9_1) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Gacek, Cristina and de Lemos, Rogério (2006) Architectural Description of Dependable Software Systems. In: Besnard, Denis and Gacek, Cristina and Jones, Cliff B., eds. Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective. Springer London, pp. 127-142. ISBN 978-1-84628-110-5. (doi:https://doi.org/10.1007/1-84628-111-3_7) (Full text available)

Preview

de Lemos, Rogério (2005) Architecting Web services applications for improving availability. In: de Lemos, Rogério and Gacek, Cristina and Romanovsky, Alexander, eds. Architecting Dependable Systems III. Lecture Notes in Computer Science . Springer, Berlin, pp. 69-91. ISBN 978-3-540-28968-5. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

de Lemos, Rogério (2005) The Conflict between Self-* Capabilities and Predictability. In: Babaoglu, Ö., ed. Self-star Properties in Complex Information Systems: Conceptual and Practical Foundations. Lecture Notes in Computer Science . Springer, pp. 219-228. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

de C. Guerra, P.A. and Rubira, Cecilia M. F. and Romanovsky, Alexander and de Lemos, Rogério (2004) A Dependable Architecture for COTS-Based Software Systems using Protective Wrappers. In: de Lemos, Rogério and Gacek, Cristina and Romanovsky, Alexander, eds. Architecting Dependable Systems II. Lecture Notes in Computer Science, 3069 . Springer, pp. 144-166. (doi:Lecture notes in computer science) (Full text available)

Preview

de Lemos, Rogério and Gacek, Cristina and Romanovsky, Alexander (2003) Architectural Mismatch Tolerance. In: de Lemos, Rogério and Gacek, Cristina and Romanovsky, Alexander, eds. Architecting Dependable Systems. Lecture Notes in Computer Science . Springer, pp. 175-196. ISBN 3-540-40727-8. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

de C. Guerra, P.A. and Rubira, Cecilia M. F. and de Lemos, Rogério (2003) A Fault-Tolerant Software Architecture for Component-Based Systems. In: de Lemos, Rogério and Gacek, Cristina and Romanovsky, Alexander, eds. Architecting Dependable Systems. Lecture Notes in Computer Science . Springer, pp. 129-149. ISBN 3-540-40727-8. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Monograph

Ball, Rudi and Spurrett, Vicki and de Lemos, Rogério (2006) Dependable and Secure Storage in Pervasive Peer-to-Peer Systems. Technical report. UKC (Full text available)

Preview

Gacek, Cristina and de Lemos, Rogério (2005) Architectural Description of Dependable Software Systems. Technical report. UKC (Full text available)

Preview

Conference or workshop item

Giubilo, Fabio and Sajjad, Ali and Shackleton, Mark and Chadwick, David W. and Fan, Wenjun and de Lemos, Rogério (2018) An Architecture for Privacy-preserving Sharing of CTI with 3rd party Analysis Services. In: 2017 12th International Conference for Internet Technology and Secured Transactions (ICITST). IEEE ISBN 978-1-5386-0598-1. E-ISBN 978-1-908320-93-3. (doi:https://doi.org/10.23919/ICITST.2017.8356404) (Full text available)

Preview

da Silva, Carlos Eduardo and de Lemos, Rogério (2013) Dynamic Management of Integration Testing for Self-Adaptive Systems. In: Workshop on Dependable in Adaptive and Self-Managing Systems (WDAS 2013). ISBN 978-85-7669-274-4. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Camara, Javier and Correia, Pedro and de Lemos, Rogério and Garlan, David and Gomes, Pedro and Schmerl, Bradley and Ventura, Rafael (2013) Evolving an adaptive industrial software system to use architecture-based self-adaptation. In: UNSPECIFIED. (doi:https://doi.org/10.1109/SEAMS.2013.6595488) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Cámara, Javier and de Lemos, Rogério (2012) Towards Run-time Evaluation of Resilience in Self-Adaptive Systems. In: Proceedings of the 17th Conference on Software Engineering and Databases (JISBD'12). (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Cámara, Javier and de Lemos, Rogério (2012) Evaluation of Resilience in Self-Adaptive Systems Using Probabilistic Model-Checking. In: Software Engineering for Adaptive and Self-Managing Systems (SEAMS), 2012 ICSE Workshop on. pp. 53-62. ISBN 978-1-4673-1788-7. (doi:https://doi.org/10.1109/SEAMS.2012.6224391) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Brito, Patrick H. S. and de Lemos, Rogério and Rubira, Cecilia M. F. (2009) Verifying Architectural Variabilities in Software Fault Tolerance Techniques. In: Software Architecture, 2009 & European Conference on Software Architecture. WICSA/ECSA 2009. Joint Working IEEE/IFIP Conference on. pp. 231-240. ISBN 978-1-4244-4984-2. (doi:https://doi.org/10.1109/WICSA.2009.5290809) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

da Silva, Carlos Eduardo and de Lemos, Rogério (2009) Using dynamic workflows for coordinating self-adaptation of software systems. In: Magee, Jeff and Müller, Hausi A., eds. SEAMS '09: Proceedings of the 2009 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems. pp. 182-196. ISBN 978-1-4244-3724-5. (doi:https://doi.org/10.1109/SEAMS.2009.5069077) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Brito, Patrick H. S. and de Lemos, Rogério and Martins, Eliane and Moraes, R. and Rubira, Cecilia M. F. (2009) Architectural-Based Validation of Fault-Tolerant Software. In: Proceedings of the Symposium on Dependable Computing, 2009. pp. 103-110. ISBN 978-1-4244-4678-0. (doi:https://doi.org/10.1109/LADC.2009.34) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Brito, Patrick H. S. and de Lemos, Rogério and Rubira, Cecilia M. F. (2008) Verification of Exception Control Flows and Handlers Based on Architectural Scenarios. In: High Assurance Systems Engineering (HASE) Symposium, 2008. pp. 177-186. ISBN 978-0-7695-3482-4. (doi:https://doi.org/10.1109/HASE.2008.11) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Brito, Patrick H. S. and de Lemos, Rogério and Rubira, Cecilia M. F. (2008) Architecting Fault Tolerance using Abstractions. In: Supplemental Proceedings of the 38th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2008) - Fast Abstracts. G28-G29. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Knowles, Adam and Timmis, Jon and de Lemos, Rogério and Forrest, Simon and McCracken, Heather (2008) Artificial Immune Systems for Data Fusion: A Novel Biologically Inspired Approach. In: Proceedings of 11th International Conference on Information Fusion, 2008. pp. 1-7. ISBN 978-3-8007-3092-6. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Brito, Patrick H. S. and de Lemos, Rogério and Rubira, Cecilia M. F. (2008) Development of Fault-Tolerant Software Systems Based on Architectural Abstractions. In: Software Architecture. Lecture Notes in Computer Science, 5292. Springer pp. 131-147. ISBN 978-3-540-88029-5. (doi:https://doi.org/10.1007/978-3-540-88030-1_11) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Grant, J. and So, J. and de Lemos, Rogério (2007) Intrusion Tolerance in Ad Hoc Networks through Swarms of Fragments Replicas. In: Supplemental Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2007). pp. 386-387. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Brito, Patrick H. S. and de Lemos, Rogério and Martins, Eliane and Rubira, Cecilia M. F. (2007) Verification and Validation of a Fault-Tolerant Architectural Abstraction. 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). pp. 166-171. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Brito, Patrick H. S. and de Lemos, Rogério and Martins, Eliane and Rubira, Cecilia M. F. (2007) Architecture-centric Fault Tolerance with Exception Handling. In: Proceedings of the Third Latin-American Conference on Dependable Computing. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

de Lemos, Rogério (2006) Idealised Fault Tolerant Architectural Element. In: Supplemental Proceedings of the 36th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN-2006). pp. 76-81. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

de Lemos, Rogério (2006) Architectural Reconfiguration using Coordinated Atomic Actions. In: Proceedings of the ICSE 2006 Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2006). ACM, New York pp. 44-50. ISBN 1-59593-403-0. (doi:https://doi.org/10.1145/1137677.1137686) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Parchas, E. and de Lemos, Rogério (2004) An Architectural Approach for Improving Availability in Web Services. In: Proceedings of the ICSE 2004 Workshop on Architecting Dependable Systems (WADS 2004). pp. 37-41. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

de Lemos, Rogério (2004) Self-* and Predictability: are these conflicting System Capabilities? In: Proceedings of the International Workshop on Self-* Properties in Complex Information Systems (SELF-STAR 2004). pp. 105-108. ISBN 978-3-540-26009-7. (Full text available)

Preview

de C. Guerra, P.A. and Rubira, Cecilia M. F. and Romanovsky, A. and de Lemos, Rogério (2003) A Fault-Tolerant Software Architecture for COTS-Based Software Systems. In: Proceedings of the Joint European Software Engineering Conference (ESEC) and 11th SIGSOFT Symposium on the Foundations of Software Engineering (FSE-11). ACM Press pp. 375-382. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Ayara, Modupe and Timmis, Jon and de Lemos, Rogério and de Castro, Leandro N. and Duncan, Ross (2003) Tolerating Faults in Embedded Systems Based on Artificial Immune Systems. In: Fast Abstracts Supplement of the 4th European Dependable Computing Conference (EDCC-4). Lecture Notes in Computer Science. pp. 27-28. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

de C. Guerra, P.A. and Rubira, Cecilia M. F. and Romanovsky, A. and de Lemos, Rogério (2003) Integrating COTS Software Components into Dependable Software Architectures. In: Puschner, P. and Nakajima, T. and Ghafoor, A., eds. Proceedings of the 6th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC-03). IEEE Computer Society Press ISBN 0-7695-1928-8. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

de Lemos, Rogério and Fiadeiro, J. (2002) An Architectural Support for Self-Adaptive Software for Treating Faults. In: Garlan, D. and Kramer, J. and Wolf, A., eds. Proceedings of the 1st ACM SIGSOFT Workshop on Self-Healing Systems (WOSS'02). Association for Computing Machinery, Charleston, SC, USA pp. 39-42. ISBN 978-1-58113-609-8. (doi:https://doi.org/10.1145/582128.582136) (Full text available)

Preview

Timmis, Jon and de Lemos, Rogério and Ayara, Modupe and Duncan, Ross (2002) Towards Immune Inspired Fault Tolerance in Embedded Systems. In: Wang, Lipo and Rajapakse, Jagath C. and Fukushima, Kunihiko and Lee, Soo-Young and Yao, Xin, eds. Proceedings of 9th International Conference on Neural Information Processing. IEEE pp. 1459-1463. ISBN 981-04-7524-1. (Full text available)

Preview

de Lemos, Rogério (2002) Novel Approaches in Dependable Computing. In: Bondavalli, A. and Thevenod-Fosse, P., eds. Proc of the 4th European Dependable Computing Conference (EDCC-4). Lecture Notes in Computer Science 2485, 1. Springer-Verlag, Berlin pp. 704-708. ISBN 3-540-00012-7. (Full text available)

Preview

Ayara, Modupe and Timmis, Jon and de Lemos, Rogério and de Castro, Leandro N. and Duncan, Ross (2002) Negative Selection: How to Generate Detectors. In: Timmis, Jon and Bentley, Peter J., eds. 1st International Conference on Artificial Immune Systems. Unversity of Kent at Canterbury Printing Unit, University of Kent at Canterbury pp. 89-98. ISBN 1-902671-32-5. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

de Lemos, Rogério (2001) Describing Evolving Dependable Systems using Co-operative Software Architectures. In: Proceedings of the IEEE International Conference on Software Maintenance (ICSM). IEEE Computer Society pp. 320-329. ISBN 0-7695-1190-2. (doi:https://doi.org/10.1109/ICSM.2001.972745) (Full text available)

Preview

Ferreira, G.R.M. and Rubira, Cecilia M. F. and de Lemos, Rogério (2001) Explicit Representation of Exception Handling in the Development of Dependable Component-Based Systems. In: 6th IEEE International Symposium on High Assurance Systems Engineering. IEEE Conference Proceedings, 6. IEEE Press, USA pp. 182-193. ISBN 0-7695-1275-5. (doi:https://doi.org/10.1109/HASE.2001.966819) (Full text available)

Preview

Abdala, M.A.D. and Lahoz, C.H.N. and de Lemos, Rogério (2001) Diversity of Safety Arguments in the Validation of a Sounding Rocket Destruction System. In: International System Safety Conference. System Safety Society, Huntsville, Ala pp. 801-810. (Full text available)

Preview

de Lemos, Rogério (2000) Safety Analysis of an Evolving Software Architecture. In: Proceedings of the 5th IEEE International High-Assurance Systems Engineering Symposium (HASE 2000). IEEE Computer Society pp. 159-167. ISBN 0-7695-0927-4. (Full text available)

Preview

Lahoz, C.H.N. and Abdala, M.A.D. and Moura, C.A.T. and de Lemos, Rogério (2000) Evaluation of Co-operative Actions in the Safety Analysis of the Destruction System of the Sounding Rocket VS-40X (in Portuguese). In: Proceedings of the Symposium on Safety and Security of Information Systems. pp. 49-58. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

de Lemos, Rogério and Saeed, Amer (1999) Validating Formal Verification using Safety Analysis Techniques. In: Proceedings of the 18th International Conference on Computer Safety, Reliability and Security (SAFECOMP'99) / Lecture Notes in Artificial Intelligence. Springer pp. 58-66. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

de Lemos, Rogério (1999) Analysis of Safety Properties of a System from the Viewpoint of its Components Interactions. In: Proceedings of the 9th Brazilian Symposium on Fault-Tolerant Computers (SCTF). , Campinas, Brazil pp. 35-48. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

de Lemos, Rogério and Romanovsky, A. (1999) Exception Handling in a Cooperative Object-Oriented Approach. In: Proceedings of the 2nd IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'99). , Saint Malo, France pp. 3-13. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

de Lemos, Rogério and Romanovsky, A. (1998) Coordinated Atomic Actions in Modelling Objects Cooperation. In: Proceedings of the 1st IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'98). , Kyoto, Japan pp. 152-160. (doi:https://doi.org/10.1109/ISORC.1998.666785) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Cepin, M. and de Lemos, Rogério and Mavko, B. and Riddle, S. and Saeed, Amer (1997) An Object-Based Approach to Modelling and Analysis of Failure Properties. In: Daniel, P., ed. Proceedings of the 16th International Conference on Computer Safety, Reliability and Security (SAFECOMP'97). Springer-Verlag, Berlin, Germany, York, UK pp. 281-294. (Full text available)

Preview Preview

Wang, J. and Saeed, Amer and de Lemos, Rogério (1997) Subjective Safety Analysis for Software Development. In: Soares, C. Guedes, ed. Proceedings of the International Conference on Safety and Reliability (ESREL 97). Elsevier Science Ltd, Oxford, UK, Lisbon, Portugal pp. 389-396. (Full text available)

Preview

de Lemos, Rogério and Hall, Jon G. (1996) Extended RTL in the Specification and Verification of an Industrial Press. In: Alur, Rajeev and Henzinger, Y.A. and Sontag, E., eds. Hybrid Systems III. Lecture Notes in Computer Science 1066. Springer-Verlag, Berlin, Germany pp. 114-125. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

de Lemos, Rogério and Saeed, Amer and Anderson, Tom (1996) Analysis of Safety Requirements for a Chemical Batch Processing System. In: Hilburn, T. and Suski, Gregory J. and Zalewski, Janusz, eds. Proceedings of the 2nd IFAC Workshop on Safety and Reliability in Emerging Control Technologies. Pergamon/Elsevier Science, Oxford UK, Daytona Beach, Florida, USA pp. 205-210. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Hall, Jon G. and de Lemos, Rogério (1996) ERTL: an Extension to RTL for the Specification, Analysis and Verification of Hybrid Systems. In: Proceedings of the 8th EUROMICRO Workshop on Real-Time Systems. IEEE Computer Press, L'Aquila, Italy pp. 3-8. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Patent

NCR Corporation (Duluth, GA) (2010) A Method of and System for Prediction of the State of Health of an Apparatus. US Patent 7,815,103. (doi:US Patent 7,815,103) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

NCR Corporation (Dayton, OH) (2009) A Method of Determining the Cause of an Error State in an Apparatus. US Patent 7,600,671. (doi:US Patent 7,600,671) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Edited book

Cámara, Javier and de Lemos, Rogério and Ghezzi, Carlo, eds. (2013) Assurances for Self-Adaptive Systems: Principles, Models, and Techniques. Springer Publishing Company, Incorporated (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Casimiro, Antonio and de Lemos, Rogério and Gacek, Cristina, eds. (2010) Architecting Dependable Systems VII. Lecture Notes in Computer Science, 6420 . Springer, 324 pp. ISBN 978-3-642-17244-1. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Weyns, Danny and Malek, Sam and de Lemos, Rogério and Andersson, Jesper, eds. (2010) Self-Organizing Architectures. Lecture Notes in Computer Science, 6090 . Springer, 301 pp. ISBN 978-3-642-14411-0. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

de Lemos, Rogério and Fabre, Jean-Charles and Gacek, Cristina and Gadducci, Fabio and ter Beek, Maurcie H., eds. (2009) Architecting Dependable Systems VI. Lecture Notes in Computer Science, 5835 . Springer, 335 pp. ISBN 978-3-642-10247-9. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Cheng, Betty H.C. and de Lemos, Rogério and Giese, Holger and Inverardi, Paola and Magee, Jeff, eds. (2009) Software Engineering for Self-Adaptive Systems. Lecture Notes in Computer Science/Programming and Software Engineering, 5525 . Springer, 261 pp. ISBN 978-3-642-02160-2. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

de Lemos, Rogério and Di Giandomenico, Felicita and Gacek, Cristina and Muccini, Henry and Vieira, Marlon, eds. (2008) Architecting Dependable Systems V. Lecture Notes in Computer Science, 5135 . Springer, 343 pp. ISBN 978-3-540-85570-5. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

de Lemos, Rogério and Gacek, Cristina and Romanovsky, Alexander, eds. (2006) Architecting Dependable Systems IV. Springer (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

de Lemos, Rogério and Gacek, Cristina and Romanovsky, Alexander, eds. (2005) Architecting Dependable Systems III. Lecture Notes in Computer Science . Springer, Berlin, 357 pp. ISBN 978-3-540-28968-5. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

de Lemos, Rogério and Gacek, Cristina and Romanovsky, Alexander, eds. (2004) Architecting Dependable Systems II. Lecture Notes in Computer Science, 3069 . Springer, 363 pp. ISBN 978-3-540-23168-4. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

de Lemos, Rogerio and Weber, Taisy Silva and Camargo Jr., João Batista, eds. (2003) Dependable Computing: First Latin-American Symposium, LADC 2003, São Paulo, Brazil, October 21-24, 2003. Proceedings. Lecture Notes in Computer Science, 2847 . Springer, 371 pp. ISBN 3-540-20224-2. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

de Lemos, Rogério and Gacek, Cristina and Romanovsky, Alexander, eds. (2003) Architecting Dependable Systems. Springer-Verlag, Berlin, Heidelberg (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)