Christian Herde

14 papers A 2B 3C 2Journal 3Unranked 3

Year	Rank	Type	Title / Venue / Authors
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	J	`jnl`	Parallel SAT Solving in Bounded Model Checking. J. Log. Comput. Erika Ábrahám, Tobias Schubert, Bernd Becker, Martin Fränzle, Christian Herde
2008	—	`conf`	Analysis of Hybrid Systems Using HySAT. ICONS Christian Herde, Andreas Eggers, Martin Fränzle, Tino Teige
2008	B	`conf`	SAT Modulo ODE: A Direct SAT Approach to Hybrid Systems. ATVA Andreas Eggers, Martin Fränzle, Christian Herde
2007	J	`jnl`	Efficient Solving of Large Non-linear Arithmetic Constraint Systems with Complex Boolean Structure. J. Satisf. Boolean Model. Comput. Martin Fränzle, Christian Herde, Tino Teige, Stefan Ratschan, Tobias Schubert
2007	J	`jnl`	HySAT: An efficient proof engine for bounded model checking of hybrid systems. Formal Methods Syst. Des. Martin Fränzle, Christian Herde
2007	C	`conf`	On Variable Selection in SAT-LP-based Bounded Model Checking of Linear Hybrid Automata. DDECS Marc Herbstritt, Bernd Becker, Erika Ábrahám, Christian Herde
2006	A	`conf`	An optimal approach to the task allocation problem on hierarchical architectures. IPDPS Alexander Metzner, Martin Fränzle, Christian Herde, Ingo Stierand
2006	—	`conf`	Parallel SAT Solving in Bounded Model Checking. FMICS/PDMC Erika Ábrahám, Tobias Schubert, Bernd Becker, Martin Fränzle, Christian Herde
2006	A	`conf`	RTSAT-- An Optimal and Efficient Approach to the Task Allocation Problem in Distributed Architectures. RTSS Alexander Metzner, Christian Herde
2005	B	`conf`	Scheduling Distributed Real-Time Systems by Satisfiability Checking. RTCSA Alexander Metzner, Martin Fränzle, Christian Herde, Ingo Stierand
2004	—	`conf`	Bounded Model Checking and Inductive Verification of Hybrid Discrete-continuous Systems. MBMV 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
2004	C	`conf`	Efficient Proof Engines for Bounded Model Checking of Hybrid Systems. FMICS Martin Fränzle, Christian Herde
2003	B	`conf`	Efficient SAT Engines for Concise Logics: Accelerating Proof Search for Zero-One Linear Constraint Systems. LPAR Martin Fränzle, Christian Herde