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

An Approach for Self-Reconfiguring and Fault-Tolerant Distributed Real-Time Systems
K. Klobedanz, W. Müller, A. Rettberg, in: IEEE, Shenzhen, China , 2012.
LibreCat: /record/36922
DOI: 10.1109/ISORCW.2012.41

Closing the Gap between UML-based Modeling and Simulation of Combined HW/SW Systems
F. Mischkalla, D. He, W. Müller, in: Proceedings of DATE’10, IEEE, Dresden, 2010.
LibreCat: /record/37007
DOI: 10.1109/DATE.2010.5456990

Assertion-Based Verification of RTOS Properties
M.F.S. Oliveira, H. Zabel, W. Müller, in: Proceedings of DATE’10, IEEE, Dresden, 2010.
LibreCat: /record/37009
DOI: 10.1109/DATE.2010.5457130

RTOS-Aware Refinement for TLM2.0-based HW/SW Design
M. Becker, G. Di Guglielmo, F. Fummi, W. Müller, G. Pravadelli, T. Xie, in: Proceedings of DATE’10, IEEE, Dresden, 2010.
LibreCat: /record/37040
DOI: 10.1109/DATE.2010.5456965

Verification of Real-Time Properties for Hardware-Dependant Software
W. Müller, M.F. da S. Oliveira, H. Zabel, M. Becker, in: Proceedings of HLD, IEEE, 2010.
LibreCat: /record/37053

Increased Accuracy through Noise Injection in Abstract RTOS Simulation
H. Zabel, W. Müller, in: Proceedings of DATE’09, Nice, France, 2009.
LibreCat: /record/37066
DOI: 10.1109/DATE.2009.5090925

A Model-Based Approach for Executable Specification on Reconfigurable Hardware
T. Schattkowsky, W. Müller, A. Rettberg, in: Proceedings of DATE’05, IEEE, Munich, Germany , 2005.
LibreCat: /record/39029
DOI: 10.1109/DATE.2005.20

Past- and Future-Oriented Time-Bound Temporal Properties with OCL
S. Flake, W. Müller, in: Proceedings of SEFM´04, IEEE, Beijing, China, 2004.
LibreCat: /record/39069
DOI: 10.1109/SEFM.2004.1347516

Specification of Real-Time Properties for UML Models
S. Flake, W. Müller, in: Proceedings of HICSS-35, Big Island, HI, USA , 2002.
LibreCat: /record/39403
DOI: 10.1109/HICSS.2002.994469

A Generic System for Interactive Real--Time Animation
M. Dücker, G. Lehrenfeld, W. Müller, C. Tahedl, in:  Proceedings International Conference and Workshop on Engineering of Computer-Based Systems, Monterey, CA, USA , 1997.
LibreCat: /record/39502
DOI: 10.1109/ECBS.1997.581876