#### Filter Results:

- Full text PDF available (14)

#### Publication Year

1966

2016

- This year (0)
- Last 5 years (10)
- Last 10 years (16)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- Klaus Dräger, Bernd Finkbeiner, Andreas Podelski
- International Journal on Software Tools for…
- 2006

In directed model checking, the traversal of the state space is guided by an estimate of the distance from the current state to the nearest error state. This paper presents a distance-preserving abstraction for concurrent systems that allows one to compute an interesting estimate of the error distance without hitting the state explosion problem. Our… (More)

- Gereon Schares, Andrea Bärwald, +8 authors Franz J Conraths
- Parasitology
- 2004

In the German state of Rhineland-Palatinate, herds were identified that were likely to have a Neospora caninum sero-prevalence > or = 10% by using a bulk milk ELISA. Individual herd data were obtained by a questionnaire. Univariate logistic regression showed that bulk milk positive farms had a significantly higher chance to report an increased abortion rate… (More)

- Gereon Schares, Andrea Bärwald, +9 authors Franz J Conraths
- International journal for parasitology
- 2003

To obtain a rapid overview over the distribution of bovine Neospora caninum-infections in the German state of Rhineland-Palatinate, an ELISA to determine specific bovine antibodies against a p38 surface antigen of N. caninum tachyzoites was modified to examine bulk milk samples from cattle herds. Experimental bulk milk samples were used to demonstrate that… (More)

- Klaus Dräger, Andrey Kupriyanov, Bernd Finkbeiner, Heike Wehrheim
- TACAS
- 2010

Systems and protocols combining concurrency and infinite state space occur quite often in practice, but are very difficult to verify automatically. At the same time, if the system is correct, it is desirable for a verifier to obtain not a simple ”yes” answer, but some independently checkable certificate of correctness. We present SLAB — the first certifying… (More)

We propose novel controller synthesis techniques for probabilistic systems modelled using stochastic two-player games: one player acts as a controller, the second represents its environment, and probability is used to capture uncertainty arising due to, for example, unreliable sensors or faulty system components. Our aim is to generate robust controllers… (More)

- K-P Zimmer, Klaus Dräger, Wolfram Klawonn, Regina Hess
- Zentralblatt für Veterinärmedizin. Reihe B…
- 1999

In the present study, 132 selected faecal samples from clinically affected and subclinically infected cattle from dairy herds known to be affected by Johne's disease were investigated for the presence of Mycobacterium paratuberculosis using Ziehl-Neelsen staining, faecal culture and a commercially available DNA-Probe test. The sensitivity was 36.4% for… (More)

- Ingo Brückner, Klaus Dräger, Bernd Finkbeiner, Heike Wehrheim
- Fundam. Inform.
- 2007

Abstraction and slicing are both techniques for reducing the size of the state space to be inspected during verification. In this paper, we present a new model checking procedure for infinite-state concurrent systems that interleaves automatic abstraction refinement, which splits states according to new predicates obtained by Craig interpolation, with… (More)

- Sebastian Kupferschmid, Klaus Dräger, +4 authors Gerd Behrmann
- TACAS
- 2007

UPPAAL/DMC is an extension of UPPAAL which provides generic heuristics for directed model checking. In this approach, the traversal of the state space is guided by a heuristic function which estimates the distance of a search state to the nearest error state. Our tool combines two recent approaches to design such estimation functions. Both are based on… (More)

- Taolue Chen, Klaus Dräger, Stefan Kiefer
- MFCS
- 2012

Stochastic branching processes are a classical model for describing random trees, which have applications in numerous fields including biology, physics, and natural language processing. In particular, they have recently been proposed to describe parallel programs with stochastic process creation. In this paper, we consider the problem of model checking… (More)

- Lutz Geue, Heike Köhler, Wolfram Klawonn, Klaus Dräger, Regina Hess, Franz J Conraths
- Berliner und Münchener tierärztliche…
- 2007

Paratuberculosis or Johne's Disease, caused by Mycobacterium avium subspecies paratuberculosis (MAP), is a notifiable disease in Germany which produces enormous economical losses in dairy farms. At present,there is no confirmed data about the actual number of infected livestock herds in Germany. A countrywide monitoring program to evaluate the prevalence in… (More)