Automated conformance evaluation of SystemC designs using timed automata. - Paula Herber; Marcel Pockrandt; Sabine Glesner (ETS, 2010)

Model checking a SystemC/TLM design of the AMBA AHB protocol. - Marcel Pockrandt; Paula Herber; Sabine Glesner (ESTIMedia, 2011)

Transforming SystemC Transaction Level Models into UPPAAL timed automata. - Paula Herber; Marcel Pockrandt; Sabine Glesner (MEMOCODE, 2011)

Optimierte Generierung von Konformitätstests für eingebettete Echtzeitsysteme. - Marcel Pockrandt (Softwaretechnik-Trends, 2011)

Optimized Transformation and Verification of SystemC Methods. - Marcel Pockrandt; Paula Herber; Holger Gross; Sabine Glesner (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2012)

Model Checking Memory-Related Properties of Hardware/Software Co-designs. - Marcel Pockrandt; Paula Herber; Verena Klös; Sabine Glesner (IESS, 2013)

Model checking memory-related properties of hardware/software codesigns (Modelchecking Speicher-bezogener Eigenschaften für Hardware/Software Codesigns) - Marcel Pockrandt (2014)

STATE - A SystemC to Timed Automata Transformation Engine. - Paula Herber; Marcel Pockrandt; Sabine Glesner (HPCC/CSS/ICESS, 2015)