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.

96 Publications


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
 

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
 

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
 

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
 

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
 

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
 

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
 

2002 | Journal Article | LibreCat-ID: 45423
Improved implementation of an algorithm for non-linear isotropic/kinematic hardening in elastoplasticity
R. Mahnken, Communications in Numerical Methods in Engineering 15 (2002) 745–754.
LibreCat | DOI
 

2002 | Journal Article | LibreCat-ID: 45427
Parameter estimation for a viscoplastic damage model using a gradient‐based optimization algorithm
R. Mahnken, M. Johansson, K. Runesson, Engineering Computations 15 (2002) 925–955.
LibreCat | DOI
 

2001 | Conference Paper | LibreCat-ID: 39411
Customer-Oriented Systems Design through Virtual Prototyps
S. Flake, C. Geiger, W. Müller, J. Ruf, in: Proceedings of IEEE KMN 2001, Cambridge, MA, USA , 2001.
LibreCat | DOI
 

2001 | Conference Paper | LibreCat-ID: 39432
A Language for the Rapid Prototyping of Mobile Evolving Agents
W. Müller, A. Meyer, H. Zabel, in: Proceedings of the 34th Annual Hawaii International Conference on System Sciences, Maui, HI, USA , 2001.
LibreCat | DOI
 

1999 | Conference Paper | LibreCat-ID: 39488
Innovative Concepts for Configurating Shared Workspaces through Visual Programming
M. Dücker, W. Müller, J. Rubart, in: Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences, Maui, HI, USA , 1999.
LibreCat | DOI
 

1999 | Conference Paper | LibreCat-ID: 39487
Visual Specification, Modeling, and Illustrations of Complex Systems
C. Geiger, G. Lehrenfeld, W. Müller, in: Proceedings of HICSS-32, Maui, Hawaii, 1999.
LibreCat | DOI
 

1998 | Conference Paper | LibreCat-ID: 39493
SAM - An Animated 3D Programming Language
C. Geiger, W. Müller, W. Rosenbach, in: Proceedings of the IEEE Symposium on Visual Languages, Halifax, Canada, 1998.
LibreCat | DOI
 

1997 | Conference Paper | LibreCat-ID: 39510
A Visual Programming Language for Qualitative Data
M. Dücker, C. Geiger, G. Lehrenfeld, W. Müller, C. Tahedl, in: Proceedings of the 1997 IEEE Symposium on Visual Languages, Capri, Italy, 1997.
LibreCat | DOI
 

1997 | Conference Paper | LibreCat-ID: 39505
Visual-Textual Prototyping of 4D Scenes
M. Dücker, C. Geiger, R. Hunstock, G. Lehrenfeld, W. Müller, in: Proceedings of the 1997 IEEE Symposium on Visual Languages, Capri, Italy, 1997.
LibreCat | DOI
 

Filters and Search Terms

keyword="software-tools"

Search

Filter Publications

Display / Sort

Export / Embed