A Robust Group Membership Algorithm for Distributed Real-Time Systems. - Paul D. Ezhilchelvan; Rogério de Lemos (RTSS, 1990)

Agreement on the Group Membership in Synchronous Distributed Systems. - Rogério de Lemos; Paul D. Ezhilchelvan (WDAG, 1990)

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

Analysis of Timeliness Requirements in Safety-Critical Systems. - Rogério de Lemos; Amer Saeed; Tom Anderson 001 (FTRTFT, 1992)

On Foraml Support for Industrial-Scale Requirements Analysis. - Tom Anderson 001; Rogério de Lemos; John S. Fitzgerald; Amer Saeed (Hybrid Systems, 1992)

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

Robust Requirements Specifications for Safety - Critical Systems. - Amer Saeed; Rogério de Lemos; Tom Anderson 001 (SAFECOMP, 1993)

A methodology for the requirements analysis of critical real-time systems. - Rogério de Lemos (1994)

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

Safety Analysis for Requirements Specifications: Methods and Techniques. - Amer Saeed; Rogério de Lemos; Tom Anderson 001 (SAFECOMP, 1995)

Analyzing Safety Requirements for Process-Control Systems. - Rogério de Lemos; Amer Saeed; Tom Anderson 001 (IEEE Softw., 1995)

ERTL: An Extension to RTL for the Specification, Analysis, and Verification of Hybrid Systems. - Jon G. Hall; Rogério de Lemos (RTS, 1996)

An Object-Based Approach to Modelling and Analysis of Failure Properties. - Marko Cepin; Rogério de Lemos; Borut Mavko; Steve Riddle; Amer Saeed (SAFECOMP, 1997)

Coordinated Atomic Actions in Modelling Objects Cooperation. - Rogério de Lemos; Alexander B. Romanovsky (ISORC, 1998)

Exception Handling in a Cooperative Object-Oriented Approach. - Rogério de Lemos; Alexander B. Romanovsky (ISORC, 1999)

Safety Analysis Techniques for Validating Formal Models During Verification. - Rogério de Lemos; Amer Saeed (SAFECOMP, 1999)

A Co-Operative Object-Oriented Architecture for Adaptive Systems. - Rogério de Lemos (ECBS, 2000)

Safety analysis of an evolving software architecture. - Rogério de Lemos (HASE, 2000)

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

Describing Evolving Dependable Systems Using Co-Operative Software Architectures. - Rogério de Lemos (ICSM, 2001)

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

Novel Approaches in Dependable Computing. - Rogério de Lemos (EDCC, 2002)

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

ICSE 2002 workshop on architecting dependable systems. - Rogério de Lemos; Cristina Gacek; Alexander B. Romanovsky (ICSE, 2002)

Architectural Mismatch Tolerance. - Rogério de Lemos; Cristina Gacek; Alexander B. Romanovsky (WADS, 2002)

An architectural support for self-adaptive software for treating faults. - Rogério de Lemos; José Luiz Fiadeiro (WOSS, 2002)

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

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

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

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

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

ICSE 2003 workshop on software architectures for dependable systems. - Rogério de Lemos; Cristina Gacek; Alexander B. Romanovsky (ACM SIGSOFT Softw. Eng. Notes, 2003)

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

Architecting Web Services Applications for Improving Availability. - Rogério de Lemos (WADS, 2004)

Analysing failure behaviours in component interaction. - Rogério de Lemos (J. Syst. Softw., 2004)

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

The Conflict Between Self-* Capabilities and Predictability. - Rogério de Lemos (Self-star Properties in Complex Information Systems, 2005)

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

Immunising Automated Teller Machines. - Modupe Ayara; Jon Timmis; Rogério de Lemos; Simon Forrest (ICARIS, 2005)

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

Software Architectures for Dependable Systems. - Rogério de Lemos; Paulo Asterio de Castro Guerra (LADC, 2005)

Dependable Computing. - Rogério de Lemos; Eliane Martins (J. Braz. Comput. Soc., 2005)

The atomic manifesto: a story in four quarks. - Cliff B. Jones; David B. Lomet; Alexander B. Romanovsky; Gerhard Weikum; Alan D. Fekete; Marie-Claude Gaudel; Henry F. Korth; Rogério de Lemos; J. Eliot B. Moss; Ravi Rajwar; Krithi Ramamritham; Brian Randell; et al. (SIGMOD Rec., 2005)

ICSE 2004 workshop on architecting dependable systems. - Rogério de Lemos; Cristina Gacek; Alexander B. Romanovsky (ACM SIGSOFT Softw. Eng. Notes, 2005)

ICSE 2005 Workshop on Architecting Dependable Systems (WADS 2005). - Rogério de Lemos; Alexander B. Romanovsky (ACM SIGSOFT Softw. Eng. Notes, 2005)

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

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

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

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

Software architectures for dependable systems: a software engineering perspective. - Rogério de Lemos (ICSE, 2006)

Architectural Fault Tolerance Using Exception Handling. - Rogério de Lemos (WADS, 2006)

Architectural reconfiguration using coordinated atomic actions. - Rogério de Lemos (SEAMS@ICSE, 2006)

Architecting dependable systems. - Rogério de Lemos; Cristina Gacek; Alexander B. Romanovsky (J. Syst. Softw., 2006)

Can self-managed systems be trusted? Some views and trends. - Julie A. McCann; Rogério de Lemos; Markus C. Huebscher; Omer F. Rana; Andreas Wombacher (Knowl. Eng. Rev., 2006)

A Fault-Tolerant Architectural Approach for Dependable Systems. - Rogério de Lemos; Paulo Asterio de Castro Guerra; Cecília M. F. Rubira (IEEE Softw., 2006)

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

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

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

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

Scaling Dependability and Security in Ad Hoc Networks. - Rogério de Lemos (LADC, 2007)

Immune-Inspired Adaptable Error Detection for Automated Teller Machines. - Rogério de Lemos; Jonathan Timmis; Modupe Ayara; Simon Forrest (IEEE Trans. Syst. Man Cybern. Part C, 2007)

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

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

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

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

Artificial iImmune systems for data fusion: A novel biologically inspired approach. - Adam Knowles; Jon Timmis; Rogério de Lemos; Simon Forrest; Heather McCracken (FUSION, 2008)

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

On Architecting Software Fault Tolerance using Abstractions. - Rogério de Lemos (VODCA@FOSAD, 2008)

Software Components, Architectures and Reuse. - Cecília M. F. Rubira; Rogério de Lemos (J. Univers. Comput. Sci., 2008)

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

Software Engineering for Self-Adaptive Systems: A Research Roadmap. - 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; et al. (Software Engineering for Self-Adaptive Systems, 2009)

Workshop on Architecting Dependable Systems (WADS 2009). - António Casimiro; Rogério de Lemos; Cristina Gacek (DSN, 2009)

Reflecting on self-adaptive software systems. - Jesper Andersson; Rogério de Lemos; Sam Malek; Danny Weyns (SEAMS, 2009)

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

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

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

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

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

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

Software Engineering Processes for Self-Adaptive Systems. - Jesper Andersson; Luciano Baresi; Nelly Bencomo; Rogério de Lemos; Alessandra Gorla; Paola Inverardi; Thomas Vogel 001 (Software Engineering for Self-Adaptive Systems, 2010)

10431 Abstracts Collection - Software Engineering for Self-Adaptive Systems. - Rogério de Lemos; Holger Giese; Hausi A. Müller; Mary Shaw (Software Engineering for Self-Adaptive Systems, 2010)

10431 Report - Software Engineering for Self-Adaptive Systems. - Rogério de Lemos; Holger Giese; Hausi A. Müller; Mary Shaw (Software Engineering for Self-Adaptive Systems, 2010)

Software Engineering for Self-Adaptive Systems: A Second Research Roadmap. - Rogério de Lemos; Holger Giese; Hausi A. Müller; Mary Shaw; Jesper Andersson; Marin Litoiu; Bradley R. Schmerl; Gabriel Tamura; Norha M. Villegas; Thomas Vogel 001; Danny Weyns; Luciano Baresi; et al. (Software Engineering for Self-Adaptive Systems, 2010)

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

Self-Adaptive Authorization Framework for Policy Based RBAC/ABAC Models. - Christopher Bailey 003; David W. Chadwick; Rogério de Lemos (DASC, 2011)

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

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

A Framework for Automatic Generation of Processes for Self-Adaptive Software Systems. - Carlos Eduardo da Silva; Rogério de Lemos (Informatica (Slovenia), 2011)

Evaluation of resilience in self-adaptive systems using probabilistic model-checking. - Javier Cámara 001; Rogério de Lemos (SEAMS, 2012)

Research challenges on multi-layer and mixed-initiative monitoring and adaptation for service-based systems. - Annapaola Marconi; Antonio Bucchiarone; Konstantinos Bratanis; Antonio Brogi; Javier Cámara 001; Dimitris Dranidis; Holger Giese; Raman Kazhamiakin; Rogério de Lemos; Clarissa Cassales Marquezan; Andreas Metzger (S-Cube@ICSE, 2012)

Enabling the Autonomic Management of Federated Identity Providers. - Christopher Bailey 003; David W. Chadwick; Rogério de Lemos; Kristy W. S. Siu (AIMS, 2013)

Software Engineering for Self-Adaptive Systems: Research Challenges in the Provision of Assurances. - Rogério de Lemos; David Garlan; Carlo Ghezzi; Holger Giese; Jesper Andersson; Marin Litoiu; Bradley R. Schmerl; Danny Weyns; Luciano Baresi; Nelly Bencomo; Yuriy Brun; Javier Cámara 001; et al. (Software Engineering for Self-Adaptive Systems, 2013)

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

Robustness Evaluation of Controllers in Self-Adaptive Software Systems. - Javier Cámara 001; Rogério de Lemos; Nuno Laranjeiro; Rafael Ventura; Marco Vieira (LADC, 2013)

Architecture-based resilience evaluation for self-adaptive systems. - Javier Cámara 001; Rogério de Lemos; Marco Vieira; Raquel Almeida 002; Rafael Ventura (Computing, 2013)

Software Engineering for Self-Adaptive Systems: Assurances (Dagstuhl Seminar 13511). - Rogério de Lemos; David Garlan; Carlo Ghezzi; Holger Giese (Dagstuhl Reports, 2013)

Run-time generation, transformation, and verification of access control models for self-protection. - Christopher Bailey 003; Lionel Montrieux; Rogério de Lemos; Yijun Yu; Michel Wermelinger (SEAMS, 2014)

Empirical resilience evaluation of an architecture-based self-adaptive software system. - Javier Cámara 001; Pedro Correia; Rogério de Lemos; Marco Vieira (QoSA, 2014)

Robustness evaluation of the rainbow framework for self-adaptation. - Javier Cámara 001; Rogério de Lemos; Nuno Laranjeiro; Rafael Ventura; Marco Vieira (SAC, 2014)

Testing the robustness of controllers for self-adaptive systems. - Javier Cámara 001; Rogério de Lemos; Nuno Laranjeiro; Rafael Ventura; Marco Vieira (J. Braz. Comput. Soc., 2014)

Self-adaptive federated authorization infrastructures. - Christopher Bailey 003; David W. Chadwick; Rogério de Lemos (J. Comput. Syst. Sci., 2014)

An Adaptive Classification Framework for Unsupervised Model Updating in Nonstationary Environments. - Piero Conca; Jon Timmis; Rogério de Lemos; Simon Forrest; Heather McCracken (MOD, 2015)

Incorporating architecture-based self-adaptation into an adaptive industrial software system. - Javier Cámara 001; Pedro Correia; Rogério de Lemos; David Garlan; Pedro Gomes; Bradley R. Schmerl; Rafael Ventura (J. Syst. Softw., 2016)

An architecture for privacy-preserving sharing of CTI with 3rd party analysis services. - Fabio Giubilo; Ali Sajjad; Mark Shackleton; David W. Chadwick; Wenjun Fan; Rogério de Lemos (ICITST, 2017)

Robustness-Driven Resilience Evaluation of Self-Adaptive Software Systems. - Javier Cámara 001; Rogério de Lemos; Nuno Laranjeiro; Rafael Ventura; Marco Vieira (IEEE Trans. Dependable Secur. Comput., 2017)

Risks of Sharing Cyber Incident Information. - Adham Albakri; Eerke A. Boiten; Rogério de Lemos (ARES, 2018)

Evaluating Self-Adaptive Authorisation Infrastructures Through Gamification. - Christopher Michael Bailey; Rogério de Lemos (DSN, 2018)

Self-adaptation made easy with blockchains. - Peter E. Sedgewick; Rogério de Lemos (SEAMS@ICSE, 2018)

Self-adaptive authorisation in OpenStack cloud platform. - Carlos Eduardo da Silva; Thomas Diniz; Nélio Cacho; Rogério de Lemos (J. Internet Serv. Appl., 2018)

Challenges in Engineering Self-Adaptive Authorisation Infrastructures. - Lionel Montrieux; Rogério de Lemos; Chris Bailey (Engineering Adaptive Software Systems, 2019)

Realising Variability in Dynamic Software Product Lines. - Jane Dirce A. Sandim Eleutério; Breno Bernard Nicolau de França; Cecília M. F. Rubira; Rogério de Lemos (Software Engineering for Variability Intensive Systems, 2019)

Sharing Cyber Threat Intelligence Under the General Data Protection Regulation. - Adham Albakri; Eerke A. Boiten; Rogério de Lemos (APF, 2019)

Enabling Privacy-Preserving Sharing of Cyber Threat Information in the Cloud. - Wenjun Fan; Joanna Ziembicka; Rogério de Lemos; David W. Chadwick; Francesco Di Cerbo; Ali Sajjad; Xiao-Si Wang; Ian Herwono (CSCloud/EdgeCom, 2019)

Self-adaptive artificial intelligence. - Rogério de Lemos; Marek Grzes (SEAMS@ICSE, 2019)

Special issue on dependable computing: theory and practice. - Rogério de Lemos (Computing, 2019)

Engineering Self-adaptive Authorisation Infrastructures. - Lionel Montrieux; Rogério de Lemos; Chris Bailey (CoRR, 2019)

Micro-controllers: Promoting Structurally Flexible Controllers in Self-Aware Computing Systems. - Bento R. Siqueira; Fabiano Cutigi Ferrari; Thomas Vogel 001; Rogério de Lemos (ACSOS Companion, 2020)

Human in the loop: what is the point of no return? - Rogério de Lemos (SEAMS@ICSE, 2020)

Micro-controllers: Promoting Structurally Flexible Controllers in Self-Adaptive Software Systems. - Bento R. Siqueira; Fabiano Cutigi Ferrari; Thomas Vogel 001; Rogério de Lemos (CoRR, 2020)

Malicious changeload for the resilience evaluation of self-adaptive authorisation infrastructures. - Christopher Bailey; Rogério de Lemos (Future Gener. Comput. Syst., 2020)

A cloud-edge based data security architecture for sharing and analysing cyber threat information. - David W. Chadwick; Wenjun Fan; Gianpiero Costantino; Rogério de Lemos; Francesco Di Cerbo; Ian Herwono; Mirko Manea; Paolo Mori; Ali Sajjad; Xiao-Si Wang (Future Gener. Comput. Syst., 2020)

Testing of adaptive and context-aware systems: approaches and challenges. - Bento R. Siqueira; Fabiano Cutigi Ferrari; Kathiani Elisa de Souza; Valter Vieira de Camargo; Rogério de Lemos (Softw. Test. Verification Reliab., 2021)

Software Self-adaptation and Industry: Blame MAPE-K. - Rogério de Lemos (SEAMS, 2023)

Design and Evaluation of Controllers based on Microservices. - Bento R. Siqueira; Fabiano Cutigi Ferrari; Rogério de Lemos (SEAMS, 2023)

Detecting Cryptographic Functions for String Obfuscation. - Pierre Mondon; Rogério de Lemos (CSR, 2024)

Identifying Novelty in Network Traffic. - Joshua Sylvester; Rogério de Lemos (CSR, 2024)

Human empowerment in self-adaptive socio-technical systems. - Nicolas Boltz; Sinem Getir Yaman; Paola Inverardi; Rogério de Lemos; Dimitri Van Landuyt; Andrea Zisman (SEAMS@ICSE, 2024)

Bio-inspired computing systems: handle with care, discard if need it. - Rogério de Lemos (SEAMS@ICSE, 2024)

An Extended Study of the Performance of Flexible Controllers Composed of Micro-controllers. - Bento Rafael Siqueira; Fabiano Cutigi Ferrari; Rogério de Lemos (ACM Trans. Auton. Adapt. Syst., 2025)