The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of Linda Leuschner Linda Herrmann ( http://dblp.L3S.de/Authors/Linda_Leuschner )

Publication years (Num. hits)
2014 (1) 2017 (2) 2018 (3) 2019 (1)
Publication types (Num. hits)
article(2) inproceedings(4) phdthesis(1)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 8 publication records. Showing 7 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Linda Herrmann, Martin Küttler, Tobias Stumpf, Christel Baier, Hermann Härtig, Sascha Klüppelholz Configuration of inter-process communication with probabilistic model checking. Search on Bibsonomy STTT The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Linda Herrmann, Christel Baier, Christof Fetzer, Sascha Klüppelholz, Markus Napierkowski Formal Parameter Synthesis for Energy-Utility-Optimal Fault Tolerance. Search on Bibsonomy EPEW The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Linda Herrmann Formal configuration of fault-tolerant systems. Search on Bibsonomy 2018   RDF
1Jerónimo Castrillón, Matthias Lieber, Sascha Klüppelholz, Marcus Völp, Nils Asmussen, Uwe Aßmann, Franz Baader, Christel Baier, Gerhard P. Fettweis, Jochen Fröhlich, Andrés Goens, Sebastian Haas, Dirk Habich, Hermann Härtig, Mattis Hasler, Immo Huismann, Tomas Karnagel, Sven Karol, Akash Kumar 0001, Wolfgang Lehner, Linda Leuschner, Siqi Ling, Steffen Märcker, Christian Menard, Johannes Mey, Wolfgang E. Nagel, Benedikt Nöthen, Rafael Peñaloza, Michael Raitza, Jörg Stiller, Annett Ungethüm, Axel Voigt, Sascha Wunderlich A Hardware/Software Stack for Heterogeneous Systems. Search on Bibsonomy IEEE Trans. Multi-Scale Computing Systems The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Christel Baier, Joachim Klein 0001, Linda Leuschner, David Parker 0001, Sascha Wunderlich Ensuring the Reliability of Your Model Checker: Interval Iteration for Markov Decision Processes. Search on Bibsonomy CAV (1) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Linda Leuschner, Martin Küttler, Tobias Stumpf, Christel Baier, Hermann Härtig, Sascha Klüppelholz Towards Automated Configuration of Systems with Non-Functional Constraints. Search on Bibsonomy HotOS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Christel Baier, Clemens Dubslaff, Sascha Klüppelholz, Linda Leuschner Energy-Utility Analysis for Resilient Systems Using Probabilistic Model Checking. Search on Bibsonomy Petri Nets The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #7 of 7 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license