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 | 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
2016 | Conference Paper | LibreCat-ID: 227
Töws, M., & Wehrheim, H. (2016). A CEGAR Scheme for Information Flow Analysis. In Proceedings of the 18th International Conference on Formal Engineering Methods (ICFEM 2016) (pp. 466--483). https://doi.org/10.1007/978-3-319-47846-3_29
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 22870
Röltgen, D., Anacker, H., & Dumitrescu, R. (2016). Einsatz- und Nutzenpotentiale von Augmented Reality im Kontext von Industrie 4.0. In VDE Kongress 2016 Internet of Things, Mannheim, Deutschland, 7. - 8. Nov. 2016.
LibreCat
2016 | Conference Paper | LibreCat-ID: 22871
Falkowski, T., Fechtelpeter, C., Peitz, C., Kühn, A., & Dumitrescu, R. (2016). Einsatz von Leuchten zur Standortbestimmung in der Produktion. In VDE Kongress 2016, 7. - 8. Nov. 2016.
LibreCat
2016 | Conference Paper | LibreCat-ID: 22872
Westermann, M., Anacker, H., Dumitrescu, R., & Czaja, A. M. (2016). Reference Architecture and Maturity Levels for Cyber-Physical Systems. In 2nd IEEE International Symposium on Systems Engineering 2016, Edinburgh, Scotland, 4. - 5. Okt. 2016.
LibreCat
2016 | Conference Paper | LibreCat-ID: 22873
Fechtelpeter, C., Jürgenhake, C., Dumitrescu, R., Mager, T., Fritz, K.-P., Grötzinger, T., … Zimmermann, A. (2016). Reliability in MID - barriers, potentials, fields of action. In 12th International Congress on Molded Interconnect Devices, Conference Proceedings , 28. - 30. Sep. 2016.
LibreCat
2016 | Conference Paper | LibreCat-ID: 22874
Jürgenhake, C., Falkowski, T., & Dumitrescu, R. (2016). Classification of MID-prototypes. In 12th International Congress on Molded Interconnect Devices, Würzburg, 28. - 30. Sep. 2016.
LibreCat
2016 | Conference Paper | LibreCat-ID: 22876
Jürgenhake, C., & Dumitrescu, R. (2016). Systematic for function-oriented development of spatial integrated circuit carriers. In International Design Conference - Design 2016, 16. - 19. Mai 2016.
LibreCat
2016 | Conference Paper | LibreCat-ID: 22878
Kaiser, L., Bremer, C., & Dumitrescu, R. (2016). Exhaustiveness of Systems Structures in Model-Based Systems Engineering for Mechatronic Systems. In Sysint - 3rd International Conference on System-Integrated Intelligence: New Challenges for Product and Production Engineering.
LibreCat
2016 | Conference Paper | LibreCat-ID: 22879
Jürgenhake, C., Falkowski, T., Fechtelpeter, C., & Dumitrescu, R. (2016). Function-based feasibility study and benchmark for MID concepts. In Sysint - 3rd International Conference on System-Integrated Intelligence: New Challenges for Product and Production Engineering.
LibreCat
2016 | Conference Paper | LibreCat-ID: 22880
Bretz, L. H., Tschirner, C., & Dumitrescu, R. (2016). A concept for managing information in early stages of product engineering by integrating MBSE and workflow management systems. In IEEE ISSE: Proceedings of 2016 International Symposium on Systems Engineering (pp. 143–150). Edinburgh, Scotland.
LibreCat
2016 | Conference Paper | LibreCat-ID: 217
Schwichtenberg, S. (2016). Automatized Derivation of Comprehensive Specifications for Black-box Services. In Proceedings of the 38th International Conference on Software Engineering Companion (ICSE) (pp. 815–818). https://doi.org/10.1145/2889160.2889271
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 21728
Heppner, S., Dransfeld, M., & Domik, G. (2016). Adding atmospheric scattering and transparency to a deferred rendering pipeline for camera based ADAS tests. In M. Pinzger & H. Mayr (Eds.), Informatik 2016 (pp. 1591–1604). Bonn: Gesellschaft für Informatik e.V.
LibreCat
2016 | Conference Paper | LibreCat-ID: 21729
Heppner, S., Dransfeld, M., & Domik, G. (2016). A Deferred Rendering Pipeline Including a Global Illumination Model for Atmospheric Scattering and Transparency. In M. Hullin, M. Stamminger, & T. Weinkauf (Eds.), Vision, Modeling & Visualization. The Eurographics Association. https://doi.org/10.2312/vmv.20161458
LibreCat
| DOI
2016 | Journal Article | LibreCat-ID: 21730
Yanaka, K., & Yamanouchi, T. (2016). 3D Image Display Courses for Information Media Students. IEEE Computer Graphics and Applications, 36(2), 68–73. https://doi.org/10.1109/MCG.2016.36
LibreCat
| DOI
2016 | Journal Article | LibreCat-ID: 21731
Santos, B. S., Ferreira, B. Q., & Dias, P. (2016). Using Heuristic Evaluation to Foster Visualization Analysis and Design Skills. IEEE Computer Graphics and Applications, 36(1), 86–90. https://doi.org/10.1109/MCG.2016.7
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 219
Jazayeri, B. (2016). Architectural Management of On-The-Fly Computing Markets. In Proceedings of the 10th European Conference on Software Architecture (ECSA Workshops) (p. 42). Copenhagen, Denmark: ACM. https://doi.org/10.1145/2993412.3010821
LibreCat
| Files available
| DOI
2016 | Journal Article | LibreCat-ID: 21937
Nüske, F., Schneider, R., Vitalini, F., & Noé, F. (2016). Variational tensor approach for approximating the rare-event kinetics of macromolecular systems. The Journal of Chemical Physics. https://doi.org/10.1063/1.4940774
LibreCat
| DOI
2016 | Dissertation | LibreCat-ID: 220
Keller, M. (2016). Application Deployment at Distributed Clouds. Universität Paderborn.
LibreCat
| Files available
2016 | Conference (Editor) | LibreCat-ID: 7756
Hess , S., & Fischer, H. G. (Eds.). (2016). Mensch und Computer 2016 - Usability Professionals. Tagungsband. Aachen: Gesellschaft für Informatik e.V. und German UPA e.V.
LibreCat
2016 | Conference (Editor) | LibreCat-ID: 7757
Martins Freivalds, R., Engels, G., & Catania, B. (Eds.). (2016). SOFSEM 2016: Theory and Practice of Computer Science. Presented at the 42nd International Conference on Current Trends in Theory and Practice of Computer Science Harrachov, Czech Republic, January 23-28, 2016, Proceedings + Volume II, Springer.
LibreCat