Bettina Buth

According to our database, Bettina Buth authored at least 22 papers between 1988 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2022

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

2020

Can AI-based Components be Part of Dependable Systems?

Torge Hinrichs, Bettina Buth

Proceedings of the IEEE Intelligent Vehicles Symposium, 2020

2019

Applying Safety Methods to Sensor Networks.

Torge Hinrichs, Bettina Buth

Proceedings of the New Knowledge in Information Systems and Technologies - Volume 3, 2019

Potential Use of Safety Analysis for Risk Assessments in Smart City Sensor Network Applications.

Torge Hinrichs, Bettina Buth

Proceedings of the Computer Safety, Reliability, and Security, 2019

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

Proceedings of the 16th International Conference on Informatics in Control, 2019

2017

From ProCoS to Space and Mental Models-A Survey of Combining Formal and Semi-formal Methods.

Bettina Buth

Proceedings of the Provably Correct Systems, 2017

2016

Kompetenzorientierte Requirements Engineering Ausbildung im Rahmen eines SE-Moduls.

Thomas Lehmann, Bettina Buth

Proceedings of the Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2016 (SE 2016), 2016

2015

Lecture Engineering.

Thomas Lehmann, Bettina Buth

Proceedings of the Tagungsband des 14. Workshops "Software Engineering im Unterricht der Hochschulen" 2015, Dresden, Deutschland, 26., 2015

2014

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

Proceedings of the 22nd International Conference on Real-Time Networks and Systems, 2014

2004

Analysing Mode Confusion: An Approach Using FDR2.

Bettina Buth

Proceedings of the Computer Safety, 2004

2001

Formal and semi-formal methods for the analysis of industrial control systems.

Bettina Buth

BISS monographs 15, 2001

1999

Model-Checking the Architectural Design of a Fail-Safe Communication System for Railway Interlocking Systems.

Bettina Buth, Mike Schrönen

Proceedings of the FM'99 - Formal Methods, 1999

Formal Methods for the International Space Station ISS.

Jan Peleska, Bettina Buth

Proceedings of the Correct System Design, 1999

1998

PAMELA+PVS Verification of Sequential Programs.

Bettina Buth

Proceedings of the International Workshop Tool Support for System Specification, 1998

Combining Methods for the Livelock Analysis of a Fault-Tolerant System.

Bettina Buth, Jan Peleska, Hui Shi

Proceedings of the Algebraic Methodology and Software Technology, 1998

1997

Deadlock Analysis for a Fault-Tolerant System.

Bettina Buth, Michel Kouvaras, Jan Peleska, Hui Shi

Proceedings of the Algebraic Methodology and Software Technology, 1997

PAMELA + PVS.

Bettina Buth

Proceedings of the Algebraic Methodology and Software Technology, 1997

1995

Operation refinement proofs for VDM-like specifications.

Bettina Buth

PhD thesis, 1995

Rechnergestützte Programmentwicklung und -verifikation in der Lehre: Konzeption und Erfahrungen.

Rudolf Berghammer, Bettina Buth, Karl-Heinz Buth

Proceedings of the Software Engineering im Unterricht der Hochschulen SEUH '95, 1995

1992

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

Proceedings of the Compiler Construction, 1992

1991

An Approach to Automatic Proof Support for Code Generator Verification.

Bettina Buth, Karl-Heinz Buth

Proceedings of the Code Generation, 1991

1988

Correctness Proofs for Meta IV Written Code Generator Specification using Term Rewriting.

Bettina Buth, Karl-Heinz Buth

Proceedings of the VDM '88, 1988