Z. Guettatfi, P. Hübner, M. Platzner, and B. Rinner, “Computational self-awareness as design approach for visual sensor nodes,” in 12th International Symposium on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC), 2017, pp. 1–8.
LibreCat: /record/10780
DOI: 10.1109/ReCoSoC.2017.8016147

Z. Guettatfi, O. Kermia, and A. Khouas, “Over effective hard real-time hardware tasks scheduling and allocation,” in 25th International Conference on Field Programmable Logic and Applications (FPL), 2015.
LibreCat: /record/10779
DOI: 10.1109/FPL.2015.7293994

F. Mischkalla, D. He, and W. Müller, “Closing the Gap between UML-based Modeling and Simulation of Combined HW/SW Systems,”10.1109/DATE.2010.5456990__presented at the 2010 Design, Automation &; Test in Europe Conference &; Exhibition (DATE 2010), Dresden, 2010, doi:10.1109/DATE.2010.5456990 .
LibreCat: /record/37007
DOI: 10.1109/DATE.2010.5456990

M. F. S. Oliveira, H. Zabel, and W. Müller, “Assertion-Based Verification of RTOS Properties,”10.1109/DATE.2010.5457130__presented at the 2010 Design, Automation &; Test in Europe Conference &; Exhibition (DATE 2010), Dresden, 2010, doi:10.1109/DATE.2010.5457130 .
LibreCat: /record/37009
DOI: 10.1109/DATE.2010.5457130

M. Becker, G. Di Guglielmo, F. Fummi, W. Müller, G. Pravadelli, and T. Xie, “RTOS-Aware Refinement for TLM2.0-based HW/SW Design,”10.1109/DATE.2010.5456965__presented at the Design, Automation &; Test in Europe Conference &; Exhibition (DATE 2010), Dresden, 2010, doi:10.1109/DATE.2010.5456965 .
LibreCat: /record/37040
DOI: 10.1109/DATE.2010.5456965

W. Müller, M. F. da S. Oliveira, H. Zabel, and M. Becker, “Verification of Real-Time Properties for Hardware-Dependant Software,” presented at the IEEE International High Level Design Validation and Test Workshop (HLDVT), Anaheim, FL, USA, 2010.
LibreCat: /record/37053

E. Lübbers and M. Platzner, “ReconOS: Multithreaded Programming for Reconfigurable Computers,” ACM Transactions on Embedded Computing Systems, vol. 9, no. 1, pp. 8:1-8:33, 2009.
LibreCat: /record/10703
DOI: 10.1145/1596532.1596540

H. Zabel and W. Müller, “Increased Accuracy through Noise Injection in Abstract RTOS Simulation,”10.1109/DATE.2009.5090925__presented at the Design, Automation &; Test in Europe Conference &; Exhibition, 2009, doi:10.1109/DATE.2009.5090925 .
LibreCat: /record/37066
DOI: 10.1109/DATE.2009.5090925

T. Schattkowsky and W. Müller, “Transformation of UML State Machines for Direct Execution,”10.1109/VLHCC.2005.64__2005, doi:10.1109/VLHCC.2005.64 .
LibreCat: /record/39032
DOI: 10.1109/VLHCC.2005.64