zur Naviagation springen
 

Sie befinden sich hier:

Departments > Department Informatik > Kontakt > Professoren > Buth Bettina > Veröffentlichungen
publications-0103

Liste der Veröffentlichungen

Referierte Veröffentlichungen

1
Rudolf Berghammer, Bettina Buth, and Karl-Heinz Buth.
Rechnergestützte Programmentwicklung und -verifikation in der Lehre: Konzeption und Erfahrungen.
In Andreas Spillner and Ulrich Breymann, editors, Software Engineering im Unterricht der Hochschulen - SEUH '95. Workshop des German Chapter of the ACM und der Gesellschaft für Informatik (GI), Bremen, 23.-24.2.1995, volume 44 of Berichte des German Chapter of the ACM, pages 11-21. Teubner, 1995.

2
Bettina Buth.
PACS - Implementierung einer computergestützten Verifikation für die Substitutionsphase von Codegenerator-Spezifikationen im CAT-System.
Master's thesis, Institut für Informatik und Praktische Mathematik, Christian-Albrechts-Universität Kiel, 1988.

3
Bettina Buth.
PAMELA - Ein Ansatz zur computergestützten Softwareverifikation in industriellen Anwendungen.
In H.-J. Meckelburg and H. Jansen, editors, Entwicklung und Prüfung sicherheitsbezogener Systeme - Software- und Systemaspekte, pages 157-172. vde Verlag, 1990.

4
Bettina Buth.
Operation Refinement Proofs for VDM-like Specifications.
PhD thesis, Technische Fakultät, Christian-Albrechts-Universität Kiel, 1995.

5
Bettina Buth.
PAMELA+PVS.
In Michael Johnson, editor, Algebraic Methodology and Software Technology. Proceedings of the AMAST'97, number 1349 in LNCS, pages 560-562. Springer, December 1997.
(Abstract for Tool Demo).

6
Bettina Buth.
PAMELA+PVS - Verification of Sequential Programs.
In R. Berghammer and Y. Lakhnech, editors, Tool Support for System Specification, Development and Verification, Advances in Computing Series, pages 62-76. Springer, 1999.

7
Bettina Buth.
Formal and Semi-Formal Methods for the Analysis of Industrial Control Systems, volume 15 of BISS Monographs.
2002.
(Habilitationsschrift submitted May 2001).

8
Bettina Buth and Karl-Heinz Buth.
Correctness proofs for META IV written codespecifications using term rewriting.
In Robin Bloomfield, Lynn Marshall, and Roger Jones, editors, VDM '88, VDM - The Way Ahead. Proceedings of the 2nd VDM-Europe Symposium, Dublin, Ireland, LNCS 328, pages 406-433. Springer, 1988.

9
Bettina Buth and Karl-Heinz Buth.
PAMELA - An Approach to Automatic Software Verification in Industrial Applications.
In Robert Genser, Erwin Schoitsch, and Peter Kopacek, editors, Safety of Computer Control Systems 1989. Proceedings of the IFAC/IFIP Workshop, Vienna, Austria, pages 65-70. IFAC, Pergamon Press, December 1989.

10
Bettina Buth and Karl-Heinz Buth.
An Approach to Automatic Proof Support for Code Generator Verification.
In Robert Giegerich and Susan L. Graham, editors, Code Generation - Concepts, Tools, Techniques. Proceedings of the International Workshop on Code Generation, Dagstuhl, Germany, 20-24 May 1991, Workshops in Computing Series, pages 193-209. Springer, 1992.

11
Bettina Buth, Rachel Cardell-Oliver, and Jan Peleska.
Combining Tools for the Verification of Fault-Tolerant Systems.
In Bettina Buth, Rudolf Berghammer, and Jan Peleska, editors, Tools for Software Development and Verification, Workshop Bremen, 1996, volume 1 of BISS Monographs. Shaker-Verlag, 1998.

12
Bettina Buth, Michel Kouvaras, Jan Peleska, and Hui Shi.
Deadlock Analysis for a Fault-Tolerant System.
In Michael Johnson, editor, Algebraic Methodology and Software Technology. Proceedings of AMAST'97, number 1349 in LNCS, pages 60-75. Springer, December 1997.

13
Bettina Buth, Jan Peleska, and Hui Shi.
Combining Methods for the Livelock Analysis of a Fault-Tolerant System.
In Armando M. Haeberer, editor, Algebraic Methodology and Software Technology, Proceedings of AMAST'98, number 1548 in LNCS, pages 124-139. Springer, January 1999.

14
Bettina Buth and Michael B. Schrönen.
Model-Checking the Architectural Design of a Fail-Safe Communication System for Railway Interlocking Systems.
In Jeannette M. Wing, Jim Woodcock, and Jim Davies, editors, FM'99 - Formal Methods, number 1709 in Lecture Notes in Computer Science, page 1869. Springer, September 1999.
(Industrial Experience Discussion - Abstract).

15
Jan Peleska and Bettina Buth.
Formal Methods for the International Space Station ISS.
In Ernst-Rüdiger Olderog and Bernhard Steffen, editors, Correct System Design - Recent Insights and Advances, number 1710 in Lecture Notes in Computer Science, pages 363-389. Springer, October 1999.

Nicht-referierte Veröffentlichungen

1
Bettina Buth.
Verification of Code Generator Specifications with PAMELA.
In Bettina Buth and Rudolf Berghammer, editors, Systems for Computer-Aided Specification, Development and Verification, volume 9416 of Technical Report, pages 1-15. Institut für Informatik und Praktische Mathematik, Christian-Albrechts-Universität, Kiel, 1994.
(Workshop Proceedings).

2
Bettina Buth.
PAMELA+PVS.
In David Stringer-Calvert, editor, PVS User Group Meeting, World Congress on Formal Methods, FM'99. Springer, 1999.
(published on CDrom).

3
Bettina Buth.
An Interface between PAMELA and PVS.
Technical report, SRI, 2001.
(in preparation).

4
Bettina Buth.
Strategic Planning of QA Activities for Safety Critical Software.
In Proceedings of the 4th ICSTest - International Conference on Software Testing, Köln 2003. SQS, 2003.
(to be published).

5
Bettina Buth and Andreas Beil.
Einführung von Metriken zur Qualitätssicherung - Theorie und Praxis.
In Proceedings of the SQM'2002 - Software Quality Management, Düsseldorf. SQS, 2002.

6
Bettina Buth, Andreas Beil, and Wolfgang Belau.
PA-bezogene Software-Metriken im Entwicklungszyklus.
In Proceedings of the SQM'2001 - Software Quality Management, Bonn. SQS, 2001.
English Title: PA-Oriented Metrication During the Development Lifecycle.

7
Bettina Buth and Rudolf Berghammer.
Systems for computer-aided specification, development and verification.
Technical Report 9416, Institut für Informatik und Praktische Mathematik, Christian-Albrechts-Universität, Kiel, 1994.
(Workshop Proceedings).

8
Bettina Buth, Rudolf Berghammer, and Jan Peleska, editors.
Tools for Software Development and Verification, volume 1 of BISS Monographs. Shaker-Verlag, 1996.

9
Bettina Buth and Karl-Heinz Buth.
Term transformations in program verification - extended abstract.
In Jürgen Müller and Harald Ganzinger, editors, Extended Abstracts of the 1st German Workshop on Term Rewriting: Theory and Application, Kaiserslautern, SEKI Report SR-89-02, March 1989.

10
Bettina Buth, Karl-Heinz Buth, and Hans Langmaack.
PAMELA - Ein Ansatz zur computergestützten Softwareverifikation.
In Heinrich Kersten, editor, Sichere Software - Formale Spezifikation und Verifikation vertrauenswürdiger Systeme, pages 112-130. Hüthig, 1990.

11
Bettina Buth, Karl-Heinz Buth, Ursula Martin, and Victoria Stavridou.
Experiments with Program Verification Systems.
ProCoS Technical Report Kiel BB2, Christian-Albrechts-Universität Kiel, 1989.

12
Bettina Buth, Michel Kouvaras, Jan Peleska, and Hui Shi.
Model Checking and Verification - Experiences from a Case Study.
In Friedemann Simon Rudolf Berghammer, editor, Programming Languages and Fundamentals of Programming, volume Bericht Nr. 9717 of Technische Berichte Institut für Informatik und Praktische Mathematik, CAU Kiel, September 1997.

13
Bettina Buth and Jan Peleska.
Combining Methods for the Analysis of the International Space Station (ISS).
In Jonathan Bowen, editor, ProCoS Working Group Meeting, World Congress on Formal Methods, FM'99. Springer, 1999.
(published on CDrom).

14
Bettina Buth and Jan Peleska.
Formal Methods for Large-Scale Industrial Applications - Deadlock and Livelock Analysis for the International Space Station.
Tutorial Material for the Advanced Summer School in Formal Methods and Applications, Beijing, China, October 1999.

15
Bettina Buth, Jan Peleska, and Hui Shi.
Combining Methods for the Analysis of a Fault-Tolerant System.
In Proceedings of Quality Week '99, May 1999.
(published on CDrom).

16
Karl-Heinz Buth and Bettina Wenzel.
Proving the correctness of a code generator specification using term rewriting techniques.
Bericht 8719, Institut für Informatik und Praktische Mathematik, Christian-Albrechts-Universität Kiel, 1987.

Projektberichte und andere unveröffentlichte Dokumente

1
Bettina Buth.
Evaluation Report for Metrication Tools.
Technical report, Verified Systems International GmbH, October 2000.
(Part of the Astrium SWPA Upgrade-Program).

2
Bettina Buth.
PA-Oriented Metrication During the Development Lifecycle.
Technical report, Verified Systems International GmbH, November 2000.
(Part of the Astrium SWPA Upgrade-Program).

3
Bettina Buth.
Tools for Product and Process Metrication - State-of-the-Art.
Technical report, Verified Systems International GmbH, June 2000.
(Part of the Astrium SWPA Upgrade-Program).

4
Bettina Buth.
Software Metrication - Tutorial Material.
Technical report, Verified Systems International GmbH, December 2001.
(Part of the Astrium SWPA Upgrade-Program).

5
Bettina Buth.
Software Reliability, Availability, Maintainability, Safety - State-of-the-Art Methods.
Technical report, Verified Systems International GmbH, Dezember 2001.
(Part of the Astrium SWPA Upgrade-Program).

6
Bettina Buth.
SWPA - Web-Based Information Concept.
Technical report, Verified Systems International GmbH, August 2001.
(Part of the Astrium SWPA Upgrade-Program).

7
Bettina Buth.
SPRdb and Metrication - Usability Evaluation.
Technical report, Verified Systems International GmbH, September 2002.
(Part of the Astrium SWPA Continuous Improvement Program).

8
Bettina Buth and Jan Peleska.
Daimler-Benz Aerospace - Project DMS-R, Configuration Management -- CM Manual.
Technical report, JP Software Consulting, 1997.

9
Bettina Buth and Jan Peleska.
Daimler-Benz Aerospace - Project DMS-R, FTC Development -- Avionics Interface (AVI) Version 1: Verification of Deadlock Freedom .
Technical report, JP Software Consulting, 1997.

10
Bettina Buth and Jan Peleska.
Daimler-Benz Aerospace - Project DMS-R, FTC Development -- Avionics Interface (AVI) Version 1: Verification of Livelock Freedom .
Technical report, JP Software Consulting, 1998.

Über dieses Dokument ...

This document was generated using the LaTeX2HTML translator Version 2002-2-1 (1.70)

Copyright © 1993, 1994, 1995, 1996, Nikos Drakos, Computer Based Learning Unit, University of Leeds.
Copyright © 1997, 1998, 1999, Ross Moore, Mathematics Department, Macquarie University, Sydney.

The command line arguments were:
latex2html -split=0 publications-0103.tex

The translation was initiated by Bettina Buth on 2005-05-05

Bettina Buth 2005-05-05