Roman Bögli

Orcid: 0009-0004-8745-7800

According to our database¹, Roman Bögli authored at least 4 papers between 2024 and 2025.

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

2025

Beyond Software Families: Community-Driven Variability.

[BibT_eX]

[DOI]

Proceedings of the 33rd ACM International Conference on the Foundations of Software Engineering, 2025

Temporal Logics Meet Real-World Software Requirements: A Reality Check.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE/ACM International Conference on Formal Methods in Software Engineering, 2025

2024

A Systematic Literature Review on a Decade of Industrial TLA+ Practice.

[BibT_eX]

[DOI]

CoRR, 2024

A Systematic Literature Review on a Decade of Industrial TLA<sup>+</sup> Practice.

[BibT_eX]

[DOI]

Proceedings of the Integrated Formal Methods - 19th International Conference, 2024

Roman Bögli

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...