Bettina Buth - RankMe

23 papers B 3C 2Misc 1Journal 1Unranked 13

Year	Rank	Type	Title / Venue / Authors
2022	J	`jnl`	Bericht: Treffen der GI-Fachgruppe Test, Analyse und Verifikation von Software (TAV 47), 3. - 4. November 2022, München. Softwaretechnik-Trends Dehla Sokenou, Mario Friske, Baris Güldali, David Faragó, Mario Winter, Bettina Buth
2020	C	`conf`	Can AI-based Components be Part of Dependable Systems? IV Torge Hinrichs, Bettina Buth
2019	—	`conf`	Applying Safety Methods to Sensor Networks. WorldCIST (3) Torge Hinrichs, Bettina Buth
2019	—	`conf`	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) Tim Tiedemann, Jonas Fuhrmann, Sebastian Paulsen, Thorben Schnirpel, Nils Schönherr, Bettina Buth, Stephan Pareigis
2019	—	`conf`	Potential Use of Safety Analysis for Risk Assessments in Smart City Sensor Network Applications. SAFECOMP Workshops Torge Hinrichs, Bettina Buth
2017	—	`ch.`	From ProCoS to Space and Mental Models-A Survey of Combining Formal and Semi-formal Methods. Provably Correct Systems Bettina Buth
2016	C	`conf`	Kompetenzorientierte Requirements Engineering Ausbildung im Rahmen eines SE-Moduls. Software Engineering (Workshops) Thomas Lehmann, Bettina Buth
2015	—	`conf`	Lecture Engineering. SEUH Thomas Lehmann, Bettina Buth
2014	Misc	`conf`	Real-time Ethernet Residual Bus Simulation: A Model-Based Testing Approach for the Next-Generation In-Car Network. RTNS Florian Bartols, Till Steinbach, Franz Korf, Bettina Buth, Thomas C. Schmidt
2009	B	`ed.`	Computer Safety, Reliability, and Security, 28th International Conference, SAFECOMP 2009, Hamburg, Germany, September 15-18, 2009. Proceedings SAFECOMP Bettina Buth, Gerd Rabe, Till Seyfarth
2004	B	`conf`	Analysing Mode Confusion: An Approach Using FDR2. SAFECOMP Bettina Buth
2001	—	`book`	Formal and semi-formal methods for the analysis of industrial control systems. Bettina Buth
1999	—	`conf`	Formal Methods for the International Space Station ISS. Correct System Design Jan Peleska, Bettina Buth
1999	—	`conf`	Model-Checking the Architectural Design of a Fail-Safe Communication System for Railway Interlocking Systems. World Congress on Formal Methods Bettina Buth, Mike Schrönen
1998	—	`conf`	Combining Methods for the Livelock Analysis of a Fault-Tolerant System. AMAST Bettina Buth, Jan Peleska, Hui Shi
1998	—	`conf`	PAMELA+PVS Verification of Sequential Programs. Tool Support for System Specification, Development and Verification Bettina Buth
1997	—	`conf`	Deadlock Analysis for a Fault-Tolerant System. AMAST Bettina Buth, Michel Kouvaras, Jan Peleska, Hui Shi
1997	—	`conf`	PAMELA + PVS. AMAST Bettina Buth
1995	—	`—`	Operation refinement proofs for VDM-like specifications. Bettina Buth
1995	—	`conf`	Rechnergestützte Programmentwicklung und -verifikation in der Lehre: Konzeption und Erfahrungen. SEUH Rudolf Berghammer, Bettina Buth, Karl-Heinz Buth
1992	B	`conf`	Provably Correct Compiler Development and Implementation. CC Bettina Buth, Karl-Heinz Buth, Martin Fränzle, Burghard von Karger, Yassine Lakhnech, Hans Langmaack, Markus Müller-Olm
1991	—	`conf`	An Approach to Automatic Proof Support for Code Generator Verification. Code Generation Bettina Buth, Karl-Heinz Buth
1988	—	`conf`	Correctness Proofs for Meta IV Written Code Generator Specification using Term Rewriting. VDM Europe Bettina Buth, Karl-Heinz Buth