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, et al. “A Friction Based Approach for Modeling Wire Bonding.” IMAPS 2013, 46th International Symposium on Microelectronics, 2013, doi: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. IEEE, 2013, doi:10.1109/PATMOS.2013.6662171.
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 9784
Hunstig, Matthias, et al. “An Efficient Simulation Technique for High-Frequency Piezoelectric Inertia Motors.” Ultrasonics Symposium (IUS), 2012 IEEE International, 2012, pp. 277–80, doi: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, vol. 65, no. 3, Elsevier BV, 2012, pp. 449–59, doi:10.1016/j.camwa.2012.04.021.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37007
Mischkalla, Fabian, et al. “Closing the Gap between UML-Based Modeling and Simulation of Combined HW/SW Systems.” Proceedings of DATE’10, IEEE, 2010, doi: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.” Proceedings of DATE’10, IEEE, 2010, doi:10.1109/DATE.2010.5457186.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37040
Becker, Markus, et al. “RTOS-Aware Refinement for TLM2.0-Based HW/SW Design.” Proceedings of DATE’10, IEEE, 2010, doi:10.1109/DATE.2010.5456965.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37057
Defo, Gilles B., et al. “Verification of a CAN Bus Model in SystemC with Functional Coverage.” Proceedings of SIES 2010, IEEE, 2010, doi:10.1109/SIES.2010.5551379.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 24065
Pottebaum, Jens, et al. “Design and Modeling of a Domain Ontology for Fire Protection.” ISCRAM 2010 -- 7th International Conference on Information Systems for Crisis Response and Management, edited by Simon French et al., 2010.
LibreCat
2009 | Conference Paper | LibreCat-ID: 37067
Schattkowsky, Tim, et al. “A UML Frontend for IP-XACT-Based IP Management.” Proceedings of DATE’09, IEEE, 2009, doi: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.” Proceedings of DATE’09, 2009, doi:10.1109/DATE.2009.5090925.
LibreCat
| DOI
2008 | Journal Article | LibreCat-ID: 9571
Mracek, Maik, et al. “Driving Concepts for Bundled Ultrasonic Linear Motors.” Journal of Electroceramics, vol. 20, no. 3–4, Springer US, 2008, pp. 153–58, doi:10.1007/s10832-007-9123-5.
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 39029
Schattkowsky, Tim, et al. “A Model-Based Approach for Executable Specification on Reconfigurable Hardware.” Proceedings of DATE’05, IEEE, 2005, doi: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.” Proceedings of VL/HCC 05, 2005, doi:10.1109/VLHCC.2005.64.
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 39061
Krupp, Alexander, et al. “Formal Refinement and Model Checking of An Echo Cancellation Unit.” Proceedings of DATE’04 Designers’ Forum, 2004, doi: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.” Proceedings of SEFM´04, IEEE, 2004, doi: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.” Proceedings of HICSS-35, 2002, doi:10.1109/HICSS.2002.994469.
LibreCat
| DOI
2002 | Journal Article | LibreCat-ID: 45418
Mahnken, Rolf, et al. “Implicit Integration Scheme and Its Consistent Linearization for an Elastoplastic-Damage Model with Application to Concrete.” Computers & Structures, vol. 75, no. 2, Elsevier BV, 2002, pp. 135–43, doi: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, vol. 15, no. 10, Wiley, 2002, pp. 745–54, 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, Rolf. “A Comprehensive Study of a Multiplicative Elastoplasticity Model Coupled to Damage Including Parameter Identification.” Computers & Structures, vol. 74, no. 2, Elsevier BV, 2002, pp. 179–200, doi:10.1016/s0045-7949(98)00296-x.
LibreCat
| DOI