Mischkalla F, Müller W. Efficient Power-Intent Validation Using “Loosely-Timed”10.1109/PATMOS.2013.6662171__Simulation Models: A Non-Invasive Approach. In: IEEE; 2013. doi:10.1109/PATMOS.2013.6662171
LibreCat: /record/36919
DOI: 10.1109/PATMOS.2013.6662171

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

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

Müller W, Ruf J, Hoffmann DW, Gerlach J, Kropf T, Rosenstiehl W. The Simulation Semantics of SystemC. In: Proceedings of the Design, Automation, and Test in Europe (DATE’01). IEEE; 2001. doi:10.1109/DATE.2001.915002
LibreCat: /record/39421
DOI: 10.1109/DATE.2001.915002