Daniel Stachnik -

Not registered as user yet

Name:Daniel Stachnik

Country:Germany

Affiliation:Hasso Plattner Institute

Contributions

2024

VL/HCC

Author of Daniel Stachnik: An Explorable and Visual Formal Specification within the Graduate Consortium-track
Author of SpecTacles: Supporting Control Flow Comprehension of Software Developers in TLA+ within the Research Papers-track

2023

PAINT

Author of Visual Replacements: Cross-language Domain-specific Representations in Structured Editors within the PAINT-track