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.
9804 Publications
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
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
2016 | Conference (Editor) | LibreCat-ID: 7758
Van Gorp, P., & Engels, G. (Eds.). (2016). 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.
LibreCat
2016 | Conference (Editor) | LibreCat-ID: 7759
Martins Freivalds, R., Engels, G., Catania, B., & Spanek, R. (Eds.). (2016). SOFSEM 2016: Theory and Practice of Computer Science - Proceedings Volume II. Springer.
LibreCat
2016 | Conference Paper | LibreCat-ID: 7765 |
Schumacher, J. (2016). 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.
LibreCat
| Download (ext.)
2016 | Conference Paper | LibreCat-ID: 8070
Fazal-Baqaie, M., & Kluthe, F. (2016). Automated Quality Analysis of Software Engineering Method Models. In Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development. SCITEPRESS.
LibreCat
2016 | Conference Paper | LibreCat-ID: 8071
Fazal-Baqaie, M., Güldali, B., & Grieger, M. (2016). Ganzheitliches Qualitätsmanagement in agilen Groß- Projekten. In Proceedings of Projektmanagement und Vorgehensmodelle 2016 (pp. 109–120). Köllen Druck+Verlag GmbH, Bonn.
LibreCat
2016 | Conference Paper | LibreCat-ID: 8072
Grieger, M., Fazal-Baqaie, M., Engels, G., & Klenke, M. (2016). Concept-Based Engineering of Situation-Specific Migration Methods. In Proceedings of the 15th International Conference on Software Reuse (ICSR) (pp. 199–214). Springer.
LibreCat
| Download (ext.)
2016 | Conference Paper | LibreCat-ID: 5743
Yigitbas, E., Kern, T., Urban, P., & Sauer, S. (2016). 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 (pp. 114–127). https://doi.org/10.1007/978-3-319-46963-8\_10
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 5744
Yigitbas, E., & Sauer, S. (2016). Engineering Context-Adaptive UIs for Task-Continuous Cross-Channel Applications. In Human-Centered and Error-Resilient Systems Development - {IFIP} {WG} 13.2/13.5 Joint Working Conference 6th International Conference on Human-Centered Software Engineering, {HCSE} 2016, and 8th International Conference on Human Error, Safety, and System Development, {HESSD} 2016 Stockholm, Sweden, August 29-31, 2016, Proceedings (pp. 281–300). https://doi.org/10.1007/978-3-319-44902-9\_18
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 5745
Yigitbas, E., & Sauer, S. (2016). Customized UI Development Through Context-Sensitive GUI Patterns. In Mensch und Computer 2016 - Workshopband, Aachen, Germany, September 4-7, 2016. https://doi.org/10.18420/muc2016-ws05-0004
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 5746
Fischer, H. G., Rose, M., Yigitbas, E., & Forbrig, P. (2016). Towards a Task Driven Approach Enabling Continuous User Requirements Engineering. In Joint Proceedings of {REFSQ-2016} Workshops, Doctoral Symposium, Research Method Track, and Poster Track co-located with the 22nd International Conference on Requirements Engineering: Foundation for Software Quality {(REFSQ} 2016), Gothenburg, Sweden, March 14, 2016.
LibreCat
2016 | Journal Article | LibreCat-ID: 5759
Jovanovikj, I., Grieger, M., & Yigitbas, E. (2016). Towards a Model-Driven Method for Reusing Test Cases in Software Migration Projects. Softwaretechnik-Trends, Proceedings of the 18th Workshop Software-Reengineering & Evolution (WSRE) & 7th Workshop Design for Future (DFF), 36(2), 65–66.
LibreCat
2016 | Journal Article | LibreCat-ID: 5762
Strothmann, T. F. (2016). The Impact of Communication Patterns on Distributed Self-Adjusting Binary Search Tree. Journal of Graph Algorithms and Applications, 20(1), 79–100. https://doi.org/10.7155/jgaa.00385
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 5812
Boschmann, A., Agne, A., Witschen, L., Thombansen, G., Kraus, F., & Platzner, M. (2016). FPGA-based acceleration of high density myoelectric signal processing. In 2015 International Conference on ReConFigurable Computing and FPGAs (ReConFig). IEEE. https://doi.org/10.1109/reconfig.2015.7393312
LibreCat
| DOI