Linda Leuschner
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
2
Active years
2017–2017
Best venue rank
A*
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | CAV | Ensuring the Reliability of Your Model Checker: Interval Iteration for Markov Decision Processes. | Christel Baier, Joachim Klein, Linda Leuschner, David Parker, Sascha Wunderlich |
| 2017 | HotOS | Towards Automated Configuration of Systems with Non-Functional Constraints. | Linda Leuschner, Martin Kttler, Tobias Stumpf, Christel Baier, Hermann Hrtig, Sascha Klppelholz |