Akademische Dienste

 Mitarbeiter
 Lehre
 Publikationen
 Forschung
 Offene Stellen
 Akademische Dienste
 Auszeichnungen
 Ankündigungen
 Impressum

 Certified Tester
   _______________

 Institut für Informatik
 Universität Göttingen

Interne Akademische Dienste

  • Fakultätsrat der Mathematischen Fakultät
  • Vorstand des Instituts für Informatik
    • Jens Grabowski
      • Neubaubeauftragter (SS 2007 - SS 2009)
      • Mitglied und stellvertretender Direktor (SS 2004 - SS 2009)
    • Helmut Neukirchen
      • Stellvertretendes Mitglied (SS 2006)
  • Beauftragter für das externe Praktikum
  • Prüfungskommission Informatik
  • Studienkommission Informatik
  • Berufungskommission
    • Helmut Neukirchen
      • W3-Universitätsprofessur für Informatik (WS 2007/2008)
    • Edith Werner
      • W2-Professur für Internettechnologie (SS 2006, WS 2006/2007)
  • Zulassungskommission für den Masterstudiengang "Angewandte Informatik"

Externe Akademische Dienste

  • Vorsitz Programmkommitee
    • Jens Grabowski
      • International Workshop on Formal Approaches to Testing of Software (FATES) (2004)
      • GI/ITG Fachgespräch "Formale Beschreibungstechniken für verteilte Systeme (FBT2000)" (2000)
  • Programmkomitee
    • Jens Grabowski
      • International Conference on Advances in System Testing and Validation Lifecycle (VALID) (2009)
      • International Workshop "Model-Based Verification & Validation" (in conjunction with the 3rd IEEE International Conference on Secure Software Integration and Reliability Improvement (SSIRI)) (2009)
      • MOTES - Modellbasiertes Testen (Workshop im Rahmen Rahmen der Jahrestagung der Gesellschaft für Informatik) (2008, 2009)
      • International Conference on Software Testing, Verification and Validation (ICST) (2008, 2009)
      • Testmethoden für Software - Von der Forschung in die Praxis (Workshop im Rahmen der GI-Tagung "Software Engineering") (2008)
      • Internationale Konferenz "SDL Forum" (2001, 2003, 2005, 2007, 2009)
      • TTCN-3 User Conference (2004 - 2009)
      • International Conference on Testing of Communicating Systems (TESTCOM) and Workshop on Formal Approaches to Testing of Software (FATES) (2007 - 2009)
      • Workshop on System Analysis and Modelling (früher: SDL and MSC Workshop) (SAM) (2006)
      • Workshop on Integrated-reliability with Telecommunications and UML Languages (WITUL) (2004)
      • International Workshop on Integration of Testing Methodologies (ITM) (2004)
      • International Conference on Testing Communicating Systems (TestCom) (2002 - 2006)
      • International Workshop on Formal Approaches to Testing of Software (FATES) (2001 - 2003, 2005, 2006)
      • Workshop on SDL and MSC (SAM) (2000)
    • Helmut Neukirchen
      • International Conference on Advances in System Testing and Validation Lifecycle (VALID) (2009)
    • Thomas Rings
      • International Conference on Advances in System Testing and Validation Lifecycle (VALID) (2009)
  • Gutachter für Zeitschriften
    • Jens Grabowski
      • Software Testing, Verification and Reliability (STVR) (2008)
      • Science of Computer Programming (SCP) (2008)
      • Fundamenta Informaticae (2008)
      • COMPUTER NETWORKS - The International Journal of Computer and Telecommunications Networking (2003, 2006 - 2008)
      • International Journal on Software Tools for Technology Transfer (STTT) (2007, 2008)
      • IEEE Transactions on Parallel and Distributed Systems (2006)
      • Automated Software Engineering (2006)
      • IEEE Transactions on Software Engineering (2005)
      • Information Processing Letters (2005)
      • IEEE Transactions on Knowledge and Data Engineering (2003)
    • Helmut Neukirchen
      • Journal of Software Maintenance and Evolution: Research and Practice (JSME) (2007)
      • International Journal on Software Tools for Technology Transfer (STTT) (2007)
    • Benjamin Zeiß
      • International Journal on Software Tools for Technology Transfer (STTT) (2007)
    • Edith Werner
      • International Journal on Software Tools for Technology Transfer (STTT) (SS 2007)
  • Gutachter für Konferenzen und Workshops
    • Helmut Neukirchen
      • 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 (früher: SDL and MSC Workshop) (SAM) (2006)
      • Internationale Konferenz "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)
    • Benjamin Zeiß
      • Internationale Konferenz "SDL Forum" (2009)
      • International Conference on Testing of Communicating Systems (TESTCOM) and Workshop on Formal Approaches to Testing of Software (FATES) (2008, 2009)
      • International Conference on Software Testing, Verification and Validation (ICST) (2008, 2009)
      • Workshop on Model-Based Testing (MOTES) (2008)
      • Testmethoden für Software - Von der Forschung in die Praxis (Workshop im Rahmen der GI-Tagung "Software Engineering") (2008)
      • International Conference on Testing Communicating Systems (TestCom) (2007)
      • International Workshop on Formal Approaches to Testing of Software (FATES) (2006)
    • Edith Werner
      • Workshop on System Analysis and Modelling (früher: SDL and MSC Workshop) (SAM) (2006)
      • International Conference on Testing Communicating Systems (TestCom) (2005 - 2007)
      • Internationale Konferenz "SDL Forum" (2005)
      • International Workshop on Formal Approaches to Testing of Software (FATES) (2004 - 2006)
      • Workshop on Integrated-reliability with Telecommunications and UML Languages (WITUL) (2004)
    • Steffen Herbold
      • International Conference on Software Testing, Verification and Validation (ICST) (2009)
      • International Conference on Advances in System Testing and Validation Lifecycle (VALID) (2009)
      • International Conference on Testing of Communicating Systems (TESTCOM) and Workshop on Formal Approaches to Testing of Software (FATES) (2009)
      • Internationale Konferenz "SDL Forum" (2009)
    • Thomas Rings
      • International Conference on Software Testing, Verification and Validation (ICST) (2009)
      • International Conference on Network Protocols (ICNP) (2009)
      • Software-Engineering-Konferenz (2008)
  • Gutachter für Bücher
    • Jens Grabowski
      • Springer Verlag (2007)
      • dPunkt Verlag (2004)
    • Helmut Neukirchen
      • H. Wolf, S. Roock, M. Lippert: eXtreme Programming, dpunkt.verlag (2005)
      • J. Link: Softwaretests mit JUnit, J. Link: Softwaretests mit JUnit, dpunkt.verlag (2004)
  • Konferenzorganisation