@inproceedingsDo_Ali_Livshits_Bodden_Smith_Murphy-Hill_2017, place=New York, NY, USA, series=ISSTA 2017, title=Just-in-time Static Analysis, DOI=10.1145/3092703.3092705, booktitle=Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, publisher=ACM, author=Do, Lisa Nguyen Quang and Ali, Karim and Livshits, Benjamin and Bodden, Eric and Smith, Justin and Murphy-Hill, Emerson, year=2017, pages=307–317, collection=ISSTA 2017 
LibreCat: /record/20559
DOI: 10.1145/3092703.3092705

@inproceedingsvan Rooijen_Bäumer_Platenius_Geierhos_Hamann_Engels_2017, place=Piscataway, NJ, USA, title=From User Demand to Software Service: Using Machine Learning to Automate the Requirements Specification Process, DOI=10.1109/REW.2017.26, booktitle=2017 IEEE 25th International Requirements Engineering Conference Workshops (REW), publisher=IEEE, author=van Rooijen, Lorijn and Bäumer, Frederik Simon and Platenius, Marie Christin and Geierhos, Michaela and Hamann, Heiko and Engels, Gregor, year=2017, pages=379–385 
LibreCat: /record/97
DOI: 10.1109/REW.2017.26

@inproceedingsHo_Kaufmann_Platzner_2017, title=Evolvable caches: Optimization of reconfigurable cache mappings for a LEON3/Linux-based multi-core processor, DOI=10.1109/FPT.2017.8280144, booktitle=2017 International Conference on Field Programmable Technology (ICFPT), author=Ho, Nam and Kaufmann, Paul and Platzner, Marco, year=2017, pages=215–218 
LibreCat: /record/10676
DOI: 10.1109/FPT.2017.8280144

@inproceedingsBossek_2017, place=New York, NY, USA, series=GECCO ’17, title=Ecr 2.0: A Modular Framework for Evolutionary Computation in R, DOI=10.1145/3067695.3082470, booktitle=Proceedings of the Genetic and Evolutionary Computation Conference Companion, publisher=Association for Computing Machinery, author=Bossek, Jakob, year=2017, pages=1187–1193, collection=GECCO ’17 
LibreCat: /record/48863
DOI: 10.1145/3067695.3082470

@articleGordon_Yacob_Reithmaier_Benyoucef_Zrenner_2016, title=Coherent photocurrent spectroscopy of single InP-based quantum dots in the telecom band at 1.5 µm, volume=122, DOI=10.1007/s00340-015-6279-6, number=2, journal=Applied Physics B, publisher=Springer Nature, author=Gordon, S. and Yacob, M. and Reithmaier, J. P. and Benyoucef, M. and Zrenner, Artur, year=2016 
LibreCat: /record/4244
DOI: 10.1007/s00340-015-6279-6

@articleVarwig_Evers_Greilich_Yakovlev_Reuter_Wieck_Meier_Zrenner_Bayer_2016, title=Advanced optical manipulation of carrier spins in (In,Ga)As quantum dots, volume=122, DOI=10.1007/s00340-015-6274-y, number=117, journal=Applied Physics B, publisher=Springer Nature, author=Varwig, S. and Evers, E. and Greilich, A. and Yakovlev, D. R. and Reuter, Dirk and Wieck, A. D. and Meier, Torsten and Zrenner, Artur and Bayer, M., year=2016 
LibreCat: /record/4246
DOI: 10.1007/s00340-015-6274-y

@inbookSchmitt_2016, place=Cham, series=IFIP Advances in Information and Communication Technology, title=The Code of Banking. Software as the Digitalization of German Savings Banks, booktitle=International Communities of Invention and Innovation, publisher=Springer, author=Schmitt, Martin, editor=Tatnall, Arthur and Leslie, Christopher, year=2016, pages=141–164, collection=IFIP Advances in Information and Communication Technology 
LibreCat: /record/51827

@inproceedingsHo_Ahmed_Kaufmann_Platzner_2015, title=Microarchitectural optimization by means of reconfigurable and evolvable cache mappings, DOI=10.1109/AHS.2015.7231178, booktitle=Proc. NASA/ESA Conf. Adaptive Hardware and Systems (AHS), author=Ho, Nam and Ahmed, Abdullah Fathi and Kaufmann, Paul and Platzner, Marco, year=2015, pages=1–7 
LibreCat: /record/10673
DOI: 10.1109/AHS.2015.7231178

@inproceedingsGuettatfi_Kermia_Khouas_2015, title=Over effective hard real-time hardware tasks scheduling and allocation, DOI=10.1109/FPL.2015.7293994, booktitle=25th International Conference on Field Programmable Logic and Applications (FPL), publisher=Imperial College, author=Guettatfi, Zakarya and Kermia, Omar and Khouas, Abdelhakim, year=2015 
LibreCat: /record/10779
DOI: 10.1109/FPL.2015.7293994

@bookSchwichtenberg_2015, title=Early Prediction of Security Properties for Mechatronic Systems, author=Schwichtenberg, Bahar, year=2015 
LibreCat: /record/33312

@articleRusser_Uddin_Awny_Thiede_Russer_2015, title=Near-field measurement of stochastic electromagnetic fields, volume=4, DOI=10.1109/memc.2015.7336761, number=3, journal=IEEE Electromagnetic Compatibility Magazine, publisher=Institute of Electrical and Electronics Engineers (IEEE), author=Russer, Johannes A. and Uddin, Nasir and Awny, Ahmed Sanaa and Thiede, Andreas and Russer, Peter, year=2015, pages=79–85 
LibreCat: /record/41866
DOI: 10.1109/memc.2015.7336761

@inproceedingsSprock_Sextro_2014, title=Time-efficient dynamic analysis of structures exhibiting nonlinear peak bending, DOI=10.1109/I2MTC.2014.6860760, booktitle=Instrumentation and Measurement Technology Conference (MTC) Proceedings, 2014 IEEE International, author=Sprock, Christian and Sextro, Walter, year=2014, pages=320–324 
LibreCat: /record/9889
DOI: 10.1109/I2MTC.2014.6860760

@inproceedingsHo_Kaufmann_Platzner_2014, title=A hardware/software infrastructure for performance monitoring on LEON3 multicore platforms, DOI=10.1109/FPL.2014.6927437, booktitle=24th Intl. Conf. on Field Programmable Logic and Applications (FPL), author=Ho, Nam and Kaufmann, Paul and Platzner, Marco, year=2014, pages=1–4 
LibreCat: /record/10674
DOI: 10.1109/FPL.2014.6927437

@inproceedingsHo_Kaufmann_Platzner_2014, title=Towards self-adaptive caches: A run-time reconfigurable multi-core infrastructure, DOI=10.1109/ICES.2014.7008719, booktitle=2014 IEEE Intl. Conf. on Evolvable Systems (ICES), author=Ho, Nam and Kaufmann, Paul and Platzner, Marco, year=2014, pages=31–37 
LibreCat: /record/10677
DOI: 10.1109/ICES.2014.7008719

@inproceedingsBecker_Kuznik_Müller_2014, place=Berlin, title=Fault Effect Modeling in a Heterogeneous SystemC Based Virtual Platform Framework for Cyber Physical Systems, DOI=10.1109/ICCPS.2014.6843726, publisher=IEEE, author=Becker, Markus and Kuznik, Christoph and Müller, Wolfgang, year=2014 
LibreCat: /record/36918
DOI: 10.1109/ICCPS.2014.6843726

@articleGharibian_Kempe_2014, title=Hardness of approximation for quantum problems, volume=14, number=5–6, journal=Quantum Information &; Computation, author=Gharibian, Sevag and Kempe, Julia, year=2014, pages=517–540 
LibreCat: /record/8171
arXiv: 1209.1055

@articleAlizadeh_Behnam_Sadeghi-Kohan_2014, title=A Scalable Formal Debugging Approach with Auto-Correction Capability based on Static Slicing and Dynamic Ranking for RTL Datapath Designs, DOI=10.1109/tc.2014.2329687, journal=IEEE Transactions on Computers, publisher=Institute of Electrical and Electronics Engineers (IEEE), author=Alizadeh, Bijan and Behnam, Payman and Sadeghi-Kohan, Somayeh, year=2014, pages=1–1 
LibreCat: /record/46266
DOI: 10.1109/tc.2014.2329687

@articleLeutnant_Krueger_Haeb-Umbach_2013, title=Bayesian Feature Enhancement for Reverberation and Noise Robust Speech Recognition, volume=21, DOI=10.1109/TASL.2013.2258013, number=8, journal=IEEE Transactions on Audio, Speech, and Language Processing, author=Leutnant, Volker and Krueger, Alexander and Haeb-Umbach, Reinhold, year=2013, pages=1640–1652 
LibreCat: /record/11862
DOI: 10.1109/TASL.2013.2258013

@inproceedingsMischkalla_Müller_2013, place=Karlsruhe, title=Efficient Power-Intent Validation Using “Loosely-Timed”10.1109/PATMOS.2013.6662171__Simulation Models: A Non-Invasive Approach, DOI=10.1109/PATMOS.2013.6662171, publisher=IEEE, author=Mischkalla, Fabian and Müller, Wolfgang, year=2013 
LibreCat: /record/36919
DOI: 10.1109/PATMOS.2013.6662171

@inproceedingsHe_Müller_2013, place=Fort Worth, Texas, USA, title=An Energy-Efficient Heuristic for Hard Real-Time System on Multi-Core Processors, booktitle=Proceedings of the International Conference on Applied Computing (AC), author=He, Da and Müller, Wolfgang, editor=Weghorn, Hans, year=2013 
LibreCat: /record/36920