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
@inproceedings{Althoff_Neuhaus_Hemsel_Sextro_2013, place={Orlando (Florida), USA}, title={A friction based approach for modeling wire bonding}, DOI={10.4071/isom-2013-TA67}, booktitle={IMAPS 2013, 46th International Symposium on Microelectronics}, author={Althoff, Simon and Neuhaus, Jan and Hemsel, Tobias and Sextro, Walter}, year={2013} }
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 36919
@inproceedings{Mischkalla_Müller_2013, place={Karlsruhe}, title={Efficient Power-Intent Validation Using “Loosely-Timed” Simulation Models: A Non-Invasive Approach}, DOI={10.1109/PATMOS.2013.6662171}, publisher={IEEE}, author={Mischkalla, Fabian and Müller, Wolfgang}, year={2013} }
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 9784
@inproceedings{Hunstig_Hemsel_Sextro_2012, title={An efficient simulation technique for high-frequency piezoelectric inertia motors}, DOI={10.1109/ULTSYM.2012.0068}, booktitle={Ultrasonics Symposium (IUS), 2012 IEEE International}, author={Hunstig, Matthias and Hemsel, Tobias and Sextro, Walter}, year={2012}, pages={277–280} }
LibreCat
| DOI
2012 | Journal Article | LibreCat-ID: 45933
@article{Karátson_Kovács_2012, title={Variable preconditioning in complex Hilbert space and its application to the nonlinear Schrödinger equation}, volume={65}, DOI={10.1016/j.camwa.2012.04.021}, number={3}, journal={Computers & Mathematics with Applications}, publisher={Elsevier BV}, author={Karátson, J. and Kovács, Balázs}, year={2012}, pages={449–459} }
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37007
@inproceedings{Mischkalla_He_Müller_2010, place={Dresden}, title={Closing the Gap between UML-based Modeling and Simulation of Combined HW/SW Systems}, DOI={10.1109/DATE.2010.5456990}, booktitle={Proceedings of DATE’10}, publisher={IEEE}, author={Mischkalla, Fabian and He, Da and Müller, Wolfgang}, year={2010} }
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37037
@inproceedings{Krupp_Müller_2010, place={Dresden}, title={A Systematic Approach to Combined HW/SW System Test}, DOI={10.1109/DATE.2010.5457186}, booktitle={Proceedings of DATE’10}, publisher={IEEE}, author={Krupp, Alexander and Müller, Wolfgang}, year={2010} }
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37040
@inproceedings{Becker_Di Guglielmo_Fummi_Müller_Pravadelli_Xie_2010, place={Dresden}, title={RTOS-Aware Refinement for TLM2.0-based HW/SW Design}, DOI={10.1109/DATE.2010.5456965}, booktitle={Proceedings of DATE’10}, publisher={IEEE}, author={Becker, Markus and Di Guglielmo, Giuseppe and Fummi, Franco and Müller, Wolfgang and Pravadelli, Graziano and Xie, Tao}, year={2010} }
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37057
@inproceedings{Defo_Müller_Kuznik_2010, place={ Trento, Italy}, title={Verification of a CAN Bus Model in SystemC with Functional Coverage}, DOI={10.1109/SIES.2010.5551379}, booktitle={Proceedings of SIES 2010}, publisher={IEEE}, author={Defo, Gilles B. and Müller, Wolfgang and Kuznik, Christoph}, year={2010} }
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 24065
@inproceedings{Pottebaum_Japs_Prödel_Koch_2010, place={Seattle, WA}, title={Design and modeling of a domain ontology for fire protection}, booktitle={ISCRAM 2010 -- 7th International Conference on Information Systems for Crisis Response and Management}, author={Pottebaum, Jens and Japs, Anna Maria and Prödel, Stephan and Koch, Rainer}, editor={French, Simon and Tomaszewski, Brian and Zobel, Chris}, year={2010} }
LibreCat
2009 | Conference Paper | LibreCat-ID: 37067
@inproceedings{Schattkowsky_Xie_Müller_2009, place={Nice, France}, title={A UML Frontend for IP-XACT-based IP Management}, DOI={10.1109/DATE.2009.5090664}, booktitle={Proceedings of DATE’09}, publisher={IEEE}, author={Schattkowsky, Tim and Xie, Tao and Müller, Wolfgang}, year={2009} }
LibreCat
| DOI
2009 | Conference Paper | LibreCat-ID: 37066
@inproceedings{Zabel_Müller_2009, place={Nice, France}, title={Increased Accuracy through Noise Injection in Abstract RTOS Simulation}, DOI={10.1109/DATE.2009.5090925}, booktitle={Proceedings of DATE’09}, author={Zabel, Henning and Müller, Wolfgang}, year={2009} }
LibreCat
| DOI
2008 | Journal Article | LibreCat-ID: 9571
@article{Mracek_Hemsel_Sattel_Vasiljev_Wallaschek_2008, title={Driving concepts for bundled ultrasonic linear motors}, volume={20}, DOI={10.1007/s10832-007-9123-5}, number={3–4}, journal={Journal of Electroceramics}, publisher={Springer US}, author={Mracek, Maik and Hemsel, Tobias and Sattel, Thomas and Vasiljev, Piotr and Wallaschek, Jörg}, year={2008}, pages={153–158} }
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 39029
@inproceedings{Schattkowsky_Müller_Rettberg_2005, place={Munich, Germany }, title={A Model-Based Approach for Executable Specification on Reconfigurable Hardware}, DOI={10.1109/DATE.2005.20}, booktitle={Proceedings of DATE’05}, publisher={IEEE}, author={Schattkowsky, Tim and Müller, Wolfgang and Rettberg, Achim}, year={2005} }
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 39032
@inproceedings{Schattkowsky_Müller_2005, place={Dallas, TX, USA}, title={Transformation of UML State Machines for Direct Execution}, DOI={10.1109/VLHCC.2005.64}, booktitle={Proceedings of VL/HCC 05}, author={Schattkowsky, Tim and Müller, Wolfgang}, year={2005} }
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 39061
@inproceedings{Krupp_Müller_Oliver_2004, place={Paris}, title={Formal Refinement and Model Checking of An Echo Cancellation Unit}, DOI={10.1109/DATE.2004.1269214}, booktitle={Proceedings of DATE’04 Designers’ Forum}, author={Krupp, Alexander and Müller, Wolfgang and Oliver, Ian}, year={2004} }
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 39069
@inproceedings{Flake_Müller_2004, place={Beijing, China}, title={Past- and Future-Oriented Time-Bound Temporal Properties with OCL}, DOI={10.1109/SEFM.2004.1347516}, booktitle={Proceedings of SEFM´04}, publisher={IEEE}, author={Flake, Stephan and Müller, Wolfgang}, year={2004} }
LibreCat
| DOI
2002 | Conference Paper | LibreCat-ID: 39403
@inproceedings{Flake_Müller_2002, place={Big Island, HI, USA }, title={Specification of Real-Time Properties for UML Models}, DOI={10.1109/HICSS.2002.994469}, booktitle={Proceedings of HICSS-35}, author={Flake, Stephan and Müller, Wolfgang}, year={2002} }
LibreCat
| DOI
2002 | Journal Article | LibreCat-ID: 45418
@article{Mahnken_Tikhomirov_Stein_2002, title={Implicit integration scheme and its consistent linearization for an elastoplastic-damage model with application to concrete}, volume={75}, DOI={10.1016/s0045-7949(99)00089-9}, number={2}, journal={Computers & Structures}, publisher={Elsevier BV}, author={Mahnken, Rolf and Tikhomirov, D. and Stein, E.}, year={2002}, pages={135–143} }
LibreCat
| DOI
2002 | Journal Article | LibreCat-ID: 45423
@article{Mahnken_2002, title={Improved implementation of an algorithm for non-linear isotropic/kinematic hardening in elastoplasticity}, volume={15}, DOI={10.1002/(sici)1099-0887(199910)15:10<745::aid-cnm288>3.0.co;2-r}, number={10}, journal={Communications in Numerical Methods in Engineering}, publisher={Wiley}, author={Mahnken, Rolf}, year={2002}, pages={745–754} }
LibreCat
| DOI
2002 | Journal Article | LibreCat-ID: 45422
@article{Mahnken_2002, title={A comprehensive study of a multiplicative elastoplasticity model coupled to damage including parameter identification}, volume={74}, DOI={10.1016/s0045-7949(98)00296-x}, number={2}, journal={Computers & Structures}, publisher={Elsevier BV}, author={Mahnken, Rolf}, year={2002}, pages={179–200} }
LibreCat
| DOI