Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
9819 Publications
2016 | Dissertation | LibreCat-ID: 195
Platenius, M. C. (2016). Fuzzy Matching of Comprehensive Service Specifications. Universität Paderborn.
LibreCat
| Files available
2016 | Report | LibreCat-ID: 198
Jazayeri, B., Platenius, M. C., Engels, G., & Kundisch, D. (2016). Features of IT Service Markets: A Systematic Literature Review (Supplementary Material). Universität Paderborn.
LibreCat
| Files available
2016 | Conference Paper | LibreCat-ID: 199
Jazayeri, B., Platenius, M., Engels, G., & Kundisch, D. (2016). Features of IT Service Markets: A Systematic Literature Review. In Proceedings of the 14th International Conference on Service Oriented Computing (ICSOC) (Vol. 9936, pp. 301–316). Banff, Canada: Springer. https://doi.org/10.1007/978-3-319-46295-0_19
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 19961
Wahby, M., Hofstadler, D. N., Heinrich, M. K., Zahadat, P., & Hamann, H. (2016). An Evolutionary Robotics Approach to the Control of Plant Growth and Motion: Modeling Plants and Crossing the Reality Gap. In Proc. of the 10th International Conference on Self-Adaptive and Self-Organizing Systems. https://doi.org/10.1109/saso.2016.8
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 19968
Heinrich, M. K., Wahby, M., Divband Soorati, M., Hofstadler, D. N., Zahadat, P., Ayres, P., … Hamann, H. (2016). Self-Organized Construction with Continuous Building Material: Higher Flexibility Based on Braided Structures. In Proc. of the 1st International Workshop on Self-Organising Construction (SOCO). https://doi.org/10.1109/fas-w.2016.43
LibreCat
| DOI
2016 | Journal Article | LibreCat-ID: 19969
Hamann, H., Khaluf, Y., Botev, J., Divband Soorati, M., Ferrante, E., Kosak, O., … Zamuda, A. (2016). Hybrid Societies: Challenges and Perspectives in the Design of Collective Behavior in Self-organizing Systems. Frontiers in Robotics and AI. https://doi.org/10.3389/frobt.2016.00014
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 19979
Hamann, H., & Divband Soorati, M. (2016). Robot Self-Assembly as Adaptive Growth Process: Collective Selection of Seed Position and Self-Organizing Tree-Structures. In IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2016). https://doi.org/10.1109/IROS.2016.7759845
LibreCat
| DOI
2016 | Journal Article | LibreCat-ID: 19983
Dorigo, M., Hamann, H., Valentini, G., & Ferrante, E. (2016). Collective Decision with 100 Kilobots: Speed vs Accuracy in Binary Discrimination Problems. Journal of Autonomous Agents and Multi-Agent Systems, 30(3), 553–580. https://doi.org/10.1007/s10458-015-9323-3
LibreCat
| DOI
2016 | Dissertation | LibreCat-ID: 200
Drees, M. (2016). Existence and Properties of Pure Nash Equilibria in Budget Games. Universität Paderborn.
LibreCat
| Files available
2016 | Conference Paper | LibreCat-ID: 20000
Hamann, H., Valentini, G., & Dorigo, M. (2016). Population Coding: A New Design Paradigm for Embodied Distributed Systems. In 10th Int. Conf. on Swarm Intelligence, ANTS 2016. Cham. https://doi.org/10.1007/978-3-319-44427-7_15
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 20001
von Mammen, S., Hamann, H., & Heider, M. (2016). Robot Gardens: An Augmented Reality Prototype for Plant-Robot Biohybrid Systems. In ACM Symposium on Virtual Reality Software and Technology (VRST). https://doi.org/10.1145/2993369.2993400
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 20002
Rybář, M., & Hamann, H. (2016). Inspiration-Triggered Search: Towards Higher Complexities by Mimicking Creative Processes. In Proceedings of the Genetic and Evolutionary Computation Conference (GECCO 2016). https://doi.org/10.1145/2908812.2908815
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 20003
Khaluf, Y., & Hamann, H. (2016). On the Definition of Self-organizing Systems: Relevance of Positive/Negative Feedback and Fluctuations. In ANTS 2016 (Vol. 9882, p. 298).
LibreCat
2016 | Conference Paper | LibreCat-ID: 20004
Valentini, G., Brambilla, D., Hamann, H., & Dorigo, M. (2016). Collective Perception of Environmental Features in a Robot Swarm. In 10th Int. Conf. on Swarm Intelligence, ANTS 2016. https://doi.org/10.1007/978-3-319-44427-7_6
LibreCat
| DOI
2016 | Bachelorsthesis | LibreCat-ID: 201
Bröcher, H. (2016). Evaluation von Graphpartitionierungsalgorithmen im Kontext von Konfigurierbarer Softwarezertifizierung. Universität Paderborn.
LibreCat
2016 | Journal Article | LibreCat-ID: 24154
Ramaswamy, A., & Bhatnagar, S. (2016). Stochastic recursive inclusion in two timescales with an application to the lagrangian dual problem. Stochastics, 88(8), 1173–1187.
LibreCat
2016 | Book Chapter | LibreCat-ID: 26428
Keil, R. (2016). Design of virtual research environments for {\ "u} r detailed philological work. In K. Richts & P. Stadler (Eds.), “Eh, the old man, I would like to pay attention”. Festschrift for {\ "u} r Joachim Veit for his 60th birthday. Allitera M {\" u} nchen.
LibreCat
2016 | Dissertation | LibreCat-ID: 33
Steinle, T. (2016). Modeling and simulation of metallic, particle-damped spheres for lightweight materials.
LibreCat
| Download (ext.)
2016 | Journal Article | LibreCat-ID: 3318
Melnikov, V., Hüllermeier, E., Kaimann, D., Frick, B., & Gupta, Pritha . (2016). Pairwise versus Pointwise Ranking: A Case Study. Schedae Informaticae, 25. https://doi.org/10.4467/20838476si.16.006.6187
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 34
Dellnitz, M., Eckstein, J., Flaßkamp, K., Friedel, P., Horenkamp, C., Köhler, U., … Tiemeyer, S. (2016). Multiobjective Optimal Control Methods for the Development of an Intelligent Cruise Control. In Progress in Industrial Mathematics at ECMI (Vol. 22, pp. 633–641). Cham: Springer International Publishing. https://doi.org/10.1007/978-3-319-23413-7_87
LibreCat
| DOI
2016 | Journal Article | LibreCat-ID: 35 | 
Linnenbank, H., Grynko, Y., Förstner, J., & Linden, S. (2016). Second harmonic generation spectroscopy on hybrid plasmonic/dielectric nanoantennas. Light: Science & Applications, 5(1), e16013. https://doi.org/10.1038/lsa.2016.13
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 3543
Hildebrandt, A., Alhaddad, S., Hammer, M., & Förstner, J. (2016). Oblique incidence of semi-guided waves on step-like folds in planar dielectric slabs: Lossless vertical interconnects in 3D integrated photonic circuits. In J.-E. Broquin & G. Nunzi Conti (Eds.), Integrated Optics: Devices, Materials, and Technologies XX. SPIE. https://doi.org/10.1117/12.2214460
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 3747
Al Khatib, K., Wachsmuth, H., Kiesel, J., Hagen, M., & Stein, B. (2016). A News Editorial Corpus for Mining Argumentation Strategies. In Proceedings of COLING 2016, the 26th International Conference on Computational Linguistics: Technical Papers (pp. 3433–3443).
LibreCat
| Download (ext.)
2016 | Conference Paper | LibreCat-ID: 3801
Al-Khatib, K., Wachsmuth, H., Hagen, M., Köhler, J., & Stein, B. (2016). Cross-Domain Mining of Argumentative Text through Distant Supervision. In Proceedings of the 2016 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies (pp. 1395–1404). https://doi.org/10.18653/v1/N16-1165
LibreCat
| DOI
| Download (ext.)
2016 | Conference Paper | LibreCat-ID: 3816
Wachsmuth, H., Al Khatib, K., & Stein, B. (2016). Using Argument Mining to Assess the Argumentation Quality of Essays. In Proceedings of COLING 2016, the 26th International Conference on Computational Linguistics: Technical Papers (pp. 1680–1691).
LibreCat
| Download (ext.)
2016 | Journal Article | LibreCat-ID: 3834
Konoshonkin, A., Borovoi, A., Kustova, N., Okamoto, H., Ishimoto, H., Grynko, Y., & Förstner, J. (2016). Light scattering by ice crystals of cirrus clouds: From exact numerical methods to physical-optics approximation. Journal of Quantitative Spectroscopy and Radiative Transfer, 195, 132–140. https://doi.org/10.1016/j.jqsrt.2016.12.024
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 3840
Konoshonkin, A. V., Kustova, N. V., Borovoi, A. G., Okamoto, H., Sato, K., Ishimoto, H., … Förstner, J. (2016). Comparison between the physical-optics approximation and exact methods solving the problem of light scattering by ice crystals of cirrus clouds. In G. G. Matvienko & O. A. Romanovskii (Eds.), 22nd International Symposium on Atmospheric and Ocean Optics: Atmospheric Physics. SPIE. https://doi.org/10.1117/12.2248409
LibreCat
| Files available
| DOI
2016 | Journal Article | LibreCat-ID: 3841 |
Quiring, W., Jonas, B., Förstner, J., Rai, A. K., Reuter, D., Wieck, A. D., & Zrenner, A. (2016). Phase sensitive properties and coherent manipulation of a photonic crystal microcavity. Optics Express, 24(18), 20672–20684. https://doi.org/10.1364/oe.24.020672
LibreCat
| Files available
| DOI
2016 | Journal Article | LibreCat-ID: 3843
Grynko, Y., Shkuratov, Y., & Förstner, J. (2016). Light scattering by irregular particles much larger than the wavelength with wavelength-scale surface roughness. Optics Letters, 41(15), 3491–3493. https://doi.org/10.1364/ol.41.003491
LibreCat
| Files available
| DOI
2016 | Journal Article | LibreCat-ID: 3849
Konoshonkin, A. V., Kustova, N. V., Borovoi, A. G., Grynko, Y., & Förstner, J. (2016). Light scattering by ice crystals of cirrus clouds: comparison of the physical optics methods. Journal of Quantitative Spectroscopy and Radiative Transfer, 182, 12–23. https://doi.org/10.1016/j.jqsrt.2016.05.006
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 3880
Wachsmuth, H. (2016). Pipelines Für Effiziente und Robuste Ad-hoc Textanalyse. In Ausgezeichnete Informatikdissertationen 2015 (pp. 329–338).
LibreCat
| Download (ext.)
2016 | Journal Article | LibreCat-ID: 3884 |
Kou, Y., & Förstner, J. (2016). Discrete plasmonic solitons in graphene-coated nanowire arrays. Optics Express, 24(5), 4714. https://doi.org/10.1364/oe.24.004714
LibreCat
| Files available
| DOI
2016 | Journal Article | LibreCat-ID: 3886
Alberti, J., Linnenbank, H., Linden, S., Grynko, Y., & Förstner, J. (2016). The role of electromagnetic interactions in second harmonic generation from plasmonic metamaterials. Applied Physics B, 122(2), 45–50. https://doi.org/10.1007/s00340-015-6311-x
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 2947
Blömer, J., & Günther, P. (2016). Singular Curve Point Decompression Attack. In 2015 Workshop on Fault Diagnosis and Tolerance in Cryptography (FDTC). IEEE. https://doi.org/10.1109/fdtc.2015.17
LibreCat
| DOI
2016 | Book Chapter | LibreCat-ID: 2948
Günther, P., & Krummel, V. (2016). Implementing Cryptographic Pairings on Accumulator Based Smart Card Architectures. In Mathematical Aspects of Computer and Information Sciences (pp. 151–165). Cham: Springer International Publishing. https://doi.org/10.1007/978-3-319-32859-1_13
LibreCat
| DOI
2016 | Book Chapter | LibreCat-ID: 2968
Blömer, J., Lammersen, C., Schmidt, M., & Sohler, C. (2016). Theoretical Analysis of the k-Means Algorithm – A Survey. In Algorithm Engineering (pp. 81–116). Cham: Springer International Publishing. https://doi.org/10.1007/978-3-319-49487-6_3
LibreCat
| DOI
2016 | Preprint | LibreCat-ID: 2969 |
Blömer, J., Brauer, S., & Bujna, K. (2016). Hard-Clustering with Gaussian Mixture Models. Computing Research Repository.
LibreCat
| Download (ext.)
2016 | Book Chapter | LibreCat-ID: 2970
Blömer, J., & Bujna, K. (2016). Adaptive Seeding for Gaussian Mixture Models. In Advances in Knowledge Discovery and Data Mining (pp. 296–308). Cham: Springer International Publishing. https://doi.org/10.1007/978-3-319-31750-2_24
LibreCat
| DOI
2016 | Report | LibreCat-ID: 2971
Blömer, J., & Günther, P. (2016). Effizienz und Sicherheit paarungsbasierter Kryptographie. Tagungsband des 26. Fraunhofer SIT Smartcard-Workshops.
LibreCat
2016 | Journal Article | LibreCat-ID: 3112
Hofheinz, D., & Jager, T. (2016). Tightly secure signatures and public-key encryption. Des. Codes Cryptography, (1), 29--61. https://doi.org/10.1007/s10623-015-0062-x
LibreCat
| DOI
2016 | Journal Article | LibreCat-ID: 3113
Heuer, F., Jager, T., Schäge, S., & Kiltz, E. (2016). Selective opening security of practical public-key encryption schemes. IET Information Security, (6), 304--318. https://doi.org/10.1049/iet-ifs.2015.0507
LibreCat
| DOI
2016 | Journal Article | LibreCat-ID: 3114
Jager, T., & Rupp, A. (2016). Black-Box Accumulation: Collecting Incentives in a Privacy-Preserving Way. PoPETs, (3), 62--82.
LibreCat
2016 | Conference Paper | LibreCat-ID: 3115
Hofheinz, D., Jager, T., Khurana, D., Sahai, A., Waters, B., & Zhandry, M. (2016). How to Generate and Use Universal Samplers. In Advances in Cryptology - ASIACRYPT 2016 - 22nd International Conference on the Theory and Application of Cryptology and Information Security, Hanoi, Vietnam, December 4-8, 2016, Proceedings, Part II (pp. 715--744). https://doi.org/10.1007/978-3-662-53890-6_24
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 3116
Horst, M., Grothe, M., Jager, T., & Schwenk, J. (2016). Breaking PPTP VPNs via RADIUS Encryption. In Cryptology and Network Security - 15th International Conference, CANS 2016, Milan, Italy, November 14-16, 2016, Proceedings (pp. 159--175). https://doi.org/10.1007/978-3-319-48965-0_10
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 3117
Bader, C., Jager, T., Li, Y., & Schäge, S. (2016). On the Impossibility of Tight Cryptographic Reductions. In Advances in Cryptology - EUROCRYPT 2016 - 35th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Vienna, Austria, May 8-12, 2016, Proceedings, Part II (pp. 273--304). https://doi.org/10.1007/978-3-662-49896-5_10
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 3118
Hofheinz, D., Jager, T., & Rupp, A. (2016). Public-Key Encryption with Simulation-Based Selective-Opening Security and Compact Ciphertexts. In Theory of Cryptography - 14th International Conference, TCC 2016-B, Beijing, China, October 31 - November 3, 2016, Proceedings, Part II (pp. 146--168). https://doi.org/10.1007/978-3-662-53644-5_6
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 3119
Hofheinz, D., & Jager, T. (2016). Verifiable Random Functions from Standard Assumptions. In Theory of Cryptography - 13th International Conference, TCC 2016-A, Tel Aviv, Israel, January 10-13, 2016, Proceedings, Part I (pp. 336--362). https://doi.org/10.1007/978-3-662-49096-9_14
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 3157
Beringer, S., & Wehrheim, H. (2016). Verification of AUTOSAR Software Architectures with Timed Automata. In M. H. ter Beek, S. Gnesi, & A. Knapp (Eds.), Critical Systems: Formal Methods and Automated Verification - Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings (pp. 189--204). https://doi.org/10.1007/978-3-319-45943-1_13
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 3158
Travkin, O., & Wehrheim, H. (2016). Verification of Concurrent Programs on Weak Memory Models. In A. Sampaio & F. Wang (Eds.), Theoretical Aspects of Computing - {ICTAC} 2016 - 13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings (pp. 3--24). https://doi.org/10.1007/978-3-319-46750-4_1
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 3159
Schellhorn, G., Travkin, O., & Wehrheim, H. (2016). Towards a Thread-Local Proof Technique for Starvation Freedom. In M. Huisman (Ed.), Integrated Formal Methods - 12th International Conference, {IFM} 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings (pp. 193--209). https://doi.org/10.1007/978-3-319-33693-0_13
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 3160
Doherty, S., Dongol, B., Derrick, J., Schellhorn, G., & Wehrheim, H. (2016). Proving Opacity of a Pessimistic {STM}. In P. Fatourou, E. Jim{\’{e}}nez, & F. Pedone (Eds.), 20th International Conference on Principles of Distributed Systems, {OPODIS} 2016, December 13-16, 2016, Madrid, Spain (pp. 35:1--35:17). https://doi.org/10.4230/LIPIcs.OPODIS.2016.35
LibreCat
| DOI
2016 | Journal Article | LibreCat-ID: 3161
Isenberg, T., Jakobs, M.-}Christine, Pauck, F., & Wehrheim, H. (2016). Deriving approximation tolerance constraints from verification runs. CoRR.
LibreCat
2016 | Mastersthesis | LibreCat-ID: 210
Leder, L. (2016). Congestion Games with Mixed Objectives. Universität Paderborn.
LibreCat
2016 | Bachelorsthesis | LibreCat-ID: 213
Porzenheim, L. (2016). Comparison of different Definitions of Chosen-Ciphertext Security in Encryption schemes. Universität Paderborn.
LibreCat
2016 | Bachelorsthesis | LibreCat-ID: 214
Bemmann, K. S. (2016). Commitment Schemes - Definitions, Variants, and Security. Universität Paderborn.
LibreCat
2016 | Conference Paper | LibreCat-ID: 215
Drees, M., Gmyr, R., & Scheideler, C. (2016). Churn- and DoS-resistant Overlay Networks Based on Network Reconfiguration. In Proceedings of the 28th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA) (pp. 417--427). https://doi.org/10.1145/2935764.2935783
LibreCat
| Files available
| DOI
2016 | Journal Article | LibreCat-ID: 175
Walther, S., & Wehrheim, H. (2016). On-The-Fly Construction of Provably Correct Service Compositions - Templates and Proofs. Science of Computer Programming, 2--23. https://doi.org/10.1016/j.scico.2016.04.002
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 17655
Polevoy, G., de Weerdt, M. M., & Jonker, C. M. (2016). The Game of Reciprocation Habits. In Proceedings of the 2016 European Conference on Artificial Intelligence (Vol. Volume 285: ECAI 2016, pp. 417–425). https://doi.org/10.3233/978-1-61499-672-9-417
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 17656
Polevoy, G., de Weerdt, M., & Jonker, C. (2016). The Convergence of Reciprocation. In Proceedings of the 2016 International Conference on Autonomous Agents and Multiagent Systems (pp. 1431–1432). Richland, SC: International Foundation for Autonomous Agents and Multiagent Systems.
LibreCat
2016 | Conference Paper | LibreCat-ID: 177
Abu-Khzam, F. N., Li, S., Markarian, C., Meyer auf der Heide, F., & Podlipyan, P. (2016). On the Parameterized Parallel Complexity and the Vertex Cover Problem. In Proceedings of the 10th International Conference on Combinatorial Optimization and Applications (COCOA) (pp. 477–488). https://doi.org/10.1007/978-3-319-48749-6_35
LibreCat
| Files available
| DOI
2016 | Special Issue | LibreCat-ID: 187
Meyer auf der Heide, F. (Ed.). (2016). Introduction to the Special Issue on SPAA 2014. Transactions on Parallel Computing (TOPC). https://doi.org/10.1145/2936716
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 19
Lass, M., Leibenger, D., & Sorge, C. (2016). Confidentiality and Authenticity for Distributed Version Control Systems - A Mercurial Extension. In Proc. 41st Conference on Local Computer Networks (LCN). IEEE. https://doi.org/10.1109/lcn.2016.11
LibreCat
| DOI
2016 | Journal Article | LibreCat-ID: 190
Platenius, M. C., Shaker, A., Becker, M., Hüllermeier, E., & Schäfer, W. (2016). Imprecise Matching of Requirements Specifications for Software Services using Fuzzy Logic. IEEE Transactions on Software Engineering (TSE), Presented at ICSE 2017, (8), 739–759. https://doi.org/10.1109/TSE.2016.2632115
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 2367
Blömer, J., Brauer, S., & Bujna, K. (2016). A Theoretical Analysis of the Fuzzy K-Means Problem. In 2016 IEEE 16th International Conference on Data Mining (ICDM) (pp. 805–810). Barcelona, Spain: IEEE. https://doi.org/10.1109/icdm.2016.0094
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 20556
Bodden, E., I Pun, K., Steffen, M., Stolz, V., & Wickert, A.-K. (2016). Information Flow Analysis for Go. 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}, 431–445. https://doi.org/10.1007/978-3-319-47166-2_30
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 207
Mäcker, A., Malatyali, M., Meyer auf der Heide, F., & Riechers, S. (2016). Cost-efficient Scheduling on Machines from the Cloud. In Proceedings of the 10th Annual International Conference on Combinatorial Optimization and Applications (COCOA) (pp. 578--592). https://doi.org/10.1007/978-3-319-48749-6_42
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 20716
Bodden, E., Eichberg, M., I Pun, K., Steffen, M., Stolz, V., & Wickert, A.-K. (2016). Don’t let data Go astray---A Context-Sensitive Taint Analysis for Concurrent Programs in Go. Nordic Workshop on Programming Theory (NWPT’16).
LibreCat
| Download (ext.)
2016 | Report | LibreCat-ID: 20717
Nguyen Quang Do, L., Ali, K., Livshits, B., Bodden, E., Smith, J., & Murphy-Hill, E. (2016). Just-in-Time Static Analysis. http://dx.doi.org/10.7939/DVN/10859
LibreCat
| DOI
| Download (ext.)
2016 | Journal Article | LibreCat-ID: 20718
Rasthofer, S., Arzt, S., Bodden, E., & Miltenberger, M. (2016). Harvester - Vollautomatische Extraktion von Laufzeitwerten aus obfuskierten Android-Applikationen. Datenschutz Und Datensicherheit, 718–722. https://www.springerprofessional.de/en/datenschutz-und-datensicherheit-dud-11-2016/10866536
LibreCat
| DOI
| Download (ext.)
2016 | Conference Paper | LibreCat-ID: 20719
Holzinger, P., Triller, S., Bartel, A., & Bodden, E. (2016). An In-Depth Study of More Than Ten Years of Java Exploitation. Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security, 779–790. http://doi.acm.org/10.1145/2976749.2978361
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 20720
Follner, A., Bartel, A., Peng, H., Chang, Y.-C., Ispoglou, K., Payer, M., & Bodden, E. (2016). PSHAPE: Automatically Combining Gadgets for Arbitrary Method Execution. International Workshop on Security and Trust Management (STM), 212–228.
LibreCat
| Download (ext.)
2016 | Conference Paper | LibreCat-ID: 20721
Nguyen Quang Do, L., Eichberg, M., & Bodden, E. (2016). Toward an Automated Benchmark Management System. Proceedings of the 5th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis, 13–17.
LibreCat
| Download (ext.)
2016 | Conference Paper | LibreCat-ID: 20722
Arzt, S., Kussmaul, T., & Bodden, E. (2016). Towards Cross-Platform Cross-Language Analysis with Soot. Proceedings of the 5th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis, 1–6.
LibreCat
| Download (ext.)
2016 | Journal Article | LibreCat-ID: 20724
Follner, A., & Bodden, E. (2016). ROPocop — Dynamic mitigation of code-reuse attacks. Journal of Information Security and Applications , 29, 16–26. http://dx.doi.org/10.1016/j.jisa.2016.01.002
LibreCat
| DOI
| Download (ext.)
2016 | Conference Paper | LibreCat-ID: 20725
Follner, A., Bartel, A., & Bodden, E. (2016). Analyzing the Gadgets - Towards a Metric to Measure Gadget Quality. International Symposium on Engineering Secure Software and Systems (ESSoS).
LibreCat
| Download (ext.)
2016 | Conference Paper | LibreCat-ID: 20726
Falzon, K., & Bodden, E. (2016). Towards a Comprehensive Model of Isolation for Mitigating Illicit Channels. In F. Piessens & L. Vigan’o (Eds.), 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 (pp. 116–138). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-662-49635-0_7
LibreCat
| DOI
| Download (ext.)
2016 | Conference Paper | LibreCat-ID: 20727
Rasthofer, S., Arzt, S., Miltenberger, M., & Bodden, E. (2016). Harvesting Runtime Values in Android Applications That Feature Anti-Analysis Techniques. Network and Distributed System Security Symposium (NDSS).
LibreCat
| Download (ext.)
2016 | Conference Paper | LibreCat-ID: 20728
Nadi, S., Krüger, S., Mezini, M., & Bodden, E. (2016). Jumping Through Hoops: Why do Java Developers Struggle With Cryptography APIs? International Conference for Software Engineering (ICSE), 935–946.
LibreCat
| Download (ext.)
2016 | Conference Paper | LibreCat-ID: 20729
Arzt, S., & Bodden, E. (2016). StubDroid: Automatic Inference of Precise Data-flow Summaries for the Android Framework. International Conference for Software Engineering (ICSE).
LibreCat
| Download (ext.)
2016 | Conference Paper | LibreCat-ID: 20730
Eling, N., Rasthofer, S., Kolhagen, M., Bodden, E., & Buxmann, P. (2016). Investigating Users’ Reaction to Fine-Grained Data Requests: A Market Experiment. 2016 49th Hawaii International Conference on System Sciences (HICSS), 3666–3675. https://doi.org/10.1109/HICSS.2016.458
LibreCat
| DOI
| Download (ext.)
2016 | Conference Paper | LibreCat-ID: 208
Blömer, J., & Liske, G. (2016). Construction of Fully CCA-Secure Predicate Encryptions from Pair Encoding Schemes. In Proceedings of the CT-RSA 2016 (pp. 431–447). https://doi.org/10.1007/978-3-319-29485-8_25
LibreCat
| Files available
| DOI
2016 | Report | LibreCat-ID: 20822
Dziwok, S., Pohlmann, U., Piskachev, G., Schubert, D., Thiele, S., & Gerking, C. (2016). The MechatronicUML Design Method: Process and Language for Platform-Independent Modeling.
LibreCat
2016 | Report | LibreCat-ID: 20823
Holtmann, J., Fockel, M., Koch, T., Schmelter, D., Brenner, C., Bernijazov, R., & Sander, M. (2016). The MechatronicUML Requirements Engineering Method: Process and Language. https://doi.org/10.13140/RG.2.2.33223.29606
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 20825
Greinert, M., Tschirner, C., & Holtmann, J. (2016). Anwendung von Methoden der Produktentstehung auf Basis des Systemmodells mechatronischer Systeme. Tag Des Systems Engineering 2016, 77–86. https://doi.org/10.3139/9783446451414.008
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 20830
Schubert, D., Heinzemann, C., & Gerking, C. (2016). Towards Safe Execution of Reconfigurations in Cyber-Physical Systems. Proceedings of the 19th International ACM Sigsoft Symposium on Component-Based Software Engineering.
LibreCat
2016 | Conference Paper | LibreCat-ID: 209
Feldotto, M., Leder, L., & Skopalik, A. (2016). Congestion Games with Mixed Objectives. In Proceedings of the 10th Annual International Conference on Combinatorial Optimization and Applications (COCOA) (pp. 655--669). https://doi.org/10.1007/978-3-319-48749-6_47
LibreCat
| Files available
| DOI
| arXiv
2016 | Bachelorsthesis | LibreCat-ID: 18025
Heuchler, S. (2016). Nibbler: Implementing a Turing machine to simulate the Busy Beaver problem.
LibreCat
2016 | Journal Article | LibreCat-ID: 1835
Schmid, S., Avin, C., Scheideler, C., Borokhovich, M., Haeupler, B., & Lotker, Z. (2016). SplayNet: Towards Locally Self-Adjusting Networks. IEEE/ACM Trans. Netw., (3), 1421--1433. https://doi.org/10.1109/TNET.2015.2410313
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 1836
Derakhshandeh, Z., Gmyr, R., Porter, A., W. Richa, A., Scheideler, C., & Strothmann, T. F. (2016). On the Runtime of Universal Coating for Programmable Matter. In DNA Computing and Molecular Programming - 22nd International Conference, DNA 22, Munich, Germany, September 4-8, 2016, Proceedings (Vol. 9818, pp. 148--164). https://doi.org/10.1007/978-3-319-43994-5_10
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 1837
Derakhshandeh, Z., Gmyr, R., W. Richa, A., Scheideler, C., & Strothmann, T. F. (2016). Universal Shape Formation for Programmable Matter. 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 (pp. 289--299). ACM. https://doi.org/10.1145/2935764.2935784
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 184
Melnikov, V., & Hüllermeier, E. (2016). Learning to Aggregate Using Uninorms. In Proceedings of the Joint European Conference on Machine Learning and Knowledge Discovery in Databases (ECML/PKDD 2016) (pp. 756–771). https://doi.org/10.1007/978-3-319-46227-1_47
LibreCat
| Files available
| DOI
2016 | Conference (Editor) | LibreCat-ID: 1844
Scheideler, C., & Gilbert, S. (Eds.). (2016). 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. https://doi.org/10.1145/2935764
LibreCat
| DOI
2016 | Book Chapter | LibreCat-ID: 1845
W. Richa, A., & Scheideler, C. (2016). Jamming-Resistant MAC Protocols for Wireless Networks. In Encyclopedia of Algorithms (pp. 999--1002). https://doi.org/10.1007/978-1-4939-2864-4_593
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 186
Czech, M., Jakobs, M.-C., & Wehrheim, H. (2016). Just test what you cannot verify! In U. Z. Jens Knoop (Ed.), Software Engineering 2016 (pp. 17–18).
LibreCat
| Files available
2016 | Report | LibreCat-ID: 221
Platenius, M. C., Josifovska, K., van Rooijen, L., Arifulina, S., Becker, M., Engels, G., & Schäfer, W. (2016). An Overview of Service Specification Language and Matching in On-The-Fly Computing (v0.3). Universität Paderborn.
LibreCat
| Files available
2016 | Journal Article | LibreCat-ID: 222
Wiersema, T., Bockhorn, A., & Platzner, M. (2016). An Architecture and Design Tool Flow for Embedding a Virtual FPGA into a Reconfigurable System-on-Chip. Computers & Electrical Engineering, 112--122. https://doi.org/10.1016/j.compeleceng.2016.04.005
LibreCat
| Files available
| DOI
2016 | Mastersthesis | LibreCat-ID: 223
Hinnenthal, K. (2016). Aggregation in Overlay Networks. Universität Paderborn.
LibreCat
| Files available
2016 | Conference Paper | LibreCat-ID: 224
Krämer, J., & Wehrheim, H. (2016). A short survey on using software error localization for service compositions. In Proceedings of the 5th European Conference on Service-Oriented and Cloud Computing (ESOCC 2016) (pp. 248--262). https://doi.org/10.1007/978-3-319-44482-6_16
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 226
Krämer, J., & Wehrheim, H. (2016). A Formal Approach to Error Localization and Correction in Service Compositions. In Proceedings of the 1st International Workshop on Formal to Practical Software Verification and Composition (VeryComp 2016) (pp. 445--457). https://doi.org/10.1007/978-3-319-50230-4_35
LibreCat
| Files available
| DOI