Alexander Krupp

Publication Activity (10 Years)

Years Active: 2003-2010
Publications (10 Years): 0

Publications

Alexander Krupp, Wolfgang Müller
A systematic approach to the test of combined HW/SW systems. DATE (2010)
Wolfgang Müller, Alexander Bol, Alexander Krupp, Ola Lundkvist
Generation of Executable Testbenches from Natural Language Requirement Specifications for Embedded Real-Time Systems. DIPES/BICC (2010)
Alexander Bol, Wolfgang Müller, Alexander Krupp
Eine strukturierte Methode zur Generierung von SystemVerilog-Testumgebungen aus textuellen Anforderungsbeschreibungen. MBMV (2010)
Alexander Krupp, Wolfgang Müller
Systematic Model-in-the-Loop Test of Embedded Control Systems. IESS (2009)
Henning Zabel, Achim Rettberg, Alexander Krupp
Approach for a Formal Verification of a Bit-serial Pipelined Architecture. IESS (2007)
Alexander Krupp, Wolfgang Müller
Classification trees for random tests and functional coverage. DATE (2006)
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)
Mirko Conrad, Alexander Krupp
An Extension of the Classification-Tree Method for Embedded Systems for the Description of Events. Electron. Notes Theor. Comput. Sci. 164 (4) (2006)
Alexander Krupp, Wolfgang Müller
Die Klassifikationsbaummethode für eingebettete Systeme mit Testmustern für nichtkontinuierliche Reglerelemente. GI Jahrestagung (2) (2005)
Alexander Krupp, Wolfgang Müller, Ian Oliver
Formal Refinement and Model Checking of an Echo Cancellation Unit. DATE (2004)
Alexander Krupp, Wolfgang Müller
Formale Verfeinerung und Modelchecking von zeitbehafteten endlichen Automaten. MBMV (2003)
Alexander Krupp, Wolfgang Müller
Combining Formal Refinement and Model Checking for Real-Time Systems Verification. FDL (2003)