Search the dblp DataBase

Publications of Author

1. Marc Herbstritt, Bernd Becker, Erika Ábrahám, Christian Herde
   On Variable Selection in SAT-LP-based Bounded Model Checking of Linear Hybrid Automata. [Citation Graph (0, 0)][DBLP]
   DDECS, 2007, pp:391-396 [Conf]
   
2. Alexander Metzner, Martin Fränzle, Christian Herde, Ingo Stierand
   An optimal approach to the task allocation problem on hierarchical architectures. [Citation Graph (0, 0)][DBLP]
   IPDPS, 2006, pp:- [Conf]
   
3. Martin Fränzle, Christian Herde
   Efficient SAT Engines for Concise Logics: Accelerating Proof Search for Zero-One Linear Constraint Systems. [Citation Graph (0, 0)][DBLP]
   LPAR, 2003, pp:302-316 [Conf]
   
4. Alexander Metzner, Martin Fränzle, Christian Herde, Ingo Stierand
   Scheduling Distributed Real-Time Systems by Satisfiability Checking. [Citation Graph (0, 0)][DBLP]
   RTCSA, 2005, pp:409-415 [Conf]
   
5. Alexander Metzner, Christian Herde
   RTSAT-- An Optimal and Efficient Approach to the Task Allocation Problem in Distributed Architectures. [Citation Graph (0, 0)][DBLP]
   RTSS, 2006, pp:147-158 [Conf]
   
6. Martin Fränzle, Christian Herde
   Efficient Proof Engines for Bounded Model Checking of Hybrid Systems. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:133, n:, pp:119-137 [Journal]
   
7. Erika Ábrahám, Tobias Schubert, Bernd Becker, Martin Fränzle, Christian Herde
   Parallel SAT Solving in Bounded Model Checking. [Citation Graph (0, 0)][DBLP]
   FMICS/PDMC, 2006, pp:301-315 [Conf]
   
8. Martin Fränzle, Christian Herde
   HySAT: An efficient proof engine for bounded model checking of hybrid systems. [Citation Graph (0, 0)][DBLP]
   Formal Methods in System Design, 2007, v:30, n:3, pp:179-198 [Journal]
   
9. 
   SAT Modulo ODE: A Direct SAT Approach to Hybrid Systems. [Citation Graph (, )][DBLP]
   
   
10. 
    Analysis of Hybrid Systems Using HySAT. [Citation Graph (, )][DBLP]