Rogério de Lemos

According to our database1, Rogério de Lemos
  • authored at least 107 papers between 1990 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
Robustness-Driven Resilience Evaluation of Self-Adaptive Software Systems.
IEEE Trans. Dependable Sec. Comput., 2017

2016
Incorporating architecture-based self-adaptation into an adaptive industrial software system.
Journal of Systems and Software, 2016

2015
An Adaptive Classification Framework for Unsupervised Model Updating in Nonstationary Environments.
Proceedings of the Machine Learning, Optimization, and Big Data, 2015

2014
Self-adaptive federated authorization infrastructures.
J. Comput. Syst. Sci., 2014

Testing the robustness of controllers for self-adaptive systems.
J. Braz. Comp. Soc., 2014

Robustness evaluation of the rainbow framework for self-adaptation.
Proceedings of the Symposium on Applied Computing, 2014

Empirical resilience evaluation of an architecture-based self-adaptive software system.
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.
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).
Dagstuhl Reports, 2013

Architecture-based resilience evaluation for self-adaptive systems.
Computing, 2013

Robustness Evaluation of Controllers in Self-Adaptive Software Systems.
Proceedings of the Sixth Latin-American Symposium on Dependable Computing, 2013

Evolving an adaptive industrial software system to use architecture-based self-adaptation.
Proceedings of the 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2013


Enabling the Autonomic Management of Federated Identity Providers.
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.
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.
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.
Informatica (Slovenia), 2011

Workshop on assurances for self-adaptive systems (ASAS 2011).
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.
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.
Proceedings of the IEEE Ninth International Conference on Dependable, 2011

2010
Fifth Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2010).
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010



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

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

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

2009
Architecting Fault Tolerance with Exception Handling: Verification and Validation.
J. Comput. Sci. Technol., 2009

On Architecting Software Fault Tolerance using Abstractions.
Electr. Notes Theor. Comput. Sci., 2009

Verifying architectural variabilities in software fault tolerance techniques.
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.
Proceedings of the Fourth Latin-American Symposium on Dependable Computing, 2009

Using dynamic workflows for coordinating self-adaptation of software systems.
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.
Proceedings of the 31st International Conference on Software Engineering, 2009

SEAMS 2009: Software engineering for adaptive and self-managing systems.
Proceedings of the 31st International Conference on Software Engineering, 2009

Reflecting on self-adaptive software systems.
Proceedings of the 2009 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, 2009

Workshop on Architecting Dependable Systems (WADS 2009).
Proceedings of the 2009 IEEE/IFIP International Conference on Dependable Systems and Networks, 2009


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

2008
Software Components, Architectures and Reuse.
J. UCS, 2008

Verification of Exception Control Flows and Handlers Based on Architectural Scenarios.
Proceedings of the 11th IEEE High Assurance Systems Engineering Symposium, 2008

Artificial iImmune systems for data fusion: A novel biologically inspired approach.
Proceedings of the 11th International Conference on Information Fusion, 2008

Development of Fault-Tolerant Software Systems Based on Architectural Abstractions.
Proceedings of the Software Architecture, Second European Conference, 2008

Workshop on Architecting Dependable Systems (WADS 2008).
Proceedings of the 38th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2008

08031 Abstracts Collection -- Software Engineering for Self-Adaptive Systems.
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.
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.
IEEE Trans. Systems, Man, and Cybernetics, Part C, 2007

Scaling Dependability and Security in Ad Hoc Networks.
Proceedings of the Dependable Computing, Third Latin-American Symposium, 2007

Architecture-Centric Fault Tolerance with Exception Handling.
Proceedings of the Dependable Computing, Third Latin-American Symposium, 2007

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

SEAMS 2007: Software Engineering for Adaptive and Self-Managing Systems.
Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

Workshop on Architecting Dependable Systems (WADS 2007).
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.
Proceedings of the Ad-Hoc, Mobile, and Wireless Networks, 6th International Conference, 2007

2006
A Fault-Tolerant Architectural Approach for Dependable Systems.
IEEE Software, 2006

Can self-managed systems be trusted? Some views and trends.
Knowledge Eng. Review, 2006

Architecting dependable systems.
Journal of Systems and Software, 2006

Architectural reconfiguration using coordinated atomic actions.
Proceedings of the 2006 international workshop on Self-adaptation and self-managing systems, 2006

Architectural Fault Tolerance Using Exception Handling.
Proceedings of the Architecting Dependable Systems IV [the book is a result of the ICSE 2006 and DSN 2006 workshops], 2006

Software architectures for dependable systems: a software engineering perspective.
Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006

Software engineering for adaptive and self-managing systems.
Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006

Workshop on Architecting Dependable Systems (WADS).
Proceedings of the 2006 International Conference on Dependable Systems and Networks (DSN 2006), 2006

06121 Report: Break Out Session on Guaranteed Execution.
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.
Softw., Pract. Exper., 2005

ICSE 2005 Workshop on Architecting Dependable Systems (WADS 2005).
ACM SIGSOFT Software Engineering Notes, 2005

ICSE 2004 workshop on architecting dependable systems.
ACM SIGSOFT Software Engineering Notes, 2005

The atomic manifesto: a story in four quarks.
Operating Systems Review, 2005

The atomic manifesto: a story in four quarks.
SIGMOD Record, 2005

Dependable Computing.
J. Braz. Comp. Soc., 2005

Software Architectures for Dependable Systems.
Proceedings of the Dependable Computing, Second Latin-American Symposium, 2005

Workshop on architecting dependable systems (WADS 2005).
Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), 2005

Immunising Automated Teller Machines.
Proceedings of the Artificial Immune Systems: 4th International Conference, 2005

Academic Panel: "Can Self-Managed Systems Be Trusted?".
Proceedings of the 16th International Workshop on Database and Expert Systems Applications (DEXA 2005), 2005

The Conflict Between Self-* Capabilities and Predictability.
Proceedings of the Self-star Properties in Complex Information Systems, 2005

2004
Software engineering for large-scale multi-agent systems - SELMAS 2004: workshop report.
ACM SIGSOFT Software Engineering Notes, 2004

Analysing failure behaviours in component interaction.
Journal of Systems and Software, 2004

Twin Workshops on Architecting Dependable Systems (WADS 2004).
Proceedings of the 26th International Conference on Software Engineering (ICSE 2004), 2004

Architecting Web Services Applications for Improving Availability.
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).
Proceedings of the 2004 International Conference on Dependable Systems and Networks (DSN 2004), 28 June, 2004

The Atomic Manifesto: a Story in Four Quarks.
Proceedings of the Atomicity in System Design and Execution, 25.04. - 30.04.2004, 2004

2003
ICSE 2003 workshop on software architectures for dependable systems.
ACM SIGSOFT Software Engineering Notes, 2003

Software engineering for large-scale multi-agent systems: SELMAS 2003: workshop report.
ACM SIGSOFT Software Engineering Notes, 2003

A fault-tolerant software architecture for COTS-based software systems.
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.
Proceedings of the Dependable Computing, First Latin-American Symposium, 2003

Integrating COTS Software Components into Dependable Software Architectures.
Proceedings of the 6th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2003), 2003

ICSE 2003 Workshop on Software Architectures for Dependable Systems.
Proceedings of the 25th International Conference on Software Engineering, 2003

A Dependable Architecture for COTS-Based Software Systems Using Protective Wrappers.
Proceedings of the Architecting Dependable Systems II, 2003

2002
An architectural support for self-adaptive software for treating faults.
Proceedings of the First Workshop on Self-Healing Systems, 2002

Architectural Mismatch Tolerance.
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.
Proceedings of the 24th International Conference on Software Engineering, 2002

A Fault-Tolerant Software Architecture for Component-Based Systems.
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.
Proceedings of the Dependable Computing, 2002

2001
Exception handling in the software lifecycle.
Comput. Syst. Sci. Eng., 2001

Describing Evolving Dependable Systems Using Co-Operative Software Architectures.
Proceedings of the 2001 International Conference on Software Maintenance, 2001

Explicit Representation of Exception Handling in the Development of Dependable Component-Based Systems.
Proceedings of the 6th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2001), 2001

2000
Safety analysis of an evolving software architecture.
Proceedings of the 5th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2000), 2000

A Co-Operative Object-Oriented Architecture for Adaptive Systems.
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.
Proceedings of the Computer Safety, 1999

Exception Handling in a Cooperative Object-Oriented Approach.
Proceedings of the 2nd International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '99), 1999

1998
Coordinated Atomic Actions in Modelling Objects Cooperation.
Proceedings of the 1st International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '98), 1998

1996
ERTL: An Extension to RTL for the Specification, Analysis, and Verification of Hybrid Systems.
Proceedings of the Eighth Euromicro Workshop on Real-Time Systems, 1996

1995
Analyzing Safety Requirements for Process-Control Systems.
IEEE Software, 1995

Extended RTL in the Specification and Verification of an Industrial Press.
Proceedings of the Hybrid Systems III: Verification and Control, 1995

1994
A methodology for the requirements analysis of critical real-time systems.
PhD thesis, 1994

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

On Foraml Support for Industrial-Scale Requirements Analysis.
Proceedings of the Hybrid Systems, 1992

Analysis of Timeliness Requirements in Safety-Critical Systems.
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.
Proceedings of the 1991 International Symposium on Fault-Tolerant Computing, 1991

1990
Agreement on the Group Membership in Synchronous Distributed Systems.
Proceedings of the Distributed Algorithms, 4th International Workshop, 1990

A Robust Group Membership Algorithm for Distributed Real-Time Systems.
Proceedings of the Real-Time Systems Symposium, 1990


  Loading...