Christian Herde

Publication Activity (10 Years)

Years Active: 2003-2011
Publications (10 Years): 0

Carl von Ossietzky University of Oldenburg (PHD)

Education History

Carl von Ossietzky University of Oldenburg

PHD

Publications

Erika Ábrahám, Tobias Schubert, Bernd Becker, Martin Fränzle, Christian Herde
Parallel SAT Solving in Bounded Model Checking. J. Log. Comput. 21 (1) (2011)
Christian Herde, Andreas Eggers, Martin Fränzle, Tino Teige
Analysis of Hybrid Systems Using HySAT. ICONS (2008)
Andreas Eggers, Martin Fränzle, Christian Herde
SAT Modulo ODE: A Direct SAT Approach to Hybrid Systems. ATVA (2008)
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)
Martin Fränzle, Christian Herde, Tino Teige, Stefan Ratschan, Tobias Schubert
Efficient Solving of Large Non-linear Arithmetic Constraint Systems with Complex Boolean Structure. J. Satisf. Boolean Model. Comput. 1 (3-4) (2007)
Martin Fränzle, Christian Herde
HySAT: An efficient proof engine for bounded model checking of hybrid systems. Formal Methods Syst. Des. 30 (3) (2007)
Alexander Metzner, Martin Fränzle, Christian Herde, Ingo Stierand
An optimal approach to the task allocation problem on hierarchical architectures. IPDPS (2006)
Alexander Metzner, Christian Herde
RTSAT-- An Optimal and Efficient Approach to the Task Allocation Problem in Distributed Architectures. RTSS (2006)
Erika Ábrahám, Tobias Schubert, Bernd Becker, Martin Fränzle, Christian Herde
Parallel SAT Solving in Bounded Model Checking. FMICS/PDMC (2006)
Alexander Metzner, Martin Fränzle, Christian Herde, Ingo Stierand
Scheduling Distributed Real-Time Systems by Satisfiability Checking. RTCSA (2005)
Martin Fränzle, Christian Herde
Efficient Proof Engines for Bounded Model Checking of Hybrid Systems. Electron. Notes Theor. Comput. Sci. 133 (2005)
Bernd Becker, Markus Behle, Friedrich Eisenbrand, Martin Fränzle, Marc Herbstritt, Christian Herde, Jörg Hoffmann, Daniel Kröning, Bernhard Nebel, Ilia Polian, Ralf Wimmer
Bounded Model Checking and Inductive Verification of Hybrid Discrete-continuous Systems. MBMV (2004)
Martin Fränzle, Christian Herde
Efficient SAT Engines for Concise Logics: Accelerating Proof Search for Zero-One Linear Constraint Systems. LPAR (2003)

Christian Herde.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Christian Herde