Alexander Krupp
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
3
Active years
2003–2010
Best venue rank
A
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2010 | DATE | A systematic approach to the test of combined HW/SW systems. | Alexander Krupp, Wolfgang Mller |
| 2006 | DATE | Classification trees for random tests and functional coverage. | Alexander Krupp, Wolfgang Mller |
| 2005 | GI | Die Klassifikationsbaummethode fr eingebettete Systeme mit Testmustern fr nichtkontinuierliche Reglerelemente. | Alexander Krupp, Wolfgang Mller |
| 2004 | DATE | Formal Refinement and Model Checking of an Echo Cancellation Unit. | Alexander Krupp, Wolfgang Mller, Ian Oliver |
| 2003 | FDL | Combining Formal Refinement and Model Checking for Real-Time Systems Verification. | Alexander Krupp, Wolfgang Mller |