Franz Regensburger

According to our database, Franz Regensburger authored at least 6 papers between 1993 and 1998.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

1998

Formal Verification of SDL Systems at the Siemens Mobile Phone Department.

Franz Regensburger, Aenne Barnard

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1998

1995

HOLCF: Higher Order Logic of Computable Functions.

Franz Regensburger

Proceedings of the Higher Order Logic Theorem Proving and Its Applications, 1995

AVL Trees Revisited: A Case Study in SPECTRUM.

Rudi Hettler, Dieter Nazareth, Franz Regensburger, Oscar Slotosch

Proceedings of the KORSO, 1995

Korso Reference Languages - Concepts and Application Domains.

Hans-Dieter Ehrich, Franz Regensburger, Wolfgang Grieskamp, Carola Gerke, Rudolf Herzig, Martin Gogolla, Grit Denker, Ernst-Rüdiger Olderog

Proceedings of the KORSO, 1995

1994

HOLCF: eine konservative Erweiterung von HOL um LCF.

Franz Regensburger

PhD thesis, 1994

1993

The Semantics of SPECTRUM.

Radu Grosu, Franz Regensburger

Proceedings of the Higher-Order Algebra, 1993