| 0 | -- | 0 | Maria Maximova, Sven Schneider 0001, Holger Giese. Compositional Analysis of Probabilistic Timed Graph Transformation Systems |
| 0 | -- | 0 | Alen Arslanagic, Pavle Subotic, Jorge A. Pérez 0001. Bit-Vector Typestate Analysis |
| 0 | -- | 0 | Martin de Boer, Stijn de Gouw, Jonas Klamroth, Christian Jung, Mattias Ulbrich, Alexander Weigl. Formal Specification and Verification of JDK's Identity Hash Map Implementation |
| 0 | -- | 0 | Heiko Klare, Joshua Gleitze. Termination and Expressiveness of Execution Strategies for Networks of Bidirectional Model Transformations |