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
2012 | Conference Paper | LibreCat-ID: 25761
The System Verification Methodology for Advanced TLM Verification
M.F. Oliveira, C. Kuznik, H.M. Le, D. Große, F. Haedicke, W. Müller, R. Drechsler, W. Ecker, V. Esen, in: CODES/ISSS ’12: Eighth IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis Proceedings, 2012.
LibreCat
M.F. Oliveira, C. Kuznik, H.M. Le, D. Große, F. Haedicke, W. Müller, R. Drechsler, W. Ecker, V. Esen, in: CODES/ISSS ’12: Eighth IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis Proceedings, 2012.
2012 | Conference Paper | LibreCat-ID: 25767
A Heuristic Energy-Aware Approach for Hard Real-Time Systems on Multi-Core Platforms
D. He, W. Müller, in: 15th Euromicro Conference on Digital System Design (DSD), IEEE Xplore, 2012.
LibreCat
D. He, W. Müller, in: 15th Euromicro Conference on Digital System Design (DSD), IEEE Xplore, 2012.
2012 | Conference Paper | LibreCat-ID: 26022
Binary Mutation Testing Through Dynamic Translation
M. Becker, C. Kuznik, M. tech. M.M. Joy, T. Xie, W. Müller, in: 42nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2012.
LibreCat
| Download (ext.)
M. Becker, C. Kuznik, M. tech. M.M. Joy, T. Xie, W. Müller, in: 42nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2012.
2012 | Conference Paper | LibreCat-ID: 26023
Enhanced Schedulability Analysis of Hard Real-Time Systems on Power Manageable Multi-Core Platforms
D. He, W. Müller, in: Third International Symposium on Advances in Embedded Systems and Applications (ESA-2012), IEEE Xplore, 2012.
LibreCat
D. He, W. Müller, in: Third International Symposium on Advances in Embedded Systems and Applications (ESA-2012), IEEE Xplore, 2012.
2012 | Conference Paper | LibreCat-ID: 26024
Compilation of Methodologies to Speed up the Verification Process at System Level
S. Radke, S. Rülke, M.F. Oliveira, C. Kuznik, W. Müller, W. Ecker, V. Esen, S. Hufnagel, N. Bannow, J.-H. Oetjens, H. Brazdrum, P. Janssen, H.M. Le, D. Große, F. Haedicke, R. Drechsler, G. Koch, A. Burger, O. Bringmann, W. Rosenstiel, R. Görgen, in: EdaWorkshop 12, 2012.
LibreCat
| Download (ext.)
S. Radke, S. Rülke, M.F. Oliveira, C. Kuznik, W. Müller, W. Ecker, V. Esen, S. Hufnagel, N. Bannow, J.-H. Oetjens, H. Brazdrum, P. Janssen, H.M. Le, D. Große, F. Haedicke, R. Drechsler, G. Koch, A. Burger, O. Bringmann, W. Rosenstiel, R. Görgen, in: EdaWorkshop 12, 2012.
2012 | Conference Paper | LibreCat-ID: 26031
Online Energy-Efficient Hard Real-Time Scheduling for Component Oriented Systems
D. He, W. Müller, in: 2012 IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC), IEEE Xplore, 2012.
LibreCat
D. He, W. Müller, in: 2012 IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC), IEEE Xplore, 2012.
2012 | Conference Paper | LibreCat-ID: 26036
A SystemC Library for Advanced TLM Verification
M.F. Oliveira, C. Kuznik, W. Müller, W. Ecker, V. Esen, in: Proceeding of Design and Verification Conference (DVCON), 2012.
LibreCat
M.F. Oliveira, C. Kuznik, W. Müller, W. Ecker, V. Esen, in: Proceeding of Design and Verification Conference (DVCON), 2012.
2012 | Conference Paper | LibreCat-ID: 26079
MOUSSE: scaling MOdelling and verification to complex heterogeneoUS embedded Systems Evolution
M. Becker, G.B. Gnokam Defo, W. Müller, F. Fummi, G. Pravadelli, S. Vinco, in: Design, Automation and Test in Europe (DATE 2012), Dresden, 2012.
LibreCat
M. Becker, G.B. Gnokam Defo, W. Müller, F. Fummi, G. Pravadelli, S. Vinco, in: Design, Automation and Test in Europe (DATE 2012), Dresden, 2012.
2012 | Conference Paper | LibreCat-ID: 26080
XEMU: A QEMU Based Binary Mutation Testing Framework
M. Becker, C. Kuznik, M. tech. M. Joy, T. Xie, W. Müller, in: Design, Automation and Test in Europe DATE, University Booth, Dresden, 2012.
LibreCat
M. Becker, C. Kuznik, M. tech. M. Joy, T. Xie, W. Müller, in: Design, Automation and Test in Europe DATE, University Booth, Dresden, 2012.
2012 | Conference Paper | LibreCat-ID: 26092
Virtual Prototyping of Cyber-Physical Systems
W. Müller, M. Becker, H. Zabel, A. Elfeky, A. DiPasquale, in: In Proceedings of 17th Asia and South Pacific Design Automation Conference (ASP-DAC 2012, Sydney, 2012.
LibreCat
W. Müller, M. Becker, H. Zabel, A. Elfeky, A. DiPasquale, in: In Proceedings of 17th Asia and South Pacific Design Automation Conference (ASP-DAC 2012, Sydney, 2012.
2012 | Book Chapter | LibreCat-ID: 26695
Extending UML for Electronic Systems Design: A Code Generation Perspective
Y. Vanderperren, W. Müller, D. He, F. Mischkalla, W. Dahaene, in: G. Nicolescu, I. O’Connor, C. Piguet (Eds.), Design Technology for Heterogeneous Embedded Systems, 1st Edition. Auflage, Springer Verlag, 2012, pp. 13–39.
LibreCat
Y. Vanderperren, W. Müller, D. He, F. Mischkalla, W. Dahaene, in: G. Nicolescu, I. O’Connor, C. Piguet (Eds.), Design Technology for Heterogeneous Embedded Systems, 1st Edition. Auflage, Springer Verlag, 2012, pp. 13–39.
2012 | Conference Paper | LibreCat-ID: 36922
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
| DOI
K. Klobedanz, W. Müller, A. Rettberg, in: IEEE, Shenzhen, China , 2012.
2012 | Conference Paper | LibreCat-ID: 36921
Towards an Enhanced UVM for SystemC
M.F. Oliveira, C. Kuznik, W. Müller, V. Esen, W. Ecker, in: Proceedings of the Design & Verification Conference (DVCon), San Jose, 2012.
LibreCat
M.F. Oliveira, C. Kuznik, W. Müller, V. Esen, W. Ecker, in: Proceedings of the Design & Verification Conference (DVCon), San Jose, 2012.
2012 | Conference Paper | LibreCat-ID: 36994
Mutation-Analysis Driven Functional Verification of a Soft Microprocessor
T. Xie, W. Müller, F. Letombe, in: Proceedings of SOCC2012, IEEE, Niagara Falls, NY, USA , 2012.
LibreCat
| DOI
T. Xie, W. Müller, F. Letombe, in: Proceedings of SOCC2012, IEEE, Niagara Falls, NY, USA , 2012.
2012 | Conference Paper | LibreCat-ID: 36997
An IP-XACT-TO-SystemC Model Generator for Mutation Analysis
T. Xie, W. Müller, in: Proceedings of the MeCoES’12, Tampere, Finnland, 2012.
LibreCat
T. Xie, W. Müller, in: Proceedings of the MeCoES’12, Tampere, Finnland, 2012.
2012 | Journal Article | LibreCat-ID: 26038
SYSTEMC UVM VERIFICATION COMPONENTS
C. Kuznik, M.F. Oliveira, W. Müller, Design, Automation and Test in Europe DATE (2012).
LibreCat
C. Kuznik, M.F. Oliveira, W. Müller, Design, Automation and Test in Europe DATE (2012).
2012 | Book (Editor) | LibreCat-ID: 53593
Proceedings of the 1st Workshop on Metamodelling and Code Generation for Embedded Systems - MeCoEs
W. Müller, W. Ecker, eds., Proceedings of the 1st Workshop on Metamodelling and Code Generation for Embedded Systems - MeCoEs , Tampere, Finland, 2012.
LibreCat
W. Müller, W. Ecker, eds., Proceedings of the 1st Workshop on Metamodelling and Code Generation for Embedded Systems - MeCoEs , Tampere, Finland, 2012.
2011 | Conference Paper | LibreCat-ID: 26667
Aspect enhanced functional coverage driven verification in the SystemC HDVL
C. Kuznik, W. Müller, in: Proc. of the 8th International SoC Design Conference 2011 (ISOCC 2011), 2011.
LibreCat
C. Kuznik, W. Müller, in: Proc. of the 8th International SoC Design Conference 2011 (ISOCC 2011), 2011.
2011 | Conference Paper | LibreCat-ID: 26669
IP-XACT based System Level Mutation Testing
T. Xie, W. Müller, in: Proceedings of the 16th IEEE International High Level Design Validation and Test Workshop (HLDVT), 2011.
LibreCat
T. Xie, W. Müller, in: Proceedings of the 16th IEEE International High Level Design Validation and Test Workshop (HLDVT), 2011.
2011 | Conference Paper | LibreCat-ID: 26698
HDL-Mutation Based Simulation Data Generation by Propagation Guided Search
T. Xie, W. Müller, in: Proceedings of the 14th Euromicro Conference on Digital System Design (DSD), 2011.
LibreCat
T. Xie, W. Müller, in: Proceedings of the 14th Euromicro Conference on Digital System Design (DSD), 2011.