Alexander Krupp

12 papers A 3C 1Unranked 8
YearRankTypeTitle / Venue / Authors
2010 A conf
A systematic approach to the test of combined HW/SW systems.
DATE
Alexander Krupp, Wolfgang Müller
2010 — conf
Eine strukturierte Methode zur Generierung von SystemVerilog-Testumgebungen aus textuellen Anforderungsbeschreibungen.
MBMV
Alexander Bol, Wolfgang Müller, Alexander Krupp
2010 — conf
Generation of Executable Testbenches from Natural Language Requirement Specifications for Embedded Real-Time Systems.
DIPES/BICC
Wolfgang Müller, Alexander Bol, Alexander Krupp, Ola Lundkvist
2009 — conf
Systematic Model-in-the-Loop Test of Embedded Control Systems.
IESS
Alexander Krupp, Wolfgang Müller
2007 — conf
Approach for a Formal Verification of a Bit-serial Pipelined Architecture.
IESS
Henning Zabel, Achim Rettberg, Alexander Krupp
2006 — conf
An Extension of the Classification-Tree Method for Embedded Systems for the Description of Events.
MBT
Mirko Conrad, Alexander Krupp
2006 A conf
Classification trees for random tests and functional coverage.
DATE
Alexander Krupp, Wolfgang Müller
2006 — conf
TestML - A Test Exchange Language for Model-Based Testing of Embedded Software.
ASWSD
Juergen Grossmann, Ines Fey, Alexander Krupp, Mirko Conrad, Christian Wewetzer, Wolfgang Müller
2005 — conf
Die Klassifikationsbaummethode für eingebettete Systeme mit Testmustern für nichtkontinuierliche Reglerelemente.
GI Jahrestagung (2)
Alexander Krupp, Wolfgang Müller
2004 A conf
Formal Refinement and Model Checking of an Echo Cancellation Unit.
DATE
Alexander Krupp, Wolfgang Müller, Ian Oliver
2003 C conf
Combining Formal Refinement and Model Checking for Real-Time Systems Verification.
FDL
Alexander Krupp, Wolfgang Müller
2003 — conf
Formale Verfeinerung und Modelchecking von zeitbehafteten endlichen Automaten.
MBMV
Alexander Krupp, Wolfgang Müller