University of Konstanz
Graduiertenkolleg / PhD Program
Computer and Information Science

Prof. Dr. Stefan Leue

Advisor in the PhD program.

organisational data

http://www.inf.uni-konstanz.de/~leue

areas of research

  • Design and analysis of complex software systems
  • Embedded systems design
  • Formal methods in software engineering
  • Model checking
picture

publications

The following list of publications covers only those, which are or were published due to participation at the Graduiertenkolleg / PhD program.

Articles in Journals

20112009
2011
2009

Conference Papers

201120102009200820062005
2011
2010
2009
2008
2006
2005

Technical Reports

2009200820072006
2009
2008
2007
2006