• Contact
• Maps
• Departments

• School of Computing home
• Undergraduate degrees
• Master's degrees
• PhD and research degrees
• Research
• Placements
• Kent IT Consultancy
• Makerspace
• Working with us
• About us
• News
• People
• Contact us

For current students & staff

• Information for students
• Systems support
• Information for staff

Search

School of Computing

Rogério de Lemos

Senior Lecturer / Director of Graduate Studies (Taught)

workTel:     +44 (0)1227 82 3628 Email: R.Delemos@kent.ac.uk

Room S106 School of Computing University of Kent, School of Computing, University of Kent Canterbury Kent CT2 7NF England

Publications

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

Research Interests

I belong to the following research groups:

• Programming Languages and Systems Group
• Cyber Security Group

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

Current Projects

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

Past Projects

• "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.

Journals (EB and RB)

• 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 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.
• 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. 2017.
• Assurances for Self-Adaptive Systems.
  Lecture Notes in Computer Science 7740.
  Javier Camara, Rogerio de Lemos, Carlo Ghezzi, Antonia Lopes (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 (OC, PC, SC)

• 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2020)
• 14th European Conference on Software Architecture (ECSA 2020)
• 15th Dependable and Adaptive Distributed Systems (DADS) Track of the 35th ACM Symposium on Applied Computing (SAC 2020)

Past Conferences and Workshops (OC, PC, SC)

Brief description of possible projects.

Other Interests

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