People

Rogério de Lemos

Address

School of Computing
University of Kent
Canterbury, Kent CT2 7NF, UK

Email

Home Page

http://www.cs.kent.ac.uk/people/staff/rdl/

Member

Software and Systems Engineering

Research interests

* Software engineering for self-adaptive systems: assurances, and resilience evaluation, dynamic generation of processes, and autonomic authorization
* Architecting dependable systems: architectural abstractions for fault tolerance, and 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

Affiliation

University of Kent, UK

Short Bio

Rogerio de Lemos is a senior lecturer in Computing Science at the University of Kent. Previously, he was a Senior Research Associate at the Centre for Software Reliability (CSR) at the University of Newcastle upon Tyne, and in 2009 he was invited assistant professor at the University of Coimbra in Portugal. He is a member of the Steering Committee of the Latin-American Symposium on Dependable Computing (LADC), the International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), and the International Symposium on Architecting Critical Systems. He is on the editorial board of the Journal of Hybrid Systems, Computing and the Journal of Software Engineering Research and Development, and review board of the International Journal of Applied Intelligence.
He has over 60 scientific publications in international journals, book chapters and conferences, and recently co-edited seven books on Architecting Dependable Systems, two books on Software Engineering for Self-Adaptive Systems, one Self-Organising Architectures, and another on Assurances for Self-Adaptive Systems.

Past Projects

ADAAS: Assuring Dependability in Architecture-based Adaptive Systems
EUBra-BIGSEA: Europe – Brazil Collaboration of BIG Data Scientific Research through Cloud-Centric Applications




Journal Articles

2017

(1 publication)

2014

(2 publications)

2013

(1 publication)

2011

(1 publication)

2009

(2 publications)

Conference Articles

2014

(3 publications)

2013

(3 publications)

2012

(2 publications)

2011

(2 publications)

2009

(2 publications)

Edited Books

Book Chapters