Search the dblp DataBase

Publications of Author

1. Alexander Krupp, Wolfgang Mueller
   Classification trees for random tests and functional coverage. [Citation Graph (0, 0)][DBLP]
   DATE, 2006, pp:1031-1032 [Conf]
   
2. Alexander Krupp, Wolfgang Mueller, Ian Oliver
   Formal Refinement and Model Checking of an Echo Cancellation Unit. [Citation Graph (0, 0)][DBLP]
   DATE, 2004, pp:102-107 [Conf]
   
3. Alexander Krupp, Wolfgang Mueller
   Die Klassifikationsbaummethode für eingebettete Systeme mit Testmustern für nichtkontinuierliche Reglerelemente. [Citation Graph (0, 0)][DBLP]
   GI Jahrestagung (2), 2005, pp:191-195 [Conf]
   
4. Mirko Conrad, Alexander Krupp
   An Extension of the Classification-Tree Method for Embedded Systems for the Description of Events. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:164, n:4, pp:3-11 [Journal]
   
5. Henning Zabel, Achim Rettberg, Alexander Krupp
   Approach for a Formal Verification of a Bit-serial Pipelined Architecture. [Citation Graph (0, 0)][DBLP]
   IESS, 2007, pp:47-56 [Conf]
   
6. 
   A systematic approach to the test of combined HW/SW systems. [Citation Graph (, )][DBLP]
   
   
7. 
   TestML - A Test Exchange Language for Model-Based Testing of Embedded Software. [Citation Graph (, )][DBLP]
   
   
8. 
   Systematic Model-in-the-Loop Test of Embedded Control Systems. [Citation Graph (, )][DBLP]
   
   
9. 
   Combining Formal Refinement and Model Checking for Real-Time Systems Verification. [Citation Graph (, )][DBLP]