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.
282 Publications
2012 | Conference Paper | LibreCat-ID: 26031
He, D., & Müller, W. (2012). Online Energy-Efficient Hard Real-Time Scheduling for Component Oriented Systems. 2012 IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC).
LibreCat
2012 | Conference Paper | LibreCat-ID: 26036
Oliveira, M. F., Kuznik, C., Müller, W., Ecker, W., & Esen, V. (2012). A SystemC Library for Advanced TLM Verification. Proceeding of Design and Verification Conference (DVCON).
LibreCat
2012 | Conference Paper | LibreCat-ID: 26079
Becker, M., Gnokam Defo, G. B., Müller, W., Fummi, F., Pravadelli, G., & Vinco, S. (2012). MOUSSE: scaling MOdelling and verification to complex heterogeneoUS embedded Systems Evolution. Design, Automation and Test in Europe (DATE 2012).
LibreCat
2012 | Conference Paper | LibreCat-ID: 26080
Becker, M., Kuznik, C., Joy, M. tech. M., Xie, T., & Müller, W. (2012). XEMU: A QEMU Based Binary Mutation Testing Framework. Design, Automation and Test in Europe DATE.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26092
Müller, W., Becker, M., Zabel, H., Elfeky, A., & DiPasquale, A. (2012). Virtual Prototyping of Cyber-Physical Systems. In Proceedings of 17th Asia and South Pacific Design Automation Conference (ASP-DAC 2012.
LibreCat
2012 | Book Chapter | LibreCat-ID: 26695
Vanderperren, Y., Müller, W., He, D., Mischkalla, F., & Dahaene, W. (2012). Extending UML for Electronic Systems Design: A Code Generation Perspective. In G. Nicolescu, I. O’Connor, & C. Piguet (Eds.), Design Technology for Heterogeneous Embedded Systems (1st Edition. Auflage, pp. 13–39). Springer Verlag.
LibreCat
2012 | Journal Article | LibreCat-ID: 26038
Kuznik, C., Oliveira, M. F., & Müller, W. (2012). SYSTEMC UVM VERIFICATION COMPONENTS. Design, Automation and Test in Europe DATE.
LibreCat
2012 | Book (Editor) | LibreCat-ID: 53593
Müller, W., & Ecker, W. (Eds.). (2012). Proceedings of the 1st Workshop on Metamodelling and Code Generation for Embedded Systems - MeCoEs .
LibreCat
2012 | Conference Paper | LibreCat-ID: 36922
Klobedanz, K., Müller, W., & Rettberg, A. (2012). An Approach for Self-Reconfiguring and Fault-Tolerant Distributed Real-Time Systems. IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops. https://doi.org/10.1109/ISORCW.2012.41
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 36921
Oliveira, M. F., Kuznik, C., Müller, W., Esen, V., & Ecker, W. (2012). Towards an Enhanced UVM for SystemC. Proceedings of the Design & Verification Conference (DVCon).
LibreCat
2012 | Conference Paper | LibreCat-ID: 36994
Xie, T., Müller, W., & Letombe, F. (2012). Mutation-Analysis Driven Functional Verification of a Soft Microprocessor. Proceedings of SOCC2012. https://doi.org/10.1109/SOCC.2012.6398362
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 36997
Xie, T., & Müller, W. (2012). An IP-XACT-TO-SystemC Model Generator for Mutation Analysis. Proceedings of the MeCoES’12.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26667
Kuznik, C., & Müller, W. (2011). Aspect enhanced functional coverage driven verification in the SystemC HDVL. Proc. of the 8th International SoC Design Conference 2011 (ISOCC 2011).
LibreCat
2011 | Conference Paper | LibreCat-ID: 26669
Xie, T., & Müller, W. (2011). IP-XACT based System Level Mutation Testing. Proceedings of the 16th IEEE International High Level Design Validation and Test Workshop (HLDVT).
LibreCat
2011 | Conference Paper | LibreCat-ID: 26698
Xie, T., & Müller, W. (2011). HDL-Mutation Based Simulation Data Generation by Propagation Guided Search. Proceedings of the 14th Euromicro Conference on Digital System Design (DSD).
LibreCat
2011 | Journal Article | LibreCat-ID: 26705
Kuznik, C., & Müller, W. (2011). Verification Closure of SystemC Designs with Functional Coverage. North American SystemC User Group Meeting (16th). Jun. 2011 - 16th North American User Group Meeting (NASCUG).
LibreCat
2011 | Conference Paper | LibreCat-ID: 26710
Becker, M., Zabel, H., Müller, W., Elfeky, A., & DiPasquale, A. (2011). Virtual Prototyping softwareintensiver mechatronischer Systeme Eine Fallstudie. 8. Paderborner Workshop Entwurf Mechatronischer Systeme, Band 294, 294, 315–327.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26713
Klobedanz, K., König, A., & Müller, W. (2011). A Reconfiguration Approach for Fault-Tolerant FlexRay Networks. Proceedings of Design, Automation, Test Europe - DATE2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26714
Klobedanz, K., König, A., Müller, W., & Rettberg, A. (2011). Self-Reconfiguration for Fault-Tolerant FlexRay Networks. Second IEEE Workshop on Self-Organizing Real-Time Systems - SORT 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26715
Kuznik, C., & Müller, W. (2011). Functional Coverage-driven Verification with SystemC on Multiple Level of Abstraction. Proceedings of DVCON .
LibreCat