Rogério de Lemos

Javier Cámara, Pedro Correia, Rogério de Lemos, David Garlan, Pedro Gomes, Bradley R. Schmerl, Rafael Ventura: Evolving an adaptive industrial software system to use architecture-based self-adaptation. SEAMS 2013: 13-22

Christopher Bailey, David W. Chadwick, Rogério de Lemos: Self-Adaptive Authorization Framework for Policy Based RBAC/ABAC Models. DASC 2011: 37-44

Carlos Eduardo da Silva, Rogério de Lemos: Dynamic plans for integration testing of self-adaptive software systems. SEAMS 2011: 148-157

Javier Cámara, Rogério de Lemos, Carlo Ghezzi, Antónia Lopes: Workshop on assurances for self-adaptive systems (ASAS 2011). SIGSOFT FSE 2011: 516-517

Betty H. C. Cheng, Rogério de Lemos, David Garlan, Holger Giese, Marin Litoiu, Jeff Magee, Hausi A. Müller, Mauro Pezzè, Richard Taylor: Fifth Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2010). ICSE (2) 2010: 447-448

Antonio Casimiro, Rogério de Lemos, Cristina Gacek (Eds.): Architecting Dependable Systems VII. Lecture Notes in Computer Science 6420, Springer 2010, isbn 978-3-642-17244-1

Danny Weyns, Sam Malek, Rogério de Lemos, Jesper Andersson (Eds.): Self-Organizing Architectures, First International Workshop, SOAR 2009, Cambridge, UK, September 14, 2009, Revised Selected and Invited Papers. Lecture Notes in Computer Science 6090, Springer 2010, isbn 978-3-642-14411-0

Rogério de Lemos: On Architecting Software Fault Tolerance using Abstractions. Electr. Notes Theor. Comput. Sci. 236: 21-32 (2009)

Patrick H. S. Brito, Rogério de Lemos, Cecília M. F. Rubira, Eliane Martins: Architecting Fault Tolerance with Exception Handling: Verification and Validation. J. Comput. Sci. Technol. 24(2): 212-237 (2009)

Betty H. C. Cheng, Rogério de Lemos, Holger Giese, Paola Inverardi, Jeff Magee, Jesper Andersson, Basil Becker, Nelly Bencomo, Yuriy Brun, Bojan Cukic, Giovanna Di Marzo Serugendo, Schahram Dustdar, Anthony Finkelstein, Cristina Gacek, Kurt Geihs, Vincenzo Grassi, Gabor Karsai, Holger M. Kienle, Jeff Kramer, Marin Litoiu, Sam Malek, Raffaela Mirandola, Hausi A. Müller, Sooyong Park, Mary Shaw, Matthias Tichy, Massimo Tivoli, Danny Weyns, Jon Whittle: Software Engineering for Self-Adaptive Systems: A Research Roadmap. Software Engineering for Self-Adaptive Systems 2009: 1-26

Jesper Andersson, Rogério de Lemos, Sam Malek, Danny Weyns: Modeling Dimensions of Self-Adaptive Software Systems. Software Engineering for Self-Adaptive Systems 2009: 27-47

Antonio Casimiro, Rogério de Lemos, Cristina Gacek: Workshop on Architecting Dependable Systems (WADS 2009). DSN 2009: 598-599

Jesper Andersson, Rogério de Lemos, Sam Malek, Danny Weyns: Reflecting on self-adaptive software systems. SEAMS 2009: 38-47

Carlos Eduardo da Silva, Rogério de Lemos: Using dynamic workflows for coordinating self-adaptation of software systems. SEAMS 2009: 86-95

Carlos Eduardo da Silva, Rogério de Lemos: Towards the use of dynamic workflows for coordinating self-adaptation of software systems. ICSE Companion 2009: 383-386

Betty H. C. Cheng, Rogério de Lemos, David Garlan, Holger Giese, Marin Litoiu, Jeff Magee, Hausi A. Müller, Richard Taylor: SEAMS 2009: Software engineering for adaptive and self-managing systems. ICSE Companion 2009: 463-464

Patrick H. S. Brito, Rogério de Lemos, Eliane Martins, Regina Lúcia de Oliveira Moraes, Cecília M. F. Rubira: Architectural-Based Validation of Fault-Tolerant Software. LADC 2009: 103-110

Patrick H. S. Brito, Cecília M. F. Rubira, Rogério de Lemos: Verifying architectural variabilities in software fault tolerance techniques. WICSA/ECSA 2009: 231-240

Betty H. C. Cheng, Rogério de Lemos, Holger Giese, Paola Inverardi, Jeff Magee (Eds.): Software Engineering for Self-Adaptive Systems [outcome of a Dagstuhl Seminar]. Lecture Notes in Computer Science 5525, Springer 2009, isbn 978-3-642-02160-2

Rogério de Lemos, Jean-Charles Fabre, Cristina Gacek, Fabio Gadducci, Maurice H. ter Beek (Eds.): Architecting Dependable Systems VI. Lecture Notes in Computer Science 5835, Springer 2009, isbn 978-3-642-10247-9

Cecília M. F. Rubira, Rogério de Lemos: Software Components, Architectures and Reuse. J. UCS 14(8): 1179- (2008)

Betty H. C. Cheng, Holger Giese, Paola Inverardi, Jeff Magee, Rogério de Lemos: 08031 -- Software Engineering for Self-Adaptive Systems: A Research Road Map. Software Engineering for Self-Adaptive Systems 2008

Betty H. C. Cheng, Holger Giese, Paola Inverardi, Jeff Magee, Rogério de Lemos: 08031 Abstracts Collection -- Software Engineering for Self-Adaptive Systems. Software Engineering for Self-Adaptive Systems 2008

Rogério de Lemos, Jean-Charles Fabre, Cristina Gacek: Workshop on Architecting Dependable Systems (WADS 2008). DSN 2008: 548-549

Patrick H. S. Brito, Rogério de Lemos, Cecília M. F. Rubira: Development of Fault-Tolerant Software Systems Based on Architectural Abstractions. ECSA 2008: 131-147

Patrick Henrique da S. Brito, Rogério de Lemos, Cecília M. F. Rubira: Verification of Exception Control Flows and Handlers Based on Architectural Scenarios. HASE 2008: 177-186

Betty H. C. Cheng, Rogério de Lemos, Holger Giese, Paola Inverardi, Jeff Magee (Eds.): Software Engineering for Self-Adaptive Systems, 13.1. - 18.1.2008. Dagstuhl Seminar Proceedings 08031, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2008

Rogério de Lemos, Felicita Di Giandomenico, Cristina Gacek, Henry Muccini, Marlon Vieira (Eds.): Architecting Dependable Systems V [the book is a result from the WADS 2007 and the Third Workshop on the Role of Software Architecture for Testing and Analysis]. Lecture Notes in Computer Science 5135, Springer 2008, isbn 978-3-540-85570-5

Rogério de Lemos, Jonathan Timmis, Modupe Ayara, Simon Forrest: Immune-Inspired Adaptable Error Detection for Automated Teller Machines. IEEE Transactions on Systems, Man, and Cybernetics, Part C 37(5): 873-886 (2007)

Rudi Ball, James Grant, Jonathan So, Victoria Spurrett, Rogério de Lemos: Dependable and Secure Distributed Storage System for Ad Hoc Networks. ADHOC-NOW 2007: 142-152

Rogério de Lemos, Felicita Di Giandomenico, Cristina Gacek: Workshop on Architecting Dependable Systems (WADS 2007). DSN 2007: 805-806

Betty H. C. Cheng, Rogério de Lemos, Stephen Fickas, David Garlan, Marin Litoiu, Jeff Magee, Hausi A. Müller, Richard Taylor: SEAMS 2007: Software Engineering for Adaptive and Self-Managing Systems. SEAMS 2007: 1

Betty H. C. Cheng, Rogério de Lemos, Stephen Fickas, David Garlan, Marin Litoiu, Jeff Magee, Hausi A. Müller, Richard Taylor: SEAMS 2007: Software Engineering for Adaptive and Self-Managing Systems. ICSE Companion 2007: 152-153

Patrick Henrique da S. Brito, Rogério de Lemos, Eliane Martins, Cecília M. F. Rubira: Architecture-Centric Fault Tolerance with Exception Handling. LADC 2007: 75-94

Rogério de Lemos: Scaling Dependability and Security in Ad Hoc Networks. LADC 2007: 237

Rogério de Lemos, Cristina Gacek, Alexander B. Romanovsky (Eds.): Architecting Dependable Systems IV [the book is a result of the ICSE 2006 and DSN 2006 workshops]. Lecture Notes in Computer Science 4615, Springer 2007, isbn 978-3-540-74033-9

Rogério de Lemos, Cristina Gacek, Alexander Romanovsky: Architecting dependable systems. Journal of Systems and Software 79(10): 1359-1360 (2006)

Julie A. McCann, Rogério de Lemos, Markus C. Huebscher, Omer F. Rana, Andreas Wombacher: Can self-managed systems be trusted? Some views and trends. Knowledge Eng. Review 21(3): 239-248 (2006)

Rogério de Lemos, Paulo Asterio de Castro Guerra, Cecília M. F. Rubira: A Fault-Tolerant Architectural Approach for Dependable Systems. IEEE Software 23(2): 80-87 (2006)

Calton Pu, Jim Johnson, Rogério de Lemos, Andreas Reuter, David Taylor, Irfan Zakiuddin: 06121 Report: Break Out Session on Guaranteed Execution. Atomicity: A Unifying Concept in Computer Science 2006

Rogério de Lemos, Cristina Gacek, Alexander Romanovsky: Workshop on Architecting Dependable Systems (WADS). DSN 2006: 592

Rogério de Lemos: Architectural Fault Tolerance Using Exception Handling. WADS 2006: 142-162

Betty H. C. Cheng, David Garlan, Rogério de Lemos, Jeff Magee, Richard Taylor, Stephen Fickas, Hausi A. Müller: Software engineering for adaptive and self-managing systems. ICSE 2006: 1015-1016

Rogério de Lemos: Software architectures for dependable systems: a software engineering perspective. ICSE 2006: 1065-1066

Rogério de Lemos, Eliane Martins: Dependable Computing. J. Braz. Comp. Soc. 10(3): 3-4 (2005)

Cliff B. Jones, David B. Lomet, Alexander B. Romanovsky, Gerhard Weikum, Alan Fekete, Marie-Claude Gaudel, Henry F. Korth, Rogério de Lemos, J. Eliot B. Moss, Ravi Rajwar, Krithi Ramamritham, Brian Randell, Luís Rodrigues: The atomic manifesto: a story in four quarks. SIGMOD Record 34(1): 63-69 (2005)

Cliff B. Jones, David B. Lomet, Alexander B. Romanovsky, Gerhard Weikum, Alan Fekete, Marie-Claude Gaudel, Henry F. Korth, Rogério de Lemos, J. Eliot B. Moss, Ravi Rajwar, Krithi Ramamritham, Brian Randell, Luís Rodrigues: The atomic manifesto: a story in four quarks. Operating Systems Review 39(2): 41-46 (2005)

Rogério de Lemos, Cristina Gacek, Alexander Romanovsky: ICSE 2004 workshop on architecting dependable systems. ACM SIGSOFT Software Engineering Notes 30(1): 3 (2005)

Rogério de Lemos, Alexander Romanovsky: ICSE 2005 Workshop on Architecting Dependable Systems (WADS 2005). ACM SIGSOFT Software Engineering Notes 30(4): 1-4 (2005)

Cecília M. F. Rubira, Rogério de Lemos, Gisele Rodrigues Mesquita Ferreira, Fernando Castor Filho: Exception handling in the development of dependable component-based systems. Softw., Pract. Exper. 35(3): 195-236 (2005)

Rogério de Lemos: The Conflict Between Self-* Capabilities and Predictability. Self-star Properties in Complex Information Systems 2005: 219-228

Rogério de Lemos, Julie A. McCann, Omer F. Rana, Andreas Wombacher, Markus C. Huebscher: Academic Panel: "Can Self-Managed Systems Be Trusted?". DEXA Workshops 2005: 1171-1175

Modupe Ayara, Jon Timmis, Rogério de Lemos, Simon Forrest: Immunising Automated Teller Machines. ICARIS 2005: 404-417

Rogério de Lemos, Alexander B. Romanovsky: Workshop on architecting dependable systems (WADS 2005). ICSE 2005: 691

Rogério de Lemos, Paulo Asterio de Castro Guerra: Software Architectures for Dependable Systems. LADC 2005: 263-264

Rogério de Lemos, Cristina Gacek, Alexander B. Romanovsky (Eds.): Architecting Dependable Systems III [the book is a result of the ICSE 2004 and DSN 2004 workshops]. Lecture Notes in Computer Science 3549, Springer 2005, isbn 3-540-28968-2

Rogério de Lemos: Analysing failure behaviours in component interaction. Journal of Systems and Software 71(1-2): 97-115 (2004)

Ricardo Choren, Alessandro Garcia, Carlos José Pereira de Lucena, Martin L. Griss, David Chenho Kung, Naftaly H. Minsky, Alexander Romanovsky, Jaelson Brelaz de Castro, Rogério de Lemos, Danny Weyns: Software engineering for large-scale multi-agent systems - SELMAS 2004: workshop report. ACM SIGSOFT Software Engineering Notes 29(5): 1-10 (2004)

Rogério de Lemos, Cristina Gacek, Alexander B. Romanovsky: Twin Workshops on Architecting Dependable Systems (WADS 2004). DSN 2004: 901

Rogério de Lemos: Architecting Web Services Applications for Improving Availability. WADS 2004: 69-91

Rogério de Lemos, Cristina Gacek, Alexander B. Romanovsky: Twin Workshops on Architecting Dependable Systems (WADS 2004). ICSE 2004: 758

Rogério de Lemos, Cristina Gacek, Alexander B. Romanovsky (Eds.): Architecting Dependable Systems II - [the book is a result of the ICSE 2003 Workshop on Software Architectures for Dependable Systems]. Lecture Notes in Computer Science 3069, Springer 2004, isbn 3-540-23168-4

Alessandro Garcia, José Alberto R. P. Sardinha, Carlos José Pereira de Lucena, Jaelson Brelaz de Castro, Julio Cesar Sampaio do Prado Leite, Ruy Luiz Milidiú, Alexander Romanovsky, Martin L. Griss, Rogério de Lemos, Anna Perini: Software engineering for large-scale multi-agent systems: SELMAS 2003: workshop report. ACM SIGSOFT Software Engineering Notes 28(6): 1 (2003)

Rogério de Lemos, Cristina Gacek, Alexander Romanovsky: ICSE 2003 workshop on software architectures for dependable systems. ACM SIGSOFT Software Engineering Notes 28(6): 8 (2003)

Paulo Asterio de Castro Guerra, Cecília M. F. Rubira, Alexander B. Romanovsky, Rogério de Lemos: A Dependable Architecture for COTS-Based Software Systems Using Protective Wrappers. WADS 2003: 144-166

Rogério de Lemos, Cristina Gacek, Alexander B. Romanovsky: ICSE 2003 Workshop on Software Architectures for Dependable Systems. ICSE 2003: 781-782

Paulo Asterio de Castro Guerra, Alexander B. Romanovsky, Rogério de Lemos: Integrating COTS Software Components into Dependable Software Architectures. ISORC 2003: 139-142

João Batista Camargo Jr., Rogério de Lemos: Workshop on Safety: Computer Systems in Critical Applications. LADC 2003: 362

Paulo Asterio de Castro Guerra, Cecília M. F. Rubira, Alexander B. Romanovsky, Rogério de Lemos: A fault-tolerant software architecture for COTS-based software systems. ESEC / SIGSOFT FSE 2003: 375-378

Rogério de Lemos, Cristina Gacek, Alexander B. Romanovsky (Eds.): Architecting Dependable Systems [the book is a result of the ICSE 2002 Workshop on Software Architectures for Dependable Systems]. Lecture Notes in Computer Science 2677, Springer 2003, isbn 978-3-540-40727-0

Rogério de Lemos, Taisy Silva Weber, João Batista Camargo Jr. (Eds.): Dependable Computing, First Latin-American Symposium, LADC 2003, Sao Paulo, Brazil, October 21-24, 2003, Proceedings. Lecture Notes in Computer Science 2847, Springer 2003, isbn 3-540-20224-2

Rogério de Lemos: Novel Approaches in Dependable Computing. EDCC 2002: 79-80

Paulo Asterio de Castro Guerra, Cecília M. F. Rubira, Rogério de Lemos: A Fault-Tolerant Software Architecture for Component-Based Systems. WADS 2002: 129-149

Rogério de Lemos, Cristina Gacek, Alexander Romanovsky: Architectural Mismatch Tolerance. WADS 2002: 175-194

Rogério de Lemos, Cristina Gacek, Alexander B. Romanovsky: ICSE 2002 workshop on architecting dependable systems. ICSE 2002: 673-674

Rogério de Lemos, José Luiz Fiadeiro: An architectural support for self-adaptive software for treating faults. WOSS 2002: 39-42

Rogério de Lemos, Alexander B. Romanovsky: Exception handling in the software lifecycle. Comput. Syst. Sci. Eng. 16(2): 119-133 (2001)

Gisele Rodrigues Mesquita Ferreira, Cecília M. F. Rubira, Rogério de Lemos: Explicit Representation of Exception Handling in the Development of Dependable Component-Based Systems. HASE 2001: 182-193

Rogério de Lemos: Describing Evolving Dependable Systems Using Co-Operative Software Architectures. ICSM 2001: 320-

Rogério de Lemos: A Co-Operative Object-Oriented Architecture for Adaptive Systems. ECBS 2000: 120-128

Rogério de Lemos, Alexander B. Romanovsky: Exception Handling in a Cooperative Object-Oriented Approach. ISORC 1999: 3-13

Rogério de Lemos, Amer Saeed: Safety Analysis Techniques for Validating Formal Models During Verification. SAFECOMP 1999: 58-66

Rogério de Lemos, Alexander B. Romanovsky: Coordinated Atomic Actions in Modelling Objects Cooperation. ISORC 1998: 152-161

Rogério de Lemos, Amer Saeed, Tom Anderson: Analyzing Safety Requirements for Process-Control Systems. IEEE Software 12(3): 42-53 (1995)

Rogério de Lemos, Jon G. Hall: Extended RTL in the Specification and Verification of an Industrial Press. Hybrid Systems 1995: 114-125

Rogério de Lemos, Amer Saeed, Tom Anderson: A Train Set as a Case Study for the Requirements Analysis of Safety-Critical Systems. Comput. J. 35(1): 30-40 (1992)

Rogério de Lemos, Amer Saeed, Tom Anderson: Analysis of Timeliness Requirements in Safety-Critical Systems. FTRTFT 1992: 171-192

Tom Anderson, Rogério de Lemos, John S. Fitzgerald, Amer Saeed: On Foraml Support for Industrial-Scale Requirements Analysis. Hybrid Systems 1992: 426-451

Amer Saeed, Rogério de Lemos, Tom Anderson: The Role of Formal Methods in the Requirements Analysis of Safety-Critical Systems: A Train Set Example. FTCS 1991: 478-487

Paul D. Ezhilchelvan, Rogério de Lemos: A Robust Group Membership Algorithm for Distributed Real-Time Systems. RTSS 1990: 173-179

Rogério de Lemos, Paul D. Ezhilchelvan: Agreement on the Group Membership in Synchronous Distributed Systems. WDAG 1990: 353-372