Kontakt

  • Institut für Programmiermethodik und Compilerbau
  • Universität Ulm
  • D-89069 Ulm
  •  
  • Raum: o27-4105
  • Telefon: +49 (0)731/50-24164
  • Telefax: +49 (0)731/50-24162
  • E-Mail: walter.guttmann (at) uni-ulm.de

Forschungsinteressen

  • Algebra of Computing
  • formale Methoden der Softwaretechnik
  • Korrektheit und Verifikation von Softwaremodellen
  • Programmtransformation
  • Semantik von Spezifikations- und Programmiersprachen

Neue und Neueste Veröffentlichungen

  • Extended Designs Algebraically, SCP, erscheint 2012
  • Automating Algebraic Methods in Isabelle (mit G. Struth, T. Weber), ICFEM 2011
  • Fixpoints for General Correctness, JLAP 80(6):248-265, 2011
  • A Repository for Tarski-Kleene Algebras (mit G. Struth, T. Weber), ATE 2011
  • Towards a Typed Omega Algebra, RAMiCS 2011
  • Unifying Recursion in Partial, Total and General Correctness, UTP 2010
  • Imperative Abstractions for Functional Actions, JLAP 79(8):768-793, 2010
  • Partial, Total and General Correctness, MPC 2010
  • Normal Design Algebra (mit B. Möller), JLAP 79(2):144-173, 2010
  • General Correctness Algebra, RelMiCS/AKA 2009
  • Unifying the Semantics of UML 2 State, Activity and Interaction Diagrams (mit J. Kohlmeyer), PSI 2009
  • ... alle Veröffentlichungen

Programmierwettbewerbe