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.
89 Publications
- 1
- 2
- 3 (current)
- 4
- 5
2015 | Conference Paper | LibreCat-ID: 10779
Guettatfi Z, Kermia O, Khouas A. Over effective hard real-time hardware tasks scheduling and allocation. In: 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 B. Early Prediction of Security Properties for Mechatronic Systems.; 2015.
LibreCat
| Files available
2015 | Journal Article | LibreCat-ID: 41866
Russer JA, Uddin N, Awny AS, Thiede A, Russer P. Near-field measurement of stochastic electromagnetic fields. IEEE Electromagnetic Compatibility Magazine. 2015;4(3):79-85. doi:10.1109/memc.2015.7336761
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 10674
Ho N, Kaufmann P, Platzner M. A hardware/software infrastructure for performance monitoring on LEON3 multicore platforms. In: 24th Intl. Conf. on Field Programmable Logic and Applications (FPL). ; 2014:1-4. doi:10.1109/FPL.2014.6927437
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 36918
Becker M, Kuznik C, Müller W. Fault Effect Modeling in a Heterogeneous SystemC Based Virtual Platform Framework for Cyber Physical Systems. In: IEEE; 2014. doi:10.1109/ICCPS.2014.6843726
LibreCat
| DOI
2014 | Journal Article | LibreCat-ID: 46266
Alizadeh B, Behnam P, Sadeghi-Kohan S. A Scalable Formal Debugging Approach with Auto-Correction Capability based on Static Slicing and Dynamic Ranking for RTL Datapath Designs. IEEE Transactions on Computers. Published online 2014:1-1. doi:10.1109/tc.2014.2329687
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 22737
Becker M, Luckey M, Becker S. Model-driven Performance Engineering of Self-adaptive Systems: A Survey. In: {Proceedings of the 8th International ACM SIGSOFT Conference on Quality of Software Architectures (QoSA)}. New York, NY, USA: ACM; 2012:117-122. doi:10.1145/2304696.2304716
LibreCat
| DOI
2012 | Journal Article | LibreCat-ID: 4706
Janiesch C, Matzner M, Müller O. Beyond process monitoring: A proof-of-concept of event-driven business activity management. Business Process Management Journal. 2012;(4):625--643. doi:10.1108/14637151211253765
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 1120
Schuster J, Lee YS, Kobothanassi D, Bargel M, Geierhos M. SCM - A Simple, Modular and Flexible Customer Interaction Management System. In: International Conference on Information Society (i-Society 2011). Piscataway, NJ, USA: IEEE; 2011:153-158.
LibreCat
2010 | Conference Paper | LibreCat-ID: 37007
Mischkalla F, He D, Müller W. Closing the Gap between UML-based Modeling and Simulation of Combined HW/SW Systems. In: Proceedings of DATE’10. IEEE; 2010. doi:10.1109/DATE.2010.5456990
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37009
Oliveira MFS, Zabel H, Müller W. Assertion-Based Verification of RTOS Properties. In: Proceedings of DATE’10. IEEE; 2010. doi:10.1109/DATE.2010.5457130
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37011
Klobedanz K, Kuznik C, Thuy A, Müller W. Timing Modeling and Analysis for AUTOSAR-Based Software Development - A Case Study. In: Proceedings of DATE’10, Dresden. IEEE; 2010. doi:10.1109/DATE.2010.5457125
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37037
Krupp A, Müller W. A Systematic Approach to Combined HW/SW System Test. In: Proceedings of DATE’10. IEEE; 2010. doi:10.1109/DATE.2010.5457186
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37053
Müller W, da S. Oliveira MF, Zabel H, Becker M. Verification of Real-Time Properties for Hardware-Dependant Software. In: Proceedings of HLDVT2010. IEEE; 2010.
LibreCat
2010 | Journal Article | LibreCat-ID: 11892 | 
Schmalenstroeer J, Haeb-Umbach R. Online Diarization of Streaming Audio-Visual Data for Smart Environments. IEEE Journal of Selected Topics in Signal Processing. 2010;4(5):845-856. doi:10.1109/JSTSP.2010.2050519
LibreCat
| DOI
| Download (ext.)
2009 | Conference Paper | LibreCat-ID: 5625 |
Schryen G, Kadura R. Open Source vs. Closed Source Software: Towards Measuring Security. In: 24th Annual ACM Symposium on Applied Computing. ; 2009.
LibreCat
| Files available
2009 | Conference Paper | LibreCat-ID: 5647 |
Schryen G. Security of open source and closed source software: An empirical comparison of published vulnerabilities. In: 15th Americas Conference on Information Systems. ; 2009.
LibreCat
| Files available
2009 | Book Chapter | LibreCat-ID: 33814
Ecker W, Müller W, Dömer R. Hardware-dependent Software - Introduction and Overview. In: Ecker W, Müller W, Dömer R, eds. Hardware Dependent Software - Principles and Practice. Springer Verlag; 2009:1-14. doi:10.1007/978-1-4020-9436-1_1
LibreCat
| DOI
2009 | Conference Paper | LibreCat-ID: 37067
Schattkowsky T, Xie T, Müller W. A UML Frontend for IP-XACT-based IP Management. In: Proceedings of DATE’09. IEEE; 2009. doi:10.1109/DATE.2009.5090664
LibreCat
| DOI
2009 | Conference Paper | LibreCat-ID: 37066
Zabel H, Müller W. Increased Accuracy through Noise Injection in Abstract RTOS Simulation. In: Proceedings of DATE’09. ; 2009. doi:10.1109/DATE.2009.5090925
LibreCat
| DOI
- 1
- 2
- 3 (current)
- 4
- 5