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, Simon, Jan Neuhaus, Tobias Hemsel, and Walter Sextro. “A Friction Based Approach for Modeling Wire Bonding.” In IMAPS 2013, 46th International Symposium on Microelectronics. Orlando (Florida), USA, 2013. https://doi.org/10.4071/isom-2013-TA67.
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 36919
Mischkalla, Fabian, and Wolfgang Müller. “Efficient Power-Intent Validation Using ‘Loosely-Timed’ Simulation Models: A Non-Invasive Approach.” Karlsruhe: IEEE, 2013. https://doi.org/10.1109/PATMOS.2013.6662171.
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 9784
Hunstig, Matthias, Tobias Hemsel, and Walter Sextro. “An Efficient Simulation Technique for High-Frequency Piezoelectric Inertia Motors.” In Ultrasonics Symposium (IUS), 2012 IEEE International, 277–80, 2012. https://doi.org/10.1109/ULTSYM.2012.0068.
LibreCat
| DOI
2012 | Journal Article | LibreCat-ID: 45933
Karátson, J., and Balázs Kovács. “Variable Preconditioning in Complex Hilbert Space and Its Application to the Nonlinear Schrödinger Equation.” Computers & Mathematics with Applications 65, no. 3 (2012): 449–59. https://doi.org/10.1016/j.camwa.2012.04.021.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37007
Mischkalla, Fabian, Da He, and Wolfgang Müller. “Closing the Gap between UML-Based Modeling and Simulation of Combined HW/SW Systems.” In Proceedings of DATE’10. Dresden: IEEE, 2010. https://doi.org/10.1109/DATE.2010.5456990.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37037
Krupp, Alexander, and Wolfgang Müller. “A Systematic Approach to Combined HW/SW System Test.” In Proceedings of DATE’10. Dresden: IEEE, 2010. https://doi.org/10.1109/DATE.2010.5457186.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37040
Becker, Markus, Giuseppe Di Guglielmo, Franco Fummi, Wolfgang Müller, Graziano Pravadelli, and Tao Xie. “RTOS-Aware Refinement for TLM2.0-Based HW/SW Design.” In Proceedings of DATE’10. Dresden: IEEE, 2010. https://doi.org/10.1109/DATE.2010.5456965.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37057
Defo, Gilles B., Wolfgang Müller, and Christoph Kuznik. “Verification of a CAN Bus Model in SystemC with Functional Coverage.” In Proceedings of SIES 2010. Trento, Italy: IEEE, 2010. https://doi.org/10.1109/SIES.2010.5551379.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 24065
Pottebaum, Jens, Anna Maria Japs, Stephan Prödel, and Rainer 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, edited by Simon French, Brian Tomaszewski, and Chris Zobel. Seattle, WA, 2010.
LibreCat
2009 | Conference Paper | LibreCat-ID: 37067
Schattkowsky, Tim, Tao Xie, and Wolfgang Müller. “A UML Frontend for IP-XACT-Based IP Management.” In Proceedings of DATE’09. Nice, France: IEEE, 2009. https://doi.org/10.1109/DATE.2009.5090664.
LibreCat
| DOI
2009 | Conference Paper | LibreCat-ID: 37066
Zabel, Henning, and Wolfgang Müller. “Increased Accuracy through Noise Injection in Abstract RTOS Simulation.” In Proceedings of DATE’09. Nice, France, 2009. https://doi.org/10.1109/DATE.2009.5090925.
LibreCat
| DOI
2008 | Journal Article | LibreCat-ID: 9571
Mracek, Maik, Tobias Hemsel, Thomas Sattel, Piotr Vasiljev, and Jörg Wallaschek. “Driving Concepts for Bundled Ultrasonic Linear Motors.” Journal of Electroceramics 20, no. 3–4 (2008): 153–58. https://doi.org/10.1007/s10832-007-9123-5.
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 39029
Schattkowsky, Tim, Wolfgang Müller, and Achim Rettberg. “A Model-Based Approach for Executable Specification on Reconfigurable Hardware.” In Proceedings of DATE’05. Munich, Germany : IEEE, 2005. https://doi.org/10.1109/DATE.2005.20.
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 39032
Schattkowsky, Tim, and Wolfgang Müller. “Transformation of UML State Machines for Direct Execution.” In Proceedings of VL/HCC 05. Dallas, TX, USA, 2005. https://doi.org/10.1109/VLHCC.2005.64.
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 39061
Krupp, Alexander, Wolfgang Müller, and Ian Oliver. “Formal Refinement and Model Checking of An Echo Cancellation Unit.” In Proceedings of DATE’04 Designers’ Forum. Paris, 2004. https://doi.org/10.1109/DATE.2004.1269214.
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 39069
Flake, Stephan, and Wolfgang Müller. “Past- and Future-Oriented Time-Bound Temporal Properties with OCL.” In Proceedings of SEFM´04. Beijing, China: IEEE, 2004. https://doi.org/10.1109/SEFM.2004.1347516.
LibreCat
| DOI
2002 | Conference Paper | LibreCat-ID: 39403
Flake, Stephan, and Wolfgang Müller. “Specification of Real-Time Properties for UML Models.” In Proceedings of HICSS-35. Big Island, HI, USA , 2002. https://doi.org/10.1109/HICSS.2002.994469.
LibreCat
| DOI
2002 | Journal Article | LibreCat-ID: 45418
Mahnken, Rolf, D. Tikhomirov, and E. Stein. “Implicit Integration Scheme and Its Consistent Linearization for an Elastoplastic-Damage Model with Application to Concrete.” Computers & Structures 75, no. 2 (2002): 135–43. https://doi.org/10.1016/s0045-7949(99)00089-9.
LibreCat
| DOI
2002 | Journal Article | LibreCat-ID: 45423
Mahnken, Rolf. “Improved Implementation of an Algorithm for Non-Linear Isotropic/Kinematic Hardening in Elastoplasticity.” Communications in Numerical Methods in Engineering 15, no. 10 (2002): 745–54. 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, Rolf. “A Comprehensive Study of a Multiplicative Elastoplasticity Model Coupled to Damage Including Parameter Identification.” Computers & Structures 74, no. 2 (2002): 179–200. https://doi.org/10.1016/s0045-7949(98)00296-x.
LibreCat
| DOI