Visual Replacements: Cross-Language Domain-Specific Representations in Structured Editors. - Tom Beckmann; Daniel Stachnik; Jens Lincke; Robert Hirschfeld (PAINT@SPLASH, 2023)

An Explorable and Visual Formal Specification. - Daniel Stachnik (VL/HCC, 2024)

SpecTacles: Supporting Control Flow Comprehension of Software Developers in TLA+. - Daniel Stachnik; Tom Beckmann; Patrick Rein; Robert Hirschfeld (VL/HCC, 2024)