@article{21943, author = {{Hruska, Eugen and Abella, Jayvee R. and Nüske, Feliks and Kavraki, Lydia E. and Clementi, Cecilia}}, issn = {{0021-9606}}, journal = {{The Journal of Chemical Physics}}, title = {{{Quantitative comparison of adaptive sampling methods for protein dynamics}}}, doi = {{10.1063/1.5053582}}, year = {{2018}}, } @inproceedings{7766, author = {{Schumacher, Jan}}, booktitle = {{Beiträge zum Mathematikunterricht 2018}}, publisher = {{WTM-Verlag}}, title = {{{Semiotische Analyse von Sinnkonstruktionsprozessen bei einem innermathematischen Zugang zum Erlernen negativer Zahlen}}}, year = {{2018}}, } @inproceedings{8085, author = {{Obeng-Akrofi, George and Oppong Akowuah, Joseph and Opoku-Agyemang, Gifty and Nkrumah, Isaac and Donkor, Micheal K. E. and Tamakloe, Reuben Y. and Ampong, Francis K. and Klaus, Tobias and Krauter, Stefan and Waldhoff, Maike and Olenberg, Alexander and Kenig, Eugeny}}, booktitle = {{Proceedings of SWC2017/SHC2017}}, isbn = {{9783981465976}}, publisher = {{International Solar Energy Society}}, title = {{{An Automated Solar-Biomass Hybrid Dryer System for Rural Communities in Ghana}}}, doi = {{10.18086/swc.2017.26.10}}, year = {{2018}}, } @misc{5693, author = {{Graf, Helena}}, publisher = {{Universität Paderborn}}, title = {{{Ranking of Classification Algorithms in AutoML}}}, year = {{2018}}, } @article{5735, author = {{Anjorin, Anthony and Yigitbas, Enes and Leblebici, Erhan and Schürr, Andy and Lauder, Marius and Witte, Martin}}, journal = {{Programming Journal}}, number = {{3}}, pages = {{7}}, title = {{{Description Languages for Consistency Management Scenarios Based on Examples from the Industry Automation Domain}}}, doi = {{10.22152/programming-journal.org/2018/2/7}}, volume = {{2}}, year = {{2018}}, } @article{5736, author = {{Jovanovikj, Ivan and Yigitbas, Enes and Sauer, Stefan}}, journal = {{Joint Proceedings of the Workshops at Modellierung 2018 co-located with Modellierung 2018, Braunschweig, Germany, February 21, 2018.}}, location = {{Braunschweig}}, pages = {{153--162}}, title = {{{Test Case Migration: A Reference Process Model and its Instantiation in an Industrial Context}}}, year = {{2018}}, } @inproceedings{5737, author = {{Yigitbas, Enes and Anjorin, Anthony and Leblebici, Erhan and Grieger, Marvin}}, booktitle = {{Modelling Foundations and Applications - 14th European Conference, {ECMFA} 2018, Held as Part of {STAF} 2018, Toulouse, France, June 26-28, 2018, Proceedings}}, pages = {{97--114}}, title = {{{Bidirectional Method Patterns for Language Editor Migration}}}, doi = {{10.1007/978-3-319-92997-2\_7}}, year = {{2018}}, } @inproceedings{5738, author = {{Anjorin, Anthony and Yigitbas, Enes and Kaindl, Hermann and Popp, Roman}}, booktitle = {{Conference Companion of the 2nd International Conference on Art, Science, and Engineering of Programming, Nice, France, April 09-12, 2018}}, pages = {{18--20}}, title = {{{On the development of consistent user interfaces (extended abstract)}}}, doi = {{10.1145/3191697.3191716}}, year = {{2018}}, } @article{5757, author = {{Jovanovikj, Ivan and Yigitbas, Enes and Anjorin, Anthony and Sauer, Stefan}}, journal = {{Softwaretechnik-Trends, Proceedings of the 20th Workshop Software-Reengineering & Evolution (WSRE) & 9th Workshop Design for Future (DFF)}}, location = {{Bad Honnef}}, title = {{{Who Guards the Guards? On the Validation of Test Case Migration}}}, year = {{2018}}, } @article{5758, author = {{Jovanovikj, Ivan and Yigitbas, Enes and Sauer, Stefan}}, journal = {{Softwaretechnik-Trends, Proceedings of the 20th Workshop Software-Reengineering & Evolution (WSRE) & 9th Workshop Design for Future (DFF)}}, location = {{Bad Honnef}}, title = {{{Model-based UI Modernization: From Legacy UIs to Self-adaptive UIs}}}, year = {{2018}}, } @inproceedings{5764, author = {{Gmyr, Robert and Hinnenthal, Kristian and Kostitsyna, Irina and Kuhn, Fabian and Rudolph, Dorian and Scheideler, Christian and Strothmann, Thim Frederik}}, booktitle = {{Proceedings of the 24th International Conference on DNA Computing and Molecular Programming}}, pages = {{122--138}}, publisher = {{Springer International Publishing}}, title = {{{Forming Tile Shapes with Simple Robots}}}, doi = {{10.1007/978-3-030-00030-1_8}}, year = {{2018}}, } @inproceedings{5774, abstract = {{Information flow analysis investigates the flow of data in applications, checking in particular for flows from private sources to public sinks. Flow- and path-sensitive analyses are, however, often too costly to be performed every time a security-critical application is run. In this paper, we propose a variant of proof carrying code for information flow security. To this end, we develop information flow (IF) certificates which get attached to programs as well as a method for IF certificate validation. We prove soundness of our technique, i.e., show it to be tamper-free. The technique is implemented within the program analysis tool CPAchecker. Our experiments confirm that the use of certificates pays off for costly analysis runs.}}, author = {{Töws, Manuel and Wehrheim, Heike}}, booktitle = {{Theoretical Aspects of Computing – ICTAC 2018}}, isbn = {{9783030025076}}, issn = {{0302-9743}}, pages = {{435--454}}, publisher = {{Springer International Publishing}}, title = {{{Information Flow Certificates}}}, doi = {{10.1007/978-3-030-02508-3_23}}, year = {{2018}}, } @inproceedings{5796, author = {{Engels, Gregor and Strothmann, Thim Frederik and Teetz, Alexander}}, booktitle = {{2018 IEEE 22nd International Enterprise Distributed Object Computing Workshop (EDOCW)}}, isbn = {{9781538641415}}, publisher = {{IEEE}}, title = {{{Adapt Cases 4 BPM - A Modeling Framework for Process Flexibility in IIoT}}}, doi = {{10.1109/edocw.2018.00020}}, year = {{2018}}, } @inproceedings{5816, author = {{Weidmann, Nils}}, booktitle = {{Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion Proceedings - MODELS '18}}, editor = {{Babur, Önder and Strüber, Daniel and Abrahao, Silvia and Burgueno, Loli and Gogolla, Martin and Greenyer, Joel and Kokaly, Sahar and Kolovos, Dimitris and Mayerhofer, Tanja and Zahedi, Mansooreh}}, isbn = {{9781450359658}}, location = {{Copenhagen, Denmark}}, publisher = {{ACM Press}}, title = {{{Tolerant consistency management in model-driven engineering}}}, doi = {{10.1145/3270112.3275339}}, year = {{2018}}, } @techreport{5820, abstract = {{In this paper, we investigate the use of trusted execution environments (TEEs, such as Intel's SGX) for an anonymous communication infrastructure over untrusted networks. For this, we present the general idea of exploiting trusted execution environments for the purpose of anonymous communication, including a continuous-time security framework that models strong anonymity guarantees in the presence of an adversary that observes all network traffic and can adaptively corrupt a constant fraction of participating nodes. In our framework, a participating node can generate a number of unlinkable pseudonyms. Messages are sent from and to pseudonyms, allowing both senders and receivers of messages to remain anonymous. We introduce a concrete construction, which shows viability of our TEE-based approach to anonymous communication. The construction draws from techniques from cryptography and overlay networks. Our techniques are very general and can be used as a basis for future constructions with similar goals.}}, author = {{Blömer, Johannes and Bobolz, Jan and Scheideler, Christian and Setzer, Alexander}}, title = {{{Provably Anonymous Communication Based on Trusted Execution Environments}}}, year = {{2018}}, } @inproceedings{5822, author = {{Gaspers, Daniel and Knorr, Christoph and Nickchen, Tobias and Nickchen, Daniel and Mertsching, Barbel and Mohamed, Mahmoud A.}}, booktitle = {{2018 IEEE International Symposium on Safety, Security, and Rescue Robotics (SSRR)}}, isbn = {{9781538655726}}, publisher = {{IEEE}}, title = {{{Real-time Graph-Based 3D Reconstruction of Sparse Feature Environments for Mobile Robot Applications}}}, doi = {{10.1109/ssrr.2018.8468658}}, year = {{2018}}, } @inproceedings{5861, author = {{Jager, Tibor and Kurek, Rafael}}, booktitle = {{Advances in Cryptology - ASIACRYPT 2018 - 24th International Conference on the Theory and Application of Cryptology and Information Security, Brisbane, QLD, Australia, December 2-6, 2018, Proceedings, Part II}}, pages = {{221--250}}, title = {{{Short Digital Signatures and ID-KEMs via Truncation Collision Resistance}}}, doi = {{10.1007/978-3-030-03329-3_8}}, year = {{2018}}, } @inproceedings{5862, author = {{Jager, Tibor and Kurek, Rafael and Pan, Jiaxin}}, booktitle = {{Advances in Cryptology - ASIACRYPT 2018 - 24th International Conference on the Theory and Application of Cryptology and Information Security, Brisbane, QLD, Australia, December 2-6, 2018, Proceedings, Part III}}, pages = {{490--518}}, title = {{{Simple and More Efficient PRFs with Tight Security from LWE and Matrix-DDH}}}, doi = {{10.1007/978-3-030-03332-3_18}}, year = {{2018}}, } @misc{5936, author = {{Scheibl, Manuel}}, publisher = {{Universität Paderborn}}, title = {{{Learning about learning curves from dataset properties}}}, year = {{2018}}, } @article{5984, author = {{Scheideler, Christian}}, journal = {{Theor. Comput. Sci.}}, pages = {{1}}, title = {{{Preface}}}, doi = {{10.1016/j.tcs.2018.11.004}}, volume = {{751}}, year = {{2018}}, }