Tobias Rosenberger

Publication Activity (10 Years)

Years Active: 2017-2022
Publications (10 Years): 4

Top Topics

Intermediate Representation

Top Venues

Proc. VLDB Endow.

Publications

Tobias Rosenberger, Alexander Knapp, Markus Roggenbach
An Institutional Approach to Communicating UML State Machines. FASE (2022)
Tobias Rosenberger, Saddek Bensalem, Alexander Knapp, Markus Roggenbach
Institution-Based Encoding and Verification of Simple UML State Machines in CASL/SPASS. WADT (2020)
Tobias Rosenberger, Saddek Bensalem, Alexander Knapp, Markus Roggenbach
Institution-based Encoding and Verification of Simple UML State Machines in CASL/SPASS. CoRR (2020)
Maximilian E. Schüle, Pascal Schliski, Thomas Hutzelmann, Tobias Rosenberger, Viktor Leis, Dimitri Vorona, Alfons Kemper, Thomas Neumann
Monopedia: Staying Single is Good Enough - The HyPer Way for Web Scale Applications. Proc. VLDB Endow. 10 (12) (2017)