Dr. Thomas Ruhroth
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
- Visual Privacy Management in User Centric Open Environments (VisiOn)
- SecVolution (Beyond One-Shot Security: Keeping Information Systems Secure through Environment-Driven Knowledge Evolution)
Former Projects
- MoDelSec (Modular Modeling of Delegation Security in Software Development)
- MoMo (Behavior preserving model transformations and refactorings for formal methods)
Organisation
- 2012 - ongoing: SPP contact for SPP 1953 and co-chair of GI workgroup "Langlebige Softwaresysteme (L2S2)"
- Member of GI workgroup "Formale Methoden und Software Engineering für Sichere Systeme (FoMSESS)"
- 2013: Member of PhD-examination committee of Frank Hellweg
- 2013: Member of PhD-examination committee of Cornelia Tadros
- 2013 - ongoing: Member of committee for quality improvement, Department of Computer Science
- 2013 - ongoing: Member of committee for teaching and studies, Department of Computer Science
- 2012: Member of professorial selection committee: Information Systems (W3)
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"