Combining Formal Refinement and Model Checking for Real-Time Systems Verification. - Alexander Krupp; Wolfgang Müller 003 (FDL, 2003)

Formale Verfeinerung und Modelchecking von zeitbehafteten endlichen Automaten. - Alexander Krupp; Wolfgang Müller 003 (MBMV, 2003)

Formal Refinement and Model Checking of an Echo Cancellation Unit. - Alexander Krupp; Wolfgang Müller 003; Ian Oliver (DATE, 2004)

Die Klassifikationsbaummethode für eingebettete Systeme mit Testmustern für nichtkontinuierliche Reglerelemente. - Alexander Krupp; Wolfgang Müller 003 (GI Jahrestagung (2), 2005)

TestML - A Test Exchange Language for Model-Based Testing of Embedded Software. - Juergen Grossmann; Ines Fey; Alexander Krupp; Mirko Conrad; Christian Wewetzer; Wolfgang Müller 003 (ASWSD, 2006)

Classification trees for random tests and functional coverage. - Alexander Krupp; Wolfgang Müller 003 (DATE, 2006)

An Extension of the Classification-Tree Method for Embedded Systems for the Description of Events. - Mirko Conrad; Alexander Krupp (MBT, 2006)

Approach for a Formal Verification of a Bit-serial Pipelined Architecture. - Henning Zabel; Achim Rettberg; Alexander Krupp (IESS, 2007)

Systematic Model-in-the-Loop Test of Embedded Control Systems. - Alexander Krupp; Wolfgang Müller 003 (IESS, 2009)

A verification plan for systematic verification of mechatronic systems. - Alfred Alexander Krupp (2009)

A systematic approach to the test of combined HW/SW systems. - Alexander Krupp; Wolfgang Müller 003 (DATE, 2010)

Generation of Executable Testbenches from Natural Language Requirement Specifications for Embedded Real-Time Systems. - Wolfgang Müller 003; Alexander Bol; Alexander Krupp; Ola Lundkvist (DIPES/BICC, 2010)

Eine strukturierte Methode zur Generierung von SystemVerilog-Testumgebungen aus textuellen Anforderungsbeschreibungen. - Alexander Bol; Wolfgang Müller 003; Alexander Krupp (MBMV, 2010)