Stefan Kortmann

  • Citations Per Year
Learn More
The development of complex embedded control systems can be improved significantly by applying formal techniques from control engineering and software engineering. It is shown how these approaches can be combined to improve the design and analysis of high-tech systems, both in theory and practice. The semantics of the integration of two established rigorous(More)
We present an interactive and modular optimization tool, InterPol. It aims to help users with various tasks in the incremental program optimization process. InterPol ooers the capability to build a compiler from user-selected automatic optimization modules and run it on selective regions of a program, allowing a highly versatile, yet friendly way to achieve(More)
± H→ µνb ¯ b production at the Tevatron A search for W ± H→ µνb ¯ b production at the Tevatron een wetenschappelijke proeve op het gebied van Natuurwetenschappen, Wiskunde en Informatica Proefschrift ter verkrijging van de graad van doctor aan de Radboud Universiteit Nijmegen op gezag van de rector magnificus prof. mr.
  • 1