Publications

2025

To Appear GIQC Workshop
Towards Real-World System-Level Integration of Quantum Accelerators: A Hardware/Software Co-Design Approach

Ralf Ramsauer, Benno Bielmeier, Wolfgang MauererProceedings of the GI Quantum Computing Workshop2025.
PDF [BibTex]

×

BibTex Entry

@inproceedings{ramsauer:25:sysqc,
 author = {Ralf Ramsauer and Benno Bielmeier and Wolfgang Mauerer},
 booktitle = {Proceedings of the GI Quantum Computing Workshop},
 entrysubtype = {Workshop},
 month = {09},
 series = {GIQC '25},
 title = {Towards Real-World System-Level Integration of Quantum Accelerators: A Hardware/Software Co-Design Approach},
 userd = {GIQC '25},
 year = {2025}
}

Close

To Appear RTCSA Conference
From Tracepoints to Timeliness: A Semi-Markov Framework for Predictive Runtime Analysis

Benno Bielmeier, Ralf Ramsauer, Takahiro Yoshida, Wolfgang MauererIEEE 31th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA)2025.
[BibTex]

×

BibTex Entry

@inproceedings{bielmeier:25:markov,
 author = {Benno Bielmeier and Ralf Ramsauer and Takahiro Yoshida and Wolfgang Mauerer},
 booktitle = {IEEE 31th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA)},
 entrysubtype = {Conference},
 month = {08},
 title = {From Tracepoints to Timeliness: A Semi-Markov Framework for Predictive Runtime Analysis},
 userd = {RTCSA '25},
 year = {2025}
}

Close

2022

OSSJ Conference
Semi-Formal Verification of Embedded Linux Systems Using Trace-Based Models

Benno Bielmeier, Wolfgang MauererOpen Source Summig Japan (OSSJ)2022.
PDF [BibTex]

×

BibTex Entry

@inproceedings{bielmeier:22:ossj,
 author = {Bielmeier, Benno and Mauerer, Wolfgang},
 booktitle = {Open Source Summig Japan (OSSJ)},
 entrysubtype = {Conference},
 keywords = {embedded linux, formal verification, runtime behaviour, real-time},
 language = {en},
 month = {12},
 title = {Semi-Formal Verification of Embedded Linux Systems Using Trace-Based Models},
 url = {https://www.youtube.com/watch?v=w42ab8-CH1o},
 userd = {OSSJ},
 venue = {Tokyo, Japan},
 year = {2022}
}

Close

Supervised Theses

2025

2024

Theses