Michael Gerz Home Page Coauthor index DBLP Vis pubzone.org

Michael Schmitt II

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2005
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAmel Mammar, Sophie Ramel, Bertrand Grégoire, Michael Schmitt II, Nicolas Guelfi: Efficient: A Toolset for Building Trusted B2B Transactions. CAiSE 2005: 430-445
2004
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJi Hu, Christoph Meinel, Michael Schmitt II: Tele-lab IT security: an architecture for interactive lessons for security education. SIGCSE 2004: 412-416
2003
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJi Hu, Michael Schmitt II, Christian Willems, Christoph Meinel: A Tutoring System for IT Security. World Conference on Information Security Education 2003: 51-60
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael 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
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Schmitt II: The Development of a Parser for SDL - 2000. FBT 2000: 131-142
1999
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJens Grabowski, Beat Koch, Michael Schmitt II, Dieter Hogrefe: SDL and MSC based test generation for distributed test architectures. SDL Forum 1999: 389-404
1998
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Schmitt II, Anders Ek, Beat Koch, Jens Grabowski, Dieter Hogrefe: Autolink - Putting SDL-Based Test Generation Into Practice. IWTCS 1998: 227-244
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBeat Koch, Jens Grabowski, Dieter Hogrefe, Michael Schmitt II: Autolink: A Tool for Automatic Test Generation from SDL Specifications. WIFT 1998: 114-
1997
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Schmitt II, Jens Grabowski, Dieter Hogrefe, Beat Koch: -Autolink- A Tool for the Automatic and Semi-Automatic Test Generation. FBT 1997: 333-341
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnders 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

Coauthor Index

1Anders Ek [1] [4]
2Jens Grabowski [1] [2] [3] [4] [5]
3Bertrand Grégoire [10]
4Nicolas Guelfi [10]
5Dieter Hogrefe [1] [2] [3] [4] [5]
6Ji Hu [8] [9]
7Richard Jerome [1]
8Beat Koch [1] [2] [3] [4] [5]
9Amel Mammar [10]
10Christoph Meinel [7] [8] [9]
11Sophie Ramel [10]
12Christian Willems [8]

Colors in the list of coauthors

Copyright © Mon Nov 9 16:52:13 2009 by Michael Ley (ley@uni-trier.de)