Christian Herde
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
6
Active years
2003–2008
Best venue rank
B
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2008 | ATVA | SAT Modulo ODE: A Direct SAT Approach to Hybrid Systems. | Andreas Eggers, Martin Frnzle, Christian Herde |
| 2007 | DDECS | On Variable Selection in SAT-LP-based Bounded Model Checking of Linear Hybrid Automata. | Marc Herbstritt, Bernd Becker, Erika brahm, Christian Herde |
| 2006 | FMICS | Parallel SAT Solving in Bounded Model Checking. | Erika brahm, Tobias Schubert, Bernd Becker, Martin Frnzle, Christian Herde |
| 2006 | RTSS | RTSAT-- An Optimal and Efficient Approach to the Task Allocation Problem in Distributed Architectures. | Alexander Metzner, Christian Herde |
| 2005 | RTCSA | Scheduling Distributed Real-Time Systems by Satisfiability Checking. | Alexander Metzner, Martin Frnzle, Christian Herde, Ingo Stierand |
| 2003 | LPAR | Efficient SAT Engines for Concise Logics: Accelerating Proof Search for Zero-One Linear Constraint Systems. | Martin Frnzle, Christian Herde |