Michael Schmitt

Publication Activity (10 Years)

Years Active: 1997-2005
Publications (10 Years): 0

University of Göttingen (PHD)

Education History

University of Göttingen

PHD

Publications

Amel Mammar, Sophie Ramel, Bertrand Grégoire, Michael Schmitt, Nicolas Guelfi
Efficient: A Toolset for Building Trusted B2B Transactions. CAiSE (2005)
Ji Hu, Christoph Meinel, Michael Schmitt
Tele-lab IT security: an architecture for interactive lessons for security education. SIGCSE (2004)
Michael Schmitt, Christoph Meinel
Design and Implementation of a PHP-based Web Server for the Tele-Lab IT Security Universität Trier, Mathematik/Informatik, Forschungsbericht (2003)
Ji Hu, Michael Schmitt, Christian Willems, Christoph Meinel
A Tutoring System for IT Security. World Conference on Information Security Education (2003)
Michael Schmitt
The Development of a Parser for SDL - 2000. FBT (2000)
Jens Grabowski, Beat Koch, Michael Schmitt, Dieter Hogrefe
SDL and MSC based test generation for distributed test architectures. SDL Forum (1999)
Michael Schmitt, Anders Ek, Beat Koch, Jens Grabowski, Dieter Hogrefe
Autolink - Putting SDL-Based Test Generation Into Practice. IWTCS (1998)
Beat Koch, Jens Grabowski, Dieter Hogrefe, Michael Schmitt
Autolink: A Tool for Automatic Test Generation from SDL Specifications. WIFT (1998)
Anders Ek, Jens Grabowski, Dieter Hogrefe, Richard Jerome, Beat Koch, Michael Schmitt
Towards the industrial use of validation techniques and automatic test generation methods for SDL specifications. SDL Forum (1997)
Michael Schmitt, Jens Grabowski, Dieter Hogrefe, Beat Koch
-Autolink- A Tool for the Automatic and Semi-Automatic Test Generation. FBT (1997)

Michael Schmitt.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Michael Schmitt