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.

[BibT_eX]

[DOI]

Lionel Montrieux

Chris Bailey

CoRR, 2019

Special issue on dependable computing: theory and practice.

[BibT_eX]

[DOI]

Computing, 2019

Self-adaptive artificial intelligence.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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

Sharing Cyber Threat Intelligence Under the General Data Protection Regulation.

[BibT_eX]

[DOI]

Adham Albakri

Eerke A. Boiten

Jane Dirce A. Sandim Eleutério

Proceedings of the Privacy Technologies and Policy - 7th Annual Privacy Forum, 2019

Realising Variability in Dynamic Software Product Lines.

[BibT_eX]

[DOI]

Breno Bernard Nicolau de França

Proceedings of the Software Engineering for Variability Intensive Systems, 2019

Challenges in Engineering Self-Adaptive Authorisation Infrastructures.

[BibT_eX]

[DOI]

Lionel Montrieux

Chris Bailey

Proceedings of the Engineering Adaptive Software Systems, 2019

2018

Self-adaptive authorisation in OpenStack cloud platform.

[BibT_eX]

[DOI]

Thomas Diniz

Nélio Cacho

J. Internet Serv. Appl., 2018

Self-adaptation made easy with blockchains.

[BibT_eX]

[DOI]

Peter E. Sedgewick

Christopher Michael Bailey

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

Evaluating Self-Adaptive Authorisation Infrastructures Through Gamification.

[BibT_eX]

[DOI]

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

Risks of Sharing Cyber Incident Information.

[BibT_eX]

[DOI]

Adham Albakri

Eerke A. Boiten

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

2017

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

[BibT_eX]

[DOI]

IEEE Trans. Dependable Secur. Comput., 2017

An architecture for privacy-preserving sharing of CTI with 3<sup>rd</sup> party analysis services.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

J. Syst. Softw., 2016

2015

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

[BibT_eX]

[DOI]

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

2014

Self-adaptive federated authorization infrastructures.

[BibT_eX]

[DOI]

Christopher Bailey

David W. Chadwick

Clarissa Cassales Marquezan

J. Comput. Syst. Sci., 2014

Testing the robustness of controllers for self-adaptive systems.

[BibT_eX]

[DOI]

J. Braz. Comput. Soc., 2014

Robustness evaluation of the rainbow framework for self-adaptation.

[BibT_eX]

[DOI]

Proceedings of the Symposium on Applied Computing, 2014

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

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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).

[BibT_eX]

[DOI]

Dagstuhl Reports, 2013

Architecture-based resilience evaluation for self-adaptive systems.

[BibT_eX]

[DOI]

Computing, 2013

Robustness Evaluation of Controllers in Self-Adaptive Software Systems.

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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

Enabling the Autonomic Management of Federated Identity Providers.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Annapaola Marconi

Antonio Bucchiarone

Konstantinos Bratanis

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.

[BibT_eX]

[DOI]

Javier Cámara

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.

[BibT_eX]

[DOI]

Informatica (Slovenia), 2011

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

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Christopher Bailey

David W. Chadwick

Proceedings of the IEEE Ninth International Conference on Dependable, 2011

2010

Fifth Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2010).

[BibT_eX]

[DOI]

Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

Software Engineering for Self-Adaptive Systems: A Second Research Roadmap.

[BibT_eX]

[DOI]

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

10431 Report - Software Engineering for Self-Adaptive Systems.

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

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

Software Engineering Processes for Self-Adaptive Systems.

[BibT_eX]

[DOI]

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

2009

Architecting Fault Tolerance with Exception Handling: Verification and Validation.

[BibT_eX]

[DOI]

J. Comput. Sci. Technol., 2009

Verifying architectural variabilities in software fault tolerance techniques.

[BibT_eX]

[DOI]

Patrick H. S. Brito

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.

[BibT_eX]

[DOI]

Patrick H. S. Brito

Regina Lúcia de Oliveira Moraes

Eliane Martins

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

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

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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

SEAMS 2009: Software engineering for adaptive and self-managing systems.

[BibT_eX]

[DOI]

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

Reflecting on self-adaptive software systems.

[BibT_eX]

[DOI]

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

Workshop on Architecting Dependable Systems (WADS 2009).

[BibT_eX]

[DOI]

António Casimiro

Proceedings of the 2009 IEEE/IFIP International Conference on Dependable Systems and Networks, 2009

Software Engineering for Self-Adaptive Systems: A Research Roadmap.

[BibT_eX]

[DOI]

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

Modeling Dimensions of Self-Adaptive Software Systems.

[BibT_eX]

[DOI]

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

2008

Software Components, Architectures and Reuse.

[BibT_eX]

[DOI]

J. Univers. Comput. Sci., 2008

On Architecting Software Fault Tolerance using Abstractions.

[BibT_eX]

[DOI]

Patrick Henrique da S. Brito

Proceedings of the 3rd International Workshop on Views On Designing Complex Architectures, 2008

Verification of Exception Control Flows and Handlers Based on Architectural Scenarios.

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

Patrick H. S. Brito

Proceedings of the Software Architecture, Second European Conference, 2008

Workshop on Architecting Dependable Systems (WADS 2008).

[BibT_eX]

[DOI]

Jean-Charles Fabre

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

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

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

IEEE Trans. Syst. Man Cybern. Part C, 2007

Scaling Dependability and Security in Ad Hoc Networks.

[BibT_eX]

[DOI]

Patrick Henrique da S. Brito

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

Architecture-Centric Fault Tolerance with Exception Handling.

[BibT_eX]

[DOI]

Eliane Martins

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

SEAMS 2007: Software Engineering for Adaptive and Self-Managing Systems.

[BibT_eX]

[DOI]

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

Workshop on Architecting Dependable Systems (WADS 2007).

[BibT_eX]

[DOI]

Felicita Di Giandomenico

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.

[BibT_eX]

[DOI]

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

2006

A Fault-Tolerant Architectural Approach for Dependable Systems.

[BibT_eX]

[DOI]

IEEE Softw., 2006

Can self-managed systems be trusted? Some views and trends.

[BibT_eX]

[DOI]

Knowl. Eng. Rev., 2006

Architecting dependable systems.

[BibT_eX]

[DOI]

J. Syst. Softw., 2006

Architectural reconfiguration using coordinated atomic actions.

[BibT_eX]

[DOI]

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

Architectural Fault Tolerance Using Exception Handling.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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

Software engineering for adaptive and self-managing systems.

[BibT_eX]

[DOI]

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

Workshop on Architecting Dependable Systems (WADS).

[BibT_eX]

[DOI]

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

06121 Report: Break Out Session on Guaranteed Execution.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Gisele Rodrigues Mesquita Ferreira

Fernando Castor Filho

Softw. Pract. Exp., 2005

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

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 2005

ICSE 2004 workshop on architecting dependable systems.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 2005

The atomic manifesto: a story in four quarks.

[BibT_eX]

[DOI]

Cliff B. Jones

David B. Lomet

SIGMOD Rec., 2005

Dependable Computing.

[BibT_eX]

[DOI]

Eliane Martins

J. Braz. Comput. Soc., 2005

Software Architectures for Dependable Systems.

[BibT_eX]

[DOI]

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

Workshop on architecting dependable systems (WADS 2005).

[BibT_eX]

[DOI]

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

Immunising Automated Teller Machines.

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

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

The Conflict Between Self-* Capabilities and Predictability.

[BibT_eX]

[DOI]

Carlos José Pereira de Lucena

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

2004

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

[BibT_eX]

[DOI]

Ricardo Choren

Alessandro Garcia

Martin L. Griss

David Chenho Kung

Naftaly H. Minsky

Jaelson Brelaz de Castro

Danny Weyns

ACM SIGSOFT Softw. Eng. Notes, 2004

Analysing failure behaviours in component interaction.

[BibT_eX]

[DOI]

J. Syst. Softw., 2004

Architecting Web Services Applications for Improving Availability.

[BibT_eX]

[DOI]

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).

[BibT_eX]

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.

[BibT_eX]

[DOI]

José Alberto R. P. Sardinha

ACM SIGSOFT Softw. Eng. Notes, 2003

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

[BibT_eX]

[DOI]

Alessandro Garcia

Carlos José Pereira de Lucena

Jaelson Brelaz de Castro

Julio César Sampaio do Prado Leite

Ruy Luiz Milidiú

Martin L. Griss

Anna Perini

ACM SIGSOFT Softw. Eng. Notes, 2003

A fault-tolerant software architecture for COTS-based software systems.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

João Batista Camargo Jr.

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

Integrating COTS Software Components into Dependable Software Architectures.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Architecting Dependable Systems II, 2003

2002

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

[BibT_eX]

[DOI]

José Luiz Fiadeiro

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

Architectural Mismatch Tolerance.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Dependable Computing, 2002

2001

Exception handling in the software lifecycle.

[BibT_eX]

Comput. Syst. Sci. Eng., 2001

Describing Evolving Dependable Systems Using Co-Operative Software Architectures.

[BibT_eX]

[DOI]

Gisele Rodrigues Mesquita Ferreira

Proceedings of the 2001 International Conference on Software Maintenance, 2001

Explicit Representation of Exception Handling in the Development of Dependable Component-Based Systems.

[BibT_eX]

[DOI]

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

2000

Safety analysis of an evolving software architecture.

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Computer Safety, 1999

Exception Handling in a Cooperative Object-Oriented Approach.

[BibT_eX]

[DOI]

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

1998

Coordinated Atomic Actions in Modelling Objects Cooperation.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Jon G. Hall

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

1995

Analyzing Safety Requirements for Process-Control Systems.

[BibT_eX]

[DOI]

IEEE Softw., 1995

Safety Analysis for Requirements Specifications: Methods and Techniques.

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

PhD thesis, 1994

1993

Robust Requirements Specifications for Safety - Critical Systems.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Comput. J., 1992

On Foraml Support for Industrial-Scale Requirements Analysis.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems, 1992

Analysis of Timeliness Requirements in Safety-Critical Systems.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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

1990

Agreement on the Group Membership in Synchronous Distributed Systems.

[BibT_eX]

[DOI]

Paul D. Ezhilchelvan

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

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

[BibT_eX]

[DOI]

Paul D. Ezhilchelvan