Michael Karner

Dipl.-Ing. Dr.

20082017
If you made any changes in Pure these will be visible here soon.

Research Output 2008 2017

Filter
Conference contribution
2016

A Security Metric for Structured Security Analysis of Cyber-Physical Systems Supporting SAE J3061

Steger, M., Karner, M., Hillebrand, J., Rom, W. & Römer, K. U., 11 Apr 2016, CPS Data – Second International Workshop on modeling, analysis and control of complex Cyber-Physical Systems. p. 1-6 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Generic Framework enabling Secure and Efficient Wireless SW Updates

Steger, M., Karner, M., Hillebrand, J., Rom, W., Boano, C. A. & Römer, K. U., 6 Sep 2016, 21st IEEE International Conference on Emerging Technologies and Factory Automation (ETFA). Institute of Electrical and Electronics Engineers, p. 1-8

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

SecUp: Secure and Efficient Wireless Software Updates for Vehicles

Steger, M., Boano, C. A., Karner, M., Hillebrand, J., Rom, W. & Römer, K. U., 2016, 2016 Euromicro Conference on Digital System Design (DSD). Institute of Electrical and Electronics Engineers, p. 628-636

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

2015

Applicability of IEEE 802.11s for Automotive Wireless Software Updates

Steger, M., Karner, M., Hillebrand, J., Rom, W., Armengaud, E., Hansson, M., Boano, C. A. & Römer, K. U., 13 Jul 2015, 13th International Conference on Telecommunications (ConTEL). Institute of Electrical and Electronics Engineers, p. 1-9

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Model-based configuration of automotive co-simulation scenarios

Krammer, M., Fritz, J. & Karner, M., 2015, 48th Annual Simulation Symposium (ANSS 2015). Red Hook, NY: ., Vol. 47,2. p. 155-162 (Simulation Series).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

2014

Evaluation of intersection assistance systems based on vehicular communication systems

Steger, M., Karner, M., Rom, W. & Watzenig, D., 2014, SAE Technical Paper 2014-01-0162. ., p. 1-9

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Predictive longitudinal vehicle control based on vehicle-to-infrastructure communication

Knauder, B. J., Karner, M. & Schratter, M., 2014, Proceedings of the 3rd International Conference on Connected Vehicles & Expo (ICCVE 2014). ., p. 1-6

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Semi-formal modeling of simulation-based V&V methods to enhance safety

Krammer, M., Karner, M. & Fuchs, A., 2014, Embedded World. ., p. 1-6

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

System design for enhanced forward-engineering possibilities of safety critical embedded systems

Krammer, M., Karner, M. & Fuchs, A., 2014, Proceedings. ., p. 234-237

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

System level modeling, simulation and verification workflow for safety-critical automotive embedded systems

Karner, M., Krammer, M. & Fuchs, A., 2014, SAE Technical Paper 2014-01-0210. ., p. 1-9

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

2013

A Co-Simulation Based Approach for the Validation of Integrated Safety Systems

Schratter, M., Karner, M., Wimmer, P., Watzenig, D. & Gruber, C-M., 2013, SAE Technical Paper 2013-01-0201. Detroit, Michigan: ., p. 1-8

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

System Modeling for Integration and Test of Safety-Critical Automotive Embedded Systems

Krammer, M., Martin, H., Karner, M., Watzenig, D. & Fuchs, A., 2013, SAE World Congress. ., p. 1-9

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

2010

A Cross Domain Co-Simulation Platform for the Efficient Analysis of Mechatronic Systems

Karner, M., Armengaud, E., Steger, C., Weiß, R., Pistauer, M. & Pfister, F., 2010, SAE World Congress. Warrendale, Pa.: SAE, p. 1-14

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Exploration of the FlexRay Signal Integrity using a Combined Prototyping and Simulation Approach

Krammer, M., Clazzer, F., Armengaud, E., Karner, M., Steger, C. & Weiß, R., 2010, Proceedings of the 13th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems. ., p. 111-116

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Open Access
File

Heterogeneous Co-Simulation Platform for the Efficient Analysis of Automotive Distributed Embedded Systems

Karner, M., Armengaud, E., Krammer, M., Krug, S., Steger, C. & Weiß, R., 2010, (Accepted/In press) Proceedings of the 8th IEEE International Workshop on Factory Communication Systems. .

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Holistic Simulation of FlexRay Networks by Using Run-Time Model Switching

Karner, M., Armengaud, E., Steger, C. & Weiß, R., 2010, Proceedings of the Design, Automation and Test in Europe 2010. Leuven: ., p. 544-549

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

2009

Automotive Software Architecture: Migration Challenges from an Event-Triggered to a Time-Triggered Communication Scheme

Armengaud, E., Tengg, A., Driussi, M., Karner, M., Steger, C. & Weiß, R., 2009, Proceedings of the Seventh International Workshop on Intelligent Solutions in Embedded Systems (WISES'09). ., p. 95-103

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Combining the Advantages of Simulation and Prototyping for the Validation of Dependable Communication Architectures: The TEODACS Approach

Armengaud, E., Karner, M., Watzenig, D., Steger, C., Weiß, R., Netzberger, C., Kohl, M., Pistauer, M., Pfister, F. & Gall, H., 2009, SAE World Congress. ., p. 1-10

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Moving Beyond the Component Boundaries for Efficient Test and Diagnosis of Automotive Communication Architectures

Armengaud, E., Tengg, A., Karner, M., Steger, C., Weiß, R. & Kohl, M., 2009, Proceedings of the 14th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2009). Palma: Institute of Electrical and Electronics Engineers, p. 1-6

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Optimizing HW/SW Co-Simulation based on Run-Time Model Switching

Karner, M., Steger, C., Weiß, R. & Armengaud, E., 2009, Proceedings of the 2009 Forum on Specification and Design Languages. ., p. 1-6

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

2008

Verification and Analysis of Dependable Automotive Communication Systems Based on HW/SW Co-Simulation

Karner, M., Steger, C., Weiß, R., Armengaud, E., Watzenig, D. & Knoll, G., 2008, Proceedings of the 13th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2008). ., p. 444-447

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review