| 2008 |
|---|
| 9 | EE | Christian Herde,
Andreas Eggers,
Martin Fränzle,
Tino Teige:
Analysis of Hybrid Systems Using HySAT.
ICONS 2008: 196-201 |
| 2007 |
|---|
| 8 | | Marc Herbstritt,
Bernd Becker,
Erika Ábrahám,
Christian Herde:
On Variable Selection in SAT-LP-based Bounded Model Checking of Linear Hybrid Automata.
DDECS 2007: 391-396 |
| 7 | EE | Martin Fränzle,
Christian Herde:
HySAT: An efficient proof engine for bounded model checking of hybrid systems.
Formal Methods in System Design 30(3): 179-198 (2007) |
| 2006 |
|---|
| 6 | EE | Erika Ábrahám,
Tobias Schubert,
Bernd Becker,
Martin Fränzle,
Christian Herde:
Parallel SAT Solving in Bounded Model Checking.
FMICS/PDMC 2006: 301-315 |
| 5 | EE | Alexander Metzner,
Martin Fränzle,
Christian Herde,
Ingo Stierand:
An optimal approach to the task allocation problem on hierarchical architectures.
IPDPS 2006 |
| 4 | EE | Alexander Metzner,
Christian Herde:
RTSAT-- An Optimal and Efficient Approach to the Task Allocation Problem in Distributed Architectures.
RTSS 2006: 147-158 |
| 2005 |
|---|
| 3 | EE | Alexander Metzner,
Martin Fränzle,
Christian Herde,
Ingo Stierand:
Scheduling Distributed Real-Time Systems by Satisfiability Checking.
RTCSA 2005: 409-415 |
| 2 | EE | Martin Fränzle,
Christian Herde:
Efficient Proof Engines for Bounded Model Checking of Hybrid Systems.
Electr. Notes Theor. Comput. Sci. 133: 119-137 (2005) |
| 2003 |
|---|
| 1 | EE | Martin Fränzle,
Christian Herde:
Efficient SAT Engines for Concise Logics: Accelerating Proof Search for Zero-One Linear Constraint Systems.
LPAR 2003: 302-316 |
