People
Rogério de Lemos
Address
School of ComputingUniversity of Kent
Canterbury, Kent CT2 7NF, UK
Home Page
http://www.cs.kent.ac.uk/people/staff/rdl/Member
Software and Systems EngineeringResearch 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, UKShort 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)- Javier Cámara and Lemos, R.d. and Laranjeiro, N. and Ventura, R.S. and Marco Vieira , "Robustness-Driven Resilience Evaluation of Self-Adaptive Software Systems", IEEE Transactions on Dependable and Secure Computing, 2017 [ DOI ]
2014
(2 publications)- Javier Cámara and Lemos, R.d. and Laranjeiro, N. and Ventura, R.S. and Marco Vieira , "Testing the Robustness of Controllers for Self-Adaptive Systems", Journal of the Brazilian Computer Society (JBCS), 2014
- Bailey, C. and Chadwick, D. and Lemos, R.d. , "Self-adaptive federated authorization infrastructures", Journal of Computer and System Sciences, vol. 80, pp. 935-952, 2014 [ DOI ]
2013
(1 publication)2011
(1 publication)2009
(2 publications)- Lemos, R.d. , "On Architecting Software Fault Tolerance using Abstractions", Electronic Notes in Theoretical Computer Science, vol. 236, pp. 21-36, 2009
- Brito, P.H.S. and Lemos, R.d. and Rubira, C.M.F. and Martins, E. , "Architecting Fault Tolerance with Exception Handling: Verification and Validation", Journal of Computer Science and Technology, vol. 24, pp. 212-237, 2009
Conference Articles
2014
(3 publications)- Javier Cámara and Lemos, R.d. and Laranjeiro, N. and Ventura, R.S. and Marco Vieira , "Robustness Evaluation of the Rainbow Framework for Self-Adaptation", in 29th Symposium on Applied Computing (SAC 2014), 2014
- Javier Cámara and Correia, P.G.R. and Lemos, R.d. and Marco Vieira , "Empirical resilience evaluation of an architecture-based self-adaptive software system", in QoSA '14 Proceedings of the 10th international ACM Sigsoft conference on Quality of software architectures, 2014 [ DOI ]
- Bailey, C. and Montrieux, L. and Lemos, R.d. and Yu, Y. and Wermelinger, M. , "Run-time generation, transformation, and verification of access control models for self-protection", in SEAMS 2014 Proceedings of the 9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2014 [ DOI ]
2013
(3 publications)- Javier Cámara and Lemos, R.d. and Laranjeiro, N. and Ventura, R.S. and Marco Vieira , "Robustness Evaluation of Controllers in Self-Adaptive Software Systems", in Latin-American Symposium on Dependable Computing (LADC 2013), 2013
- Javier Cámara and Correia, P.G.R. and Lemos, R.d. and Garlan, D. and Schmerl, B. and Ventura, R.S. , "Evolving an Adaptive Industrial Software System to Use Architecture-based Self-Adaptation", in Proceedings of the 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2013), 2013
- Bailey, C. and Chadwick, D. and Lemos, R.d. and Siu, K. , "Enabling the Autonomic Management of Federated Identity Providers.", in 7th International Conference on. Autonomous Infrastructure, Management and Security (AIMS 2013), 2013
2012
(2 publications)- Javier Cámara and Lemos, R.d. , "Evaluation of Resilience in Self-Adaptive Systems Using Probabilistic Model-Checking", in 7th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2012), 2012
- Javier Cámara and Lemos, R.d. , "Towards Run-time Evaluation of Resilience in Self-Adaptive Systems", in 17th Conference on Software Engineering and Databases (JISBD 2012), 2012
2011
(2 publications)- Silva, C.d. and Lemos, R.d. , "Dynamic Plans for Integration Testing of Self-adaptive Software Systems", in 6th international symposium on software engineering for adaptive and self-managing systems (SEAMS 2011), 2011
- Bailey, C. and Chadwick, D. and Lemos, R.d. , "Self-adaptive authorisation framework for policy based RBAC/ABAC Models", in The 9th international conference on dependable. autonomic and secure computing (DASC2011), 2011
2009
(2 publications)- Brito, P.H.S. and Lemos, R.d. and Rubira, C.M.F. , "Verifying Architectural Variabilities in Software Fault Tolerance Techniques", in Joint Working IEEE/IFIP Conference on Software Architecture 2009 (WICSA 2009) & European Conference on Software Architecture 2009 (ECSA 2009), 2009
- Brito, P.H.S. and Lemos, R.d. and Martins, E. and Moraes, R. and Rubira, C.M.F. , "Architectural-Based Validation of Fault-Tolerant Software", in Fourth Latin-American Symposium on Dependable Computing (LADC 09), 2009
Edited Books
2013
(2 publications)- Javier Cámara and Lemos, R.d. and Ghezzi, C. and Lopes, A. , "Assurances for Self-Adaptive Systems: Principles, Models, and Techniques", vol. 7740, 2013
- Lemos, R.d. and Giese, H. and Muller, H. and Shaw, M. , "Software Engineering for Self-Adaptive Systems II. LNCS 7475", vol. 7475, 2013
2010
(2 publications)- Costa, A.C. and Lemos, R.d. and Gacek, C. , "Architecting Dependable Systems VII- Lecture Notes in Computer Science 6420", vol. 6420, 2010
- Weyns, D. and Malek, S. and Lemos, R.d. and Andersson, J. , "Self-Organizing Architectures - Lecture Notes in Computer Science 6090", 2010
2009
(2 publications)Book Chapters
2013
(2 publications)- Lemos, R.d. and Giese, H. and Muller, H. and Shaw, M. , "Software Engineering for Self-adaptive Systems: A Second Roadmap Paper", in Software Engineering for Self-Adaptive Systems II, LNCS 7475, vol. 7475, pp. 1-27, 2013
- Andersson, J. and Baresi, L. and Bencomo, N. and Lemos, R.d. and Gorla, A. and Inverardi, P. and Vogel, T. , "Software Engineering Processes for Self-adaptive Systems", in Software Engineering for Self-Adaptive Systems II, LNCS 7475, vol. 7475, pp. 51-75, 2013
2011
(1 publication)2009
(2 publications)- Cheng, B.H. and Lemos, R.d. and Giese, H. and Inverardi, P. and , J.M. , "Software Engineering for Self-Adaptive Systems: A Research Roadmap", in Software Engineering for Self-Adaptive Systems, vol. 5525, pp. 1-26, 2009
- Andersson, J. and Lemos, R.d. and Malek, S. and Weyns, D. , "Modeling Dimensions for Self-Adaptive Systems", in Software Engineering for Self-Adaptive Systems, vol. 5525, pp. 27-47, 2009