Bild

Professor Dr. Christian Berger

Software Engineering
Department of Computer Science 3
RWTH Aachen University
Ahornstraße 55
D-52074 Aachen

bergeratse.rwth-aachen.de


Cooperation with EECS at University of California, Berkeley.

Research Areas

  • Formal specification of requirements
  • Compositional simulations for continuous algorithms
  • Unattended and automatic regression testing

Publications (the most recent list of my publications can be found here)


Invited contributions