Schmitt, M. (2003). Automatic Test Generation Based on Formal Specifications – Practical Procedures for Efficient State Space Exploration and Improved Representation of Test Cases. Dissertation, Georg-August-Universität Göttingen.
Ek, A., Grabowski, J., Hogrefe, D., Jerome, R., Koch, B., and Schmitt, M. (1997). Towards the Industrial Use of Validation Techniques and Automatic Test Generation Methods for SDL Specifications. In Cavalli, A. and Sarma, A., editors, SDL '97 Time for Testing. SDL, MSC and Trends — Proceedings of the Eighth SDL Forum, pages 245–259, Evry, France. Elsevier.
Grabowski, J., Koch, B., Schmitt, M., and Hogrefe, D. (1999). SDL and MSC Based Test Generation for Distributed Test Architectures. In Dssouli, R., von Bochmann, G., and Lahav, Y., editors, SDL '99 The next Millenium — Proceedings of the Nineth SDL Forum, pages 389–404, Montreal, Canada. Elsevier.
Hu, J., Schmitt, M., Willems, C., and Meinel, C. (2003). A Tutoring System for IT Security. In Irvine, C. and Armstrong, H., editors, Security Education and Critical Infrastructures — Proceedings of the Third Annual World Conference on Information Security Education (WISE-3), pages 51–60, Monterey, California. IFIP Working Group 11.8 and the Center for INFOSEC Studies and Research (CISR) at the Naval Postgraduate School, Kluwer Academic Publishers.
Koch, B., Grabowski, J., Hogrefe, D., and Schmitt, M. (1998). Autolink — A Tool for Automatic Test Generation from SDL Specifications. In Proceedings of the IEEE International Workshop on Industrial Strength Formal Specification Techniques (WIFT'98), Boca Raton, Florida.
Schmitt, M. (2000). The Development of a Parser for SDL-2000. In Grabowski, J. and Heymer, S., editors, Proceedings of the Tenth GI/ITG Technical Meeting on Formal Description Techniques for Distributed Systems, pages 131–142, Lübeck, Germany. Shaker Verlag.
Schmitt, M. and Ebner, M. (2003). The TTCN-3 module and template concepts revisited. In Testcom 2003 – Next Generation Testing for Next Generation Networks. IFIP International Conference on Testing of Communicating Systems, Sophia Antipolis, France. European Telecommunications Standards Institute and Georg-August-University Göttingen.
Schmitt, M., Ebner, M., and Grabowski, J. (2000). Test Generation with AUTOLINK and TESTCOMPOSER. In Graf, S., Jard, C., and Lahav, Y., editors, Proceedings of the Second Workshop on SDL and MSC, pages 218–232, Col de Porte, Grenoble, France.
Schmitt, M., Ek, A., Grabowski, J., Hogrefe, D., and Koch, B. (1998). Autolink — Putting SDL-based test generation into practice. In Petrenko, A. and Yevtushenko, N., editors, Testing of Communicating Systems. Proceedings of the IFIP TC6 11th International Workshop on Testing of Communicating Systems (IWTCS'98), volume 11, pages 227–243, Tomsk, Russia. Kluwer Academic Publishers.
Schmitt, M., Koch, B., Grabowski, J., and Hogrefe, D. (1997). Autolink — A Tool for the Automatic and Semi-Automatic Test Generation. In Wolisz, A., Schieferdecker, I., and Rennoch, A., editors, Proceedings of the Seventh GI/ITG Technical Meeting on Formal Description Techniques for Distributed Systems, pages 333–341, Berlin, Germany. GMD-Forschungszentrum Informationstechnik GmbH.
Grabowski, J., Rudolph, E., and Schmitt, M. (2001). Die Spezifikationssprachen MSC und SDL — Teil 1: Message Sequence Chart (MSC). at — Automatisierungstechnik, 49(12):A19–A22.
Grabowski, J., Rudolph, E., and Schmitt, M. (2002). Die Spezifikationssprachen MSC und SDL — Teil 2: Specification and Description Language (SDL). at — Automatisierungstechnik, 50(2):A1–A4.
Grabowski, J. and Schmitt, M. (2002). TTCN-3 — Eine Sprache für die Spezifikation und Implementierung von Testfällen. at — Automatisierungstechnik, 50(3):A5–A8.
Schmitt, M. (1996). Fehlererkennendes Parsing im Rahmen eines intelligenten Fremdsprachenlernsystems. Diplomarbeit, Universität Koblenz-Landau, Koblenz.
Schmitt, M. (2002). Tiger Teams – Hacker mit weißer Weste. WIK – Zeitschrift für die Sicherheit der Wirtschaft, (5):87–90.
Schmitt, M. and Koch, B. (2001). AUTOLINK User Manual. Telelogic AB, Malmö, Sweden.
Schmitt, M. and Meinel, C. (2002). Sicherheitsrisiken und Schwachstellenanalyse von IT-Systemen. Preprint 2002–10, Institut für Telematik e.V., Trier.
Schmitt, M., Noll, M., Müllenheim, G., Lentes, B., Vieten, M., Engel, T., and Meinel, C. (2002). Firewalls und Intrusion-Detection-Systeme. Technologien und Produkte. Studie, Institut für Telematik e.V., Trier.