A UML frontend for IP-XACT-based IP management. - Tim Schattkowsky; Tao Xie 006; Wolfgang Müller 003 (DATE, 2009)

RTOS-aware refinement for TLM2.0-based HW/SW designs. - Markus Becker 001; Giuseppe Di Guglielmo; Franco Fummi; Wolfgang Müller 003; Graziano Pravadelli; Tao Xie 006 (DATE, 2010)

Efficient Mutation-Analysis Coverage for Constrained Random Verification. - Tao Xie 006; Wolfgang Müller 003; Florian Letombe (DIPES/BICC, 2010)

HDL-Mutation Based Simulation Data Generation by Propagation Guided Search. - Tao Xie 006; Wolfgang Müller 003; Florian Letombe (DSD, 2011)

IP-XACT based system level mutation testing. - Tao Xie 006; Wolfgang Müller 003; Florian Letombe (HLDVT, 2011)

Binary mutation testing through dynamic translation. - Markus Becker 001; Christoph Kuznik; Mabel M. Joy; Tao Xie 006; Wolfgang Müller 003 (DSN, 2012)

XEMU: an efficient QEMU based binary mutation testing framework for embedded software. - Markus Becker 001; Daniel Baldin; Christoph Kuznik; Mabel M. Joy; Tao Xie 006; Wolfgang Müller 003 (EMSOFT, 2012)

Mutation-analysis driven functional verification of a soft microprocessor. - Tao Xie 006; Wolfgang Müller 003; Florian Letombe (SoCC, 2012)

Methods for the Design and Development. - Harald Anacker; Michael Dellnitz; Kathrin Flaßkamp; Stefan Groesbrink; Philip Hartmann; Christian Heinzemann; Christian Horenkamp; Bernd Kleinjohann; Lisa Kleinjohann; Sebastian Korf; Martin Krüger; Wolfgang Müller 003; et al. (Design Methodology for Intelligent Technical Systems, 2014)

Quality metrics driven functional verification for IP based SoC design - Tao Xie 006 (2014)