Dr. Thomas P. Ruhroth
Address
University of Koblenz
Institute for Computer Science
Universitaetsstrasse 1
D-56070 Koblenz
Contact
- EMail: ruhroth at uni-koblenz.de
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
- 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"