@inproceedingsDrees_Gmyr_Scheideler_2016, title=Churn- and DoS-resistant Overlay Networks Based on Network Reconfiguration, DOI=10.1145/2935764.2935783, booktitle=Proceedings of the 28th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), author=Drees, Maximilian and Gmyr, Robert and Scheideler, Christian, year=2016, pages=417--427 
LibreCat: /record/215
DOI: 10.1145/2935764.2935783

@articleWalther_Wehrheim_2016, title=On-The-Fly Construction of Provably Correct Service Compositions - Templates and Proofs, DOI=10.1016/j.scico.2016.04.002, journal=Science of Computer Programming, publisher=Elsevier, author=Walther, Sven and Wehrheim, Heike, year=2016, pages=2--23 
LibreCat: /record/175
DOI: 10.1016/j.scico.2016.04.002

@inproceedingsPolevoy_de Weerdt_Jonker_2016, series=Frontiers in Artificial Intelligence and Applications, title=The Game of Reciprocation Habits, volume=Volume 285: ECAI 2016, DOI=10.3233/978-1-61499-672-9-417, booktitle=Proceedings of the 2016 European Conference on Artificial Intelligence, author=Polevoy, Gleb and de Weerdt, M.M. and Jonker, C.M., year=2016, pages=417–425, collection=Frontiers in Artificial Intelligence and Applications 
LibreCat: /record/17655
DOI: 10.3233/978-1-61499-672-9-417

@inproceedingsPolevoy_de Weerdt_Jonker_2016, place=Richland, SC, series=AAMAS ’16, title=The Convergence of Reciprocation, booktitle=Proceedings of the 2016 International Conference on Autonomous Agents and Multiagent Systems, publisher=International Foundation for Autonomous Agents and Multiagent Systems, author=Polevoy, Gleb and de Weerdt, Mathijs and Jonker, Catholijn, year=2016, pages=1431–1432, collection=AAMAS ’16 
LibreCat: /record/17656

@inproceedingsAbu-Khzam_Li_Markarian_Meyer auf der Heide_Podlipyan_2016, series=LNCS, title=On the Parameterized Parallel Complexity and the Vertex Cover Problem, DOI=10.1007/978-3-319-48749-6_35, booktitle=Proceedings of the 10th International Conference on Combinatorial Optimization and Applications (COCOA), author=Abu-Khzam, Faisal N. and Li, Shouwei and Markarian, Christine and Meyer auf der Heide, Friedhelm and Podlipyan, Pavel, year=2016, pages=477–488, collection=LNCS 
LibreCat: /record/177
DOI: 10.1007/978-3-319-48749-6_35

@bookMeyer auf der Heide_2016, title=Introduction to the Special Issue on SPAA 2014, DOI=10.1145/2936716, number=1, journal=Transactions on Parallel Computing (TOPC), year=2016 
LibreCat: /record/187
DOI: 10.1145/2936716

@inproceedingsLass_Leibenger_Sorge_2016, title=Confidentiality and Authenticity for Distributed Version Control Systems - A Mercurial Extension, DOI=10.1109/lcn.2016.11, booktitle=Proc. 41st Conference on Local Computer Networks (LCN), publisher=IEEE, author=Lass, Michael and Leibenger, Dominik and Sorge, Christoph, year=2016 
LibreCat: /record/19
DOI: 10.1109/lcn.2016.11

@articlePlatenius_Shaker_Becker_Hüllermeier_Schäfer_2016, title=Imprecise Matching of Requirements Specifications for Software Services using Fuzzy Logic, DOI=10.1109/TSE.2016.2632115, number=8, journal=IEEE Transactions on Software Engineering (TSE), presented at ICSE 2017, publisher=IEEE, author=Platenius, Marie Christin and Shaker, Ammar and Becker, Matthias and Hüllermeier, Eyke and Schäfer, Wilhelm, year=2016, pages=739–759 
LibreCat: /record/190
DOI: 10.1109/TSE.2016.2632115

@inproceedingsBlömer_Brauer_Bujna_2016, title=A Theoretical Analysis of the Fuzzy K-Means Problem, DOI=10.1109/icdm.2016.0094, booktitle=2016 IEEE 16th International Conference on Data Mining (ICDM), publisher=IEEE, author=Blömer, Johannes and Brauer, Sascha and Bujna, Kathrin, year=2016, pages=805–810 
LibreCat: /record/2367
DOI: 10.1109/icdm.2016.0094

@inproceedingsBodden_I Pun_Steffen_Stolz_Wickert_2016, title=Information Flow Analysis for Go, DOI=10.1007/978-3-319-47166-2_30, booktitle=Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I, author=Bodden, Eric and I Pun, Ka and Steffen, Martin and Stolz, Volker and Wickert, Anna-Katharina, year=2016, pages=431–445 
LibreCat: /record/20556
DOI: 10.1007/978-3-319-47166-2_30

@inproceedingsMäcker_Malatyali_Meyer auf der Heide_Riechers_2016, title=Cost-efficient Scheduling on Machines from the Cloud, DOI=10.1007/978-3-319-48749-6_42, booktitle=Proceedings of the 10th Annual International Conference on Combinatorial Optimization and Applications (COCOA), author=Mäcker, Alexander and Malatyali, Manuel and Meyer auf der Heide, Friedhelm and Riechers, Sören, year=2016, pages=578--592 
LibreCat: /record/207
DOI: 10.1007/978-3-319-48749-6_42

@inproceedingsBodden_Eichberg_I Pun_Steffen_Stolz_Wickert_2016, title=Don’t let data Go astray---A Context-Sensitive Taint Analysis for Concurrent Programs in Go, booktitle=Nordic Workshop on Programming Theory (NWPT’16), author=Bodden, Eric and Eichberg, Michael and I Pun, Ka and Steffen, Martin and Stolz, Volker and Wickert, Anna-Katharina, year=2016 
LibreCat: /record/20716

@bookNguyen Quang Do_Ali_Livshits_Bodden_Smith_Murphy-Hill_2016, title=Just-in-Time Static Analysis, DOI=http://dx.doi.org/10.7939/DVN/10859, author=Nguyen Quang Do, Lisa and Ali, Karim and Livshits, Benjamin and Bodden, Eric and Smith, Justin and Murphy-Hill, Emerson, year=2016 
LibreCat: /record/20717
DOI: http://dx.doi.org/10.7939/DVN/10859

@articleRasthofer_Arzt_Bodden_Miltenberger_2016, title=Harvester - Vollautomatische Extraktion von Laufzeitwerten aus obfuskierten Android-Applikationen, DOI=https://www.springerprofessional.de/en/datenschutz-und-datensicherheit-dud-11-2016/10866536, journal=Datenschutz und Datensicherheit, author=Rasthofer, Siegfried and Arzt, Steven and Bodden, Eric and Miltenberger, Marc, year=2016, pages=718–722 
LibreCat: /record/20718
DOI: https://www.springerprofessional.de/en/datenschutz-und-datensicherheit-dud-11-2016/10866536

@inproceedingsHolzinger_Triller_Bartel_Bodden_2016, series=CCS ’16, title=An In-Depth Study of More Than Ten Years of Java Exploitation, DOI=http://doi.acm.org/10.1145/2976749.2978361, booktitle=Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security, author=Holzinger, Philipp and Triller, Stefan and Bartel, Alexandre and Bodden, Eric, year=2016, pages=779–790, collection=CCS ’16 
LibreCat: /record/20719
DOI: http://doi.acm.org/10.1145/2976749.2978361

@inproceedingsFollner_Bartel_Peng_Chang_Ispoglou_Payer_Bodden_2016, title=PSHAPE: Automatically Combining Gadgets for Arbitrary Method Execution, booktitle=International Workshop on Security and Trust Management (STM), author=Follner, Andreas and Bartel, Alexandre and Peng, Hui and Chang, Yu-Chen and Ispoglou, Kyriakos and Payer, Mathias and Bodden, Eric, year=2016, pages=212–228 
LibreCat: /record/20720

@inproceedingsNguyen Quang Do_Eichberg_Bodden_2016, series=SOAP 2016, title=Toward an Automated Benchmark Management System, booktitle=Proceedings of the 5th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis, author=Nguyen Quang Do, Lisa and Eichberg, Michael and Bodden, Eric, year=2016, pages=13–17, collection=SOAP 2016 
LibreCat: /record/20721

@inproceedingsArzt_Kussmaul_Bodden_2016, series=SOAP 2016, title=Towards Cross-Platform Cross-Language Analysis with Soot, booktitle=Proceedings of the 5th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis, author=Arzt, Steven and Kussmaul, Tobias and Bodden, Eric, year=2016, pages=1–6, collection=SOAP 2016 
LibreCat: /record/20722

@articleFollner_Bodden_2016, title=ROPocop — Dynamic mitigation of code-reuse attacks, volume=29, DOI=http://dx.doi.org/10.1016/j.jisa.2016.01.002, journal=Journal of Information Security and Applications , author=Follner, Andreas and Bodden, Eric, year=2016, pages=16–26 
LibreCat: /record/20724
DOI: http://dx.doi.org/10.1016/j.jisa.2016.01.002

@inproceedingsFollner_Bartel_Bodden_2016, title=Analyzing the Gadgets - Towards a Metric to Measure Gadget Quality, booktitle=International Symposium on Engineering Secure Software and Systems (ESSoS), author=Follner, Andreas and Bartel, Alexandre and Bodden, Eric, year=2016 
LibreCat: /record/20725