The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Bettina Buth: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]

Search in 0.003secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002