- CSB - MetaPress - Google - Bing - Yahoo
 | 2011 | |
|---|---|---|
| b1 |      | Christian Herde: Efficient solving of large arithmetic constraint systems with complex Boolean structure: proof engines for the analysis of hybrid discrete-continuous systems. Carl von Ossietzky University of Oldenburg 2011, isbn 978-3-8348-1494-4, pp. 1-163 |
| j4 |  | Erika Ábrahám, Tobias Schubert, Bernd Becker, Martin Fränzle, Christian Herde: Parallel SAT Solving in Bounded Model Checking. J. Log. Comput. 21(1): 5-21 (2011) |
| 2008 | ||
| c9 | | Andreas Eggers, Martin Fränzle, Christian Herde: SAT Modulo ODE: A Direct SAT Approach to Hybrid Systems. ATVA 2008: 171-185 |
| c8 | | Christian Herde, Andreas Eggers, Martin Fränzle, Tino Teige: Analysis of Hybrid Systems Using HySAT. ICONS 2008: 196-201 |
| 2007 | ||
| j3 | | Martin Fränzle, Christian Herde: HySAT: An efficient proof engine for bounded model checking of hybrid systems. Formal Methods in System Design 30(3): 179-198 (2007) |
| j2 | | Martin Fränzle, Christian Herde, Tino Teige, Stefan Ratschan, Tobias Schubert: Efficient Solving of Large Non-linear Arithmetic Constraint Systems with Complex Boolean Structure. JSAT 1(3-4): 209-236 (2007) |
| c7 | | 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: 391-396 |
| 2006 | ||
| c6 | | Erika Ábrahám, Tobias Schubert, Bernd Becker, Martin Fränzle, Christian Herde: Parallel SAT Solving in Bounded Model Checking. FMICS/PDMC 2006: 301-315 |
| c5 | | Alexander Metzner, Martin Fränzle, Christian Herde, Ingo Stierand: An optimal approach to the task allocation problem on hierarchical architectures. IPDPS 2006 |
| c4 | | Alexander Metzner, Christian Herde: RTSAT-- An Optimal and Efficient Approach to the Task Allocation Problem in Distributed Architectures. RTSS 2006: 147-158 |
| 2005 | ||
| j1 | | Martin Fränzle, Christian Herde: Efficient Proof Engines for Bounded Model Checking of Hybrid Systems. Electr. Notes Theor. Comput. Sci. 133: 119-137 (2005) |
| c3 | | Alexander Metzner, Martin Fränzle, Christian Herde, Ingo Stierand: Scheduling Distributed Real-Time Systems by Satisfiability Checking. RTCSA 2005: 409-415 |
| 2004 | ||
| c2 | | 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: 65-75 |
| 2003 | ||
| c1 | | Martin Fränzle, Christian Herde: Efficient SAT Engines for Concise Logics: Accelerating Proof Search for Zero-One Linear Constraint Systems. LPAR 2003: 302-316 |
Data released under the ODC-BY 1.0 license — See also our legal information page