© University of Kent - Contact | Feedback | Legal
The University of Kent, Canterbury, Kent, CT2 7NZ, T +44 (0)1227 764000
Rogerio De Lemos
Lecturer
|
|
|
Publications
My publications are available from the Computer Science department publications repository.
Research Interests
I belong to the following research groups:
Research Topics
- Software engineering for self-adaptive systems
- 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.
- Fully funded PhD studentship on assurances for self-adaptive software systems can be found here
- "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 .
Past Projects
- "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 .
- "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.
- "Exception Handling in Dependable Software Architectures". The Nuffield Foundation. Started May 2001, duration of two years.
- "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.
Journals (EB and RB)
Journals Special Issues
- Journal of Universal Computer Science, Special Issue on Software Components, Architectures and Reuse
Books
- Architecting Dependable Systems Book Series.
- 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.
Conferences and Workshops (OC, PC, SC)
- Seventh International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2012)
- Third International Symposium on Architecting Critical Systems (ISARCS 2012) - Federated with CompArch 2012
- The Eleventh International Workshop on Assurance in Distributed Systems and Networks (ADSN2012)
- Sixth IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO2012)
- Twenty Sixth Brazilian Symposium on Software Engineering (SBES 2012)
- Sixth Latin-American Symposium on Dependable Computing (LADC 2013)
- The 8th Dependable and Adaptive Distributed Systems (DADS) Track of the 28th ACM Symposium on Applied Computing (SAC 2013)
Past Conferences and Workshops (OC, PC, SC)
Postgraduate Topics
Brief description of possible projects.