PD Dr. Burkhart Wolff

I moved to LRI at Paris/Orsay !!!

Research Interests

My research interests are focussed in the area of Software Engineering
and range from formal specification techniques, their transition
to code, and specification-based techniques to test systems.

This comprises activities in the representation of specification languages
by means of logical embeddings in Isabelle, of the development of specialized
tool-support for theorem proving, of refinement techniques or
code-compilation, and of automated techniques to generate tests from
specifications and programs. My interest in tool development also covers
tool-integration aspects and the design of appropriate user-interfaces.

I have a longstanding interest in the application of verification techniques
in the field of computer security.

Publications, DBLP

(Publications (Old))

• HOL-TestGen homepage
• HOL-OCL homepage
• HOL-Z homepage
• HOL-CSP homepage
• TAS and IsaWin homepage (Outdated)

Tutorials

• Testcom/Fates 2007: Slides Available Here!

Teaching

• Computer-supported Modeling and Reasoning 2006
• Computer-supported Modeling and Reasoning 2004
• Softwaretechnik I (SS02 Freiburg),
  Softwaretechnik I (SS03 Freiburg)
• Softwaretechnik II (WS99 Freiburg)
• Seminar: Programmentwicklung durch Verfeinerung (SS99 Freiburg)
• Seminar: Testen in Soft- und Hardware WS98