Monopedia: Staying Single is Good Enough - The HyPer Way for Web Scale Applications. - Maximilian E. Schüle; Pascal Schliski; Thomas Hutzelmann; Tobias Rosenberger; Viktor Leis; Dimitri Vorona; Alfons Kemper; Thomas Neumann 001 (Proc. VLDB Endow., 2017)

Institution-Based Encoding and Verification of Simple UML State Machines in CASL/SPASS. - Tobias Rosenberger; Saddek Bensalem; Alexander Knapp; Markus Roggenbach (WADT, 2020)

An Institutional Approach to Communicating UML State Machines. - Tobias Rosenberger; Alexander Knapp; Markus Roggenbach (FASE, 2022)

Institution-based Semantics and Tool Support for the UML. (Sémantique et outils institutionnels pour le UML). - Tobias Rosenberger (2022)