Christian Herde

发表

Efficient SAT Engines for Concise Logics: Accelerating Proof Search for Zero-One Linear Constraint Systems

Martin Fränzle, Christian Herde, M. Fränzle, 2003, LPAR.

SAT Modulo ODE: A Direct SAT Approach to Hybrid Systems

Martin Fränzle, Christian Herde, Andreas Eggers, 2008, ATVA.

Scheduling distributed real-time systems by satisfiability checking

Martin Fränzle, Ingo Stierand, Christian Herde, 2005, 11th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA'05).

Analysis of Hybrid Systems Using HySAT

Martin Fränzle, Christian Herde, Andreas Eggers, 2008, Third International Conference on Systems (icons 2008).

HySAT: An efficient proof engine for bounded model checking of hybrid systems

Martin Fränzle, Christian Herde, M. Fränzle, 2007, Formal Methods Syst. Des..

An optimal approach to the task allocation problem on hierarchical architectures

Martin Fränzle, Ingo Stierand, Christian Herde, 2006, Proceedings 20th IEEE International Parallel & Distributed Processing Symposium.

On Variable Selection in SAT-LP-based Bounded Model Checking of Linear Hybrid Automata

Bernd Becker, Erika Ábrahám, Christian Herde, 2007, 2007 IEEE Design and Diagnostics of Electronic Circuits and Systems.

Bounded Model Checking and Inductive Verification of Hybrid Discrete-continuous Systems

Daniel Kroening, Bernhard Nebel, Bernd Becker, 2004, MBMV.

Extending DPLL for Pseudo-Boolean Constraints

Christian Herde, 2011 .

Parallel SAT Solving in Bounded Model Checking

Bernd Becker, Martin Fränzle, Erika Ábrahám, 2006, J. Log. Comput..

Integration of DPLL-SAT and Linear Programming

Christian Herde, 2011 .

Parallel SAT Solving in Bounded Model Checking

Bernd Becker, Martin Fränzle, Erika Ábrahám, 2011, J. Log. Comput..

RTSAT-- An Optimal and Efficient Approach to the Task Allocation Problem in Distributed Architectures

Christian Herde, Alexander Metzner, 2006, 2006 27th IEEE International Real-Time Systems Symposium (RTSS'06).

Efficient Proof Engines for Bounded Model Checking of Hybrid Systems

Martin Fränzle, Christian Herde, M. Fränzle, 2005, FMICS.

Efficient solving of large arithmetic constraint systems with complex Boolean structure: proof engines for the analysis of hybrid discrete-continuous systems

Christian Herde, 2011 .

Hybrid Dynamical Systems

Christian Herde, 2011 .

Efficient Solving of Large Non-linear Arithmetic Constraint Systems with Complex Boolean Structure

Martin Fränzle, Stefan Ratschan, Tobias Schubert, 2007, J. Satisf. Boolean Model. Comput..

Application of constraint solving and ODE-enclosure methods to the analysis of hybrid systems

Martin Fränzle, Christian Herde, Andreas Eggers, 2009 .

A Generalized Two-watched-literal Scheme in a mixed Boolean and Non-linear Arithmetic Constraint Solver ⋆

Martin Fränzle, Christian Herde, Natalia Kalinnik, 2007 .