Rogerio De Lemos
Lecturer
|
|
- Room
S117
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.
Otherwise you can check
Google Scholar,
Microsoft Academic, or
ACM Author Profile.
Research Interests
I belong to the following research groups:
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
Past Projects
Journals (EB and RB)
Journals Special Issues
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)
Postgraduate Topics
Brief
description of possible projects.
Other Interests
I am collecting contributions on the dependability terminology currently being used in Portuguese: