- MIVE DebuggerPublikace bez příslušnosti k fakultě
- The JVM is not observable enough (and what to do about it)2012 | Matematicko-fyzikální fakulta
- Vizualizace modelů v systému Bobox2010 | Matematicko-fyzikální fakulta
- Challenges for Refinement and Composition of Instrumentations: Position Paper2012 | Matematicko-fyzikální fakulta
- AskTheCode: Interactive Call Graph Exploration for Error Fixing and Prevention2019 | Matematicko-fyzikální fakulta
- AskTheCodePublikace bez příslušnosti k fakultě
- Java Bytecode Instrumentation Made Easy: The DiSL Framework for Dynamic Program Analysis2012 | Matematicko-fyzikální fakulta
- Turbo DiSL: Partial Evaluation for High-Level Bytecode Instrumentation2012 | Matematicko-fyzikální fakulta
- DiSL: an extensible language for efficient and comprehensive dynamic program analysisPublikace bez příslušnosti k fakultě
