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.
5 Publications
2014 | Conference Paper | LibreCat-ID: 10674
Ho, N., Kaufmann, P., & Platzner, M. (2014). A hardware/software infrastructure for performance monitoring on LEON3 multicore platforms. In 24th Intl. Conf. on Field Programmable Logic and Applications (FPL) (pp. 1–4). https://doi.org/10.1109/FPL.2014.6927437
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37046
Becker, M., Zabel, H., & Müller, W. (2010). A Mixed Level Simulation Environment for Stepwise RTOS Software Refinement (L. Kleinjohann & B. Kleinjohann, Eds.). Springer Verlag. https://doi.org/10.1007/978-3-642-15234-4_15
LibreCat
| DOI
2002 | Conference Paper | LibreCat-ID: 39382
Müller, W., Dömer, R., & Gerstlauer, A. (2002). The Formal Execution Semantics of SpecC. Proceedings of the ISSS02. https://doi.org/10.1145/581199.581234
LibreCat
| DOI
2001 | Conference Paper | LibreCat-ID: 39421
Müller, W., Ruf, J., Hoffmann, D. W., Gerlach, J., Kropf, T., & Rosenstiehl, W. (2001). The Simulation Semantics of SystemC. Proceedings of the Design, Automation, and Test in Europe (DATE’01). Proceedings Design, Automation and Test in Europe. Conference and Exhibition 2001. https://doi.org/10.1109/DATE.2001.915002
LibreCat
| DOI
1995 | Book Chapter | LibreCat-ID: 34448
Börger, E., Glässer, U., & Müller, W. (1995). A Formal Definition of an Abstract VHDL’93 Simulator by EA-Machines. In C. Delgado Kloos & P. T. Breuer (Eds.), Semantics of VHDL (pp. 107–139). Kluwer Academic Publishers. https://doi.org/10.1007/978-1-4615-2237-9_5
LibreCat
| DOI