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. Our contribution is a parameterized analysis of BCS. The first result is an algorithm that solves BCS when parameterized by the number of(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