Publications

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