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 | Mastersthesis | LibreCat-ID: 2898
@book{Weis_2016, title={Searchable Encryption}, author={Weis, Eduard}, year={2016} }
LibreCat
2016 | Conference Paper | LibreCat-ID: 2947
@inproceedings{Blömer_Günther_2016, title={Singular Curve Point Decompression Attack}, DOI={10.1109/fdtc.2015.17}, booktitle={2015 Workshop on Fault Diagnosis and Tolerance in Cryptography (FDTC)}, publisher={IEEE}, author={Blömer, Johannes and Günther, Peter}, year={2016} }
LibreCat
| DOI
2016 | Book Chapter | LibreCat-ID: 2948
@inbook{Günther_Krummel_2016, place={Cham}, title={Implementing Cryptographic Pairings on Accumulator Based Smart Card Architectures}, DOI={10.1007/978-3-319-32859-1_13}, booktitle={Mathematical Aspects of Computer and Information Sciences}, publisher={Springer International Publishing}, author={Günther, Peter and Krummel, Volker}, year={2016}, pages={151–165} }
LibreCat
| DOI
2016 | Book Chapter | LibreCat-ID: 2968
@inbook{Blömer_Lammersen_Schmidt_Sohler_2016, place={Cham}, title={Theoretical Analysis of the k-Means Algorithm – A Survey}, DOI={10.1007/978-3-319-49487-6_3}, booktitle={Algorithm Engineering}, publisher={Springer International Publishing}, author={Blömer, Johannes and Lammersen, Christiane and Schmidt, Melanie and Sohler, Christian}, year={2016}, pages={81–116} }
LibreCat
| DOI
2016 | Preprint | LibreCat-ID: 2969 | 
@article{Blömer_Brauer_Bujna_2016, title={Hard-Clustering with Gaussian Mixture Models}, publisher={Computing Research Repository}, author={Blömer, Johannes and Brauer, Sascha and Bujna, Kathrin}, year={2016} }
LibreCat
| Download (ext.)
2016 | Book Chapter | LibreCat-ID: 2970
@inbook{Blömer_Bujna_2016, place={Cham}, title={Adaptive Seeding for Gaussian Mixture Models}, DOI={10.1007/978-3-319-31750-2_24}, booktitle={Advances in Knowledge Discovery and Data Mining}, publisher={Springer International Publishing}, author={Blömer, Johannes and Bujna, Kathrin}, year={2016}, pages={296–308} }
LibreCat
| DOI
2016 | Report | LibreCat-ID: 2971
@book{Blömer_Günther_2016, title={Effizienz und Sicherheit paarungsbasierter Kryptographie}, publisher={Tagungsband des 26. Fraunhofer SIT Smartcard-Workshops}, author={Blömer, Johannes and Günther, Peter}, year={2016} }
LibreCat
2016 | Journal Article | LibreCat-ID: 3112
@article{Hofheinz_Jager_2016, title={Tightly secure signatures and public-key encryption}, DOI={10.1007/s10623-015-0062-x}, number={1}, journal={Des. Codes Cryptography}, author={Hofheinz, Dennis and Jager, Tibor}, year={2016}, pages={29--61} }
LibreCat
| DOI
2016 | Journal Article | LibreCat-ID: 3113
@article{Heuer_Jager_Schäge_Kiltz_2016, title={Selective opening security of practical public-key encryption schemes}, DOI={10.1049/iet-ifs.2015.0507}, number={6}, journal={IET Information Security}, author={Heuer, Felix and Jager, Tibor and Schäge, Sven and Kiltz, Eike}, year={2016}, pages={304--318} }
LibreCat
| DOI
2016 | Journal Article | LibreCat-ID: 3114
@article{Jager_Rupp_2016, title={Black-Box Accumulation: Collecting Incentives in a Privacy-Preserving Way}, number={3}, journal={PoPETs}, author={Jager, Tibor and Rupp, Andy}, year={2016}, pages={62--82} }
LibreCat
2016 | Conference Paper | LibreCat-ID: 3115
@inproceedings{Hofheinz_Jager_Khurana_Sahai_Waters_Zhandry_2016, title={How to Generate and Use Universal Samplers}, DOI={10.1007/978-3-662-53890-6_24}, booktitle={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}, author={Hofheinz, Dennis and Jager, Tibor and Khurana, Dakshita and Sahai, Amit and Waters, Brent and Zhandry, Mark}, year={2016}, pages={715--744} }
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 3116
@inproceedings{Horst_Grothe_Jager_Schwenk_2016, title={Breaking PPTP VPNs via RADIUS Encryption}, DOI={10.1007/978-3-319-48965-0_10}, booktitle={Cryptology and Network Security - 15th International Conference, CANS 2016, Milan, Italy, November 14-16, 2016, Proceedings}, author={Horst, Matthias and Grothe, Martin and Jager, Tibor and Schwenk, Jörg}, year={2016}, pages={159--175} }
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 3117
@inproceedings{Bader_Jager_Li_Schäge_2016, title={On the Impossibility of Tight Cryptographic Reductions}, DOI={10.1007/978-3-662-49896-5_10}, booktitle={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}, author={Bader, Christoph and Jager, Tibor and Li, Yong and Schäge, Sven}, year={2016}, pages={273--304} }
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 3118
@inproceedings{Hofheinz_Jager_Rupp_2016, title={Public-Key Encryption with Simulation-Based Selective-Opening Security and Compact Ciphertexts}, DOI={10.1007/978-3-662-53644-5_6}, booktitle={Theory of Cryptography - 14th International Conference, TCC 2016-B, Beijing, China, October 31 - November 3, 2016, Proceedings, Part II}, author={Hofheinz, Dennis and Jager, Tibor and Rupp, Andy}, year={2016}, pages={146--168} }
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 3119
@inproceedings{Hofheinz_Jager_2016, title={Verifiable Random Functions from Standard Assumptions}, DOI={10.1007/978-3-662-49096-9_14}, booktitle={Theory of Cryptography - 13th International Conference, TCC 2016-A, Tel Aviv, Israel, January 10-13, 2016, Proceedings, Part I}, author={Hofheinz, Dennis and Jager, Tibor}, year={2016}, pages={336--362} }
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 3157
@inproceedings{Beringer_Wehrheim_2016, series={Lecture Notes in Computer Science}, title={Verification of AUTOSAR Software Architectures with Timed Automata}, DOI={10.1007/978-3-319-45943-1_13}, booktitle={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}, author={Beringer, Steffen and Wehrheim, Heike}, editor={H. ter Beek, Maurice and Gnesi, Stefania and Knapp, AlexanderEditors}, year={2016}, pages={189--204}, collection={Lecture Notes in Computer Science} }
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 3158
@inproceedings{Travkin_Wehrheim_2016, series={Lecture Notes in Computer Science}, title={Verification of Concurrent Programs on Weak Memory Models}, DOI={10.1007/978-3-319-46750-4_1}, booktitle={Theoretical Aspects of Computing - {ICTAC} 2016 - 13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings}, author={Travkin, Oleg and Wehrheim, Heike}, editor={Sampaio, Augusto and Wang, FarnEditors}, year={2016}, pages={3--24}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 3159
@inproceedings{Schellhorn_Travkin_Wehrheim_2016, series={Lecture Notes in Computer Science}, title={Towards a Thread-Local Proof Technique for Starvation Freedom}, DOI={10.1007/978-3-319-33693-0_13}, booktitle={Integrated Formal Methods - 12th International Conference, {IFM} 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings}, author={Schellhorn, Gerhard and Travkin, Oleg and Wehrheim, Heike}, editor={Huisman, MariekeEditor}, year={2016}, pages={193--209}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 3160
@inproceedings{Doherty_Dongol_Derrick_Schellhorn_Wehrheim_2016, series={LIPIcs}, title={Proving Opacity of a Pessimistic {STM}}, DOI={10.4230/LIPIcs.OPODIS.2016.35}, booktitle={20th International Conference on Principles of Distributed Systems, {OPODIS} 2016, December 13-16, 2016, Madrid, Spain}, author={Doherty, Simon and Dongol, Brijesh and Derrick, John and Schellhorn, Gerhard and Wehrheim, Heike}, editor={Fatourou, Panagiota and Jim{\’{e}}nez, Ernesto and Pedone, FernandoEditors}, year={2016}, pages={35:1--35:17}, collection={LIPIcs} }
LibreCat
| DOI
2016 | Journal Article | LibreCat-ID: 3161
@article{Isenberg_Jakobs_Pauck_Wehrheim_2016, title={Deriving approximation tolerance constraints from verification runs}, journal={CoRR}, author={Isenberg, Tobias and Jakobs, Marie{-}Christine and Pauck, Felix and Wehrheim, Heike}, year={2016} }
LibreCat
2016 | Mastersthesis | LibreCat-ID: 210
@book{Leder_2016, title={Congestion Games with Mixed Objectives}, publisher={Universität Paderborn}, author={Leder, Lennart}, year={2016} }
LibreCat
2016 | Bachelorsthesis | LibreCat-ID: 213
@book{Porzenheim_2016, title={Comparison of different Definitions of Chosen-Ciphertext Security in Encryption schemes}, publisher={Universität Paderborn}, author={Porzenheim, Laurens}, year={2016} }
LibreCat
2016 | Bachelorsthesis | LibreCat-ID: 214
@book{Bemmann_2016, title={Commitment Schemes - Definitions, Variants, and Security}, publisher={Universität Paderborn}, author={Bemmann, Kai Sören}, year={2016} }
LibreCat
2016 | Conference Paper | LibreCat-ID: 215
@inproceedings{Drees_Gmyr_Scheideler_2016, title={Churn- and DoS-resistant Overlay Networks Based on Network Reconfiguration}, DOI={10.1145/2935764.2935783}, booktitle={Proceedings of the 28th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA)}, author={Drees, Maximilian and Gmyr, Robert and Scheideler, Christian}, year={2016}, pages={417--427} }
LibreCat
| Files available
| DOI
2016 | Journal Article | LibreCat-ID: 175
@article{Walther_Wehrheim_2016, title={On-The-Fly Construction of Provably Correct Service Compositions - Templates and Proofs}, DOI={10.1016/j.scico.2016.04.002}, journal={Science of Computer Programming}, publisher={Elsevier}, author={Walther, Sven and Wehrheim, Heike}, year={2016}, pages={2--23} }
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 17655
@inproceedings{Polevoy_de Weerdt_Jonker_2016, series={Frontiers in Artificial Intelligence and Applications}, title={The Game of Reciprocation Habits}, volume={Volume 285: ECAI 2016}, DOI={10.3233/978-1-61499-672-9-417}, booktitle={Proceedings of the 2016 European Conference on Artificial Intelligence}, author={Polevoy, Gleb and de Weerdt, M.M. and Jonker, C.M.}, year={2016}, pages={417–425}, collection={Frontiers in Artificial Intelligence and Applications} }
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 17656
@inproceedings{Polevoy_de Weerdt_Jonker_2016, place={Richland, SC}, series={AAMAS ’16}, title={The Convergence of Reciprocation}, booktitle={Proceedings of the 2016 International Conference on Autonomous Agents and Multiagent Systems}, publisher={International Foundation for Autonomous Agents and Multiagent Systems}, author={Polevoy, Gleb and de Weerdt, Mathijs and Jonker, Catholijn}, year={2016}, pages={1431–1432}, collection={AAMAS ’16} }
LibreCat
2016 | Conference Paper | LibreCat-ID: 177
@inproceedings{Abu-Khzam_Li_Markarian_Meyer auf der Heide_Podlipyan_2016, series={LNCS}, title={On the Parameterized Parallel Complexity and the Vertex Cover Problem}, DOI={10.1007/978-3-319-48749-6_35}, booktitle={Proceedings of the 10th International Conference on Combinatorial Optimization and Applications (COCOA)}, author={Abu-Khzam, Faisal N. and Li, Shouwei and Markarian, Christine and Meyer auf der Heide, Friedhelm and Podlipyan, Pavel}, year={2016}, pages={477–488}, collection={LNCS} }
LibreCat
| Files available
| DOI
2016 | Special Issue | LibreCat-ID: 187
@book{Meyer auf der Heide_2016, title={Introduction to the Special Issue on SPAA 2014}, DOI={10.1145/2936716}, number={1}, journal={Transactions on Parallel Computing (TOPC)}, year={2016} }
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 19
@inproceedings{Lass_Leibenger_Sorge_2016, title={Confidentiality and Authenticity for Distributed Version Control Systems - A Mercurial Extension}, DOI={10.1109/lcn.2016.11}, booktitle={Proc. 41st Conference on Local Computer Networks (LCN)}, publisher={IEEE}, author={Lass, Michael and Leibenger, Dominik and Sorge, Christoph}, year={2016} }
LibreCat
| DOI
2016 | Journal Article | LibreCat-ID: 190
@article{Platenius_Shaker_Becker_Hüllermeier_Schäfer_2016, title={Imprecise Matching of Requirements Specifications for Software Services using Fuzzy Logic}, DOI={10.1109/TSE.2016.2632115}, number={8}, journal={IEEE Transactions on Software Engineering (TSE), presented at ICSE 2017}, publisher={IEEE}, author={Platenius, Marie Christin and Shaker, Ammar and Becker, Matthias and Hüllermeier, Eyke and Schäfer, Wilhelm}, year={2016}, pages={739–759} }
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 2367
@inproceedings{Blömer_Brauer_Bujna_2016, title={A Theoretical Analysis of the Fuzzy K-Means Problem}, DOI={10.1109/icdm.2016.0094}, booktitle={2016 IEEE 16th International Conference on Data Mining (ICDM)}, publisher={IEEE}, author={Blömer, Johannes and Brauer, Sascha and Bujna, Kathrin}, year={2016}, pages={805–810} }
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 20556
@inproceedings{Bodden_I Pun_Steffen_Stolz_Wickert_2016, title={Information Flow Analysis for Go}, DOI={10.1007/978-3-319-47166-2_30}, booktitle={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}}, author={Bodden, Eric and I Pun, Ka and Steffen, Martin and Stolz, Volker and Wickert, Anna-Katharina}, year={2016}, pages={431–445} }
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 207
@inproceedings{Mäcker_Malatyali_Meyer auf der Heide_Riechers_2016, title={Cost-efficient Scheduling on Machines from the Cloud}, DOI={10.1007/978-3-319-48749-6_42}, booktitle={Proceedings of the 10th Annual International Conference on Combinatorial Optimization and Applications (COCOA)}, author={Mäcker, Alexander and Malatyali, Manuel and Meyer auf der Heide, Friedhelm and Riechers, Sören}, year={2016}, pages={578--592} }
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 20716
@inproceedings{Bodden_Eichberg_I Pun_Steffen_Stolz_Wickert_2016, title={Don’t let data Go astray---A Context-Sensitive Taint Analysis for Concurrent Programs in Go}, booktitle={Nordic Workshop on Programming Theory (NWPT’16)}, author={Bodden, Eric and Eichberg, Michael and I Pun, Ka and Steffen, Martin and Stolz, Volker and Wickert, Anna-Katharina}, year={2016} }
LibreCat
| Download (ext.)
2016 | Report | LibreCat-ID: 20717
@book{Nguyen Quang Do_Ali_Livshits_Bodden_Smith_Murphy-Hill_2016, title={Just-in-Time Static Analysis}, DOI={http://dx.doi.org/10.7939/DVN/10859}, author={Nguyen Quang Do, Lisa and Ali, Karim and Livshits, Benjamin and Bodden, Eric and Smith, Justin and Murphy-Hill, Emerson}, year={2016} }
LibreCat
| DOI
| Download (ext.)
2016 | Journal Article | LibreCat-ID: 20718
@article{Rasthofer_Arzt_Bodden_Miltenberger_2016, title={Harvester - Vollautomatische Extraktion von Laufzeitwerten aus obfuskierten Android-Applikationen}, DOI={https://www.springerprofessional.de/en/datenschutz-und-datensicherheit-dud-11-2016/10866536}, journal={Datenschutz und Datensicherheit}, author={Rasthofer, Siegfried and Arzt, Steven and Bodden, Eric and Miltenberger, Marc}, year={2016}, pages={718–722} }
LibreCat
| DOI
| Download (ext.)
2016 | Conference Paper | LibreCat-ID: 20719
@inproceedings{Holzinger_Triller_Bartel_Bodden_2016, series={CCS ’16}, title={An In-Depth Study of More Than Ten Years of Java Exploitation}, DOI={http://doi.acm.org/10.1145/2976749.2978361}, booktitle={Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security}, author={Holzinger, Philipp and Triller, Stefan and Bartel, Alexandre and Bodden, Eric}, year={2016}, pages={779–790}, collection={CCS ’16} }
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 20720
@inproceedings{Follner_Bartel_Peng_Chang_Ispoglou_Payer_Bodden_2016, title={PSHAPE: Automatically Combining Gadgets for Arbitrary Method Execution}, booktitle={International Workshop on Security and Trust Management (STM)}, author={Follner, Andreas and Bartel, Alexandre and Peng, Hui and Chang, Yu-Chen and Ispoglou, Kyriakos and Payer, Mathias and Bodden, Eric}, year={2016}, pages={212–228} }
LibreCat
| Download (ext.)
2016 | Conference Paper | LibreCat-ID: 20721
@inproceedings{Nguyen Quang Do_Eichberg_Bodden_2016, series={SOAP 2016}, title={Toward an Automated Benchmark Management System}, booktitle={Proceedings of the 5th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis}, author={Nguyen Quang Do, Lisa and Eichberg, Michael and Bodden, Eric}, year={2016}, pages={13–17}, collection={SOAP 2016} }
LibreCat
| Download (ext.)
2016 | Conference Paper | LibreCat-ID: 20722
@inproceedings{Arzt_Kussmaul_Bodden_2016, series={SOAP 2016}, title={Towards Cross-Platform Cross-Language Analysis with Soot}, booktitle={Proceedings of the 5th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis}, author={Arzt, Steven and Kussmaul, Tobias and Bodden, Eric}, year={2016}, pages={1–6}, collection={SOAP 2016} }
LibreCat
| Download (ext.)
2016 | Journal Article | LibreCat-ID: 20724
@article{Follner_Bodden_2016, title={ROPocop — Dynamic mitigation of code-reuse attacks}, volume={29}, DOI={http://dx.doi.org/10.1016/j.jisa.2016.01.002}, journal={Journal of Information Security and Applications }, author={Follner, Andreas and Bodden, Eric}, year={2016}, pages={16–26} }
LibreCat
| DOI
| Download (ext.)
2016 | Conference Paper | LibreCat-ID: 20725
@inproceedings{Follner_Bartel_Bodden_2016, title={Analyzing the Gadgets - Towards a Metric to Measure Gadget Quality}, booktitle={International Symposium on Engineering Secure Software and Systems (ESSoS)}, author={Follner, Andreas and Bartel, Alexandre and Bodden, Eric}, year={2016} }
LibreCat
| Download (ext.)
2016 | Conference Paper | LibreCat-ID: 20726
@inproceedings{Falzon_Bodden_2016, place={Berlin, Heidelberg}, title={Towards a Comprehensive Model of Isolation for Mitigating Illicit Channels}, DOI={10.1007/978-3-662-49635-0_7}, booktitle={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}, publisher={Springer Berlin Heidelberg}, author={Falzon, Kevin and Bodden, Eric}, editor={Piessens, Frank and Vigan’o, Luca}, year={2016}, pages={116–138} }
LibreCat
| DOI
| Download (ext.)
2016 | Conference Paper | LibreCat-ID: 20727
@inproceedings{Rasthofer_Arzt_Miltenberger_Bodden_2016, title={Harvesting Runtime Values in Android Applications That Feature Anti-Analysis Techniques}, booktitle={Network and Distributed System Security Symposium (NDSS)}, author={Rasthofer, Siegfried and Arzt, Steven and Miltenberger, Marc and Bodden, Eric}, year={2016} }
LibreCat
| Download (ext.)
2016 | Conference Paper | LibreCat-ID: 20728
@inproceedings{Nadi_Krüger_Mezini_Bodden_2016, title={Jumping Through Hoops: Why do Java Developers Struggle With Cryptography APIs?}, booktitle={International Conference for Software Engineering (ICSE)}, author={Nadi, Sarah and Krüger, Stefan and Mezini, Mira and Bodden, Eric}, year={2016}, pages={935–946} }
LibreCat
| Download (ext.)
2016 | Conference Paper | LibreCat-ID: 20729
@inproceedings{Arzt_Bodden_2016, title={StubDroid: Automatic Inference of Precise Data-flow Summaries for the Android Framework}, booktitle={International Conference for Software Engineering (ICSE)}, author={Arzt, Steven and Bodden, Eric}, year={2016} }
LibreCat
| Download (ext.)
2016 | Conference Paper | LibreCat-ID: 20730
@inproceedings{Eling_Rasthofer_Kolhagen_Bodden_Buxmann_2016, title={Investigating Users’ Reaction to Fine-Grained Data Requests: A Market Experiment}, DOI={10.1109/HICSS.2016.458}, booktitle={2016 49th Hawaii International Conference on System Sciences (HICSS)}, author={Eling, N. and Rasthofer, S. and Kolhagen, M. and Bodden, Eric and Buxmann, P.}, year={2016}, pages={3666–3675} }
LibreCat
| DOI
| Download (ext.)
2016 | Conference Paper | LibreCat-ID: 208
@inproceedings{Blömer_Liske_2016, series={LNCS}, title={Construction of Fully CCA-Secure Predicate Encryptions from Pair Encoding Schemes}, DOI={10.1007/978-3-319-29485-8_25}, booktitle={Proceedings of the CT-RSA 2016}, author={Blömer, Johannes and Liske, Gennadij}, year={2016}, pages={431–447}, collection={LNCS} }
LibreCat
| Files available
| DOI
2016 | Report | LibreCat-ID: 20822
@book{Dziwok_Pohlmann_Piskachev_Schubert_Thiele_Gerking_2016, place={Zukunftsmeile 1, 33102 Paderborn, Germany}, title={The MechatronicUML Design Method: Process and Language for Platform-Independent Modeling}, author={Dziwok, Stefan and Pohlmann, Uwe and Piskachev, Goran and Schubert, David and Thiele, Sebastian and Gerking, Christopher}, year={2016} }
LibreCat
2016 | Report | LibreCat-ID: 20823
@book{Holtmann_Fockel_Koch_Schmelter_Brenner_Bernijazov_Sander_2016, title={The MechatronicUML Requirements Engineering Method: Process and Language}, DOI={10.13140/RG.2.2.33223.29606}, author={Holtmann, Jörg and Fockel, Markus and Koch, Thorsten and Schmelter, David and Brenner, Christian and Bernijazov, Ruslan and Sander, Marcel}, year={2016} }
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 20825
@inproceedings{Greinert_Tschirner_Holtmann_2016, title={Anwendung von Methoden der Produktentstehung auf Basis des Systemmodells mechatronischer Systeme}, DOI={10.3139/9783446451414.008}, booktitle={Tag des Systems Engineering 2016}, publisher={Gesellschaft f{\"u}r Systems Engineering e.V.}, author={Greinert, Matthias and Tschirner, Christian and Holtmann, Jörg}, year={2016}, pages={77–86} }
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 20830
@inproceedings{Schubert_Heinzemann_Gerking_2016, title={Towards Safe Execution of Reconfigurations in Cyber-Physical Systems}, booktitle={Proceedings of the 19th international ACM Sigsoft symposium on component-based software engineering}, publisher={ACM}, author={Schubert, David and Heinzemann, Christian and Gerking, Christopher}, year={2016} }
LibreCat
2016 | Conference Paper | LibreCat-ID: 209
@inproceedings{Feldotto_Leder_Skopalik_2016, series={LNCS}, title={Congestion Games with Mixed Objectives}, DOI={10.1007/978-3-319-48749-6_47}, booktitle={Proceedings of the 10th Annual International Conference on Combinatorial Optimization and Applications (COCOA)}, author={Feldotto, Matthias and Leder, Lennart and Skopalik, Alexander}, year={2016}, pages={655--669}, collection={LNCS} }
LibreCat
| Files available
| DOI
| arXiv
2016 | Bachelorsthesis | LibreCat-ID: 18025
@book{Heuchler_2016, title={Nibbler: Implementing a Turing machine to simulate the Busy Beaver problem}, author={Heuchler, Sebastian}, year={2016} }
LibreCat
2016 | Journal Article | LibreCat-ID: 1835
@article{Schmid_Avin_Scheideler_Borokhovich_Haeupler_Lotker_2016, title={SplayNet: Towards Locally Self-Adjusting Networks}, DOI={10.1109/TNET.2015.2410313}, number={3}, journal={IEEE/ACM Trans. Netw.}, author={Schmid, Stefan and Avin, Chen and Scheideler, Christian and Borokhovich, Michael and Haeupler, Bernhard and Lotker, Zvi}, year={2016}, pages={1421--1433} }
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 1836
@inproceedings{Derakhshandeh_Gmyr_Porter_W. Richa_Scheideler_Strothmann_2016, series={Lecture Notes in Computer Science}, title={On the Runtime of Universal Coating for Programmable Matter}, volume={9818}, DOI={10.1007/978-3-319-43994-5_10}, booktitle={DNA Computing and Molecular Programming - 22nd International Conference, DNA 22, Munich, Germany, September 4-8, 2016, Proceedings}, author={Derakhshandeh, Zahra and Gmyr, Robert and Porter, Alexandra and W. Richa, Andrea and Scheideler, Christian and Strothmann, Thim Frederik}, year={2016}, pages={148--164}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 1837
@inproceedings{Derakhshandeh_Gmyr_W. Richa_Scheideler_Strothmann_2016, title={Universal Shape Formation for Programmable Matter}, DOI={10.1145/2935764.2935784}, booktitle={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}, publisher={ACM}, author={Derakhshandeh, Zahra and Gmyr, Robert and W. Richa, Andrea and Scheideler, Christian and Strothmann, Thim Frederik}, year={2016}, pages={289--299} }
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 184
@inproceedings{Melnikov_Hüllermeier_2016, series={LNCS}, title={Learning to Aggregate Using Uninorms}, DOI={10.1007/978-3-319-46227-1_47}, booktitle={Proceedings of the Joint European Conference on Machine Learning and Knowledge Discovery in Databases (ECML/PKDD 2016)}, author={Melnikov, Vitaly and Hüllermeier, Eyke}, year={2016}, pages={756–771}, collection={LNCS} }
LibreCat
| Files available
| DOI
2016 | Conference (Editor) | LibreCat-ID: 1844
@book{Scheideler_Gilbert_2016, title={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}, DOI={10.1145/2935764}, year={2016} }
LibreCat
| DOI
2016 | Book Chapter | LibreCat-ID: 1845
@inbook{W. Richa_Scheideler_2016, title={Jamming-Resistant MAC Protocols for Wireless Networks}, DOI={10.1007/978-1-4939-2864-4_593}, booktitle={Encyclopedia of Algorithms}, author={W. Richa, Andrea and Scheideler, Christian}, year={2016}, pages={999--1002} }
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 186
@inproceedings{Czech_Jakobs_Wehrheim_2016, series={Lecture Notes in Informatics}, title={Just test what you cannot verify!}, booktitle={Software Engineering 2016}, author={Czech, Mike and Jakobs, Marie-Christine and Wehrheim, Heike}, editor={Jens Knoop, Uwe ZdunEditor}, year={2016}, pages={17–18}, collection={Lecture Notes in Informatics} }
LibreCat
| Files available
2016 | Report | LibreCat-ID: 221
@book{Platenius_Josifovska_van Rooijen_Arifulina_Becker_Engels_Schäfer_2016, title={An Overview of Service Specification Language and Matching in On-The-Fly Computing (v0.3)}, publisher={Universität Paderborn}, author={Platenius, Marie Christin and Josifovska, Klementina and van Rooijen, Lorijn and Arifulina, Svetlana and Becker, Matthias and Engels, Gregor and Schäfer, Wilhelm}, year={2016} }
LibreCat
| Files available
2016 | Journal Article | LibreCat-ID: 222
@article{Wiersema_Bockhorn_Platzner_2016, title={An Architecture and Design Tool Flow for Embedding a Virtual FPGA into a Reconfigurable System-on-Chip}, DOI={10.1016/j.compeleceng.2016.04.005}, journal={Computers & Electrical Engineering}, publisher={Elsevier}, author={Wiersema, Tobias and Bockhorn, Arne and Platzner, Marco}, year={2016}, pages={112--122} }
LibreCat
| Files available
| DOI
2016 | Mastersthesis | LibreCat-ID: 223
@book{Hinnenthal_2016, title={Aggregation in Overlay Networks}, publisher={Universität Paderborn}, author={Hinnenthal, Kristian}, year={2016} }
LibreCat
| Files available
2016 | Conference Paper | LibreCat-ID: 224
@inproceedings{Krämer_Wehrheim_2016, series={LNCS}, title={A short survey on using software error localization for service compositions}, DOI={10.1007/978-3-319-44482-6_16}, booktitle={Proceedings of the 5th European Conference on Service-Oriented and Cloud Computing (ESOCC 2016)}, author={Krämer, Julia and Wehrheim, Heike}, year={2016}, pages={248--262}, collection={LNCS} }
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 226
@inproceedings{Krämer_Wehrheim_2016, series={LNCS}, title={A Formal Approach to Error Localization and Correction in Service Compositions}, DOI={10.1007/978-3-319-50230-4_35}, booktitle={Proceedings of the 1st International Workshop on Formal to Practical Software Verification and Composition (VeryComp 2016)}, author={Krämer, Julia and Wehrheim, Heike}, year={2016}, pages={445--457}, collection={LNCS} }
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 227
@inproceedings{Töws_Wehrheim_2016, series={LNCS}, title={A CEGAR Scheme for Information Flow Analysis}, DOI={10.1007/978-3-319-47846-3_29}, booktitle={Proceedings of the 18th International Conference on Formal Engineering Methods (ICFEM 2016)}, author={Töws, Manuel and Wehrheim, Heike}, year={2016}, pages={466--483}, collection={LNCS} }
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 22870
@inproceedings{Röltgen_Anacker_Dumitrescu_2016, title={Einsatz- und Nutzenpotentiale von Augmented Reality im Kontext von Industrie 4.0}, booktitle={VDE Kongress 2016 Internet of Things, Mannheim, Deutschland, 7. - 8. Nov. 2016}, author={Röltgen, Daniel and Anacker, Harald and Dumitrescu, Roman}, year={2016} }
LibreCat
2016 | Conference Paper | LibreCat-ID: 22871
@inproceedings{Falkowski_Fechtelpeter_Peitz_Kühn_Dumitrescu_2016, title={ Einsatz von Leuchten zur Standortbestimmung in der Produktion}, booktitle={VDE Kongress 2016, 7. - 8. Nov. 2016}, author={Falkowski, Tommy and Fechtelpeter, Christian and Peitz, Christoph and Kühn, Arno and Dumitrescu, Roman}, year={2016} }
LibreCat
2016 | Conference Paper | LibreCat-ID: 22872
@inproceedings{Westermann_Anacker_Dumitrescu_Czaja_2016, title={Reference Architecture and Maturity Levels for Cyber-Physical Systems}, booktitle={2nd IEEE International Symposium on Systems Engineering 2016, Edinburgh, Scotland, 4. - 5. Okt. 2016}, author={Westermann, Matthias and Anacker, Harald and Dumitrescu, Roman and Czaja, Anja Maria}, year={2016} }
LibreCat
2016 | Conference Paper | LibreCat-ID: 22873
@inproceedings{Fechtelpeter_Jürgenhake_Dumitrescu_Mager_Fritz_Grötzinger_Müller_Wild_Zimmermann_2016, title={Reliability in MID - barriers, potentials, fields of action}, booktitle={12th International Congress on Molded Interconnect Devices, Conference Proceedings , 28. - 30. Sep. 2016}, author={Fechtelpeter, Christian and Jürgenhake, Christoph and Dumitrescu, Roman and Mager, Thomas and Fritz, Karl-Peter and Grötzinger, Tobias and Müller, Hagen and Wild, Paul and Zimmermann, Andre}, year={2016} }
LibreCat
2016 | Conference Paper | LibreCat-ID: 22874
@inproceedings{Jürgenhake_Falkowski_Dumitrescu_2016, title={Classification of MID-prototypes}, booktitle={12th International Congress on Molded Interconnect Devices, Würzburg, 28. - 30. Sep. 2016}, author={Jürgenhake, Christoph and Falkowski, Tommy and Dumitrescu, Roman}, year={2016} }
LibreCat
2016 | Conference Paper | LibreCat-ID: 22876
@inproceedings{Jürgenhake_Dumitrescu_2016, title={Systematic for function-oriented development of spatial integrated circuit carriers}, booktitle={International Design Conference - Design 2016, 16. - 19. Mai 2016}, author={Jürgenhake, Christoph and Dumitrescu, Roman}, year={2016} }
LibreCat
2016 | Conference Paper | LibreCat-ID: 22878
@inproceedings{Kaiser_Bremer_Dumitrescu_2016, title={Exhaustiveness of Systems Structures in Model-Based Systems Engineering for Mechatronic Systems}, booktitle={Sysint - 3rd International Conference on System-Integrated Intelligence: New Challenges for Product and Production Engineering}, author={Kaiser, Lydia and Bremer, Christian and Dumitrescu, Roman}, year={2016} }
LibreCat
2016 | Conference Paper | LibreCat-ID: 22879
@inproceedings{Jürgenhake_Falkowski_Fechtelpeter_Dumitrescu_2016, title={ Function-based feasibility study and benchmark for MID concepts}, booktitle={Sysint - 3rd International Conference on System-Integrated Intelligence: New Challenges for Product and Production Engineering}, author={Jürgenhake, Christoph and Falkowski, Tommy and Fechtelpeter, Christian and Dumitrescu, Roman}, year={2016} }
LibreCat
2016 | Conference Paper | LibreCat-ID: 22880
@inproceedings{Bretz_Tschirner_Dumitrescu_2016, place={Edinburgh, Scotland}, title={ A concept for managing information in early stages of product engineering by integrating MBSE and workflow management systems}, booktitle={IEEE ISSE: Proceedings of 2016 International Symposium on Systems Engineering}, author={Bretz, Lukas Helmut and Tschirner, Christian and Dumitrescu, Roman}, year={2016}, pages={143–150} }
LibreCat
2016 | Conference Paper | LibreCat-ID: 217
@inproceedings{Schwichtenberg_2016, title={Automatized Derivation of Comprehensive Specifications for Black-box Services}, DOI={10.1145/2889160.2889271}, booktitle={Proceedings of the 38th International Conference on Software Engineering Companion (ICSE)}, author={Schwichtenberg, Simon}, year={2016}, pages={815–818} }
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 21728
@inproceedings{Heppner_Dransfeld_Domik_2016, place={Bonn}, title={Adding atmospheric scattering and transparency to a deferred rendering pipeline for camera based ADAS tests}, booktitle={Informatik 2016}, publisher={Gesellschaft für Informatik e.V.}, author={Heppner, Sabrina and Dransfeld, Marius and Domik, Gitta}, editor={Pinzger, Martin and Mayr, HeinrichEditors}, year={2016}, pages={1591–1604} }
LibreCat
2016 | Conference Paper | LibreCat-ID: 21729
@inproceedings{Heppner_Dransfeld_Domik_2016, title={A Deferred Rendering Pipeline Including a Global Illumination Model for Atmospheric Scattering and Transparency}, DOI={10.2312/vmv.20161458}, booktitle={Vision, Modeling & Visualization}, publisher={The Eurographics Association}, author={Heppner, S. and Dransfeld, M. and Domik, Gitta}, editor={Hullin, M. and Stamminger, M. and Weinkauf, T.Editors}, year={2016} }
LibreCat
| DOI
2016 | Journal Article | LibreCat-ID: 21730
@article{Yanaka_Yamanouchi_2016, title={3D Image Display Courses for Information Media Students}, volume={36}, DOI={10.1109/MCG.2016.36}, number={2}, journal={IEEE Computer Graphics and Applications}, publisher={Editors G. Domik and G. S. Owen}, author={Yanaka, K. and Yamanouchi, T.}, year={2016}, pages={68–73} }
LibreCat
| DOI
2016 | Journal Article | LibreCat-ID: 21731
@article{Santos_Ferreira_Dias_2016, title={Using Heuristic Evaluation to Foster Visualization Analysis and Design Skills}, volume={36}, DOI={10.1109/MCG.2016.7}, number={1}, journal={IEEE Computer Graphics and Applications}, publisher={IEEE}, author={Santos, B. S. and Ferreira, B. Q. and Dias, P.}, year={2016}, pages={86–90} }
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 219
@inproceedings{Jazayeri_2016, place={Copenhagen, Denmark}, title={Architectural Management of On-The-Fly Computing Markets}, DOI={10.1145/2993412.3010821}, booktitle={Proceedings of the 10th European Conference on Software Architecture (ECSA Workshops)}, publisher={ACM}, author={Jazayeri, Bahar}, year={2016}, pages={42} }
LibreCat
| Files available
| DOI
2016 | Journal Article | LibreCat-ID: 21937
@article{Nüske_Schneider_Vitalini_Noé_2016, title={Variational tensor approach for approximating the rare-event kinetics of macromolecular systems}, DOI={10.1063/1.4940774}, number={054105}, journal={The Journal of Chemical Physics}, author={Nüske, Feliks and Schneider, Reinhold and Vitalini, Francesca and Noé, Frank}, year={2016} }
LibreCat
| DOI
2016 | Dissertation | LibreCat-ID: 220
@book{Keller_2016, title={Application Deployment at Distributed Clouds}, publisher={Universität Paderborn}, author={Keller, Matthias}, year={2016} }
LibreCat
| Files available
2016 | Conference (Editor) | LibreCat-ID: 7756
@book{Hess _Fischer_2016, place={Aachen}, title={Mensch und Computer 2016 - Usability Professionals. Tagungsband}, publisher={Gesellschaft für Informatik e.V. und German UPA e.V.}, year={2016} }
LibreCat
2016 | Conference (Editor) | LibreCat-ID: 7757
@book{Martins Freivalds_Engels_Catania_2016, series={LNCS}, title={SOFSEM 2016: Theory and Practice of Computer Science}, publisher={Springer}, year={2016}, collection={LNCS} }
LibreCat
2016 | Conference (Editor) | LibreCat-ID: 7758
@book{Van Gorp_Engels_2016, title={Theory and Practice of Model Transformations - 9th International Conference ICMT 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-5, 2016, Proceedings}, volume={9765}, publisher={Springer}, year={2016} }
LibreCat
2016 | Conference (Editor) | LibreCat-ID: 7759
@book{Martins Freivalds_Engels_Catania_Spanek_2016, series={LNCS}, title={SOFSEM 2016: Theory and Practice of Computer Science - Proceedings Volume II}, publisher={Springer}, year={2016}, collection={LNCS} }
LibreCat
2016 | Conference Paper | LibreCat-ID: 7765 |
@inproceedings{Schumacher_2016, place={Münster}, title={Erkunden mathematischer Strukturen anstatt Interpretation in Modellen – Ein innermathematischer Zugang zu negativen Zahlen}, booktitle={Beiträge zum Mathematikunterricht 2016}, publisher={WTM-Verlag}, author={Schumacher, Jan}, editor={Institut für Mathematik und Informatik Heidelberg}Editor}, year={2016} }
LibreCat
| Download (ext.)
2016 | Conference Paper | LibreCat-ID: 8070
@inproceedings{Fazal-Baqaie_Kluthe_2016, title={Automated Quality Analysis of Software Engineering Method Models}, booktitle={Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development}, publisher={SCITEPRESS}, author={Fazal-Baqaie, Masud and Kluthe, Frank}, year={2016} }
LibreCat
2016 | Conference Paper | LibreCat-ID: 8071
@inproceedings{Fazal-Baqaie_Güldali_Grieger_2016, series={Lecture Notes in Informatics (LNI)}, title={Ganzheitliches Qualitätsmanagement in agilen Groß- Projekten}, booktitle={Proceedings of Projektmanagement und Vorgehensmodelle 2016}, publisher={Köllen Druck+Verlag GmbH, Bonn}, author={Fazal-Baqaie, Masud and Güldali, Baris and Grieger, Marvin}, year={2016}, pages={109–120}, collection={Lecture Notes in Informatics (LNI)} }
LibreCat
2016 | Conference Paper | LibreCat-ID: 8072
@inproceedings{Grieger_Fazal-Baqaie_Engels_Klenke_2016, series={LNCS}, title={Concept-Based Engineering of Situation-Specific Migration Methods}, booktitle={Proceedings of the 15th International Conference on Software Reuse (ICSR)}, publisher={Springer}, author={Grieger, Marvin and Fazal-Baqaie, Masud and Engels, Gregor and Klenke, Markus}, year={2016}, pages={199–214}, collection={LNCS} }
LibreCat
| Download (ext.)
2016 | Conference Paper | LibreCat-ID: 5743
@inproceedings{Yigitbas_Kern_Urban_Sauer_2016, title={Multi-device UI Development for Task-Continuous Cross-Channel Web Applications}, DOI={10.1007/978-3-319-46963-8\_10}, booktitle={Current Trends in Web Engineering - {ICWE} 2016 International Workshops, DUI, TELERISE, SoWeMine, and Liquid Web, Lugano, Switzerland, June 6-9, 2016, Revised Selected Papers}, author={Yigitbas, Enes and Kern, Thomas and Urban, Patrick and Sauer, Stefan}, year={2016}, pages={114–127} }
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 5744
@inproceedings{Yigitbas_Sauer_2016, title={Engineering Context-Adaptive UIs for Task-Continuous Cross-Channel Applications}, DOI={10.1007/978-3-319-44902-9\_18}, booktitle={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}, author={Yigitbas, Enes and Sauer, Stefan}, year={2016}, pages={281–300} }
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 5745
@inproceedings{Yigitbas_Sauer_2016, title={Customized UI Development Through Context-Sensitive GUI Patterns}, DOI={10.18420/muc2016-ws05-0004}, booktitle={Mensch und Computer 2016 - Workshopband, Aachen, Germany, September 4-7, 2016}, author={Yigitbas, Enes and Sauer, Stefan}, year={2016} }
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 5746
@inproceedings{Fischer_Rose_Yigitbas_Forbrig_2016, title={Towards a Task Driven Approach Enabling Continuous User Requirements Engineering}, booktitle={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.}, author={Fischer, Holger Gerhard and Rose, Mirko and Yigitbas, Enes and Forbrig, Peter}, year={2016} }
LibreCat
2016 | Journal Article | LibreCat-ID: 5759
@article{Jovanovikj_Grieger_Yigitbas_2016, title={Towards a Model-Driven Method for Reusing Test Cases in Software Migration Projects}, volume={36}, number={2}, journal={Softwaretechnik-Trends, Proceedings of the 18th Workshop Software-Reengineering & Evolution (WSRE) & 7th Workshop Design for Future (DFF)}, author={Jovanovikj, Ivan and Grieger, Marvin and Yigitbas, Enes}, year={2016}, pages={65–66} }
LibreCat
2016 | Journal Article | LibreCat-ID: 5762
@article{Strothmann_2016, title={The Impact of Communication Patterns on Distributed Self-Adjusting Binary Search Tree}, volume={20}, DOI={10.7155/jgaa.00385}, number={1}, journal={Journal of Graph Algorithms and Applications}, publisher={Journal of Graph Algorithms and Applications}, author={Strothmann, Thim Frederik}, year={2016}, pages={79–100} }
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 5812
@inproceedings{Boschmann_Agne_Witschen_Thombansen_Kraus_Platzner_2016, title={FPGA-based acceleration of high density myoelectric signal processing}, DOI={10.1109/reconfig.2015.7393312}, booktitle={2015 International Conference on ReConFigurable Computing and FPGAs (ReConFig)}, publisher={IEEE}, author={Boschmann, Alexander and Agne, Andreas and Witschen, Linus and Thombansen, Georg and Kraus, Florian and Platzner, Marco}, year={2016} }
LibreCat
| DOI