BibSonomy :: author  ::

bookmarks

publications

(9)

• Symbolic voter placement for dependability-aware system synthesis.
  Felix Reimann and Michael Glabeta and Martin Lukasiewycz and Joachim Keinert and Christian Haubelt and Jürgen Teich CODES+ISSS 237-242 (2008)
  to dblp by dblp on 2008-10-27 00:00:00
  | URL | BibTeX  
• Symbolic Reliability Analysis of Self-healing Networked Embedded Systems.
  Michael Glaß and Martin Lukasiewycz and Felix Reimann and Christian Haubelt and Jürgen Teich SAFECOMP 139-152 (2008)
  to dblp by dblp on 2008-10-02 00:00:00
  | URL | BibTeX  
• A Feasibility-Preserving Crossover and Mutation Operator for Constrained Combinatorial Problems.
  Martin Lukasiewycz and Michael Glaß and Jürgen Teich PPSN 919-928 (2008)
  to dblp by dblp on 2008-09-23 00:00:00
  | URL | BibTeX  
• Concurrent topology and routing optimization in automotive network integration.
  Martin Lukasiewycz and Michael Glaß and Christian Haubelt and Jürgen Teich and Richard Regler and Bardo Lang DAC 626-629 (2008)
  to dblp by dblp on 2008-07-30 00:00:00
  | URL | BibTeX  
• Efficient symbolic multi-objective design space exploration.
  Martin Lukasiewycz and Michael Glaß and Christian Haubelt and Jürgen Teich ASP-DAC 691-696 (2008)
  to dblp by dblp on 2008-05-06 00:00:00
  | URL | BibTeX  
• Solving Multi-objective Pseudo-Boolean Problems.
  Martin Lukasiewycz and Michael Glaß and Christian Haubelt and Jürgen Teich SAT 56-69 (2007)
  to dblp by dblp on 2007-07-03 00:00:00
  | URL | BibTeX  
• Interactive presentation: Reliability-aware system synthesis.
  Michael Glaß and Martin Lukasiewycz and Thilo Streichert and Christian Haubelt and Jürgen Teich DATE 409-414 (2007)
  to dblp by dblp on 2007-06-22 00:00:00
  | URL | BibTeX  
• Symbolic Archive Representation for a Fast Nondominance Test.
  Martin Lukasiewycz and Michael Glaß and Christian Haubelt and Jürgen Teich EMO 111-125 (2006)
  to dblp by dblp on 2007-05-21 00:00:00
  | URL | BibTeX  
• Improving System Level Design Space Exploration by Incorporating SAT-Solvers into Multi-Objective Evolutionary Algorithms.
  Thomas Schlichter and Martin Lukasiewycz and Christian Haubelt and Jürgen Teich ISVLSI 309-316 (2006)
  to dblp by dblp on 2007-01-08 00:00:00
  | URL | BibTeX