Christian Herde

According to our database, Christian Herde authored at least 13 papers between 2003 and 2011.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2011

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

Christian Herde

PhD thesis, 2011

Parallel SAT Solving in Bounded Model Checking.

Erika Ábrahám, Tobias Schubert, Bernd Becker, Martin Fränzle, Christian Herde

J. Log. Comput., 2011

2008

Analysis of Hybrid Systems Using HySAT.

Christian Herde, Andreas Eggers, Martin Fränzle, Tino Teige

Proceedings of the Third International Conference on Systems, 2008

SAT Modulo ODE: A Direct SAT Approach to Hybrid Systems.

Andreas Eggers, Martin Fränzle, Christian Herde

Proceedings of the Automated Technology for Verification and Analysis, 2008

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

J. Satisf. Boolean Model. Comput., 2007

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

Martin Fränzle, Christian Herde

Formal Methods Syst. Des., 2007

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

Marc Herbstritt, Bernd Becker, Erika Ábrahám, Christian Herde

Proceedings of the 10th IEEE Workshop on Design & Diagnostics of Electronic Circuits & Systems (DDECS 2007), 2007

2006

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

Alexander Metzner, Christian Herde

Proceedings of the 27th IEEE Real-Time Systems Symposium (RTSS 2006), 2006

An optimal approach to the task allocation problem on hierarchical architectures.

Alexander Metzner, Martin Fränzle, Christian Herde, Ingo Stierand

Proceedings of the 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), 2006

2005

Scheduling Distributed Real-Time Systems by Satisfiability Checking.

Alexander Metzner, Martin Fränzle, Christian Herde, Ingo Stierand

Proceedings of the 11th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2005), 2005

2004

Efficient Proof Engines for Bounded Model Checking of Hybrid Systems.

Martin Fränzle, Christian Herde

Proceedings of the Ninth International Workshop on Formal Methods for Industrial Critical Systems, 2004

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

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

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2004

2003

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

Martin Fränzle, Christian Herde

Proceedings of the Logic for Programming, 2003