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
@inproceedings{Do_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
| DOI
| Download (ext.)
2017 | Conference Paper | LibreCat-ID: 97
@inproceedings{van 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
| Files available
| DOI
2017 | Conference Paper | LibreCat-ID: 10676
@inproceedings{Ho_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
| DOI
2017 | Conference Paper | LibreCat-ID: 48863
@inproceedings{Bossek_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
| DOI
2016 | Journal Article | LibreCat-ID: 4244
@article{Gordon_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
| DOI
2016 | Journal Article | LibreCat-ID: 4246
@article{Varwig_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
| DOI
2016 | Book Chapter | LibreCat-ID: 51827
@inbook{Schmitt_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
2015 | Conference Paper | LibreCat-ID: 10673
@inproceedings{Ho_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
| DOI
2015 | Conference Paper | LibreCat-ID: 10779
@inproceedings{Guettatfi_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
| DOI
2015 | Mastersthesis | LibreCat-ID: 33312
@book{Schwichtenberg_2015, title={Early Prediction of Security Properties for Mechatronic Systems}, author={Schwichtenberg, Bahar}, year={2015} }
LibreCat
| Files available
2015 | Journal Article | LibreCat-ID: 41866
@article{Russer_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
| DOI
2014 | Conference Paper | LibreCat-ID: 9889
@inproceedings{Sprock_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 (I2MTC) Proceedings, 2014 IEEE International}, author={Sprock, Christian and Sextro, Walter}, year={2014}, pages={320–324} }
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 10674
@inproceedings{Ho_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
| DOI
2014 | Conference Paper | LibreCat-ID: 10677
@inproceedings{Ho_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
| DOI
2014 | Conference Paper | LibreCat-ID: 36918
@inproceedings{Becker_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
| DOI
2014 | Journal Article | LibreCat-ID: 8171 | 
@article{Gharibian_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
| Download (ext.)
| arXiv
2014 | Journal Article | LibreCat-ID: 46266
@article{Alizadeh_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
| DOI
2013 | Journal Article | LibreCat-ID: 11862
@article{Leutnant_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
| DOI
2013 | Conference Paper | LibreCat-ID: 36919
@inproceedings{Mischkalla_Müller_2013, place={Karlsruhe}, title={Efficient Power-Intent Validation Using “Loosely-Timed” Simulation Models: A Non-Invasive Approach}, DOI={10.1109/PATMOS.2013.6662171}, publisher={IEEE}, author={Mischkalla, Fabian and Müller, Wolfgang}, year={2013} }
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 36920
@inproceedings{He_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