Search the dblp DataBase

Publications of Author

1. André Sülflow, Nicole Drechsler, Rolf Drechsler
   Robust Multi-Objective Optimization in High Dimensional Spaces. [Citation Graph (0, 0)][DBLP]
   EMO, 2006, pp:715-726 [Conf]
   
2. 
   Computing bounds for fault tolerance using formal techniques. [Citation Graph (, )][DBLP]
   
   
3. 
   Increasing the accuracy of SAT-based debugging. [Citation Graph (, )][DBLP]
   
   
4. 
   Robustness Check for Multiple Faults Using Formal Techniques. [Citation Graph (, )][DBLP]
   
   
5. 
   Using unsatisfiable cores to debug multiple design errors. [Citation Graph (, )][DBLP]
   
   
6. 
   Modeling a Fully Scalable Reed-Solomon Encoder/Decoder over GF(p^{m}) in SystemC. [Citation Graph (, )][DBLP]
   
   
7. 
   Evaluation of Cardinality Constraints on SMT-Based Debugging. [Citation Graph (, )][DBLP]
   
   
8. 
   WoLFram- A Word Level Framework for Formal Verification. [Citation Graph (, )][DBLP]