2008 |
12 | EE | Martin Lukasiewycz,
Michael Glaß,
Christian Haubelt,
Jürgen Teich:
Efficient symbolic multi-objective design space exploration.
ASP-DAC 2008: 691-696 |
11 | EE | Felix Reimann,
Michael Glabeta,
Martin Lukasiewycz,
Joachim Keinert,
Christian Haubelt,
Jürgen Teich:
Symbolic voter placement for dependability-aware system synthesis.
CODES+ISSS 2008: 237-242 |
10 | EE | Martin Lukasiewycz,
Michael Glaß,
Christian Haubelt,
Jürgen Teich,
Richard Regler,
Bardo Lang:
Concurrent topology and routing optimization in automotive network integration.
DAC 2008: 626-629 |
9 | EE | Michael Glaß,
Martin Lukasiewycz,
Felix Reimann,
Christian Haubelt,
Jürgen Teich:
Symbolic Reliability Analysis and Optimization of ECU Networks.
DATE 2008: 158-163 |
8 | EE | Martin Lukasiewycz,
Michael Glaß,
Christian Haubelt,
Jürgen Teich:
A feasibility-preserving local search operator for constrained discrete optimization problems.
IEEE Congress on Evolutionary Computation 2008: 1968-1975 |
7 | EE | Martin Lukasiewycz,
Michael Glaß,
Jürgen Teich:
A Feasibility-Preserving Crossover and Mutation Operator for Constrained Combinatorial Problems.
PPSN 2008: 919-928 |
6 | EE | Michael Glaß,
Martin Lukasiewycz,
Felix Reimann,
Christian Haubelt,
Jürgen Teich:
Symbolic Reliability Analysis of Self-healing Networked Embedded Systems.
SAFECOMP 2008: 139-152 |
2007 |
5 | EE | Michael Glaß,
Martin Lukasiewycz,
Thilo Streichert,
Christian Haubelt,
Jürgen Teich:
Interactive presentation: Reliability-aware system synthesis.
DATE 2007: 409-414 |
4 | EE | Martin Lukasiewycz,
Michael Glaß,
Christian Haubelt,
Jürgen Teich:
SAT-decoding in evolutionary algorithms for discrete constrained optimization problems.
IEEE Congress on Evolutionary Computation 2007: 935-942 |
3 | EE | Martin Lukasiewycz,
Michael Glaß,
Christian Haubelt,
Jürgen Teich:
Solving Multi-objective Pseudo-Boolean Problems.
SAT 2007: 56-69 |
2006 |
2 | EE | Martin Lukasiewycz,
Michael Glaß,
Christian Haubelt,
Jürgen Teich:
Symbolic Archive Representation for a Fast Nondominance Test.
EMO 2006: 111-125 |
1 | EE | Thomas Schlichter,
Martin Lukasiewycz,
Christian Haubelt,
Jürgen Teich:
Improving System Level Design Space Exploration by Incorporating SAT-Solvers into Multi-Objective Evolutionary Algorithms.
ISVLSI 2006: 309-316 |