Dipl.-Inform. Jan Sinschek
My research centers on language support for system evolution, with a focus on techniques to address security issues in evolving systems.
I currently work to bring concepts from object capability programming to object-oriented system without system re-implementation. This work uses type information to encode what actions code is allowed to perform. The type system used in this is based on dependent classes, which allow to vary an object's behaviour with the types of the objects that it collaborates with.
Number of items: 4.
Alsouri, Sami ; Sinschek, Jan ; Sewe, Andreas ; Bodden, Eric ; Mezini, Mira ; Katzenbeisser, Stefan
Bodden, Eric ; Sewe, Andreas ; Sinschek, Jan ; Oueslati, Hela ; Mezini, Mira
Sewe, Andreas ; Yuan, Dingwen ; Sinschek, Jan ; Mezini, Mira
Sinschek, Jan ; Sewe, Andreas ; Mezini, Mira