Rogério de Lemos

According to our database, Rogério de Lemos authored at least 124 papers between 1990 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2023

Design and Evaluation of Controllers based on Microservices.

Bento R. Siqueira, Fabiano Cutigi Ferrari, Rogério de Lemos

Proceedings of the 18th IEEE/ACM Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2023

Software Self-adaptation and Industry: Blame MAPE-K.

Rogério de Lemos

Proceedings of the 18th IEEE/ACM Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2023

2021

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

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

Malicious changeload for the resilience evaluation of self-adaptive authorisation infrastructures.

Christopher Bailey, Rogério de Lemos

Future Gener. Comput. Syst., 2020

Micro-controllers: Promoting Structurally Flexible Controllers in Self-Adaptive Software Systems.

Bento R. Siqueira, Fabiano Cutigi Ferrari, Thomas Vogel, Rogério de Lemos

CoRR, 2020

Human in the loop: what is the point of no return?

Rogério de Lemos

Proceedings of the SEAMS '20: IEEE/ACM 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, Seoul, Republic of Korea, 29 June, 2020

Micro-controllers: Promoting Structurally Flexible Controllers in Self-Aware Computing Systems.

Bento R. Siqueira, Fabiano Cutigi Ferrari, Thomas Vogel, Rogério de Lemos

Proceedings of the 2020 IEEE International Conference on Autonomic Computing and Self-Organizing Systems, 2020

2019

Engineering Self-adaptive Authorisation Infrastructures.

Lionel Montrieux, Rogério de Lemos, Chris Bailey

CoRR, 2019

Special issue on dependable computing: theory and practice.

Rogério de Lemos

Computing, 2019

Self-adaptive artificial intelligence.

Rogério de Lemos, Marek Grzes

Proceedings of the 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 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

Proceedings of the 6th IEEE International Conference on Cyber Security and Cloud Computing, 2019

Sharing Cyber Threat Intelligence Under the General Data Protection Regulation.

Adham Albakri, Eerke A. Boiten, Rogério de Lemos

Proceedings of the Privacy Technologies and Policy - 7th Annual Privacy Forum, 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

Proceedings of the Software Engineering for Variability Intensive Systems, 2019

Challenges in Engineering Self-Adaptive Authorisation Infrastructures.

Lionel Montrieux, Rogério de Lemos, Chris Bailey

Proceedings of the Engineering Adaptive Software Systems, 2019

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

Self-adaptation made easy with blockchains.

Peter E. Sedgewick, Rogério de Lemos

Proceedings of the 13th International Conference on Software Engineering for Adaptive and Self-Managing Systems, 2018

Evaluating Self-Adaptive Authorisation Infrastructures Through Gamification.

Christopher Michael Bailey, Rogério de Lemos

Proceedings of the 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2018

Risks of Sharing Cyber Incident Information.

Adham Albakri, Eerke A. Boiten, Rogério de Lemos

Proceedings of the 13th International Conference on Availability, Reliability and Security, 2018

2017

Robustness-Driven Resilience Evaluation of Self-Adaptive Software Systems.

Javier Cámara, Rogério de Lemos, Nuno Laranjeiro, Rafael Ventura, Marco Vieira

IEEE Trans. Dependable Secur. Comput., 2017

An architecture for privacy-preserving sharing of CTI with 3^rd party analysis services.

Fabio Giubilo, Ali Sajjad, Mark Shackleton, David W. Chadwick, Wenjun Fan, Rogério de Lemos

Proceedings of the 12th International Conference for Internet Technology and Secured Transactions, 2017

2016

Incorporating architecture-based self-adaptation into an adaptive industrial software system.

Javier Cámara, Pedro Correia, Rogério de Lemos, David Garlan, Pedro Gomes, Bradley R. Schmerl, Rafael Ventura

J. Syst. Softw., 2016

2015

An Adaptive Classification Framework for Unsupervised Model Updating in Nonstationary Environments.

Piero Conca, Jon Timmis, Rogério de Lemos, Simon Forrest, Heather McCracken

Proceedings of the Machine Learning, Optimization, and Big Data, 2015

2014

Self-adaptive federated authorization infrastructures.

Christopher Bailey, David W. Chadwick, Rogério de Lemos

J. Comput. Syst. Sci., 2014

Testing the robustness of controllers for self-adaptive systems.

Javier Cámara, Rogério de Lemos, Nuno Laranjeiro, Rafael Ventura, Marco Vieira

J. Braz. Comput. Soc., 2014

Robustness evaluation of the rainbow framework for self-adaptation.

Javier Cámara, Rogério de Lemos, Nuno Laranjeiro, Rafael Ventura, Marco Vieira

Proceedings of the Symposium on Applied Computing, 2014

Empirical resilience evaluation of an architecture-based self-adaptive software system.

Javier Cámara, Pedro Correia, Rogério de Lemos, Marco Vieira

Proceedings of the QoSA'14, Proceedings of the 10th International ACM SIGSOFT Conference on Quality of Software Architectures (part of CompArch 2014), Marcq-en-Baroeul, Lille, France, June 30, 2014

Run-time generation, transformation, and verification of access control models for self-protection.

Christopher Bailey, Lionel Montrieux, Rogério de Lemos, Yijun Yu, Michel Wermelinger

Proceedings of the 9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2014

2013

Software Engineering for Self-Adaptive Systems: Assurances (Dagstuhl Seminar 13511).

Rogério de Lemos, David Garlan, Carlo Ghezzi, Holger Giese

Dagstuhl Reports, 2013

Architecture-based resilience evaluation for self-adaptive systems.

Javier Cámara, Rogério de Lemos, Marco Vieira, Raquel Almeida, Rafael Ventura

Computing, 2013

Robustness Evaluation of Controllers in Self-Adaptive Software Systems.

Javier Cámara, Rogério de Lemos, Nuno Laranjeiro, Rafael Ventura, Marco Vieira

Proceedings of the Sixth Latin-American Symposium on Dependable Computing, 2013

Evolving an adaptive industrial software system to use architecture-based self-adaptation.

Javier Cámara, Pedro Correia, Rogério de Lemos, David Garlan, Pedro Gomes, Bradley R. Schmerl, Rafael Ventura

Proceedings of the 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 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, Radu Calinescu, Myra B. Cohen, Alessandra Gorla, Vincenzo Grassi, Lars Grunske, Paola Inverardi, Jean-Marc Jézéquel, Sam Malek, Raffaela Mirandola, Marco Mori, Hausi A. Müller, Romain Rouvoy, Cecília M. F. Rubira, Éric Rutten, Mary Shaw, Giordano Tamburrelli, Gabriel Tamura, Norha M. Villegas, Thomas Vogel, Franco Zambonelli

Proceedings of the Software Engineering for Self-Adaptive Systems III. Assurances, 2013

Enabling the Autonomic Management of Federated Identity Providers.

Christopher Bailey, David W. Chadwick, Rogério de Lemos, Kristy W. S. Siu

Proceedings of the Emerging Management Mechanisms for the Future Internet, 2013

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, Dimitris Dranidis, Holger Giese, Raman Kazhamiakin, Rogério de Lemos, Clarissa Cassales Marquezan, Andreas Metzger

Proceedings of the First International Workshop on European Software Services and Systems Research, 2012

Evaluation of resilience in self-adaptive systems using probabilistic model-checking.

Javier Cámara, Rogério de Lemos

Proceedings of the 7th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2012

2011

A Framework for Automatic Generation of Processes for Self-Adaptive Software Systems.

Carlos Eduardo da Silva, Rogério de Lemos

Informatica (Slovenia), 2011

Workshop on assurances for self-adaptive systems (ASAS 2011).

Javier Cámara, Rogério de Lemos, Carlo Ghezzi, Antónia Lopes

Proceedings of the SIGSOFT/FSE'11 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and ESEC'11: 13th European Software Engineering Conference (ESEC-13), 2011

Dynamic plans for integration testing of self-adaptive software systems.

Carlos Eduardo da Silva, Rogério de Lemos

Proceedings of the 2011 ICSE Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2011

Self-Adaptive Authorization Framework for Policy Based RBAC/ABAC Models.

Christopher Bailey, David W. Chadwick, Rogério de Lemos

Proceedings of the IEEE Ninth International Conference on Dependable, 2011

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

Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 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, Luciano Baresi, Basil Becker, Nelly Bencomo, Yuriy Brun, Bojan Cukic, Ronald J. Desmarais, Schahram Dustdar, Gregor Engels, Kurt Geihs, Karl M. Göschka, Alessandra Gorla, Vincenzo Grassi, Paola Inverardi, Gabor Karsai, Jeff Kramer, Marin Litoiu, Antónia Lopes, Jeff Magee, Sam Malek, Serge Mankovskii, Raffaela Mirandola, John Mylopoulos, Oscar Nierstrasz, Mauro Pezzè, Christian Prehofer, Wilhelm Schäfer, Richard D. Schlichting, Bradley R. Schmerl, Dennis B. Smith, João Pedro Sousa, Gabriel Tamura, Ladan Tahvildari, Norha M. Villegas, Thomas Vogel, Danny Weyns, Kenny Wong, Jochen Wuttke

Proceedings of the Software Engineering for Self-Adaptive Systems, 24.10. - 29.10.2010, 2010

10431 Report - Software Engineering for Self-Adaptive Systems.

Rogério de Lemos, Holger Giese, Hausi A. Müller, Mary Shaw

Proceedings of the Software Engineering for Self-Adaptive Systems, 24.10. - 29.10.2010, 2010

10431 Abstracts Collection - Software Engineering for Self-Adaptive Systems.

Rogério de Lemos, Holger Giese, Hausi A. Müller, Mary Shaw

Proceedings of the Software Engineering for Self-Adaptive Systems, 24.10. - 29.10.2010, 2010

Software Engineering Processes for Self-Adaptive Systems.

Jesper Andersson, Luciano Baresi, Nelly Bencomo, Rogério de Lemos, Alessandra Gorla, Paola Inverardi, Thomas Vogel

Proceedings of the Software Engineering for Self-Adaptive Systems II, 2010

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

Verifying architectural variabilities in software fault tolerance techniques.

Patrick H. S. Brito, Cecília M. F. Rubira, Rogério de Lemos

Proceedings of the Joint Working IEEE/IFIP Conference on Software Architecture 2009 and European Conference on Software Architecture 2009, 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

Proceedings of the Fourth Latin-American Symposium on Dependable Computing, 2009

Using dynamic workflows for coordinating self-adaptation of software systems.

Carlos Eduardo da Silva, Rogério de Lemos

Proceedings of the 2009 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, 2009

Towards the use of dynamic workflows for coordinating self-adaptation of software systems.

Carlos Eduardo da Silva, Rogério de Lemos

Proceedings of the 31st International Conference on Software Engineering, 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

Proceedings of the 31st International Conference on Software Engineering, 2009

Reflecting on self-adaptive software systems.

Jesper Andersson, Rogério de Lemos, Sam Malek, Danny Weyns

Proceedings of the 2009 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, 2009

Workshop on Architecting Dependable Systems (WADS 2009).

António Casimiro, Rogério de Lemos, Cristina Gacek

Proceedings of the 2009 IEEE/IFIP International Conference on Dependable Systems and Networks, 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, 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

Proceedings of the Software Engineering for Self-Adaptive Systems [outcome of a Dagstuhl Seminar], 2009

Modeling Dimensions of Self-Adaptive Software Systems.

Jesper Andersson, Rogério de Lemos, Sam Malek, Danny Weyns

Proceedings of the Software Engineering for Self-Adaptive Systems [outcome of a Dagstuhl Seminar], 2009

2008

Software Components, Architectures and Reuse.

Cecília M. F. Rubira, Rogério de Lemos

J. Univers. Comput. Sci., 2008

On Architecting Software Fault Tolerance using Abstractions.

Rogério de Lemos

Proceedings of the 3rd International Workshop on Views On Designing Complex Architectures, 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

Proceedings of the 11th IEEE High Assurance Systems Engineering Symposium, 2008

Artificial iImmune systems for data fusion: A novel biologically inspired approach.

Adam Knowles, Jon Timmis, Rogério de Lemos, Simon Forrest, Heather McCracken

Proceedings of the 11th International Conference on Information Fusion, 2008

Development of Fault-Tolerant Software Systems Based on Architectural Abstractions.

Patrick H. S. Brito, Rogério de Lemos, Cecília M. F. Rubira

Proceedings of the Software Architecture, Second European Conference, 2008

Workshop on Architecting Dependable Systems (WADS 2008).

Rogério de Lemos, Jean-Charles Fabre, Cristina Gacek

Proceedings of the 38th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2008

08031 Abstracts Collection -- Software Engineering for Self-Adaptive Systems.

Betty H. C. Cheng, Holger Giese, Paola Inverardi, Jeff Magee, Rogério de Lemos

Proceedings of the Software Engineering for Self-Adaptive Systems, 13.1. - 18.1.2008, 2008

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

Proceedings of the Software Engineering for Self-Adaptive Systems, 13.1. - 18.1.2008, 2008

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

Scaling Dependability and Security in Ad Hoc Networks.

Rogério de Lemos

Proceedings of the Dependable Computing, Third Latin-American Symposium, 2007

Architecture-Centric Fault Tolerance with Exception Handling.

Patrick Henrique da S. Brito, Rogério de Lemos, Eliane Martins, Cecília M. F. Rubira

Proceedings of the Dependable Computing, Third Latin-American Symposium, 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

Proceedings of the 2007 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, 2007

Workshop on Architecting Dependable Systems (WADS 2007).

Rogério de Lemos, Felicita Di Giandomenico, Cristina Gacek

Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2007

Dependable and Secure Distributed Storage System for Ad Hoc Networks.

Rudi Ball, James Grant, Jonathan So, Victoria Spurrett, Rogério de Lemos

Proceedings of the Ad-Hoc, Mobile, and Wireless Networks, 6th International Conference, 2007

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

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

Architecting dependable systems.

Rogério de Lemos, Cristina Gacek, Alexander B. Romanovsky

J. Syst. Softw., 2006

Architectural reconfiguration using coordinated atomic actions.

Rogério de Lemos

Proceedings of the 2006 international workshop on Self-adaptation and self-managing systems, 2006

Architectural Fault Tolerance Using Exception Handling.

Rogério de Lemos

Proceedings of the Architecting Dependable Systems IV [the book is a result of DSN 2006 workshops, 2006

Software architectures for dependable systems: a software engineering perspective.

Rogério de Lemos

Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006

Software engineering for adaptive and self-managing systems.

Betty H. C. Cheng, David Garlan, Rogério de Lemos, Jeff Magee, Richard Taylor, Stephen Fickas, Hausi A. Müller

Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006

Workshop on Architecting Dependable Systems (WADS).

Rogério de Lemos, Cristina Gacek, Alexander B. Romanovsky

Proceedings of the 2006 International Conference on Dependable Systems and Networks (DSN 2006), 2006

06121 Report: Break Out Session on Guaranteed Execution.

Calton Pu, Jim Johnson, Rogério de Lemos, Andreas Reuter, David Taylor, Irfan Zakiuddin

Proceedings of the Atomicity: A Unifying Concept in Computer Science, 19.03. - 24.03.2006, 2006

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

ICSE 2005 Workshop on Architecting Dependable Systems (WADS 2005).

Rogério de Lemos, Alexander B. Romanovsky

ACM SIGSOFT Softw. Eng. Notes, 2005

ICSE 2004 workshop on architecting dependable systems.

Rogério de Lemos, Cristina Gacek, Alexander B. Romanovsky

ACM SIGSOFT Softw. Eng. Notes, 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, Luís E. T. Rodrigues

SIGMOD Rec., 2005

Dependable Computing.

Rogério de Lemos, Eliane Martins

J. Braz. Comput. Soc., 2005

Software Architectures for Dependable Systems.

Rogério de Lemos, Paulo Asterio de Castro Guerra

Proceedings of the Dependable Computing, Second Latin-American Symposium, 2005

Workshop on architecting dependable systems (WADS 2005).

Rogério de Lemos, Alexander B. Romanovsky

Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), 2005

Immunising Automated Teller Machines.

Modupe Ayara, Jon Timmis, Rogério de Lemos, Simon Forrest

Proceedings of the Artificial Immune Systems: 4th International Conference, 2005

Academic Panel: "Can Self-Managed Systems Be Trusted?".

Rogério de Lemos, Julie A. McCann, Omer F. Rana, Andreas Wombacher, Markus C. Huebscher

Proceedings of the 16th International Workshop on Database and Expert Systems Applications (DEXA 2005), 2005

The Conflict Between Self-* Capabilities and Predictability.

Rogério de Lemos

Proceedings of the Self-star Properties in Complex Information Systems, 2005

2004

Software engineering for large-scale multi-agent systems - SELMAS 2004: workshop report.

Ricardo Choren, Alessandro Garcia, 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

Analysing failure behaviours in component interaction.

Rogério de Lemos

J. Syst. Softw., 2004

Architecting Web Services Applications for Improving Availability.

Rogério de Lemos

Proceedings of the Architecting Dependable Systems III [the book is a result of the ICSE 2004 and DSN 2004 workshops], 2004

Twin Workshops on Architecting Dependable Systems (WADS 2004).

Rogério de Lemos, Cristina Gacek, Alexander B. Romanovsky

Proceedings of the 2004 International Conference on Dependable Systems and Networks (DSN 2004), 28 June, 2004

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

Software engineering for large-scale multi-agent systems: SELMAS 2003: workshop report.

Alessandro Garcia, 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

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

Proceedings of the 11th ACM SIGSOFT Symposium on Foundations of Software Engineering 2003 held jointly with 9th European Software Engineering Conference, 2003

Workshop on Safety: Computer Systems in Critical Applications.

João Batista Camargo Jr., Rogério de Lemos

Proceedings of the Dependable Computing, First Latin-American Symposium, 2003

Integrating COTS Software Components into Dependable Software Architectures.

Paulo Asterio de Castro Guerra, Alexander B. Romanovsky, Rogério de Lemos

Proceedings of the 6th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2003), 2003

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

Proceedings of the Architecting Dependable Systems II, 2003

2002

An architectural support for self-adaptive software for treating faults.

Rogério de Lemos, José Luiz Fiadeiro

Proceedings of the First Workshop on Self-Healing Systems, 2002

Architectural Mismatch Tolerance.

Rogério de Lemos, Cristina Gacek, Alexander B. Romanovsky

Proceedings of the Architecting Dependable Systems [the book is a result of the ICSE 2002 Workshop on Software Architectures for Dependable Systems], 2002

ICSE 2002 workshop on architecting dependable systems.

Rogério de Lemos, Cristina Gacek, Alexander B. Romanovsky

Proceedings of the 24th International Conference on Software Engineering, 2002

A Fault-Tolerant Software Architecture for Component-Based Systems.

Paulo Asterio de Castro Guerra, Cecília M. F. Rubira, Rogério de Lemos

Proceedings of the Architecting Dependable Systems [the book is a result of the ICSE 2002 Workshop on Software Architectures for Dependable Systems], 2002

Novel Approaches in Dependable Computing.

Rogério de Lemos

Proceedings of the Dependable Computing, 2002

2001

Exception handling in the software lifecycle.

Rogério de Lemos, Alexander B. Romanovsky

Comput. Syst. Sci. Eng., 2001

Describing Evolving Dependable Systems Using Co-Operative Software Architectures.

Rogério de Lemos

Proceedings of the 2001 International Conference on Software Maintenance, 2001

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

Proceedings of the 6th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2001), 2001

2000

Safety analysis of an evolving software architecture.

Rogério de Lemos

Proceedings of the 5th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2000), 2000

A Co-Operative Object-Oriented Architecture for Adaptive Systems.

Rogério de Lemos

Proceedings of the 7th IEEE International Symposium on Engineering of Computer-Based Systems (ECBS 2000), 2000

1999

Safety Analysis Techniques for Validating Formal Models During Verification.

Rogério de Lemos, Amer Saeed

Proceedings of the Computer Safety, 1999

Exception Handling in a Cooperative Object-Oriented Approach.

Rogério de Lemos, Alexander B. Romanovsky

Proceedings of the 2nd International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '99), 1999

1998

Coordinated Atomic Actions in Modelling Objects Cooperation.

Rogério de Lemos, Alexander B. Romanovsky

Proceedings of the 1st International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '98), 1998

1997

An Object-Based Approach to Modelling and Analysis of Failure Properties.

Marko Cepin, Rogério de Lemos, Borut Mavko, Steve Riddle, Amer Saeed

Proceedings of the 16th International Conference on Computer Safety, 1997

1996

ERTL: An Extension to RTL for the Specification, Analysis, and Verification of Hybrid Systems.

Jon G. Hall, Rogério de Lemos

Proceedings of the Eighth Euromicro Workshop on Real-Time Systems, 1996

1995

Analyzing Safety Requirements for Process-Control Systems.

Rogério de Lemos, Amer Saeed, Tom Anderson

IEEE Softw., 1995

Safety Analysis for Requirements Specifications: Methods and Techniques.

Amer Saeed, Rogério de Lemos, Tom Anderson

Proceedings of the 14th International Conference on Computer Safety, 1995

Extended RTL in the Specification and Verification of an Industrial Press.

Rogério de Lemos, Jon G. Hall

Proceedings of the Hybrid Systems III: Verification and Control, 1995

1994

A methodology for the requirements analysis of critical real-time systems.

Rogério de Lemos

PhD thesis, 1994

1993

Robust Requirements Specifications for Safety - Critical Systems.

Amer Saeed, Rogério de Lemos, Tom Anderson

Proceedings of the 12th International Conference on Computer Safety, 1993

1992

A Train Set as a Case Study for the Requirements Analysis of Safety-Critical Systems.

Rogério de Lemos, Amer Saeed, Tom Anderson

Comput. J., 1992

On Foraml Support for Industrial-Scale Requirements Analysis.

Tom Anderson, Rogério de Lemos, John S. Fitzgerald, Amer Saeed

Proceedings of the Hybrid Systems, 1992

Analysis of Timeliness Requirements in Safety-Critical Systems.

Rogério de Lemos, Amer Saeed, Tom Anderson

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1992

1991

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

Proceedings of the 1991 International Symposium on Fault-Tolerant Computing, 1991

1990

Agreement on the Group Membership in Synchronous Distributed Systems.

Rogério de Lemos, Paul D. Ezhilchelvan

Proceedings of the Distributed Algorithms, 4th International Workshop, 1990

A Robust Group Membership Algorithm for Distributed Real-Time Systems.

Paul D. Ezhilchelvan, Rogério de Lemos

Proceedings of the Real-Time Systems Symposium, 1990