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.
89 Publications
2009 | Conference Paper | LibreCat-ID: 17272
People modify their tutoring behavior in robot-directed interaction for action learning
A.-L. Vollmer, K.S. Lohan, K. Fischer, Y. Nagai, K. Pitsch, J. Fritsch, K. Rohlfing, B. Wrede, in: Development and Learning, 2009. ICDL 2009. IEEE 8th International Conference on Development and Learning, IEEE, 2009, pp. 1–6.
LibreCat
| DOI
A.-L. Vollmer, K.S. Lohan, K. Fischer, Y. Nagai, K. Pitsch, J. Fritsch, K. Rohlfing, B. Wrede, in: Development and Learning, 2009. ICDL 2009. IEEE 8th International Conference on Development and Learning, IEEE, 2009, pp. 1–6.
2006 | Conference Paper | LibreCat-ID: 38107
A Formal Behavioral Semantics for TestML
J. Großmann, W. Müller, in: Proc. of ISOLA 06, Paphos, Cyprus, 2006.
LibreCat
| DOI
J. Großmann, W. Müller, in: Proc. of ISOLA 06, Paphos, Cyprus, 2006.
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: 39030
A UML Virtual Machine for Embedded Systems
T. Schattkowsky, W. Müller, in: Proceedings of ISNG 05, Las Vegas, NV, 2005.
LibreCat
T. Schattkowsky, W. Müller, in: Proceedings of ISNG 05, Las Vegas, NV, 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.
2004 | Conference Paper | LibreCat-ID: 39069
Past- and Future-Oriented Time-Bound Temporal Properties with OCL
S. Flake, W. Müller, in: Proceedings of SEFM´04, IEEE, Beijing, China, 2004.
LibreCat
| DOI
S. Flake, W. Müller, in: Proceedings of SEFM´04, IEEE, Beijing, China, 2004.
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.
2002 | Conference Paper | LibreCat-ID: 39403
Specification of Real-Time Properties for UML Models
S. Flake, W. Müller, in: Proceedings of HICSS-35, Big Island, HI, USA , 2002.
LibreCat
| DOI
S. Flake, W. Müller, in: Proceedings of HICSS-35, Big Island, HI, USA , 2002.
2002 | Journal Article | LibreCat-ID: 39925
VLSI technologies for artificial neural networks
K. Goser, U. Hilleringmann, U. Rueckert, K. Schumacher, IEEE Micro 9 (2002) 28–44.
LibreCat
| DOI
K. Goser, U. Hilleringmann, U. Rueckert, K. Schumacher, IEEE Micro 9 (2002) 28–44.
2002 | Journal Article | LibreCat-ID: 39926
VLSI technologies for artificial neural networks
K. Goser, U. Hilleringmann, U. Rueckert, K. Schumacher, IEEE Micro 9 (2002) 28–44.
LibreCat
| DOI
K. Goser, U. Hilleringmann, U. Rueckert, K. Schumacher, IEEE Micro 9 (2002) 28–44.