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.
13 Publications
2017 | Conference Paper | LibreCat-ID: 10780
Guettatfi Z, Hübner P, Platzner M, Rinner B. Computational self-awareness as design approach for visual sensor nodes. In: 12th International Symposium on Reconfigurable Communication-Centric Systems-on-Chip (ReCoSoC). ; 2017:1-8. doi:10.1109/ReCoSoC.2017.8016147
LibreCat
| DOI
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
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: 10677
Ho N, Kaufmann P, Platzner M. Towards self-adaptive caches: A run-time reconfigurable multi-core infrastructure. In: 2014 {IEEE} Intl. Conf. on Evolvable Systems (ICES). ; 2014:31-37. doi:10.1109/ICES.2014.7008719
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: 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
2007 | Conference Paper | LibreCat-ID: 2392
Woehrle M, Plessl C, Beutel J, Thiele L. Increasing the Reliability of Wireless Sensor Networks with a Distributed Testing Framework. In: Proc. Workshop on Embedded Networked Sensors (EmNets). ACM; 2007:93-97. doi:10.1145/1278972.1278996
LibreCat
| DOI
2006 | Conference Paper | LibreCat-ID: 38784
Krupp A, Müller W. Classification Trees for Functional Coverage and Random Test Generation. In: Proceedings of the Design Automation & Test in Europe Conference. IEEE; 2006. doi:10.1109/DATE.2006.243902
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 39029
Schattkowsky T, Müller W, Rettberg A. A Model-Based Approach for Executable Specification on Reconfigurable Hardware. In: Proceedings of DATE’05. IEEE; 2005. doi:10.1109/DATE.2005.20
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 39030
Schattkowsky T, Müller W. A UML Virtual Machine for Embedded Systems. In: Proceedings of ISNG 05. ; 2005.
LibreCat
2005 | Conference Paper | LibreCat-ID: 39032
Schattkowsky T, Müller W. Transformation of UML State Machines for Direct Execution. In: Proceedings of VL/HCC 05. ; 2005. doi:10.1109/VLHCC.2005.64
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 39052
Groppe J, Müller W. Profile Management technology for Smart Customization in Private Home Applications. In: Proceedings of the 1st International Workshop on Secure and Ubiquitous Networks (SUN-2005). IEEE; 2005. doi:10.1109/DEXA.2005.156
LibreCat
| DOI