cs-conference-ranking.org Search 971 venues

Bettina Buth

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

8

Venues

6

Active years

1988–2019

Best venue rank

B

Where they publish

Papers

8 indexed papers, newest first.

Year	Venue	Title	Authors
2019	ICINCO	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 Schnherr, Bettina Buth, Stephan Pareigis
2019	WorldCIST	Applying Safety Methods to Sensor Networks.	Torge Hinrichs, Bettina Buth
2019	SAFECOMP	Potential Use of Safety Analysis for Risk Assessments in Smart City Sensor Network Applications.	Torge Hinrichs, Bettina Buth
2014	RTNS	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
2004	SAFECOMP	Analysing Mode Confusion: An Approach Using FDR2.	Bettina Buth
1999	FM	Model-Checking the Architectural Design of a Fail-Safe Communication System for Railway Interlocking Systems.	Bettina Buth, Mike Schrnen
1992	CC	Provably Correct Compiler Development and Implementation.	Bettina Buth, Karl-Heinz Buth, Martin Frnzle, Burghard von Karger, Yassine Lakhnech, Hans Langmaack, Markus Mller-Olm
1988	FM	Correctness Proofs for Meta IV Written Code Generator Specification using Term Rewriting.	Bettina Buth, Karl-Heinz Buth