Rogério de Lemos

Research Topics

• Software engineering for self-adaptive systems

  • assurances, and resilience evaluation

  • dynamic generation of processes

• Handling insider threats using self-adaptive authorisation

• Architecting dependable systems

  • architectural abstractions for fault tolerance

  • verification and validation of dependable software architectures

• Software development for safety-critical systems

• Dependability and bioinspired computing

• Specification and verification of hybrid and real-time systems

• Application of game theory to software systems

Projects

• "Collaborative and Confidential Information Sharing and Analysis for Cyber Protection". European Union’s Horizon 2020 Programme (H2020) - Grant Agreement n°700294.

• "ADAAS: Assuring Dependability in Architecture-based Adaptive Systems". Partners: University of Coimbra, University of Lisbon, Instituto Superior Técnico, Critical Software, CMU. Started November 2010, duration three years. Sponsored by FCT Carnegie Mellon Portugal Program.

• "Pervasive Service Provision using Adaptive, Dynamic Systems". With Jon Timmis (PI), and Jason Xiaohu Liu (PhD Student). Started October 2010, duration of three years. In collaboration with NCR .

• "Dynamic Adaption for Sensor Fusion (DASF)". With Jon Timmis (PI), and Piero Conca (PhD Student). Started October 2008, duration of three years. In collaboration with NCR .

• "Sensors Integrating Fusion Technology (SiFT)". With Jon Timmis (PI), and Adam Knowles (PhD Student). Started October 2005, duration of three years. In collaboration with NCR .

  • Poster: Artificial Immune Systems for Data Fusion: A Novel Biologically Inspired Approach.

• "Immunised Fault Tolerance for Mechatronic Devices". With Jon Timmis (PI), and Modupe Ayara (PhD Student). Started October 2001, duration of three years. In collaboration with NCR .

  • Poster: Immune Inspired Fault Tolerance.

  • Poster: Immunising Automated Teller Machines (ATMs).

• The Computing Laboratory is a node of CaberNet - Network of Excellence in Distributed and Dependable Computing. IST Contract No. IST-2000-25088.

  • CaberNet Vision of RTD.

• "Exception Handling in Dependable Software Architectures". The Nuffield Foundation. Started May 2001, duration of two years.

  • Poster: Exception Handling in the Software Lifecycle.

• "Dependable Software for Embedded Aerospace Applications". British Council and CAPES/Brazil. Collaboration project between the Computing Laboratory / University of Kent at Canterbury and Institute of Aeronautics and Space (IAE) / Aerospace Technical Centre (CTA). Started April 1999, duration of three years.

  • Poster: Safety Analysis of the Destruction System of a Sounding Rocket.

Publications

My publications are available from the University of Kent's Academic Repository.

Otherwise you can check Google Scholar, DBLP, or ACM Author Profile.

ORCID iD: 0000-0002-0281-6308

Scopus Author ID: 7003837961

Ciência ID: 4310-B019-1FB0

Journals

Editorial Boards and Review Boards

• Computing

• Journal of Software Engineering Research and Development (JSERD)

• International Journal of Applied Intelligence (from 2011-2017)

• Nonlinear Analysis: Hybrid Systems (from 2002-2014)

Journals Special Issues

• Journal of Systems and Software: Special issue 11th European Conference on Software Architecture

• Computing: Special Issue on Dependable Computing: Theory and Practice

• Journal of Universal Computer Science: Special Issue on Software Components, Architectures and Reuse

• Journal of Systems and Software: Special Issue on Architecting Dependable Systems

• JBCS: Special Issue on Dependable Computing

Books

• Software Engineering for Self-Adaptive Systems III: Assurances.
  Lecture Notes in Computer Science 9640.
  Rogerio de Lemos, David Garlan, Carlo Ghezzi, Holger Giese (Eds.).
  Springer. 2017.

  • Assurances for Self-Adaptive Systems.
    Lecture Notes in Computer Science 7740.
    Javier Camara, Rogerio de Lemos, Carlo Ghezzi, Antonia Lopes (Eds.).
    Springer. 2013.

• Software Engineering for Self-Adaptive Systems II.
  Lecture Notes in Computer Science 7475.
  Rogerio de Lemos, Holger Giese, Hausi A. Muller, Mary Shaw (Eds.).
  Springer. 2013.

• Self-Organizing Architectures.
  Lecture Notes in Computer Science 6090.
  Danny Weyns, Sam Malek, Rogerio de Lemos, Jesper Andersson (Eds.).
  Springer. 2010.

• Software Engineering for Self-Adaptive Systems.
  Lecture Notes in Computer Science 5525.
  Betty H.C. Cheng, Rogerio de Lemos, Holger Giese, Paola Inverardi, Jeff Magee (Eds.).
  Springer. 2009.

• Architecting Dependable Systems Book Series.

Conferences and Workshops
(Organising Committee, Programme Committee, Steering Committee)

• 16th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2021)

• 15th European Conference on Software Architecture (ECSA 2021)

• 16th Dependable and Adaptive Distributed Systems (DADS) - Track of the 36th ACM Symposium on Applied Computing (SAC 2021)

• International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2021)

• 17th European Dependable Computing Conference (EDCC 2021)

Past Conferences and Workshops
(Organising Committee, Programme Committee, Steering Committee)

Other Interests

I am collecting contributions on the dependability terminology currently being used in Portuguese:

• Confiança no Funcionameto: Terminologia em Português