Matthias Krause

Affiliations:
  • Eberhard Karls University of Tübingen
  • FZI, Forschungszentrum Informatik, Karlsruhe


According to our database1, Matthias Krause authored at least 5 papers between 2005 and 2011.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2011
Automatisierte Erstellung und Verfeinerung virtueller Prototypen für den Entwurf verteilter eingebetteter Systeme.
PhD thesis, 2011

2008
Combination of instruction set simulation and abstract RTOS model execution for fast and accurate target software evaluation.
Proceedings of the 6th International Conference on Hardware/Software Codesign and System Synthesis, 2008

2007
Timing simulation of interconnected AUTOSAR software-components.
Proceedings of the 2007 Design, Automation and Test in Europe Conference and Exposition, 2007

2006
Communication Refinement and Target Software Generation using SystemC.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2006

2005
Target software generation: an approach for automatic mapping of SystemC specifications onto real-time operating systems.
Des. Autom. Embed. Syst., 2005


  Loading...