@inproceedings{262,
  abstract     = {{Programs from Proofs" is a generic method which generates new programs out of correctness proofs of given programs. The technique ensures that the new and given program are behaviorally equivalent and that the new program is easily verifiable, thus serving as an alternative to proof-carrying code concepts. So far, this generic method has one instantiation that verifies type-state properties of programs. In this paper, we present a whole range of new instantiations, all based on data ow analyses. More precisely, we show how an imprecise but fast data ow analysis can be enhanced with a predicate analysis as to yield a precise but expensive analysis. Out of the safety proofs of this analysis, we generate new programs, again behaviorally equivalent to the given ones, which are easily verifiable" in the sense that now the data ow analysis alone can yield precise results. An experimental evaluation practically supports our claim of easy verification.}},
  author       = {{Jakobs, Marie-Christine and Wehrheim, Heike}},
  booktitle    = {{Proceedings of the 30th Annual ACM Symposium on Applied Computing}},
  pages        = {{1729--1736}},
  title        = {{{Programs from Proofs of Predicated Dataflow Analyses}}},
  doi          = {{10.1145/2695664.2695690}},
  year         = {{2015}},
}

@phdthesis{26222,
  author       = {{Peitz, Christoph}},
  publisher    = {{Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}},
  title        = {{{Systematik zur Entwicklung einer produktlebenszyklusorientierten Geschäftsmodell-Roadmap}}},
  volume       = {{337}},
  year         = {{2015}},
}

@phdthesis{26227,
  author       = {{Dorociak, Rafal}},
  publisher    = {{Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}},
  title        = {{{Systematik zur frühzeitigen Absicherung der Sicherheit und Zuverlässigkeit fortschrittlicher mechatronischer Systeme}}},
  volume       = {{340}},
  year         = {{2015}},
}

@book{26229,
  author       = {{Gausemeier, Jürgen and Grafe, Michael and Meyer auf der Heide, Friedhelm}},
  publisher    = {{Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}},
  title        = {{{Augmented & Virtual Reality in der Produktentstehung: Grundlagen, Methoden und Werkzeuge; Interaktions- und Visualisierungstechniken, Virtual Prototyping intelligenter technischer Systeme mit AR/VR }}},
  volume       = {{342}},
  year         = {{2015}},
}

@phdthesis{26233,
  author       = {{Vaßholz, Mareen}},
  publisher    = {{Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}},
  title        = {{{Systematik zur wirtschaftlichkeitsorientierten Konzipierung Intelligenter Technischer Systeme}}},
  volume       = {{346}},
  year         = {{2015}},
}

@phdthesis{26234,
  author       = {{Heinzemann, Christian}},
  publisher    = {{Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}},
  title        = {{{Verification and Simulation of Self-Adaptive Mechatronic Systems}}},
  volume       = {{348}},
  year         = {{2015}},
}

@article{263,
  abstract     = {{In the last two decades, water consumption in Germany has been decreasing, which causes the water tanks and pipes in water distribution systems to work inefficiently. This paper proposes a method that supports the planning process for tanks in water distribution systems. The method uses a combination of network reduction, mathematical optimization and hydraulic simulation. The mathematical optimization model is a non-convex Mixed Integer Quadratically Constrained Program (MIQCP) that is solved by a piecewise linearization. As this may lead to many binary variables and therefore high computing times, the size of the water distribution system model is reduced before building the optimization model. After applying several network reduction techniques and using a piecewise approximation of the original model, there may be some hydraulic differences between the original network model and the reduced network model. To make sure that the solution obtained in the optimization process is feasible in the original water distribution system model, the solution is verified by a hydraulic simulation. If the solution is not feasible, the reduced model has to be modified and solved again until the hydraulic simulation verifies a solution as feasible. In this paper, each of these processes is described and the results indicate the usefulness of each of them.}},
  author       = {{Hallmann, Corinna and Suhl, Leena}},
  journal      = {{OR Spectrum}},
  pages        = {{1--19}},
  publisher    = {{Springer}},
  title        = {{{Optimizing Water Tanks in Water Distribution Systems by combining Network Reduction, Mathematical Optimization and Hydraulic Simulation}}},
  doi          = {{10.1007/s00291-015-0403-1}},
  year         = {{2015}},
}

@article{26330,
  author       = {{Lipfert, T. and Sperling, Jan and Vogel, W.}},
  issn         = {{1050-2947}},
  journal      = {{Physical Review A}},
  title        = {{{Homodyne detection with on-off detector systems}}},
  doi          = {{10.1103/physreva.92.053835}},
  year         = {{2015}},
}

@article{26331,
  author       = {{Agudelo, E. and Sperling, Jan and Vogel, W. and Köhnke, S. and Mraz, M. and Hage, B.}},
  issn         = {{1050-2947}},
  journal      = {{Physical Review A}},
  title        = {{{Continuous sampling of the squeezed-state nonclassicality}}},
  doi          = {{10.1103/physreva.92.033837}},
  year         = {{2015}},
}

@article{26332,
  author       = {{Ryl, S. and Sperling, Jan and Agudelo, E. and Mraz, M. and Köhnke, S. and Hage, B. and Vogel, W.}},
  issn         = {{1050-2947}},
  journal      = {{Physical Review A}},
  title        = {{{Unified nonclassicality criteria}}},
  doi          = {{10.1103/physreva.92.011801}},
  year         = {{2015}},
}

@article{26334,
  author       = {{Sperling, Jan and Vogel, W}},
  issn         = {{0031-8949}},
  journal      = {{Physica Scripta}},
  title        = {{{Convex ordering and quantification of quantumness}}},
  doi          = {{10.1088/0031-8949/90/7/074024}},
  year         = {{2015}},
}

@article{26335,
  author       = {{Bohmann, M. and Sperling, Jan and Vogel, W.}},
  issn         = {{1050-2947}},
  journal      = {{Physical Review A}},
  title        = {{{Entanglement and phase properties of noisy NOON states}}},
  doi          = {{10.1103/physreva.91.042332}},
  year         = {{2015}},
}

@article{26336,
  author       = {{Reusch, A. and Sperling, Jan and Vogel, W.}},
  issn         = {{1050-2947}},
  journal      = {{Physical Review A}},
  title        = {{{Entanglement witnesses for indistinguishable particles}}},
  doi          = {{10.1103/physreva.91.042324}},
  year         = {{2015}},
}

@article{26337,
  author       = {{Luis, Alfredo and Sperling, Jan and Vogel, Werner}},
  issn         = {{0031-9007}},
  journal      = {{Physical Review Letters}},
  title        = {{{Nonclassicality Phase-Space Functions: More Insight with Fewer Detectors}}},
  doi          = {{10.1103/physrevlett.114.103602}},
  year         = {{2015}},
}

@article{26338,
  author       = {{Sperling, Jan and Vogel, W. and Agarwal, G. S.}},
  issn         = {{0295-5075}},
  journal      = {{EPL (Europhysics Letters)}},
  title        = {{{Balanced homodyne detection with on-off detector systems: Observable nonclassicality criteria}}},
  doi          = {{10.1209/0295-5075/109/34001}},
  year         = {{2015}},
}

@article{26339,
  author       = {{Gerke, S. and Sperling, Jan and Vogel, W. and Cai, Y. and Roslund, J. and Treps, N. and Fabre, C.}},
  issn         = {{0031-9007}},
  journal      = {{Physical Review Letters}},
  title        = {{{Full Multipartite Entanglement of Frequency-Comb Gaussian States}}},
  doi          = {{10.1103/physrevlett.114.050501}},
  year         = {{2015}},
}

@phdthesis{264,
  author       = {{Wette, Philip}},
  publisher    = {{Universität Paderborn}},
  title        = {{{Optimizing Software-Defined Networks using Application-Layer Knowledge}}},
  year         = {{2015}},
}

@article{26429,
  author       = {{Tsatsaronis, George and Balikas, Georgios and Malakasiotis, Prodromos and Partalas, Ioannis and Zschunke, Matthias and R. Alvers, Michael and Weissenborn, Dirk and Krithara, Anastasia and Petridis, Sergios and Polychronopoulos, Dimitris and Almirantis, Yannis and Pavlopoulos, John and Baskiotis, Nicolas and Gallinari, Patrick and Artières, Thierry and Ngonga Ngomo, Axel-Cyrille and Heino, Norman and Gaussier, Éric and Barrio-Alvers, Liliana and Schroeder, Michael and Androutsopoulos, Ion and Paliouras, Georgios}},
  journal      = {{{BMC} Bioinform.}},
  pages        = {{138:1--138:28}},
  title        = {{{An overview of the BIOASQ large-scale biomedical semantic indexing and question answering competition}}},
  doi          = {{10.1186/s12859-015-0564-6}},
  volume       = {{16}},
  year         = {{2015}},
}

@article{26430,
  author       = {{Capadisli, Sarven and Auer, Sören and Ngonga Ngomo, Axel-Cyrille}},
  journal      = {{Semantic Web}},
  number       = {{2}},
  pages        = {{105--112}},
  title        = {{{Linked SDMX Data: Path to high fidelity Statistical Linked Data}}},
  doi          = {{10.3233/SW-130123}},
  volume       = {{6}},
  year         = {{2015}},
}

@article{26431,
  author       = {{Ahmed Sherif, Mohamed and Ngonga Ngomo, Axel-Cyrille}},
  journal      = {{Semantic Web}},
  number       = {{4}},
  pages        = {{339--345}},
  title        = {{{Semantic Quran}}},
  doi          = {{10.3233/SW-140137}},
  volume       = {{6}},
  year         = {{2015}},
}