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.
2015 Publications
2014 | Conference Paper | LibreCat-ID: 34583
B. Koppelmann, B. Messidat, C. Kuznik, W. Müller, M. Becker, and J. C. Scheytt, “Fast and Open Virtual Platforms for TriCore-based SoCs Using QEMU,” 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 34580
M. Becker, C. Kuznik, W. Müller, B. Koppelmann, and B. Messidat, “Fast and Open Virtual Platforms for TriCore-based SoCs Using QEMU,” presented at the DVCON Europe, 2014.
LibreCat
2014 | Journal Article | LibreCat-ID: 25117
B. Koppelmann, B. Messidat, M. Becker, C. Kuznik, W. Müller, and J. C. Scheytt, “Fast and Open Virtual Platforms for TriCore-based SoCs Using QEMU,” Design and Verification Conference (DVCON EUROPE), 2014.
LibreCat
2014 | Journal Article | LibreCat-ID: 25162
C. Kuznik and W. Müller, “Verific-MM: Systematized Verification Metrics Generation with UCIS for Improved Automation on Verification Closure,” Design, Automation and Test in Europe DATE, University Booth, Dresden , 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 25169
J.-H. Oetjens, M. Becker, C. Kuznik, and W. Müller, “Safety Evaluation of Automotive Electronics Using Virtual Prototypes: State of the Art and Research Challenges,” 2014.
LibreCat