Sven Kloppenburg

Learn More
Dependencies between program elements need to be modeled from different perspectives reflecting architectural, design, and implementation level decisions. To avoid erosion of the intended structure of the code, it is necessary to explicitly codify these different perspectives on the permitted dependencies and to detect violations continuously and(More)
This preprint is provided by the contributing authors to ensure timely dissemination of scholarly and technical work. Abstract. Implementing static analyses of machine-level executable code is labor intensive and complex. We show how to leverage model-driven engineering to facilitate the design and implementation of programs doing static analyses. Further,(More)
We study the problem of detecting general global predicates in distributed systems where all application processes and at most Ø Ñ monitor processes may be subject to crash faults, where Ñ is the total number of monitor processes in the system. We introduce two new observation modalities called negotiably and discernibly (which correspond to possibly and(More)
To improve the productivity of the development process , more and more tools for static software analysis are tightly integrated into the incremental build process of an IDE. If multiple interdependent analyses are used simultaneously, the coordination between the analyses becomes a major obstacle to keep the set of analyses open. We propose an approach to(More)
  • 1