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.
69 Publications
2013 | Journal Article | LibreCat-ID: 4699
Designing interaction routines in service networks: A modularity and social construction-based approach
J. Becker, D. Beverungen, R. Knackstedt, M. Matzner, O. Müller, J. Pöppelbuss, Scandinavian Journal of Information Systems (2013) 17--47.
LibreCat
| Download (ext.)
J. Becker, D. Beverungen, R. Knackstedt, M. Matzner, O. Müller, J. Pöppelbuss, Scandinavian Journal of Information Systems (2013) 17--47.
2013 | Conference Paper | LibreCat-ID: 9796
Characteristics of Piezoelectric Energy Harvesters in Autonomous Systems
W. Al-Ashtari, M. Hunstig, T. Hemsel, W. Sextro, in: Proceedings of 10th International Workshop on Piezoelectric Materials and Applications and 8th Energy Harvesting Workshop, Hannover, Germany, 14.-17.7.2013, Hannover, Germany, 2013, pp. 159–161.
LibreCat
W. Al-Ashtari, M. Hunstig, T. Hemsel, W. Sextro, in: Proceedings of 10th International Workshop on Piezoelectric Materials and Applications and 8th Energy Harvesting Workshop, Hannover, Germany, 14.-17.7.2013, Hannover, Germany, 2013, pp. 159–161.
2013 | Conference Paper | LibreCat-ID: 9797
A friction based approach for modeling wire bonding
S. Althoff, J. Neuhaus, T. Hemsel, W. Sextro, in: IMAPS 2013, 46th International Symposium on Microelectronics, Orlando (Florida), USA, 2013.
LibreCat
| DOI
S. Althoff, J. Neuhaus, T. Hemsel, W. Sextro, in: IMAPS 2013, 46th International Symposium on Microelectronics, Orlando (Florida), USA, 2013.
2013 | Conference Paper | LibreCat-ID: 36919
Efficient Power-Intent Validation Using "Loosely-Timed" Simulation Models: A Non-Invasive Approach
F. Mischkalla, W. Müller, in: IEEE, Karlsruhe, 2013.
LibreCat
| DOI
F. Mischkalla, W. Müller, in: IEEE, Karlsruhe, 2013.
2012 | Conference Paper | LibreCat-ID: 9784
An efficient simulation technique for high-frequency piezoelectric inertia motors
M. Hunstig, T. Hemsel, W. Sextro, in: Ultrasonics Symposium (IUS), 2012 IEEE International, 2012, pp. 277–280.
LibreCat
| DOI
M. Hunstig, T. Hemsel, W. Sextro, in: Ultrasonics Symposium (IUS), 2012 IEEE International, 2012, pp. 277–280.
2012 | Journal Article | LibreCat-ID: 45933
Variable preconditioning in complex Hilbert space and its application to the nonlinear Schrödinger equation
J. Karátson, B. Kovács, Computers & Mathematics with Applications 65 (2012) 449–459.
LibreCat
| DOI
J. Karátson, B. Kovács, Computers & Mathematics with Applications 65 (2012) 449–459.
2010 | Conference Paper | LibreCat-ID: 24065
Design and modeling of a domain ontology for fire protection
J. Pottebaum, A.M. Japs, S. Prödel, R. Koch, in: S. French, B. Tomaszewski, C. Zobel (Eds.), ISCRAM 2010 -- 7th International Conference on Information Systems for Crisis Response and Management, Seattle, WA, 2010.
LibreCat
J. Pottebaum, A.M. Japs, S. Prödel, R. Koch, in: S. French, B. Tomaszewski, C. Zobel (Eds.), ISCRAM 2010 -- 7th International Conference on Information Systems for Crisis Response and Management, Seattle, WA, 2010.
2010 | Conference Paper | LibreCat-ID: 37007
Closing the Gap between UML-based Modeling and Simulation of Combined HW/SW Systems
F. Mischkalla, D. He, W. Müller, in: Proceedings of DATE’10, IEEE, Dresden, 2010.
LibreCat
| DOI
F. Mischkalla, D. He, W. Müller, in: Proceedings of DATE’10, IEEE, Dresden, 2010.
2010 | Conference Paper | LibreCat-ID: 37037
A Systematic Approach to Combined HW/SW System Test
A. Krupp, W. Müller, in: Proceedings of DATE’10, IEEE, Dresden, 2010.
LibreCat
| DOI
A. Krupp, W. Müller, in: Proceedings of DATE’10, IEEE, Dresden, 2010.
2010 | Conference Paper | LibreCat-ID: 37040
RTOS-Aware Refinement for TLM2.0-based HW/SW Design
M. Becker, G. Di Guglielmo, F. Fummi, W. Müller, G. Pravadelli, T. Xie, in: Proceedings of DATE’10, IEEE, Dresden, 2010.
LibreCat
| DOI
M. Becker, G. Di Guglielmo, F. Fummi, W. Müller, G. Pravadelli, T. Xie, in: Proceedings of DATE’10, IEEE, Dresden, 2010.
2010 | Conference Paper | LibreCat-ID: 37057
Verification of a CAN Bus Model in SystemC with Functional Coverage
G.B. Defo, W. Müller, C. Kuznik, in: Proceedings of SIES 2010, IEEE, Trento, Italy, 2010.
LibreCat
| DOI
G.B. Defo, W. Müller, C. Kuznik, in: Proceedings of SIES 2010, IEEE, Trento, Italy, 2010.
2009 | Conference Paper | LibreCat-ID: 37067
A UML Frontend for IP-XACT-based IP Management
T. Schattkowsky, T. Xie, W. Müller, in: Proceedings of DATE’09, IEEE, Nice, France, 2009.
LibreCat
| DOI
T. Schattkowsky, T. Xie, W. Müller, in: Proceedings of DATE’09, IEEE, Nice, France, 2009.
2009 | Conference Paper | LibreCat-ID: 37066
Increased Accuracy through Noise Injection in Abstract RTOS Simulation
H. Zabel, W. Müller, in: Proceedings of DATE’09, Nice, France, 2009.
LibreCat
| DOI
H. Zabel, W. Müller, in: Proceedings of DATE’09, Nice, France, 2009.
2008 | Journal Article | LibreCat-ID: 9571
Driving concepts for bundled ultrasonic linear motors
M. Mracek, T. Hemsel, T. Sattel, P. Vasiljev, J. Wallaschek, Journal of Electroceramics 20 (2008) 153–158.
LibreCat
| DOI
M. Mracek, T. Hemsel, T. Sattel, P. Vasiljev, J. Wallaschek, Journal of Electroceramics 20 (2008) 153–158.
2005 | Conference Paper | LibreCat-ID: 39029
A Model-Based Approach for Executable Specification on Reconfigurable Hardware
T. Schattkowsky, W. Müller, A. Rettberg, in: Proceedings of DATE’05, IEEE, Munich, Germany , 2005.
LibreCat
| DOI
T. Schattkowsky, W. Müller, A. Rettberg, in: Proceedings of DATE’05, IEEE, Munich, Germany , 2005.
2005 | Conference Paper | LibreCat-ID: 39032
Transformation of UML State Machines for Direct Execution
T. Schattkowsky, W. Müller, in: Proceedings of VL/HCC 05, Dallas, TX, USA, 2005.
LibreCat
| DOI
T. Schattkowsky, W. Müller, in: Proceedings of VL/HCC 05, Dallas, TX, USA, 2005.
2004 | Conference Paper | LibreCat-ID: 39061
Formal Refinement and Model Checking of An Echo Cancellation Unit
A. Krupp, W. Müller, I. Oliver, in: Proceedings of DATE’04 Designers’ Forum, Paris, 2004.
LibreCat
| DOI
A. Krupp, W. Müller, I. Oliver, in: Proceedings of DATE’04 Designers’ Forum, Paris, 2004.
2004 | Conference Paper | LibreCat-ID: 39069
Past- and Future-Oriented Time-Bound Temporal Properties with OCL
S. Flake, W. Müller, in: Proceedings of SEFM´04, IEEE, Beijing, China, 2004.
LibreCat
| DOI
S. Flake, W. Müller, in: Proceedings of SEFM´04, IEEE, Beijing, China, 2004.
2002 | Conference Paper | LibreCat-ID: 39403
Specification of Real-Time Properties for UML Models
S. Flake, W. Müller, in: Proceedings of HICSS-35, Big Island, HI, USA , 2002.
LibreCat
| DOI
S. Flake, W. Müller, in: Proceedings of HICSS-35, Big Island, HI, USA , 2002.
2002 | Journal Article | LibreCat-ID: 45418
Implicit integration scheme and its consistent linearization for an elastoplastic-damage model with application to concrete
R. Mahnken, D. Tikhomirov, E. Stein, Computers & Structures 75 (2002) 135–143.
LibreCat
| DOI
R. Mahnken, D. Tikhomirov, E. Stein, Computers & Structures 75 (2002) 135–143.