Martin Lukasiewycz
According to our database1,
Martin Lukasiewycz
authored at least 83 papers
between 2006 and 2019.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2019
IEEE Trans. Veh. Technol., 2019
2017
Proceedings of the Handbook of Hardware/Software Codesign., 2017
IEEE Trans. Very Large Scale Integr. Syst., 2017
ACM Trans. Design Autom. Electr. Syst., 2017
Automotive Electrical and Electronic Architecture Security via Distributed In-Vehicle Traffic Monitoring.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2017
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2017
IEEE Trans. Computers, 2017
2016
ACM Trans. Design Autom. Electr. Syst., 2016
ACM Trans. Design Autom. Electr. Syst., 2016
ACM Trans. Design Autom. Electr. Syst., 2016
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2016
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2016
Open source model and simulator for real-time performance analysis of automotive network security.
SIGBED Rev., 2016
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
Proceedings of the 21st Asia and South Pacific Design Automation Conference, 2016
2015
Proceedings of the 2015 International Conference on Embedded Computer Systems: Architectures, 2015
Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, 2015
Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, 2015
Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, 2015
Proceedings of the 52nd Annual Design Automation Conference, 2015
Proceedings of the 52nd Annual Design Automation Conference, 2015
Proceedings of the 20th Asia and South Pacific Design Automation Conference, 2015
2014
IEEE Trans. Ind. Informatics, 2014
Proceedings of the 2014 International Symposium on Integrated Circuits (ISIC), 2014
Proceedings of the 2014 International Symposium on Integrated Circuits (ISIC), 2014
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014
Proceedings of the 51st Annual Design Automation Conference 2014, 2014
Proceedings of the 2014 IEEE International Conference on Cyber-Physical Systems, 2014
Proceedings of the 2014 International Conference on Hardware/Software Codesign and System Synthesis, 2014
Proceedings of the 2014 International Conference on Hardware/Software Codesign and System Synthesis, 2014
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
Proceedings of the ARCS 2014, 2014
Proceedings of the Embedded Systems Development, From Functional Models to Implementations, 2014
2013
IEEE Embed. Syst. Lett., 2013
Proceedings of the 2013 International Conference on Field-Programmable Technology, 2013
Proceedings of the Design, Automation and Test in Europe, 2013
Proceedings of the Design, Automation and Test in Europe, 2013
Proceedings of the Design, Automation and Test in Europe, 2013
Proceedings of the 50th Annual Design Automation Conference 2013, 2013
Proceedings of the 50th Annual Design Automation Conference 2013, 2013
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
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
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
Proceedings of the 15th Euromicro Conference on Digital System Design, 2012
Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012
Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012
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
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
Proceedings of the 17th Asia and South Pacific Design Automation Conference, 2012
2011
Proceedings of the 13th Annual Genetic and Evolutionary Computation Conference, 2011
Proceedings of the 11th International Conference on Embedded Software, 2011
Proceedings of the Design, Automation and Test in Europe, 2011
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
Proceedings of the 2010 International Conference on Computer-Aided Design, 2010
Proceedings of 15th IEEE International Conference on Emerging Technologies and Factory Automation, 2010
Proceedings of the Design, Automation and Test in Europe, 2010
Proceedings of the 47th Design Automation Conference, 2010
2009
Proceedings of the Design, Automation and Test in Europe, 2009
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
Proceedings of the 7th International Conference on Hardware/Software Codesign and System Synthesis, 2009
Proceedings of the 7th International Conference on Hardware/Software Codesign and System Synthesis, 2009
2008
Proceedings of the 2008 International Conference on Embedded Computer Systems: Architectures, 2008
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
Proceedings of the Design, Automation and Test in Europe, 2008
Proceedings of the 45th Design Automation Conference, 2008
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
Proceedings of the 13th Asia South Pacific Design Automation Conference, 2008
2007
Proceedings of the Theory and Applications of Satisfiability Testing, 2007
Proceedings of the Evolutionary Multi-Criterion Optimization, 4th International Conference, 2007
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