|
|
|
Internal Academic Services
- Board of the faculty of Mathematics
- Member (SS 2005 - WS 2008/2009)
- Board of the Institute for Informatics
- Substitute member (SS 2006)
- Comissary for the industry internship
- Substitutional comissary (WS 2003/2004 - SS 2008)
- Commission of examination of the Computer Science programme
- Substitute member (SS 2006 - WS 2007/2008)
- Commission of teaching of the
Computer Science programme
- Substitute member (SS 2006 - WS 2007/2008)
- Appointments committee
- Full professorship (W3) Computer Science (WS 2007/2008)
External Academic Services
- Programme committee
- International Conference on Advances in System Testing and Validation Lifecycle (VALID) (2009)
- Reviewer for journals
- Journal of Software Maintenance and Evolution: Research and Practice (JSME)
(2007)
- International Journal on Software Tools for Technology Transfer (STTT) (2007)
- Reviewer for conferences and workshops
- International Conference on Software Testing,
Verification and Validation (ICST) (2008)
- International Conference on Testing of Communicating Systems and International Workshop on Formal Approaches to Testing of Software (TestCom/FATES) (2007)
- International Conference on Testing Communicating Systems (TestCom) (2001 - 2003, 2005, 2006)
- International Workshop on Formal Approaches to Testing of Software (FATES) (2003 - 2006)
- Workshop on System Analysis and Modelling
(formerly SDL and MSC Workshop) (SAM) (2006)
- International conference "SDL Forum" (2001, 2003, 2005)
- Workshop on Integrated-reliability with Telecommunications and UML Languages (WITUL) (2004)
- International Conference on Formal Techniques for Networked and Distributed Systems (FORTE) (2001, 2003)
- International Conference on Software Engineering and Applications (SEA) (2002)
- International Multi-Conference on Applied Informatics (AI) (2002)
- Workshop on Object-oriented Modeling of Embedded Real-time Systems (OMER) (2001)
- Reviewer for books
- H. Wolf, S. Roock, M. Lippert: eXtreme Programming, dpunkt.verlag (2005)
- J. Link: Softwaretests mit JUnit, J. Link: Softwaretests mit JUnit, dpunkt.verlag (2004)
- Conference organisation
- Organisation Committee TTCN-3 User Conference (2006)
|
|