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