Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
264 Publications
2014 | Conference Paper | LibreCat-ID: 25163
Kuznik, C., Defo, B. G., & Müller, W. (2014). Semi-automatische Generierung von Überdeckungsmetriken mittels methodischer Verikationsplan Verarbeitung. 17. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV 2014) .
LibreCat
2014 | Journal Article | LibreCat-ID: 25151
Kuznik, C., Defo, B. G., & Müller, W. (2014). An Assisted Single Source Verification Metric Model Code Generation Methodology. Electronic System Level Synthesis Conference (ESLSyn).
LibreCat
2014 | Conference Paper | LibreCat-ID: 34585
Koppelmann, B., Messidat, B., Becker, M., Müller, W., & Scheytt, J. C. (2014). Fast and Open Virtual Platforms for TriCore-based SoCs Using QEMU. Proceedings of the Design and Verification Conference Europe (DVCON Europe).
LibreCat
2014 | Journal Article | LibreCat-ID: 25164
Becker, M., Müller, W., Stroop, J., & Kiffmeier, U. (2014). HeroeS - A Framework for Heterogeneous Software-Intensive System Design with SystemC. Design, Automation and Test in Europe DATE, University Booth, Dresden.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25270
Joy, M. tech. M. M., Müller, W., & Rammig, F.-J. (2013). Early Phase Memory Leak Detection in Embedded Software Designs with Virtual Memory Management Model. Proceedings of AVICPS 2013, Dez. 2013 IEEE Computer Society,.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25271
He, D., & Müller, W. (2013). AN ENERGY-EFFICIENT HEURISTIC FOR HARD REAL- TIME SYSTEM ON MULTI-CORE PROCESSORS. Proceedings of International Conference on Applied Computing (AC).
LibreCat
2013 | Conference Paper | LibreCat-ID: 25284
Mischkalla, F., & Müller, W. (2013). Efficient Power Intent Validation Using Loosely-Timed Simulation Models. 23rd International Workshop on Power And Timing Modeling, Optimization and Simulation, Sep. 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25291
Becker, M., Kiffmeier, U., & Müller, W. (2013). HeroeS: Virtual Platform Driven Integration of Heterogeneous Software Components for Multi-Core Real-Time Architectures. 16th IEEE Computer Society Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25606
Kuznik, C., F. S. Oliveira, M., & Müller, W. (2013). SystemC Verification Components - An enhanced OVM/UVM for SystemC. EdaWorkshop 13.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25612
Mischkalla, F., & Müller, W. (2013). Funktionale Verifikation von Low-Power Designs unter Verwendung Virtueller Prototypen. Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV).
LibreCat
2013 | Conference Paper | LibreCat-ID: 25614
Kuznik, C., F. S. Oliveira, M., & Müller, W. (2013). SC OVM: An Advanced SystemC Library for OVM-based Verification. Open SANITAS SystemC Verification Workshop.
LibreCat
2013 | Newspaper Article | LibreCat-ID: 25615
Engels, G., Gerth, C., Kleinjohann, L., Kleinjohann, B., & Müller, W. (2013). Informationstechnik spart Ressourcen. ForschungsForum Paderborn .
LibreCat
2013 | Conference Paper | LibreCat-ID: 25620
Kuznik, C., Oliveira, M. F., Defo, B., & Müller, W. (2013). Systematic Application of UCIS to Improve the Automation on Verification Closure. Proceedings of DVCON.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25632
Klobedanz, K., Jatzkowski, J., Rettberg, A., & Müller, W. (2013). Fault-Tolerant Deployment of Real-Time Software in AUTOSAR ECU Networks. International Embedded Systems Symposium (IESS) 2013.
LibreCat
2013 | Journal Article | LibreCat-ID: 25740
He, D., & Müller, W. (2013). A heuristic energy-aware approach for hard real-time systems on multi-core platforms. Microprocessors and Microsystems - Embedded Hardware Design 37(6-7), 845–857.
LibreCat
2013 | Book Chapter | LibreCat-ID: 25743
Anacker, H., Dellnitz, M., Flaßkamp, K., Grösbrink, S., Hartmann, P., Heinzemann, C., Horenkamp, C., Kleinjohann, L., Kleinjohann, B., Korf, S., Krüger, M., Müller, W., Ober-Blöbaum, S., Oberthür, S., Porrmann, M., Priesterjahn, C., Radkowski, W., Rasche, C., Rieke, J., … Ziegert, S. (2013). Methods for the Design and Development. In Design Methodology for Intelligent Technical Systems Systems – Develop Intelligent Technical Systems of the Future (pp. 187–356). Springer-Verlag.
LibreCat
2013 | Conference Paper | LibreCat-ID: 36919
Mischkalla, F., & Müller, W. (2013). Efficient Power-Intent Validation Using “Loosely-Timed” Simulation Models: A Non-Invasive Approach. 23rd International Workshop on Power and Timing Modeling, Optimization and Simulation (PATMOS). https://doi.org/10.1109/PATMOS.2013.6662171
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 36920
He, D., & Müller, W. (2013). An Energy-Efficient Heuristic for Hard Real-Time System on Multi-Core Processors. In H. Weghorn (Ed.), Proceedings of the International Conference on Applied Computing (AC).
LibreCat
2012 | Conference Paper | LibreCat-ID: 25744
Joy, M. tech. M. M., Becker, M., Mathews, E., & Müller, W. (2012). Automated Source Code Annotation for Timing Analysis of Embedded Software. In Proceedings of Advanced Computing and Communications Conference 2012 (ADCOM 2012).
LibreCat
2012 | Conference Paper | LibreCat-ID: 25758
Becker, M., Baldin, D., Kuznik, C., Joy, M. tech. M. M., Xie, T., & Müller, W. (2012). XEMU: An Efficient QEMU Based Binary Mutation Testing Framework for Embedded Software. EMSOFT’12: Teenth ACM International Conference on Embedded Software 2012 Proceedings .
LibreCat