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.
9812 Publications
2016 | Conference Paper | LibreCat-ID: 20727
Rasthofer S, Arzt S, Miltenberger M, Bodden E. Harvesting Runtime Values in Android Applications That Feature Anti-Analysis Techniques. In: Network and Distributed System Security Symposium (NDSS). ; 2016.
LibreCat
| Download (ext.)
2016 | Conference Paper | LibreCat-ID: 20728
Nadi S, Krüger S, Mezini M, Bodden E. Jumping Through Hoops: Why do Java Developers Struggle With Cryptography APIs? In: International Conference for Software Engineering (ICSE). ; 2016:935-946.
LibreCat
| Download (ext.)
2016 | Conference Paper | LibreCat-ID: 20729
Arzt S, Bodden E. StubDroid: Automatic Inference of Precise Data-flow Summaries for the Android Framework. In: International Conference for Software Engineering (ICSE). ; 2016.
LibreCat
| Download (ext.)
2016 | Conference Paper | LibreCat-ID: 20730
Eling N, Rasthofer S, Kolhagen M, Bodden E, Buxmann P. Investigating Users’ Reaction to Fine-Grained Data Requests: A Market Experiment. In: 2016 49th Hawaii International Conference on System Sciences (HICSS). ; 2016:3666-3675. doi:10.1109/HICSS.2016.458
LibreCat
| DOI
| Download (ext.)
2016 | Conference Paper | LibreCat-ID: 208
Blömer J, Liske G. Construction of Fully CCA-Secure Predicate Encryptions from Pair Encoding Schemes. In: Proceedings of the CT-RSA 2016. LNCS. ; 2016:431-447. doi: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. The MechatronicUML Design Method: Process and Language for Platform-Independent Modeling.; 2016.
LibreCat
2016 | Report | LibreCat-ID: 20823
Holtmann J, Fockel M, Koch T, et al. The MechatronicUML Requirements Engineering Method: Process and Language.; 2016. doi:10.13140/RG.2.2.33223.29606
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 20825
Greinert M, Tschirner C, Holtmann J. Anwendung von Methoden der Produktentstehung auf Basis des Systemmodells mechatronischer Systeme. In: Tag Des Systems Engineering 2016. Gesellschaft f{\"u}r Systems Engineering e.V.; 2016:77-86. doi:10.3139/9783446451414.008
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 20830
Schubert D, Heinzemann C, Gerking C. 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
2016 | Conference Paper | LibreCat-ID: 209
Feldotto M, Leder L, Skopalik A. Congestion Games with Mixed Objectives. In: Proceedings of the 10th Annual International Conference on Combinatorial Optimization and Applications (COCOA). LNCS. ; 2016:655--669. doi:10.1007/978-3-319-48749-6_47
LibreCat
| Files available
| DOI
| arXiv
2016 | Bachelorsthesis | LibreCat-ID: 18025
Heuchler S. Nibbler: Implementing a Turing Machine to Simulate the Busy Beaver Problem.; 2016.
LibreCat
2016 | Journal Article | LibreCat-ID: 1835
Schmid S, Avin C, Scheideler C, Borokhovich M, Haeupler B, Lotker Z. SplayNet: Towards Locally Self-Adjusting Networks. IEEE/ACM Trans Netw. 2016;(3):1421--1433. doi: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 TF. 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. Lecture Notes in Computer Science. ; 2016:148--164. doi: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 TF. 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. ACM; 2016:289--299. doi:10.1145/2935764.2935784
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 184
Melnikov V, Hüllermeier E. Learning to Aggregate Using Uninorms. In: Proceedings of the Joint European Conference on Machine Learning and Knowledge Discovery in Databases (ECML/PKDD 2016). LNCS. ; 2016:756-771. doi:10.1007/978-3-319-46227-1_47
LibreCat
| Files available
| DOI
2016 | Conference (Editor) | LibreCat-ID: 1844
Scheideler C, Gilbert S, 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. doi:10.1145/2935764
LibreCat
| DOI
2016 | Book Chapter | LibreCat-ID: 1845
W. Richa A, Scheideler C. Jamming-Resistant MAC Protocols for Wireless Networks. In: Encyclopedia of Algorithms. ; 2016:999--1002. doi:10.1007/978-1-4939-2864-4_593
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 186
Czech M, Jakobs M-C, Wehrheim H. Just test what you cannot verify! In: Jens Knoop UZ, ed. Software Engineering 2016. Lecture Notes in Informatics. ; 2016:17-18.
LibreCat
| Files available
2016 | Report | LibreCat-ID: 221
Platenius MC, Josifovska K, van Rooijen L, et al. An Overview of Service Specification Language and Matching in On-The-Fly Computing (v0.3). Universität Paderborn; 2016.
LibreCat
| Files available
2016 | Journal Article | LibreCat-ID: 222
Wiersema T, Bockhorn A, Platzner M. An Architecture and Design Tool Flow for Embedding a Virtual FPGA into a Reconfigurable System-on-Chip. Computers & Electrical Engineering. 2016:112--122. doi:10.1016/j.compeleceng.2016.04.005
LibreCat
| Files available
| DOI
2016 | Mastersthesis | LibreCat-ID: 223
Hinnenthal K. Aggregation in Overlay Networks. Universität Paderborn; 2016.
LibreCat
| Files available
2016 | Conference Paper | LibreCat-ID: 224
Krämer J, Wehrheim H. 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). LNCS. ; 2016:248--262. doi:10.1007/978-3-319-44482-6_16
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 226
Krämer J, Wehrheim H. 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). LNCS. ; 2016:445--457. doi:10.1007/978-3-319-50230-4_35
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 227
Töws M, Wehrheim H. A CEGAR Scheme for Information Flow Analysis. In: Proceedings of the 18th International Conference on Formal Engineering Methods (ICFEM 2016). LNCS. ; 2016:466--483. doi: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. 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. ; 2016.
LibreCat
2016 | Conference Paper | LibreCat-ID: 22871
Falkowski T, Fechtelpeter C, Peitz C, Kühn A, Dumitrescu R. Einsatz von Leuchten zur Standortbestimmung in der Produktion. In: VDE Kongress 2016, 7. - 8. Nov. 2016. ; 2016.
LibreCat
2016 | Conference Paper | LibreCat-ID: 22872
Westermann M, Anacker H, Dumitrescu R, Czaja AM. Reference Architecture and Maturity Levels for Cyber-Physical Systems. In: 2nd IEEE International Symposium on Systems Engineering 2016, Edinburgh, Scotland, 4. - 5. Okt. 2016. ; 2016.
LibreCat
2016 | Conference Paper | LibreCat-ID: 22873
Fechtelpeter C, Jürgenhake C, Dumitrescu R, et al. Reliability in MID - barriers, potentials, fields of action. In: 12th International Congress on Molded Interconnect Devices, Conference Proceedings , 28. - 30. Sep. 2016. ; 2016.
LibreCat
2016 | Conference Paper | LibreCat-ID: 22874
Jürgenhake C, Falkowski T, Dumitrescu R. Classification of MID-prototypes. In: 12th International Congress on Molded Interconnect Devices, Würzburg, 28. - 30. Sep. 2016. ; 2016.
LibreCat
2016 | Conference Paper | LibreCat-ID: 22876
Jürgenhake C, Dumitrescu R. Systematic for function-oriented development of spatial integrated circuit carriers. In: International Design Conference - Design 2016, 16. - 19. Mai 2016. ; 2016.
LibreCat
2016 | Conference Paper | LibreCat-ID: 22878
Kaiser L, Bremer C, Dumitrescu R. 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. ; 2016.
LibreCat
2016 | Conference Paper | LibreCat-ID: 22879
Jürgenhake C, Falkowski T, Fechtelpeter C, Dumitrescu R. 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. ; 2016.
LibreCat
2016 | Conference Paper | LibreCat-ID: 22880
Bretz LH, Tschirner C, Dumitrescu R. 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. Edinburgh, Scotland; 2016:143-150.
LibreCat
2016 | Conference Paper | LibreCat-ID: 217
Schwichtenberg S. Automatized Derivation of Comprehensive Specifications for Black-box Services. In: Proceedings of the 38th International Conference on Software Engineering Companion (ICSE). ; 2016:815-818. doi:10.1145/2889160.2889271
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 21728
Heppner S, Dransfeld M, Domik G. Adding atmospheric scattering and transparency to a deferred rendering pipeline for camera based ADAS tests. In: Pinzger M, Mayr H, eds. Informatik 2016. Bonn: Gesellschaft für Informatik e.V.; 2016:1591-1604.
LibreCat
2016 | Conference Paper | LibreCat-ID: 21729
Heppner S, Dransfeld M, Domik G. A Deferred Rendering Pipeline Including a Global Illumination Model for Atmospheric Scattering and Transparency. In: Hullin M, Stamminger M, Weinkauf T, eds. Vision, Modeling & Visualization. The Eurographics Association; 2016. doi:10.2312/vmv.20161458
LibreCat
| DOI
2016 | Journal Article | LibreCat-ID: 21730
Yanaka K, Yamanouchi T. 3D Image Display Courses for Information Media Students. IEEE Computer Graphics and Applications. 2016;36(2):68-73. doi:10.1109/MCG.2016.36
LibreCat
| DOI
2016 | Journal Article | LibreCat-ID: 21731
Santos BS, Ferreira BQ, Dias P. Using Heuristic Evaluation to Foster Visualization Analysis and Design Skills. IEEE Computer Graphics and Applications. 2016;36(1):86-90. doi:10.1109/MCG.2016.7
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 219
Jazayeri B. Architectural Management of On-The-Fly Computing Markets. In: Proceedings of the 10th European Conference on Software Architecture (ECSA Workshops). Copenhagen, Denmark: ACM; 2016:42. doi:10.1145/2993412.3010821
LibreCat
| Files available
| DOI
2016 | Journal Article | LibreCat-ID: 21937
Nüske F, Schneider R, Vitalini F, Noé F. Variational tensor approach for approximating the rare-event kinetics of macromolecular systems. The Journal of Chemical Physics. 2016. doi:10.1063/1.4940774
LibreCat
| DOI
2016 | Dissertation | LibreCat-ID: 220
Keller M. Application Deployment at Distributed Clouds. Universität Paderborn; 2016.
LibreCat
| Files available
2016 | Conference (Editor) | LibreCat-ID: 7756
Hess S, Fischer HG, eds. Mensch Und Computer 2016 - Usability Professionals. Tagungsband. Aachen: Gesellschaft für Informatik e.V. und German UPA e.V.; 2016.
LibreCat
2016 | Conference (Editor) | LibreCat-ID: 7757
Martins Freivalds R, Engels G, Catania B, eds. SOFSEM 2016: Theory and Practice of Computer Science. Springer; 2016.
LibreCat
2016 | Conference (Editor) | LibreCat-ID: 7758
Van Gorp P, Engels G, eds. Theory and Practice of Model Transformations - 9th International Conference ICMT 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-5, 2016, Proceedings. Vol 9765. Springer; 2016.
LibreCat
2016 | Conference (Editor) | LibreCat-ID: 7759
Martins Freivalds R, Engels G, Catania B, Spanek R, eds. SOFSEM 2016: Theory and Practice of Computer Science - Proceedings Volume II. Springer; 2016.
LibreCat
2016 | Conference Paper | LibreCat-ID: 7765 | 
Schumacher J. Erkunden mathematischer Strukturen anstatt Interpretation in Modellen – Ein innermathematischer Zugang zu negativen Zahlen. In: Institut für Mathematik und Informatik Heidelberg}, ed. Beiträge zum Mathematikunterricht 2016. Münster: WTM-Verlag; 2016.
LibreCat
| Download (ext.)
2016 | Conference Paper | LibreCat-ID: 8070
Fazal-Baqaie M, Kluthe F. Automated Quality Analysis of Software Engineering Method Models. In: Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development. SCITEPRESS; 2016.
LibreCat
2016 | Conference Paper | LibreCat-ID: 8071
Fazal-Baqaie M, Güldali B, Grieger M. Ganzheitliches Qualitätsmanagement in agilen Groß- Projekten. In: Proceedings of Projektmanagement Und Vorgehensmodelle 2016. Lecture Notes in Informatics (LNI). Köllen Druck+Verlag GmbH, Bonn; 2016:109-120.
LibreCat
2016 | Conference Paper | LibreCat-ID: 8072
Grieger M, Fazal-Baqaie M, Engels G, Klenke M. Concept-Based Engineering of Situation-Specific Migration Methods. In: Proceedings of the 15th International Conference on Software Reuse (ICSR). LNCS. Springer; 2016:199-214.
LibreCat
| Download (ext.)
2016 | Conference Paper | LibreCat-ID: 5743
Yigitbas E, Kern T, Urban P, Sauer S. Multi-device UI Development for Task-Continuous Cross-Channel Web Applications. In: Current Trends in Web Engineering - {ICWE} 2016 International Workshops, DUI, TELERISE, SoWeMine, and Liquid Web, Lugano, Switzerland, June 6-9, 2016, Revised Selected Papers. ; 2016:114-127. doi:10.1007/978-3-319-46963-8\_10
LibreCat
| DOI