| 2008 |
|---|
| 11 | EE | Andreas Eggers,
Martin Fränzle,
Christian Herde:
SAT Modulo ODE: A Direct SAT Approach to Hybrid Systems.
ATVA 2008: 171-185 |
| 10 | EE | Christian Herde,
Andreas Eggers,
Martin Fränzle,
Tino Teige:
Analysis of Hybrid Systems Using HySAT.
ICONS 2008: 196-201 |
| 2007 |
|---|
| 9 | | 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 |
| 8 | 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) |
| 7 | EE | Martin Fränzle,
Christian Herde,
Tino Teige,
Stefan Ratschan,
Tobias Schubert:
Efficient Solving of Large Non-linear Arithmetic Constraint Systems with Complex Boolean Structure.
JSAT 1(3-4): 209-236 (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 |
