@inproceedings{22791,
  author       = {{Asmar, Laban and Rabe, Martin and Low, Cheng Yee and Yee, Jingye and Kühn, Arno and Dumitrescu, Roman}},
  booktitle    = {{ 4th International Conference on System-Integrated Intelligence: Intelligent, Flexible and Connected Systems in Products and Production}},
  title        = {{{ Framework for the agile development of innovative Product-Service-Systems for existing physical rehabilitation systems}}},
  year         = {{2018}},
}

@inproceedings{22792,
  author       = {{Röltgen, Daniel and Wortmann, Fabio and Dumitrescu, Roman}},
  booktitle    = {{INTERNATIONAL DESIGN CONFERENCE - DESIGN 2018}},
  title        = {{{Specification technique for augmented reality based product service systems}}},
  year         = {{2018}},
}

@inbook{22796,
  author       = {{Kummert, Franz and Albers, Alexander and Bremer, Christian and Büttner, Sebastian and Dellnitz, Michael and Dumitrescu, Roman and Gräler, Manuel and Just, Viktor and Mucha, Henrik and Peitz, Sebastian and Röcker, Carsten and Trächtler, Ansgar and Tschirner, Christian and Wang, Shuo and Wittrowski, Jens}},
  booktitle    = {{Ressourceneffiziente Selbstoptimierende Wäscherei – Ergebnisse des ReSerW-Projekts}},
  editor       = {{Trächtler, Ansgar}},
  publisher    = {{Springer}},
  title        = {{{Eingesetzte wissenschaftliche Methoden}}},
  year         = {{2018}},
}

@inproceedings{22797,
  author       = {{Mohammad, Ubaidullah and Low, Cheng Yee and Asmar, Laban and Rahman, Ramhuzaini Abd and Rabe, Martin and Dumitrescu, Roman and Zakaria, Noor Ayuni Che}},
  booktitle    = {{4th International Conference on System-Integrated Intelligence: Intelligent, Flexible and Connected Systems in Products and Production}},
  title        = {{{Systematic Development of Smart Factory using CONSENS}}},
  year         = {{2018}},
}

@inproceedings{22801,
  author       = {{Albers, Albert and Dumitrescu, Roman and Marthaler, Florian and Albers, Alexander and Kühfuss, Dennis and Strauch, Markus and Siebe, Andreas and Bursac, Nikola}},
  booktitle    = {{14. Symposium für Vorausschau und Technologieplanung}},
  editor       = {{Gausemeier, Jürgen}},
  title        = {{{PGE-Produktgenerationsentwicklung und Zukunftsvorausschau: Eine systematische Betrachtung zur Ermittlung der Zusammenhänge}}},
  volume       = {{Band 385}},
  year         = {{2018}},
}

@inproceedings{2332,
  abstract     = {{Ein wichtiges Element der Digitalen Transformation ist die Digitalisierung der Prozesse in Unternehmen. Eine Herausforderung besteht hierbei in der systematischen Erkennung von Digitalisierungspotenzialen in Prozessen. Bestehende Ansätze benötigen Experten, welche Potenziale über ihre Erfahrung oder zeitaufwendig mithilfe von Musterkatalogen identifizieren.
In diesem Artikel werden verschiedene Digitalisierungspotenziale klassifiziert und Muster für ein zukünftiges musterbasiertes Analyseverfahren zur automatisierten Identifikation von Digitalisierungspotenzialen in BPMN-Diagrammen beschrieben. Im Vergleich zu bestehenden Ansätzen erlaubt es Experten die Identifizierung von Digitalisierungspotenzialen effizienter und effektiver durchzuführen.}},
  author       = {{Rittmeier, Florian and Engels, Gregor and Teetz, Alexander}},
  booktitle    = {{Joint Proceedings of the Workshops at Modellierung 2018 co-located with Modellierung 2018, Braunschweig, Germany, February 21, 2018.}},
  keywords     = {{Digitalisierungspotenziale, BPI, Digitale Transformation, Information Flow-Modellierung, Patterns, Requirements Engineering}},
  pages        = {{215----221}},
  publisher    = {{CEUR-WS.org}},
  title        = {{{Digitalisierungspotenziale in Geschäftsprozessen effizient und effektiv erkennen (Effective and Efficient Identification of Digitalization Potentials in Business Processes)}}},
  volume       = {{2060}},
  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}},
}