[{"user_id":"15572","_id":"766","date_updated":"2022-01-06T07:03:43Z","status":"public","title":"Specifying and Placing Chains of Virtual Network Functions","year":"2014","author":[{"first_name":"Sevil","last_name":"Mehraghdam","full_name":"Mehraghdam, Sevil"},{"first_name":"Matthias","last_name":"Keller","full_name":"Keller, Matthias"},{"id":"126","full_name":"Karl, Holger","last_name":"Karl","first_name":"Holger"}],"type":"preprint","department":[{"_id":"75"}],"date_created":"2017-11-27T10:22:25Z","publication":"CoRR","citation":{"bibtex":"@article{Mehraghdam_Keller_Karl_2014, title={Specifying and Placing Chains of Virtual Network Functions}, journal={CoRR}, author={Mehraghdam, Sevil and Keller, Matthias and Karl, Holger}, year={2014} }","ama":"Mehraghdam S, Keller M, Karl H. Specifying and Placing Chains of Virtual Network Functions. <i>CoRR</i>. 2014.","mla":"Mehraghdam, Sevil, et al. “Specifying and Placing Chains of Virtual Network Functions.” <i>CoRR</i>, 2014.","chicago":"Mehraghdam, Sevil, Matthias Keller, and Holger Karl. “Specifying and Placing Chains of Virtual Network Functions.” <i>CoRR</i>, 2014.","short":"S. Mehraghdam, M. Keller, H. Karl, CoRR (2014).","ieee":"S. Mehraghdam, M. Keller, and H. Karl, “Specifying and Placing Chains of Virtual Network Functions,” <i>CoRR</i>. 2014.","apa":"Mehraghdam, S., Keller, M., &#38; Karl, H. (2014). Specifying and Placing Chains of Virtual Network Functions. <i>CoRR</i>."}},{"author":[{"full_name":"Wette, Philip","first_name":"Philip","last_name":"Wette"},{"id":"126","first_name":"Holger","last_name":"Karl","full_name":"Karl, Holger"}],"year":"2014","title":"DCT²Gen: A Versatile TCP Traffic Generator for Data Centers","status":"public","date_updated":"2022-01-06T07:03:43Z","_id":"767","user_id":"15572","citation":{"mla":"Wette, Philip, and Holger Karl. “DCT<sup>2</sup>Gen: A Versatile TCP Traffic Generator for Data Centers.” <i>CoRR</i>, 2014.","bibtex":"@article{Wette_Karl_2014, title={DCT<sup>2</sup>Gen: A Versatile TCP Traffic Generator for Data Centers}, journal={CoRR}, author={Wette, Philip and Karl, Holger}, year={2014} }","ama":"Wette P, Karl H. DCT<sup>2</sup>Gen: A Versatile TCP Traffic Generator for Data Centers. <i>CoRR</i>. 2014.","ieee":"P. Wette and H. Karl, “DCT<sup>2</sup>Gen: A Versatile TCP Traffic Generator for Data Centers,” <i>CoRR</i>. 2014.","apa":"Wette, P., &#38; Karl, H. (2014). DCT<sup>2</sup>Gen: A Versatile TCP Traffic Generator for Data Centers. <i>CoRR</i>.","chicago":"Wette, Philip, and Holger Karl. “DCT<sup>2</sup>Gen: A Versatile TCP Traffic Generator for Data Centers.” <i>CoRR</i>, 2014.","short":"P. Wette, H. Karl, CoRR (2014)."},"publication":"CoRR","date_created":"2017-11-27T10:22:25Z","department":[{"_id":"75"}],"type":"preprint"},{"type":"preprint","department":[{"_id":"75"}],"date_created":"2017-11-27T10:22:26Z","publication":"CoRR","citation":{"bibtex":"@article{Schwabe_Karl_2014, title={Adding Geographical Embedding to AS Topology Generation}, journal={CoRR}, author={Schwabe, Arne and Karl, Holger}, year={2014} }","ama":"Schwabe A, Karl H. Adding Geographical Embedding to AS Topology Generation. <i>CoRR</i>. 2014.","mla":"Schwabe, Arne, and Holger Karl. “Adding Geographical Embedding to AS Topology Generation.” <i>CoRR</i>, 2014.","short":"A. Schwabe, H. Karl, CoRR (2014).","chicago":"Schwabe, Arne, and Holger Karl. “Adding Geographical Embedding to AS Topology Generation.” <i>CoRR</i>, 2014.","ieee":"A. Schwabe and H. Karl, “Adding Geographical Embedding to AS Topology Generation,” <i>CoRR</i>. 2014.","apa":"Schwabe, A., &#38; Karl, H. (2014). Adding Geographical Embedding to AS Topology Generation. <i>CoRR</i>."},"user_id":"15572","_id":"768","date_updated":"2022-01-06T07:03:43Z","title":"Adding Geographical Embedding to AS Topology Generation","status":"public","year":"2014","author":[{"last_name":"Schwabe","first_name":"Arne","full_name":"Schwabe, Arne"},{"last_name":"Karl","first_name":"Holger","full_name":"Karl, Holger","id":"126"}]},{"type":"book_chapter","department":[{"_id":"10"}],"date_created":"2019-03-25T15:35:12Z","place":"Wiesbaden","extern":"1","publication":"Mit Werkzeugen Mathematik und Stochastik lernen – Using Tools for Learning Mathematics and Statistics","citation":{"bibtex":"@inbook{Liebendörfer_Ostsieker_2014, place={Wiesbaden}, title={Mathematik als Werkzeug: Sicht- und Arbeitsweisen von Studierenden am Anfang ihres Mathematikstudiums}, booktitle={Mit Werkzeugen Mathematik und Stochastik lernen – Using Tools for Learning Mathematics and Statistics}, publisher={Springer Fachmedien Wiesbaden}, author={Liebendörfer, Michael and Ostsieker, Laura}, editor={Wassong, Thomas and Frischemeier, Daniel and Fischer, Pascal R. and Hochmuth, Reinhard and Bender, PeterEditors}, year={2014}, pages={453–462} }","chicago":"Liebendörfer, Michael, and Laura Ostsieker. “Mathematik Als Werkzeug: Sicht- Und Arbeitsweisen von Studierenden Am Anfang Ihres Mathematikstudiums.” In <i>Mit Werkzeugen Mathematik Und Stochastik Lernen – Using Tools for Learning Mathematics and Statistics</i>, edited by Thomas Wassong, Daniel Frischemeier, Pascal R. Fischer, Reinhard Hochmuth, and Peter Bender, 453–62. Wiesbaden: Springer Fachmedien Wiesbaden, 2014.","ama":"Liebendörfer M, Ostsieker L. Mathematik als Werkzeug: Sicht- und Arbeitsweisen von Studierenden am Anfang ihres Mathematikstudiums. In: Wassong T, Frischemeier D, Fischer PR, Hochmuth R, Bender P, eds. <i>Mit Werkzeugen Mathematik Und Stochastik Lernen – Using Tools for Learning Mathematics and Statistics</i>. Wiesbaden: Springer Fachmedien Wiesbaden; 2014:453-462.","short":"M. Liebendörfer, L. Ostsieker, in: T. Wassong, D. Frischemeier, P.R. Fischer, R. Hochmuth, P. Bender (Eds.), Mit Werkzeugen Mathematik Und Stochastik Lernen – Using Tools for Learning Mathematics and Statistics, Springer Fachmedien Wiesbaden, Wiesbaden, 2014, pp. 453–462.","ieee":"M. Liebendörfer and L. Ostsieker, “Mathematik als Werkzeug: Sicht- und Arbeitsweisen von Studierenden am Anfang ihres Mathematikstudiums,” in <i>Mit Werkzeugen Mathematik und Stochastik lernen – Using Tools for Learning Mathematics and Statistics</i>, T. Wassong, D. Frischemeier, P. R. Fischer, R. Hochmuth, and P. Bender, Eds. Wiesbaden: Springer Fachmedien Wiesbaden, 2014, pp. 453–462.","mla":"Liebendörfer, Michael, and Laura Ostsieker. “Mathematik Als Werkzeug: Sicht- Und Arbeitsweisen von Studierenden Am Anfang Ihres Mathematikstudiums.” <i>Mit Werkzeugen Mathematik Und Stochastik Lernen – Using Tools for Learning Mathematics and Statistics</i>, edited by Thomas Wassong et al., Springer Fachmedien Wiesbaden, 2014, pp. 453–62.","apa":"Liebendörfer, M., &#38; Ostsieker, L. (2014). Mathematik als Werkzeug: Sicht- und Arbeitsweisen von Studierenden am Anfang ihres Mathematikstudiums. In T. Wassong, D. Frischemeier, P. R. Fischer, R. Hochmuth, &#38; P. Bender (Eds.), <i>Mit Werkzeugen Mathematik und Stochastik lernen – Using Tools for Learning Mathematics and Statistics</i> (pp. 453–462). Wiesbaden: Springer Fachmedien Wiesbaden."},"user_id":"30933","editor":[{"full_name":"Wassong, Thomas","first_name":"Thomas","last_name":"Wassong"},{"full_name":"Frischemeier, Daniel","first_name":"Daniel","last_name":"Frischemeier"},{"first_name":"Pascal R.","last_name":"Fischer","full_name":"Fischer, Pascal R."},{"full_name":"Hochmuth, Reinhard","first_name":"Reinhard","last_name":"Hochmuth"},{"first_name":"Peter","last_name":"Bender","full_name":"Bender, Peter"}],"page":"453-462","publisher":"Springer Fachmedien Wiesbaden","_id":"8550","language":[{"iso":"eng"}],"date_updated":"2022-01-06T07:03:56Z","year":"2014","status":"public","title":"Mathematik als Werkzeug: Sicht- und Arbeitsweisen von Studierenden am Anfang ihres Mathematikstudiums","author":[{"id":"30933","first_name":"Michael","orcid":"0000-0001-9887-2074","last_name":"Liebendörfer","full_name":"Liebendörfer, Michael"},{"first_name":"Laura","last_name":"Ostsieker","full_name":"Ostsieker, Laura"}],"publication_identifier":{"isbn":["978-3-658-03103-9 978-3-658-03104-6"]}},{"status":"public","page":"153","_id":"8554","publisher":"PME","user_id":"30933","editor":[{"last_name":"Nicol","first_name":"C.","full_name":"Nicol, C."},{"full_name":"Oesterle, S.","last_name":"Oesterle","first_name":"S."},{"full_name":"Liljedahl, Peter","last_name":"Liljedahl","first_name":"Peter"},{"first_name":"D.","last_name":"Allan","full_name":"Allan, D."}],"volume":6,"citation":{"short":"M. Liebendörfer, R. Hochmuth, J. Kolter, S. Schukajlow, in: C. Nicol, S. Oesterle, P. Liljedahl, D. Allan (Eds.), Proceedings of the 38th Conference of the International Group for the Psychology of Mathematics Education an the 36th Conference of the North American Chapter of the Psychology of Mathematics Education, PME, Vancouver, 2014, p. 153.","chicago":"Liebendörfer, Michael, Reinhard Hochmuth, Jana Kolter, and Stanislaw Schukajlow. “The Mathematical Beliefs and Interest Development of Pre-Service Primary Teachers.” In <i>Proceedings of the 38th Conference of the International Group for the Psychology of Mathematics Education an the 36th Conference of the North American Chapter of the Psychology of Mathematics Education</i>, edited by C. Nicol, S. Oesterle, Peter Liljedahl, and D. Allan, 6:153. Vancouver: PME, 2014.","ieee":"M. Liebendörfer, R. Hochmuth, J. Kolter, and S. Schukajlow, “The Mathematical Beliefs and Interest Development of Pre-Service Primary Teachers,” in <i>Proceedings of the 38th Conference of the International Group for the Psychology of Mathematics Education an the 36th Conference of the North American Chapter of the Psychology of Mathematics Education</i>, 2014, vol. 6, p. 153.","apa":"Liebendörfer, M., Hochmuth, R., Kolter, J., &#38; Schukajlow, S. (2014). The Mathematical Beliefs and Interest Development of Pre-Service Primary Teachers. In C. Nicol, S. Oesterle, P. Liljedahl, &#38; D. Allan (Eds.), <i>Proceedings of the 38th Conference of the International Group for the Psychology of Mathematics Education an the 36th Conference of the North American Chapter of the Psychology of Mathematics Education</i> (Vol. 6, p. 153). Vancouver: PME.","bibtex":"@inproceedings{Liebendörfer_Hochmuth_Kolter_Schukajlow_2014, place={Vancouver}, title={The Mathematical Beliefs and Interest Development of Pre-Service Primary Teachers}, volume={6}, booktitle={Proceedings of the 38th Conference of the International Group for the Psychology of Mathematics Education an the 36th Conference of the North American Chapter of the Psychology of Mathematics Education}, publisher={PME}, author={Liebendörfer, Michael and Hochmuth, Reinhard and Kolter, Jana and Schukajlow, Stanislaw}, editor={Nicol, C. and Oesterle, S. and Liljedahl, Peter and Allan, D.Editors}, year={2014}, pages={153} }","ama":"Liebendörfer M, Hochmuth R, Kolter J, Schukajlow S. The Mathematical Beliefs and Interest Development of Pre-Service Primary Teachers. In: Nicol C, Oesterle S, Liljedahl P, Allan D, eds. <i>Proceedings of the 38th Conference of the International Group for the Psychology of Mathematics Education an the 36th Conference of the North American Chapter of the Psychology of Mathematics Education</i>. Vol 6. Vancouver: PME; 2014:153.","mla":"Liebendörfer, Michael, et al. “The Mathematical Beliefs and Interest Development of Pre-Service Primary Teachers.” <i>Proceedings of the 38th Conference of the International Group for the Psychology of Mathematics Education an the 36th Conference of the North American Chapter of the Psychology of Mathematics Education</i>, edited by C. Nicol et al., vol. 6, PME, 2014, p. 153."},"quality_controlled":"1","place":"Vancouver","title":"The Mathematical Beliefs and Interest Development of Pre-Service Primary Teachers","year":"2014","author":[{"orcid":"0000-0001-9887-2074","last_name":"Liebendörfer","first_name":"Michael","full_name":"Liebendörfer, Michael","id":"30933"},{"first_name":"Reinhard","last_name":"Hochmuth","full_name":"Hochmuth, Reinhard"},{"last_name":"Kolter","first_name":"Jana","full_name":"Kolter, Jana"},{"last_name":"Schukajlow","first_name":"Stanislaw","full_name":"Schukajlow, Stanislaw"}],"date_updated":"2022-01-06T07:03:57Z","intvolume":"         6","language":[{"iso":"eng"}],"publication":"Proceedings of the 38th Conference of the International Group for the Psychology of Mathematics Education an the 36th Conference of the North American Chapter of the Psychology of Mathematics Education","extern":"1","date_created":"2019-03-25T15:35:17Z","type":"conference","department":[{"_id":"10"}]},{"date_created":"2019-03-25T15:35:21Z","type":"journal_article","department":[{"_id":"10"}],"publication":"Oberwolfach Reports","issue":"4","citation":{"chicago":"Liebendörfer, Michael. “Self-Determination and Interest Development of First-Year Mathematics Students.” <i>Oberwolfach Reports</i> 11, no. 4 (2014): 3132–35.","ama":"Liebendörfer M. Self-determination and interest development of first-year mathematics students. <i>Oberwolfach Reports</i>. 2014;11(4):3132-3135.","short":"M. Liebendörfer, Oberwolfach Reports 11 (2014) 3132–3135.","bibtex":"@article{Liebendörfer_2014, title={Self-determination and interest development of first-year mathematics students}, volume={11}, number={4}, journal={Oberwolfach Reports}, author={Liebendörfer, Michael}, year={2014}, pages={3132–3135} }","apa":"Liebendörfer, M. (2014). Self-determination and interest development of first-year mathematics students. <i>Oberwolfach Reports</i>, <i>11</i>(4), 3132–3135.","mla":"Liebendörfer, Michael. “Self-Determination and Interest Development of First-Year Mathematics Students.” <i>Oberwolfach Reports</i>, vol. 11, no. 4, 2014, pp. 3132–35.","ieee":"M. Liebendörfer, “Self-determination and interest development of first-year mathematics students,” <i>Oberwolfach Reports</i>, vol. 11, no. 4, pp. 3132–3135, 2014."},"extern":"1","page":"3132-3135","language":[{"iso":"eng"}],"_id":"8557","user_id":"30933","volume":11,"status":"public","year":"2014","title":"Self-determination and interest development of first-year mathematics students","author":[{"id":"30933","first_name":"Michael","last_name":"Liebendörfer","orcid":"0000-0001-9887-2074","full_name":"Liebendörfer, Michael"}],"date_updated":"2022-01-06T07:03:57Z","intvolume":"        11"},{"date_updated":"2022-01-06T07:03:57Z","year":"2014","title":"Vorstellung eines Fragebogens zur Erfassung von Lernstrategien in mathematikhaltigen Studiengängen","status":"public","author":[{"id":"30933","last_name":"Liebendörfer","first_name":"Michael","orcid":"0000-0001-9887-2074","full_name":"Liebendörfer, Michael"},{"full_name":"Hochmuth, Reinhard","first_name":"Reinhard","last_name":"Hochmuth"},{"full_name":"Schreiber, Stephan","last_name":"Schreiber","first_name":"Stephan"},{"last_name":"Göller","first_name":"Robin","full_name":"Göller, Robin"},{"first_name":"Jana","last_name":"Kolter","full_name":"Kolter, Jana"},{"full_name":"Biehler, Rolf","last_name":"Biehler","first_name":"Rolf"},{"first_name":"Jörg","last_name":"Kortemeyer","full_name":"Kortemeyer, Jörg"},{"full_name":"Ostsieker, Laura","last_name":"Ostsieker","first_name":"Laura"}],"user_id":"30933","editor":[{"full_name":"Roth, Jürgen","first_name":"Jürgen","last_name":"Roth"},{"last_name":"Ames","first_name":"J.","full_name":"Ames, J."}],"page":"739-742","_id":"8561","language":[{"iso":"eng"}],"publisher":"WTM-Verlag","extern":"1","publication":"Beiträge zum Mathematikunterricht 2014","citation":{"ama":"Liebendörfer M, Hochmuth R, Schreiber S, et al. Vorstellung eines Fragebogens zur Erfassung von Lernstrategien in mathematikhaltigen Studiengängen. In: Roth J, Ames J, eds. <i>Beiträge Zum Mathematikunterricht 2014</i>. Münster: WTM-Verlag; 2014:739-742.","short":"M. Liebendörfer, R. Hochmuth, S. Schreiber, R. Göller, J. Kolter, R. Biehler, J. Kortemeyer, L. Ostsieker, in: J. Roth, J. Ames (Eds.), Beiträge Zum Mathematikunterricht 2014, WTM-Verlag, Münster, 2014, pp. 739–742.","chicago":"Liebendörfer, Michael, Reinhard Hochmuth, Stephan Schreiber, Robin Göller, Jana Kolter, Rolf Biehler, Jörg Kortemeyer, and Laura Ostsieker. “Vorstellung Eines Fragebogens Zur Erfassung von Lernstrategien in Mathematikhaltigen Studiengängen.” In <i>Beiträge Zum Mathematikunterricht 2014</i>, edited by Jürgen Roth and J. Ames, 739–42. Münster: WTM-Verlag, 2014.","bibtex":"@inbook{Liebendörfer_Hochmuth_Schreiber_Göller_Kolter_Biehler_Kortemeyer_Ostsieker_2014, place={Münster}, title={Vorstellung eines Fragebogens zur Erfassung von Lernstrategien in mathematikhaltigen Studiengängen}, booktitle={Beiträge zum Mathematikunterricht 2014}, publisher={WTM-Verlag}, author={Liebendörfer, Michael and Hochmuth, Reinhard and Schreiber, Stephan and Göller, Robin and Kolter, Jana and Biehler, Rolf and Kortemeyer, Jörg and Ostsieker, Laura}, editor={Roth, Jürgen and Ames, J.Editors}, year={2014}, pages={739–742} }","mla":"Liebendörfer, Michael, et al. “Vorstellung Eines Fragebogens Zur Erfassung von Lernstrategien in Mathematikhaltigen Studiengängen.” <i>Beiträge Zum Mathematikunterricht 2014</i>, edited by Jürgen Roth and J. Ames, WTM-Verlag, 2014, pp. 739–42.","apa":"Liebendörfer, M., Hochmuth, R., Schreiber, S., Göller, R., Kolter, J., Biehler, R., … Ostsieker, L. (2014). Vorstellung eines Fragebogens zur Erfassung von Lernstrategien in mathematikhaltigen Studiengängen. In J. Roth &#38; J. Ames (Eds.), <i>Beiträge zum Mathematikunterricht 2014</i> (pp. 739–742). Münster: WTM-Verlag.","ieee":"M. Liebendörfer <i>et al.</i>, “Vorstellung eines Fragebogens zur Erfassung von Lernstrategien in mathematikhaltigen Studiengängen,” in <i>Beiträge zum Mathematikunterricht 2014</i>, J. Roth and J. Ames, Eds. Münster: WTM-Verlag, 2014, pp. 739–742."},"type":"book_chapter","department":[{"_id":"10"}],"date_created":"2019-03-25T15:35:25Z","place":"Münster"},{"date_created":"2019-04-08T07:37:33Z","type":"mastersthesis","department":[{"_id":"66"}],"supervisor":[{"full_name":"Gerth, Christian","first_name":"Christian","last_name":"Gerth"},{"id":"107","first_name":"Gregor","last_name":"Engels","full_name":"Engels, Gregor"}],"citation":{"short":"I. Jovanovikj, Detection and Resolution of Data-Flow Differences in Business Process Models, 2014.","chicago":"Jovanovikj, Ivan. <i>Detection and Resolution of Data-Flow Differences in Business Process Models</i>, 2014.","apa":"Jovanovikj, I. (2014). <i>Detection and Resolution of Data-Flow Differences in Business Process Models</i>.","ieee":"I. Jovanovikj, <i>Detection and Resolution of Data-Flow Differences in Business Process Models</i>. 2014.","ama":"Jovanovikj I. <i>Detection and Resolution of Data-Flow Differences in Business Process Models</i>.; 2014.","bibtex":"@book{Jovanovikj_2014, title={Detection and Resolution of Data-Flow Differences in Business Process Models}, author={Jovanovikj, Ivan}, year={2014} }","mla":"Jovanovikj, Ivan. <i>Detection and Resolution of Data-Flow Differences in Business Process Models</i>. 2014."},"extern":"1","language":[{"iso":"eng"}],"_id":"8842","user_id":"39187","title":"Detection and Resolution of Data-Flow Differences in Business Process Models","status":"public","year":"2014","author":[{"full_name":"Jovanovikj, Ivan","last_name":"Jovanovikj","first_name":"Ivan","orcid":"https://orcid.org/0000-0002-1838-794X","id":"39187"}],"date_updated":"2022-01-06T07:04:03Z"},{"author":[{"full_name":"Foreback, Dianne","last_name":"Foreback","first_name":"Dianne"},{"full_name":"Koutsopoulos, Andreas","first_name":"Andreas","last_name":"Koutsopoulos"},{"full_name":"Nesterenko, Mikhail","last_name":"Nesterenko","first_name":"Mikhail"},{"id":"20792","first_name":"Christian","last_name":"Scheideler","full_name":"Scheideler, Christian"},{"full_name":"Strothmann, Thim Frederik","last_name":"Strothmann","first_name":"Thim Frederik","id":"11319"}],"title":"On Stabilizing Departures in Overlay Networks","year":"2014","date_updated":"2022-01-06T06:59:56Z","language":[{"iso":"eng"}],"series_title":"LNCS","doi":"10.1007/978-3-319-11764-5_4","publication":"Proceedings of the 16th International Symposium on Stabilization, Safety, and Security of Distributed Systems","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."}],"date_created":"2017-10-17T12:42:08Z","file":[{"creator":"florida","date_created":"2018-03-20T07:00:28Z","file_name":"393-departures.pdf","file_size":287539,"access_level":"closed","relation":"main_file","date_updated":"2018-03-20T07:00:28Z","file_id":"1384","content_type":"application/pdf","success":1}],"department":[{"_id":"79"}],"type":"conference","status":"public","has_accepted_license":"1","_id":"393","page":"48--62","user_id":"477","ddc":["040"],"citation":{"ieee":"D. Foreback, A. Koutsopoulos, M. Nesterenko, C. Scheideler, and T. F. Strothmann, “On Stabilizing Departures in Overlay Networks,” in <i>Proceedings of the 16th International Symposium on Stabilization, Safety, and Security of Distributed Systems</i>, 2014, pp. 48--62.","apa":"Foreback, D., Koutsopoulos, A., Nesterenko, M., Scheideler, C., &#38; Strothmann, T. F. (2014). On Stabilizing Departures in Overlay Networks. In <i>Proceedings of the 16th International Symposium on Stabilization, Safety, and Security of Distributed Systems</i> (pp. 48--62). <a href=\"https://doi.org/10.1007/978-3-319-11764-5_4\">https://doi.org/10.1007/978-3-319-11764-5_4</a>","chicago":"Foreback, Dianne, Andreas Koutsopoulos, Mikhail Nesterenko, Christian Scheideler, and Thim Frederik Strothmann. “On Stabilizing Departures in Overlay Networks.” In <i>Proceedings of the 16th International Symposium on Stabilization, Safety, and Security of Distributed Systems</i>, 48--62. LNCS, 2014. <a href=\"https://doi.org/10.1007/978-3-319-11764-5_4\">https://doi.org/10.1007/978-3-319-11764-5_4</a>.","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.","mla":"Foreback, Dianne, et al. “On Stabilizing Departures in Overlay Networks.” <i>Proceedings of the 16th International Symposium on Stabilization, Safety, and Security of Distributed Systems</i>, 2014, pp. 48--62, doi:<a href=\"https://doi.org/10.1007/978-3-319-11764-5_4\">10.1007/978-3-319-11764-5_4</a>.","bibtex":"@inproceedings{Foreback_Koutsopoulos_Nesterenko_Scheideler_Strothmann_2014, series={LNCS}, title={On Stabilizing Departures in Overlay Networks}, DOI={<a href=\"https://doi.org/10.1007/978-3-319-11764-5_4\">10.1007/978-3-319-11764-5_4</a>}, 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} }","ama":"Foreback D, Koutsopoulos A, Nesterenko M, Scheideler C, Strothmann TF. On Stabilizing Departures in Overlay Networks. In: <i>Proceedings of the 16th International Symposium on Stabilization, Safety, and Security of Distributed Systems</i>. LNCS. ; 2014:48--62. doi:<a href=\"https://doi.org/10.1007/978-3-319-11764-5_4\">10.1007/978-3-319-11764-5_4</a>"},"file_date_updated":"2018-03-20T07:00:28Z","project":[{"_id":"1","name":"SFB 901"},{"name":"SFB 901 - Subprojekt A1","_id":"5"},{"_id":"2","name":"SFB 901 - Project Area A"}]},{"file_date_updated":"2018-08-20T10:00:33Z","citation":{"mla":"Hoekstra, Hugo J. W. M., and Manfred Hammer. “General Relation for Group Delay and the Relevance of Group Delay for Refractometric Sensing.” <i>Journal of the Optical Society of America B</i>, vol. 31, no. 7, 1561–1567, The Optical Society, 2014, doi:<a href=\"https://doi.org/10.1364/josab.31.001561\">10.1364/josab.31.001561</a>.","bibtex":"@article{Hoekstra_Hammer_2014, title={General relation for group delay and the relevance of group delay for refractometric sensing}, volume={31}, DOI={<a href=\"https://doi.org/10.1364/josab.31.001561\">10.1364/josab.31.001561</a>}, 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} }","ama":"Hoekstra HJWM, Hammer M. General relation for group delay and the relevance of group delay for refractometric sensing. <i>Journal of the Optical Society of America B</i>. 2014;31(7). doi:<a href=\"https://doi.org/10.1364/josab.31.001561\">10.1364/josab.31.001561</a>","ieee":"H. J. W. M. Hoekstra and M. Hammer, “General relation for group delay and the relevance of group delay for refractometric sensing,” <i>Journal of the Optical Society of America B</i>, vol. 31, no. 7, 2014.","apa":"Hoekstra, H. J. W. M., &#38; Hammer, M. (2014). General relation for group delay and the relevance of group delay for refractometric sensing. <i>Journal of the Optical Society of America B</i>, <i>31</i>(7). <a href=\"https://doi.org/10.1364/josab.31.001561\">https://doi.org/10.1364/josab.31.001561</a>","short":"H.J.W.M. Hoekstra, M. Hammer, Journal of the Optical Society of America B 31 (2014).","chicago":"Hoekstra, Hugo J. W. M., and Manfred Hammer. “General Relation for Group Delay and the Relevance of Group Delay for Refractometric Sensing.” <i>Journal of the Optical Society of America B</i> 31, no. 7 (2014). <a href=\"https://doi.org/10.1364/josab.31.001561\">https://doi.org/10.1364/josab.31.001561</a>."},"status":"public","has_accepted_license":"1","_id":"3937","publisher":"The Optical Society","ddc":["530"],"user_id":"55706","volume":31,"issue":"7","publication":"Journal of the Optical Society of America B","abstract":[{"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.","lang":"eng"}],"file":[{"date_created":"2018-08-20T10:00:33Z","creator":"hclaudia","success":1,"content_type":"application/pdf","file_id":"3938","access_level":"closed","file_size":364221,"file_name":"2014_07_Hoekstra,Hammer_General relation for group delay and the relevance of group delay for refractometric sensing_OSA.pdf","date_updated":"2018-08-20T10:00:33Z","relation":"main_file"}],"date_created":"2018-08-20T09:59:35Z","keyword":["tet_topic_waveguide"],"type":"journal_article","department":[{"_id":"61"}],"year":"2014","title":"General relation for group delay and the relevance of group delay for refractometric sensing","author":[{"full_name":"Hoekstra, Hugo J. W. M.","first_name":"Hugo J. W. M.","last_name":"Hoekstra"},{"full_name":"Hammer, Manfred","last_name":"Hammer","first_name":"Manfred","orcid":"0000-0002-6331-9348","id":"48077"}],"publication_identifier":{"issn":["0740-3224","1520-8540"]},"date_updated":"2022-01-06T06:59:57Z","publication_status":"published","intvolume":"        31","article_type":"original","article_number":"1561-1567","language":[{"iso":"eng"}],"doi":"10.1364/josab.31.001561"},{"file_date_updated":"2018-03-20T06:59:55Z","citation":{"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.","chicago":"Schwichtenberg, Simon, Christian Gerth, Zille Huma, and Gregor Engels. “Normalizing Heterogeneous Service Description Models with Generated QVT Transformations.” In <i>Proceedings of the 10th European Conference on Modelling Foundations and Applications (ECMFA)</i>, 180–95. LNCS, 2014. <a href=\"https://doi.org/10.1007/978-3-319-09195-2_12\">https://doi.org/10.1007/978-3-319-09195-2_12</a>.","ieee":"S. Schwichtenberg, C. Gerth, Z. Huma, and G. Engels, “Normalizing Heterogeneous Service Description Models with Generated QVT Transformations,” in <i>Proceedings of the 10th European Conference on Modelling Foundations and Applications (ECMFA)</i>, 2014, pp. 180–195.","apa":"Schwichtenberg, S., Gerth, C., Huma, Z., &#38; Engels, G. (2014). Normalizing Heterogeneous Service Description Models with Generated QVT Transformations. In <i>Proceedings of the 10th European Conference on Modelling Foundations and Applications (ECMFA)</i> (pp. 180–195). <a href=\"https://doi.org/10.1007/978-3-319-09195-2_12\">https://doi.org/10.1007/978-3-319-09195-2_12</a>","bibtex":"@inproceedings{Schwichtenberg_Gerth_Huma_Engels_2014, series={LNCS}, title={Normalizing Heterogeneous Service Description Models with Generated QVT Transformations}, DOI={<a href=\"https://doi.org/10.1007/978-3-319-09195-2_12\">10.1007/978-3-319-09195-2_12</a>}, 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} }","ama":"Schwichtenberg S, Gerth C, Huma Z, Engels G. Normalizing Heterogeneous Service Description Models with Generated QVT Transformations. In: <i>Proceedings of the 10th European Conference on Modelling Foundations and Applications (ECMFA)</i>. LNCS. ; 2014:180-195. doi:<a href=\"https://doi.org/10.1007/978-3-319-09195-2_12\">10.1007/978-3-319-09195-2_12</a>","mla":"Schwichtenberg, Simon, et al. “Normalizing Heterogeneous Service Description Models with Generated QVT Transformations.” <i>Proceedings of the 10th European Conference on Modelling Foundations and Applications (ECMFA)</i>, 2014, pp. 180–95, doi:<a href=\"https://doi.org/10.1007/978-3-319-09195-2_12\">10.1007/978-3-319-09195-2_12</a>."},"project":[{"name":"SFB 901","_id":"1"},{"name":"SFB 901 - Subprojekt B1","_id":"9"},{"name":"SFB 901 - Project Area B","_id":"3"}],"status":"public","has_accepted_license":"1","page":"180-195","_id":"394","user_id":"477","ddc":["040"],"publication":"Proceedings of the 10th European Conference on Modelling Foundations and Applications (ECMFA)","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."}],"file":[{"relation":"main_file","date_updated":"2018-03-20T06:59:55Z","file_name":"394-SGHE14.pdf","file_size":1107805,"access_level":"closed","file_id":"1383","content_type":"application/pdf","success":1,"creator":"florida","date_created":"2018-03-20T06:59:55Z"}],"date_created":"2017-10-17T12:42:08Z","type":"conference","department":[{"_id":"66"}],"title":"Normalizing Heterogeneous Service Description Models with Generated QVT Transformations","year":"2014","author":[{"first_name":"Simon","last_name":"Schwichtenberg","full_name":"Schwichtenberg, Simon","id":"13235"},{"full_name":"Gerth, Christian","first_name":"Christian","last_name":"Gerth"},{"full_name":"Huma, Zille","last_name":"Huma","first_name":"Zille"},{"id":"107","full_name":"Engels, Gregor","first_name":"Gregor","last_name":"Engels"}],"date_updated":"2022-01-06T06:59:58Z","series_title":"LNCS","language":[{"iso":"eng"}],"doi":"10.1007/978-3-319-09195-2_12"},{"page":"435-440","_id":"395","ddc":["040"],"user_id":"15415","status":"public","has_accepted_license":"1","file_date_updated":"2018-03-20T06:59:20Z","citation":{"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.","chicago":"Abshoff, Sebastian, Andreas Cord-Landwehr, Daniel Jung, and Alexander Skopalik. “Multilevel Network Games.” In <i>Proceedings of the 10th International Conference on Web and Internet Economics (WINE)</i>, 435–40. LNCS, 2014. <a href=\"https://doi.org/10.1007/978-3-319-13129-0_36\">https://doi.org/10.1007/978-3-319-13129-0_36</a>.","ieee":"S. Abshoff, A. Cord-Landwehr, D. Jung, and A. Skopalik, “Multilevel Network Games,” in <i>Proceedings of the 10th International Conference on Web and Internet Economics (WINE)</i>, 2014, pp. 435–440.","apa":"Abshoff, S., Cord-Landwehr, A., Jung, D., &#38; Skopalik, A. (2014). Multilevel Network Games. In <i>Proceedings of the 10th International Conference on Web and Internet Economics (WINE)</i> (pp. 435–440). <a href=\"https://doi.org/10.1007/978-3-319-13129-0_36\">https://doi.org/10.1007/978-3-319-13129-0_36</a>","bibtex":"@inproceedings{Abshoff_Cord-Landwehr_Jung_Skopalik_2014, series={LNCS}, title={Multilevel Network Games}, DOI={<a href=\"https://doi.org/10.1007/978-3-319-13129-0_36\">10.1007/978-3-319-13129-0_36</a>}, 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} }","ama":"Abshoff S, Cord-Landwehr A, Jung D, Skopalik A. Multilevel Network Games. In: <i>Proceedings of the 10th International Conference on Web and Internet Economics (WINE)</i>. LNCS. ; 2014:435-440. doi:<a href=\"https://doi.org/10.1007/978-3-319-13129-0_36\">10.1007/978-3-319-13129-0_36</a>","mla":"Abshoff, Sebastian, et al. “Multilevel Network Games.” <i>Proceedings of the 10th International Conference on Web and Internet Economics (WINE)</i>, 2014, pp. 435–40, doi:<a href=\"https://doi.org/10.1007/978-3-319-13129-0_36\">10.1007/978-3-319-13129-0_36</a>."},"project":[{"_id":"1","name":"SFB 901"},{"name":"SFB 901 - Subprojekt A3","_id":"7"},{"_id":"5","name":"SFB 901 - Subprojekt A1"},{"name":"SFB 901 - Project Area A","_id":"2"}],"language":[{"iso":"eng"}],"series_title":"LNCS","doi":"10.1007/978-3-319-13129-0_36","year":"2014","title":"Multilevel Network Games","author":[{"last_name":"Abshoff","first_name":"Sebastian","full_name":"Abshoff, Sebastian"},{"last_name":"Cord-Landwehr","first_name":"Andreas","full_name":"Cord-Landwehr, Andreas"},{"full_name":"Jung, Daniel","last_name":"Jung","first_name":"Daniel","id":"37827"},{"id":"40384","first_name":"Alexander","last_name":"Skopalik","full_name":"Skopalik, Alexander"}],"date_updated":"2022-01-06T06:59:59Z","file":[{"creator":"florida","date_created":"2018-03-20T06:59:20Z","relation":"main_file","date_updated":"2018-03-20T06:59:20Z","file_name":"395-WINE2014ACJS.pdf","access_level":"closed","file_size":161479,"file_id":"1382","success":1,"content_type":"application/pdf"}],"date_created":"2017-10-17T12:42:09Z","type":"conference","department":[{"_id":"63"},{"_id":"541"}],"publication":"Proceedings of the 10th International Conference on Web and Internet Economics (WINE)","abstract":[{"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.","lang":"eng"}]},{"department":[{"_id":"79"}],"type":"conference","date_created":"2017-10-17T12:42:09Z","file":[{"creator":"florida","date_created":"2018-03-20T06:58:44Z","date_updated":"2018-03-20T06:58:44Z","relation":"main_file","access_level":"closed","file_size":365818,"file_name":"397-WAOA14_01.pdf","success":1,"content_type":"application/pdf","file_id":"1381"}],"abstract":[{"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.","lang":"eng"}],"publication":"Proceedings of the 12th Workshop on Approximation and Online Algorithms (WAOA)","series_title":"LNCS","date_updated":"2022-01-06T07:00:02Z","author":[{"id":"20792","full_name":"Scheideler, Christian","first_name":"Christian","last_name":"Scheideler"},{"last_name":"Eikel","first_name":"Martina","full_name":"Eikel, Martina"},{"id":"11108","full_name":"Setzer, Alexander","first_name":"Alexander","last_name":"Setzer"}],"year":"2014","title":"Minimum Linear Arrangement of Series-Parallel Graphs","project":[{"_id":"1","name":"SFB 901"},{"_id":"5","name":"SFB 901 - Subprojekt A1"},{"_id":"2","name":"SFB 901 - Project Area A"}],"citation":{"chicago":"Scheideler, Christian, Martina Eikel, and Alexander Setzer. “Minimum Linear Arrangement of Series-Parallel Graphs.” In <i>Proceedings of the 12th Workshop on Approximation and Online Algorithms (WAOA)</i>, 168--180. LNCS, 2014.","short":"C. Scheideler, M. Eikel, A. Setzer, in: Proceedings of the 12th Workshop on Approximation and Online Algorithms (WAOA), 2014, pp. 168--180.","ieee":"C. Scheideler, M. Eikel, and A. Setzer, “Minimum Linear Arrangement of Series-Parallel Graphs,” in <i>Proceedings of the 12th Workshop on Approximation and Online Algorithms (WAOA)</i>, 2014, pp. 168--180.","apa":"Scheideler, C., Eikel, M., &#38; Setzer, A. (2014). Minimum Linear Arrangement of Series-Parallel Graphs. In <i>Proceedings of the 12th Workshop on Approximation and Online Algorithms (WAOA)</i> (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} }","ama":"Scheideler C, Eikel M, Setzer A. Minimum Linear Arrangement of Series-Parallel Graphs. In: <i>Proceedings of the 12th Workshop on Approximation and Online Algorithms (WAOA)</i>. LNCS. ; 2014:168--180.","mla":"Scheideler, Christian, et al. “Minimum Linear Arrangement of Series-Parallel Graphs.” <i>Proceedings of the 12th Workshop on Approximation and Online Algorithms (WAOA)</i>, 2014, pp. 168--180."},"file_date_updated":"2018-03-20T06:58:44Z","user_id":"15504","ddc":["040"],"_id":"397","page":"168--180","has_accepted_license":"1","status":"public"},{"citation":{"ieee":"T. Wiersema, S. Drzevitzky, and M. Platzner, “Memory Security in Reconfigurable Computers: Combining Formal Verification with Monitoring,” in <i>Proceedings of the International Conference on Field-Programmable Technology (FPT)</i>, 2014, pp. 167–174.","apa":"Wiersema, T., Drzevitzky, S., &#38; Platzner, M. (2014). Memory Security in Reconfigurable Computers: Combining Formal Verification with Monitoring. In <i>Proceedings of the International Conference on Field-Programmable Technology (FPT)</i> (pp. 167–174). <a href=\"https://doi.org/10.1109/FPT.2014.7082771\">https://doi.org/10.1109/FPT.2014.7082771</a>","chicago":"Wiersema, Tobias, Stephanie Drzevitzky, and Marco Platzner. “Memory Security in Reconfigurable Computers: Combining Formal Verification with Monitoring.” In <i>Proceedings of the International Conference on Field-Programmable Technology (FPT)</i>, 167–74, 2014. <a href=\"https://doi.org/10.1109/FPT.2014.7082771\">https://doi.org/10.1109/FPT.2014.7082771</a>.","short":"T. Wiersema, S. Drzevitzky, M. Platzner, 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.” <i>Proceedings of the International Conference on Field-Programmable Technology (FPT)</i>, 2014, pp. 167–74, doi:<a href=\"https://doi.org/10.1109/FPT.2014.7082771\">10.1109/FPT.2014.7082771</a>.","bibtex":"@inproceedings{Wiersema_Drzevitzky_Platzner_2014, title={Memory Security in Reconfigurable Computers: Combining Formal Verification with Monitoring}, DOI={<a href=\"https://doi.org/10.1109/FPT.2014.7082771\">10.1109/FPT.2014.7082771</a>}, 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} }","ama":"Wiersema T, Drzevitzky S, Platzner M. Memory Security in Reconfigurable Computers: Combining Formal Verification with Monitoring. In: <i>Proceedings of the International Conference on Field-Programmable Technology (FPT)</i>. ; 2014:167-174. doi:<a href=\"https://doi.org/10.1109/FPT.2014.7082771\">10.1109/FPT.2014.7082771</a>"},"file_date_updated":"2018-03-20T06:57:44Z","project":[{"name":"SFB 901","_id":"1"},{"name":"SFB 901 - Subprojekt B4","_id":"12"},{"_id":"3","name":"SFB 901 - Project Area B"}],"status":"public","has_accepted_license":"1","_id":"399","page":"167-174","ddc":["040"],"user_id":"477","publication":"Proceedings of the International Conference on Field-Programmable Technology (FPT)","abstract":[{"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.","lang":"eng"}],"date_created":"2017-10-17T12:42:09Z","file":[{"file_id":"1380","success":1,"content_type":"application/pdf","relation":"main_file","date_updated":"2018-03-20T06:57:44Z","file_name":"399-wiersema14_fpt_IEEE_approved.pdf","access_level":"closed","file_size":404328,"date_created":"2018-03-20T06:57:44Z","creator":"florida"}],"department":[{"_id":"78"}],"type":"conference","author":[{"id":"3118","full_name":"Wiersema, Tobias","last_name":"Wiersema","first_name":"Tobias"},{"last_name":"Drzevitzky","first_name":"Stephanie","full_name":"Drzevitzky, Stephanie"},{"id":"398","full_name":"Platzner, Marco","first_name":"Marco","last_name":"Platzner"}],"year":"2014","title":"Memory Security in Reconfigurable Computers: Combining Formal Verification with Monitoring","date_updated":"2022-01-06T07:00:05Z","language":[{"iso":"eng"}],"doi":"10.1109/FPT.2014.7082771"},{"abstract":[{"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.","lang":"eng"}],"publication":"Proceedings of the 4th International Workshop on Adaptive Services for the Future Internet","department":[{"_id":"66"},{"_id":"76"}],"type":"conference","date_created":"2017-10-17T12:42:10Z","file":[{"relation":"main_file","date_updated":"2018-03-16T11:38:13Z","file_name":"401-WAS4FI2014.pdf","file_size":396656,"access_level":"closed","file_id":"1367","content_type":"application/pdf","success":1,"creator":"florida","date_created":"2018-03-16T11:38:13Z"}],"date_updated":"2022-01-06T07:00:07Z","author":[{"first_name":"Marie Christin","last_name":"Platenius","full_name":"Platenius, Marie Christin"},{"full_name":"Arifulina, Svetlana","first_name":"Svetlana","last_name":"Arifulina"},{"last_name":"Petrlic","first_name":"Ronald","full_name":"Petrlic, Ronald"},{"last_name":"Schäfer","first_name":"Wilhelm","full_name":"Schäfer, Wilhelm"}],"year":"2014","title":"Matching of Incomplete Service Specifications Exemplified by Privacy Policy Matching","doi":"10.1007/978-3-319-14886-1_2","series_title":"Communications in Computer and Information Science","language":[{"iso":"eng"}],"project":[{"name":"SFB 901","_id":"1"},{"_id":"9","name":"SFB 901 - Subprojekt B1"},{"name":"SFB 901 - Subprojekt C1","_id":"13"},{"_id":"3","name":"SFB 901 - Project Area B"},{"name":"SFB 901 - Project Area C","_id":"4"}],"citation":{"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={<a href=\"https://doi.org/10.1007/978-3-319-14886-1_2\">10.1007/978-3-319-14886-1_2</a>}, 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} }","ama":"Platenius MC, Arifulina S, Petrlic R, Schäfer W. Matching of Incomplete Service Specifications Exemplified by Privacy Policy Matching. In: <i>Proceedings of the 4th International Workshop on Adaptive Services for the Future Internet</i>. Communications in Computer and Information Science. ; 2014:6-17. doi:<a href=\"https://doi.org/10.1007/978-3-319-14886-1_2\">10.1007/978-3-319-14886-1_2</a>","mla":"Platenius, Marie Christin, et al. “Matching of Incomplete Service Specifications Exemplified by Privacy Policy Matching.” <i>Proceedings of the 4th International Workshop on Adaptive Services for the Future Internet</i>, 2014, pp. 6–17, doi:<a href=\"https://doi.org/10.1007/978-3-319-14886-1_2\">10.1007/978-3-319-14886-1_2</a>.","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.","chicago":"Platenius, Marie Christin, Svetlana Arifulina, Ronald Petrlic, and Wilhelm Schäfer. “Matching of Incomplete Service Specifications Exemplified by Privacy Policy Matching.” In <i>Proceedings of the 4th International Workshop on Adaptive Services for the Future Internet</i>, 6–17. Communications in Computer and Information Science, 2014. <a href=\"https://doi.org/10.1007/978-3-319-14886-1_2\">https://doi.org/10.1007/978-3-319-14886-1_2</a>.","ieee":"M. C. Platenius, S. Arifulina, R. Petrlic, and W. Schäfer, “Matching of Incomplete Service Specifications Exemplified by Privacy Policy Matching,” in <i>Proceedings of the 4th International Workshop on Adaptive Services for the Future Internet</i>, 2014, pp. 6–17.","apa":"Platenius, M. C., Arifulina, S., Petrlic, R., &#38; Schäfer, W. (2014). Matching of Incomplete Service Specifications Exemplified by Privacy Policy Matching. In <i>Proceedings of the 4th International Workshop on Adaptive Services for the Future Internet</i> (pp. 6–17). <a href=\"https://doi.org/10.1007/978-3-319-14886-1_2\">https://doi.org/10.1007/978-3-319-14886-1_2</a>"},"file_date_updated":"2018-03-16T11:38:13Z","has_accepted_license":"1","status":"public","user_id":"477","ddc":["040"],"_id":"401","page":"6-17"},{"publication":"Proceedings of the 12th International Conference on Service Oriented Computing (ICSOC 2014)","abstract":[{"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.","lang":"eng"}],"file":[{"file_name":"402-ICSOC2014.pdf","access_level":"closed","file_size":377432,"relation":"main_file","date_updated":"2018-03-16T11:38:59Z","file_id":"1368","content_type":"application/pdf","success":1,"creator":"florida","date_created":"2018-03-16T11:38:59Z"}],"date_created":"2017-10-17T12:42:10Z","type":"conference","department":[{"_id":"66"},{"_id":"76"}],"title":"Market-optimized Service Specification and Matching","year":"2014","author":[{"full_name":"Arifulina, Svetlana","first_name":"Svetlana","last_name":"Arifulina"},{"full_name":"Platenius, Marie Christin","first_name":"Marie Christin","last_name":"Platenius"},{"full_name":"Gerth, Christian","last_name":"Gerth","first_name":"Christian"},{"last_name":"Becker","first_name":"Steffen","full_name":"Becker, Steffen"},{"full_name":"Engels, Gregor","last_name":"Engels","first_name":"Gregor","id":"107"},{"last_name":"Schäfer","first_name":"Wilhelm","full_name":"Schäfer, Wilhelm"}],"date_updated":"2022-01-06T07:00:07Z","series_title":"LNCS","language":[{"iso":"eng"}],"doi":"10.1007/978-3-662-45391-9_47","file_date_updated":"2018-03-16T11:38:59Z","citation":{"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.","chicago":"Arifulina, Svetlana, Marie Christin Platenius, Christian Gerth, Steffen Becker, Gregor Engels, and Wilhelm Schäfer. “Market-Optimized Service Specification and Matching.” In <i>Proceedings of the 12th International Conference on Service Oriented Computing (ICSOC 2014)</i>, edited by Xavier Franch, AdityaK. Ghose, GraceA. Lewis, and Sami Bhiri, 543–50. LNCS, 2014. <a href=\"https://doi.org/10.1007/978-3-662-45391-9_47\">https://doi.org/10.1007/978-3-662-45391-9_47</a>.","ieee":"S. Arifulina, M. C. Platenius, C. Gerth, S. Becker, G. Engels, and W. Schäfer, “Market-optimized Service Specification and Matching,” in <i>Proceedings of the 12th International Conference on Service Oriented Computing (ICSOC 2014)</i>, 2014, pp. 543–550.","apa":"Arifulina, S., Platenius, M. C., Gerth, C., Becker, S., Engels, G., &#38; Schäfer, W. (2014). Market-optimized Service Specification and Matching. In X. Franch, A. Ghose, G. Lewis, &#38; S. Bhiri (Eds.), <i>Proceedings of the 12th International Conference on Service Oriented Computing (ICSOC 2014)</i> (pp. 543–550). <a href=\"https://doi.org/10.1007/978-3-662-45391-9_47\">https://doi.org/10.1007/978-3-662-45391-9_47</a>","bibtex":"@inproceedings{Arifulina_Platenius_Gerth_Becker_Engels_Schäfer_2014, series={LNCS}, title={Market-optimized Service Specification and Matching}, DOI={<a href=\"https://doi.org/10.1007/978-3-662-45391-9_47\">10.1007/978-3-662-45391-9_47</a>}, 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} }","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. <i>Proceedings of the 12th International Conference on Service Oriented Computing (ICSOC 2014)</i>. LNCS. ; 2014:543-550. doi:<a href=\"https://doi.org/10.1007/978-3-662-45391-9_47\">10.1007/978-3-662-45391-9_47</a>","mla":"Arifulina, Svetlana, et al. “Market-Optimized Service Specification and Matching.” <i>Proceedings of the 12th International Conference on Service Oriented Computing (ICSOC 2014)</i>, edited by Xavier Franch et al., 2014, pp. 543–50, doi:<a href=\"https://doi.org/10.1007/978-3-662-45391-9_47\">10.1007/978-3-662-45391-9_47</a>."},"project":[{"name":"SFB 901","_id":"1"},{"name":"SFB 901 - Subprojekt B1","_id":"9"},{"name":"SFB 901 - Subproject B3","_id":"11"},{"name":"SFB 901 - Project Area B","_id":"3"}],"status":"public","has_accepted_license":"1","page":"543-550","_id":"402","user_id":"477","ddc":["040"],"editor":[{"last_name":"Franch","first_name":"Xavier","full_name":"Franch, Xavier"},{"last_name":"Ghose","first_name":"AdityaK.","full_name":"Ghose, AdityaK."},{"first_name":"GraceA.","last_name":"Lewis","full_name":"Lewis, GraceA."},{"first_name":"Sami","last_name":"Bhiri","full_name":"Bhiri, Sami"}]},{"doi":"10.1007/978-3-319-10181-1_19","language":[{"iso":"eng"}],"series_title":"LNCS","date_updated":"2022-01-06T07:00:14Z","year":"2014","title":"Integrating Software and Hardware Verification","author":[{"full_name":"Jakobs, Marie-Christine","first_name":"Marie-Christine","last_name":"Jakobs"},{"last_name":"Platzner","first_name":"Marco","full_name":"Platzner, Marco","id":"398"},{"first_name":"Tobias","last_name":"Wiersema","full_name":"Wiersema, Tobias","id":"3118"},{"first_name":"Heike","last_name":"Wehrheim","full_name":"Wehrheim, Heike","id":"573"}],"type":"conference","department":[{"_id":"77"},{"_id":"78"}],"file":[{"date_created":"2018-03-16T11:35:28Z","creator":"florida","file_id":"1364","content_type":"application/pdf","success":1,"relation":"main_file","date_updated":"2018-03-16T11:35:28Z","file_name":"408-jakobs14_ifm.pdf","file_size":561325,"access_level":"closed"}],"date_created":"2017-10-17T12:42:11Z","abstract":[{"lang":"eng","text":"Verification of hardware and software usually proceeds separately, software analysis relying on the correctness of processors executing instructions. This assumption is valid as long as the software runs on standard CPUs that have been extensively validated and are in wide use. However, for processors exploiting custom instruction set extensions to meet performance and energy constraints the validation might be less extensive, challenging the correctness assumption.In this paper we present an approach for integrating software analyses with hardware verification, specifically targeting custom instruction set extensions. We propose three different techniques for deriving the properties to be proven for the hardware implementation of a custom instruction in order to support software analyses. The techniques are designed to explore the trade-off between generality and efficiency and span from proving functional equivalence over checking the rules of a particular analysis domain to verifying actual pre and post conditions resulting from program analysis. We demonstrate and compare the three techniques on example programs with custom instructions, using stateof-the-art software and hardware verification techniques."}],"publication":"Proceedings of the 11th International Conference on Integrated Formal Methods (iFM)","user_id":"477","ddc":["040"],"editor":[{"first_name":"Elvira","last_name":"Albert","full_name":"Albert, Elvira"},{"full_name":"Sekerinski, Emil","last_name":"Sekerinski","first_name":"Emil"}],"page":"307-322","_id":"408","has_accepted_license":"1","status":"public","project":[{"name":"SFB 901","_id":"1"},{"name":"SFB 901 - Subprojekt B4","_id":"12"},{"name":"SFB 901 - Project Area B","_id":"3"}],"file_date_updated":"2018-03-16T11:35:28Z","citation":{"mla":"Jakobs, Marie-Christine, et al. “Integrating Software and Hardware Verification.” <i>Proceedings of the 11th International Conference on Integrated Formal Methods (IFM)</i>, edited by Elvira Albert and Emil Sekerinski, 2014, pp. 307–22, doi:<a href=\"https://doi.org/10.1007/978-3-319-10181-1_19\">10.1007/978-3-319-10181-1_19</a>.","ama":"Jakobs M-C, Platzner M, Wiersema T, Wehrheim H. Integrating Software and Hardware Verification. In: Albert E, Sekerinski E, eds. <i>Proceedings of the 11th International Conference on Integrated Formal Methods (IFM)</i>. LNCS. ; 2014:307-322. doi:<a href=\"https://doi.org/10.1007/978-3-319-10181-1_19\">10.1007/978-3-319-10181-1_19</a>","bibtex":"@inproceedings{Jakobs_Platzner_Wiersema_Wehrheim_2014, series={LNCS}, title={Integrating Software and Hardware Verification}, DOI={<a href=\"https://doi.org/10.1007/978-3-319-10181-1_19\">10.1007/978-3-319-10181-1_19</a>}, booktitle={Proceedings of the 11th International Conference on Integrated Formal Methods (iFM)}, author={Jakobs, Marie-Christine and Platzner, Marco and Wiersema, Tobias and Wehrheim, Heike}, editor={Albert, Elvira and Sekerinski, EmilEditors}, year={2014}, pages={307–322}, collection={LNCS} }","apa":"Jakobs, M.-C., Platzner, M., Wiersema, T., &#38; Wehrheim, H. (2014). Integrating Software and Hardware Verification. In E. Albert &#38; E. Sekerinski (Eds.), <i>Proceedings of the 11th International Conference on Integrated Formal Methods (iFM)</i> (pp. 307–322). <a href=\"https://doi.org/10.1007/978-3-319-10181-1_19\">https://doi.org/10.1007/978-3-319-10181-1_19</a>","ieee":"M.-C. Jakobs, M. Platzner, T. Wiersema, and H. Wehrheim, “Integrating Software and Hardware Verification,” in <i>Proceedings of the 11th International Conference on Integrated Formal Methods (iFM)</i>, 2014, pp. 307–322.","chicago":"Jakobs, Marie-Christine, Marco Platzner, Tobias Wiersema, and Heike Wehrheim. “Integrating Software and Hardware Verification.” In <i>Proceedings of the 11th International Conference on Integrated Formal Methods (IFM)</i>, edited by Elvira Albert and Emil Sekerinski, 307–22. LNCS, 2014. <a href=\"https://doi.org/10.1007/978-3-319-10181-1_19\">https://doi.org/10.1007/978-3-319-10181-1_19</a>.","short":"M.-C. Jakobs, M. Platzner, T. Wiersema, H. Wehrheim, in: E. Albert, E. Sekerinski (Eds.), Proceedings of the 11th International Conference on Integrated Formal Methods (IFM), 2014, pp. 307–322."}},{"file_date_updated":"2018-03-16T11:34:58Z","citation":{"apa":"Platenius, M. C., Becker, S., &#38; Schäfer, W. (2014). Integrating Service Matchers into a Service Market Architecture. In P. Avgeriou &#38; U. Zdun (Eds.), <i>Proceedings of the 8th European Conference on Software Architecture (ECSA 2014)</i> (pp. 210–217). <a href=\"https://doi.org/10.1007/978-3-319-09970-5_19\">https://doi.org/10.1007/978-3-319-09970-5_19</a>","mla":"Platenius, Marie Christin, et al. “Integrating Service Matchers into a Service Market Architecture.” <i>Proceedings of the 8th European Conference on Software Architecture (ECSA 2014)</i>, edited by Paris Avgeriou and Uwe Zdun, 2014, pp. 210–17, doi:<a href=\"https://doi.org/10.1007/978-3-319-09970-5_19\">10.1007/978-3-319-09970-5_19</a>.","ieee":"M. C. Platenius, S. Becker, and W. Schäfer, “Integrating Service Matchers into a Service Market Architecture,” in <i>Proceedings of the 8th European Conference on Software Architecture (ECSA 2014)</i>, 2014, pp. 210–217.","chicago":"Platenius, Marie Christin, Steffen Becker, and Wilhelm Schäfer. “Integrating Service Matchers into a Service Market Architecture.” In <i>Proceedings of the 8th European Conference on Software Architecture (ECSA 2014)</i>, edited by Paris Avgeriou and Uwe Zdun, 210–17. LNCS, 2014. <a href=\"https://doi.org/10.1007/978-3-319-09970-5_19\">https://doi.org/10.1007/978-3-319-09970-5_19</a>.","short":"M.C. Platenius, S. Becker, W. Schäfer, in: P. Avgeriou, U. Zdun (Eds.), Proceedings of the 8th European Conference on Software Architecture (ECSA 2014), 2014, pp. 210–217.","ama":"Platenius MC, Becker S, Schäfer W. Integrating Service Matchers into a Service Market Architecture. In: Avgeriou P, Zdun U, eds. <i>Proceedings of the 8th European Conference on Software Architecture (ECSA 2014)</i>. LNCS. ; 2014:210-217. doi:<a href=\"https://doi.org/10.1007/978-3-319-09970-5_19\">10.1007/978-3-319-09970-5_19</a>","bibtex":"@inproceedings{Platenius_Becker_Schäfer_2014, series={LNCS}, title={Integrating Service Matchers into a Service Market Architecture}, DOI={<a href=\"https://doi.org/10.1007/978-3-319-09970-5_19\">10.1007/978-3-319-09970-5_19</a>}, booktitle={Proceedings of the 8th European Conference on Software Architecture (ECSA 2014)}, author={Platenius, Marie Christin and Becker, Steffen and Schäfer, Wilhelm}, editor={Avgeriou, Paris and Zdun, UweEditors}, year={2014}, pages={210–217}, collection={LNCS} }"},"project":[{"name":"SFB 901","_id":"1"},{"_id":"9","name":"SFB 901 - Subprojekt B1"},{"_id":"11","name":"SFB 901 - Subproject B3"},{"name":"SFB 901 - Project Area B","_id":"3"}],"page":"210-217","_id":"409","user_id":"477","ddc":["040"],"editor":[{"full_name":"Avgeriou, Paris","last_name":"Avgeriou","first_name":"Paris"},{"first_name":"Uwe","last_name":"Zdun","full_name":"Zdun, Uwe"}],"status":"public","has_accepted_license":"1","file":[{"date_created":"2018-03-16T11:34:58Z","creator":"florida","content_type":"application/pdf","success":1,"file_id":"1363","file_size":395884,"access_level":"closed","file_name":"409-ecsa14.pdf","date_updated":"2018-03-16T11:34:58Z","relation":"main_file"}],"date_created":"2017-10-17T12:42:11Z","type":"conference","department":[{"_id":"76"}],"publication":"Proceedings of the 8th European Conference on Software Architecture (ECSA 2014)","abstract":[{"lang":"eng","text":"Service markets provide software components in the formof services. In order to enable a service discovery that satisfies servicerequesters and providers best, markets need automatic service matching:approaches for comparing whether a provided service satisfies a servicerequest. Current markets, e.g., app markets, are limited to basic keywordbasedsearch although many better suitable matching approaches aredescribed in literature. However, necessary architectural decisions forthe integration of matchers have a huge impact on quality propertieslike performance or security.Architectural decisions wrt. servicematchers have rarely been discussed,yet, and systematic approaches for their integration into service marketsare missing. In this paper, we present a systematic integration approachincluding the definition of requirements and a discussion on architecturaltactics. As a benefit, the decision-making process of integrating servicematchers is supported and the overall market success can be improved."}],"series_title":"LNCS","language":[{"iso":"eng"}],"doi":"10.1007/978-3-319-09970-5_19","title":"Integrating Service Matchers into a Service Market Architecture","year":"2014","author":[{"first_name":"Marie Christin","last_name":"Platenius","full_name":"Platenius, Marie Christin"},{"full_name":"Becker, Steffen","last_name":"Becker","first_name":"Steffen"},{"last_name":"Schäfer","first_name":"Wilhelm","full_name":"Schäfer, Wilhelm"}],"date_updated":"2022-01-06T07:00:15Z"},{"citation":{"short":"M. Feldotto, C. Scheideler, K. Graffi, in: Proceedings of the 14th IEEE International Conference on Peer-to-Peer Computing (P2P), 2014, pp. 1–10.","chicago":"Feldotto, Matthias, Christian Scheideler, and Kalman Graffi. “HSkip+: A Self-Stabilizing Overlay Network for Nodes with Heterogeneous Bandwidths.” In <i>Proceedings of the 14th IEEE International Conference on Peer-to-Peer Computing (P2P)</i>, 1–10, 2014. <a href=\"https://doi.org/10.1109/P2P.2014.6934300\">https://doi.org/10.1109/P2P.2014.6934300</a>.","ieee":"M. Feldotto, C. Scheideler, and K. Graffi, “HSkip+: A Self-Stabilizing Overlay Network for Nodes with Heterogeneous Bandwidths,” in <i>Proceedings of the 14th IEEE International Conference on Peer-to-Peer Computing (P2P)</i>, 2014, pp. 1–10.","apa":"Feldotto, M., Scheideler, C., &#38; Graffi, K. (2014). HSkip+: A Self-Stabilizing Overlay Network for Nodes with Heterogeneous Bandwidths. In <i>Proceedings of the 14th IEEE International Conference on Peer-to-Peer Computing (P2P)</i> (pp. 1–10). <a href=\"https://doi.org/10.1109/P2P.2014.6934300\">https://doi.org/10.1109/P2P.2014.6934300</a>","bibtex":"@inproceedings{Feldotto_Scheideler_Graffi_2014, title={HSkip+: A Self-Stabilizing Overlay Network for Nodes with Heterogeneous Bandwidths}, DOI={<a href=\"https://doi.org/10.1109/P2P.2014.6934300\">10.1109/P2P.2014.6934300</a>}, booktitle={Proceedings of the 14th IEEE International Conference on Peer-to-Peer Computing (P2P)}, author={Feldotto, Matthias and Scheideler, Christian and Graffi, Kalman}, year={2014}, pages={1–10} }","ama":"Feldotto M, Scheideler C, Graffi K. HSkip+: A Self-Stabilizing Overlay Network for Nodes with Heterogeneous Bandwidths. In: <i>Proceedings of the 14th IEEE International Conference on Peer-to-Peer Computing (P2P)</i>. ; 2014:1-10. doi:<a href=\"https://doi.org/10.1109/P2P.2014.6934300\">10.1109/P2P.2014.6934300</a>","mla":"Feldotto, Matthias, et al. “HSkip+: A Self-Stabilizing Overlay Network for Nodes with Heterogeneous Bandwidths.” <i>Proceedings of the 14th IEEE International Conference on Peer-to-Peer Computing (P2P)</i>, 2014, pp. 1–10, doi:<a href=\"https://doi.org/10.1109/P2P.2014.6934300\">10.1109/P2P.2014.6934300</a>."},"publication":"Proceedings of the 14th IEEE International Conference on Peer-to-Peer Computing (P2P)","file_date_updated":"2018-03-16T11:34:00Z","project":[{"_id":"1","name":"SFB 901"},{"name":"SFB 901 - Project Area A","_id":"2"},{"name":"SFB 901 - Subproject A1","_id":"5"}],"abstract":[{"lang":"eng","text":"In this paper we present and analyze HSkip+, a self-stabilizing overlay network for nodes with arbitrary heterogeneous bandwidths. HSkip+ has the same topology as the Skip+ graph proposed by Jacob et al. [PODC 2009] but its self-stabilization mechanism significantly outperforms the self-stabilization mechanism proposed for Skip+. Also, the nodes are now ordered according to their bandwidths and not according to their identifiers. Various other solutions have already been proposed for overlay networks with heterogeneous bandwidths, but they are not self-stabilizing. In addition to HSkip+ being self-stabilizing, its performance is on par with the best previous bounds on the time and work for joining or leaving a network of peers of logarithmic diameter and degree and arbitrary bandwidths. Also, the dilation and congestion for routing messages is on par with the best previous bounds for such networks, so that HSkip+ combines the advantages of both worlds. Our theoretical investigations are backed by simulations demonstrating that HSkip+ is indeed performing much better than Skip+ and working correctly under high churn rates."}],"date_created":"2017-10-17T12:42:12Z","external_id":{"arxiv":["1408.0395"]},"file":[{"date_updated":"2018-03-16T11:34:00Z","relation":"main_file","access_level":"closed","file_size":472321,"file_name":"412-FSG2014P2P.pdf","success":1,"content_type":"application/pdf","file_id":"1361","creator":"florida","date_created":"2018-03-16T11:34:00Z"}],"department":[{"_id":"79"},{"_id":"63"},{"_id":"541"}],"type":"conference","author":[{"orcid":"0000-0003-1348-6516","first_name":"Matthias","last_name":"Feldotto","full_name":"Feldotto, Matthias","id":"14052"},{"id":"20792","full_name":"Scheideler, Christian","last_name":"Scheideler","first_name":"Christian"},{"last_name":"Graffi","first_name":"Kalman","full_name":"Graffi, Kalman"}],"year":"2014","status":"public","title":"HSkip+: A Self-Stabilizing Overlay Network for Nodes with Heterogeneous Bandwidths","has_accepted_license":"1","date_updated":"2022-01-06T07:00:20Z","_id":"412","page":"1-10","doi":"10.1109/P2P.2014.6934300","ddc":["040"],"user_id":"14052"},{"user_id":"25078","_id":"414","publisher":"Universität Paderborn","date_updated":"2022-01-06T07:00:23Z","status":"public","year":"2014","title":"Hiding software components using functional encryption","author":[{"full_name":"Jochheim, Janek","last_name":"Jochheim","first_name":"Janek"}],"type":"mastersthesis","department":[{"_id":"64"}],"date_created":"2017-10-17T12:42:12Z","project":[{"name":"SFB 901","_id":"1"},{"name":"SFB 901 - Subprojekt C1","_id":"13"},{"name":"SFB 901 - Project Area C","_id":"4"},{"_id":"43","name":"Securing the Financial Cloud"}],"supervisor":[{"first_name":"Johannes","last_name":"Blömer","full_name":"Blömer, Johannes","id":"23"}],"citation":{"chicago":"Jochheim, Janek. <i>Hiding Software Components Using Functional Encryption</i>. Universität Paderborn, 2014.","short":"J. Jochheim, Hiding Software Components Using Functional Encryption, Universität Paderborn, 2014.","apa":"Jochheim, J. (2014). <i>Hiding software components using functional encryption</i>. Universität Paderborn.","ieee":"J. Jochheim, <i>Hiding software components using functional encryption</i>. Universität Paderborn, 2014.","ama":"Jochheim J. <i>Hiding Software Components Using Functional Encryption</i>. Universität Paderborn; 2014.","bibtex":"@book{Jochheim_2014, title={Hiding software components using functional encryption}, publisher={Universität Paderborn}, author={Jochheim, Janek}, year={2014} }","mla":"Jochheim, Janek. <i>Hiding Software Components Using Functional Encryption</i>. Universität Paderborn, 2014."}}]