Search the dblp DataBase

Publications of Author

1. Martin Lukasiewycz, Michael Glaß, Christian Haubelt, Jürgen Teich
   Symbolic Archive Representation for a Fast Nondominance Test. [Citation Graph (0, 0)][DBLP]
   EMO, 2006, pp:111-125 [Conf]
   
2. Thomas Schlichter, Martin Lukasiewycz, Christian Haubelt, Jürgen Teich
   Improving System Level Design Space Exploration by Incorporating SAT-Solvers into Multi-Objective Evolutionary Algorithms. [Citation Graph (0, 0)][DBLP]
   ISVLSI, 2006, pp:309-316 [Conf]
   
3. Michael Glaß, Martin Lukasiewycz, Thilo Streichert, Christian Haubelt, Jürgen Teich
   Interactive presentation: Reliability-aware system synthesis. [Citation Graph (0, 0)][DBLP]
   DATE, 2007, pp:409-414 [Conf]
   
4. Martin Lukasiewycz, Michael Glaß, Christian Haubelt, Jürgen Teich
   Solving Multi-objective Pseudo-Boolean Problems. [Citation Graph (0, 0)][DBLP]
   SAT, 2007, pp:56-69 [Conf]
   
5. 
   Efficient symbolic multi-objective design space exploration. [Citation Graph (, )][DBLP]
   
   
6. 
   Symbolic voter placement for dependability-aware system synthesis. [Citation Graph (, )][DBLP]
   
   
7. 
   FlexRay schedule optimization of the static segment. [Citation Graph (, )][DBLP]
   
   
8. 
   Exploiting data-redundancy in reliability-aware networked embedded system design. [Citation Graph (, )][DBLP]
   
   
9. 
   Concurrent topology and routing optimization in automotive network integration. [Citation Graph (, )][DBLP]
   
   
10. 
    Designing heterogeneous ECU networks via compact architecture encoding and hybrid timing analysis. [Citation Graph (, )][DBLP]
    
    
11. 
    Towards scalable system-level reliability analysis. [Citation Graph (, )][DBLP]
    
    
12. 
    Symbolic Reliability Analysis and Optimization of ECU Networks. [Citation Graph (, )][DBLP]
    
    
13. 
    Incorporating graceful degradation into embedded system design. [Citation Graph (, )][DBLP]
    
    
14. 
    Combined system synthesis and communication architecture exploration for MPSoCs. [Citation Graph (, )][DBLP]
    
    
15. 
    Robust design of embedded systems. [Citation Graph (, )][DBLP]
    
    
16. 
    A Feasibility-Preserving Crossover and Mutation Operator for Constrained Combinatorial Problems. [Citation Graph (, )][DBLP]
    
    
17. 
    Symbolic Reliability Analysis of Self-healing Networked Embedded Systems. [Citation Graph (, )][DBLP]
    
    
18. 
    Multi-objective routing and topology optimization in networked embedded systems. [Citation Graph (, )][DBLP]
    
    
19. 
    SAT-decoding in evolutionary algorithms for discrete constrained optimization problems. [Citation Graph (, )][DBLP]
    
    
20. 
    A feasibility-preserving local search operator for constrained discrete optimization problems. [Citation Graph (, )][DBLP]