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.
136 Publications
2017 | Conference Paper | LibreCat-ID: 20559
Just-in-time Static Analysis
L.N.Q. Do, K. Ali, B. Livshits, E. Bodden, J. Smith, E. Murphy-Hill, in: Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, ACM, New York, NY, USA, 2017, pp. 307–317.
LibreCat
| DOI
| Download (ext.)
L.N.Q. Do, K. Ali, B. Livshits, E. Bodden, J. Smith, E. Murphy-Hill, in: Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, ACM, New York, NY, USA, 2017, pp. 307–317.
2017 | Conference Paper | LibreCat-ID: 97
From User Demand to Software Service: Using Machine Learning to Automate the Requirements Specification Process
L. van Rooijen, F.S. Bäumer, M.C. Platenius, M. Geierhos, H. Hamann, G. Engels, in: 2017 IEEE 25th International Requirements Engineering Conference Workshops (REW), IEEE, Piscataway, NJ, USA, 2017, pp. 379–385.
LibreCat
| Files available
| DOI
L. van Rooijen, F.S. Bäumer, M.C. Platenius, M. Geierhos, H. Hamann, G. Engels, in: 2017 IEEE 25th International Requirements Engineering Conference Workshops (REW), IEEE, Piscataway, NJ, USA, 2017, pp. 379–385.
2017 | Conference Paper | LibreCat-ID: 10676
Evolvable caches: Optimization of reconfigurable cache mappings for a LEON3/Linux-based multi-core processor
N. Ho, P. Kaufmann, M. Platzner, in: 2017 International Conference on Field Programmable Technology (ICFPT), 2017, pp. 215–218.
LibreCat
| DOI
N. Ho, P. Kaufmann, M. Platzner, in: 2017 International Conference on Field Programmable Technology (ICFPT), 2017, pp. 215–218.
2017 | Conference Paper | LibreCat-ID: 48863
Ecr 2.0: A Modular Framework for Evolutionary Computation in R
J. Bossek, in: Proceedings of the Genetic and Evolutionary Computation Conference Companion, Association for Computing Machinery, New York, NY, USA, 2017, pp. 1187–1193.
LibreCat
| DOI
J. Bossek, in: Proceedings of the Genetic and Evolutionary Computation Conference Companion, Association for Computing Machinery, New York, NY, USA, 2017, pp. 1187–1193.
2016 | Journal Article | LibreCat-ID: 4244
Coherent photocurrent spectroscopy of single InP-based quantum dots in the telecom band at 1.5 µm
S. Gordon, M. Yacob, J.P. Reithmaier, M. Benyoucef, A. Zrenner, Applied Physics B 122 (2016).
LibreCat
| DOI
S. Gordon, M. Yacob, J.P. Reithmaier, M. Benyoucef, A. Zrenner, Applied Physics B 122 (2016).
2016 | Journal Article | LibreCat-ID: 4246
Advanced optical manipulation of carrier spins in (In,Ga)As quantum dots
S. Varwig, E. Evers, A. Greilich, D.R. Yakovlev, D. Reuter, A.D. Wieck, T. Meier, A. Zrenner, M. Bayer, Applied Physics B 122 (2016).
LibreCat
| DOI
S. Varwig, E. Evers, A. Greilich, D.R. Yakovlev, D. Reuter, A.D. Wieck, T. Meier, A. Zrenner, M. Bayer, Applied Physics B 122 (2016).
2016 | Book Chapter | LibreCat-ID: 51827
The Code of Banking. Software as the Digitalization of German Savings Banks
M. Schmitt, in: A. Tatnall, C. Leslie (Eds.), International Communities of Invention and Innovation, Springer, Cham, 2016, pp. 141–164.
LibreCat
M. Schmitt, in: A. Tatnall, C. Leslie (Eds.), International Communities of Invention and Innovation, Springer, Cham, 2016, pp. 141–164.
2015 | Conference Paper | LibreCat-ID: 10673
Microarchitectural optimization by means of reconfigurable and evolvable cache mappings
N. Ho, A.F. Ahmed, P. Kaufmann, M. Platzner, in: Proc. NASA/ESA Conf. Adaptive Hardware and Systems (AHS), 2015, pp. 1–7.
LibreCat
| DOI
N. Ho, A.F. Ahmed, P. Kaufmann, M. Platzner, in: Proc. NASA/ESA Conf. Adaptive Hardware and Systems (AHS), 2015, pp. 1–7.
2015 | Conference Paper | LibreCat-ID: 10779
Over effective hard real-time hardware tasks scheduling and allocation
Z. Guettatfi, O. Kermia, A. Khouas, in: 25th International Conference on Field Programmable Logic and Applications (FPL), Imperial College, 2015.
LibreCat
| DOI
Z. Guettatfi, O. Kermia, A. Khouas, in: 25th International Conference on Field Programmable Logic and Applications (FPL), Imperial College, 2015.
2015 | Mastersthesis | LibreCat-ID: 33312
Early Prediction of Security Properties for Mechatronic Systems
B. Schwichtenberg, Early Prediction of Security Properties for Mechatronic Systems, 2015.
LibreCat
| Files available
B. Schwichtenberg, Early Prediction of Security Properties for Mechatronic Systems, 2015.
2015 | Journal Article | LibreCat-ID: 41866
Near-field measurement of stochastic electromagnetic fields
J.A. Russer, N. Uddin, A.S. Awny, A. Thiede, P. Russer, IEEE Electromagnetic Compatibility Magazine 4 (2015) 79–85.
LibreCat
| DOI
J.A. Russer, N. Uddin, A.S. Awny, A. Thiede, P. Russer, IEEE Electromagnetic Compatibility Magazine 4 (2015) 79–85.
2014 | Conference Paper | LibreCat-ID: 9889
Time-efficient dynamic analysis of structures exhibiting nonlinear peak bending
C. Sprock, W. Sextro, in: Instrumentation and Measurement Technology Conference (I2MTC) Proceedings, 2014 IEEE International, 2014, pp. 320–324.
LibreCat
| DOI
C. Sprock, W. Sextro, in: Instrumentation and Measurement Technology Conference (I2MTC) Proceedings, 2014 IEEE International, 2014, pp. 320–324.
2014 | Conference Paper | LibreCat-ID: 10674
A hardware/software infrastructure for performance monitoring on LEON3 multicore platforms
N. Ho, P. Kaufmann, M. Platzner, in: 24th Intl. Conf. on Field Programmable Logic and Applications (FPL), 2014, pp. 1–4.
LibreCat
| DOI
N. Ho, P. Kaufmann, M. Platzner, in: 24th Intl. Conf. on Field Programmable Logic and Applications (FPL), 2014, pp. 1–4.
2014 | Conference Paper | LibreCat-ID: 10677
Towards self-adaptive caches: A run-time reconfigurable multi-core infrastructure
N. Ho, P. Kaufmann, M. Platzner, in: 2014 {IEEE} Intl. Conf. on Evolvable Systems (ICES), 2014, pp. 31–37.
LibreCat
| DOI
N. Ho, P. Kaufmann, M. Platzner, in: 2014 {IEEE} Intl. Conf. on Evolvable Systems (ICES), 2014, pp. 31–37.
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 | Journal Article | LibreCat-ID: 8171 | 
Hardness of approximation for quantum problems
S. Gharibian, J. Kempe, Quantum Information & Computation 14 (2014) 517–540.
LibreCat
| Download (ext.)
| arXiv
S. Gharibian, J. Kempe, Quantum Information & Computation 14 (2014) 517–540.
2014 | Journal Article | LibreCat-ID: 46266
A Scalable Formal Debugging Approach with Auto-Correction Capability based on Static Slicing and Dynamic Ranking for RTL Datapath Designs
B. Alizadeh, P. Behnam, S. Sadeghi-Kohan, IEEE Transactions on Computers (2014) 1–1.
LibreCat
| DOI
B. Alizadeh, P. Behnam, S. Sadeghi-Kohan, IEEE Transactions on Computers (2014) 1–1.
2013 | Journal Article | LibreCat-ID: 11862
Bayesian Feature Enhancement for Reverberation and Noise Robust Speech Recognition
V. Leutnant, A. Krueger, R. Haeb-Umbach, IEEE Transactions on Audio, Speech, and Language Processing 21 (2013) 1640–1652.
LibreCat
| DOI
V. Leutnant, A. Krueger, R. Haeb-Umbach, IEEE Transactions on Audio, Speech, and Language Processing 21 (2013) 1640–1652.
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.
2013 | Conference Paper | LibreCat-ID: 36920
An Energy-Efficient Heuristic for Hard Real-Time System on Multi-Core Processors
D. He, W. Müller, in: H. Weghorn (Ed.), Proceedings of the International Conference on Applied Computing (AC), Fort Worth, Texas, USA, 2013.
LibreCat
D. He, W. Müller, in: H. Weghorn (Ed.), Proceedings of the International Conference on Applied Computing (AC), Fort Worth, Texas, USA, 2013.