L. N. Q. Do, K. Ali, B. Livshits, E. Bodden, J. Smith, and E. Murphy-Hill, “Just-in-time Static Analysis,”10.1145/3092703.3092705__in Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2017, pp. 307–317, doi:10.1145/3092703.3092705 .
LibreCat: /record/20559
DOI: 10.1145/3092703.3092705

L. van Rooijen, F. S. Bäumer, M. C. Platenius, M. Geierhos, H. Hamann, and G. Engels, “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), Lisbon, Portugal, 2017, pp. 379–385.
LibreCat: /record/97
DOI: 10.1109/REW.2017.26

N. Ho, P. Kaufmann, and M. Platzner, “Evolvable caches: Optimization of reconfigurable cache mappings for a LEON3/Linux-based multi-core processor,” in 2017 International Conference on Field Programmable Technology (ICFPT), 2017, pp. 215–218.
LibreCat: /record/10676
DOI: 10.1109/FPT.2017.8280144

J. Bossek, “Ecr 2.0: A Modular Framework for Evolutionary Computation in R,”10.1145/3067695.3082470__in Proceedings of the Genetic and Evolutionary Computation Conference Companion, 2017, pp. 1187–1193, doi:10.1145/3067695.3082470 .
LibreCat: /record/48863
DOI: 10.1145/3067695.3082470

S. Gordon, M. Yacob, J. P. Reithmaier, M. Benyoucef, and A. Zrenner, “Coherent photocurrent spectroscopy of single InP-based quantum dots in the telecom band at 1.5 µm,” Applied Physics B, vol. 122, no. 2, 2016.
LibreCat: /record/4244
DOI: 10.1007/s00340-015-6279-6

S. Varwig et al., “Advanced optical manipulation of carrier spins in (In,Ga)As quantum dots,”10.1007/s00340-015-6274-y__Applied Physics B, vol. 122, no. 1, Art. no. 17, 2016, doi:10.1007/s00340-015-6274-y .
LibreCat: /record/4246
DOI: 10.1007/s00340-015-6274-y

M. Schmitt, “The Code of Banking. Software as the Digitalization of German Savings Banks,” in International Communities of Invention and Innovation, A. Tatnall and C. Leslie, Eds. Cham: Springer, 2016, pp. 141–164.
LibreCat: /record/51827

N. Ho, A. F. Ahmed, P. Kaufmann, and M. Platzner, “Microarchitectural optimization by means of reconfigurable and evolvable cache mappings,” in Proc. NASA/ESA Conf. Adaptive Hardware and Systems (AHS), 2015, pp. 1–7.
LibreCat: /record/10673
DOI: 10.1109/AHS.2015.7231178

Z. Guettatfi, O. Kermia, and A. Khouas, “Over effective hard real-time hardware tasks scheduling and allocation,” in 25th International Conference on Field Programmable Logic and Applications (FPL), 2015.
LibreCat: /record/10779
DOI: 10.1109/FPL.2015.7293994

B. Schwichtenberg, Early Prediction of Security Properties for Mechatronic Systems. 2015.
LibreCat: /record/33312

J. A. Russer, N. Uddin, A. S. Awny, A. Thiede, and P. Russer, “Near-field measurement of stochastic electromagnetic fields,”10.1109/memc.2015.7336761__IEEE Electromagnetic Compatibility Magazine, vol. 4, no. 3, pp. 79–85, 2015, doi:10.1109/memc.2015.7336761 .
LibreCat: /record/41866
DOI: 10.1109/memc.2015.7336761

C. Sprock and W. Sextro, “Time-efficient dynamic analysis of structures exhibiting nonlinear peak bending,” in Instrumentation and Measurement Technology Conference (MTC) Proceedings, 2014 IEEE International, 2014, pp. 320–324.
LibreCat: /record/9889
DOI: 10.1109/I2MTC.2014.6860760

N. Ho, P. Kaufmann, and M. Platzner, “A hardware/software infrastructure for performance monitoring on LEON3 multicore platforms,” in 24th Intl. Conf. on Field Programmable Logic and Applications (FPL), 2014, pp. 1–4.
LibreCat: /record/10674
DOI: 10.1109/FPL.2014.6927437

N. Ho, P. Kaufmann, and M. Platzner, “Towards self-adaptive caches: A run-time reconfigurable multi-core infrastructure,” in 2014 IEEE Intl. Conf. on Evolvable Systems (ICES), 2014, pp. 31–37.
LibreCat: /record/10677
DOI: 10.1109/ICES.2014.7008719

M. Becker, C. Kuznik, and W. Müller, “Fault Effect Modeling in a Heterogeneous SystemC Based Virtual Platform Framework for Cyber Physical Systems,”10.1109/ICCPS.2014.6843726__presented at the ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS), Berlin, 2014, doi:10.1109/ICCPS.2014.6843726 .
LibreCat: /record/36918
DOI: 10.1109/ICCPS.2014.6843726

S. Gharibian and J. Kempe, “Hardness of approximation for quantum problems,” Quantum Information &; Computation, vol. 14, no. 5–6, pp. 517–540, 2014.
LibreCat: /record/8171
arXiv: 1209.1055

B. Alizadeh, P. Behnam, and S. Sadeghi-Kohan, “A Scalable Formal Debugging Approach with Auto-Correction Capability based on Static Slicing and Dynamic Ranking for RTL Datapath Designs,”10.1109/tc.2014.2329687__IEEE Transactions on Computers, pp. 1–1, 2014, doi:10.1109/tc.2014.2329687 .
LibreCat: /record/46266
DOI: 10.1109/tc.2014.2329687

V. Leutnant, A. Krueger, and R. Haeb-Umbach, “Bayesian Feature Enhancement for Reverberation and Noise Robust Speech Recognition,” IEEE Transactions on Audio, Speech, and Language Processing, vol. 21, no. 8, pp. 1640–1652, 2013.
LibreCat: /record/11862
DOI: 10.1109/TASL.2013.2258013

F. Mischkalla and W. Müller, “Efficient Power-Intent Validation Using ‘Loosely-Timed’ Simulation Models: A Non-Invasive Approach,”10.1109/PATMOS.2013.6662171__presented at the 23rd International Workshop on Power and Timing Modeling, Optimization and Simulation (PATMOS), 2013, doi:10.1109/PATMOS.2013.6662171 .
LibreCat: /record/36919
DOI: 10.1109/PATMOS.2013.6662171

D. He and W. Müller, “An Energy-Efficient Heuristic for Hard Real-Time System on Multi-Core Processors,” in Proceedings of the International Conference on Applied Computing (AC), 2013.
LibreCat: /record/36920