Bettina Buth

Publication Activity (10 Years)

Years Active: 1988-2022
Publications (10 Years): 6

Top Venues

Softwaretechnik-Trends

SAFECOMP Workshops

WorldCIST (3)

University of Kiel, Germany (PHD)

Education History

University of Kiel, Germany

PHD

Publications

Dehla Sokenou, Mario Friske, Baris Güldali, David Faragó, Mario Winter, Bettina Buth
Bericht: Treffen der GI-Fachgruppe Test, Analyse und Verifikation von Software (TAV 47), 3. - 4. November 2022, München. Softwaretechnik-Trends 42 (4) (2022)
Torge Hinrichs, Bettina Buth
Can AI-based Components be Part of Dependable Systems? IV (2020)
Tim Tiedemann, Jonas Fuhrmann, Sebastian Paulsen, Thorben Schnirpel, Nils Schönherr, Bettina Buth, Stephan Pareigis
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. ICINCO (2) (2019)
Torge Hinrichs, Bettina Buth
Potential Use of Safety Analysis for Risk Assessments in Smart City Sensor Network Applications. SAFECOMP Workshops (2019)
Torge Hinrichs, Bettina Buth
Applying Safety Methods to Sensor Networks. WorldCIST (3) (2019)
Thomas Lehmann, Bettina Buth
Kompetenzorientierte Requirements Engineering Ausbildung im Rahmen eines SE-Moduls. Software Engineering (Workshops) (2016)
Thomas Lehmann, Bettina Buth
Lecture Engineering. SEUH (2015)
Florian Bartols, Till Steinbach, Franz Korf, Bettina Buth, Thomas C. Schmidt
Real-time Ethernet Residual Bus Simulation: A Model-Based Testing Approach for the Next-Generation In-Car Network. RTNS (2014)
Bettina Buth
Analysing Mode Confusion: An Approach Using FDR2. SAFECOMP (2004)
Jan Peleska, Bettina Buth
Formal Methods for the International Space Station ISS. Correct System Design (1999)
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)
Bettina Buth
PAMELA+PVS Verification of Sequential Programs. Tool Support for System Specification, Development and Verification (1998)
Bettina Buth, Jan Peleska, Hui Shi
Combining Methods for the Livelock Analysis of a Fault-Tolerant System. AMAST (1998)
Bettina Buth, Michel Kouvaras, Jan Peleska, Hui Shi
Deadlock Analysis for a Fault-Tolerant System. AMAST (1997)
Bettina Buth
PAMELA + PVS. AMAST (1997)
Rudolf Berghammer, Bettina Buth, Karl-Heinz Buth
Rechnergestützte Programmentwicklung und -verifikation in der Lehre: Konzeption und Erfahrungen. SEUH (1995)
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)
Bettina Buth, Karl-Heinz Buth
An Approach to Automatic Proof Support for Code Generator Verification. Code Generation (1991)
Bettina Buth, Karl-Heinz Buth
Correctness Proofs for Meta IV Written Code Generator Specification using Term Rewriting. VDM Europe (1988)

Bettina Buth.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Bettina Buth