Tobias Rosenberger

According to our database¹, Tobias Rosenberger authored at least 4 papers between 2017 and 2022.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2022

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

[BibT_eX]

[DOI]

Tobias Rosenberger

PhD thesis, 2022

An Institutional Approach to Communicating UML State Machines.

[BibT_eX]

[DOI]

Tobias Rosenberger

Alexander Knapp

Markus Roggenbach

Proceedings of the Fundamental Approaches to Software Engineering, 2022

2020

Institution-Based Encoding and Verification of Simple UML State Machines in CASL/SPASS.

[BibT_eX]

[DOI]

Proceedings of the Recent Trends in Algebraic Development Techniques, 2020

2017

Monopedia: Staying Single is Good Enough - The HyPer Way for Web Scale Applications.

[BibT_eX]

[DOI]

Proc. VLDB Endow., 2017

Tobias Rosenberger

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...