Get started
Author

Bettina Buth

Observed names: B. Buth, Buth, Bettina, Dr. Bettina Buth
Institution: HAW Hamburg
OpenAlex ID: A5071959159
Computer Safety, Reliability, and Security
2009 · Buth, Bettina, Seyfarth, Till, et al. · Lecture notes in computer science · 47
Combining Methods for the Livelock Analysis of a Fault-Tolerant System
1998 · Bettina Buth, Jan Peleska, et al. · Lecture notes in computer science · 30
Deadlock analysis for a fault-tolerant system
1997 · Bettina Buth, Michel Kouvaras, et al. · Lecture notes in computer science · 27
Provably correct compiler development and implementation
1992 · Bettina Buth, Karl-Heinz Buth, et al. · Lecture notes in computer science · 27
Analysing Mode Confusion: An Approach Using FDR2
2004 · Bettina Buth · Lecture notes in computer science · 18
Formal Methods for the International Space Station ISS
1999 · Jan Peleska, Bettina Buth · Lecture notes in computer science · 12
Model-checking the architectural design of a fail-safe communication system for railway interlocking systems
1999 · Bettina Buth, Mike Schrönen · Lecture notes in computer science · 7
Can AI-based Components be Part of Dependable Systems?
2020 · Torge Hinrichs, Bettina Buth · IEEE Intelligent Vehicles Symposium · 5
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
2019 · Tim Tiedemann, Jonas Fuhrmann, et al. · International Conference on Informatics in Control, Automation and Robotics (ICINCO) · 5
PAMELA+PVS
1997 · Bettina Buth · Lecture notes in computer science · 4
Potential Use of Safety Analysis for Risk Assessments in Smart City Sensor Network Applications
2019 · Torge Hinrichs, Bettina Buth · Lecture notes in computer science · 3
Real-time Ethernet Residual Bus Simulation
2014 · Florian Bartols, Till Steinbach, et al. · International Conference on Real-Time Networks and Systems (RTNS) · 2
Proceedings of the 28th International Conference on Computer Safety, Reliability, and Security
2009 · Bettina Buth, Gerd Rabe, et al. · 2
Applying Safety Methods to Sensor Networks
2019 · Torge Hinrichs, Bettina Buth · Advances in intelligent systems and computing · 1
Computer safety, reliability, and security : 28th international conference, Safecomp 2009, Hamburg, Germany, September 15-18, 2009, proceedings
2009 · Bettina Buth, Gerd Rabe, et al. · 1
An Approach to Automatic Proof Support for Code Generator Verification
1992 · Bettina Buth, Karl-Heinz Buth · Workshops in computing · 1
Can AI-based Components be Part of Dependable Systems?
2020 · Torge Hinrichs, Bettina Buth · IV
From ProCoS to Space and Mental Models–A Survey of Combining Formal and Semi-formal Methods
2017 · Bettina Buth · NASA monographs in systems and software engineering
Kompetenzorientierte Requirements Engineering Ausbildung im Rahmen eines SE-Moduls.
2016 · Thomas Lehmann, Bettina Buth · Software Engineering (Workshops)
PAMELA+PVS Verification of Sequential Programs
1999 · Bettina Buth · Springer eBooks
An Interface between
1997 · Pamela Dr, Dr. Bettina Buth, et al.
Rechnergestützte Programmentwicklung und -verifikation in der Lehre: Konzepte und Erfahrungen
1995 · Rudolf Berghammer, Bettina Buth, et al. · Berichte des German Chapter of the ACM
Pamela—An Approach to Automatic Software Verification in Industrial Applications
1989 · B. Buth, K.-H. Buth · IFAC Proceedings Volumes
Works count: 28
Citation count: 192
H-index: 7
I10-index: 6
Year
Topic
Type