--- _id: '9893' author: - first_name: Ansgar full_name: Trächtler, Ansgar last_name: Trächtler - first_name: Christian full_name: Hölscher, Christian last_name: Hölscher - first_name: Christoph full_name: Rasche, Christoph last_name: Rasche - first_name: Claudia full_name: Priesterjahn, Claudia last_name: Priesterjahn - first_name: Detmar full_name: Zimmer, Detmar last_name: Zimmer - first_name: Jan full_name: Henning Keßler, Jan last_name: Henning Keßler - first_name: Katharin full_name: Stahl, Katharin last_name: Stahl - first_name: Kathrin full_name: Flaßkamp, Kathrin last_name: Flaßkamp - first_name: Mareen full_name: Vaßholz, Mareen last_name: Vaßholz - first_name: Martin full_name: Krüger, Martin last_name: Krüger - first_name: Michael full_name: Dellnitz, Michael last_name: Dellnitz - first_name: Peter full_name: Iwanek, Peter last_name: Iwanek - first_name: Peter full_name: Reinold, Peter last_name: Reinold - first_name: Philip full_name: Hartmann, Philip last_name: Hartmann - first_name: Tobias full_name: Meyer, Tobias last_name: Meyer - first_name: Walter full_name: Sextro, Walter id: '21220' last_name: Sextro citation: ama: 'Trächtler A, Hölscher C, Rasche C, et al. Introduction to Self-optimization and Dependability. In: Gausemeier J, Josef Rammig F, Schäfer W, Sextro W, eds. Dependability of Self-Optimizing Mechatronic Systems. Lecture Notes in Mechanical Engineering. Springer Berlin Heidelberg; 2014:1-24. doi:10.1007/978-3-642-53742-4_1' apa: Trächtler, A., Hölscher, C., Rasche, C., Priesterjahn, C., Zimmer, D., Henning Keßler, J., … Sextro, W. (2014). Introduction to Self-optimization and Dependability. In J. Gausemeier, F. Josef Rammig, W. Schäfer, & W. Sextro (Eds.), Dependability of Self-Optimizing Mechatronic Systems (pp. 1–24). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-53742-4_1 bibtex: '@inbook{Trächtler_Hölscher_Rasche_Priesterjahn_Zimmer_Henning Keßler_Stahl_Flaßkamp_Vaßholz_Krüger_et al._2014, series={Lecture Notes in Mechanical Engineering}, title={Introduction to Self-optimization and Dependability}, DOI={10.1007/978-3-642-53742-4_1}, booktitle={Dependability of Self-Optimizing Mechatronic Systems}, publisher={Springer Berlin Heidelberg}, author={Trächtler, Ansgar and Hölscher, Christian and Rasche, Christoph and Priesterjahn, Claudia and Zimmer, Detmar and Henning Keßler, Jan and Stahl, Katharin and Flaßkamp, Kathrin and Vaßholz, Mareen and Krüger, Martin and et al.}, editor={Gausemeier, Jürgen and Josef Rammig, Franz and Schäfer, Wilhelm and Sextro, WalterEditors}, year={2014}, pages={1–24}, collection={Lecture Notes in Mechanical Engineering} }' chicago: Trächtler, Ansgar, Christian Hölscher, Christoph Rasche, Claudia Priesterjahn, Detmar Zimmer, Jan Henning Keßler, Katharin Stahl, et al. “Introduction to Self-Optimization and Dependability.” In Dependability of Self-Optimizing Mechatronic Systems, edited by Jürgen Gausemeier, Franz Josef Rammig, Wilhelm Schäfer, and Walter Sextro, 1–24. Lecture Notes in Mechanical Engineering. Springer Berlin Heidelberg, 2014. https://doi.org/10.1007/978-3-642-53742-4_1. ieee: A. Trächtler et al., “Introduction to Self-optimization and Dependability,” in Dependability of Self-Optimizing Mechatronic Systems, J. Gausemeier, F. Josef Rammig, W. Schäfer, and W. Sextro, Eds. Springer Berlin Heidelberg, 2014, pp. 1–24. mla: Trächtler, Ansgar, et al. “Introduction to Self-Optimization and Dependability.” Dependability of Self-Optimizing Mechatronic Systems, edited by Jürgen Gausemeier et al., Springer Berlin Heidelberg, 2014, pp. 1–24, doi:10.1007/978-3-642-53742-4_1. short: 'A. Trächtler, C. Hölscher, C. Rasche, C. Priesterjahn, D. Zimmer, J. Henning Keßler, K. Stahl, K. Flaßkamp, M. Vaßholz, M. Krüger, M. Dellnitz, P. Iwanek, P. Reinold, P. Hartmann, T. Meyer, W. Sextro, in: J. Gausemeier, F. Josef Rammig, W. Schäfer, W. Sextro (Eds.), Dependability of Self-Optimizing Mechatronic Systems, Springer Berlin Heidelberg, 2014, pp. 1–24.' date_created: 2019-05-20T13:29:24Z date_updated: 2019-05-20T13:32:38Z department: - _id: '151' doi: 10.1007/978-3-642-53742-4_1 editor: - first_name: Jürgen full_name: Gausemeier, Jürgen last_name: Gausemeier - first_name: Franz full_name: Josef Rammig, Franz last_name: Josef Rammig - first_name: Wilhelm full_name: Schäfer, Wilhelm last_name: Schäfer - first_name: Walter full_name: Sextro, Walter last_name: Sextro language: - iso: eng page: 1-24 publication: Dependability of Self-Optimizing Mechatronic Systems publication_identifier: isbn: - 978-3-642-53741-7 publisher: Springer Berlin Heidelberg series_title: Lecture Notes in Mechanical Engineering status: public title: Introduction to Self-optimization and Dependability type: book_chapter user_id: '55222' year: '2014' ... --- _id: '9894' author: - first_name: Ansgar full_name: Trächtler, Ansgar last_name: Trächtler - first_name: Bernd full_name: Kleinjohann, Bernd last_name: Kleinjohann - first_name: Christian full_name: Heinzemann, Christian last_name: Heinzemann - first_name: Christoph full_name: Rasche, Christoph last_name: Rasche - first_name: Claudia full_name: Priesterjahn, Claudia last_name: Priesterjahn - first_name: Dominik full_name: Steenken, Dominik last_name: Steenken - first_name: Heike full_name: Wehrheim, Heike last_name: Wehrheim - first_name: Jürgen full_name: Gausemeier, Jürgen last_name: Gausemeier - first_name: Kathrin full_name: Flaßkamp, Kathrin last_name: Flaßkamp - first_name: Lisa full_name: Kleinjohann, Lisa last_name: Kleinjohann - first_name: Martin full_name: Krüger, Martin last_name: Krüger - first_name: Peter full_name: Iwanek, Peter last_name: Iwanek - first_name: Philip full_name: Hartmann, Philip last_name: Hartmann - first_name: Rafal full_name: Dorociak, Rafal last_name: Dorociak - first_name: Stefan full_name: Groesbrink, Stefan last_name: Groesbrink - first_name: Steffen full_name: Ziegert, Steffen last_name: Ziegert - first_name: Tobias full_name: Meyer, Tobias last_name: Meyer - first_name: Walter full_name: Sextro, Walter id: '21220' last_name: Sextro - first_name: Wilhelm full_name: Schäfer, Wilhelm last_name: Schäfer citation: ama: 'Trächtler A, Kleinjohann B, Heinzemann C, et al. Case Study. In: Gausemeier J, Josef Rammig F, Schäfer W, Sextro W, eds. Dependability of Self-Optimizing Mechatronic Systems. Lecture Notes in Mechanical Engineering. Springer Berlin Heidelberg; 2014:173-188. doi:10.1007/978-3-642-53742-4_4' apa: Trächtler, A., Kleinjohann, B., Heinzemann, C., Rasche, C., Priesterjahn, C., Steenken, D., … Schäfer, W. (2014). Case Study. In J. Gausemeier, F. Josef Rammig, W. Schäfer, & W. Sextro (Eds.), Dependability of Self-Optimizing Mechatronic Systems (pp. 173–188). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-53742-4_4 bibtex: '@inbook{Trächtler_Kleinjohann_Heinzemann_Rasche_Priesterjahn_Steenken_Wehrheim_Gausemeier_Flaßkamp_Kleinjohann_et al._2014, series={Lecture Notes in Mechanical Engineering}, title={Case Study}, DOI={10.1007/978-3-642-53742-4_4}, booktitle={Dependability of Self-Optimizing Mechatronic Systems}, publisher={Springer Berlin Heidelberg}, author={Trächtler, Ansgar and Kleinjohann, Bernd and Heinzemann, Christian and Rasche, Christoph and Priesterjahn, Claudia and Steenken, Dominik and Wehrheim, Heike and Gausemeier, Jürgen and Flaßkamp, Kathrin and Kleinjohann, Lisa and et al.}, editor={Gausemeier, Jürgen and Josef Rammig, Franz and Schäfer, Wilhelm and Sextro, WalterEditors}, year={2014}, pages={173–188}, collection={Lecture Notes in Mechanical Engineering} }' chicago: Trächtler, Ansgar, Bernd Kleinjohann, Christian Heinzemann, Christoph Rasche, Claudia Priesterjahn, Dominik Steenken, Heike Wehrheim, et al. “Case Study.” In Dependability of Self-Optimizing Mechatronic Systems, edited by Jürgen Gausemeier, Franz Josef Rammig, Wilhelm Schäfer, and Walter Sextro, 173–88. Lecture Notes in Mechanical Engineering. Springer Berlin Heidelberg, 2014. https://doi.org/10.1007/978-3-642-53742-4_4. ieee: A. Trächtler et al., “Case Study,” in Dependability of Self-Optimizing Mechatronic Systems, J. Gausemeier, F. Josef Rammig, W. Schäfer, and W. Sextro, Eds. Springer Berlin Heidelberg, 2014, pp. 173–188. mla: Trächtler, Ansgar, et al. “Case Study.” Dependability of Self-Optimizing Mechatronic Systems, edited by Jürgen Gausemeier et al., Springer Berlin Heidelberg, 2014, pp. 173–88, doi:10.1007/978-3-642-53742-4_4. short: 'A. Trächtler, B. Kleinjohann, C. Heinzemann, C. Rasche, C. Priesterjahn, D. Steenken, H. Wehrheim, J. Gausemeier, K. Flaßkamp, L. Kleinjohann, M. Krüger, P. Iwanek, P. Hartmann, R. Dorociak, S. Groesbrink, S. Ziegert, T. Meyer, W. Sextro, W. Schäfer, in: J. Gausemeier, F. Josef Rammig, W. Schäfer, W. Sextro (Eds.), Dependability of Self-Optimizing Mechatronic Systems, Springer Berlin Heidelberg, 2014, pp. 173–188.' date_created: 2019-05-20T13:29:25Z date_updated: 2019-05-20T13:34:38Z department: - _id: '151' doi: 10.1007/978-3-642-53742-4_4 editor: - first_name: Jürgen full_name: Gausemeier, Jürgen last_name: Gausemeier - first_name: Franz full_name: Josef Rammig, Franz last_name: Josef Rammig - first_name: Wilhelm full_name: Schäfer, Wilhelm last_name: Schäfer - first_name: Walter full_name: Sextro, Walter last_name: Sextro language: - iso: eng page: 173-188 publication: Dependability of Self-Optimizing Mechatronic Systems publication_identifier: isbn: - 978-3-642-53741-7 publisher: Springer Berlin Heidelberg series_title: Lecture Notes in Mechanical Engineering status: public title: Case Study type: book_chapter user_id: '55222' year: '2014' ... --- _id: '9895' abstract: - lang: eng text: Power semiconductor modules are used to control and switch high electrical currents and voltages. Within the power module package wire bonding is used as an interconnection technology. In recent years, aluminum wire has been used preferably, but an ever-growing market of powerful and efficient power modules requires a material with better mechanical and electrical properties. For this reason, a technology change from aluminum to copper is indispensable. However, the copper wire bonding process reacts more sensitive to parameter changes. This makes manufacturing reliable copper bond connections a challenging task. The aim of the BMBF funded project Itsowl-InCuB is the development of self-optimizing techniques to enable the reliable production of copper bond connections under varying conditions. A model of the process is essential to achieve this aim. This model needs to include the dynamic elasto-plastic deformation, the ultrasonic softening effect and the proceeding adhesion between wire and substrate. This paper focusses on the pre-deformation process. In the touchdown phase, the wire is pressed into the V-groove of the tool and a small initial contact area between wire and substrate arise. The local characteristics of the material change abruptly because of the cold forming. Consequently, the pre-deformation has a strong effect on the joining process. In [1], a pre-cleaning effect during the touchdown process of aluminum wires by cracking of oxide layers was presented. These interactions of the process parameters are still largely unknown for copper. In a first step, this paper validates the importance of modeling the pre-deformation by showing its impact on the wire deformation characteristic experimentally. Creating cross-section views of pre-deformed copper wires has shown a low deformation degree compared to aluminum. By using a digital microscope and a scanning confocal microscope an analysis about the contact areas and penetration depths after touchdown has been made. Additionally, it has to be taken into account that the dynamical touchdown force depends on the touchdown speed and the touchdown force set in the bonding machine. In order to measure the overshoot in the force signals, a strain gauge sensor has been used. Subsequently, the affecting factors have been interpreted independently Furthermore, the material properties of copper wire have been investigated with tensile tests and hardness measurements. In a second step, the paper presents finite element models of the touchdown process for source and destination bonds. These models take the measured overshoot in the touchdown forces into account. A multi-linear, isotropic material model has been selected to map the material properties of the copper. A validation of the model with the experimental determined contact areas, normal pressures and penetration depths reveals the high model quality. Thus, the simulation is able to calculate and visualize the three dimensional pre-deformation with an integrated material parameter of the wire if the touchdown parameters of the bonding machine are known. Based on the calculated deformation degrees of wire and substrate, it is probably possible to investigate the effect of the pre-deformation on the pre-cleaning phase in the copper wire bonding. author: - first_name: Andreas full_name: Unger, Andreas last_name: Unger - first_name: Walter full_name: Sextro, Walter id: '21220' last_name: Sextro - first_name: Simon full_name: Althoff, Simon last_name: Althoff - first_name: Paul full_name: Eichwald, Paul last_name: Eichwald - first_name: Tobias full_name: Meyer, Tobias last_name: Meyer - first_name: Florian full_name: Eacock, Florian last_name: Eacock - first_name: Michael full_name: Brökelmann, Michael last_name: Brökelmann citation: ama: 'Unger A, Sextro W, Althoff S, et al. Experimental and Numerical Simulation Study of Pre-Deformed Heavy Copper Wire Wedge Bonds. In: Proceedings of the 47th International Symposium on Microelectronics (IMAPS). San Diego, CA, US; 2014:289-294.' apa: Unger, A., Sextro, W., Althoff, S., Eichwald, P., Meyer, T., Eacock, F., & Brökelmann, M. (2014). Experimental and Numerical Simulation Study of Pre-Deformed Heavy Copper Wire Wedge Bonds. In Proceedings of the 47th International Symposium on Microelectronics (IMAPS) (pp. 289–294). San Diego, CA, US. bibtex: '@inproceedings{Unger_Sextro_Althoff_Eichwald_Meyer_Eacock_Brökelmann_2014, place={San Diego, CA, US}, title={Experimental and Numerical Simulation Study of Pre-Deformed Heavy Copper Wire Wedge Bonds}, booktitle={Proceedings of the 47th International Symposium on Microelectronics (IMAPS)}, author={Unger, Andreas and Sextro, Walter and Althoff, Simon and Eichwald, Paul and Meyer, Tobias and Eacock, Florian and Brökelmann, Michael}, year={2014}, pages={289–294} }' chicago: Unger, Andreas, Walter Sextro, Simon Althoff, Paul Eichwald, Tobias Meyer, Florian Eacock, and Michael Brökelmann. “Experimental and Numerical Simulation Study of Pre-Deformed Heavy Copper Wire Wedge Bonds.” In Proceedings of the 47th International Symposium on Microelectronics (IMAPS), 289–94. San Diego, CA, US, 2014. ieee: A. Unger et al., “Experimental and Numerical Simulation Study of Pre-Deformed Heavy Copper Wire Wedge Bonds,” in Proceedings of the 47th International Symposium on Microelectronics (IMAPS), 2014, pp. 289–294. mla: Unger, Andreas, et al. “Experimental and Numerical Simulation Study of Pre-Deformed Heavy Copper Wire Wedge Bonds.” Proceedings of the 47th International Symposium on Microelectronics (IMAPS), 2014, pp. 289–94. short: 'A. Unger, W. Sextro, S. Althoff, P. Eichwald, T. Meyer, F. Eacock, M. Brökelmann, in: Proceedings of the 47th International Symposium on Microelectronics (IMAPS), San Diego, CA, US, 2014, pp. 289–294.' date_created: 2019-05-20T13:35:09Z date_updated: 2020-05-07T05:33:47Z department: - _id: '151' keyword: - pre-deformation - copper wire bonding - finite element model language: - iso: eng page: 289-294 place: San Diego, CA, US project: - _id: '92' grant_number: 02 PQ2210 name: Intelligente Herstellung zuverlässiger Kupferbondverbindungen publication: Proceedings of the 47th International Symposium on Microelectronics (IMAPS) status: public title: Experimental and Numerical Simulation Study of Pre-Deformed Heavy Copper Wire Wedge Bonds type: conference user_id: '210' year: '2014' ... --- _id: '9896' abstract: - lang: eng text: In power electronics, ultrasonic wire bonding is used to connect the electrical terminals of power modules. To implement a self-optimization technique for ultrasonic wire bonding machines, a model of the process is essential. This model needs to include the so called ultrasonic softening effect. It is a key effect within the wire bonding process primarily enabling the robust interconnection between the wire and a substrate. However, the physical modeling of the ultrasonic softening effect is notoriously difficult because of its highly non-linear character and the absence of a proper measurement method. In a first step, this paper validates the importance of modeling the ultrasonic softening by showing its impact on the wire deformation characteristic experimentally. In a second step, the paper presents a data-driven model of the ultrasonic softening effect which is constructed from data using machine learning techniques. A typical caveat of data-driven modeling is the need for training data that cover the considered domain of process parameters in order to achieve accurate generalization of the trained model to new process configurations. In practice, however, the space of process parameters can only be sampled sparsely. In this paper, a novel technique is applied which enables the integration of prior knowledge about the process into the datadriven modeling process. It turns out that this approach results in accurate generalization of the data-driven model to unseen process parameters from sparse data. author: - first_name: Andreas full_name: Unger, Andreas last_name: Unger - first_name: Walter full_name: Sextro, Walter id: '21220' last_name: Sextro - first_name: Simon full_name: Althoff, Simon last_name: Althoff - first_name: Tobias full_name: Meyer, Tobias last_name: Meyer - first_name: Michael full_name: Brökelmann, Michael last_name: Brökelmann - first_name: Klaus full_name: Neumann, Klaus last_name: Neumann - first_name: René Felix full_name: Reimann, René Felix last_name: Reimann - first_name: Karsten full_name: Guth, Karsten last_name: Guth - first_name: Daniel full_name: Bolowski, Daniel last_name: Bolowski citation: ama: 'Unger A, Sextro W, Althoff S, et al. Data-driven Modeling of the Ultrasonic Softening Effect for Robust Copper Wire Bonding. In: Proceedings of 8th International Conference on Integrated Power Electronic Systems. Vol 141. ; 2014:175-180.' apa: Unger, A., Sextro, W., Althoff, S., Meyer, T., Brökelmann, M., Neumann, K., … Bolowski, D. (2014). Data-driven Modeling of the Ultrasonic Softening Effect for Robust Copper Wire Bonding. In Proceedings of 8th International Conference on Integrated Power Electronic Systems (Vol. 141, pp. 175–180). bibtex: '@inproceedings{Unger_Sextro_Althoff_Meyer_Brökelmann_Neumann_Reimann_Guth_Bolowski_2014, title={Data-driven Modeling of the Ultrasonic Softening Effect for Robust Copper Wire Bonding}, volume={141}, booktitle={Proceedings of 8th International Conference on Integrated Power Electronic Systems}, author={Unger, Andreas and Sextro, Walter and Althoff, Simon and Meyer, Tobias and Brökelmann, Michael and Neumann, Klaus and Reimann, René Felix and Guth, Karsten and Bolowski, Daniel}, year={2014}, pages={175–180} }' chicago: Unger, Andreas, Walter Sextro, Simon Althoff, Tobias Meyer, Michael Brökelmann, Klaus Neumann, René Felix Reimann, Karsten Guth, and Daniel Bolowski. “Data-Driven Modeling of the Ultrasonic Softening Effect for Robust Copper Wire Bonding.” In Proceedings of 8th International Conference on Integrated Power Electronic Systems, 141:175–80, 2014. ieee: A. Unger et al., “Data-driven Modeling of the Ultrasonic Softening Effect for Robust Copper Wire Bonding,” in Proceedings of 8th International Conference on Integrated Power Electronic Systems, 2014, vol. 141, pp. 175–180. mla: Unger, Andreas, et al. “Data-Driven Modeling of the Ultrasonic Softening Effect for Robust Copper Wire Bonding.” Proceedings of 8th International Conference on Integrated Power Electronic Systems, vol. 141, 2014, pp. 175–80. short: 'A. Unger, W. Sextro, S. Althoff, T. Meyer, M. Brökelmann, K. Neumann, R.F. Reimann, K. Guth, D. Bolowski, in: Proceedings of 8th International Conference on Integrated Power Electronic Systems, 2014, pp. 175–180.' date_created: 2019-05-20T13:38:10Z date_updated: 2020-05-07T05:33:47Z department: - _id: '151' intvolume: ' 141' language: - iso: eng page: 175-180 project: - _id: '92' grant_number: 02 PQ2210 name: Intelligente Herstellung zuverlässiger Kupferbondverbindungen publication: Proceedings of 8th International Conference on Integrated Power Electronic Systems status: public title: Data-driven Modeling of the Ultrasonic Softening Effect for Robust Copper Wire Bonding type: conference user_id: '210' volume: 141 year: '2014' ... --- _id: '392' author: - first_name: NinaMadeleine full_name: Brummel, NinaMadeleine last_name: Brummel citation: ama: 'Brummel N. On the Relation between Innovation and Competion: The Case of Energy Industry. Universität Paderborn; 2014.' apa: 'Brummel, N. (2014). On the Relation between Innovation and Competion: The Case of Energy Industry. Universität Paderborn.' bibtex: '@book{Brummel_2014, title={On the Relation between Innovation and Competion: The Case of Energy Industry}, publisher={Universität Paderborn}, author={Brummel, NinaMadeleine}, year={2014} }' chicago: 'Brummel, NinaMadeleine. On the Relation between Innovation and Competion: The Case of Energy Industry. Universität Paderborn, 2014.' ieee: 'N. Brummel, On the Relation between Innovation and Competion: The Case of Energy Industry. Universität Paderborn, 2014.' mla: 'Brummel, NinaMadeleine. On the Relation between Innovation and Competion: The Case of Energy Industry. Universität Paderborn, 2014.' short: 'N. Brummel, On the Relation between Innovation and Competion: The Case of Energy Industry, Universität Paderborn, 2014.' date_created: 2017-10-17T12:42:08Z date_updated: 2022-01-06T06:59:54Z department: - _id: '280' project: - _id: '1' name: SFB 901 - _id: '7' name: SFB 901 - Subprojekt A3 - _id: '2' name: SFB 901 - Project Area A publisher: Universität Paderborn status: public supervisor: - first_name: Burkhard full_name: Hehenkamp, Burkhard id: '37339' last_name: Hehenkamp title: 'On the Relation between Innovation and Competion: The Case of Energy Industry' type: mastersthesis user_id: '42447' year: '2014' ... --- _id: '393' abstract: - lang: eng text: 'A fundamental problem for peer-to-peer systems is to maintain connectivity while nodes are leaving, i.e., the nodes requesting to leave the peer-to-peer system are excluded from the overlay network without affecting its connectivity. There are a number of studies for safe node exclusion if the overlay is in a well-defined state initially. Surprisingly, the problem is not formally studied yet for the case in which the overlay network is in an arbitrary initial state, i.e., when looking for a self-stabilizing solution for excluding leaving nodes. We study this problem in two variants: the Finite Departure Problem (FDP) ) and the Finite Sleep Problem (FSP). In the FDP the leaving nodes have to irrevocably decide when it is safe to leave the network, whereas in the FSP, this leaving decision does not have to be final: the nodes may resume computation if necessary. We show that there is no self-stabilizing distributed algorithm for the FDP, even in a synchronous message passing model. To allow a solution, we introduce an oracle called NIDEC and show that it is sufficient even for the asynchronous message passing model by proposing an algorithm that can solve the FDP using NIDEC. We also show that a solution to the FSP does not require an oracle.' author: - first_name: Dianne full_name: Foreback, Dianne last_name: Foreback - first_name: Andreas full_name: Koutsopoulos, Andreas last_name: Koutsopoulos - first_name: Mikhail full_name: Nesterenko, Mikhail last_name: Nesterenko - first_name: Christian full_name: Scheideler, Christian id: '20792' last_name: Scheideler - first_name: Thim Frederik full_name: Strothmann, Thim Frederik id: '11319' last_name: Strothmann citation: ama: 'Foreback D, Koutsopoulos A, Nesterenko M, Scheideler C, Strothmann TF. On Stabilizing Departures in Overlay Networks. In: Proceedings of the 16th International Symposium on Stabilization, Safety, and Security of Distributed Systems. LNCS. ; 2014:48--62. doi:10.1007/978-3-319-11764-5_4' apa: Foreback, D., Koutsopoulos, A., Nesterenko, M., Scheideler, C., & Strothmann, T. F. (2014). On Stabilizing Departures in Overlay Networks. In Proceedings of the 16th International Symposium on Stabilization, Safety, and Security of Distributed Systems (pp. 48--62). https://doi.org/10.1007/978-3-319-11764-5_4 bibtex: '@inproceedings{Foreback_Koutsopoulos_Nesterenko_Scheideler_Strothmann_2014, series={LNCS}, title={On Stabilizing Departures in Overlay Networks}, DOI={10.1007/978-3-319-11764-5_4}, booktitle={Proceedings of the 16th International Symposium on Stabilization, Safety, and Security of Distributed Systems}, author={Foreback, Dianne and Koutsopoulos, Andreas and Nesterenko, Mikhail and Scheideler, Christian and Strothmann, Thim Frederik}, year={2014}, pages={48--62}, collection={LNCS} }' chicago: Foreback, Dianne, Andreas Koutsopoulos, Mikhail Nesterenko, Christian Scheideler, and Thim Frederik Strothmann. “On Stabilizing Departures in Overlay Networks.” In Proceedings of the 16th International Symposium on Stabilization, Safety, and Security of Distributed Systems, 48--62. LNCS, 2014. https://doi.org/10.1007/978-3-319-11764-5_4. ieee: D. Foreback, A. Koutsopoulos, M. Nesterenko, C. Scheideler, and T. F. Strothmann, “On Stabilizing Departures in Overlay Networks,” in Proceedings of the 16th International Symposium on Stabilization, Safety, and Security of Distributed Systems, 2014, pp. 48--62. mla: Foreback, Dianne, et al. “On Stabilizing Departures in Overlay Networks.” Proceedings of the 16th International Symposium on Stabilization, Safety, and Security of Distributed Systems, 2014, pp. 48--62, doi:10.1007/978-3-319-11764-5_4. short: 'D. Foreback, A. Koutsopoulos, M. Nesterenko, C. Scheideler, T.F. Strothmann, in: Proceedings of the 16th International Symposium on Stabilization, Safety, and Security of Distributed Systems, 2014, pp. 48--62.' date_created: 2017-10-17T12:42:08Z date_updated: 2022-01-06T06:59:56Z ddc: - '040' department: - _id: '79' doi: 10.1007/978-3-319-11764-5_4 file: - access_level: closed content_type: application/pdf creator: florida date_created: 2018-03-20T07:00:28Z date_updated: 2018-03-20T07:00:28Z file_id: '1384' file_name: 393-departures.pdf file_size: 287539 relation: main_file success: 1 file_date_updated: 2018-03-20T07:00:28Z has_accepted_license: '1' language: - iso: eng page: 48--62 project: - _id: '1' name: SFB 901 - _id: '5' name: SFB 901 - Subprojekt A1 - _id: '2' name: SFB 901 - Project Area A publication: Proceedings of the 16th International Symposium on Stabilization, Safety, and Security of Distributed Systems series_title: LNCS status: public title: On Stabilizing Departures in Overlay Networks type: conference user_id: '477' year: '2014' ... --- _id: '3937' abstract: - lang: eng text: "The relevance of our definition for sensitivity in refractometric sensing, being the relative change in the transmittance\r\nof a certain output channel of an optical device over the change in the refractive index of the probed\r\nmaterial, is discussed. It is compared to one based on spectral shift per refractive index unit change. Further, there\r\nis discussion on how group delay and sensitivity are interrelated and can be converted into each other and which\r\nphysical quantities are relevant for high sensitivity. As a by-product of the theory presented, a general expression\r\nrelating group delay and the ratio of the time-averaged optical energy and the input power is presented." article_number: 1561-1567 article_type: original author: - first_name: Hugo J. W. M. full_name: Hoekstra, Hugo J. W. M. last_name: Hoekstra - first_name: Manfred full_name: Hammer, Manfred id: '48077' last_name: Hammer orcid: 0000-0002-6331-9348 citation: ama: Hoekstra HJWM, Hammer M. General relation for group delay and the relevance of group delay for refractometric sensing. Journal of the Optical Society of America B. 2014;31(7). doi:10.1364/josab.31.001561 apa: Hoekstra, H. J. W. M., & Hammer, M. (2014). General relation for group delay and the relevance of group delay for refractometric sensing. Journal of the Optical Society of America B, 31(7). https://doi.org/10.1364/josab.31.001561 bibtex: '@article{Hoekstra_Hammer_2014, title={General relation for group delay and the relevance of group delay for refractometric sensing}, volume={31}, DOI={10.1364/josab.31.001561}, number={71561–1567}, journal={Journal of the Optical Society of America B}, publisher={The Optical Society}, author={Hoekstra, Hugo J. W. M. and Hammer, Manfred}, year={2014} }' chicago: Hoekstra, Hugo J. W. M., and Manfred Hammer. “General Relation for Group Delay and the Relevance of Group Delay for Refractometric Sensing.” Journal of the Optical Society of America B 31, no. 7 (2014). https://doi.org/10.1364/josab.31.001561. ieee: H. J. W. M. Hoekstra and M. Hammer, “General relation for group delay and the relevance of group delay for refractometric sensing,” Journal of the Optical Society of America B, vol. 31, no. 7, 2014. mla: Hoekstra, Hugo J. W. M., and Manfred Hammer. “General Relation for Group Delay and the Relevance of Group Delay for Refractometric Sensing.” Journal of the Optical Society of America B, vol. 31, no. 7, 1561–1567, The Optical Society, 2014, doi:10.1364/josab.31.001561. short: H.J.W.M. Hoekstra, M. Hammer, Journal of the Optical Society of America B 31 (2014). date_created: 2018-08-20T09:59:35Z date_updated: 2022-01-06T06:59:57Z ddc: - '530' department: - _id: '61' doi: 10.1364/josab.31.001561 file: - access_level: closed content_type: application/pdf creator: hclaudia date_created: 2018-08-20T10:00:33Z date_updated: 2018-08-20T10:00:33Z file_id: '3938' file_name: 2014_07_Hoekstra,Hammer_General relation for group delay and the relevance of group delay for refractometric sensing_OSA.pdf file_size: 364221 relation: main_file success: 1 file_date_updated: 2018-08-20T10:00:33Z has_accepted_license: '1' intvolume: ' 31' issue: '7' keyword: - tet_topic_waveguide language: - iso: eng publication: Journal of the Optical Society of America B publication_identifier: issn: - 0740-3224 - 1520-8540 publication_status: published publisher: The Optical Society status: public title: General relation for group delay and the relevance of group delay for refractometric sensing type: journal_article user_id: '55706' volume: 31 year: '2014' ... --- _id: '394' abstract: - lang: eng text: Service Oriented Architectures (SOAs) enable the reuse and substitution of software services to develop highly flexible software systems. To benefit from the growing plethora of available services, sophisticated service discovery approaches are needed that bring service requests and offers together. Such approaches rely on rich service descriptions, which specify also the behavior of provided/requested services, e.g., by pre- and postconditions of operations. As a base for the specification a data schema is used, which specifies the used data types and their relations. However, data schemas are typically heterogeneous wrt. their structure and terminology, since they are created individually in their diverse application contexts. As a consequence the behavioral models that are typed over the heterogeneous data schemas, cannot be compared directly. In this paper, we present an holistic approach to normalize rich service description models to enable behavior-aware service discovery. The approach consists of a matching algorithm that helps to resolve structural and terminological heterogeneity in data schemas by exploiting domain-specific background ontologies. The resulting data schema mappings are represented in terms of Query View Transformation (QVT) relations that even reflect complex n:m correspondences. By executing the transformation, behavioral models are automatically normalized, which is a prerequisite for a behavior-aware operation matching. author: - first_name: Simon full_name: Schwichtenberg, Simon id: '13235' last_name: Schwichtenberg - first_name: Christian full_name: Gerth, Christian last_name: Gerth - first_name: Zille full_name: Huma, Zille last_name: Huma - first_name: Gregor full_name: Engels, Gregor id: '107' last_name: Engels citation: ama: 'Schwichtenberg S, Gerth C, Huma Z, Engels G. Normalizing Heterogeneous Service Description Models with Generated QVT Transformations. In: Proceedings of the 10th European Conference on Modelling Foundations and Applications (ECMFA). LNCS. ; 2014:180-195. doi:10.1007/978-3-319-09195-2_12' apa: Schwichtenberg, S., Gerth, C., Huma, Z., & Engels, G. (2014). Normalizing Heterogeneous Service Description Models with Generated QVT Transformations. In Proceedings of the 10th European Conference on Modelling Foundations and Applications (ECMFA) (pp. 180–195). https://doi.org/10.1007/978-3-319-09195-2_12 bibtex: '@inproceedings{Schwichtenberg_Gerth_Huma_Engels_2014, series={LNCS}, title={Normalizing Heterogeneous Service Description Models with Generated QVT Transformations}, DOI={10.1007/978-3-319-09195-2_12}, booktitle={Proceedings of the 10th European Conference on Modelling Foundations and Applications (ECMFA)}, author={Schwichtenberg, Simon and Gerth, Christian and Huma, Zille and Engels, Gregor}, year={2014}, pages={180–195}, collection={LNCS} }' chicago: Schwichtenberg, Simon, Christian Gerth, Zille Huma, and Gregor Engels. “Normalizing Heterogeneous Service Description Models with Generated QVT Transformations.” In Proceedings of the 10th European Conference on Modelling Foundations and Applications (ECMFA), 180–95. LNCS, 2014. https://doi.org/10.1007/978-3-319-09195-2_12. ieee: S. Schwichtenberg, C. Gerth, Z. Huma, and G. Engels, “Normalizing Heterogeneous Service Description Models with Generated QVT Transformations,” in Proceedings of the 10th European Conference on Modelling Foundations and Applications (ECMFA), 2014, pp. 180–195. mla: Schwichtenberg, Simon, et al. “Normalizing Heterogeneous Service Description Models with Generated QVT Transformations.” Proceedings of the 10th European Conference on Modelling Foundations and Applications (ECMFA), 2014, pp. 180–95, doi:10.1007/978-3-319-09195-2_12. short: 'S. Schwichtenberg, C. Gerth, Z. Huma, G. Engels, in: Proceedings of the 10th European Conference on Modelling Foundations and Applications (ECMFA), 2014, pp. 180–195.' date_created: 2017-10-17T12:42:08Z date_updated: 2022-01-06T06:59:58Z ddc: - '040' department: - _id: '66' doi: 10.1007/978-3-319-09195-2_12 file: - access_level: closed content_type: application/pdf creator: florida date_created: 2018-03-20T06:59:55Z date_updated: 2018-03-20T06:59:55Z file_id: '1383' file_name: 394-SGHE14.pdf file_size: 1107805 relation: main_file success: 1 file_date_updated: 2018-03-20T06:59:55Z has_accepted_license: '1' language: - iso: eng page: 180-195 project: - _id: '1' name: SFB 901 - _id: '9' name: SFB 901 - Subprojekt B1 - _id: '3' name: SFB 901 - Project Area B publication: Proceedings of the 10th European Conference on Modelling Foundations and Applications (ECMFA) series_title: LNCS status: public title: Normalizing Heterogeneous Service Description Models with Generated QVT Transformations type: conference user_id: '477' year: '2014' ... --- _id: '3941' author: - first_name: Stefan full_name: Declair, Stefan last_name: Declair - first_name: Jens full_name: Förstner, Jens id: '158' last_name: Förstner orcid: 0000-0001-7059-9862 citation: ama: 'Declair S, Förstner J. Simulation of Planar Photonic Resonators. In: Choi AHW, ed. Handbook of Optical Microcavities. Vol Kapitel 2. Pan Stanford Publishing Pte. Ltd.; 2014.' apa: Declair, S., & Förstner, J. (2014). Simulation of Planar Photonic Resonators. In A. H. W. Choi (Ed.), Handbook of Optical Microcavities (Vol. Kapitel 2). Pan Stanford Publishing Pte. Ltd. bibtex: '@inbook{Declair_Förstner_2014, title={Simulation of Planar Photonic Resonators}, volume={Kapitel 2}, booktitle={Handbook of Optical Microcavities}, publisher={Pan Stanford Publishing Pte. Ltd.}, author={Declair, Stefan and Förstner, Jens}, editor={Choi, Anthony H.W.Editor}, year={2014} }' chicago: Declair, Stefan, and Jens Förstner. “Simulation of Planar Photonic Resonators.” In Handbook of Optical Microcavities, edited by Anthony H.W. Choi, Vol. Kapitel 2. Pan Stanford Publishing Pte. Ltd., 2014. ieee: S. Declair and J. Förstner, “Simulation of Planar Photonic Resonators,” in Handbook of Optical Microcavities, vol. Kapitel 2, A. H. W. Choi, Ed. Pan Stanford Publishing Pte. Ltd., 2014. mla: Declair, Stefan, and Jens Förstner. “Simulation of Planar Photonic Resonators.” Handbook of Optical Microcavities, edited by Anthony H.W. Choi, vol. Kapitel 2, Pan Stanford Publishing Pte. Ltd., 2014. short: 'S. Declair, J. Förstner, in: A.H.W. Choi (Ed.), Handbook of Optical Microcavities, Pan Stanford Publishing Pte. Ltd., 2014.' date_created: 2018-08-20T10:33:51Z date_updated: 2022-01-06T06:59:58Z ddc: - '530' department: - _id: '15' editor: - first_name: Anthony H.W. full_name: Choi, Anthony H.W. last_name: Choi file: - access_level: closed content_type: application/pdf creator: hclaudia date_created: 2018-08-20T10:27:50Z date_updated: 2018-08-20T10:27:50Z file_id: '3942' file_name: 2013-04 Declair,Förstner_Simulation of Planar Photonic Resonators_Handbook-of-Optical-Microcavities.pdf file_size: 4806196 relation: main_file success: 1 file_date_updated: 2018-08-20T10:27:50Z has_accepted_license: '1' keyword: - tet_topic_phc language: - iso: eng publication: Handbook of Optical Microcavities publication_identifier: eisbn: - 978-981-4463-25-6 publication_status: published publisher: Pan Stanford Publishing Pte. Ltd. status: public title: Simulation of Planar Photonic Resonators type: book_chapter user_id: '55706' volume: Kapitel 2 year: '2014' ... --- _id: '395' abstract: - lang: eng text: We consider a multilevel network game, where nodes can improvetheir communication costs by connecting to a high-speed network.The n nodes are connected by a static network and each node can decideindividually to become a gateway to the high-speed network. The goalof a node v is to minimize its private costs, i.e., the sum (SUM-game) ormaximum (MAX-game) of communication distances from v to all othernodes plus a fixed price α > 0 if it decides to be a gateway. Between gatewaysthe communication distance is 0, and gateways also improve othernodes’ distances by behaving as shortcuts. For the SUM-game, we showthat for α ≤ n − 1, the price of anarchy is Θ (n/√α) and in this rangeequilibria always exist. In range α ∈ (n−1, n(n−1)) the price of anarchyis Θ(√α), and for α ≥ n(n − 1) it is constant. For the MAX-game, weshow that the price of anarchy is either Θ (1 + n/√α), for α ≥ 1, orelse 1. Given a graph with girth of at least 4α, equilibria always exist.Concerning the dynamics, both games are not potential games. For theSUM-game, we even show that it is not weakly acyclic. author: - first_name: Sebastian full_name: Abshoff, Sebastian last_name: Abshoff - first_name: Andreas full_name: Cord-Landwehr, Andreas last_name: Cord-Landwehr - first_name: Daniel full_name: Jung, Daniel id: '37827' last_name: Jung - first_name: Alexander full_name: Skopalik, Alexander id: '40384' last_name: Skopalik citation: ama: 'Abshoff S, Cord-Landwehr A, Jung D, Skopalik A. Multilevel Network Games. In: Proceedings of the 10th International Conference on Web and Internet Economics (WINE). LNCS. ; 2014:435-440. doi:10.1007/978-3-319-13129-0_36' apa: Abshoff, S., Cord-Landwehr, A., Jung, D., & Skopalik, A. (2014). Multilevel Network Games. In Proceedings of the 10th International Conference on Web and Internet Economics (WINE) (pp. 435–440). https://doi.org/10.1007/978-3-319-13129-0_36 bibtex: '@inproceedings{Abshoff_Cord-Landwehr_Jung_Skopalik_2014, series={LNCS}, title={Multilevel Network Games}, DOI={10.1007/978-3-319-13129-0_36}, booktitle={Proceedings of the 10th International Conference on Web and Internet Economics (WINE)}, author={Abshoff, Sebastian and Cord-Landwehr, Andreas and Jung, Daniel and Skopalik, Alexander}, year={2014}, pages={435–440}, collection={LNCS} }' chicago: Abshoff, Sebastian, Andreas Cord-Landwehr, Daniel Jung, and Alexander Skopalik. “Multilevel Network Games.” In Proceedings of the 10th International Conference on Web and Internet Economics (WINE), 435–40. LNCS, 2014. https://doi.org/10.1007/978-3-319-13129-0_36. ieee: S. Abshoff, A. Cord-Landwehr, D. Jung, and A. Skopalik, “Multilevel Network Games,” in Proceedings of the 10th International Conference on Web and Internet Economics (WINE), 2014, pp. 435–440. mla: Abshoff, Sebastian, et al. “Multilevel Network Games.” Proceedings of the 10th International Conference on Web and Internet Economics (WINE), 2014, pp. 435–40, doi:10.1007/978-3-319-13129-0_36. short: 'S. Abshoff, A. Cord-Landwehr, D. Jung, A. Skopalik, in: Proceedings of the 10th International Conference on Web and Internet Economics (WINE), 2014, pp. 435–440.' date_created: 2017-10-17T12:42:09Z date_updated: 2022-01-06T06:59:59Z ddc: - '040' department: - _id: '63' - _id: '541' doi: 10.1007/978-3-319-13129-0_36 file: - access_level: closed content_type: application/pdf creator: florida date_created: 2018-03-20T06:59:20Z date_updated: 2018-03-20T06:59:20Z file_id: '1382' file_name: 395-WINE2014ACJS.pdf file_size: 161479 relation: main_file success: 1 file_date_updated: 2018-03-20T06:59:20Z has_accepted_license: '1' language: - iso: eng page: 435-440 project: - _id: '1' name: SFB 901 - _id: '7' name: SFB 901 - Subprojekt A3 - _id: '5' name: SFB 901 - Subprojekt A1 - _id: '2' name: SFB 901 - Project Area A publication: Proceedings of the 10th International Conference on Web and Internet Economics (WINE) series_title: LNCS status: public title: Multilevel Network Games type: conference user_id: '15415' year: '2014' ... --- _id: '396' author: - first_name: Dorina full_name: Bano, Dorina last_name: Bano citation: ama: Bano D. Modeling and Matching of Reputation of Services in On-The-Fly Computing. Universität Paderborn; 2014. apa: Bano, D. (2014). Modeling and Matching of Reputation of Services in On-The-Fly Computing. Universität Paderborn. bibtex: '@book{Bano_2014, title={Modeling and Matching of Reputation of Services in On-The-Fly Computing}, publisher={Universität Paderborn}, author={Bano, Dorina}, year={2014} }' chicago: Bano, Dorina. Modeling and Matching of Reputation of Services in On-The-Fly Computing. Universität Paderborn, 2014. ieee: D. Bano, Modeling and Matching of Reputation of Services in On-The-Fly Computing. Universität Paderborn, 2014. mla: Bano, Dorina. Modeling and Matching of Reputation of Services in On-The-Fly Computing. Universität Paderborn, 2014. short: D. Bano, Modeling and Matching of Reputation of Services in On-The-Fly Computing, Universität Paderborn, 2014. date_created: 2017-10-17T12:42:09Z date_updated: 2022-01-06T07:00:00Z project: - _id: '1' name: SFB 901 - _id: '9' name: SFB 901 - Subprojekt B1 - _id: '3' name: SFB 901 - Project Area B publisher: Universität Paderborn status: public title: Modeling and Matching of Reputation of Services in On-The-Fly Computing type: mastersthesis user_id: '15504' year: '2014' ... --- _id: '397' abstract: - lang: eng text: We present a factor $14D^2$ approximation algorithm for the minimum linear arrangement problem on series-parallel graphs, where $D$ is the maximum degree in the graph. Given a suitable decomposition of the graph, our algorithm runs in time $O(|E|)$ and is very easy to implement. Its divide-and-conquer approach allows for an effective parallelization. Note that a suitable decomposition can also be computed in time $O(|E|\log{|E|})$ (or even $O(\log{|E|}\log^*{|E|})$ on an EREW PRAM using $O(|E|)$ processors). For the proof of the approximation ratio, we use a sophisticated charging method that uses techniques similar to amortized analysis in advanced data structures. On general graphs, the minimum linear arrangement problem is known to be NP-hard. To the best of our knowledge, the minimum linear arrangement problem on series-parallel graphs has not been studied before. author: - first_name: Christian full_name: Scheideler, Christian id: '20792' last_name: Scheideler - first_name: Martina full_name: Eikel, Martina last_name: Eikel - first_name: Alexander full_name: Setzer, Alexander id: '11108' last_name: Setzer citation: ama: 'Scheideler C, Eikel M, Setzer A. Minimum Linear Arrangement of Series-Parallel Graphs. In: Proceedings of the 12th Workshop on Approximation and Online Algorithms (WAOA). LNCS. ; 2014:168--180.' apa: Scheideler, C., Eikel, M., & Setzer, A. (2014). Minimum Linear Arrangement of Series-Parallel Graphs. In Proceedings of the 12th Workshop on Approximation and Online Algorithms (WAOA) (pp. 168--180). bibtex: '@inproceedings{Scheideler_Eikel_Setzer_2014, series={LNCS}, title={Minimum Linear Arrangement of Series-Parallel Graphs}, booktitle={Proceedings of the 12th Workshop on Approximation and Online Algorithms (WAOA)}, author={Scheideler, Christian and Eikel, Martina and Setzer, Alexander}, year={2014}, pages={168--180}, collection={LNCS} }' chicago: Scheideler, Christian, Martina Eikel, and Alexander Setzer. “Minimum Linear Arrangement of Series-Parallel Graphs.” In Proceedings of the 12th Workshop on Approximation and Online Algorithms (WAOA), 168--180. LNCS, 2014. ieee: C. Scheideler, M. Eikel, and A. Setzer, “Minimum Linear Arrangement of Series-Parallel Graphs,” in Proceedings of the 12th Workshop on Approximation and Online Algorithms (WAOA), 2014, pp. 168--180. mla: Scheideler, Christian, et al. “Minimum Linear Arrangement of Series-Parallel Graphs.” Proceedings of the 12th Workshop on Approximation and Online Algorithms (WAOA), 2014, pp. 168--180. short: 'C. Scheideler, M. Eikel, A. Setzer, in: Proceedings of the 12th Workshop on Approximation and Online Algorithms (WAOA), 2014, pp. 168--180.' date_created: 2017-10-17T12:42:09Z date_updated: 2022-01-06T07:00:02Z ddc: - '040' department: - _id: '79' file: - access_level: closed content_type: application/pdf creator: florida date_created: 2018-03-20T06:58:44Z date_updated: 2018-03-20T06:58:44Z file_id: '1381' file_name: 397-WAOA14_01.pdf file_size: 365818 relation: main_file success: 1 file_date_updated: 2018-03-20T06:58:44Z has_accepted_license: '1' page: 168--180 project: - _id: '1' name: SFB 901 - _id: '5' name: SFB 901 - Subprojekt A1 - _id: '2' name: SFB 901 - Project Area A publication: Proceedings of the 12th Workshop on Approximation and Online Algorithms (WAOA) series_title: LNCS status: public title: Minimum Linear Arrangement of Series-Parallel Graphs type: conference user_id: '15504' year: '2014' ... --- _id: '399' abstract: - lang: eng text: Ensuring memory access security is a challenge for reconfigurable systems with multiple cores. Previous work introduced access monitors attached to the memory subsystem to ensure that the cores adhere to pre-defined protocols when accessing memory. In this paper, we combine access monitors with a formal runtime verification technique known as proof-carrying hardware to guarantee memory security. We extend previous work on proof-carrying hardware by covering sequential circuits and demonstrate our approach with a prototype leveraging ReconOS/Zynq with an embedded ZUMA virtual FPGA overlay. Experiments show the feasibility of the approach and the capabilities of the prototype, which constitutes the first realization of proof-carrying hardware on real FPGAs. The area overheads for the virtual FPGA are measured as 2x-10x, depending on the resource type. The delay overhead is substantial with almost 100x, but this is an extremely pessimistic estimate that will be lowered once accurate timing analysis for FPGA overlays become available. Finally, reconfiguration time for the virtual FPGA is about one order of magnitude lower than for the native Zynq fabric. author: - first_name: Tobias full_name: Wiersema, Tobias id: '3118' last_name: Wiersema - first_name: Stephanie full_name: Drzevitzky, Stephanie last_name: Drzevitzky - first_name: Marco full_name: Platzner, Marco id: '398' last_name: Platzner citation: ama: 'Wiersema T, Drzevitzky S, Platzner M. Memory Security in Reconfigurable Computers: Combining Formal Verification with Monitoring. In: Proceedings of the International Conference on Field-Programmable Technology (FPT). ; 2014:167-174. doi:10.1109/FPT.2014.7082771' apa: 'Wiersema, T., Drzevitzky, S., & Platzner, M. (2014). Memory Security in Reconfigurable Computers: Combining Formal Verification with Monitoring. In Proceedings of the International Conference on Field-Programmable Technology (FPT) (pp. 167–174). https://doi.org/10.1109/FPT.2014.7082771' bibtex: '@inproceedings{Wiersema_Drzevitzky_Platzner_2014, title={Memory Security in Reconfigurable Computers: Combining Formal Verification with Monitoring}, DOI={10.1109/FPT.2014.7082771}, booktitle={Proceedings of the International Conference on Field-Programmable Technology (FPT)}, author={Wiersema, Tobias and Drzevitzky, Stephanie and Platzner, Marco}, year={2014}, pages={167–174} }' chicago: 'Wiersema, Tobias, Stephanie Drzevitzky, and Marco Platzner. “Memory Security in Reconfigurable Computers: Combining Formal Verification with Monitoring.” In Proceedings of the International Conference on Field-Programmable Technology (FPT), 167–74, 2014. https://doi.org/10.1109/FPT.2014.7082771.' ieee: 'T. Wiersema, S. Drzevitzky, and M. Platzner, “Memory Security in Reconfigurable Computers: Combining Formal Verification with Monitoring,” in Proceedings of the International Conference on Field-Programmable Technology (FPT), 2014, pp. 167–174.' mla: 'Wiersema, Tobias, et al. “Memory Security in Reconfigurable Computers: Combining Formal Verification with Monitoring.” Proceedings of the International Conference on Field-Programmable Technology (FPT), 2014, pp. 167–74, doi:10.1109/FPT.2014.7082771.' short: 'T. Wiersema, S. Drzevitzky, M. Platzner, in: Proceedings of the International Conference on Field-Programmable Technology (FPT), 2014, pp. 167–174.' date_created: 2017-10-17T12:42:09Z date_updated: 2022-01-06T07:00:05Z ddc: - '040' department: - _id: '78' doi: 10.1109/FPT.2014.7082771 file: - access_level: closed content_type: application/pdf creator: florida date_created: 2018-03-20T06:57:44Z date_updated: 2018-03-20T06:57:44Z file_id: '1380' file_name: 399-wiersema14_fpt_IEEE_approved.pdf file_size: 404328 relation: main_file success: 1 file_date_updated: 2018-03-20T06:57:44Z has_accepted_license: '1' language: - iso: eng page: 167-174 project: - _id: '1' name: SFB 901 - _id: '12' name: SFB 901 - Subprojekt B4 - _id: '3' name: SFB 901 - Project Area B publication: Proceedings of the International Conference on Field-Programmable Technology (FPT) status: public title: 'Memory Security in Reconfigurable Computers: Combining Formal Verification with Monitoring' type: conference user_id: '477' year: '2014' ... --- _id: '400' author: - first_name: Mirko full_name: Bunse, Mirko last_name: Bunse citation: ama: 'Bunse M. Measuring Transformation-Induced Uncertainty in Service Matching: A Feasibility Study. Universität Paderborn; 2014.' apa: 'Bunse, M. (2014). Measuring Transformation-induced Uncertainty in Service Matching: A Feasibility Study. Universität Paderborn.' bibtex: '@book{Bunse_2014, title={Measuring Transformation-induced Uncertainty in Service Matching: A Feasibility Study}, publisher={Universität Paderborn}, author={Bunse, Mirko}, year={2014} }' chicago: 'Bunse, Mirko. Measuring Transformation-Induced Uncertainty in Service Matching: A Feasibility Study. Universität Paderborn, 2014.' ieee: 'M. Bunse, Measuring Transformation-induced Uncertainty in Service Matching: A Feasibility Study. Universität Paderborn, 2014.' mla: 'Bunse, Mirko. Measuring Transformation-Induced Uncertainty in Service Matching: A Feasibility Study. Universität Paderborn, 2014.' short: 'M. Bunse, Measuring Transformation-Induced Uncertainty in Service Matching: A Feasibility Study, Universität Paderborn, 2014.' date_created: 2017-10-17T12:42:09Z date_updated: 2022-01-06T07:00:06Z project: - _id: '1' name: SFB 901 - _id: '9' name: SFB 901 - Subprojekt B1 - _id: '3' name: SFB 901 - Project Area B publisher: Universität Paderborn status: public title: 'Measuring Transformation-induced Uncertainty in Service Matching: A Feasibility Study' type: bachelorsthesis user_id: '15504' year: '2014' ... --- _id: '401' abstract: - lang: eng text: Service matching approaches determine to what extent a provided service matches a requester's requirements. This process is based on service specifications describing functional (e.g., signatures) as well as non-functional properties (e.g., privacy policies). However, we cannot expect service specifications to be complete as providers do not want to share all details of their services' implementation. Moreover, creating complete specifications requires much effort. In this paper, we propose a novel service matching approach taking into account a service's signatures and privacy policies. In particular, our approach applies fuzzy matching techniques that are able to deal with incomplete service specifications. As a benefit, decision-making based on matching results is improved and service matching becomes better applicable in practice. author: - first_name: Marie Christin full_name: Platenius, Marie Christin last_name: Platenius - first_name: Svetlana full_name: Arifulina, Svetlana last_name: Arifulina - first_name: Ronald full_name: Petrlic, Ronald last_name: Petrlic - first_name: Wilhelm full_name: Schäfer, Wilhelm last_name: Schäfer citation: ama: 'Platenius MC, Arifulina S, Petrlic R, Schäfer W. Matching of Incomplete Service Specifications Exemplified by Privacy Policy Matching. In: Proceedings of the 4th International Workshop on Adaptive Services for the Future Internet. Communications in Computer and Information Science. ; 2014:6-17. doi:10.1007/978-3-319-14886-1_2' apa: Platenius, M. C., Arifulina, S., Petrlic, R., & Schäfer, W. (2014). Matching of Incomplete Service Specifications Exemplified by Privacy Policy Matching. In Proceedings of the 4th International Workshop on Adaptive Services for the Future Internet (pp. 6–17). https://doi.org/10.1007/978-3-319-14886-1_2 bibtex: '@inproceedings{Platenius_Arifulina_Petrlic_Schäfer_2014, series={Communications in Computer and Information Science}, title={Matching of Incomplete Service Specifications Exemplified by Privacy Policy Matching}, DOI={10.1007/978-3-319-14886-1_2}, booktitle={Proceedings of the 4th International Workshop on Adaptive Services for the Future Internet}, author={Platenius, Marie Christin and Arifulina, Svetlana and Petrlic, Ronald and Schäfer, Wilhelm}, year={2014}, pages={6–17}, collection={Communications in Computer and Information Science} }' chicago: Platenius, Marie Christin, Svetlana Arifulina, Ronald Petrlic, and Wilhelm Schäfer. “Matching of Incomplete Service Specifications Exemplified by Privacy Policy Matching.” In Proceedings of the 4th International Workshop on Adaptive Services for the Future Internet, 6–17. Communications in Computer and Information Science, 2014. https://doi.org/10.1007/978-3-319-14886-1_2. ieee: M. C. Platenius, S. Arifulina, R. Petrlic, and W. Schäfer, “Matching of Incomplete Service Specifications Exemplified by Privacy Policy Matching,” in Proceedings of the 4th International Workshop on Adaptive Services for the Future Internet, 2014, pp. 6–17. mla: Platenius, Marie Christin, et al. “Matching of Incomplete Service Specifications Exemplified by Privacy Policy Matching.” Proceedings of the 4th International Workshop on Adaptive Services for the Future Internet, 2014, pp. 6–17, doi:10.1007/978-3-319-14886-1_2. short: 'M.C. Platenius, S. Arifulina, R. Petrlic, W. Schäfer, in: Proceedings of the 4th International Workshop on Adaptive Services for the Future Internet, 2014, pp. 6–17.' date_created: 2017-10-17T12:42:10Z date_updated: 2022-01-06T07:00:07Z ddc: - '040' department: - _id: '66' - _id: '76' doi: 10.1007/978-3-319-14886-1_2 file: - access_level: closed content_type: application/pdf creator: florida date_created: 2018-03-16T11:38:13Z date_updated: 2018-03-16T11:38:13Z file_id: '1367' file_name: 401-WAS4FI2014.pdf file_size: 396656 relation: main_file success: 1 file_date_updated: 2018-03-16T11:38:13Z has_accepted_license: '1' language: - iso: eng page: 6-17 project: - _id: '1' name: SFB 901 - _id: '9' name: SFB 901 - Subprojekt B1 - _id: '13' name: SFB 901 - Subprojekt C1 - _id: '3' name: SFB 901 - Project Area B - _id: '4' name: SFB 901 - Project Area C publication: Proceedings of the 4th International Workshop on Adaptive Services for the Future Internet series_title: Communications in Computer and Information Science status: public title: Matching of Incomplete Service Specifications Exemplified by Privacy Policy Matching type: conference user_id: '477' year: '2014' ... --- _id: '402' abstract: - lang: eng text: Various approaches in service engineering are based on servicemarkets where brokers use service matching in order to performservice discovery. For matching, a broker translates the specifications ofproviders' services and requesters' requirements into her own specificationlanguage, in order to check their compliance using a matcher. Thebroker's success depends on the configuration of her language and itsmatcher because they in uence important properties like the effort forproviders and requesters to create suitable specifications as well as accuracyand runtime of matching. However, neither existing service specification languages, nor existing matching approaches are optimized insuch way. Our approach automatically provides brokers with an optimalconfiguration of a language and its matcher to improve her success ina given market with respect to her strategy. The approach is based onformalized configuration properties and a predefined set of configurationrules. author: - first_name: Svetlana full_name: Arifulina, Svetlana last_name: Arifulina - first_name: Marie Christin full_name: Platenius, Marie Christin last_name: Platenius - first_name: Christian full_name: Gerth, Christian last_name: Gerth - first_name: Steffen full_name: Becker, Steffen last_name: Becker - first_name: Gregor full_name: Engels, Gregor id: '107' last_name: Engels - first_name: Wilhelm full_name: Schäfer, Wilhelm last_name: Schäfer citation: ama: 'Arifulina S, Platenius MC, Gerth C, Becker S, Engels G, Schäfer W. Market-optimized Service Specification and Matching. In: Franch X, Ghose A, Lewis G, Bhiri S, eds. Proceedings of the 12th International Conference on Service Oriented Computing (ICSOC 2014). LNCS. ; 2014:543-550. doi:10.1007/978-3-662-45391-9_47' apa: Arifulina, S., Platenius, M. C., Gerth, C., Becker, S., Engels, G., & Schäfer, W. (2014). Market-optimized Service Specification and Matching. In X. Franch, A. Ghose, G. Lewis, & S. Bhiri (Eds.), Proceedings of the 12th International Conference on Service Oriented Computing (ICSOC 2014) (pp. 543–550). https://doi.org/10.1007/978-3-662-45391-9_47 bibtex: '@inproceedings{Arifulina_Platenius_Gerth_Becker_Engels_Schäfer_2014, series={LNCS}, title={Market-optimized Service Specification and Matching}, DOI={10.1007/978-3-662-45391-9_47}, booktitle={Proceedings of the 12th International Conference on Service Oriented Computing (ICSOC 2014)}, author={Arifulina, Svetlana and Platenius, Marie Christin and Gerth, Christian and Becker, Steffen and Engels, Gregor and Schäfer, Wilhelm}, editor={Franch, Xavier and Ghose, AdityaK. and Lewis, GraceA. and Bhiri, SamiEditors}, year={2014}, pages={543–550}, collection={LNCS} }' chicago: Arifulina, Svetlana, Marie Christin Platenius, Christian Gerth, Steffen Becker, Gregor Engels, and Wilhelm Schäfer. “Market-Optimized Service Specification and Matching.” In Proceedings of the 12th International Conference on Service Oriented Computing (ICSOC 2014), edited by Xavier Franch, AdityaK. Ghose, GraceA. Lewis, and Sami Bhiri, 543–50. LNCS, 2014. https://doi.org/10.1007/978-3-662-45391-9_47. ieee: S. Arifulina, M. C. Platenius, C. Gerth, S. Becker, G. Engels, and W. Schäfer, “Market-optimized Service Specification and Matching,” in Proceedings of the 12th International Conference on Service Oriented Computing (ICSOC 2014), 2014, pp. 543–550. mla: Arifulina, Svetlana, et al. “Market-Optimized Service Specification and Matching.” Proceedings of the 12th International Conference on Service Oriented Computing (ICSOC 2014), edited by Xavier Franch et al., 2014, pp. 543–50, doi:10.1007/978-3-662-45391-9_47. short: 'S. Arifulina, M.C. Platenius, C. Gerth, S. Becker, G. Engels, W. Schäfer, in: X. Franch, A. Ghose, G. Lewis, S. Bhiri (Eds.), Proceedings of the 12th International Conference on Service Oriented Computing (ICSOC 2014), 2014, pp. 543–550.' date_created: 2017-10-17T12:42:10Z date_updated: 2022-01-06T07:00:07Z ddc: - '040' department: - _id: '66' - _id: '76' doi: 10.1007/978-3-662-45391-9_47 editor: - first_name: Xavier full_name: Franch, Xavier last_name: Franch - first_name: AdityaK. full_name: Ghose, AdityaK. last_name: Ghose - first_name: GraceA. full_name: Lewis, GraceA. last_name: Lewis - first_name: Sami full_name: Bhiri, Sami last_name: Bhiri file: - access_level: closed content_type: application/pdf creator: florida date_created: 2018-03-16T11:38:59Z date_updated: 2018-03-16T11:38:59Z file_id: '1368' file_name: 402-ICSOC2014.pdf file_size: 377432 relation: main_file success: 1 file_date_updated: 2018-03-16T11:38:59Z has_accepted_license: '1' language: - iso: eng page: 543-550 project: - _id: '1' name: SFB 901 - _id: '9' name: SFB 901 - Subprojekt B1 - _id: '11' name: SFB 901 - Subproject B3 - _id: '3' name: SFB 901 - Project Area B publication: Proceedings of the 12th International Conference on Service Oriented Computing (ICSOC 2014) series_title: LNCS status: public title: Market-optimized Service Specification and Matching type: conference user_id: '477' year: '2014' ... --- _id: '403' author: - first_name: Tobias full_name: Martin Lohre, Tobias last_name: Martin Lohre citation: ama: Martin Lohre T. Machtverteilungen von Koalitionen im Fokus der politischen Realität. Universität Paderborn; 2014. apa: Martin Lohre, T. (2014). Machtverteilungen von Koalitionen im Fokus der politischen Realität. Universität Paderborn. bibtex: '@book{Martin Lohre_2014, title={Machtverteilungen von Koalitionen im Fokus der politischen Realität}, publisher={Universität Paderborn}, author={Martin Lohre, Tobias}, year={2014} }' chicago: Martin Lohre, Tobias. Machtverteilungen von Koalitionen im Fokus der politischen Realität. Universität Paderborn, 2014. ieee: T. Martin Lohre, Machtverteilungen von Koalitionen im Fokus der politischen Realität. Universität Paderborn, 2014. mla: Martin Lohre, Tobias. Machtverteilungen von Koalitionen im Fokus der politischen Realität. Universität Paderborn, 2014. short: T. Martin Lohre, Machtverteilungen von Koalitionen im Fokus der politischen Realität, Universität Paderborn, 2014. date_created: 2017-10-17T12:42:10Z date_updated: 2022-01-06T07:00:08Z language: - iso: ger project: - _id: '1' name: SFB 901 - _id: '7' name: SFB 901 - Subprojekt A3 - _id: '2' name: SFB 901 - Project Area A publisher: Universität Paderborn status: public title: Machtverteilungen von Koalitionen im Fokus der politischen Realität type: bachelorsthesis user_id: '477' year: '2014' ... --- _id: '404' author: - first_name: Dirk full_name: van Straaten, Dirk id: '10311' last_name: van Straaten citation: ama: van Straaten D. Kooperative Verhandlungen im duopolistischen Wettbewerb - eine spieltheoretische Analyse. Universität Paderborn; 2014. apa: van Straaten, D. (2014). Kooperative Verhandlungen im duopolistischen Wettbewerb - eine spieltheoretische Analyse. Universität Paderborn. bibtex: '@book{van Straaten_2014, title={Kooperative Verhandlungen im duopolistischen Wettbewerb - eine spieltheoretische Analyse}, publisher={Universität Paderborn}, author={van Straaten, Dirk}, year={2014} }' chicago: Straaten, Dirk van. Kooperative Verhandlungen im duopolistischen Wettbewerb - eine spieltheoretische Analyse. Universität Paderborn, 2014. ieee: D. van Straaten, Kooperative Verhandlungen im duopolistischen Wettbewerb - eine spieltheoretische Analyse. Universität Paderborn, 2014. mla: van Straaten, Dirk. Kooperative Verhandlungen im duopolistischen Wettbewerb - eine spieltheoretische Analyse. Universität Paderborn, 2014. short: D. van Straaten, Kooperative Verhandlungen im duopolistischen Wettbewerb - eine spieltheoretische Analyse, Universität Paderborn, 2014. date_created: 2017-10-17T12:42:10Z date_updated: 2022-01-06T07:00:08Z language: - iso: ger project: - _id: '1' name: SFB 901 - _id: '7' name: SFB 901 - Subprojekt A3 - _id: '2' name: SFB 901 - Project Area A publisher: Universität Paderborn status: public title: Kooperative Verhandlungen im duopolistischen Wettbewerb - eine spieltheoretische Analyse type: mastersthesis user_id: '477' year: '2014' ... --- _id: '405' author: - first_name: Olga full_name: Degraf, Olga last_name: Degraf citation: ama: Degraf O. Koalitionsbildung bei mehrdimensionalen Verhandlungsproblemen. Universität Paderborn; 2014. apa: Degraf, O. (2014). Koalitionsbildung bei mehrdimensionalen Verhandlungsproblemen. Universität Paderborn. bibtex: '@book{Degraf_2014, title={Koalitionsbildung bei mehrdimensionalen Verhandlungsproblemen}, publisher={Universität Paderborn}, author={Degraf, Olga}, year={2014} }' chicago: Degraf, Olga. Koalitionsbildung bei mehrdimensionalen Verhandlungsproblemen. Universität Paderborn, 2014. ieee: O. Degraf, Koalitionsbildung bei mehrdimensionalen Verhandlungsproblemen. Universität Paderborn, 2014. mla: Degraf, Olga. Koalitionsbildung bei mehrdimensionalen Verhandlungsproblemen. Universität Paderborn, 2014. short: O. Degraf, Koalitionsbildung bei mehrdimensionalen Verhandlungsproblemen, Universität Paderborn, 2014. date_created: 2017-10-17T12:42:10Z date_updated: 2022-01-06T07:00:10Z language: - iso: ger project: - _id: '1' name: SFB 901 - _id: '7' name: SFB 901 - Subprojekt A3 - _id: '2' name: SFB 901 - Project Area A publisher: Universität Paderborn status: public title: Koalitionsbildung bei mehrdimensionalen Verhandlungsproblemen type: bachelorsthesis user_id: '477' year: '2014' ... --- _id: '4052' abstract: - lang: eng text: In this contribution we report on the optical properties of cubic AlN/GaN asymmetric multi quantum wells (MQW) structures on 3C-SiC/Si (001) substrates grown by radio-frequency plasma-assisted molecular beam epitaxy (MBE). Scanning transmission electron microscopy (STEM) and spatially resolved cathodoluminescence (CL) at room temperature and at low temperature are used to characterize the optical properties of the cubic AlN/GaN MQW structures. An increasing CL emission intensity with increasing film thickness due to the improved crystal quality was observed. This correlation can be directly connected to the reduction of the linewidth of x-ray rocking curves with increasing film thickness of the c-GaN films. Defects like stacking faults (SFs) on the {111} planes, which also can be considered as hexagonal inclusions in the cubic crystal matrix, lead to a decrease of the CL emission intensity. With low temperature CL line scans also monolayer fluctuations of the QWs have been detected and the observed transition energies agree well with solutions calculated using a one-dimensional (1D) Schrödinger-Poisson simulator. article_number: mrsf14-1736-t03-03 article_type: original author: - first_name: D.J. full_name: As, D.J. last_name: As - first_name: R. full_name: Kemper, R. last_name: Kemper - first_name: C. full_name: Mietze, C. last_name: Mietze - first_name: T. full_name: Wecker, T. last_name: Wecker - first_name: Jörg full_name: Lindner, Jörg id: '20797' last_name: Lindner - first_name: P. full_name: Veit, P. last_name: Veit - first_name: A. full_name: Dempewolf, A. last_name: Dempewolf - first_name: F. full_name: Bertram, F. last_name: Bertram - first_name: J. full_name: Christen, J. last_name: Christen citation: ama: As DJ, Kemper R, Mietze C, et al. Spatially resolved optical emission of cubic GaN/AlN multi-quantum well structures. MRS Proceedings. 2014;1736. doi:10.1557/opl.2014.944 apa: As, D. J., Kemper, R., Mietze, C., Wecker, T., Lindner, J., Veit, P., … Christen, J. (2014). Spatially resolved optical emission of cubic GaN/AlN multi-quantum well structures. MRS Proceedings, 1736. https://doi.org/10.1557/opl.2014.944 bibtex: '@article{As_Kemper_Mietze_Wecker_Lindner_Veit_Dempewolf_Bertram_Christen_2014, title={Spatially resolved optical emission of cubic GaN/AlN multi-quantum well structures}, volume={1736}, DOI={10.1557/opl.2014.944}, number={mrsf14-1736-t03-03}, journal={MRS Proceedings}, publisher={Cambridge University Press (CUP)}, author={As, D.J. and Kemper, R. and Mietze, C. and Wecker, T. and Lindner, Jörg and Veit, P. and Dempewolf, A. and Bertram, F. and Christen, J.}, year={2014} }' chicago: As, D.J., R. Kemper, C. Mietze, T. Wecker, Jörg Lindner, P. Veit, A. Dempewolf, F. Bertram, and J. Christen. “Spatially Resolved Optical Emission of Cubic GaN/AlN Multi-Quantum Well Structures.” MRS Proceedings 1736 (2014). https://doi.org/10.1557/opl.2014.944. ieee: D. J. As et al., “Spatially resolved optical emission of cubic GaN/AlN multi-quantum well structures,” MRS Proceedings, vol. 1736, 2014. mla: As, D. J., et al. “Spatially Resolved Optical Emission of Cubic GaN/AlN Multi-Quantum Well Structures.” MRS Proceedings, vol. 1736, mrsf14-1736-t03-03, Cambridge University Press (CUP), 2014, doi:10.1557/opl.2014.944. short: D.J. As, R. Kemper, C. Mietze, T. Wecker, J. Lindner, P. Veit, A. Dempewolf, F. Bertram, J. Christen, MRS Proceedings 1736 (2014). date_created: 2018-08-22T11:36:57Z date_updated: 2022-01-06T07:00:10Z department: - _id: '286' - _id: '15' doi: 10.1557/opl.2014.944 intvolume: ' 1736' language: - iso: eng publication: MRS Proceedings publication_identifier: issn: - 1946-4274 publication_status: published publisher: Cambridge University Press (CUP) status: public title: Spatially resolved optical emission of cubic GaN/AlN multi-quantum well structures type: journal_article user_id: '55706' volume: 1736 year: '2014' ...