Design Structure Analysis and Transaction Recording in SystemC. - Wolfgang Klingauf; Manuel Geffken (FDL, 2006)

Precise Interprocedural Side-Effect Analysis. - Manuel Geffken; Hannes Saffrich; Peter Thiemann 001 (ICTAC, 2014)

Side effect monitoring for Java using bytecode rewriting. - Manuel Geffken; Peter Thiemann 001 (PPPJ, 2014)

Transparent Object Proxies for JavaScript (Artifact). - Matthias Keil 002; Sankha Narayan Guria; Andreas Schlegel; Manuel Geffken; Peter Thiemann 001 (Dagstuhl Artifacts Ser., 2015)

Transparent object proxies for javascript. - Matthias Keil 002; Sankha Narayan Guria; Andreas Schlegel; Manuel Geffken; Peter Thiemann 001 (Software Engineering, 2016)