Henry Sudhof

Composing Safely - A Type System for Aspects

Florian Kammüller, Henry Sudhof, F. Kammüller, 2008, SC@ETAPS.

Compositionality of Aspect Weaving

Florian Kammüller, Henry Sudhof, F. Kammüller, 2008, SJTU-TUB Joint Workshop.

Locally Nameless Sigma Calculus

Ludovic Henrio, Florian Kammüller, Henry Sudhof, 2010, Arch. Formal Proofs.

A mechanized theory of aspects

Henry Sudhof, Henry Sudhof, 2010 .

Patterns for Re-usable Aspects in Object Teams

Henry Sudhof, Katharina Mehner-Heindl, Dehla Sokenou, 2006, NODe/GSEM.

A Formalization of Typed Aspects for the ς-calculus in Isabelle/HOL

Florian Kammüller, Henry Sudhof, 2007 .