https://lucabrodohshl.github.io/ https://lucabrodohshl.github.io/research/ https://lucabrodohshl.github.io/publications/ https://lucabrodohshl.github.io/publications/rtwbs-asymmetric-timed-refinement-memocode-2026/ https://lucabrodohshl.github.io/publications/digital-twin-evolution-asyde-2026/ https://lucabrodohshl.github.io/publications/social-norm-pattern-catalog-models-2026/ https://lucabrodohshl.github.io/publications/property-refinement-ctl/ https://lucabrodohshl.github.io/publications/property-refinement-ltl-fse-2026/ https://lucabrodohshl.github.io/publications/runtime-self-optimization-seams-2026/ https://lucabrodohshl.github.io/publications/minimal-sufficient-temporal-properties-icse-2026/ https://lucabrodohshl.github.io/publications/digital-twin-transportation-move4sps-2025/ https://lucabrodohshl.github.io/tutorials/ https://lucabrodohshl.github.io/tutorials/ltl-property-redundancy/2026-10-27 https://lucabrodohshl.github.io/teaching/ https://lucabrodohshl.github.io/impressum/ https://lucabrodohshl.github.io/privacy/