University of Kent - Home

• Contact
• Maps
• Departments

Navigation menu

School of Computing

• Home
• Teaching
• Research

Studying

• Undergraduate courses
• Postgraduate courses

Activities

• News
• National & International services
• Seminars
• Schools Liaison
• Outreach
• Kent IT Clinic
• Kent enterprise

Local users

• For current students and staff
• Systems Support

About us

• Contacts - How to find us
• People
  • Staff
  • Research Students
  • Undergraduate (local)
  • Taught Postgraduate (local)
  • Former Staff
  • Former Research Students
  • Student portal (univ)

Search

School of Computing

Search:

Publications

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

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

Research Interests

I belong to the following research groups:

• Programming Languages and Systems Group
• Security Group

Research Topics

• Software engineering for self-adaptive systems
• assurances, and resilience evaluation
• dynamic generation of processes
• autonomic authorization
• 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

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

Past Projects

• "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
• Nonlinear Analysis: Hybrid Systems
• Journal of Software Engineering Research and Development (JSERD)
• International Journal of Applied Intelligence

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 II.
  Lecture Notes in Computer Science 7475.
  Rogerio de Lemos, Holger Giese, Hausi A. Muller, Mary Shaw (Eds.).
  Springer. 2013.
• 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)

• Eighth International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2013)
• Fourth International Symposium on Architecting Critical Systems (ISARCS 2013) - Federated with CompArch 2013
• Eleventh International Workshop on Assurance in Distributed Systems and Networks (ADSN 2013)
• Seventh European Conference on Software Architecture (ECSA 2013)
• Twenty Seventh Brazilian Symposium on Software Engineering (SBES 2013)
• The Twelfth International Workshop on Assurance in Distributed Systems and Networks (ADSN2013)

Past Conferences and Workshops (OC, PC, SC)

Postgraduate Topics

Brief description of possible projects.

Other Interests

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

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