Falzon, Kevin, and Eric Bodden. “Towards a Comprehensive Model of Isolation for Mitigating Illicit Channels.”https://doi.org/10.1007/978-3-662-49635-0_7__In Principles of Security and Trust: 5th International Conference, POST 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2--8, 2016, Proceedings, edited by Frank Piessens and Luca Vigan’o, 116–38. Berlin, Heidelberg: Springer Berlin Heidelberg, 2016.https://doi.org/10.1007/978-3-662-49635-0_7 .
LibreCat: /record/20726
DOI: 10.1007/978-3-662-49635-0_7

Rasthofer, Siegfried, Steven Arzt, Marc Miltenberger, and Eric Bodden. “Harvesting Runtime Values in Android Applications That Feature Anti-Analysis Techniques.” In Network and Distributed System Security Symposium (NDSS), 2016.
LibreCat: /record/20727

Nadi, Sarah, Stefan Krüger, Mira Mezini, and Eric Bodden. “Jumping Through Hoops: Why Do Java Developers Struggle With Cryptography APIs?” In International Conference for Software Engineering (ICSE), 935–46, 2016.
LibreCat: /record/20728

Arzt, Steven, and Eric Bodden. “StubDroid: Automatic Inference of Precise Data-Flow Summaries for the Android Framework.” In International Conference for Software Engineering (ICSE), 2016.
LibreCat: /record/20729

Eling, N., S. Rasthofer, M. Kolhagen, Eric Bodden, and P. Buxmann. “Investigating Users’ Reaction to Fine-Grained Data Requests: A Market Experiment.”https://doi.org/10.1109/HICSS.2016.458__In 2016 49th Hawaii International Conference on System Sciences (HICSS), 3666–75, 2016.https://doi.org/10.1109/HICSS.2016.458 .
LibreCat: /record/20730
DOI: 10.1109/HICSS.2016.458

Blömer, Johannes, and Gennadij Liske. “Construction of Fully CCA-Secure Predicate Encryptions from Pair Encoding Schemes.”https://doi.org/10.1007/978-3-319-29485-8_25__In Proceedings of the CT-RSA 2016, 431–47. LNCS, 2016.https://doi.org/10.1007/978-3-319-29485-8_25 .
LibreCat: /record/208
DOI: 10.1007/978-3-319-29485-8_25

Dziwok, Stefan, Uwe Pohlmann, Goran Piskachev, David Schubert, Sebastian Thiele, and Christopher Gerking. The MechatronicUML Design Method: Process and Language for Platform-Independent Modeling. Zukunftsmeile 1, 33102 Paderborn, Germany, 2016.
LibreCat: /record/20822

Holtmann, Jörg, Markus Fockel, Thorsten Koch, David Schmelter, Christian Brenner, Ruslan Bernijazov, and Marcel Sander. The MechatronicUML Requirements Engineering Method: Process and Language, 2016.https://doi.org/10.13140/RG.2.2.33223.29606 .
LibreCat: /record/20823
DOI: 10.13140/RG.2.2.33223.29606

Greinert, Matthias, Christian Tschirner, and Jörg Holtmann. “Anwendung von Methoden Der Produktentstehung Auf Basis Des Systemmodells Mechatronischer Systeme.”https://doi.org/10.3139/9783446451414.008__In Tag Des Systems Engineering 2016, 77–86. Gesellschaft f\'22ur Systems Engineering e.V., 2016.https://doi.org/10.3139/9783446451414.008 .
LibreCat: /record/20825
DOI: 10.3139/9783446451414.008

Schubert, David, Christian Heinzemann, and Christopher Gerking. “Towards Safe Execution of Reconfigurations in Cyber-Physical Systems.” In Proceedings of the 19th International ACM Sigsoft Symposium on Component-Based Software Engineering. ACM, 2016.
LibreCat: /record/20830

Feldotto, Matthias, Lennart Leder, and Alexander Skopalik. “Congestion Games with Mixed Objectives.”https://doi.org/10.1007/978-3-319-48749-6_47__In Proceedings of the 10th Annual International Conference on Combinatorial Optimization and Applications (COCOA), 655--669. LNCS, 2016.https://doi.org/10.1007/978-3-319-48749-6_47 .
LibreCat: /record/209
DOI: 10.1007/978-3-319-48749-6_47
arXiv: 1607.05143

Heuchler, Sebastian. Nibbler: Implementing a Turing Machine to Simulate the Busy Beaver Problem, 2016.
LibreCat: /record/18025

Schmid, Stefan, Chen Avin, Christian Scheideler, Michael Borokhovich, Bernhard Haeupler, and Zvi Lotker. “SplayNet: Towards Locally Self-Adjusting Networks.”https://doi.org/10.1109/TNET.2015.2410313__IEEE/ACM Trans. Netw., no. 3 (2016): 1421--1433.https://doi.org/10.1109/TNET.2015.2410313 .
LibreCat: /record/1835
DOI: 10.1109/TNET.2015.2410313

Derakhshandeh, Zahra, Robert Gmyr, Alexandra Porter, Andrea W. Richa, Christian Scheideler, and Thim Frederik Strothmann. “On the Runtime of Universal Coating for Programmable Matter.”https://doi.org/10.1007/978-3-319-43994-5_10__In DNA Computing and Molecular Programming - 22nd International Conference, DNA 22, Munich, Germany, September 4-8, 2016, Proceedings, 9818:148--164. Lecture Notes in Computer Science, 2016.https://doi.org/10.1007/978-3-319-43994-5_10 .
LibreCat: /record/1836
DOI: 10.1007/978-3-319-43994-5_10

Derakhshandeh, Zahra, Robert Gmyr, Andrea W. Richa, Christian Scheideler, and Thim Frederik Strothmann. “Universal Shape Formation for Programmable Matter.”https://doi.org/10.1145/2935764.2935784__In Proceedings of the 28th ACM Symposium on Parallelism in Algorithms and Architectures, SPAA 2016, Asilomar State Beach/Pacific Grove, CA, USA, July 11-13, 2016, 289--299. ACM, 2016.https://doi.org/10.1145/2935764.2935784 .
LibreCat: /record/1837
DOI: 10.1145/2935764.2935784

Melnikov, Vitaly, and Eyke Hüllermeier. “Learning to Aggregate Using Uninorms.”https://doi.org/10.1007/978-3-319-46227-1_47__In Proceedings of the Joint European Conference on Machine Learning and Knowledge Discovery in Databases (ECML/PKDD 2016), 756–71. LNCS, 2016.https://doi.org/10.1007/978-3-319-46227-1_47 .
LibreCat: /record/184
DOI: 10.1007/978-3-319-46227-1_47

Scheideler, Christian, and Seth Gilbert, eds. Proceedings of the 28th ACM Symposium on Parallelism in Algorithms and Architectures, SPAA 2016, Asilomar State Beach/Pacific Grove, CA, USA, July 11-13, 2016, 2016.https://doi.org/10.1145/2935764 .
LibreCat: /record/1844
DOI: 10.1145/2935764

W. Richa, Andrea, and Christian Scheideler. “Jamming-Resistant MAC Protocols for Wireless Networks.”https://doi.org/10.1007/978-1-4939-2864-4_593__In Encyclopedia of Algorithms, 999--1002, 2016.https://doi.org/10.1007/978-1-4939-2864-4_593 .
LibreCat: /record/1845
DOI: 10.1007/978-1-4939-2864-4_593

Czech, Mike, Marie-Christine Jakobs, and Heike Wehrheim. “Just Test What You Cannot Verify!” In Software Engineering 2016, edited by Uwe Zdun Jens Knoop, 17–18. Lecture Notes in Informatics, 2016.
LibreCat: /record/186

Platenius, Marie Christin, Klementina Josifovska, Lorijn van Rooijen, Svetlana Arifulina, Matthias Becker, Gregor Engels, and Wilhelm Schäfer. An Overview of Service Specification Language and Matching in On-The-Fly Computing (.3). Universität Paderborn, 2016.
LibreCat: /record/221