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.
5711 Publications
2016 | Conference Paper | LibreCat-ID: 3117
Bader, Christoph, Tibor Jager, Yong Li, and Sven Schäge. “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, 273--304, 2016. https://doi.org/10.1007/978-3-662-49896-5_10.
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 3118
Hofheinz, Dennis, Tibor Jager, and Andy Rupp. “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, 146--168, 2016. https://doi.org/10.1007/978-3-662-53644-5_6.
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 3119
Hofheinz, Dennis, and Tibor Jager. “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, 336--362, 2016. https://doi.org/10.1007/978-3-662-49096-9_14.
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 3157
Beringer, Steffen, and Heike Wehrheim. “Verification of AUTOSAR Software Architectures with Timed Automata.” In 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, edited by Maurice H. ter Beek, Stefania Gnesi, and Alexander Knapp, 189--204. Lecture Notes in Computer Science, 2016. https://doi.org/10.1007/978-3-319-45943-1_13.
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 3158
Travkin, Oleg, and Heike Wehrheim. “Verification of Concurrent Programs on Weak Memory Models.” In Theoretical Aspects of Computing - {ICTAC} 2016 - 13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings, edited by Augusto Sampaio and Farn Wang, 3--24. Lecture Notes in Computer Science, 2016. https://doi.org/10.1007/978-3-319-46750-4_1.
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 3159
Schellhorn, Gerhard, Oleg Travkin, and Heike Wehrheim. “Towards a Thread-Local Proof Technique for Starvation Freedom.” In Integrated Formal Methods - 12th International Conference, {IFM} 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings, edited by Marieke Huisman, 193--209. Lecture Notes in Computer Science, 2016. https://doi.org/10.1007/978-3-319-33693-0_13.
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 3160
Doherty, Simon, Brijesh Dongol, John Derrick, Gerhard Schellhorn, and Heike Wehrheim. “Proving Opacity of a Pessimistic {STM}.” In 20th International Conference on Principles of Distributed Systems, {OPODIS} 2016, December 13-16, 2016, Madrid, Spain, edited by Panagiota Fatourou, Ernesto Jim{\’{e}}nez, and Fernando Pedone, 35:1--35:17. LIPIcs, 2016. https://doi.org/10.4230/LIPIcs.OPODIS.2016.35.
LibreCat
| DOI
2016 | Journal Article | LibreCat-ID: 3161
Isenberg, Tobias, Marie{-}Christine Jakobs, Felix Pauck, and Heike Wehrheim. “Deriving Approximation Tolerance Constraints from Verification Runs.” CoRR, 2016.
LibreCat
2016 | Mastersthesis | LibreCat-ID: 210
Leder, Lennart. Congestion Games with Mixed Objectives. Universität Paderborn, 2016.
LibreCat
2016 | Bachelorsthesis | LibreCat-ID: 213
Porzenheim, Laurens. Comparison of Different Definitions of Chosen-Ciphertext Security in Encryption Schemes. Universität Paderborn, 2016.
LibreCat
2016 | Bachelorsthesis | LibreCat-ID: 214
Bemmann, Kai Sören. Commitment Schemes - Definitions, Variants, and Security. Universität Paderborn, 2016.
LibreCat
2016 | Conference Paper | LibreCat-ID: 215
Drees, Maximilian, Robert Gmyr, and Christian Scheideler. “Churn- and DoS-Resistant Overlay Networks Based on Network Reconfiguration.” In Proceedings of the 28th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), 417--427, 2016. https://doi.org/10.1145/2935764.2935783.
LibreCat
| Files available
| DOI
2016 | Journal Article | LibreCat-ID: 175
Walther, Sven, and Heike Wehrheim. “On-The-Fly Construction of Provably Correct Service Compositions - Templates and Proofs.” Science of Computer Programming, 2016, 2--23. https://doi.org/10.1016/j.scico.2016.04.002.
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 17655
Polevoy, Gleb, M.M. de Weerdt, and C.M. Jonker. “The Game of Reciprocation Habits.” In Proceedings of the 2016 European Conference on Artificial Intelligence, Volume 285: ECAI 2016:417–25. Frontiers in Artificial Intelligence and Applications, 2016. https://doi.org/10.3233/978-1-61499-672-9-417.
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 17656
Polevoy, Gleb, Mathijs de Weerdt, and Catholijn Jonker. “The Convergence of Reciprocation.” In Proceedings of the 2016 International Conference on Autonomous Agents and Multiagent Systems, 1431–32. AAMAS ’16. Richland, SC: International Foundation for Autonomous Agents and Multiagent Systems, 2016.
LibreCat
2016 | Conference Paper | LibreCat-ID: 177
Abu-Khzam, Faisal N., Shouwei Li, Christine Markarian, Friedhelm Meyer auf der Heide, and Pavel Podlipyan. “On the Parameterized Parallel Complexity and the Vertex Cover Problem.” In Proceedings of the 10th International Conference on Combinatorial Optimization and Applications (COCOA), 477–88. LNCS, 2016. 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, Friedhelm, ed. Introduction to the Special Issue on SPAA 2014. Transactions on Parallel Computing (TOPC), 2016. https://doi.org/10.1145/2936716.
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 19
Lass, Michael, Dominik Leibenger, and Christoph Sorge. “Confidentiality and Authenticity for Distributed Version Control Systems - A Mercurial Extension.” In Proc. 41st Conference on Local Computer Networks (LCN). IEEE, 2016. https://doi.org/10.1109/lcn.2016.11.
LibreCat
| DOI
2016 | Journal Article | LibreCat-ID: 190
Platenius, Marie Christin, Ammar Shaker, Matthias Becker, Eyke Hüllermeier, and Wilhelm Schäfer. “Imprecise Matching of Requirements Specifications for Software Services Using Fuzzy Logic.” IEEE Transactions on Software Engineering (TSE), Presented at ICSE 2017, no. 8 (2016): 739–59. https://doi.org/10.1109/TSE.2016.2632115.
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 2367
Blömer, Johannes, Sascha Brauer, and Kathrin Bujna. “A Theoretical Analysis of the Fuzzy K-Means Problem.” In 2016 IEEE 16th International Conference on Data Mining (ICDM), 805–10. IEEE, 2016. https://doi.org/10.1109/icdm.2016.0094.
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 20556
Bodden, Eric, Ka I Pun, Martin Steffen, Volker Stolz, and Anna-Katharina Wickert. “Information Flow Analysis for Go.” In 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–45, 2016. https://doi.org/10.1007/978-3-319-47166-2_30.
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 207
Mäcker, Alexander, Manuel Malatyali, Friedhelm Meyer auf der Heide, and Sören Riechers. “Cost-Efficient Scheduling on Machines from the Cloud.” In Proceedings of the 10th Annual International Conference on Combinatorial Optimization and Applications (COCOA), 578--592, 2016. https://doi.org/10.1007/978-3-319-48749-6_42.
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 20716
Bodden, Eric, Michael Eichberg, Ka I Pun, Martin Steffen, Volker Stolz, and Anna-Katharina Wickert. “Don’t Let Data Go Astray---A Context-Sensitive Taint Analysis for Concurrent Programs in Go.” In Nordic Workshop on Programming Theory (NWPT’16), 2016.
LibreCat
| Download (ext.)
2016 | Report | LibreCat-ID: 20717
Nguyen Quang Do, Lisa, Karim Ali, Benjamin Livshits, Eric Bodden, Justin Smith, and Emerson Murphy-Hill. Just-in-Time Static Analysis, 2016. http://dx.doi.org/10.7939/DVN/10859.
LibreCat
| DOI
| Download (ext.)
2016 | Journal Article | LibreCat-ID: 20718
Rasthofer, Siegfried, Steven Arzt, Eric Bodden, and Marc Miltenberger. “Harvester - Vollautomatische Extraktion von Laufzeitwerten Aus Obfuskierten Android-Applikationen.” Datenschutz Und Datensicherheit, 2016, 718–22. https://www.springerprofessional.de/en/datenschutz-und-datensicherheit-dud-11-2016/10866536.
LibreCat
| DOI
| Download (ext.)
2016 | Conference Paper | LibreCat-ID: 20719
Holzinger, Philipp, Stefan Triller, Alexandre Bartel, and Eric Bodden. “An In-Depth Study of More Than Ten Years of Java Exploitation.” In Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security, 779–90. CCS ’16, 2016. http://doi.acm.org/10.1145/2976749.2978361.
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 20720
Follner, Andreas, Alexandre Bartel, Hui Peng, Yu-Chen Chang, Kyriakos Ispoglou, Mathias Payer, and Eric Bodden. “PSHAPE: Automatically Combining Gadgets for Arbitrary Method Execution.” In International Workshop on Security and Trust Management (STM), 212–28, 2016.
LibreCat
| Download (ext.)
2016 | Conference Paper | LibreCat-ID: 20721
Nguyen Quang Do, Lisa, Michael Eichberg, and Eric Bodden. “Toward an Automated Benchmark Management System.” In Proceedings of the 5th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis, 13–17. SOAP 2016, 2016.
LibreCat
| Download (ext.)
2016 | Conference Paper | LibreCat-ID: 20722
Arzt, Steven, Tobias Kussmaul, and Eric Bodden. “Towards Cross-Platform Cross-Language Analysis with Soot.” In Proceedings of the 5th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis, 1–6. SOAP 2016, 2016.
LibreCat
| Download (ext.)
2016 | Journal Article | LibreCat-ID: 20724
Follner, Andreas, and Eric Bodden. “ROPocop — Dynamic Mitigation of Code-Reuse Attacks.” Journal of Information Security and Applications 29 (2016): 16–26. http://dx.doi.org/10.1016/j.jisa.2016.01.002.
LibreCat
| DOI
| Download (ext.)
2016 | Conference Paper | LibreCat-ID: 20725
Follner, Andreas, Alexandre Bartel, and Eric Bodden. “Analyzing the Gadgets - Towards a Metric to Measure Gadget Quality.” In International Symposium on Engineering Secure Software and Systems (ESSoS), 2016.
LibreCat
| Download (ext.)
2016 | Conference Paper | LibreCat-ID: 20726
Falzon, Kevin, and Eric Bodden. “Towards a Comprehensive Model of Isolation for Mitigating Illicit Channels.” 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
| DOI
| Download (ext.)
2016 | Conference Paper | LibreCat-ID: 20727
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
| Download (ext.)
2016 | Conference Paper | LibreCat-ID: 20728
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
| Download (ext.)
2016 | Conference Paper | LibreCat-ID: 20729
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
| Download (ext.)
2016 | Conference Paper | LibreCat-ID: 20730
Eling, N., S. Rasthofer, M. Kolhagen, Eric Bodden, and P. Buxmann. “Investigating Users’ Reaction to Fine-Grained Data Requests: A Market Experiment.” In 2016 49th Hawaii International Conference on System Sciences (HICSS), 3666–75, 2016. https://doi.org/10.1109/HICSS.2016.458.
LibreCat
| DOI
| Download (ext.)
2016 | Conference Paper | LibreCat-ID: 208
Blömer, Johannes, and Gennadij Liske. “Construction of Fully CCA-Secure Predicate Encryptions from Pair Encoding Schemes.” In Proceedings of the CT-RSA 2016, 431–47. LNCS, 2016. https://doi.org/10.1007/978-3-319-29485-8_25.
LibreCat
| Files available
| DOI
2016 | Report | LibreCat-ID: 20822
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
2016 | Report | LibreCat-ID: 20823
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
| DOI
2016 | Conference Paper | LibreCat-ID: 20825
Greinert, Matthias, Christian Tschirner, and Jörg Holtmann. “Anwendung von Methoden Der Produktentstehung Auf Basis Des Systemmodells Mechatronischer Systeme.” In Tag Des Systems Engineering 2016, 77–86. Gesellschaft f{\"u}r Systems Engineering e.V., 2016. https://doi.org/10.3139/9783446451414.008.
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 20830
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
2016 | Conference Paper | LibreCat-ID: 209
Feldotto, Matthias, Lennart Leder, and Alexander Skopalik. “Congestion Games with Mixed Objectives.” 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
| Files available
| DOI
| arXiv
2016 | Bachelorsthesis | LibreCat-ID: 18025
Heuchler, Sebastian. Nibbler: Implementing a Turing Machine to Simulate the Busy Beaver Problem, 2016.
LibreCat
2016 | Journal Article | LibreCat-ID: 1835
Schmid, Stefan, Chen Avin, Christian Scheideler, Michael Borokhovich, Bernhard Haeupler, and Zvi Lotker. “SplayNet: Towards Locally Self-Adjusting Networks.” IEEE/ACM Trans. Netw., no. 3 (2016): 1421--1433. https://doi.org/10.1109/TNET.2015.2410313.
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 1836
Derakhshandeh, Zahra, Robert Gmyr, Alexandra Porter, Andrea W. Richa, Christian Scheideler, and Thim Frederik Strothmann. “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, 9818:148--164. Lecture Notes in Computer Science, 2016. https://doi.org/10.1007/978-3-319-43994-5_10.
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 1837
Derakhshandeh, Zahra, Robert Gmyr, Andrea W. Richa, Christian Scheideler, and Thim Frederik Strothmann. “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, 289--299. ACM, 2016. https://doi.org/10.1145/2935764.2935784.
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 184
Melnikov, Vitaly, and Eyke Hüllermeier. “Learning to Aggregate Using Uninorms.” 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
| Files available
| DOI
2016 | Conference (Editor) | LibreCat-ID: 1844
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
| DOI
2016 | Book Chapter | LibreCat-ID: 1845
W. Richa, Andrea, and Christian Scheideler. “Jamming-Resistant MAC Protocols for Wireless Networks.” In Encyclopedia of Algorithms, 999--1002, 2016. https://doi.org/10.1007/978-1-4939-2864-4_593.
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 186
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
| Files available
2016 | Report | LibreCat-ID: 221
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 (v0.3). Universität Paderborn, 2016.
LibreCat
| Files available
2016 | Journal Article | LibreCat-ID: 222
Wiersema, Tobias, Arne Bockhorn, and Marco Platzner. “An Architecture and Design Tool Flow for Embedding a Virtual FPGA into a Reconfigurable System-on-Chip.” Computers & Electrical Engineering, 2016, 112--122. https://doi.org/10.1016/j.compeleceng.2016.04.005.
LibreCat
| Files available
| DOI
2016 | Mastersthesis | LibreCat-ID: 223
Hinnenthal, Kristian. Aggregation in Overlay Networks. Universität Paderborn, 2016.
LibreCat
| Files available
2016 | Conference Paper | LibreCat-ID: 224
Krämer, Julia, and Heike Wehrheim. “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), 248--262. LNCS, 2016. https://doi.org/10.1007/978-3-319-44482-6_16.
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 226
Krämer, Julia, and Heike Wehrheim. “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), 445--457. LNCS, 2016. https://doi.org/10.1007/978-3-319-50230-4_35.
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 227
Töws, Manuel, and Heike Wehrheim. “A CEGAR Scheme for Information Flow Analysis.” In Proceedings of the 18th International Conference on Formal Engineering Methods (ICFEM 2016), 466--483. LNCS, 2016. https://doi.org/10.1007/978-3-319-47846-3_29.
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 22870
Röltgen, Daniel, Harald Anacker, and Roman Dumitrescu. “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, Tommy, Christian Fechtelpeter, Christoph Peitz, Arno Kühn, and Roman Dumitrescu. “ 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, Matthias, Harald Anacker, Roman Dumitrescu, and Anja Maria Czaja. “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, Christian, Christoph Jürgenhake, Roman Dumitrescu, Thomas Mager, Karl-Peter Fritz, Tobias Grötzinger, Hagen Müller, Paul Wild, and Andre Zimmermann. “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, Christoph, Tommy Falkowski, and Roman Dumitrescu. “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, Christoph, and Roman Dumitrescu. “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, Lydia, Christian Bremer, and Roman Dumitrescu. “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, Christoph, Tommy Falkowski, Christian Fechtelpeter, and Roman Dumitrescu. “ 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, Lukas Helmut, Christian Tschirner, and Roman Dumitrescu. “ 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, 143–50. Edinburgh, Scotland, 2016.
LibreCat
2016 | Conference Paper | LibreCat-ID: 217
Schwichtenberg, Simon. “Automatized Derivation of Comprehensive Specifications for Black-Box Services.” In Proceedings of the 38th International Conference on Software Engineering Companion (ICSE), 815–18, 2016. https://doi.org/10.1145/2889160.2889271.
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 21728
Heppner, Sabrina, Marius Dransfeld, and Gitta Domik. “Adding Atmospheric Scattering and Transparency to a Deferred Rendering Pipeline for Camera Based ADAS Tests.” In Informatik 2016, edited by Martin Pinzger and Heinrich Mayr, 1591–1604. Bonn: Gesellschaft für Informatik e.V., 2016.
LibreCat
2016 | Conference Paper | LibreCat-ID: 21729
Heppner, S., M. Dransfeld, and Gitta Domik. “A Deferred Rendering Pipeline Including a Global Illumination Model for Atmospheric Scattering and Transparency.” In Vision, Modeling & Visualization, edited by M. Hullin, M. Stamminger, and T. Weinkauf. The Eurographics Association, 2016. https://doi.org/10.2312/vmv.20161458.
LibreCat
| DOI
2016 | Journal Article | LibreCat-ID: 21730
Yanaka, K., and T. Yamanouchi. “3D Image Display Courses for Information Media Students.” IEEE Computer Graphics and Applications 36, no. 2 (2016): 68–73. https://doi.org/10.1109/MCG.2016.36.
LibreCat
| DOI
2016 | Journal Article | LibreCat-ID: 21731
Santos, B. S., B. Q. Ferreira, and P. Dias. “Using Heuristic Evaluation to Foster Visualization Analysis and Design Skills.” IEEE Computer Graphics and Applications 36, no. 1 (2016): 86–90. https://doi.org/10.1109/MCG.2016.7.
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 219
Jazayeri, Bahar. “Architectural Management of On-The-Fly Computing Markets.” In Proceedings of the 10th European Conference on Software Architecture (ECSA Workshops), 42. Copenhagen, Denmark: ACM, 2016. https://doi.org/10.1145/2993412.3010821.
LibreCat
| Files available
| DOI
2016 | Dissertation | LibreCat-ID: 220
Keller, Matthias. Application Deployment at Distributed Clouds. Universität Paderborn, 2016.
LibreCat
| Files available
2016 | Conference (Editor) | LibreCat-ID: 7756
Hess , Steffen , and Holger Gerhard Fischer, 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, Rusins, Gregor Engels, and Barbara Catania, eds. SOFSEM 2016: Theory and Practice of Computer Science. LNCS. Springer, 2016.
LibreCat
2016 | Conference (Editor) | LibreCat-ID: 7758
Van Gorp, Pieter, and Gregor Engels, 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, Rusins, Gregor Engels, Barbara Catania, and Roman Spanek, eds. SOFSEM 2016: Theory and Practice of Computer Science - Proceedings Volume II. LNCS. Springer, 2016.
LibreCat
2016 | Conference Paper | LibreCat-ID: 8070
Fazal-Baqaie, Masud, and Frank Kluthe. “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, Masud, Baris Güldali, and Marvin Grieger. “Ganzheitliches Qualitätsmanagement in Agilen Groß- Projekten.” In Proceedings of Projektmanagement Und Vorgehensmodelle 2016, 109–20. Lecture Notes in Informatics (LNI). Köllen Druck+Verlag GmbH, Bonn, 2016.
LibreCat
2016 | Conference Paper | LibreCat-ID: 8072
Grieger, Marvin, Masud Fazal-Baqaie, Gregor Engels, and Markus Klenke. “Concept-Based Engineering of Situation-Specific Migration Methods.” In Proceedings of the 15th International Conference on Software Reuse (ICSR), 199–214. LNCS. Springer, 2016.
LibreCat
| Download (ext.)
2016 | Conference Paper | LibreCat-ID: 5743
Yigitbas, Enes, Thomas Kern, Patrick Urban, and Stefan Sauer. “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, 114–27, 2016. https://doi.org/10.1007/978-3-319-46963-8\_10.
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 5744
Yigitbas, Enes, and Stefan Sauer. “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, 281–300, 2016. https://doi.org/10.1007/978-3-319-44902-9\_18.
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 5745
Yigitbas, Enes, and Stefan Sauer. “Customized UI Development Through Context-Sensitive GUI Patterns.” In Mensch Und Computer 2016 - Workshopband, Aachen, Germany, September 4-7, 2016, 2016. https://doi.org/10.18420/muc2016-ws05-0004.
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 5746
Fischer, Holger Gerhard, Mirko Rose, Enes Yigitbas, and Peter Forbrig. “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., 2016.
LibreCat
2016 | Journal Article | LibreCat-ID: 5759
Jovanovikj, Ivan, Marvin Grieger, and Enes Yigitbas. “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, no. 2 (2016): 65–66.
LibreCat
2016 | Journal Article | LibreCat-ID: 5762
Strothmann, Thim Frederik. “The Impact of Communication Patterns on Distributed Self-Adjusting Binary Search Tree.” Journal of Graph Algorithms and Applications 20, no. 1 (2016): 79–100. https://doi.org/10.7155/jgaa.00385.
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 5812
Boschmann, Alexander, Andreas Agne, Linus Witschen, Georg Thombansen, Florian Kraus, and Marco Platzner. “FPGA-Based Acceleration of High Density Myoelectric Signal Processing.” In 2015 International Conference on ReConFigurable Computing and FPGAs (ReConFig). IEEE, 2016. https://doi.org/10.1109/reconfig.2015.7393312.
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 5825
Wolters, Dennis, Jonas Kirchhoff, Christian Gerth, and Gregor Engels. “Cross-Device Integration of Android Apps.” In Service-Oriented Computing, edited by Quan Z. Sheng, Eleni Stroulia, Samir Tata, and Sami Bhiri, 171–85. Cham: Springer International Publishing, 2016. https://doi.org/10.1007/978-3-319-46295-0_11.
LibreCat
| DOI
2016 | Journal Article | LibreCat-ID: 6249
Fischer, Holger Gerhard, Michaela Kauer-Franz, Dominique Winter, and Stefan Latt. “UUX Method Selection.” i-com 15, no. 1 (2016). https://doi.org/10.1515/icom-2016-0011.
LibreCat
| DOI
2016 | Book Chapter | LibreCat-ID: 6257
Fischer, Holger Gerhard, and Björn Senft. “Human-Centered Software Engineering as a Chance to Ensure Software Quality Within the Digitization of Human Workflows.” In Human-Centered and Error-Resilient Systems Development, edited by Christian Bogdan, 9856:30–41. Lecture Notes in Computer Science. Cham: Springer International Publishing, 2016. https://doi.org/10.1007/978-3-319-44902-9_3.
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 6258
Fischer, Holger Gerhard, Mirko Rose, and Enes Yigitbas. “Towards a Task Driven Approach Enabling Continuous User Requirements Engineering.” In Joint Proceedings of the REFSQ 2016 Co-Located Events. 2nd Workshop on Continuous Requirements Engineering (CRE), Vol. 1564. CEUR-WS, 2016.
LibreCat
2016 | Conference (Editor) | LibreCat-ID: 6307
Hess, Steffen, and Holger Gerhard Fischer, eds. Mensch und Computer 2016 - Usability Professionals. Tagungsband. Aachen: Gesellschaft für Informatik e.V. und German UPA e.V., 2016.
LibreCat
2016 | Journal Article | LibreCat-ID: 7013
Derakhshanmanesh, Mahdi, Marvin Grieger, Jürgen Ebert, and Gregor Engels. “Thoughts on the Evolution Towards Model-Integrating Software.” Softwaretechnik-Trends, Proceedings of the 3rd Workshop Model-Based and Model-Driven Software Modernization (MMSM) 36, no. 3 (2016): 69–70.
LibreCat
2016 | Journal Article | LibreCat-ID: 7014
Grieger, Marvin, Masud Fazal-Baqaie, and Stefan Sauer. “A Method Base for the Situation-Specific Development of Model-Driven Transformation Methods.” Softwaretechnik-Trends, Proceedings of the 3rd Workshop Model-Based and Model-Driven Software Modernization (MMSM) 36, no. 2 (2016): 67–68.
LibreCat
2016 | Journal Article | LibreCat-ID: 714 | 
Karl, Holger, Sevil Dräxler, Manuel Peuster, Alex Galis, Michael Bredel, Aurora Ramos, Josep Martrat, et al. “DevOps for Network Function Virtualisation: An Architectural Approach.” Transactions on Emerging Telecommunications Technologies 27, no. 9 (2016): 1206–15. https://doi.org/10.1002/ett.3084.
LibreCat
| DOI
| Download (ext.)
2016 | Journal Article | LibreCat-ID: 726
Wette, Philip, and Holger Karl. “DCT2Gen: A Traffic Generator for Data Centers.” Computer Communications, 2016, 45--58. https://doi.org/10.1016/j.comcom.2015.12.001.
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 728
Schwabe, Arne, Pedro A. Aranda-Gutierrez, and Holger Karl. “Composition of SDN Applications: Options/Challenges for Real Implementations.” In Proceedings of the 2016 Applied Networking Research Workshop, {ANRW} 2016, Berlin, Germany, July 16, 2016, 26--31, 2016. https://doi.org/10.1145/2959424.2959436.
LibreCat
| DOI
| Download (ext.)
2016 | Conference Paper | LibreCat-ID: 729
Doriguzzi Corin, Roberto, Pedro A. Aranda-Gutierrez, Elisa Rojas, Holger Karl, and Elio Salvadori. “Reusability of Software-Defined Networking Applications: {A} Runtime, Multi-Controller Approach.” In 12th International Conference on Network and Service Management, {CNSM} 2016, Montreal, QC, Canada, October 31 - Nov. 4, 2016, 209--215, 2016. https://doi.org/10.1109/CNSM.2016.7818419.
LibreCat
| DOI
| Download (ext.)
2016 | Conference Paper | LibreCat-ID: 730 |
Peuster, Manuel, and Holger Karl. “Understand Your Chains: Towards Performance Profile-Based Network Service Management.” In Fifth European Workshop on Software-Defined Networks, EWSDN 2016, Den Haag, The Netherlands, October 10-11, 2016, 7--12, 2016. https://doi.org/10.1109/EWSDN.2016.9.
LibreCat
| Files available
| DOI
| Download (ext.)
2016 | Conference Paper | LibreCat-ID: 731
Peuster, Manuel, Holger Karl, Alessandro Enrico Redondi, and Antonio Capone. “Demonstrating On-Demand Cell Switching with a Two-Layer Mobile Network Testbed.” In IEEE Conference on Computer Communications Workshops, INFOCOM Workshops 2016, San Francisco, CA, USA, April 10-14, 2016, 1015--1016, 2016. https://doi.org/10.1109/INFCOMW.2016.7562232.
LibreCat
| Files available
| DOI
| Download (ext.)
2016 | Conference Paper | LibreCat-ID: 732 |
Peuster, Manuel, and Holger Karl. “E-State: Distributed State Management in Elastic Network Function Deployments.” In IEEE NetSoft Conference and Workshops, NetSoft 2016, Seoul, South Korea, June 6-10, 2016, 6--10, 2016. https://doi.org/10.1109/NETSOFT.2016.7502432.
LibreCat
| Files available
| DOI