Stefan Kauer

According to our database, Stefan Kauer authored at least 4 papers between 1997 and 2010.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of five.

2010

Mechanical inference of invariants for FOR-loops.

Stefan Kauer, Jürgen F. H. Winkler

J. Symb. Comput., 2010

2002

Ein Vergleich der Programmbeweiser FPP, NPPV und SPARK.

Carsten Freining, Stefan Kauer, Jürgen F. H. Winkler

Proceedings of the Ada Deutschland Tagung 2002: Software für sicherheitskritische Systeme, 2002

1999

Automatische Erzeugung von Verifikations- und Falsifikationsbedingungen sequentieller Programme.

Stefan Kauer

PhD thesis, 1999

1997

Proving Assertions is Also Useful.

Jürgen F. H. Winkler, Stefan Kauer

ACM SIGPLAN Notices, 1997