Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
2016 Publications
2014 | Conference Paper | LibreCat-ID: 34583
Fast and Open Virtual Platforms for TriCore-based SoCs Using QEMU
B. Koppelmann, B. Messidat, C. Kuznik, W. Müller, M. Becker, J.C. Scheytt, in: Proceedings of the Design and Verification Conference Europe (DVCON Europe), München, 2014.
LibreCat
B. Koppelmann, B. Messidat, C. Kuznik, W. Müller, M. Becker, J.C. Scheytt, in: Proceedings of the Design and Verification Conference Europe (DVCON Europe), München, 2014.
2014 | Conference Paper | LibreCat-ID: 34580
Fast and Open Virtual Platforms for TriCore-based SoCs Using QEMU
M. Becker, C. Kuznik, W. Müller, B. Koppelmann, B. Messidat, in: Proceedings of the Design and Verification Conference Europe , München, 2014.
LibreCat
M. Becker, C. Kuznik, W. Müller, B. Koppelmann, B. Messidat, in: Proceedings of the Design and Verification Conference Europe , München, 2014.
2014 | Journal Article | LibreCat-ID: 25117
Fast and Open Virtual Platforms for TriCore-based SoCs Using QEMU
B. Koppelmann, B. Messidat, M. Becker, C. Kuznik, W. Müller, J.C. Scheytt, Design and Verification Conference (DVCON EUROPE) (2014).
LibreCat
B. Koppelmann, B. Messidat, M. Becker, C. Kuznik, W. Müller, J.C. Scheytt, Design and Verification Conference (DVCON EUROPE) (2014).
2014 | Journal Article | LibreCat-ID: 25162
Verific-MM: Systematized Verification Metrics Generation with UCIS for Improved Automation on Verification Closure
C. Kuznik, W. Müller, Design, Automation and Test in Europe DATE, University Booth, Dresden (2014).
LibreCat
C. Kuznik, W. Müller, Design, Automation and Test in Europe DATE, University Booth, Dresden (2014).
2014 | Conference Paper | LibreCat-ID: 25169
Safety Evaluation of Automotive Electronics Using Virtual Prototypes: State of the Art and Research Challenges
J.-H. Oetjens, M. Becker, C. Kuznik, W. Müller, in: Design Automation Conference (DAC), 2014.
LibreCat
J.-H. Oetjens, M. Becker, C. Kuznik, W. Müller, in: Design Automation Conference (DAC), 2014.
2014 | Book (Editor) | LibreCat-ID: 59024
Trost und Schöpfung (Gen 1,1-2,4a). Interpretationen - Unterrichtsmodell
V. Garske, ed., Trost Und Schöpfung (Gen 1,1-2,4a). Interpretationen - Unterrichtsmodell, Schöningh, Paderborn, 2014.
LibreCat
V. Garske, ed., Trost Und Schöpfung (Gen 1,1-2,4a). Interpretationen - Unterrichtsmodell, Schöningh, Paderborn, 2014.