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.
9766 Publications
2014 | Book Chapter | LibreCat-ID: 20080
Methods for the Design and Development
H. Anacker, M. Dellnitz, K. Flaßkamp, S. Grocsbrink, P. Hartmann, C. Heinzemann, C. Horenkamp, B. Kleinjohann, S. Korf, M. Krüger, W. Müller, S. Ober-Blöbaum, S. Oberthür, M. Porrmann, C. Priesterjahn, R. Radkowski, C. Rasche, J. Rieke, M. Ringkamp, K. Stahl, D. Steenken, J. Stöcklein, R. Timmermann, A. Trächtler, K. Witting, T. Xie, S. Ziegert, in: Jürgen Gausemeier, Franz Josef Rammig, and Wilhelm Schäfer, Editors, Design Methodology for Intelligent Technical Systems, Springer Berlin Heidelberg, 2014, pp. 183–350.
LibreCat
| DOI
H. Anacker, M. Dellnitz, K. Flaßkamp, S. Grocsbrink, P. Hartmann, C. Heinzemann, C. Horenkamp, B. Kleinjohann, S. Korf, M. Krüger, W. Müller, S. Ober-Blöbaum, S. Oberthür, M. Porrmann, C. Priesterjahn, R. Radkowski, C. Rasche, J. Rieke, M. Ringkamp, K. Stahl, D. Steenken, J. Stöcklein, R. Timmermann, A. Trächtler, K. Witting, T. Xie, S. Ziegert, in: Jürgen Gausemeier, Franz Josef Rammig, and Wilhelm Schäfer, Editors, Design Methodology for Intelligent Technical Systems, Springer Berlin Heidelberg, 2014, pp. 183–350.
2014 | Book Chapter | LibreCat-ID: 29417
Dependability of Self-optimizing Mechatronic Systems
W. Dangelmeier, M. Dellnitz, R. Dorociak, K. Flaßkamp, J. Gausemeier, S. Groesbrink, P. Hartmann, C. Heinzemann, C. Hölscher, P. Iwanek, J.H. Keßler, B. Kleinjohann, L. Kleinjohann, S. Korf, M. Krüger, T. Meyer, W. Müller, S. Ober-Blöbaum, M. Porrmann, C. Priesterjahn, F.J. Rammig, C. Rasche, P. Reinold, W. Schäfer, A. Seifried, W. Sextro, C. Sondermann-Woelke, K. Stahl, D. Steenken, R. Timmermann, A. Trächtler, M. Vaßholz, H. Wehrheim, K. Witting, T. Xie, Y. Zhao, S. Ziegert, D. Zimmer, in: Lecture Notes in Mechanical Engineering, Springer, Heidelberg New York Dordrecht London, 2014.
LibreCat
W. Dangelmeier, M. Dellnitz, R. Dorociak, K. Flaßkamp, J. Gausemeier, S. Groesbrink, P. Hartmann, C. Heinzemann, C. Hölscher, P. Iwanek, J.H. Keßler, B. Kleinjohann, L. Kleinjohann, S. Korf, M. Krüger, T. Meyer, W. Müller, S. Ober-Blöbaum, M. Porrmann, C. Priesterjahn, F.J. Rammig, C. Rasche, P. Reinold, W. Schäfer, A. Seifried, W. Sextro, C. Sondermann-Woelke, K. Stahl, D. Steenken, R. Timmermann, A. Trächtler, M. Vaßholz, H. Wehrheim, K. Witting, T. Xie, Y. Zhao, S. Ziegert, D. Zimmer, in: Lecture Notes in Mechanical Engineering, Springer, Heidelberg New York Dordrecht London, 2014.
2014 | Book Chapter | LibreCat-ID: 29416
The paradigm of self-optimization
M. Dellnitz, R. Dumitrescu, K. Flaßkamp, J. Gausemeier, P. Hartmann, P. Iwanek, S. Korf, M. Krüger, S. Ober-Blöbaum, M. Porrmann, C. Priesterjahn, K. Stahl, A. Trächtler, M. Vaßholz, in: Jürgen Gausemeier, Franz Josef Rammig, and Wilhelm Schäfer, Editors, Design Methodology for Intelligent Technical Systems, Springer, Berlin Heidelberg, 2014, pp. 1–25.
LibreCat
M. Dellnitz, R. Dumitrescu, K. Flaßkamp, J. Gausemeier, P. Hartmann, P. Iwanek, S. Korf, M. Krüger, S. Ober-Blöbaum, M. Porrmann, C. Priesterjahn, K. Stahl, A. Trächtler, M. Vaßholz, in: Jürgen Gausemeier, Franz Josef Rammig, and Wilhelm Schäfer, Editors, Design Methodology for Intelligent Technical Systems, Springer, Berlin Heidelberg, 2014, pp. 1–25.
2014 | Book Chapter | LibreCat-ID: 29414
Variational Lie group formulation of geometrically exact beam dynamics: Synchronous and asynchronous integration
T. Leitz, S. Ober-Blöbaum, S. Leyendecker, in: Zdravko Terze, Multibody Dynamics, Springer International Publishing, 2014, pp. 175–203.
LibreCat
T. Leitz, S. Ober-Blöbaum, S. Leyendecker, in: Zdravko Terze, Multibody Dynamics, Springer International Publishing, 2014, pp. 175–203.
2014 | Journal Article | LibreCat-ID: 31294
Equivariant spectral asymptotics forh-pseudodifferential operators
T. Weich, Journal of Mathematical Physics 55 (2014).
LibreCat
| DOI
| arXiv
T. Weich, Journal of Mathematical Physics 55 (2014).
2014 | Journal Article | LibreCat-ID: 33029
Die Rolle von Batteriespeichern in KMU-Microgrids
T. Vogt, J. Böcker, S. Kempen, BWK – Das Energie-Fachmagazin – Springer VDI Verlag, Ausgabe 12-2014 (2014).
LibreCat
T. Vogt, J. Böcker, S. Kempen, BWK – Das Energie-Fachmagazin – Springer VDI Verlag, Ausgabe 12-2014 (2014).
2014 | Conference Paper | LibreCat-ID: 33107
Design Considerations on Peak Power Clipping Thresholds in Microgrids
T. Vogt, N. Fröhleke, J. Böcker, S. Kempen, in: 6th World Conference on Photovoltaic Energy Conversion (WCPEC), 2014.
LibreCat
| Files available
T. Vogt, N. Fröhleke, J. Böcker, S. Kempen, in: 6th World Conference on Photovoltaic Energy Conversion (WCPEC), 2014.
2014 | Journal Article | LibreCat-ID: 33361
Exponential ergodicity of killed Lévy processes in a finite interval
M. Kolb, M. Savov, Electronic Communications in Probability 19 (2014) 1–9.
LibreCat
| DOI
M. Kolb, M. Savov, Electronic Communications in Probability 19 (2014) 1–9.
2014 | Journal Article | LibreCat-ID: 33362
The Brownian traveller on manifolds
M. Kolb, D. Krejčiřík, Journal of Spectral Theory 4 (2014) 235–281.
LibreCat
| DOI
M. Kolb, D. Krejčiřík, Journal of Spectral Theory 4 (2014) 235–281.
2014 | Conference Paper | LibreCat-ID: 24301
mm-Wellen- und Electronic-Photonic System-on-Chip Design
C. Scheytt, in: Fakultätskolloquium Der Fakultät Für Elektrotechnik Und Informationstechnik, Institut für Technologie, Karlsruhe, 2014.
LibreCat
C. Scheytt, in: Fakultätskolloquium Der Fakultät Für Elektrotechnik Und Informationstechnik, Institut für Technologie, Karlsruhe, 2014.
2014 | Conference Paper | LibreCat-ID: 25120
Architectural Low-Power Design Using Transaction-Based System Simulation
F. Mischkalla, W. Müller, in: Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XIV), IEEE, 2014.
LibreCat
F. Mischkalla, W. Müller, in: Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XIV), IEEE, 2014.
2014 | Conference Paper | LibreCat-ID: 25146
Source code annotated memory leak detection for soft real time embedded systems with resource constraints
M. tech. M.M. Joy, W. Müller, F.-J. Rammig, in: 12th IEEE International Conference on Embedded Computing, 2014.
LibreCat
M. tech. M.M. Joy, W. Müller, F.-J. Rammig, in: 12th IEEE International Conference on Embedded Computing, 2014.
2014 | Conference Paper | LibreCat-ID: 25144
Advanced SoC Virtual Prototyping for System-Level Power Planning and Validation
F. Mischkalla, W. Müller, in: PATMOS 2014, Palma de Mallorca, Spain, 2014.
LibreCat
F. Mischkalla, W. Müller, in: PATMOS 2014, Palma de Mallorca, Spain, 2014.
2014 | Conference Paper | LibreCat-ID: 36918
Fault Effect Modeling in a Heterogeneous SystemC Based Virtual Platform Framework for Cyber Physical Systems
M. Becker, C. Kuznik, W. Müller, in: IEEE, Berlin, 2014.
LibreCat
| DOI
M. Becker, C. Kuznik, W. Müller, in: IEEE, Berlin, 2014.
2014 | Conference Paper | LibreCat-ID: 36917
An Assisted Single Source Verification Metric Model Code Generation Methodology
C. Kuznik, W. Müller, G.B. Defo, in: San Francisco, USA, 2014.
LibreCat
C. Kuznik, W. Müller, G.B. Defo, in: San Francisco, USA, 2014.
2014 | Conference Paper | LibreCat-ID: 25166
Modellierung effizienter Stresstest-Umgebungen für virtuelle Prototypen mit SVM
C. Kuznik, W. Müller, in: 26. ITG / GI / GMM Workshop Testmethoden und Zuverlässigkeit von Schaltungen und Systemen, 2014.
LibreCat
C. Kuznik, W. Müller, in: 26. ITG / GI / GMM Workshop Testmethoden und Zuverlässigkeit von Schaltungen und Systemen, 2014.
2014 | Conference Paper | LibreCat-ID: 25163
Semi-automatische Generierung von Überdeckungsmetriken mittels methodischer Verikationsplan Verarbeitung
C. Kuznik, B.G. Defo, W. Müller, in: 17. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV 2014) , 2014.
LibreCat
C. Kuznik, B.G. Defo, W. Müller, in: 17. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV 2014) , 2014.
2014 | Journal Article | LibreCat-ID: 25151
An Assisted Single Source Verification Metric Model Code Generation Methodology
C. Kuznik, B.G. Defo, W. Müller, Electronic System Level Synthesis Conference (ESLSyn) (2014).
LibreCat
C. Kuznik, B.G. Defo, W. Müller, Electronic System Level Synthesis Conference (ESLSyn) (2014).
2014 | Conference Paper | LibreCat-ID: 35714
Lecture meets laboratory experimental experiences for large audiences: Concept and implementation
K. Temmen, B. Nofen, M. Wehebrink, in: 2014 IEEE Global Engineering Education Conference (EDUCON), IEEE, 2014.
LibreCat
| DOI
K. Temmen, B. Nofen, M. Wehebrink, in: 2014 IEEE Global Engineering Education Conference (EDUCON), IEEE, 2014.
2014 | Journal Article | LibreCat-ID: 31296
Resonance chains in open systems, generalized zeta functions and clustering of the length spectrum
S. Barkhofen, F. Faure, T. Weich, Nonlinearity 27 (2014) 1829–1858.
LibreCat
| DOI
| arXiv
S. Barkhofen, F. Faure, T. Weich, Nonlinearity 27 (2014) 1829–1858.