Dr. Thomas Ruroth

Consultation Hour: By special appointment via E-Mail

Research

  • Model-Evolution and Co-Evolution
  • Secure Information Flow in environments with access control and delegation
  • Development of secure systems
  • Refactoring for formal methods
  • Formal Methods

Current Projects

Former Projects

 

Organisation

 

Programmcomites

  • Workshop "Design for Future - DFF 2014"
  • Workshop "1st Collaborative Workshop on Evolution and Maintenance of Long-Living Systems - ELMS 2014"
  • Workshop "Modellbasierte und modellgetriebene Softwaremodernisierung - MMSM 2014"
  • Workshop "Design for Future - DFF 2013"
  • Central European Workshop on Services and their Composition (ZEUS 2013)

Workshoporganisation

  • Workshop "Design for Future - DFF 2014"
  • Workshop "Design for Future - DFF 2013"
  • Workshop "1st Collaborative Workshop on Evolution and Maintenance of Long-Living Systems - ELMS 2014"
  • Workshop "Modellbasierte und modellgetriebene Softwaremodernisierung - MMSM 2014"