| 2004 |
|---|
| 10 | EE | Bettina Buth:
Analysing Mode Confusion: An Approach Using FDR2.
SAFECOMP 2004: 101-114 |
| 1999 |
|---|
| 9 | EE | Jan Peleska,
Bettina Buth:
Formal Methods for the International Space Station ISS.
Correct System Design 1999: 363-389 |
| 8 | EE | Bettina Buth,
Mike Schrönen:
Model-Checking the Architectural Design of a Fail-Safe Communication System for Railway Interlocking Systems.
World Congress on Formal Methods 1999: 1869 |
| 1998 |
|---|
| 7 | EE | Bettina Buth,
Jan Peleska,
Hui Shi:
Combining Methods for the Livelock Analysis of a Fault-Tolerant System.
AMAST 1998: 124-139 |
| 1997 |
|---|
| 6 | | Bettina Buth:
PAMELA + PVS.
AMAST 1997: 560-562 |
| 5 | | Bettina Buth,
Michel Kouvaras,
Jan Peleska,
Hui Shi:
Deadlock Analysis for a Fault-Tolerant System.
AMAST 1997: 60-74 |
| 1995 |
|---|
| 4 | | Rudolf Berghammer,
Bettina Buth,
Karl-Heinz Buth:
Rechnergestützte Programmentwicklung und -verifikation in der Lehre: Konzeption und Erfahrungen.
SEUH 1995: 11-21 |
| 1992 |
|---|
| 3 | | Bettina Buth,
Karl-Heinz Buth,
Martin Fränzle,
Burghard von Karger,
Yassine Lakhnech,
Hans Langmaack,
Markus Müller-Olm:
Provably Correct Compiler Development and Implementation.
CC 1992: 141-155 |
| 1991 |
|---|
| 2 | | Bettina Buth,
Karl-Heinz Buth:
An Approach to Automatic Proof Support for Code Generator Verification.
Code Generation 1991: 193-209 |
| 1988 |
|---|
| 1 | | Bettina Buth,
Karl-Heinz Buth:
Correctness Proofs for Meta IV Written Code Generator Specification using Term Rewriting.
VDM Europe 1988: 406-433 |
