Improving System Level Design Space Exploration by Incorporating SAT-Solvers into Multi-Objective Evolutionary Algorithms. - Thomas Schlichter; Martin Lukasiewycz; Christian Haubelt; Jürgen Teich (ISVLSI, 2006)

SAT-decoding in evolutionary algorithms for discrete constrained optimization problems. - Martin Lukasiewycz; Michael Glaß; Christian Haubelt; Jürgen Teich (IEEE Congress on Evolutionary Computation, 2007)

Interactive presentation: Reliability-aware system synthesis. - Michael Glaß; Martin Lukasiewycz; Thilo Streichert; Christian Haubelt; Jürgen Teich (DATE, 2007)

Symbolic Archive Representation for a Fast Nondominance Test. - Martin Lukasiewycz; Michael Glaß; Christian Haubelt; Jürgen Teich (EMO, 2007)

Solving Multi-objective Pseudo-Boolean Problems. - Martin Lukasiewycz; Michael Glaß; Christian Haubelt; Jürgen Teich (SAT, 2007)

Efficient symbolic multi-objective design space exploration. - Martin Lukasiewycz; Michael Glaß; Christian Haubelt; Jürgen Teich (ASP-DAC, 2008)

A feasibility-preserving local search operator for constrained discrete optimization problems. - Martin Lukasiewycz; Michael Glaß; Christian Haubelt; Jürgen Teich (IEEE Congress on Evolutionary Computation, 2008)

Symbolic voter placement for dependability-aware system synthesis. - Felix Reimann; Michael Glaß; Martin Lukasiewycz; Joachim Keinert; Christian Haubelt; Jürgen Teich (CODES+ISSS, 2008)

Concurrent topology and routing optimization in automotive network integration. - Martin Lukasiewycz; Michael Glaß; Christian Haubelt; Jürgen Teich; Richard Regler; Bardo Lang (DAC, 2008)

Symbolic Reliability Analysis and Optimization of ECU Networks. - Michael Glaß; Martin Lukasiewycz; Felix Reimann; Christian Haubelt; Jürgen Teich (DATE, 2008)

A Feasibility-Preserving Crossover and Mutation Operator for Constrained Combinatorial Problems. - Martin Lukasiewycz; Michael Glaß; Jürgen Teich (PPSN, 2008)

Symbolic Reliability Analysis of Self-healing Networked Embedded Systems. - Michael Glaß; Martin Lukasiewycz; Felix Reimann; Christian Haubelt; Jürgen Teich (SAFECOMP, 2008)

Multi-objective routing and topology optimization in networked embedded systems. - Michael Glaß; Martin Lukasiewycz; Rolf Wanka; Christian Haubelt; Jürgen Teich (ICSAMOS, 2008)

Exploiting data-redundancy in reliability-aware networked embedded system design. - Martin Lukasiewycz; Michael Glaß; Jürgen Teich (CODES+ISSS, 2009)

FlexRay schedule optimization of the static segment. - Martin Lukasiewycz; Michael Glaß; Jürgen Teich; Paul Milbredt (CODES+ISSS, 2009)

Designing heterogeneous ECU networks via compact architecture encoding and hybrid timing analysis. - Michael Glaß; Martin Lukasiewycz; Jürgen Teich; Unmesh D. Bordoloi; Samarjit Chakraborty (DAC, 2009)

Incorporating graceful degradation into embedded system design. - Michael Glaß; Martin Lukasiewycz; Christian Haubelt; Jürgen Teich (DATE, 2009)

Combined system synthesis and communication architecture exploration for MPSoCs. - Martin Lukasiewycz; Martin Streubühr; Michael Glaß; Christian Haubelt; Jürgen Teich (DATE, 2009)

Towards scalable system-level reliability analysis. - Michael Glaß; Martin Lukasiewycz; Christian Haubelt; Jürgen Teich (DAC, 2010)

Robust design of embedded systems. - Martin Lukasiewycz; Michael Glaß; Jürgen Teich (DATE, 2010)

Switched FlexRay: Increasing the effective bandwidth and safety of FlexRay networks. - Paul Milbredt; Bart Vermeulen; Gökhan Tabanoglu; Martin Lukasiewycz (ETFA, 2010)

Symbolic system level reliability analysis. - Michael Glaß; Martin Lukasiewycz; Felix Reimann; Christian Haubelt; Jürgen Teich (ICCAD, 2010)

Constraint-driven synthesis and tool-support for FlexRay-based automotive control systems. - Reinhard Schneider 001; Dip Goswami; Sohaib Zafar; Martin Lukasiewycz; Samarjit Chakraborty (CODES+ISSS, 2011)

Symbolic system synthesis in the presence of stringent real-time constraints. - Felix Reimann; Martin Lukasiewycz; Michael Glaß; Christian Haubelt; Jürgen Teich (DAC, 2011)

FlexRay switch scheduling - A networking concept for electric vehicles. - Martin Lukasiewycz; Samarjit Chakraborty; Paul Milbredt (DATE, 2011)

Timing and schedulability analysis for distributed automotive control applications. - Samarjit Chakraborty; Marco Di Natale; Heiko Falk; Martin Lukasiewycz; Frank Slomka (EMSOFT, 2011)

Opt4J: a modular framework for meta-heuristic optimization. - Martin Lukasiewycz; Michael Glaß; Felix Reimann; Jürgen Teich (GECCO, 2011)

Modular scheduling of distributed heterogeneous time-triggered automotive systems. - Martin Lukasiewycz; Reinhard Schneider 001; Dip Goswami; Samarjit Chakraborty (ASP-DAC, 2012)

FlexRay Static Segment Scheduling. - Martin Lukasiewycz; Michael Glaß; Jürgen Teich; Paul Milbredt (Advances in Real-Time Systems, 2012)

Concurrent architecture and schedule optimization of time-triggered automotive systems. - Martin Lukasiewycz; Samarjit Chakraborty (CODES+ISSS, 2012)

Embedded systems and software challenges in electric vehicles. - Samarjit Chakraborty; Martin Lukasiewycz; Christian Buckl; Suhaib A. Fahmy; Naehyuck Chang; Sangyoung Park; Younghyun Kim 001; Patrick Leteinturier; Hans Adlkofer (DATE, 2012)

Time-triggered implementations of mixed-criticality automotive software. - Dip Goswami; Martin Lukasiewycz; Reinhard Schneider 001; Samarjit Chakraborty (DATE, 2012)

Designing FlexRay-based automotive architectures: A holistic OEM approach. - Paul Milbredt; Michael Glaß; Martin Lukasiewycz; Andreas Steininger; Jürgen Teich (DATE, 2012)

Cyber-Physical Systems Design for Electric Vehicles. - Martin Lukasiewycz; Sebastian Steinhorst; Florian Sagstetter; Wanli Chang 001; Peter Waszecki; Matthias Kauer; Samarjit Chakraborty (DSD, 2012)

Multi-valued Decision Diagrams for the Verification of Consistency in Automotive Product Data. - Rüdiger Berndt; Peter Bazan; Kai-Steffen Hielscher; Reinhard German; Martin Lukasiewycz (QSIC, 2012)

Challenges in automotive cyber-physical systems design. - Dip Goswami; Reinhard Schneider 001; Alejandro Masrur; Martin Lukasiewycz; Samarjit Chakraborty; Harald Voit; Anuradha Annaswamy (ICSAMOS, 2012)

Formal verification of distributed controllers using Time-Stamped Event Count Automata. - Matthias Kauer; Sebastian Steinhorst; Dip Goswami; Reinhard Schneider 001; Martin Lukasiewycz; Samarjit Chakraborty (ASP-DAC, 2013)

Schedule integration for time-triggered systems. - Florian Sagstetter; Martin Lukasiewycz; Samarjit Chakraborty (ASP-DAC, 2013)

Dimensioning and configuration of EES systems for electric vehicles with boundary-conditioned adaptive scalarization. - Wanli Chang 001; Martin Lukasiewycz; Sebastian Steinhorst; Samarjit Chakraborty (CODES+ISSS, 2013)

Model-based development and verification of control software for electric vehicles. - Dip Goswami; Martin Lukasiewycz; Matthias Kauer; Sebastian Steinhorst; Alejandro Masrur; Samarjit Chakraborty; S. Ramesh 002 (DAC, 2013)

Modular system-level architecture for concurrent cell balancing. - Matthias Kauer; Swaminathan Naranayaswami; Sebastian Steinhorst; Martin Lukasiewycz; Samarjit Chakraborty; Lars Hedrich (DAC, 2013)

System architecture and software design for electric vehicles. - Martin Lukasiewycz; Sebastian Steinhorst; Sidharta Andalam; Florian Sagstetter; Peter Waszecki; Wanli Chang 001; Matthias Kauer; Philipp Mundhenk; Shanker Shreejith; Suhaib A. Fahmy; Samarjit Chakraborty (DAC, 2013)

Priority assignment for event-triggered systems using mathematical programming. - Martin Lukasiewycz; Sebastian Steinhorst; Samarjit Chakraborty (DATE, 2013)

Security challenges in automotive hardware/software architecture design. - Florian Sagstetter; Martin Lukasiewycz; Sebastian Steinhorst; Marko Wolf; Alexandre Bouard; William R. Harris; Somesh Jha; Thomas Peyrin; Axel Poschmann; Samarjit Chakraborty (DATE, 2013)

An approach for redundancy in FlexRay networks using FPGA partial reconfiguration. - Shanker Shreejith; Kizheppatt Vipin; Suhaib A. Fahmy; Martin Lukasiewycz (DATE, 2013)

Accelerating validation of time-triggered automotive systems on FPGAs. - Shanker Shreejith; Suhaib A. Fahmy; Martin Lukasiewycz (FPT, 2013)

Reconfigurable Computing in Next-Generation Automotive Networks. - Shanker Shreejith; Suhaib A. Fahmy; Martin Lukasiewycz (IEEE Embed. Syst. Lett., 2013)

How to engineer tool-chains for automotive E/E architectures? - Peter Waszecki; Martin Lukasiewycz; Alejandro Masrur; Samarjit Chakraborty (SIGBED Rev., 2013)

Exploration of Distributed Automotive Systems Using Compositional Timing Analysis. - Martin Lukasiewycz; Michael Glaß; Jürgen Teich; Samarjit Chakraborty (Embedded Systems Development, From Functional Models to Implementations, 2014)

Multi-Objective Diagnosis of Non-Permanent Faults in Many-Core Systems. - Peter Waszecki; Martin Lukasiewycz; Samarjit Chakraborty (ARCS Workshops, 2014)

Automata-theoretic modeling of fixed-priority non-preemptive scheduling for formal timing verification. - Matthias Kauer; Sebastian Steinhorst; Reinhard Schneider 001; Martin Lukasiewycz; Samarjit Chakraborty (ASP-DAC, 2014)

Implicit intermittent fault detection in distributed systems. - Peter Waszecki; Matthias Kauer; Martin Lukasiewycz; Samarjit Chakraborty (ASP-DAC, 2014)

Verification of balancing architectures for modular batteries. - Martin Lukasiewycz; Sebastian Steinhorst; Swaminathan Narayanaswamy (CODES+ISSS, 2014)

Policy-based message scheduling using FlexRay. - Philipp Mundhenk; Florian Sagstetter; Sebastian Steinhorst; Martin Lukasiewycz; Samarjit Chakraborty (CODES+ISSS, 2014)

Smart Cells for Embedded Battery Management. - Sebastian Steinhorst; Martin Lukasiewycz; Swaminathan Narayanaswamy; Matthias Kauer; Samarjit Chakraborty (CPSNA, 2014)

Schedule Integration Framework for Time-Triggered Automotive Architectures. - Florian Sagstetter; Sidharta Andalam; Peter Waszecki; Martin Lukasiewycz; Hauke Stähle; Samarjit Chakraborty; Alois C. Knoll (DAC, 2014)

Optimal dimensioning of active cell balancing architectures. - Swaminathan Narayanaswamy; Sebastian Steinhorst; Martin Lukasiewycz; Matthias Kauer; Samarjit Chakraborty (DATE, 2014)

System simulation and optimization using reconfigurable hardware. - Martin Lukasiewycz; Shanker Shreejith; Suhaib A. Fahmy (ISIC, 2014)

Diagnosis-aware system design for automotive E/E architectures. - Peter Waszecki; Florian Sagstetter; Martin Lukasiewycz; Samarjit Chakraborty (ISIC, 2014)

Holistic Scheduling of Real-Time Applications in Time-Triggered In-Vehicle Networks. - Menglan Hu; Jun Luo 001; Yang Wang 006; Martin Lukasiewycz; Zeng Zeng (IEEE Trans. Ind. Informatics, 2014)

Many-to-many active cell balancing strategy design. - Matthias Kauer; Swaminathan Narayanaswamy; Sebastian Steinhorst; Martin Lukasiewycz; Samarjit Chakraborty (ASP-DAC, 2015)

Efficient design space exploration of embedded platforms. - Martin Lukasiewycz; Florian Sagstetter; Sebastian Steinhorst (DAC, 2015)

Security analysis of automotive architectures using probabilistic model checking. - Philipp Mundhenk; Sebastian Steinhorst; Martin Lukasiewycz; Suhaib A. Fahmy; Samarjit Chakraborty (DAC, 2015)

Inductor optimization for active cell balancing using geometric programming. - Matthias Kauer; Swaminathan Narayanaswamy; Martin Lukasiewycz; Sebastian Steinhorst; Samarjit Chakraborty (DATE, 2015)

Lightweight authentication for secure automotive networks. - Philipp Mundhenk; Sebastian Steinhorst; Martin Lukasiewycz; Suhaib A. Fahmy; Samarjit Chakraborty (DATE, 2015)

Topology identification for smart cells in modular batteries. - Sebastian Steinhorst; Martin Lukasiewycz (DATE, 2015)

Decentralized diagnosis of permanent faults in automotive E/E architectures. - Peter Waszecki; Martin Lukasiewycz; Samarjit Chakraborty (SAMOS, 2015)

Distributed reconfigurable Battery System Management Architectures. - Sebastian Steinhorst; Zili Shao; Samarjit Chakraborty; Matthias Kauer; Shuai Li 002; Martin Lukasiewycz; Swaminathan Narayanaswamy; Muhammad Usman Rafique; Qixin Wang (ASP-DAC, 2016)

Formal approaches to design of active cell balancing architectures in battery management systems. - Sebastian Steinhorst; Martin Lukasiewycz (ICCAD, 2016)

Demo Abstract: Demonstration of the FMTV 2016 Timing Verification Challenge. - Arne Hamann 001; Dirk Ziegenbein; Simon Kramer 003; Martin Lukasiewycz (RTAS, 2016)

Open source model and simulator for real-time performance analysis of automotive network security. - Philipp Mundhenk; Artur Mrowca; Sebastian Steinhorst; Martin Lukasiewycz; Suhaib A. Fahmy; Samarjit Chakraborty (SIGBED Rev., 2016)

Synthesis of Active Cell Balancing Architectures for Battery Packs. - Martin Lukasiewycz; Matthias Kauer; Sebastian Steinhorst (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2016)

Multischedule Synthesis for Variant Management in Automotive Time-Triggered Systems. - Florian Sagstetter; Peter Waszecki; Sebastian Steinhorst; Martin Lukasiewycz; Samarjit Chakraborty (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2016)

Security-Aware Obfuscated Priority Assignment for Automotive CAN Platforms. - Martin Lukasiewycz; Philipp Mundhenk; Sebastian Steinhorst (ACM Trans. Design Autom. Electr. Syst., 2016)

On Battery Recovery Effect in Wireless Sensor Nodes. - Swaminathan Narayanaswamy; Steffen Schlüter; Sebastian Steinhorst; Martin Lukasiewycz; Samarjit Chakraborty; Harry Ernst Hoster (ACM Trans. Design Autom. Electr. Syst., 2016)

Cyber-Physical Co-Simulation Framework for Smart Cells in Scalable Battery Packs. - Sebastian Steinhorst; Matthias Kauer; Arne Meeuw; Swaminathan Narayanaswamy; Martin Lukasiewycz; Samarjit Chakraborty (ACM Trans. Design Autom. Electr. Syst., 2016)

VEGa: A High Performance Vehicular Ethernet Gateway on Hybrid FPGA. - Shanker Shreejith; Philipp Mundhenk; Andreas Ettner; Suhaib A. Fahmy; Sebastian Steinhorst; Martin Lukasiewycz; Samarjit Chakraborty (IEEE Trans. Computers, 2017)

Generalized Asynchronous Time-Triggered Scheduling for FlexRay. - Florian Sagstetter; Martin Lukasiewycz; Samarjit Chakraborty (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2017)

Automotive Electrical and Electronic Architecture Security via Distributed In-Vehicle Traffic Monitoring. - Peter Waszecki; Philipp Mundhenk; Sebastian Steinhorst; Martin Lukasiewycz; Ramesh Karri; Samarjit Chakraborty (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2017)

Security in Automotive Networks: Lightweight Authentication and Authorization. - Philipp Mundhenk; Andrew Paverd; Artur Mrowca; Sebastian Steinhorst; Martin Lukasiewycz; Suhaib A. Fahmy; Samarjit Chakraborty (ACM Trans. Design Autom. Electr. Syst., 2017)

Modular Active Charge Balancing for Scalable Battery Packs. - Swaminathan Narayanaswamy; Matthias Kauer; Sebastian Steinhorst; Martin Lukasiewycz; Samarjit Chakraborty (IEEE Trans. Very Large Scale Integr. Syst., 2017)

Hybrid Optimization Techniques for System-Level Design Space Exploration. - Michael Glaß; Jürgen Teich; Martin Lukasiewycz; Felix Reimann (Handbook of Hardware/Software Codesign, 2017)

Optimal Dimensioning and Control of Active Cell Balancing Architectures. - Swaminathan Narayanaswamy; Sebastian Steinhorst; Martin Lukasiewycz; Matthias Kauer; Samarjit Chakraborty (IEEE Trans. Veh. Technol., 2019)