Publications

My publications are available from the Computer Science department publications repository.

• List of Selected Publications

Research Interests

I belong to the following research groups:

• Information Systems Security Group
• Programming Languages and Systems Group

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 .
• Poster: Artificial Immune Systems for Data Fusion: A Novel Biologically Inspired Approach.
• "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.
• CaberNet Vision of RTD.
• "Exception Handling in Dependable Software Architectures". The Nuffield Foundation. Started May 2001, duration of two years.
• Poster: Exception Handling in the Software Lifecycle.
• "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.
• Poster: Safety Analysis of the Destruction System of a Sounding Rocket.

Journals

• Journal of Universal Computer Science, Special Issue on Software Components, Architectures and Reuse

• Journal of Systems and Software, Special Issue on Architecting Dependable Systems

• JBCS Special Issue on Dependable Computing

• Nonlinear Analysis: Hybrid Systems

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)
  • Panel: Agent Dependability in Open Systems
• 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
• 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)
  • Panel: Dependability and QoS in Large-Scale MASs
• Seventh International Symposium on Formal Techniques in Real-Time and Fault Tolerant Systems (FTRTFT 2002)
• Fourth European Dependable Computing Conference (EDDC-4)
  • Panel: Novel Approaches for Dependable Computing
• 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)
  • IX SCTF Student Forum

Postgraduate Topics

Brief description of possible projects.

Other Interests

I am collecting contributions on the dependability terminology currently being used in Portuguese:

• Confiança no Funcionameto: Terminologia em Português