Sebastian Kupferschmid
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
4
Active years
2005–2011
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2011 | TACAS | Abstractions and Pattern Databases: The Quest for Succinctness and Accuracy. | Sebastian Kupferschmid, Martin Wehrle |
| 2009 | TACAS | Transition-Based Directed Model Checking. | Martin Wehrle, Sebastian Kupferschmid, Andreas Podelski |
| 2008 | CAV | Faster Than Uppaal? | Sebastian Kupferschmid, Martin Wehrle, Bernhard Nebel, Andreas Podelski |
| 2008 | KI | Automatic Bidding for the Game of Skat. | Thomas Keller, Sebastian Kupferschmid |
| 2008 | TACAS | Fast Directed Model Checking Via Russian Doll Abstraction. | Sebastian Kupferschmid, Jrg Hoffmann, Kim Guldstrand Larsen |
| 2007 | TACAS | Uppaal/DMC- Abstraction-Based Heuristics for Directed Model Checking. | Sebastian Kupferschmid, Klaus Drger, Jrg Hoffmann, Bernd Finkbeiner, Henning Dierks, Andreas Podelski, Gerd Behrmann |
| 2005 | IJCAI | A Covering Problem for Hypercubes. | Jrg Hoffmann, Sebastian Kupferschmid |