Search the dblp DataBase

Publications of Author

1. Bettina Buth
   PAMELA + PVS. [Citation Graph (0, 0)][DBLP]
   AMAST, 1997, pp:560-562 [Conf]
   
2. Bettina Buth, Michel Kouvaras, Jan Peleska, Hui Shi
   Deadlock Analysis for a Fault-Tolerant System. [Citation Graph (0, 0)][DBLP]
   AMAST, 1997, pp:60-74 [Conf]
   
3. Bettina Buth, Jan Peleska, Hui Shi
   Combining Methods for the Livelock Analysis of a Fault-Tolerant System. [Citation Graph (0, 0)][DBLP]
   AMAST, 1998, pp:124-139 [Conf]
   
4. Jan Peleska, Bettina Buth
   Formal Methods for the International Space Station ISS. [Citation Graph (0, 0)][DBLP]
   Correct System Design, 1999, pp:363-389 [Conf]
   
5. 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. [Citation Graph (0, 0)][DBLP]
   CC, 1992, pp:141-155 [Conf]
   
6. Bettina Buth, Karl-Heinz Buth
   An Approach to Automatic Proof Support for Code Generator Verification. [Citation Graph (0, 0)][DBLP]
   Code Generation, 1991, pp:193-209 [Conf]
   
7. Bettina Buth, Karl-Heinz Buth
   Correctness Proofs for Meta IV Written Code Generator Specification using Term Rewriting. [Citation Graph (0, 0)][DBLP]
   VDM Europe, 1988, pp:406-433 [Conf]
   
8. Bettina Buth, Mike Schrönen
   Model-Checking the Architectural Design of a Fail-Safe Communication System for Railway Interlocking Systems. [Citation Graph (0, 0)][DBLP]
   World Congress on Formal Methods, 1999, pp:1869- [Conf]
   
9. Bettina Buth
   Analysing Mode Confusion: An Approach Using FDR2. [Citation Graph (0, 0)][DBLP]
   SAFECOMP, 2004, pp:101-114 [Conf]
   
10. Rudolf Berghammer, Bettina Buth, Karl-Heinz Buth
    Rechnergestützte Programmentwicklung und -verifikation in der Lehre: Konzeption und Erfahrungen. [Citation Graph (0, 0)][DBLP]
    SEUH, 1995, pp:11-21 [Conf]