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
2013 | Conference Paper | LibreCat-ID: 9797
A friction based approach for modeling wire bonding
S. Althoff, J. Neuhaus, T. Hemsel, W. Sextro, in: IMAPS 2013, 46th International Symposium on Microelectronics, Orlando (Florida), USA, 2013.
LibreCat
| DOI
S. Althoff, J. Neuhaus, T. Hemsel, W. Sextro, in: IMAPS 2013, 46th International Symposium on Microelectronics, Orlando (Florida), USA, 2013.
2013 | Conference Paper | LibreCat-ID: 36919
Efficient Power-Intent Validation Using "Loosely-Timed" Simulation Models: A Non-Invasive Approach
F. Mischkalla, W. Müller, in: IEEE, Karlsruhe, 2013.
LibreCat
| DOI
F. Mischkalla, W. Müller, in: IEEE, Karlsruhe, 2013.
2012 | Conference Paper | LibreCat-ID: 9784
An efficient simulation technique for high-frequency piezoelectric inertia motors
M. Hunstig, T. Hemsel, W. Sextro, in: Ultrasonics Symposium (IUS), 2012 IEEE International, 2012, pp. 277–280.
LibreCat
| DOI
M. Hunstig, T. Hemsel, W. Sextro, in: Ultrasonics Symposium (IUS), 2012 IEEE International, 2012, pp. 277–280.
2012 | Journal Article | LibreCat-ID: 45933
Variable preconditioning in complex Hilbert space and its application to the nonlinear Schrödinger equation
J. Karátson, B. Kovács, Computers & Mathematics with Applications 65 (2012) 449–459.
LibreCat
| DOI
J. Karátson, B. Kovács, Computers & Mathematics with Applications 65 (2012) 449–459.
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.
2010 | Conference Paper | LibreCat-ID: 37037
A Systematic Approach to Combined HW/SW System Test
A. Krupp, W. Müller, in: Proceedings of DATE’10, IEEE, Dresden, 2010.
LibreCat
| DOI
A. Krupp, W. Müller, in: Proceedings of DATE’10, IEEE, Dresden, 2010.
2010 | Conference Paper | LibreCat-ID: 37040
RTOS-Aware Refinement for TLM2.0-based HW/SW Design
M. Becker, G. Di Guglielmo, F. Fummi, W. Müller, G. Pravadelli, T. Xie, in: Proceedings of DATE’10, IEEE, Dresden, 2010.
LibreCat
| DOI
M. Becker, G. Di Guglielmo, F. Fummi, W. Müller, G. Pravadelli, T. Xie, in: Proceedings of DATE’10, IEEE, Dresden, 2010.
2010 | Conference Paper | LibreCat-ID: 37057
Verification of a CAN Bus Model in SystemC with Functional Coverage
G.B. Defo, W. Müller, C. Kuznik, in: Proceedings of SIES 2010, IEEE, Trento, Italy, 2010.
LibreCat
| DOI
G.B. Defo, W. Müller, C. Kuznik, in: Proceedings of SIES 2010, IEEE, Trento, Italy, 2010.
2010 | Conference Paper | LibreCat-ID: 24065
Design and modeling of a domain ontology for fire protection
J. Pottebaum, A.M. Japs, S. Prödel, R. Koch, in: S. French, B. Tomaszewski, C. Zobel (Eds.), ISCRAM 2010 -- 7th International Conference on Information Systems for Crisis Response and Management, Seattle, WA, 2010.
LibreCat
J. Pottebaum, A.M. Japs, S. Prödel, R. Koch, in: S. French, B. Tomaszewski, C. Zobel (Eds.), ISCRAM 2010 -- 7th International Conference on Information Systems for Crisis Response and Management, Seattle, WA, 2010.
2009 | Conference Paper | LibreCat-ID: 37067
A UML Frontend for IP-XACT-based IP Management
T. Schattkowsky, T. Xie, W. Müller, in: Proceedings of DATE’09, IEEE, Nice, France, 2009.
LibreCat
| DOI
T. Schattkowsky, T. Xie, W. Müller, in: Proceedings of DATE’09, IEEE, Nice, France, 2009.
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.