@inproceedingsIsenberg_2015, title=Incremental Inductive Verification of Parameterized Timed Systems, DOI=10.1109/ACSD.2015.13, booktitle=Proceedings of the 15th International Conference on Application of Concurrency to System Design (ACSD), author=Isenberg, Tobias, year=2015, pages=1–9 

@inproceedingsWette_Karl_2015, title=HybridTE: Traffic Engineering for Very Low-Cost Software-Defined Data-Center Networks, DOI=10.1109/EWSDN.2015.57, booktitle=Proceedings of the 4th European Workshop on Software Defined Networks (EWSDN 2015), author=Wette, Philip and Karl, Holger, year=2015, pages=1--7 

@inproceedingsScheideler_Setzer_Strothmann_2015, series=Leibniz International Proceedings in Informatics (LIPIcs), title=Towards Establishing Monotonic Searchability in Self-Stabilizing Data Structures, DOI=10.4230/LIPIcs.OPODIS.2015.24, booktitle=Proceedings of the 19th International Conference on Principles of Distributed Systems (OPODIS), author=Scheideler, Christian and Setzer, Alexander and Strothmann, Thim Frederik, year=2015, collection=Leibniz International Proceedings in Informatics (LIPIcs) 

@inproceedingsKoutsopoulos_Scheideler_Strothmann_2015, series=Lecture Notes in Computer Science, title=Towards a Universal Approach for the Finite Departure Problem in Overlay Networks, DOI=10.1007/978-3-319-21741-3_14, booktitle=Proceedings of the 17th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), author=Koutsopoulos, Andreas and Scheideler, Christian and Strothmann, Thim Frederik, year=2015, pages=201–216, collection=Lecture Notes in Computer Science 

@inproceedingsStrothmann_2015, series=LNCS, title=The impact of communication patterns on distributed locally self-adjusting binary search trees, DOI=10.1007/978-3-319-15612-5_16, booktitle=Proceedings of the 9th International Workshop on Algorithms and Computation (WALCOM), author=Strothmann, Thim Frederik, year=2015, pages=175--186, collection=LNCS 

@articleMonien_Mavronicolas_2015, title=The complexity of pure equilibria in mix-weighted congestion games on parallel links, volume=115, DOI=10.1016/j.ipl.2015.07.012, number=12, journal=Information Processing Letters, publisher=Elsevier, author=Monien, Burkhard and Mavronicolas, Marios, year=2015, pages=927–931 

@inproceedingsBecker_Lehrig_Becker_2015, place=New York, NY, USA, series=ICPE ’15, title=Systematically Deriving Quality Metrics for Cloud Computing Systems, DOI=10.1145/2668930.2688043, booktitle=Proceedings of the 6th ACM/SPEC International Conference on Performance Engineering, author=Becker, Matthias and Lehrig, Sebastian and Becker, Steffen, year=2015, pages=169--174, collection=ICPE ’15 

@inproceedingsSchwabe_Karl_2015, title=SynRace: Decentralized Load-Adaptive Multi-path Routing without Collecting Statistics, DOI=10.1109/EWSDN.2015.58, booktitle=Proceedings of the 4th European Workshop on Software Defined Networks (EWSDN 2015), author=Schwabe, Arne and Karl, Holger, year=2015, pages=37–42 

@inproceedingsGutt_Kundisch_2015, title=Rating Aggregation in Multi-Dimensional Rating Systems: How Do Reviewers Form Overall Ratings?, booktitle=INFORMS Annual Meeting, author=Gutt, Dominik and Kundisch, Dennis, year=2015 

@articleBrosig_Meier_Becker_Koziolek_Koziolek_Kounev_2015, title=Quantitative Evaluation of Model-Driven Performance Analysis and Simulation of Component-based Architectures, DOI=10.1109/TSE.2014.2362755, number=2, journal=Transactions on Software Engineering, publisher=IEEE, author=Brosig, Fabian and Meier, Philipp and Becker, Steffen and Koziolek, Anne and Koziolek, Heiko and Kounev, Samuel, year=2015, pages=157--175 

@inproceedingsJakobs_Wehrheim_2015, series=SAC ’15, title=Programs from Proofs of Predicated Dataflow Analyses, DOI=10.1145/2695664.2695690, booktitle=Proceedings of the 30th Annual ACM Symposium on Applied Computing, author=Jakobs, Marie-Christine and Wehrheim, Heike, year=2015, pages=1729–1736, collection=SAC ’15 

@articleHallmann_Suhl_2015, title=Optimizing Water Tanks in Water Distribution Systems by combining Network Reduction, Mathematical Optimization and Hydraulic Simulation, DOI=10.1007/s00291-015-0403-1, journal=OR Spectrum, publisher=Springer, author=Hallmann, Corinna and Suhl, Leena, year=2015, pages=1–19 

@inproceedingsMarkarian_Meyer auf der Heide_2015, title=Online Resource Leasing, DOI=10.1145/2767386.2767454, booktitle=Proceedings of the 2015 ACM Symposium on Principles of Distributed Computing (PODC), author=Markarian, Christine and Meyer auf der Heide, Friedhelm, year=2015, pages=343–344 

@inproceedingsWiersema_Wu_Platzner_2015, series=LNCS, title=On-The-Fly Verification of Reconfigurable Image Processing Modules based on a Proof-Carrying Hardware Approach, DOI=10.1007/978-3-319-16214-0_32, booktitle=Proceedings of the International Symposium in Reconfigurable Computing (ARC), author=Wiersema, Tobias and Wu, Sen and Platzner, Marco, year=2015, pages=365--372, collection=LNCS 

@articleCaragiannis_Fanelli_Gravin_Skopalik_2015, title=Approximate Pure Nash Equilibria in Weighted Congestion Games: Existence, Efficient Computation, and Structure, volume=3, DOI=10.1145/2614687, number=12, journal=Transactions on Economics and Computation, publisher=ACM, author=Caragiannis, Ioannis and Fanelli, Angelo and Gravin, Nick and Skopalik, Alexander, year=2015 

@inproceedingsBlömer_Juhnke_Kolb_2015, series=LNCS, title=Anonymous and Publicly Linkable Reputation Systems, DOI=10.1007/978-3-662-47854-7_29, booktitle=Proceedings of the 18th International Conference on Financial Cryptography and Data Security (FC), author=Blömer, Johannes and Juhnke, Jakob and Kolb, Christina, year=2015, pages=478--488, collection=LNCS 

@articleJungmann_Mohr_2015, title=An approach towards adaptive service composition in markets of composed services, DOI=10.1186/s13174-015-0022-8, number=1, journal=Journal of Internet Services and Applications, publisher=Springer, author=Jungmann, Alexander and Mohr, Felix, year=2015, pages=1–18 

@inproceedingsMohr_2015, series=LNCS, title=A Metric for Functional Reusability of Services, DOI=10.1007/978-3-319-14130-5_21, booktitle=Proceedings of the 14th International Conference on Software Reuse (ICSR), author=Mohr, Felix, year=2015, pages=298--313, collection=LNCS 

@articleKniesburges_Koutsopoulos_Scheideler_2015, title=A deterministic worst-case message complexity optimal solution for resource discovery, DOI=10.1016/j.tcs.2014.11.027, journal=Theoretical Computer Science, publisher=Elsevier, author=Kniesburges, Sebastian and Koutsopoulos, Andreas and Scheideler, Christian, year=2015, pages=67–79 

@articleBubeck_Kleine Büning_2015, title=Learning Boolean Specifications, DOI=10.1016/j.artint.2015.09.003, journal=Artificial Intelligence, publisher=Elsevier, author=Bubeck, Uwe and Kleine Büning, Hans, year=2015, pages=246–257