Martin Lukasiewycz

According to our database1, Martin Lukasiewycz authored at least 83 papers between 2006 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
Optimal Dimensioning and Control of Active Cell Balancing Architectures.
IEEE Trans. Vehicular Technology, 2019

2017
Hybrid Optimization Techniques for System-Level Design Space Exploration.
Proceedings of the Handbook of Hardware/Software Codesign., 2017

Modular Active Charge Balancing for Scalable Battery Packs.
IEEE Trans. VLSI Syst., 2017

Security in Automotive Networks: Lightweight Authentication and Authorization.
ACM Trans. Design Autom. Electr. Syst., 2017

Automotive Electrical and Electronic Architecture Security via Distributed In-Vehicle Traffic Monitoring.
IEEE Trans. on CAD of Integrated Circuits and Systems, 2017

Generalized Asynchronous Time-Triggered Scheduling for FlexRay.
IEEE Trans. on CAD of Integrated Circuits and Systems, 2017

VEGa: A High Performance Vehicular Ethernet Gateway on Hybrid FPGA.
IEEE Trans. Computers, 2017

2016
Cyber-Physical Co-Simulation Framework for Smart Cells in Scalable Battery Packs.
ACM Trans. Design Autom. Electr. Syst., 2016

On Battery Recovery Effect in Wireless Sensor Nodes.
ACM Trans. Design Autom. Electr. Syst., 2016

Security-Aware Obfuscated Priority Assignment for Automotive CAN Platforms.
ACM Trans. Design Autom. Electr. Syst., 2016

Multischedule Synthesis for Variant Management in Automotive Time-Triggered Systems.
IEEE Trans. on CAD of Integrated Circuits and Systems, 2016

Synthesis of Active Cell Balancing Architectures for Battery Packs.
IEEE Trans. on CAD of Integrated Circuits and Systems, 2016

Open source model and simulator for real-time performance analysis of automotive network security.
SIGBED Review, 2016

Demo Abstract: Demonstration of the FMTV 2016 Timing Verification Challenge.
Proceedings of the 2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2016

Formal approaches to design of active cell balancing architectures in battery management systems.
Proceedings of the 35th International Conference on Computer-Aided Design, 2016

Distributed reconfigurable Battery System Management Architectures.
Proceedings of the 21st Asia and South Pacific Design Automation Conference, 2016

2015
Decentralized diagnosis of permanent faults in automotive E/E architectures.
Proceedings of the 2015 International Conference on Embedded Computer Systems: Architectures, 2015

Topology identification for smart cells in modular batteries.
Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, 2015

Lightweight authentication for secure automotive networks.
Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, 2015

Inductor optimization for active cell balancing using geometric programming.
Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, 2015

Security analysis of automotive architectures using probabilistic model checking.
Proceedings of the 52nd Annual Design Automation Conference, 2015

Efficient design space exploration of embedded platforms.
Proceedings of the 52nd Annual Design Automation Conference, 2015

Many-to-many active cell balancing strategy design.
Proceedings of the 20th Asia and South Pacific Design Automation Conference, 2015

2014
Holistic Scheduling of Real-Time Applications in Time-Triggered In-Vehicle Networks.
IEEE Trans. Industrial Informatics, 2014

Diagnosis-aware system design for automotive E/E architectures.
Proceedings of the 2014 International Symposium on Integrated Circuits (ISIC), 2014

System simulation and optimization using reconfigurable hardware.
Proceedings of the 2014 International Symposium on Integrated Circuits (ISIC), 2014

Optimal dimensioning of active cell balancing architectures.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014

Schedule Integration Framework for Time-Triggered Automotive Architectures.
Proceedings of the 51st Annual Design Automation Conference 2014, 2014

Smart Cells for Embedded Battery Management.
Proceedings of the 2014 IEEE International Conference on Cyber-Physical Systems, 2014

Policy-based message scheduling using FlexRay.
Proceedings of the 2014 International Conference on Hardware/Software Codesign and System Synthesis, 2014

Verification of balancing architectures for modular batteries.
Proceedings of the 2014 International Conference on Hardware/Software Codesign and System Synthesis, 2014

Implicit intermittent fault detection in distributed systems.
Proceedings of the 19th Asia and South Pacific Design Automation Conference, 2014

Automata-theoretic modeling of fixed-priority non-preemptive scheduling for formal timing verification.
Proceedings of the 19th Asia and South Pacific Design Automation Conference, 2014

Multi-Objective Diagnosis of Non-Permanent Faults in Many-Core Systems.
Proceedings of the ARCS 2014, 2014

Exploration of Distributed Automotive Systems Using Compositional Timing Analysis.
Proceedings of the Embedded Systems Development, From Functional Models to Implementations, 2014

2013
How to engineer tool-chains for automotive E/E architectures?
SIGBED Review, 2013

Reconfigurable Computing in Next-Generation Automotive Networks.
Embedded Systems Letters, 2013

Accelerating validation of time-triggered automotive systems on FPGAs.
Proceedings of the 2013 International Conference on Field-Programmable Technology, 2013

An approach for redundancy in FlexRay networks using FPGA partial reconfiguration.
Proceedings of the Design, Automation and Test in Europe, 2013

Security challenges in automotive hardware/software architecture design.
Proceedings of the Design, Automation and Test in Europe, 2013

Priority assignment for event-triggered systems using mathematical programming.
Proceedings of the Design, Automation and Test in Europe, 2013

System architecture and software design for electric vehicles.
Proceedings of the 50th Annual Design Automation Conference 2013, 2013

Modular system-level architecture for concurrent cell balancing.
Proceedings of the 50th Annual Design Automation Conference 2013, 2013

Model-based development and verification of control software for electric vehicles.
Proceedings of the 50th Annual Design Automation Conference 2013, 2013

Dimensioning and configuration of EES systems for electric vehicles with boundary-conditioned adaptive scalarization.
Proceedings of the International Conference on Hardware/Software Codesign and System Synthesis, 2013

Schedule integration for time-triggered systems.
Proceedings of the 18th Asia and South Pacific Design Automation Conference, 2013

Formal verification of distributed controllers using Time-Stamped Event Count Automata.
Proceedings of the 18th Asia and South Pacific Design Automation Conference, 2013

2012
Challenges in automotive cyber-physical systems design.
Proceedings of the 2012 International Conference on Embedded Computer Systems: Architectures, 2012

Multi-valued Decision Diagrams for the Verification of Consistency in Automotive Product Data.
Proceedings of the 2012 12th International Conference on Quality Software, 2012

Cyber-Physical Systems Design for Electric Vehicles.
Proceedings of the 15th Euromicro Conference on Digital System Design, 2012

Designing FlexRay-based automotive architectures: A holistic OEM approach.
Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012

Time-triggered implementations of mixed-criticality automotive software.
Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012

Embedded systems and software challenges in electric vehicles.
Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012

Concurrent architecture and schedule optimization of time-triggered automotive systems.
Proceedings of the 10th International Conference on Hardware/Software Codesign and System Synthesis, 2012

FlexRay Static Segment Scheduling.
Proceedings of the Advances in Real-Time Systems (to Georg Färber on the occasion of his appointment as Professor Emeritus at TU München after leading the Lehrstuhl für Realzeit-Computersysteme for 34 illustrious years)., 2012

Modular scheduling of distributed heterogeneous time-triggered automotive systems.
Proceedings of the 17th Asia and South Pacific Design Automation Conference, 2012

2011
Opt4J: a modular framework for meta-heuristic optimization.
Proceedings of the 13th Annual Genetic and Evolutionary Computation Conference, 2011

Timing and schedulability analysis for distributed automotive control applications.
Proceedings of the 11th International Conference on Embedded Software, 2011

FlexRay switch scheduling - A networking concept for electric vehicles.
Proceedings of the Design, Automation and Test in Europe, 2011

Symbolic system synthesis in the presence of stringent real-time constraints.
Proceedings of the 48th Design Automation Conference, 2011

Constraint-driven synthesis and tool-support for FlexRay-based automotive control systems.
Proceedings of the 9th International Conference on Hardware/Software Codesign and System Synthesis, 2011

2010
Symbolic system level reliability analysis.
Proceedings of the 2010 International Conference on Computer-Aided Design, 2010

Switched FlexRay: Increasing the effective bandwidth and safety of FlexRay networks.
Proceedings of 15th IEEE International Conference on Emerging Technologies and Factory Automation, 2010

Robust design of embedded systems.
Proceedings of the Design, Automation and Test in Europe, 2010

Towards scalable system-level reliability analysis.
Proceedings of the 47th Design Automation Conference, 2010

2009
Combined system synthesis and communication architecture exploration for MPSoCs.
Proceedings of the Design, Automation and Test in Europe, 2009

Incorporating graceful degradation into embedded system design.
Proceedings of the Design, Automation and Test in Europe, 2009

Designing heterogeneous ECU networks via compact architecture encoding and hybrid timing analysis.
Proceedings of the 46th Design Automation Conference, 2009

FlexRay schedule optimization of the static segment.
Proceedings of the 7th International Conference on Hardware/Software Codesign and System Synthesis, 2009

Exploiting data-redundancy in reliability-aware networked embedded system design.
Proceedings of the 7th International Conference on Hardware/Software Codesign and System Synthesis, 2009

2008
Multi-objective routing and topology optimization in networked embedded systems.
Proceedings of the 2008 International Conference on Embedded Computer Systems: Architectures, 2008

Symbolic Reliability Analysis of Self-healing Networked Embedded Systems.
Proceedings of the Computer Safety, 2008

A Feasibility-Preserving Crossover and Mutation Operator for Constrained Combinatorial Problems.
Proceedings of the Parallel Problem Solving from Nature, 2008

Symbolic Reliability Analysis and Optimization of ECU Networks.
Proceedings of the Design, Automation and Test in Europe, 2008

Concurrent topology and routing optimization in automotive network integration.
Proceedings of the 45th Design Automation Conference, 2008

Symbolic voter placement for dependability-aware system synthesis.
Proceedings of the 6th International Conference on Hardware/Software Codesign and System Synthesis, 2008

A feasibility-preserving local search operator for constrained discrete optimization problems.
Proceedings of the IEEE Congress on Evolutionary Computation, 2008

Efficient symbolic multi-objective design space exploration.
Proceedings of the 13th Asia South Pacific Design Automation Conference, 2008

2007
Solving Multi-objective Pseudo-Boolean Problems.
Proceedings of the Theory and Applications of Satisfiability Testing, 2007

Interactive presentation: Reliability-aware system synthesis.
Proceedings of the 2007 Design, Automation and Test in Europe Conference and Exposition, 2007

SAT-decoding in evolutionary algorithms for discrete constrained optimization problems.
Proceedings of the IEEE Congress on Evolutionary Computation, 2007

2006
Improving System Level Design Space Exploration by Incorporating SAT-Solvers into Multi-Objective Evolutionary Algorithms.
Proceedings of the 2006 IEEE Computer Society Annual Symposium on VLSI (ISVLSI 2006), 2006

Symbolic Archive Representation for a Fast Nondominance Test.
Proceedings of the Evolutionary Multi-Criterion Optimization, 4th International Conference, 2006


  Loading...