Opt4J

The Optimization Framework


About Opt4J

Opt4J is an optimization framework developed at Hardware/Software Co-Design, Department of Computer Science at the University of Erlangen-Nuremberg, Germany. The framework is tailored for (but not restricted to) population based multi-objective optimization algorithms and their application to various problems including both, crafted testcases and real-world examples. Up to now, several publications on international conferences have already been presented that rely on the Opt4J framework. Currently, 4 Ph.D. students as well as some graduate students develop and use this framework.

Hardware/Software Co-Design Friedrich Alexander University Erlangen-Nuremberg

Developers

Martin Lukasiewycz, Dipl.-Inf.
home, contact

Michael Glaß, Dipl.-Inf.
home, contact

Felix Reimann, Dipl.-Inf.
home, contact

Sabine Helwig, Dipl.-Inf.
home, contact

Publications

Some selected publications that are based on Opt4J as the underlying optimization framework:

M. Lukasiewycz, M. Glaß, C. Haubelt, J. Teich, R. Regler and B. Lang.
Concurrent Topology and Routing Optimization in Automotive Network Integration.
In Proceedings of the 2008 ACM/EDAC/IEEE Design Automation Conference (DAC 2008), pp. 626-629, Anaheim, USA, June 08-13, 2008.

M. Lukasiewycz, M. Glaß, C. Haubelt and J. Teich.
A Feasibility-preserving Local Search Operator for Constrained Discrete Optimization Problems.
In Proceedings of the 2008 IEEE Congress on Evolutionary Computation (CEC 2008), pp. 1968-1975, Hong Kong, China, June 01-06, 2008.

M. Glaß, M. Lukasiewycz, F. Reimann, C. Haubelt and J. Teich.
Symbolic Reliability Analysis and Optimization of ECU Networks.
In Proceedings of Design, Automation and Test in Europe (DATE 2008), IEEE Computer Society, pp. 158-163, Munich, Germany, March 10-14, 2008.

M. Lukasiewycz, M. Glaß, C. Haubelt and J. Teich.
Efficient Symbolic Multi-Objective Design Space Exploration.
In Proceedings of the 13th Asia and South Pacific Design Automation Conference (ASP-DAC 2008), pp. 691-696, Seoul, Korea.

M. Lukasiewycz, M. Glaß, C. Haubelt and J. Teich.
SAT-Decoding in Evolutionary Algorithms for Discrete Constrained Optimization Problems.
In Proceedings of the 2007 IEEE Congress on Evolutionary Computation (CEC 2007), Singapore, Singapore, pp. 935-942, September 25-28, 2007.