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
@inproceedings{Guettatfi_Hübner_Platzner_Rinner_2017, title={Computational self-awareness as design approach for visual sensor nodes}, DOI={10.1109/ReCoSoC.2017.8016147}, booktitle={12th International Symposium on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC)}, author={Guettatfi, Zakarya and Hübner, Philipp and Platzner, Marco and Rinner, Bernhard}, year={2017}, pages={1–8} }
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
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
2010 | Conference Paper | LibreCat-ID: 37009
@inproceedings{Oliveira_Zabel_Müller_2010, place={Dresden}, title={Assertion-Based Verification of RTOS Properties}, DOI={10.1109/DATE.2010.5457130}, booktitle={Proceedings of DATE’10}, publisher={IEEE}, author={Oliveira, Marcio F. S. and Zabel, Henning and Müller, Wolfgang}, year={2010} }
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37037
@inproceedings{Krupp_Müller_2010, place={Dresden}, title={A Systematic Approach to Combined HW/SW System Test}, DOI={10.1109/DATE.2010.5457186}, booktitle={Proceedings of DATE’10}, publisher={IEEE}, author={Krupp, Alexander and Müller, Wolfgang}, year={2010} }
LibreCat
| DOI
2007 | Conference Paper | LibreCat-ID: 2392
@inproceedings{Woehrle_Plessl_Beutel_Thiele_2007, place={New York, NY, USA}, title={Increasing the Reliability of Wireless Sensor Networks with a Distributed Testing Framework}, DOI={10.1145/1278972.1278996}, booktitle={Proc. Workshop on Embedded Networked Sensors (EmNets)}, publisher={ACM}, author={Woehrle, Matthias and Plessl, Christian and Beutel, Jan and Thiele, Lothar}, year={2007}, pages={93–97} }
LibreCat
| DOI
2006 | Conference Paper | LibreCat-ID: 38784
@inproceedings{Krupp_Müller_2006, place={Munich, Germany}, title={Classification Trees for Functional Coverage and Random Test Generation}, DOI={10.1109/DATE.2006.243902}, booktitle={Proceedings of the Design Automation & Test in Europe Conference}, publisher={IEEE}, author={Krupp, Alexander and Müller, Wolfgang}, year={2006} }
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 39029
@inproceedings{Schattkowsky_Müller_Rettberg_2005, place={Munich, Germany }, title={A Model-Based Approach for Executable Specification on Reconfigurable Hardware}, DOI={10.1109/DATE.2005.20}, booktitle={Proceedings of DATE’05}, publisher={IEEE}, author={Schattkowsky, Tim and Müller, Wolfgang and Rettberg, Achim}, year={2005} }
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 39030
@inproceedings{Schattkowsky_Müller_2005, place={Las Vegas, NV}, title={A UML Virtual Machine for Embedded Systems}, booktitle={Proceedings of ISNG 05}, author={Schattkowsky, Tim and Müller, Wolfgang}, year={2005} }
LibreCat
2005 | Conference Paper | LibreCat-ID: 39032
@inproceedings{Schattkowsky_Müller_2005, place={Dallas, TX, USA}, title={Transformation of UML State Machines for Direct Execution}, DOI={10.1109/VLHCC.2005.64}, booktitle={Proceedings of VL/HCC 05}, author={Schattkowsky, Tim and Müller, Wolfgang}, year={2005} }
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 39052
@inproceedings{Groppe_Müller_2005, place={Copenhagen, Denmark }, title={Profile Management technology for Smart Customization in Private Home Applications}, DOI={10.1109/DEXA.2005.156}, booktitle={Proceedings of the 1st International Workshop on Secure and Ubiquitous Networks (SUN-2005)}, publisher={IEEE}, author={Groppe, Jinghua and Müller, Wolfgang}, year={2005} }
LibreCat
| DOI