#### Filter Results:

- Full text PDF available (6)

#### Publication Year

2009

2015

- This year (0)
- Last 5 years (3)
- Last 10 years (8)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- Christian Appold
- GANDALF
- 2010

One technique to reduce the state-space explosion problem in temporal logic model checking is symmetry reduction. The combination of symmetry reduction and symbolic model checking by using BDDs suffered a long time from the prohibitively large BDD for the orbit relation. Dynamic symmetry reduction calculates representatives of equivalence classes of states… (More)

- Christian Appold
- 2009

Concurrent systems with many replicated components often exhibit a lot of symmetries. When using model checking to verify such systems, this leads to a redundant search over equivalent parts of the state-space. Verification can even be intractable for concurrent systems due to the state-space explosion problem which model checking suffers from. Considerable… (More)

One important application field for wireless sensor networks (WSN) is object localization, thus various realizations yet exist. Here we are just interested in RSSI based localization systems. In particular, we focus on analyzing diverse system parameters, like radio base frequency, transmitting power, or modulation format, to improve the expressiveness of… (More)

- Giovanna D’Agostino, Salvatore La Torre, Christian Appold
- 2011

Symbolic model checking by using BDDs has greatly improved the applicability of model checking. Nevertheless, BDD based symbolic model checking can still be very memory and time consuming. One main reason is the complex transition relation of systems. Sometimes, it is even not possible to generate the transition relation, due to its exhaustive memory… (More)

- Christian Appold
- MBMV
- 2012

- Christian Appold
- 2015

Today, information and communication systems are ubiquitous and consist very often of several interacting and communicating components. One reason is the widespread use of multi-core processors and the increasing amount of concurrent software for the efficient usage of multi-core processors. Also, the dissemination of distributed emergent technologies like… (More)

- Christian Appold
- MBMV
- 2014

- Christian Appold
- MBMV
- 2011

Symbolic model checking by using BDDs has greatly improved the applicability of model checking. Nevertheless, BDD based symbolic model checking can still be very memory and time consuming. One main reason is the complex transition relation of systems. Sometimes, it is even not possible to generate the transition relation, due to its exhaustive memory… (More)

- ‹
- 1
- ›