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
- Architecting dependable systems:
- architectural abstractions for fault tolerance;
- verification and validation of dependable software architectures;
- Software engineering for self-adaptive systems;
- Software development for safety-critical systems:
- application of formal methods,
- validation of formal models,
- integration of requirements analysis and safety analysis;
- Dependability and bioinspired computing;
- Specification and verification of hybrid and real-time systems;
- Application of game theory to software systems.
Studentships
- Fully funded (at home rates) PhD studentship on personalised services for ubiquitous systems. This is an industrial focussed PhD, working in close collaboration with a leading IT company. Full details can be found here . Closing date for applications is 29th of June 2010, and the studentship can start as soon as possible in 2010.
Research 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 .
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
- Journal of Universal Computer Science, Special Issue on Software Components, Architectures and Reuse
Books
- Architecting Dependable Systems VI.
Lecture Notes in Computer Science 5835.
Rogerio de Lemos, Jean-Charles Fabre, Cristina Gacek, Fabio Gadducci, Maurice ter Beek (Eds.).
Springer. 2009. -
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 V.
Lecture Notes in Computer Science 5135.
Rogerio de Lemos, Felicita Di Giandomenico, Cristina Gacek, Henry Muccini, Marlon Vieira (Eds.).
Springer. 2008. - Architecting Dependable Systems IV.
Lecture Notes in Computer Science 4615.
Rogerio de Lemos, Cristina Gacek, Alexander Romanovsky (Eds.).
Springer. 2007. - Architecting Dependable Systems III.
Lecture Notes in Computer Science 3549.
Rogerio de Lemos, Cristina Gacek, Alexander Romanovsky (Eds.).
Springer. 2005. - Architecting Dependable Systems II.
Lecture Notes in Computer Science 3069.
Rogerio de Lemos, Cristina Gacek, Alexander Romanovsky (Eds.).
Springer. 2004. - Architecting Dependable Systems.
Lecture Notes in Computer Science 2677.
Rogerio de Lemos, Cristina Gacek, Alexander Romanovsky (Eds.).
Springer. 2003.
Conferences and Workshops (OC, PC, SC)
- ICSE 2010 Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2010)
- 1st International Symposium on Architecting Critical Systems (ISARCS 2010) - Federated with CompArch 2010
- 6th International Conference on the Quality of Software Architectures (QoSA 2010) - Federated with CompArch 2010
- ICST 2010 Workshop on Validation and Verification of Dynamic Software Systems (ViDaS 2010)
- The 5th Dependable and Adaptive Distributed Systems (DADS) Track of the 25th ACM Symposium on Applied Computing (SAC 2010)
- European Conference on Software Architecture 2010 (ECSA 2010)
- International Workshop on Component and Service Interoperability (WCSI'10)
- Fourth Brazilian Symposium on Software Components, Architectures and Reuse (SBCARS 2010)
Past Conferences and Workshops (OC, PC, SC)
- The 11th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2009)
- Joint Working IEEE/IFIP Conference on Software Architecture 2009 (WICSA 2009)& European Conference on Software Architecture 2009 (ECSA 2009)
- WICSA/ECSA 2009 Workshop on Self-Organizing Architectures (SOAR 2009)
- Third IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2009)
- Fourth Latin-American Symposium on Dependable Computing (LADC 2009)
- Third Brazilian Symposium on Software Components, Architectures and Reuse (SBCARS 2009)
- DSN 2009 Workshop on Architecting Dependable Systems (WADS 2009)
- The 39th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2009)
- The 6th IEEE International Conference on Autonomic Computing (ICAC 2009)
- Fifth International Conference on the Quality of Software Architectures (QoSA 2009)
- ICSE 2009 Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2009)
- Second European Conference on Software Architecture (ECSA 2008)
- Second Brazilian Symposium on Software Components, Architectures and Reuse (SBCARS 2008)
- International Conference on Software and Data Technologies (ICSOFT 2008)
- DSN 2008 Workshop on Architecting Dependable Systems (WADS 2008)
- Seventh European Dependable Computing Conference (EDCC-7)
- ICSE 2008 Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2008)
- Working IEEE/IFIP Conference on Software Architecture 2008 (WICSA 2008)
- First European Conference on Software Architecture (ECSA 2007)
- Third Latin-American Symposium on Dependable Computing (LADC 2007)
- The 2007 International Symposium on Parallel and Distributed Processing and Applications (ISPA 2007)
- ESEC/FSE 2007 International Workshop on Engineering Fault Tolerant Systems (EFTS 2007)
- First Brazilian Symposium on Software Components, Architectures and Reuse (SBCARS 2007)
- The Second International Conference on Software Engineering Advances (ICSEA 2007)
- International Conference on Software and Data Technologies (ICSOFT 2007)
- Third International Workshop on the Role of Software Architecture for Testing and Analysis (ROSATEA 2007)
- ICSE 2007 Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2007)
- DSN 2007 Workshop on Architecting Dependable Systems (WADS 2007)
- IEEE Symposium on Computational Intelligence for Security and Defense Applications (CISDA 2007)
- Sixth Working IEEE/IFIP Conference on Software Architecture (WICSA 2007)
- Sixth European Dependable Computing Conference (EDDC-6)
- The 25th IEEE Symposium on Reliable Distributed Systems (SRDS 2006)
- Sixth Brazilian Workshop on Component-Based Software Development (WDBC 2006)
- Mexican International Conference on Computer Science (ENC 2006)
- Third European Workshop on Software Architecture (EWSA 2006)
- International Conference on Software Engineering Advances (ICSEA 2006)
- ICSE 2006 Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2006)
- ICSE 2006 Emerging Results
- ICSE 2006 Fifth International Workshop On Software Engineering For Large-Scale Multi-Agent Systems (SELMAS 2006)
- The International Conference of Hybrid Systems and Applications (ICHSA 2006)
- DSN 2006 Workshop on Architecting Dependable Systems (WADS 2006)
- EFTS 2006 International Workshop on Engineering of Fault-Tolerant Systems (EFTS 2006)
- ISSTA 2006 Workshop on the Role of Software Architecture for Testing and Analysis (ROSATEA 2006)
- The 26th International Conference on Distributed Computing Systems (ICDCS 2006)
- Second Latin-American Symposium on Dependable Computing (LADC 2005)
- Fifth Working IEEE/IFIP Conference on Software Architecture (WICSA 5)
- Fifth Brazilian Workshop on Component-Based Software Development (WDBC 2005)
- ICSE 2005 Workshop on Architecting Dependable Systems (WADS 2005)
- The Second Workshop on High Performance, Fault Adaptive, Large Scale Embedded Real-Time Systems (FALSE-II, 2005)
- ACM SIGSOFT Workshop on Self-Managed Systems (WOSS'04)
- 23rd Symposium on Reliable Distributed Systems (SRDS 2004)
- 4th Brazilian Workshop on Component-Based Software Development (WDBC 2004)
- ICSE/DSN 2004 Twin Workshops on Architecting Dependable Systems (WADS 2004)
- ICSE 2004 Third International Workshop on Software Engineering for Large-Scale Multi-Agent Systems (SELMAS 2004)
- First Latin-American Symposium on Dependable Computing (LADC 2003)
- Lecture Notes in Computer Science 2847.
Rogerio de Lemos, Taisy Silva Weber, Joao Batista Camargo Jr. (Eds.).
Springer. 2003
- Lecture Notes in Computer Science 2847.
- Sixth International Symposium on Autonomous Decentralized Systems (ISADS 2003)
- ICSE 2003 Workshop on Software Architectures for Dependable Systems (WADS 2003)
- ICSE 2003 International Workshop on Software Engineering for Large-Scale Multi-Agent Systems (SELMAS 2003)
- Seventh International Symposium on Formal Techniques in Real-Time and Fault Tolerant Systems (FTRTFT 2002)
- Fourth European Dependable Computing Conference (EDDC-4)
- ICSE 2002 Workshop on Architecting Dependable Systems (WADS 2002)
- Seventh IEEE International Symposium on High Assurance Systems Engineering (HASE 2002)
- Third Workshop on Tests and Fault Tolerance (WTF 2002)
- Sixth IEEE International Symposium on High Assurance Systems Engineering (HASE'2001)
- Workshop on Engineering e-Business Systems 2001
- IX Brazilian Symposium on Fault-Tolerant Computing (SCTF)
Postgraduate Topics
Brief description of possible projects.