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, Lisa Nguyen Quang, et al. “Just-in-Time Static Analysis.” Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, ACM, 2017, pp. 307–17, doi:10.1145/3092703.3092705.
LibreCat
| DOI
| Download (ext.)
2017 | Conference Paper | LibreCat-ID: 97
van Rooijen, Lorijn, et al. “From User Demand to Software Service: Using Machine Learning to Automate the Requirements Specification Process.” 2017 IEEE 25th International Requirements Engineering Conference Workshops (REW), IEEE, 2017, pp. 379–85, doi:10.1109/REW.2017.26.
LibreCat
| Files available
| DOI
2017 | Conference Paper | LibreCat-ID: 10676
Ho, Nam, et al. “Evolvable Caches: Optimization of Reconfigurable Cache Mappings for a LEON3/Linux-Based Multi-Core Processor.” 2017 International Conference on Field Programmable Technology (ICFPT), 2017, pp. 215–18, doi:10.1109/FPT.2017.8280144.
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 48863
Bossek, Jakob. “Ecr 2.0: A Modular Framework for Evolutionary Computation in R.” Proceedings of the Genetic and Evolutionary Computation Conference Companion, Association for Computing Machinery, 2017, pp. 1187–1193, doi:10.1145/3067695.3082470.
LibreCat
| DOI
2016 | Journal Article | LibreCat-ID: 4244
Gordon, S., et al. “Coherent Photocurrent Spectroscopy of Single InP-Based Quantum Dots in the Telecom Band at 1.5 Μm.” Applied Physics B, vol. 122, no. 2, Springer Nature, 2016, doi:10.1007/s00340-015-6279-6.
LibreCat
| DOI
2016 | Journal Article | LibreCat-ID: 4246
Varwig, S., et al. “Advanced Optical Manipulation of Carrier Spins in (In,Ga)As Quantum Dots.” Applied Physics B, vol. 122, no. 1, 17, Springer Nature, 2016, doi:10.1007/s00340-015-6274-y.
LibreCat
| DOI
2016 | Book Chapter | LibreCat-ID: 51827
Schmitt, Martin. “The Code of Banking. Software as the Digitalization of German Savings Banks.” International Communities of Invention and Innovation, edited by Arthur Tatnall and Christopher Leslie, Springer, 2016, pp. 141–164.
LibreCat
2015 | Conference Paper | LibreCat-ID: 10673
Ho, Nam, et al. “Microarchitectural Optimization by Means of Reconfigurable and Evolvable Cache Mappings.” Proc. NASA/ESA Conf. Adaptive Hardware and Systems (AHS), 2015, pp. 1–7, doi:10.1109/AHS.2015.7231178.
LibreCat
| DOI
2015 | Conference Paper | LibreCat-ID: 10779
Guettatfi, Zakarya, et al. “Over Effective Hard Real-Time Hardware Tasks Scheduling and Allocation.” 25th International Conference on Field Programmable Logic and Applications (FPL), Imperial College, 2015, doi:10.1109/FPL.2015.7293994.
LibreCat
| DOI
2015 | Mastersthesis | LibreCat-ID: 33312
Schwichtenberg, Bahar. Early Prediction of Security Properties for Mechatronic Systems. 2015.
LibreCat
| Files available
2015 | Journal Article | LibreCat-ID: 41866
Russer, Johannes A., et al. “Near-Field Measurement of Stochastic Electromagnetic Fields.” IEEE Electromagnetic Compatibility Magazine, vol. 4, no. 3, Institute of Electrical and Electronics Engineers (IEEE), 2015, pp. 79–85, doi:10.1109/memc.2015.7336761.
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 9889
Sprock, Christian, and Walter Sextro. “Time-Efficient Dynamic Analysis of Structures Exhibiting Nonlinear Peak Bending.” Instrumentation and Measurement Technology Conference (I2MTC) Proceedings, 2014 IEEE International, 2014, pp. 320–24, doi:10.1109/I2MTC.2014.6860760.
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 10674
Ho, Nam, et al. “A Hardware/Software Infrastructure for Performance Monitoring on LEON3 Multicore Platforms.” 24th Intl. Conf. on Field Programmable Logic and Applications (FPL), 2014, pp. 1–4, doi:10.1109/FPL.2014.6927437.
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 10677
Ho, Nam, et al. “Towards Self-Adaptive Caches: A Run-Time Reconfigurable Multi-Core Infrastructure.” 2014 {IEEE} Intl. Conf. on Evolvable Systems (ICES), 2014, pp. 31–37, doi:10.1109/ICES.2014.7008719.
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 36918
Becker, Markus, et al. Fault Effect Modeling in a Heterogeneous SystemC Based Virtual Platform Framework for Cyber Physical Systems. IEEE, 2014, doi:10.1109/ICCPS.2014.6843726.
LibreCat
| DOI
2014 | Journal Article | LibreCat-ID: 8171 | 
Gharibian, Sevag, and Julia Kempe. “Hardness of Approximation for Quantum Problems.” Quantum Information & Computation, vol. 14, no. 5–6, 2014, pp. 517–40.
LibreCat
| Download (ext.)
| arXiv
2014 | Journal Article | LibreCat-ID: 46266
Alizadeh, Bijan, et al. “A Scalable Formal Debugging Approach with Auto-Correction Capability Based on Static Slicing and Dynamic Ranking for RTL Datapath Designs.” IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers (IEEE), 2014, pp. 1–1, doi:10.1109/tc.2014.2329687.
LibreCat
| DOI
2013 | Journal Article | LibreCat-ID: 11862
Leutnant, Volker, et al. “Bayesian Feature Enhancement for Reverberation and Noise Robust Speech Recognition.” IEEE Transactions on Audio, Speech, and Language Processing, vol. 21, no. 8, 2013, pp. 1640–52, doi:10.1109/TASL.2013.2258013.
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 36919
Mischkalla, Fabian, and Wolfgang Müller. Efficient Power-Intent Validation Using “Loosely-Timed” Simulation Models: A Non-Invasive Approach. IEEE, 2013, doi:10.1109/PATMOS.2013.6662171.
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 36920
He, Da, and Wolfgang Müller. “An Energy-Efficient Heuristic for Hard Real-Time System on Multi-Core Processors.” Proceedings of the International Conference on Applied Computing (AC), edited by Hans Weghorn, 2013.
LibreCat