Efficient SAT Engines for Concise Logics: Accelerating Proof Search for Zero-One Linear Constraint Systems. - Martin Fränzle; Christian Herde (LPAR, 2003)

Bounded Model Checking and Inductive Verification of Hybrid Discrete-continuous Systems. - Bernd Becker 001; Markus Behle; Friedrich Eisenbrand; Martin Fränzle; Marc Herbstritt; Christian Herde; Jörg Hoffmann 001; Daniel Kröning; Bernhard Nebel; Ilia Polian; Ralf Wimmer 001 (MBMV, 2004)

Efficient Proof Engines for Bounded Model Checking of Hybrid Systems. - Martin Fränzle; Christian Herde (FMICS, 2004)

Scheduling Distributed Real-Time Systems by Satisfiability Checking. - Alexander Metzner; Martin Fränzle; Christian Herde; Ingo Stierand (RTCSA, 2005)

An optimal approach to the task allocation problem on hierarchical architectures. - Alexander Metzner; Martin Fränzle; Christian Herde; Ingo Stierand (IPDPS, 2006)

RTSAT– An Optimal and Efficient Approach to the Task Allocation Problem in Distributed Architectures. - Alexander Metzner; Christian Herde (RTSS, 2006)

On Variable Selection in SAT-LP-based Bounded Model Checking of Linear Hybrid Automata. - Marc Herbstritt; Bernd Becker 001; Erika Ábrahám; Christian Herde (DDECS, 2007)

HySAT: An efficient proof engine for bounded model checking of hybrid systems. - Martin Fränzle; Christian Herde (Formal Methods Syst. Des., 2007)

Efficient Solving of Large Non-linear Arithmetic Constraint Systems with Complex Boolean Structure. - Martin Fränzle; Christian Herde; Tino Teige; Stefan Ratschan; Tobias Schubert 001 (J. Satisf. Boolean Model. Comput., 2007)

SAT Modulo ODE: A Direct SAT Approach to Hybrid Systems. - Andreas Eggers; Martin Fränzle; Christian Herde (ATVA, 2008)

Analysis of Hybrid Systems Using HySAT. - Christian Herde; Andreas Eggers; Martin Fränzle; Tino Teige (ICONS, 2008)

Parallel SAT Solving in Bounded Model Checking. - Erika Ábrahám; Tobias Schubert 001; Bernd Becker 001; Martin Fränzle; Christian Herde (J. Log. Comput., 2011)

Efficient solving of large arithmetic constraint systems with complex Boolean structure: proof engines for the analysis of hybrid discrete-continuous systems. - Christian Herde (2011)