 | 2007 |
|---|
| 7 |       | Henning Zabel,
Achim Rettberg,
Alexander Krupp:
Approach for a Formal Verification of a Bit-serial Pipelined Architecture.
IESS 2007: 47-56 |
| 2006 |
|---|
| 6 | | Juergen Grossmann,
Ines Fey,
Alexander Krupp,
Mirko Conrad,
Christian Wewetzer,
Wolfgang Müller:
TestML - A Test Exchange Language for Model-Based Testing of Embedded Software.
ASWSD 2006: 98-117 |
| 5 | | Alexander Krupp,
Wolfgang Müller:
Classification trees for random tests and functional coverage.
DATE 2006: 1031-1032 |
| 4 | | Mirko Conrad,
Alexander Krupp:
An Extension of the Classification-Tree Method for Embedded Systems for the Description of Events.
Electr. Notes Theor. Comput. Sci. 164(4): 3-11 (2006) |
| 2005 |
|---|
| 3 |  | Alexander Krupp,
Wolfgang Müller:
Die Klassifikationsbaummethode für eingebettete Systeme mit Testmustern für nichtkontinuierliche Reglerelemente.
GI Jahrestagung (2) 2005: 191-195 |
| 2004 |
|---|
| 2 | | Alexander Krupp,
Wolfgang Müller,
Ian Oliver:
Formal Refinement and Model Checking of an Echo Cancellation Unit.
DATE 2004: 102-107 |
| 2003 |
|---|
| 1 | | Alexander Krupp,
Wolfgang Müller:
Combining Formal Refinement and Model Checking for Real-Time Systems Verification.
FDL 2003: 515-525 |
