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.
4 Publications
2010 | Conference Paper | LibreCat-ID: 37007
Closing the Gap between UML-based Modeling and Simulation of Combined HW/SW Systems
F. Mischkalla, D. He, W. Müller, in: Proceedings of DATE’10, IEEE, Dresden, 2010.
LibreCat
| DOI
F. Mischkalla, D. He, W. Müller, in: Proceedings of DATE’10, IEEE, Dresden, 2010.
2005 | Conference Paper | LibreCat-ID: 39029
A Model-Based Approach for Executable Specification on Reconfigurable Hardware
T. Schattkowsky, W. Müller, A. Rettberg, in: Proceedings of DATE’05, IEEE, Munich, Germany , 2005.
LibreCat
| DOI
T. Schattkowsky, W. Müller, A. Rettberg, in: Proceedings of DATE’05, IEEE, Munich, Germany , 2005.
2005 | Conference Paper | LibreCat-ID: 39032
Transformation of UML State Machines for Direct Execution
T. Schattkowsky, W. Müller, in: Proceedings of VL/HCC 05, Dallas, TX, USA, 2005.
LibreCat
| DOI
T. Schattkowsky, W. Müller, in: Proceedings of VL/HCC 05, Dallas, TX, USA, 2005.
2002 | Conference Paper | LibreCat-ID: 39382
The Formal Execution Semantics of SpecC
W. Müller, R. Dömer, A. Gerstlauer, in: Proceedings of the ISSS02, Nagoya, Japan, 2002.
LibreCat
| DOI
W. Müller, R. Dömer, A. Gerstlauer, in: Proceedings of the ISSS02, Nagoya, Japan, 2002.