Home > Publications > Publikationen

Publications of Alexander Krupp


Our publications from 2010:



Radkowski, Rafael; Krupp, Alexander: Systematic Testing of Intelligent Mechatronic Systems in a Virtual Environment. In: Proceedings of the ASME 2010 International Design Engineering Technical Conferences & Computers and Information in Engineering Conference, August 15-18, 2010, Montreal, Quebec, Canada, Aug 2010 ASME International Design Engineering Technical Conferences & Computers and Information in Engineering Conference (more)

Bol, Alexander; Müller, Wolfgang; Krupp, Alexander: Eine strukturierte Methode zur Generierung von SystemVerilog-Testumgebungen aus textuellen Anforderungsbeschreibungen. In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Dresden, Germany, Mar 2010 MBMV 2010 (more)


Our publications from 2009:



Krupp, Alexander; Müller, Wolfgang: Systematic Model-in-the-Loop Test of Embedded Control Systems. In: Proceedings of IESS'09, Friedrichshafen, Germany, Sep 2009 IFIP WG 10.5, Springer Verlag LNCS (more)

Dell'Aere, Alessandro; Hirsch, Martin; Klöpper, Benjamin; Koester, Markus; Krupp, Alexander; Krüger, Martin; Müller, Thomas; Oberthür, Simon; Pook, Sebastian; Priesterjahn, Claudia; Romaus, Christoph; Schmidt, Alexander; Sondermann-Wölke, Christoph; Tichy, Matthias; Voecking, Henner; Zimmer, Detmar: Verlässlichkeit selbstoptimierender Systeme. Potenziale nutzen und Risiken vermeiden. , number 235, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2009 (more)


Our publications from 2008:



Radkowski, Rafael; Krupp, Alexander: Ein Ansatz für Augmented Reality-basiertes systematisches Testen eingebetteter Systeme. In: Prof. Dr.-Ing. Dr.-Ing. E.h. Michael Schenk (Hrsg): 11. IFF-Wissenschaftstage, Virtual Reality und Augmented Reality zum Planen, Testen und Betreiben technischer Systeme, 25.-26. Juni 2008, Magdeburg, 2008 (more)

Grossmann, Jürgen; Fey, Ines; Krupp, Alexander; Conrad, Mirko; Wewetzer, Christian; Müller, Wolfgang: TestML – A Test Exchange Language for Model-based Testing of Embedded Software. Proceedings of the ASWSD06 LNCS 4922 2008 (more)


Our publications from 2007:



Grossmann, Jürgen; Fey, Ines; Conrad, Mirko; Krupp, Alexander; Müller, Wolfgang; Wewetzer, Christian: TestML - A Test Exchange Language for Model-based Testing of Embedded Software. In: Proceedings of Automotive Software Workshop '06, Oct. 2007 , Oct 2007 (more)

Krupp, Alexander; Müller, Wolfgang: Systematic Testbench Specification for Constrained Randomized Test and Functional Coverage. In: 21st European Conference on Modelling and Simulation ECMS 2007, Prague, Czech Republic, June 2007 (more)

Zabel, Henning; Rettberg, Achim; Krupp, Alexander: Approach for formal Verification of a Bit-Serial pipelined Architecture. In: Embedded System Design: Topics Techniques and Trends, pp. 47-56, IRWINE(CA), USA, May 30 - June 1, 2007, Springer-Verlag (more)

Krupp, Alexander; Müller, Wolfgang: Systematic Testbench Specification for Constrained Randomized Test and Functional Coverage. In: 21st EUROPEAN CONFERENCE ON MODELLING AND SIMULATION ECMS 2007, Prague, Czech Republic, 2007 (more)


Our publications from 2006:



Grossmann, Jürgen; Conrad, Mirko; Fey, Ines; Krupp, Alexander; Lamberg, Klaus; Wewetzer, Christian: TestML - A Test Exchange Language for Model-based Testing of Embedded Software. In: Automotive Software Workshop , San Diego, Mar 25 - 26, 2006 (more)

Krupp, Alexander; Müller, Wolfgang: Classification Trees for Random Test and Functional Coverage. In: Design, Automation and Test in Europe (DATE 2006), Munich, Germany, Mar 7 - 11, 2006 (more)

Conrad, Mirko; Krupp, Alexander: An Extension of the Classification-Tree Method for Embedded Systems for the Description of Events. In: Second Workshop on Model Based Testing, Vienna, Austria, Jan 2006 (more)


Our publications from 2005:



Krupp, Alexander; Müller, Wolfgang: Die Klassifikationsbaummethode für eingebettete Systeme mit Testmustern für nichtkontinuierliche Reglerelemente. In: Informatik 2005 - Informatik Live! (Bd. 2), GI-Edition Lecture Notes in Informatics (LNI), number P-68 , Bonn, Sep 19 - 22, 2005 GI LNI (more)


Our publications from 2004:



Krupp, Alexander; Lundkvist, O.; Schattkowsky, Tim; Snook, C.: Adaptive Cruise Controller Case Study: Visualisation, Validation and Temporal Verification. In: UML-B System Specification for Proven Electronic Design, 9 Dec 2004, Kluwer Academic Publishers (more)

Krupp, Alexander; Müller, Wolfgang; Oliver, I.: The Echo Cancellation Unit Case Study. In: UML-B System Specification for Proven Electronic Design., 4 Nov 2004, Kluwer Academic Publishers (more)

Krupp, Alexander; Müller, Wolfgang; Oliver, I.: Formal Refinement and Model Checking of An Echo Cancellation Unit. In: Tagungsband des DATE04 Designers' Forum, Paris, Los Alamitos, USA, 4 Nov 2004, IEEE CS Press (more)

Krupp, Alexander; Müller, Wolfgang; Oliver, I.: Combining Formal Refinement and Model Checking for Analysis of Realtime Systems. In: Grimm, Ch. (eds.) Languages for System Specification - Selected Contributions on UML, SystemC, System Verilog, Mixed-Signal Systems, and Property Specifications from FDL'03 Kluwer Academic Publishers, Dordrecht, 4 Nov 2004 (more)

Krupp, Alexander; Müller, Wolfgang: Refinement of Finite State Machines with Complementary Model Checking. In: UML-B System Specification for Proven Electronic Design, 4 Nov 2004, Kluwer Academic Publishers (more)


Our publications from 2003:



Krupp, Alexander; Müller, Wolfgang: Formale Verfeinerung und Modelchecking von zeitbehafteten endlichen Automaten.. In: Proceedings of "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen", Bremen, 1 Mar 2003, Shaker Verlag (more)