Jonathan Kolberg

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
Bounded context switching (BCS) is an under-approximate method for finding violations to safety properties in shared memory concurrent programs. Technically, BCS is a reachability problem that is known to be NP-complete if the context bound is part of the input. Our contribution is a parameterized analysis of BCS. The main finding is a new algorithm that(More)
Ambulatory long-term motility recording is used increasingly for evaluation of esophageal function. The enormous amount of motility data recorded by this method demands subsequent computer analysis. One of the most crucial steps of this analysis becomes the process of automatic selection of relevant pressure peaks at the various recording levels. Until now,(More)
  • 1