Roman Bögli

According to our database, Roman Bögli authored at least 23 papers between 2024 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Community-driven variability: characterizing a new software variability paradigm.

Roman Bögli, Alexander Boll, Alexander Schultheiß, Timo Kehrer

Autom. Softw. Eng., December, 2026

2025

BF-CBOM: Your Best Friend for Generating, Understanding, and Comparing Cryptography Bill of Material (CBOMs).

Roman Bögli, Jonas Spieler, Timo Kehrer

Dataset, December, 2025

CBOMbench.

Simon Egli, Roman Bögli, Timo Kehrer

Dataset, September, 2025

BF-CBOM: Benchmarking Framework for Cryptography Bill of Material Generator Tools.

Roman Bögli, Jonas Spieler, Timo Kehrer

Dataset, September, 2025

BF-CBOM: Benchmarking Framework for Cryptography Bill of Material Generator Tools.

Roman Bögli, Jonas Spieler, Timo Kehrer

Dataset, September, 2025

BF-CBOM: Benchmarking Framework for Cryptography Bill of Material Generator Tools.

Roman Bögli, Jonas Spieler, Timo Kehrer

Dataset, September, 2025

BF-CBOM: Benchmarking Framework for Cryptography Bill of Material Generator Tools.

Roman Bögli, Jonas Spieler, Timo Kehrer

Dataset, September, 2025

BF-CBOM: Benchmarking Framework for Cryptography Bill of Material Generator Tools.

Roman Bögli, Jonas Spieler, Simon Egli, Timo Kehrer

Dataset, September, 2025

tlparser.

Roman Bögli, Atefeh Rohani, Thomas Studer, Christos Tsigkanos, Timo Kehrer

Dataset, September, 2025

AGAT: Ein heuristischer Algorithmus zur präferenzbasierten Gruppenbildung mit fester Gruppengrösse.

Patrick Rüegsegger, Roman Bögli, Timo Kehrer

Dataset, August, 2025

AGAT: Ein heuristischer Algorithmus zur präferenzbasierten Gruppenbildung mit fester Gruppengrösse.

Patrick Rüegsegger, Roman Bögli, Timo Kehrer

Dataset, August, 2025

CBOMbench.

Simon Egli, Roman Bögli, Timo Kehrer

Dataset, July, 2025

CBOMbench.

Simon Egli, Roman Bögli, Timo Kehrer

Dataset, July, 2025

CBOMbench.

Simon Egli, Roman Bögli, Timo Kehrer

Dataset, July, 2025

tlparser.

Roman Bögli, Atefeh Rohani, Thomas Studer, Christos Tsigkanos, Timo Kehrer

Dataset, June, 2025

tlparser.

Roman Bögli, Atefeh Rohani, Thomas Studer, Christos Tsigkanos, Timo Kehrer

Dataset, June, 2025

tlparser.

Roman Bögli, Atefeh Rohani, Thomas Studer, Christos Tsigkanos, Timo Kehrer

Dataset, February, 2025

tlparser.

Roman Bögli, Atefeh Rohani, Thomas Studer, Christos Tsigkanos, Timo Kehrer

Dataset, January, 2025

Beyond Software Families: Community-Driven Variability.

Roman Bögli, Alexander Boll, Alexander Schultheiß, Timo Kehrer

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

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

Roman Bögli, Atefeh Rohani, Thomas Studer, Christos Tsigkanos, Timo Kehrer

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

2024

Included Papers in SLR on TLA+ Industrial Practice.

Roman Bögli, Christos Tsigkanos, Timo Kehrer

Dataset, September, 2024

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

Roman Bögli, Leandro Lerena, Christos Tsigkanos, Timo Kehrer

CoRR, 2024

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

Roman Bögli, Leandro Lerena, Christos Tsigkanos, Timo Kehrer

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