F. Mischkalla and W. Müller, “Efficient Power-Intent Validation Using ‘Loosely-Timed’ Simulation Models: A Non-Invasive Approach,”10.1109/PATMOS.2013.6662171__presented at the 23rd International Workshop on Power and Timing Modeling, Optimization and Simulation (PATMOS), 2013, doi:10.1109/PATMOS.2013.6662171 .
LibreCat: /record/36919
DOI: 10.1109/PATMOS.2013.6662171

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

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

W. Müller, J. Ruf, D. W. Hoffmann, J. Gerlach, T. Kropf, and W. Rosenstiehl, “The Simulation Semantics of SystemC,”10.1109/DATE.2001.915002__presented at the10.1109/DATE.2001.915002__Proceedings Design, Automation and Test in Europe. Conference and Exhibition 2001, 2001, doi:10.1109/DATE.2001.915002 .
LibreCat: /record/39421
DOI: 10.1109/DATE.2001.915002