The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Christian Herde: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.122secs, Finished in 0.123secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002