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

K. Klobedanz, W. Müller, and A. Rettberg, “An Approach for Self-Reconfiguring and Fault-Tolerant Distributed Real-Time Systems,”10.1109/ISORCW.2012.41__presented at the IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, 2012, doi:10.1109/ISORCW.2012.41 .
LibreCat: /record/36922
DOI: 10.1109/ISORCW.2012.41

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

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, W. Müller, and A. Rettberg, “A Model-Based Approach for Executable Specification on Reconfigurable Hardware,”10.1109/DATE.2005.20__2005, doi:10.1109/DATE.2005.20 .
LibreCat: /record/39029
DOI: 10.1109/DATE.2005.20

S. Flake and W. Müller, “Past- and Future-Oriented Time-Bound Temporal Properties with OCL,”10.1109/SEFM.2004.1347516__presented at the10.1109/SEFM.2004.1347516__Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004, doi:10.1109/SEFM.2004.1347516 .
LibreCat: /record/39069
DOI: 10.1109/SEFM.2004.1347516

S. Flake and W. Müller, “Specification of Real-Time Properties for UML Models,”10.1109/HICSS.2002.994469__presented at the Proceedings of the 35th Annual Hawaii International Conference on System Sciences, Big Island, HI, USA , 2002, doi:10.1109/HICSS.2002.994469 .
LibreCat: /record/39403
DOI: 10.1109/HICSS.2002.994469

M. Dücker, G. Lehrenfeld, W. Müller, and C. Tahedl, “A Generic System for Interactive Real--Time Animation,”10.1109/ECBS.1997.581876__Monterey, CA, USA , 1997, doi:10.1109/ECBS.1997.581876 .
LibreCat: /record/39502
DOI: 10.1109/ECBS.1997.581876