Markus Oertel

According to our database1, Markus Oertel authored at least 11 papers between 2010 and 2016.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2016
A linear scaling change impact analysis based on a formal safety model for automotive embedded systems.
PhD thesis, 2016

2015
Contract-Based Design of Embedded Systems Integrating Nominal Behavior and Safety.
Complex Syst. Informatics Model. Q., 2015

2014
Proving Compliance of Implementation Models to Safety Specifications.
Proceedings of the Computer Safety, Reliability, and Security, 2014

Creating a Reference Technology Platform - Performing Model-based Safety Analysis in a Heterogeneous Development Environment.
Proceedings of the MODELSWARD 2014 - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development, Lisbon, Portugal, 7, 2014

Reusing a Functional Safety Concept in Variable System Architectures.
Proceedings of the 7th International Workshop on Model-based Architecting and Construction of Embedded Systems co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2014), 2014

Simulative evaluation of contract-based change management.
Proceedings of the 12th IEEE International Conference on Industrial Informatics, 2014

First results of automatic fault-injection in an AUTOSAR tool-chain.
Proceedings of the 12th IEEE International Conference on Industrial Informatics, 2014

2013
Reducing Re-verification Effort by Requirement-Based Change Management.
Proceedings of the Embedded Systems: Design, Analysis and Verification, 2013

2012
A Multisensor Implant for Continuous Monitoring of Intracranial Pressure Dynamics.
IEEE Trans. Biomed. Circuits Syst., 2012

Automatic transition between structural system views in a safety relevant embedded systems development process.
Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012

2010
Design of a real-time optimized emulation method.
Proceedings of the Design, Automation and Test in Europe, 2010


  Loading...