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
S. Althoff, J. Neuhaus, T. Hemsel, and W. Sextro, “A friction based approach for modeling wire bonding,” in IMAPS 2013, 46th International Symposium on Microelectronics, 2013.
LibreCat | DOI
 

2013 | Conference Paper | LibreCat-ID: 36919
F. Mischkalla and W. Müller, “Efficient Power-Intent Validation Using ‘Loosely-Timed’ Simulation Models: A Non-Invasive Approach,” presented at the 23rd International Workshop on Power and Timing Modeling, Optimization and Simulation (PATMOS), 2013, doi: 10.1109/PATMOS.2013.6662171.
LibreCat | DOI
 

2012 | Conference Paper | LibreCat-ID: 9784
M. Hunstig, T. Hemsel, and W. Sextro, “An efficient simulation technique for high-frequency piezoelectric inertia motors,” in Ultrasonics Symposium (IUS), 2012 IEEE International, 2012, pp. 277–280.
LibreCat | DOI
 

2012 | Journal Article | LibreCat-ID: 45933
J. Karátson and B. Kovács, “Variable preconditioning in complex Hilbert space and its application to the nonlinear Schrödinger equation,” Computers & Mathematics with Applications, vol. 65, no. 3, pp. 449–459, 2012, doi: 10.1016/j.camwa.2012.04.021.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 37007
F. Mischkalla, D. He, and W. Müller, “Closing the Gap between UML-based Modeling and Simulation of Combined HW/SW Systems,” presented at the 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010), Dresden, 2010, doi: 10.1109/DATE.2010.5456990.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 37037
A. Krupp and W. Müller, “A Systematic Approach to Combined HW/SW System Test,” presented at the Design, Automation & Test in Europe Conference & Exhibition (DATE 2010), Dresden, 2010, doi: 10.1109/DATE.2010.5457186.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 37040
M. Becker, G. Di Guglielmo, F. Fummi, W. Müller, G. Pravadelli, and T. Xie, “RTOS-Aware Refinement for TLM2.0-based HW/SW Design,” presented at the Design, Automation & Test in Europe Conference & Exhibition (DATE 2010), Dresden, 2010, doi: 10.1109/DATE.2010.5456965.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 37057
G. B. Defo, W. Müller, and C. Kuznik, “Verification of a CAN Bus Model in SystemC with Functional Coverage,” presented at the International Symposium on Industrial Embedded System (SIES), Trento, Italy, 2010, doi: 10.1109/SIES.2010.5551379.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 24065
J. Pottebaum, A. M. Japs, S. Prödel, and R. Koch, “Design and modeling of a domain ontology for fire protection,” in ISCRAM 2010 -- 7th International Conference on Information Systems for Crisis Response and Management, 2010.
LibreCat
 

2009 | Conference Paper | LibreCat-ID: 37067
T. Schattkowsky, T. Xie, and W. Müller, “A UML Frontend for IP-XACT-based IP Management,” presented at the Design, Automation & Test in Europe Conference & Exhibition, 2009, doi: 10.1109/DATE.2009.5090664.
LibreCat | DOI
 

2009 | Conference Paper | LibreCat-ID: 37066
H. Zabel and W. Müller, “Increased Accuracy through Noise Injection in Abstract RTOS Simulation,” presented at the Design, Automation & Test in Europe Conference & Exhibition, 2009, doi: 10.1109/DATE.2009.5090925.
LibreCat | DOI
 

2008 | Journal Article | LibreCat-ID: 9571
M. Mracek, T. Hemsel, T. Sattel, P. Vasiljev, and J. Wallaschek, “Driving concepts for bundled ultrasonic linear motors,” Journal of Electroceramics, vol. 20, no. 3–4, pp. 153–158, 2008.
LibreCat | DOI
 

2005 | Conference Paper | LibreCat-ID: 39029
T. Schattkowsky, W. Müller, and A. Rettberg, “A Model-Based Approach for Executable Specification on Reconfigurable Hardware,” 2005, doi: 10.1109/DATE.2005.20.
LibreCat | DOI
 

2005 | Conference Paper | LibreCat-ID: 39032
T. Schattkowsky and W. Müller, “Transformation of UML State Machines for Direct Execution,” 2005, doi: 10.1109/VLHCC.2005.64.
LibreCat | DOI
 

2004 | Conference Paper | LibreCat-ID: 39061
A. Krupp, W. Müller, and I. Oliver, “Formal Refinement and Model Checking of An Echo Cancellation Unit,” presented at the Proceedings Design, Automation and Test in Europe Conference and Exhibition, 2004, doi: 10.1109/DATE.2004.1269214.
LibreCat | DOI
 

2004 | Conference Paper | LibreCat-ID: 39069
S. Flake and W. Müller, “Past- and Future-Oriented Time-Bound Temporal Properties with OCL,” presented at the Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004, doi: 10.1109/SEFM.2004.1347516.
LibreCat | DOI
 

2002 | Conference Paper | LibreCat-ID: 39403
S. Flake and W. Müller, “Specification of Real-Time Properties for UML Models,” presented at the Proceedings of the 35th Annual Hawaii International Conference on System Sciences, Big Island, HI, USA , 2002, doi: 10.1109/HICSS.2002.994469.
LibreCat | DOI
 

2002 | Journal Article | LibreCat-ID: 45418
R. Mahnken, D. Tikhomirov, and E. Stein, “Implicit integration scheme and its consistent linearization for an elastoplastic-damage model with application to concrete,” Computers & Structures, vol. 75, no. 2, pp. 135–143, 2002, doi: 10.1016/s0045-7949(99)00089-9.
LibreCat | DOI
 

2002 | Journal Article | LibreCat-ID: 45423
R. Mahnken, “Improved implementation of an algorithm for non-linear isotropic/kinematic hardening in elastoplasticity,” Communications in Numerical Methods in Engineering, vol. 15, no. 10, pp. 745–754, 2002, 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
R. Mahnken, “A comprehensive study of a multiplicative elastoplasticity model coupled to damage including parameter identification,” Computers &amp; Structures, vol. 74, no. 2, pp. 179–200, 2002, doi: 10.1016/s0045-7949(98)00296-x.
LibreCat | DOI
 

Filters and Search Terms

keyword="modeling"

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed