Correctness Proofs for Meta IV Written Code Generator Specification using Term Rewriting. - Bettina Buth; Karl-Heinz Buth (VDM Europe, 1988)

An Approach to Automatic Proof Support for Code Generator Verification. - Bettina Buth; Karl-Heinz Buth (Code Generation, 1991)

Provably Correct Compiler Development and Implementation. - Bettina Buth; Karl-Heinz Buth; Martin Fränzle; Burghard von Karger; Yassine Lakhnech; Hans Langmaack; Markus Müller-Olm (CC, 1992)

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

Operation refinement proofs for VDM-like specifications. - Bettina Buth (1995)

PAMELA + PVS. - Bettina Buth (AMAST, 1997)

Deadlock Analysis for a Fault-Tolerant System. - Bettina Buth; Michel Kouvaras; Jan Peleska 001; Hui Shi 001 (AMAST, 1997)

Combining Methods for the Livelock Analysis of a Fault-Tolerant System. - Bettina Buth; Jan Peleska 001; Hui Shi 001 (AMAST, 1998)

PAMELA+PVS Verification of Sequential Programs. - Bettina Buth (Tool Support for System Specification, Development and Verification, 1998)

Formal Methods for the International Space Station ISS. - Jan Peleska 001; Bettina Buth (Correct System Design, 1999)

Model-Checking the Architectural Design of a Fail-Safe Communication System for Railway Interlocking Systems. - Bettina Buth; Mike Schrönen (World Congress on Formal Methods, 1999)

Formal and semi-formal methods for the analysis of industrial control systems. - Bettina Buth (2001)

Analysing Mode Confusion: An Approach Using FDR2. - Bettina Buth (SAFECOMP, 2004)

Real-time Ethernet Residual Bus Simulation: A Model-Based Testing Approach for the Next-Generation In-Car Network. - Florian Bartols; Till Steinbach; Franz Korf; Bettina Buth; Thomas C. Schmidt (RTNS, 2014)

Lecture Engineering. - Thomas Lehmann; Bettina Buth (SEUH, 2015)

Kompetenzorientierte Requirements Engineering Ausbildung im Rahmen eines SE-Moduls. - Thomas Lehmann; Bettina Buth (Software Engineering (Workshops), 2016)

From ProCoS to Space and Mental Models-A Survey of Combining Formal and Semi-formal Methods. - Bettina Buth (Provably Correct Systems, 2017)

Miniature Autonomy as One Important Testing Means in the Development of Machine Learning Methods for Autonomous Driving: How ML-based Autonomous Driving could be Realized on a 1: 87 Scale. - Tim Tiedemann; Jonas Fuhrmann; Sebastian Paulsen; Thorben Schnirpel; Nils Schönherr; Bettina Buth; Stephan Pareigis (ICINCO (2), 2019)

Potential Use of Safety Analysis for Risk Assessments in Smart City Sensor Network Applications. - Torge Hinrichs; Bettina Buth (SAFECOMP Workshops, 2019)

Applying Safety Methods to Sensor Networks. - Torge Hinrichs; Bettina Buth (WorldCIST (3), 2019)

Can AI-based Components be Part of Dependable Systems? - Torge Hinrichs; Bettina Buth (IV, 2020)

Bericht: Treffen der GI-Fachgruppe Test, Analyse und Verifikation von Software (TAV 47), 3. - 4. November 2022, München. - Dehla Sokenou; Mario Friske; Baris Güldali; David Faragó; Mario Winter; Bettina Buth (Softwaretechnik-Trends, 2022)