Bettina Buth

Bettina Buth, Gerd Rabe, Till Seyfarth (Eds.): Computer Safety, Reliability, and Security, 28th International Conference, SAFECOMP 2009, Hamburg, Germany, September 15-18, 2009. Proceedings. Lecture Notes in Computer Science 5775, Springer 2009, isbn 978-3-642-04467-0

Bettina Buth: Analysing Mode Confusion: An Approach Using FDR2. SAFECOMP 2004: 101-114

Jan Peleska, Bettina Buth: Formal Methods for the International Space Station ISS. Correct System Design 1999: 363-389

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

Bettina Buth, Jan Peleska, Hui Shi: Combining Methods for the Livelock Analysis of a Fault-Tolerant System. AMAST 1998: 124-139

Bettina Buth, Michel Kouvaras, Jan Peleska, Hui Shi: Deadlock Analysis for a Fault-Tolerant System. AMAST 1997: 60-74

Bettina Buth: PAMELA + PVS. AMAST 1997: 560-562

Rudolf Berghammer, Bettina Buth, Karl-Heinz Buth: Rechnergestützte Programmentwicklung und -verifikation in der Lehre: Konzeption und Erfahrungen. SEUH 1995: 11-21

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

Bettina Buth, Karl-Heinz Buth: An Approach to Automatic Proof Support for Code Generator Verification. Code Generation 1991: 193-209

Bettina Buth, Karl-Heinz Buth: Correctness Proofs for Meta IV Written Code Generator Specification using Term Rewriting. VDM Europe 1988: 406-433