The following publications are possibly variants of this publication:
- Automatic Fault Localization for SystemC TLM DesignsHoang M. Le, Daniel Große, Rolf Drechsler. mtv 2010: 35-40 [doi]
- Automatic TLM Fault Localization for SystemCHoang M. Le, Daniel Große, Rolf Drechsler. tcad, 31(8):1249-1262, 2012. [doi]
- Induction-Based Formal Verification of SystemC TLM DesignsDaniel Große, Hoang M. Le, Rolf Drechsler. mtv 2009: 101-106 [doi]
- Proving transaction and system-level properties of untimed SystemC TLM designsDaniel Große, Hoang M. Le, Rolf Drechsler. memocode 2010: 113-122 [doi]
- ASCHyRO: Automatic Fault Localization of SystemC HLS Designs Using a Hybrid Accurate Rank Ordering TechniqueMehran Goli, Alireza Mahzoon, Rolf Drechsler. iccd 2020: 179-186 [doi]
- Automated feature localization for dynamically generated SystemC designsJannis Stoppe, Robert Wille, Rolf Drechsler. date 2015: 277-280 [doi]