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