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.
67 Publications
2009 | Conference Paper | LibreCat-ID: 37066
Increased Accuracy through Noise Injection in Abstract RTOS Simulation
H. Zabel, W. Müller, in: Proceedings of DATE’09, Nice, France, 2009.
LibreCat
| DOI
H. Zabel, W. Müller, in: Proceedings of DATE’09, Nice, France, 2009.
2008 | Journal Article | LibreCat-ID: 9571
Driving concepts for bundled ultrasonic linear motors
M. Mracek, T. Hemsel, T. Sattel, P. Vasiljev, J. Wallaschek, Journal of Electroceramics 20 (2008) 153–158.
LibreCat
| DOI
M. Mracek, T. Hemsel, T. Sattel, P. Vasiljev, J. Wallaschek, Journal of Electroceramics 20 (2008) 153–158.
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.
2004 | Conference Paper | LibreCat-ID: 39061
Formal Refinement and Model Checking of An Echo Cancellation Unit
A. Krupp, W. Müller, I. Oliver, in: Proceedings of DATE’04 Designers’ Forum, Paris, 2004.
LibreCat
| DOI
A. Krupp, W. Müller, I. Oliver, in: Proceedings of DATE’04 Designers’ Forum, Paris, 2004.
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: 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: 45418
Implicit integration scheme and its consistent linearization for an elastoplastic-damage model with application to concrete
R. Mahnken, D. Tikhomirov, E. Stein, Computers & Structures 75 (2002) 135–143.
LibreCat
| DOI
R. Mahnken, D. Tikhomirov, E. Stein, Computers & Structures 75 (2002) 135–143.
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
R. Mahnken, Communications in Numerical Methods in Engineering 15 (2002) 745–754.
2002 | Journal Article | LibreCat-ID: 45422
A comprehensive study of a multiplicative elastoplasticity model coupled to damage including parameter identification
R. Mahnken, Computers & Structures 74 (2002) 179–200.
LibreCat
| DOI
R. Mahnken, Computers & Structures 74 (2002) 179–200.
2002 | Journal Article | LibreCat-ID: 45432
The identification of parameters for visco-plastic models via finite-element methods and gradient methods
R. Mahnken, E. Stein, Modelling and Simulation in Materials Science and Engineering 2 (2002) 597–616.
LibreCat
| DOI
R. Mahnken, E. Stein, Modelling and Simulation in Materials Science and Engineering 2 (2002) 597–616.
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
S. Flake, C. Geiger, W. Müller, J. Ruf, in: Proceedings of IEEE KMN 2001, Cambridge, MA, USA , 2001.
2001 | Conference Paper | LibreCat-ID: 39421
The Simulation Semantics of SystemC
W. Müller, J. Ruf, D.W. Hoffmann, J. Gerlach, T. Kropf, W. Rosenstiehl, in: Proceedings of the Design, Automation, and Test in Europe (DATE’01), IEEE, Munich, Germany , 2001.
LibreCat
| DOI
W. Müller, J. Ruf, D.W. Hoffmann, J. Gerlach, T. Kropf, W. Rosenstiehl, in: Proceedings of the Design, Automation, and Test in Europe (DATE’01), IEEE, Munich, Germany , 2001.
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
C. Geiger, G. Lehrenfeld, W. Müller, in: Proceedings of HICSS-32, Maui, Hawaii, 1999.
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
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.
1995 | Conference Paper | LibreCat-ID: 39538
Complete Visual Specification and Animations of Protocols
W. Müller, G. Lehrenfeld, C. Tahedl, in: Proceedings of ASP-DAC’95/CHDL’95/VLSI’95 with EDA Technofair, Chiba, Japan , 1995.
LibreCat
| DOI
W. Müller, G. Lehrenfeld, C. Tahedl, in: Proceedings of ASP-DAC’95/CHDL’95/VLSI’95 with EDA Technofair, Chiba, Japan , 1995.
1991 | Journal Article | LibreCat-ID: 40218
Linear mean estimation of weakly stationary stochastic processes under the aspects of optimality and asymptotic optimality
R. Lasser, M. Rösler, Stochastic Processes and Their Applications 38 (1991) 279–293.
LibreCat
| DOI
R. Lasser, M. Rösler, Stochastic Processes and Their Applications 38 (1991) 279–293.