2005 |
10 | EE | Amel Mammar,
Sophie Ramel,
Bertrand Grégoire,
Michael Schmitt II,
Nicolas Guelfi:
Efficient: A Toolset for Building Trusted B2B Transactions.
CAiSE 2005: 430-445 |
2004 |
9 | EE | Ji Hu,
Christoph Meinel,
Michael Schmitt II:
Tele-lab IT security: an architecture for interactive lessons for security education.
SIGCSE 2004: 412-416 |
2003 |
8 | | Ji Hu,
Michael Schmitt II,
Christian Willems,
Christoph Meinel:
A Tutoring System for IT Security.
World Conference on Information Security Education 2003: 51-60 |
7 | | Michael Schmitt II,
Christoph Meinel:
Design and Implementation of a PHP-based Web Server for the Tele-Lab IT Security
Universität Trier, Mathematik/Informatik, Forschungsbericht 03-06: (2003) |
2000 |
6 | | Michael Schmitt II:
The Development of a Parser for SDL - 2000.
FBT 2000: 131-142 |
1999 |
5 | | Jens Grabowski,
Beat Koch,
Michael Schmitt II,
Dieter Hogrefe:
SDL and MSC based test generation for distributed test architectures.
SDL Forum 1999: 389-404 |
1998 |
4 | | Michael Schmitt II,
Anders Ek,
Beat Koch,
Jens Grabowski,
Dieter Hogrefe:
Autolink - Putting SDL-Based Test Generation Into Practice.
IWTCS 1998: 227-244 |
3 | EE | Beat Koch,
Jens Grabowski,
Dieter Hogrefe,
Michael Schmitt II:
Autolink: A Tool for Automatic Test Generation from SDL Specifications.
WIFT 1998: 114- |
1997 |
2 | | Michael Schmitt II,
Jens Grabowski,
Dieter Hogrefe,
Beat Koch:
-Autolink- A Tool for the Automatic and Semi-Automatic Test Generation.
FBT 1997: 333-341 |
1 | | Anders Ek,
Jens Grabowski,
Dieter Hogrefe,
Richard Jerome,
Beat Koch,
Michael Schmitt II:
Towards the industrial use of validation techniques and automatic test generation methods for SDL specifications.
SDL Forum 1997: 245-260 |