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
Althoff S, Neuhaus J, Hemsel T, Sextro W. A friction based approach for modeling wire bonding. In: IMAPS 2013, 46th International Symposium on Microelectronics. Orlando (Florida), USA; 2013. doi:10.4071/isom-2013-TA67
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 36919
Mischkalla F, Müller W. Efficient Power-Intent Validation Using “Loosely-Timed” Simulation Models: A Non-Invasive Approach. In: IEEE; 2013. doi:10.1109/PATMOS.2013.6662171
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 9784
Hunstig M, Hemsel T, Sextro W. An efficient simulation technique for high-frequency piezoelectric inertia motors. In: Ultrasonics Symposium (IUS), 2012 IEEE International. ; 2012:277-280. doi:10.1109/ULTSYM.2012.0068
LibreCat
| DOI
2012 | Journal Article | LibreCat-ID: 45933
Karátson J, Kovács B. Variable preconditioning in complex Hilbert space and its application to the nonlinear Schrödinger equation. Computers & Mathematics with Applications. 2012;65(3):449-459. doi:10.1016/j.camwa.2012.04.021
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37007
Mischkalla F, He D, Müller W. Closing the Gap between UML-based Modeling and Simulation of Combined HW/SW Systems. In: Proceedings of DATE’10. IEEE; 2010. doi:10.1109/DATE.2010.5456990
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37037
Krupp A, Müller W. A Systematic Approach to Combined HW/SW System Test. In: Proceedings of DATE’10. IEEE; 2010. doi:10.1109/DATE.2010.5457186
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37040
Becker M, Di Guglielmo G, Fummi F, Müller W, Pravadelli G, Xie T. RTOS-Aware Refinement for TLM2.0-based HW/SW Design. In: Proceedings of DATE’10. IEEE; 2010. doi:10.1109/DATE.2010.5456965
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37057
Defo GB, Müller W, Kuznik C. Verification of a CAN Bus Model in SystemC with Functional Coverage. In: Proceedings of SIES 2010. IEEE; 2010. doi:10.1109/SIES.2010.5551379
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 24065
Pottebaum J, Japs AM, Prödel S, Koch R. Design and modeling of a domain ontology for fire protection. In: French S, Tomaszewski B, Zobel C, eds. ISCRAM 2010 -- 7th International Conference on Information Systems for Crisis Response and Management. ; 2010.
LibreCat
2009 | Conference Paper | LibreCat-ID: 37067
Schattkowsky T, Xie T, Müller W. A UML Frontend for IP-XACT-based IP Management. In: Proceedings of DATE’09. IEEE; 2009. doi:10.1109/DATE.2009.5090664
LibreCat
| DOI
2009 | Conference Paper | LibreCat-ID: 37066
Zabel H, Müller W. Increased Accuracy through Noise Injection in Abstract RTOS Simulation. In: Proceedings of DATE’09. ; 2009. doi:10.1109/DATE.2009.5090925
LibreCat
| DOI
2008 | Journal Article | LibreCat-ID: 9571
Mracek M, Hemsel T, Sattel T, Vasiljev P, Wallaschek J. Driving concepts for bundled ultrasonic linear motors. Journal of Electroceramics. 2008;20(3-4):153-158. doi:10.1007/s10832-007-9123-5
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 39029
Schattkowsky T, Müller W, Rettberg A. A Model-Based Approach for Executable Specification on Reconfigurable Hardware. In: Proceedings of DATE’05. IEEE; 2005. doi:10.1109/DATE.2005.20
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 39032
Schattkowsky T, Müller W. Transformation of UML State Machines for Direct Execution. In: Proceedings of VL/HCC 05. ; 2005. doi:10.1109/VLHCC.2005.64
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 39061
Krupp A, Müller W, Oliver I. Formal Refinement and Model Checking of An Echo Cancellation Unit. In: Proceedings of DATE’04 Designers’ Forum. ; 2004. doi:10.1109/DATE.2004.1269214
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 39069
Flake S, Müller W. Past- and Future-Oriented Time-Bound Temporal Properties with OCL. In: Proceedings of SEFM´04. IEEE; 2004. doi:10.1109/SEFM.2004.1347516
LibreCat
| DOI
2002 | Conference Paper | LibreCat-ID: 39403
Flake S, Müller W. Specification of Real-Time Properties for UML Models. In: Proceedings of HICSS-35. ; 2002. doi:10.1109/HICSS.2002.994469
LibreCat
| DOI
2002 | Journal Article | LibreCat-ID: 45418
Mahnken R, Tikhomirov D, Stein E. Implicit integration scheme and its consistent linearization for an elastoplastic-damage model with application to concrete. Computers & Structures. 2002;75(2):135-143. doi:10.1016/s0045-7949(99)00089-9
LibreCat
| DOI
2002 | Journal Article | LibreCat-ID: 45423
Mahnken R. Improved implementation of an algorithm for non-linear isotropic/kinematic hardening in elastoplasticity. Communications in Numerical Methods in Engineering. 2002;15(10):745-754. doi:10.1002/(sici)1099-0887(199910)15:10<745::aid-cnm288>3.0.co;2-r
LibreCat
| DOI
2002 | Journal Article | LibreCat-ID: 45422
Mahnken R. A comprehensive study of a multiplicative elastoplasticity model coupled to damage including parameter identification. Computers & Structures. 2002;74(2):179-200. doi:10.1016/s0045-7949(98)00296-x
LibreCat
| DOI