[{"user_id":"14972","department":[{"_id":"589"}],"_id":"11989","language":[{"iso":"eng"}],"type":"journal_article","publication":"Computer Communications","status":"public","date_created":"2019-07-18T09:51:59Z","author":[{"full_name":"Campolo, Claudia","last_name":"Campolo","first_name":"Claudia"},{"full_name":"Cheng, Lin","last_name":"Cheng","first_name":"Lin"},{"orcid":"0000-0002-4336-7350","last_name":"Sommer","id":"49154","full_name":"Sommer, Christoph","first_name":"Christoph"},{"first_name":"Hsin-Mu","full_name":"Tsai, Hsin-Mu","last_name":"Tsai"}],"date_updated":"2026-03-10T09:33:08Z","doi":"10.1016/j.comcom.2016.09.003","title":"Special Issue on Multi-radio, Multi-technology, Multi-system Vehicular Communications","publication_status":"published","publication_identifier":{"issn":["0140-3664"]},"citation":{"chicago":"Campolo, Claudia, Lin Cheng, Christoph Sommer, and Hsin-Mu Tsai. “Special Issue on Multi-Radio, Multi-Technology, Multi-System Vehicular Communications.” <i>Computer Communications</i>, 2016, 1–2. <a href=\"https://doi.org/10.1016/j.comcom.2016.09.003\">https://doi.org/10.1016/j.comcom.2016.09.003</a>.","ieee":"C. Campolo, L. Cheng, C. Sommer, and H.-M. Tsai, “Special Issue on Multi-radio, Multi-technology, Multi-system Vehicular Communications,” <i>Computer Communications</i>, pp. 1–2, 2016, doi: <a href=\"https://doi.org/10.1016/j.comcom.2016.09.003\">10.1016/j.comcom.2016.09.003</a>.","ama":"Campolo C, Cheng L, Sommer C, Tsai H-M. Special Issue on Multi-radio, Multi-technology, Multi-system Vehicular Communications. <i>Computer Communications</i>. Published online 2016:1-2. doi:<a href=\"https://doi.org/10.1016/j.comcom.2016.09.003\">10.1016/j.comcom.2016.09.003</a>","short":"C. Campolo, L. Cheng, C. Sommer, H.-M. Tsai, Computer Communications (2016) 1–2.","mla":"Campolo, Claudia, et al. “Special Issue on Multi-Radio, Multi-Technology, Multi-System Vehicular Communications.” <i>Computer Communications</i>, 2016, pp. 1–2, doi:<a href=\"https://doi.org/10.1016/j.comcom.2016.09.003\">10.1016/j.comcom.2016.09.003</a>.","bibtex":"@article{Campolo_Cheng_Sommer_Tsai_2016, title={Special Issue on Multi-radio, Multi-technology, Multi-system Vehicular Communications}, DOI={<a href=\"https://doi.org/10.1016/j.comcom.2016.09.003\">10.1016/j.comcom.2016.09.003</a>}, journal={Computer Communications}, author={Campolo, Claudia and Cheng, Lin and Sommer, Christoph and Tsai, Hsin-Mu}, year={2016}, pages={1–2} }","apa":"Campolo, C., Cheng, L., Sommer, C., &#38; Tsai, H.-M. (2016). Special Issue on Multi-radio, Multi-technology, Multi-system Vehicular Communications. <i>Computer Communications</i>, 1–2. <a href=\"https://doi.org/10.1016/j.comcom.2016.09.003\">https://doi.org/10.1016/j.comcom.2016.09.003</a>"},"page":"1-2","year":"2016"},{"publication":"ACM Transactions on Graphics","type":"journal_article","abstract":[{"lang":"eng","text":"<jats:p>Parametrization based methods have recently become very popular for the generation of high quality quad meshes. In contrast to previous approaches, they allow for intuitive user control in order to accommodate all kinds of application driven constraints and design intentions. A major obstacle in practice, however, are the relatively long computations that lead to response times of several minutes already for input models of moderate complexity. In this paper we introduce a novel strategy to handle highly complex input meshes with up to several millions of triangles such that quad meshes can still be created and edited within an interactive workflow. Our method is based on representing the input model on different levels of resolution with a mechanism to propagate parametrizations from coarser to finer levels. The major challenge is to guarantee consistent parametrizations even in the presence of charts, transition functions, and singularities. Moreover, the remaining degrees of freedom on coarser levels of resolution have to be chosen carefully in order to still achieve low distortion parametrizations. We demonstrate a prototypic system where the user can interactively edit quad meshes with powerful high-level operations such as guiding constraints, singularity repositioning, and singularity connections.</jats:p>"}],"status":"public","_id":"60437","department":[{"_id":"969"}],"user_id":"117512","extern":"1","language":[{"iso":"eng"}],"publication_identifier":{"issn":["0730-0301","1557-7368"]},"publication_status":"published","issue":"6","year":"2016","intvolume":"        35","page":"1-13","citation":{"mla":"Ebke, Hans-Christian, et al. “Interactively Controlled Quad Remeshing of High Resolution 3D Models.” <i>ACM Transactions on Graphics</i>, vol. 35, no. 6, Association for Computing Machinery (ACM), 2016, pp. 1–13, doi:<a href=\"https://doi.org/10.1145/2980179.2982413\">10.1145/2980179.2982413</a>.","bibtex":"@article{Ebke_Schmidt_Campen_Kobbelt_2016, title={Interactively controlled quad remeshing of high resolution 3D models}, volume={35}, DOI={<a href=\"https://doi.org/10.1145/2980179.2982413\">10.1145/2980179.2982413</a>}, number={6}, journal={ACM Transactions on Graphics}, publisher={Association for Computing Machinery (ACM)}, author={Ebke, Hans-Christian and Schmidt, Patrick and Campen, Marcel and Kobbelt, Leif}, year={2016}, pages={1–13} }","short":"H.-C. Ebke, P. Schmidt, M. Campen, L. Kobbelt, ACM Transactions on Graphics 35 (2016) 1–13.","apa":"Ebke, H.-C., Schmidt, P., Campen, M., &#38; Kobbelt, L. (2016). Interactively controlled quad remeshing of high resolution 3D models. <i>ACM Transactions on Graphics</i>, <i>35</i>(6), 1–13. <a href=\"https://doi.org/10.1145/2980179.2982413\">https://doi.org/10.1145/2980179.2982413</a>","ieee":"H.-C. Ebke, P. Schmidt, M. Campen, and L. Kobbelt, “Interactively controlled quad remeshing of high resolution 3D models,” <i>ACM Transactions on Graphics</i>, vol. 35, no. 6, pp. 1–13, 2016, doi: <a href=\"https://doi.org/10.1145/2980179.2982413\">10.1145/2980179.2982413</a>.","chicago":"Ebke, Hans-Christian, Patrick Schmidt, Marcel Campen, and Leif Kobbelt. “Interactively Controlled Quad Remeshing of High Resolution 3D Models.” <i>ACM Transactions on Graphics</i> 35, no. 6 (2016): 1–13. <a href=\"https://doi.org/10.1145/2980179.2982413\">https://doi.org/10.1145/2980179.2982413</a>.","ama":"Ebke H-C, Schmidt P, Campen M, Kobbelt L. Interactively controlled quad remeshing of high resolution 3D models. <i>ACM Transactions on Graphics</i>. 2016;35(6):1-13. doi:<a href=\"https://doi.org/10.1145/2980179.2982413\">10.1145/2980179.2982413</a>"},"publisher":"Association for Computing Machinery (ACM)","date_updated":"2025-07-14T12:41:54Z","volume":35,"author":[{"last_name":"Ebke","full_name":"Ebke, Hans-Christian","first_name":"Hans-Christian"},{"full_name":"Schmidt, Patrick","last_name":"Schmidt","first_name":"Patrick"},{"first_name":"Marcel","orcid":"0000-0003-2340-3462","last_name":"Campen","full_name":"Campen, Marcel","id":"114904"},{"first_name":"Leif","last_name":"Kobbelt","full_name":"Kobbelt, Leif"}],"date_created":"2025-06-27T07:54:23Z","title":"Interactively controlled quad remeshing of high resolution 3D models","doi":"10.1145/2980179.2982413"},{"type":"journal_article","publication":"Computer Graphics Forum","abstract":[{"text":"<jats:title>Abstract</jats:title><jats:p>Various applications of global surface parametrization benefit from the alignment of parametrization isolines with principal curvature directions. This is particularly true for recent parametrization‐based meshing approaches, where this directly translates into a shape‐aware edge flow, better approximation quality, and reduced meshing artifacts. Existing methods to influence a parametrization based on principal curvature directions suffer from scale‐dependence, which implies the necessity of parameter variation, or try to capture complex directional shape features using simple 1D curves. Especially for non‐sharp features, such as chamfers, fillets, blends, and even more for organic variants thereof, these abstractions can be unfit. We present a novel approach which respects and exploits the 2D nature of such directional feature regions, detects them based on coherence and homogeneity properties, and controls the parametrization process accordingly. This approach enables us to provide an intuitive, scale‐invariant control parameter to the user. It also allows us to consider non‐local aspects like the topology of a feature, enabling further improvements. We demonstrate that, compared to previous approaches, global parametrizations of higher quality can be generated without user intervention.</jats:p>","lang":"eng"}],"status":"public","_id":"60435","user_id":"117512","department":[{"_id":"969"}],"language":[{"iso":"eng"}],"extern":"1","publication_status":"published","publication_identifier":{"issn":["0167-7055","1467-8659"]},"issue":"5","year":"2016","citation":{"ieee":"M. Campen, M. Ibing, H. Ebke, D. Zorin, and L. Kobbelt, “Scale‐Invariant Directional Alignment of Surface Parametrizations,” <i>Computer Graphics Forum</i>, vol. 35, no. 5, pp. 1–10, 2016, doi: <a href=\"https://doi.org/10.1111/cgf.12958\">10.1111/cgf.12958</a>.","chicago":"Campen, Marcel, Moritz Ibing, Hans‐Christian Ebke, Denis Zorin, and Leif Kobbelt. “Scale‐Invariant Directional Alignment of Surface Parametrizations.” <i>Computer Graphics Forum</i> 35, no. 5 (2016): 1–10. <a href=\"https://doi.org/10.1111/cgf.12958\">https://doi.org/10.1111/cgf.12958</a>.","ama":"Campen M, Ibing M, Ebke H, Zorin D, Kobbelt L. Scale‐Invariant Directional Alignment of Surface Parametrizations. <i>Computer Graphics Forum</i>. 2016;35(5):1-10. doi:<a href=\"https://doi.org/10.1111/cgf.12958\">10.1111/cgf.12958</a>","apa":"Campen, M., Ibing, M., Ebke, H., Zorin, D., &#38; Kobbelt, L. (2016). Scale‐Invariant Directional Alignment of Surface Parametrizations. <i>Computer Graphics Forum</i>, <i>35</i>(5), 1–10. <a href=\"https://doi.org/10.1111/cgf.12958\">https://doi.org/10.1111/cgf.12958</a>","bibtex":"@article{Campen_Ibing_Ebke_Zorin_Kobbelt_2016, title={Scale‐Invariant Directional Alignment of Surface Parametrizations}, volume={35}, DOI={<a href=\"https://doi.org/10.1111/cgf.12958\">10.1111/cgf.12958</a>}, number={5}, journal={Computer Graphics Forum}, publisher={Wiley}, author={Campen, Marcel and Ibing, Moritz and Ebke, Hans‐Christian and Zorin, Denis and Kobbelt, Leif}, year={2016}, pages={1–10} }","mla":"Campen, Marcel, et al. “Scale‐Invariant Directional Alignment of Surface Parametrizations.” <i>Computer Graphics Forum</i>, vol. 35, no. 5, Wiley, 2016, pp. 1–10, doi:<a href=\"https://doi.org/10.1111/cgf.12958\">10.1111/cgf.12958</a>.","short":"M. Campen, M. Ibing, H. Ebke, D. Zorin, L. Kobbelt, Computer Graphics Forum 35 (2016) 1–10."},"intvolume":"        35","page":"1-10","date_updated":"2025-07-14T12:42:01Z","publisher":"Wiley","date_created":"2025-06-27T07:51:00Z","author":[{"first_name":"Marcel","orcid":"0000-0003-2340-3462","last_name":"Campen","id":"114904","full_name":"Campen, Marcel"},{"first_name":"Moritz","last_name":"Ibing","full_name":"Ibing, Moritz"},{"first_name":"Hans‐Christian","full_name":"Ebke, Hans‐Christian","last_name":"Ebke"},{"first_name":"Denis","last_name":"Zorin","full_name":"Zorin, Denis"},{"first_name":"Leif","full_name":"Kobbelt, Leif","last_name":"Kobbelt"}],"volume":35,"title":"Scale‐Invariant Directional Alignment of Surface Parametrizations","doi":"10.1111/cgf.12958"},{"issue":"2","year":"2016","publisher":"Wiley","date_created":"2025-06-27T07:45:00Z","title":"Directional Field Synthesis, Design, and Processing","publication":"Computer Graphics Forum","abstract":[{"lang":"eng","text":"<jats:title>Abstract</jats:title><jats:p>Direction fields and vector fields play an increasingly important role in computer graphics and geometry processing. The synthesis of directional fields on surfaces, or other spatial domains, is a fundamental step in numerous applications, such as mesh generation, deformation, texture mapping, and many more. The wide range of applications resulted in definitions for many types of directional fields: from vector and tensor fields, over line and cross fields, to frame and vector‐set fields. Depending on the application at hand, researchers have used various notions of objectives and constraints to synthesize such fields. These notions are defined in terms of fairness, feature alignment, symmetry, or field topology, to mention just a few. To facilitate these objectives, various representations, discretizations, and optimization strategies have been developed. These choices come with varying strengths and weaknesses. This report provides a systematic overview of directional field synthesis for graphics applications, the challenges it poses, and the methods developed in recent years to address these challenges.</jats:p>"}],"language":[{"iso":"eng"}],"publication_status":"published","publication_identifier":{"issn":["0167-7055","1467-8659"]},"citation":{"ieee":"A. Vaxman <i>et al.</i>, “Directional Field Synthesis, Design, and Processing,” <i>Computer Graphics Forum</i>, vol. 35, no. 2, pp. 545–572, 2016, doi: <a href=\"https://doi.org/10.1111/cgf.12864\">10.1111/cgf.12864</a>.","chicago":"Vaxman, Amir, Marcel Campen, Olga Diamanti, Daniele Panozzo, David Bommes, Klaus Hildebrandt, and Mirela Ben‐Chen. “Directional Field Synthesis, Design, and Processing.” <i>Computer Graphics Forum</i> 35, no. 2 (2016): 545–72. <a href=\"https://doi.org/10.1111/cgf.12864\">https://doi.org/10.1111/cgf.12864</a>.","ama":"Vaxman A, Campen M, Diamanti O, et al. Directional Field Synthesis, Design, and Processing. <i>Computer Graphics Forum</i>. 2016;35(2):545-572. doi:<a href=\"https://doi.org/10.1111/cgf.12864\">10.1111/cgf.12864</a>","bibtex":"@article{Vaxman_Campen_Diamanti_Panozzo_Bommes_Hildebrandt_Ben‐Chen_2016, title={Directional Field Synthesis, Design, and Processing}, volume={35}, DOI={<a href=\"https://doi.org/10.1111/cgf.12864\">10.1111/cgf.12864</a>}, number={2}, journal={Computer Graphics Forum}, publisher={Wiley}, author={Vaxman, Amir and Campen, Marcel and Diamanti, Olga and Panozzo, Daniele and Bommes, David and Hildebrandt, Klaus and Ben‐Chen, Mirela}, year={2016}, pages={545–572} }","short":"A. Vaxman, M. Campen, O. Diamanti, D. Panozzo, D. Bommes, K. Hildebrandt, M. Ben‐Chen, Computer Graphics Forum 35 (2016) 545–572.","mla":"Vaxman, Amir, et al. “Directional Field Synthesis, Design, and Processing.” <i>Computer Graphics Forum</i>, vol. 35, no. 2, Wiley, 2016, pp. 545–72, doi:<a href=\"https://doi.org/10.1111/cgf.12864\">10.1111/cgf.12864</a>.","apa":"Vaxman, A., Campen, M., Diamanti, O., Panozzo, D., Bommes, D., Hildebrandt, K., &#38; Ben‐Chen, M. (2016). Directional Field Synthesis, Design, and Processing. <i>Computer Graphics Forum</i>, <i>35</i>(2), 545–572. <a href=\"https://doi.org/10.1111/cgf.12864\">https://doi.org/10.1111/cgf.12864</a>"},"page":"545-572","intvolume":"        35","date_updated":"2025-07-14T12:42:05Z","author":[{"full_name":"Vaxman, Amir","last_name":"Vaxman","first_name":"Amir"},{"full_name":"Campen, Marcel","id":"114904","orcid":"0000-0003-2340-3462","last_name":"Campen","first_name":"Marcel"},{"first_name":"Olga","full_name":"Diamanti, Olga","last_name":"Diamanti"},{"full_name":"Panozzo, Daniele","last_name":"Panozzo","first_name":"Daniele"},{"first_name":"David","full_name":"Bommes, David","last_name":"Bommes"},{"first_name":"Klaus","full_name":"Hildebrandt, Klaus","last_name":"Hildebrandt"},{"first_name":"Mirela","full_name":"Ben‐Chen, Mirela","last_name":"Ben‐Chen"}],"volume":35,"doi":"10.1111/cgf.12864","type":"journal_article","status":"public","_id":"60434","user_id":"117512","department":[{"_id":"969"}],"extern":"1"},{"year":"2016","issue":"4","title":"Bijective maps from simplicial foliations","date_created":"2025-06-27T07:52:32Z","publisher":"Association for Computing Machinery (ACM)","abstract":[{"lang":"eng","text":"<jats:p>This paper presents a method for bijective parametrization of 2D and 3D objects over canonical domains. While a range of solutions for the two-dimensional case are well-known, our method guarantees bijectivity of mappings also for a large, combinatorially-defined class of tetrahedral meshes (shellable meshes). The key concept in our method is the piecewise-linear (PL) foliation, decomposing the mesh into one-dimensional submanifolds and reducing the mapping problem to parametrization of a lower-dimensional manifold (a foliation section). The maps resulting from these foliations are proved to be bijective and continuous, and shown to have provably bijective PL approximations. We describe exact, numerically robust evaluation methods and demonstrate our implementation's capabilities on a large variety of meshes.</jats:p>"}],"publication":"ACM Transactions on Graphics","language":[{"iso":"eng"}],"intvolume":"        35","page":"1-15","citation":{"ieee":"M. Campen, C. T. Silva, and D. Zorin, “Bijective maps from simplicial foliations,” <i>ACM Transactions on Graphics</i>, vol. 35, no. 4, pp. 1–15, 2016, doi: <a href=\"https://doi.org/10.1145/2897824.2925890\">10.1145/2897824.2925890</a>.","chicago":"Campen, Marcel, Cláudio T. Silva, and Denis Zorin. “Bijective Maps from Simplicial Foliations.” <i>ACM Transactions on Graphics</i> 35, no. 4 (2016): 1–15. <a href=\"https://doi.org/10.1145/2897824.2925890\">https://doi.org/10.1145/2897824.2925890</a>.","ama":"Campen M, Silva CT, Zorin D. Bijective maps from simplicial foliations. <i>ACM Transactions on Graphics</i>. 2016;35(4):1-15. doi:<a href=\"https://doi.org/10.1145/2897824.2925890\">10.1145/2897824.2925890</a>","apa":"Campen, M., Silva, C. T., &#38; Zorin, D. (2016). Bijective maps from simplicial foliations. <i>ACM Transactions on Graphics</i>, <i>35</i>(4), 1–15. <a href=\"https://doi.org/10.1145/2897824.2925890\">https://doi.org/10.1145/2897824.2925890</a>","bibtex":"@article{Campen_Silva_Zorin_2016, title={Bijective maps from simplicial foliations}, volume={35}, DOI={<a href=\"https://doi.org/10.1145/2897824.2925890\">10.1145/2897824.2925890</a>}, number={4}, journal={ACM Transactions on Graphics}, publisher={Association for Computing Machinery (ACM)}, author={Campen, Marcel and Silva, Cláudio T. and Zorin, Denis}, year={2016}, pages={1–15} }","mla":"Campen, Marcel, et al. “Bijective Maps from Simplicial Foliations.” <i>ACM Transactions on Graphics</i>, vol. 35, no. 4, Association for Computing Machinery (ACM), 2016, pp. 1–15, doi:<a href=\"https://doi.org/10.1145/2897824.2925890\">10.1145/2897824.2925890</a>.","short":"M. Campen, C.T. Silva, D. Zorin, ACM Transactions on Graphics 35 (2016) 1–15."},"publication_identifier":{"issn":["0730-0301","1557-7368"]},"publication_status":"published","doi":"10.1145/2897824.2925890","volume":35,"author":[{"orcid":"0000-0003-2340-3462","last_name":"Campen","id":"114904","full_name":"Campen, Marcel","first_name":"Marcel"},{"first_name":"Cláudio T.","full_name":"Silva, Cláudio T.","last_name":"Silva"},{"first_name":"Denis","last_name":"Zorin","full_name":"Zorin, Denis"}],"date_updated":"2025-07-14T12:41:57Z","status":"public","type":"journal_article","extern":"1","department":[{"_id":"969"}],"user_id":"117512","_id":"60436"},{"type":"journal_article","publication":"PLoS Computational Biology","status":"public","_id":"52870","user_id":"103682","department":[{"_id":"819"}],"issue":"9","year":"2016","citation":{"short":"L.L. Raket, B. Grimme, G. Schöner, C. Igel, B. Markussen, PLoS Computational Biology 12 (2016) e1005092.","mla":"Raket, Lars Lau, et al. “Separating Timing, Movement Conditions and Individual Differences in the Analysis of Human Movement.” <i>PLoS Computational Biology</i>, vol. 12, no. 9, Public Library of Science San Francisco, CA USA, 2016, p. e1005092.","bibtex":"@article{Raket_Grimme_Schöner_Igel_Markussen_2016, title={Separating timing, movement conditions and individual differences in the analysis of human movement}, volume={12}, number={9}, journal={PLoS Computational Biology}, publisher={Public Library of Science San Francisco, CA USA}, author={Raket, Lars Lau and Grimme, Britta and Schöner, Gregor and Igel, Christian and Markussen, Bo}, year={2016}, pages={e1005092} }","apa":"Raket, L. L., Grimme, B., Schöner, G., Igel, C., &#38; Markussen, B. (2016). Separating timing, movement conditions and individual differences in the analysis of human movement. <i>PLoS Computational Biology</i>, <i>12</i>(9), e1005092.","chicago":"Raket, Lars Lau, Britta Grimme, Gregor Schöner, Christian Igel, and Bo Markussen. “Separating Timing, Movement Conditions and Individual Differences in the Analysis of Human Movement.” <i>PLoS Computational Biology</i> 12, no. 9 (2016): e1005092.","ieee":"L. L. Raket, B. Grimme, G. Schöner, C. Igel, and B. Markussen, “Separating timing, movement conditions and individual differences in the analysis of human movement,” <i>PLoS Computational Biology</i>, vol. 12, no. 9, p. e1005092, 2016.","ama":"Raket LL, Grimme B, Schöner G, Igel C, Markussen B. Separating timing, movement conditions and individual differences in the analysis of human movement. <i>PLoS Computational Biology</i>. 2016;12(9):e1005092."},"page":"e1005092","intvolume":"        12","publisher":"Public Library of Science San Francisco, CA USA","date_updated":"2026-03-19T07:48:20Z","date_created":"2024-03-25T15:03:45Z","author":[{"last_name":"Raket","full_name":"Raket, Lars Lau","first_name":"Lars Lau"},{"first_name":"Britta","last_name":"Grimme","full_name":"Grimme, Britta"},{"last_name":"Schöner","full_name":"Schöner, Gregor","first_name":"Gregor"},{"first_name":"Christian","last_name":"Igel","full_name":"Igel, Christian"},{"last_name":"Markussen","full_name":"Markussen, Bo","first_name":"Bo"}],"volume":12,"title":"Separating timing, movement conditions and individual differences in the analysis of human movement"},{"department":[{"_id":"77"}],"series_title":"LNCS","user_id":"477","_id":"250","project":[{"_id":"1","name":"SFB 901"},{"name":"SFB 901 - Subprojekt B4","_id":"12"},{"name":"SFB 901 - Project Area B","_id":"3"}],"file_date_updated":"2018-03-21T09:45:15Z","type":"conference","status":"public","author":[{"first_name":"Marie-Christine","full_name":"Jakobs, Marie-Christine","last_name":"Jakobs"}],"date_updated":"2022-01-06T06:56:43Z","doi":"10.1007/978-3-319-22969-0_12","has_accepted_license":"1","page":"159--174","citation":{"apa":"Jakobs, M.-C. (2015). Speed Up Configurable Certificate Validation by Certificate Reduction and Partitioning. In <i>Proceedings of the 13th International Conference on Software Engineering and Formal Methods (SEFM)</i> (pp. 159--174). <a href=\"https://doi.org/10.1007/978-3-319-22969-0_12\">https://doi.org/10.1007/978-3-319-22969-0_12</a>","bibtex":"@inproceedings{Jakobs_2015, series={LNCS}, title={Speed Up Configurable Certificate Validation by Certificate Reduction and Partitioning}, DOI={<a href=\"https://doi.org/10.1007/978-3-319-22969-0_12\">10.1007/978-3-319-22969-0_12</a>}, booktitle={Proceedings of the 13th International Conference on Software Engineering and Formal Methods (SEFM)}, author={Jakobs, Marie-Christine}, year={2015}, pages={159--174}, collection={LNCS} }","short":"M.-C. Jakobs, in: Proceedings of the 13th International Conference on Software Engineering and Formal Methods (SEFM), 2015, pp. 159--174.","mla":"Jakobs, Marie-Christine. “Speed Up Configurable Certificate Validation by Certificate Reduction and Partitioning.” <i>Proceedings of the 13th International Conference on Software Engineering and Formal Methods (SEFM)</i>, 2015, pp. 159--174, doi:<a href=\"https://doi.org/10.1007/978-3-319-22969-0_12\">10.1007/978-3-319-22969-0_12</a>.","ama":"Jakobs M-C. Speed Up Configurable Certificate Validation by Certificate Reduction and Partitioning. In: <i>Proceedings of the 13th International Conference on Software Engineering and Formal Methods (SEFM)</i>. LNCS. ; 2015:159--174. doi:<a href=\"https://doi.org/10.1007/978-3-319-22969-0_12\">10.1007/978-3-319-22969-0_12</a>","chicago":"Jakobs, Marie-Christine. “Speed Up Configurable Certificate Validation by Certificate Reduction and Partitioning.” In <i>Proceedings of the 13th International Conference on Software Engineering and Formal Methods (SEFM)</i>, 159--174. LNCS, 2015. <a href=\"https://doi.org/10.1007/978-3-319-22969-0_12\">https://doi.org/10.1007/978-3-319-22969-0_12</a>.","ieee":"M.-C. Jakobs, “Speed Up Configurable Certificate Validation by Certificate Reduction and Partitioning,” in <i>Proceedings of the 13th International Conference on Software Engineering and Formal Methods (SEFM)</i>, 2015, pp. 159--174."},"language":[{"iso":"eng"}],"ddc":["040"],"publication":"Proceedings of the 13th International Conference on Software Engineering and Formal Methods (SEFM)","file":[{"content_type":"application/pdf","relation":"main_file","success":1,"date_created":"2018-03-21T09:45:15Z","creator":"florida","date_updated":"2018-03-21T09:45:15Z","file_name":"250-Jakobs2015.pdf","access_level":"closed","file_id":"1489","file_size":724308}],"abstract":[{"text":"Before execution, users should formally validate the correctness of software received from untrusted providers. To accelerate this validation, in the proof carrying code (PCC) paradigm the provider delivers the software together with a certificate, a formal proof of the software’s correctness. Thus, the user only checks if the attached certificate shows correctness of the delivered software.Recently, we introduced configurable program certification, a generic, PCC based framework supporting various software analyses and safety properties. Evaluation of our framework revealed that validation suffers from certificate reading. In this paper, we present two orthogonal approaches which improve certificate validation, both reducing the impact of certificate reading. The first approach reduces the certificate size, storing information only if it cannot easily be recomputed. The second approach partitions the certificate into independently checkable parts. The trick is to read parts of the certificate while already checking read parts. Our experiments show that validation highly benefits from our improvements.","lang":"eng"}],"date_created":"2017-10-17T12:41:40Z","title":"Speed Up Configurable Certificate Validation by Certificate Reduction and Partitioning","year":"2015"},{"year":"2015","citation":{"apa":"Jungmann, A., Jatzkowski, J., &#38; Kleinjohann, B. (2015). Combining Service-oriented Computing with Embedded Systems - A Robotics Case Study. <i>Proceedings of the 5th IFIP International Embedded Systems Symposium (IESS)</i>.","short":"A. Jungmann, J. Jatzkowski, B. Kleinjohann, in: Proceedings of the 5th IFIP International Embedded Systems Symposium (IESS), Springer-Verlag, 2015.","bibtex":"@inproceedings{Jungmann_Jatzkowski_Kleinjohann_2015, title={Combining Service-oriented Computing with Embedded Systems - A Robotics Case Study}, booktitle={Proceedings of the 5th IFIP International Embedded Systems Symposium (IESS)}, publisher={Springer-Verlag}, author={Jungmann, Alexander and Jatzkowski, Jan and Kleinjohann, Bernd}, year={2015} }","mla":"Jungmann, Alexander, et al. “Combining Service-Oriented Computing with Embedded Systems - A Robotics Case Study.” <i>Proceedings of the 5th IFIP International Embedded Systems Symposium (IESS)</i>, Springer-Verlag, 2015.","ieee":"A. Jungmann, J. Jatzkowski, and B. Kleinjohann, “Combining Service-oriented Computing with Embedded Systems - A Robotics Case Study,” 2015.","chicago":"Jungmann, Alexander, Jan Jatzkowski, and Bernd Kleinjohann. “Combining Service-Oriented Computing with Embedded Systems - A Robotics Case Study.” In <i>Proceedings of the 5th IFIP International Embedded Systems Symposium (IESS)</i>. Springer-Verlag, 2015.","ama":"Jungmann A, Jatzkowski J, Kleinjohann B. Combining Service-oriented Computing with Embedded Systems - A Robotics Case Study. In: <i>Proceedings of the 5th IFIP International Embedded Systems Symposium (IESS)</i>. Springer-Verlag; 2015."},"date_updated":"2022-01-06T06:56:50Z","publisher":"Springer-Verlag","author":[{"full_name":"Jungmann, Alexander","last_name":"Jungmann","first_name":"Alexander"},{"last_name":"Jatzkowski","full_name":"Jatzkowski, Jan","first_name":"Jan"},{"first_name":"Bernd","last_name":"Kleinjohann","full_name":"Kleinjohann, Bernd"}],"date_created":"2021-09-28T11:42:10Z","title":"Combining Service-oriented Computing with Embedded Systems - A Robotics Case Study","conference":{"start_date":"2015-11-03","end_date":"2015-11-06"},"type":"conference","publication":"Proceedings of the 5th IFIP International Embedded Systems Symposium (IESS)","abstract":[{"text":"In this paper, we introduce an approach for combining embedded systems with Service-oriented Computing techniques based on a concrete application scenario from the robotics domain. Our proposed Service-oriented Architecture allows for incorporating computational expensive functionality as services into a distributed computing environment. Furthermore, our framework facilitates a seamless integration of embedded systems such as robots as service providers into the computing environment. The entire communication is based on so-called recipes, which can be interpreted as autonomous messages that contain all necessary information for executing compositions of services.","lang":"eng"}],"status":"public","_id":"25073","user_id":"21240","department":[{"_id":"672"}],"language":[{"iso":"eng"}]},{"date_updated":"2022-01-06T06:56:50Z","publisher":"Springer","author":[{"last_name":"Jatzkowski","full_name":"Jatzkowski, Jan","first_name":"Jan"},{"last_name":"Kreutz","full_name":"Kreutz, Marcio Eduardo","first_name":"Marcio Eduardo"},{"last_name":"Rettberg","full_name":"Rettberg, Achim","first_name":"Achim"}],"date_created":"2021-09-28T11:45:59Z","title":"Hierarchical Multicore-Scheduling for Virtualization of Dependent Real-Time Systems","conference":{"start_date":"2015-11-03","end_date":"2015-11-06"},"year":"2015","citation":{"ama":"Jatzkowski J, Kreutz ME, Rettberg A. Hierarchical Multicore-Scheduling for Virtualization of Dependent Real-Time Systems. In: <i>Proceedings of the 5th IFIP International Embedded Systems Symposium (IESS)</i>. Springer; 2015.","ieee":"J. Jatzkowski, M. E. Kreutz, and A. Rettberg, “Hierarchical Multicore-Scheduling for Virtualization of Dependent Real-Time Systems,” 2015.","chicago":"Jatzkowski, Jan, Marcio Eduardo Kreutz, and Achim Rettberg. “Hierarchical Multicore-Scheduling for Virtualization of Dependent Real-Time Systems.” In <i>Proceedings of the 5th IFIP International Embedded Systems Symposium (IESS)</i>. Springer, 2015.","apa":"Jatzkowski, J., Kreutz, M. E., &#38; Rettberg, A. (2015). Hierarchical Multicore-Scheduling for Virtualization of Dependent Real-Time Systems. <i>Proceedings of the 5th IFIP International Embedded Systems Symposium (IESS)</i>.","short":"J. Jatzkowski, M.E. Kreutz, A. Rettberg, in: Proceedings of the 5th IFIP International Embedded Systems Symposium (IESS), Springer, 2015.","mla":"Jatzkowski, Jan, et al. “Hierarchical Multicore-Scheduling for Virtualization of Dependent Real-Time Systems.” <i>Proceedings of the 5th IFIP International Embedded Systems Symposium (IESS)</i>, Springer, 2015.","bibtex":"@inproceedings{Jatzkowski_Kreutz_Rettberg_2015, title={Hierarchical Multicore-Scheduling for Virtualization of Dependent Real-Time Systems}, booktitle={Proceedings of the 5th IFIP International Embedded Systems Symposium (IESS)}, publisher={Springer}, author={Jatzkowski, Jan and Kreutz, Marcio Eduardo and Rettberg, Achim}, year={2015} }"},"_id":"25074","department":[{"_id":"672"}],"user_id":"21240","language":[{"iso":"eng"}],"publication":"Proceedings of the 5th IFIP International Embedded Systems Symposium (IESS)","type":"conference","status":"public"},{"type":"conference","publication":"Virtual, Augmented and Mixed Reality VAMR 2015 Held as Part of HCI International 2015","status":"public","editor":[{"first_name":"Randall","last_name":"Shumaker","full_name":"Shumaker, Randall"},{"full_name":"Lackey, Stephanie","last_name":"Lackey","first_name":"Stephanie"}],"user_id":"21240","series_title":"LNCS","department":[{"_id":"672"}],"_id":"25075","language":[{"iso":"eng"}],"citation":{"ama":"Stahl K, Stöcklein J, Li S. Evaluation of Autonomous Approaches using Virtual Environments. In: Shumaker R, Lackey S, eds. <i>Virtual, Augmented and Mixed Reality VAMR 2015 Held as Part of HCI International 2015</i>. Vol 9179. LNCS. Springer International Publishing Switzerland; 2015:499-512.","ieee":"K. Stahl, J. Stöcklein, and S. Li, “Evaluation of Autonomous Approaches using Virtual Environments,” in <i>Virtual, Augmented and Mixed Reality VAMR 2015 Held as Part of HCI International 2015</i>, Los Angeles, CA, USA, 2. - 7. Aug. 2015, 2015, vol. 9179, pp. 499–512.","chicago":"Stahl, Katharina, Jörg Stöcklein, and Silja Li. “Evaluation of Autonomous Approaches Using Virtual Environments.” In <i>Virtual, Augmented and Mixed Reality VAMR 2015 Held as Part of HCI International 2015</i>, edited by Randall Shumaker and Stephanie Lackey, 9179:499–512. LNCS. Springer International Publishing Switzerland, 2015.","apa":"Stahl, K., Stöcklein, J., &#38; Li, S. (2015). Evaluation of Autonomous Approaches using Virtual Environments. In R. Shumaker &#38; S. Lackey (Eds.), <i>Virtual, Augmented and Mixed Reality VAMR 2015 Held as Part of HCI International 2015</i> (Vol. 9179, pp. 499–512). Springer International Publishing Switzerland.","short":"K. Stahl, J. Stöcklein, S. Li, in: R. Shumaker, S. Lackey (Eds.), Virtual, Augmented and Mixed Reality VAMR 2015 Held as Part of HCI International 2015, Springer International Publishing Switzerland, 2015, pp. 499–512.","mla":"Stahl, Katharina, et al. “Evaluation of Autonomous Approaches Using Virtual Environments.” <i>Virtual, Augmented and Mixed Reality VAMR 2015 Held as Part of HCI International 2015</i>, edited by Randall Shumaker and Stephanie Lackey, vol. 9179, Springer International Publishing Switzerland, 2015, pp. 499–512.","bibtex":"@inproceedings{Stahl_Stöcklein_Li_2015, series={LNCS}, title={Evaluation of Autonomous Approaches using Virtual Environments}, volume={9179}, booktitle={Virtual, Augmented and Mixed Reality VAMR 2015 Held as Part of HCI International 2015}, publisher={Springer International Publishing Switzerland}, author={Stahl, Katharina and Stöcklein, Jörg and Li, Silja}, editor={Shumaker, Randall and Lackey, Stephanie}, year={2015}, pages={499–512}, collection={LNCS} }"},"page":"499-512","year":"2015","author":[{"first_name":"Katharina","full_name":"Stahl, Katharina","last_name":"Stahl"},{"last_name":"Stöcklein","full_name":"Stöcklein, Jörg","first_name":"Jörg"},{"last_name":"Li","full_name":"Li, Silja","first_name":"Silja"}],"date_created":"2021-09-28T11:54:54Z","volume":" 9179","publisher":"Springer International Publishing Switzerland","date_updated":"2022-01-06T06:56:50Z","conference":{"location":"Los Angeles, CA, USA, 2. - 7. Aug. 2015","end_date":"2015-08-07","start_date":"2015-08-02"},"title":"Evaluation of Autonomous Approaches using Virtual Environments"},{"language":[{"iso":"eng"}],"department":[{"_id":"672"}],"user_id":"21240","_id":"25076","status":"public","abstract":[{"lang":"eng","text":"Automated service composition aims at automatically generating software solutions based on services to provide more complex functionality. In this paper, we give an initial overview about why adaptivity becomes increasingly important when aiming for automated composition of service functionality in dynamic and freely accessible environments such as service markets. We systematically derive dependencies among crucial processes such as service composition and service execution in a holistic view. Furthermore, we briefly discuss the influences and effects of changes in the environment according to the derived dependencies, and discuss possible future research directions."}],"publication":"Proceedings of the IEEE 11th World Congress on Services (SERVICES)","type":"conference","conference":{"start_date":"2016-06-26","end_date":"2015-07-02"},"title":"On Adaptivity for Automated Composition of Service Functionality","date_created":"2021-09-28T12:06:08Z","author":[{"first_name":"Alexander","full_name":"Jungmann, Alexander","last_name":"Jungmann"}],"date_updated":"2022-01-06T06:56:50Z","publisher":"IEEE Computer Society","page":"329-332","citation":{"mla":"Jungmann, Alexander. “On Adaptivity for Automated Composition of Service Functionality.” <i>Proceedings of the IEEE 11th World Congress on Services (SERVICES)</i>, IEEE Computer Society, 2015, pp. 329–32.","bibtex":"@inproceedings{Jungmann_2015, title={On Adaptivity for Automated Composition of Service Functionality}, booktitle={Proceedings of the IEEE 11th World Congress on Services (SERVICES)}, publisher={IEEE Computer Society}, author={Jungmann, Alexander}, year={2015}, pages={329–332} }","short":"A. Jungmann, in: Proceedings of the IEEE 11th World Congress on Services (SERVICES), IEEE Computer Society, 2015, pp. 329–332.","apa":"Jungmann, A. (2015). On Adaptivity for Automated Composition of Service Functionality. <i>Proceedings of the IEEE 11th World Congress on Services (SERVICES)</i>, 329–332.","chicago":"Jungmann, Alexander. “On Adaptivity for Automated Composition of Service Functionality.” In <i>Proceedings of the IEEE 11th World Congress on Services (SERVICES)</i>, 329–32. IEEE Computer Society, 2015.","ieee":"A. Jungmann, “On Adaptivity for Automated Composition of Service Functionality,” in <i>Proceedings of the IEEE 11th World Congress on Services (SERVICES)</i>, 2015, pp. 329–332.","ama":"Jungmann A. On Adaptivity for Automated Composition of Service Functionality. In: <i>Proceedings of the IEEE 11th World Congress on Services (SERVICES)</i>. IEEE Computer Society; 2015:329-332."},"year":"2015"},{"language":[{"iso":"eng"}],"_id":"25080","user_id":"21240","department":[{"_id":"672"}],"abstract":[{"lang":"eng","text":"ervices are self-contained and platform independent software components that aim at maximizing software reuse. The automated composition of services to a target software artifact has been tackled with many AI techniques, but existing approaches make unreasonably strong assumptions such as a predefined data flow, are limited to tiny problem sizes, ignore non-functional properties, or assume offline service repositories. This paper presents an algorithm that automatically composes services without making such assumptions. We employ a backward search algorithm that starts from an empty composition and prepends service calls to already discovered candidates until a solution is found. Available services are determined during the search process. We implemented our algorithm, performed an experimental evaluation, and compared it to other approaches."}],"status":"public","type":"conference","publication":"Proceedings of the 12th IEEE International Conference on Services Computing (SCC)","title":"Automated Online Service Composition","conference":{"start_date":"2015-06-26","end_date":"2015-07-02"},"date_updated":"2022-01-06T06:56:50Z","publisher":" IEEE Computer Society","author":[{"first_name":"Felix","last_name":"Mohr","full_name":"Mohr, Felix"},{"full_name":"Jungmann, Alexander","last_name":"Jungmann","first_name":"Alexander"},{"first_name":"Hans","last_name":"Kleine Büning","full_name":"Kleine Büning, Hans"}],"date_created":"2021-09-28T12:27:27Z","year":"2015","citation":{"ieee":"F. Mohr, A. Jungmann, and H. Kleine Büning, “Automated Online Service Composition,” in <i>Proceedings of the 12th IEEE International Conference on Services Computing (SCC)</i>, 2015, pp. 57–64.","chicago":"Mohr, Felix, Alexander Jungmann, and Hans Kleine Büning. “Automated Online Service Composition.” In <i>Proceedings of the 12th IEEE International Conference on Services Computing (SCC)</i>, 57–64.  IEEE Computer Society, 2015.","ama":"Mohr F, Jungmann A, Kleine Büning H. Automated Online Service Composition. In: <i>Proceedings of the 12th IEEE International Conference on Services Computing (SCC)</i>.  IEEE Computer Society; 2015:57-64.","apa":"Mohr, F., Jungmann, A., &#38; Kleine Büning, H. (2015). Automated Online Service Composition. <i>Proceedings of the 12th IEEE International Conference on Services Computing (SCC)</i>, 57–64.","mla":"Mohr, Felix, et al. “Automated Online Service Composition.” <i>Proceedings of the 12th IEEE International Conference on Services Computing (SCC)</i>,  IEEE Computer Society, 2015, pp. 57–64.","bibtex":"@inproceedings{Mohr_Jungmann_Kleine Büning_2015, title={Automated Online Service Composition}, booktitle={Proceedings of the 12th IEEE International Conference on Services Computing (SCC)}, publisher={ IEEE Computer Society}, author={Mohr, Felix and Jungmann, Alexander and Kleine Büning, Hans}, year={2015}, pages={57–64} }","short":"F. Mohr, A. Jungmann, H. Kleine Büning, in: Proceedings of the 12th IEEE International Conference on Services Computing (SCC),  IEEE Computer Society, 2015, pp. 57–64."},"page":"57-64"},{"conference":{"end_date":"2015-06-11","start_date":"2015-06-10"},"title":"Towards Hierarchical Scheduling of Dependent Systems with Hypervisor-based Virtualization","date_created":"2021-09-28T12:31:36Z","author":[{"full_name":"Jatzkowski, Jan","last_name":"Jatzkowski","first_name":"Jan"},{"full_name":"Kreutz, Marcio Eduardo","last_name":"Kreutz","first_name":"Marcio Eduardo"},{"first_name":"Achim","full_name":"Rettberg, Achim","last_name":"Rettberg"}],"date_updated":"2022-01-06T06:56:50Z","citation":{"apa":"Jatzkowski, J., Kreutz, M. E., &#38; Rettberg, A. (2015). Towards Hierarchical Scheduling of Dependent Systems with Hypervisor-based Virtualization. <i>Proceedings of Electronic System Level Synthesis Conference (ESLsyn)</i>.","mla":"Jatzkowski, Jan, et al. “Towards Hierarchical Scheduling of Dependent Systems with Hypervisor-Based Virtualization.” <i>Proceedings of Electronic System Level Synthesis Conference (ESLsyn)</i>, 2015.","short":"J. Jatzkowski, M.E. Kreutz, A. Rettberg, in: Proceedings of Electronic System Level Synthesis Conference (ESLsyn), 2015.","bibtex":"@inproceedings{Jatzkowski_Kreutz_Rettberg_2015, title={Towards Hierarchical Scheduling of Dependent Systems with Hypervisor-based Virtualization}, booktitle={Proceedings of Electronic System Level Synthesis Conference (ESLsyn)}, author={Jatzkowski, Jan and Kreutz, Marcio Eduardo and Rettberg, Achim}, year={2015} }","ieee":"J. Jatzkowski, M. E. Kreutz, and A. Rettberg, “Towards Hierarchical Scheduling of Dependent Systems with Hypervisor-based Virtualization,” 2015.","chicago":"Jatzkowski, Jan, Marcio Eduardo Kreutz, and Achim Rettberg. “Towards Hierarchical Scheduling of Dependent Systems with Hypervisor-Based Virtualization.” In <i>Proceedings of Electronic System Level Synthesis Conference (ESLsyn)</i>, 2015.","ama":"Jatzkowski J, Kreutz ME, Rettberg A. Towards Hierarchical Scheduling of Dependent Systems with Hypervisor-based Virtualization. In: <i>Proceedings of Electronic System Level Synthesis Conference (ESLsyn)</i>. ; 2015."},"year":"2015","language":[{"iso":"eng"}],"user_id":"21240","department":[{"_id":"672"}],"_id":"25082","status":"public","type":"conference","publication":"Proceedings of Electronic System Level Synthesis Conference (ESLsyn)"},{"title":"Self-Reconfiguration of Real-Time Communication within Cyber-Physical Systems","conference":{"location":"Mai 2015"},"publisher":"Elsevier","date_updated":"2022-01-06T06:56:50Z","author":[{"last_name":"Jatzkowski","full_name":"Jatzkowski, Jan","first_name":"Jan"},{"first_name":"Bernd","last_name":"Kleinjohann","full_name":"Kleinjohann, Bernd"}],"date_created":"2021-09-28T12:42:40Z","year":"2015","citation":{"chicago":"Jatzkowski, Jan, and Bernd Kleinjohann. “Self-Reconfiguration of Real-Time Communication within Cyber-Physical Systems.” In <i>Mechatronics</i>. Elsevier, 2015.","ieee":"J. Jatzkowski and B. Kleinjohann, “Self-Reconfiguration of Real-Time Communication within Cyber-Physical Systems,” Mai 2015, 2015.","ama":"Jatzkowski J, Kleinjohann B. Self-Reconfiguration of Real-Time Communication within Cyber-Physical Systems. In: <i>Mechatronics</i>. Elsevier; 2015.","apa":"Jatzkowski, J., &#38; Kleinjohann, B. (2015). Self-Reconfiguration of Real-Time Communication within Cyber-Physical Systems. <i>Mechatronics</i>.","mla":"Jatzkowski, Jan, and Bernd Kleinjohann. “Self-Reconfiguration of Real-Time Communication within Cyber-Physical Systems.” <i>Mechatronics</i>, Elsevier, 2015.","bibtex":"@inproceedings{Jatzkowski_Kleinjohann_2015, title={Self-Reconfiguration of Real-Time Communication within Cyber-Physical Systems}, booktitle={Mechatronics}, publisher={Elsevier}, author={Jatzkowski, Jan and Kleinjohann, Bernd}, year={2015} }","short":"J. Jatzkowski, B. Kleinjohann, in: Mechatronics, Elsevier, 2015."},"language":[{"iso":"eng"}],"_id":"25083","department":[{"_id":"672"}],"user_id":"21240","status":"public","publication":"Mechatronics","type":"conference"},{"status":"public","type":"mastersthesis","_id":"251","project":[{"_id":"1","name":"SFB 901"},{"name":"SFB 901 - Subprojekt A3","_id":"7"},{"name":"SFB 901 - Project Area A","_id":"2"}],"department":[{"_id":"63"},{"_id":"541"}],"user_id":"14052","year":"2015","citation":{"ama":"Pfannschmidt K. <i>Solving the Aggregated Bandits Problem</i>. Universität Paderborn; 2015.","chicago":"Pfannschmidt, Karlson. <i>Solving the Aggregated Bandits Problem</i>. Universität Paderborn, 2015.","ieee":"K. Pfannschmidt, <i>Solving the aggregated bandits problem</i>. Universität Paderborn, 2015.","mla":"Pfannschmidt, Karlson. <i>Solving the Aggregated Bandits Problem</i>. Universität Paderborn, 2015.","bibtex":"@book{Pfannschmidt_2015, title={Solving the aggregated bandits problem}, publisher={Universität Paderborn}, author={Pfannschmidt, Karlson}, year={2015} }","short":"K. Pfannschmidt, Solving the Aggregated Bandits Problem, Universität Paderborn, 2015.","apa":"Pfannschmidt, K. (2015). <i>Solving the aggregated bandits problem</i>. Universität Paderborn."},"title":"Solving the aggregated bandits problem","date_updated":"2022-01-06T06:56:50Z","publisher":"Universität Paderborn","supervisor":[{"id":"40384","full_name":"Skopalik, Alexander","last_name":"Skopalik","first_name":"Alexander"}],"date_created":"2017-10-17T12:41:41Z","author":[{"first_name":"Karlson","last_name":"Pfannschmidt","full_name":"Pfannschmidt, Karlson"}]},{"publication":"Journal of Internet Services and Applications 6(1)","type":"journal_article","abstract":[{"lang":"eng","text":"On-the-fly composition of service-based software solutions is still a challenging task. Even more challenges emerge when facing automatic service composition in markets of composed services for end users. In this paper, we focus on the functional discrepancy between “what a user wants” specified in terms of a request and “what a user gets” when executing a composed service. To meet the challenge of functional discrepancy, we propose the combination of existing symbolic composition approaches with machine learning techniques. We developed a learning recommendation system that expands the capabilities of existing composition algorithms to facilitate adaptivity and consequently reduces functional discrepancy. As a representative of symbolic techniques, an Artificial Intelligence planning based approach produces solutions that are correct with respect to formal specifications. Our learning recommendation system supports the symbolic approach in decision-making. Reinforcement Learning techniques enable the recommendation system to adjust its recommendation strategy over time based on user ratings. We implemented the proposed functionality in terms of a prototypical composition framework. Preliminary results from experiments conducted in the image processing domain illustrate the benefit of combining both complementary techniques."}],"status":"public","_id":"25107","department":[{"_id":"672"}],"user_id":"21240","language":[{"iso":"eng"}],"year":"2015","page":"1-18","citation":{"ama":"Jungmann A, Mohr F. An approach towards adaptive service composition in markets of composed services. <i>Journal of Internet Services and Applications 6(1)</i>. Published online 2015:1-18.","chicago":"Jungmann, Alexander, and Felix Mohr. “An Approach towards Adaptive Service Composition in Markets of Composed Services.” <i>Journal of Internet Services and Applications 6(1)</i>, 2015, 1–18.","ieee":"A. Jungmann and F. Mohr, “An approach towards adaptive service composition in markets of composed services,” <i>Journal of Internet Services and Applications 6(1)</i>, pp. 1–18, 2015.","short":"A. Jungmann, F. Mohr, Journal of Internet Services and Applications 6(1) (2015) 1–18.","mla":"Jungmann, Alexander, and Felix Mohr. “An Approach towards Adaptive Service Composition in Markets of Composed Services.” <i>Journal of Internet Services and Applications 6(1)</i>, 2015, pp. 1–18.","bibtex":"@article{Jungmann_Mohr_2015, title={An approach towards adaptive service composition in markets of composed services}, journal={Journal of Internet Services and Applications 6(1)}, author={Jungmann, Alexander and Mohr, Felix}, year={2015}, pages={1–18} }","apa":"Jungmann, A., &#38; Mohr, F. (2015). An approach towards adaptive service composition in markets of composed services. <i>Journal of Internet Services and Applications 6(1)</i>, 1–18."},"date_updated":"2022-01-06T06:56:51Z","date_created":"2021-09-29T09:39:32Z","author":[{"first_name":"Alexander","last_name":"Jungmann","full_name":"Jungmann, Alexander"},{"first_name":"Felix","full_name":"Mohr, Felix","last_name":"Mohr"}],"title":"An approach towards adaptive service composition in markets of composed services"},{"title":"Online behavior classification for anomaly detection in self-x real-time systems","date_updated":"2022-01-06T06:56:51Z","date_created":"2021-09-29T09:43:32Z","author":[{"first_name":"Franz-Josef","last_name":"Rammig","full_name":"Rammig, Franz-Josef"},{"first_name":"Katharina","last_name":"Stahl","full_name":"Stahl, Katharina"}],"year":"2015","citation":{"ieee":"F.-J. Rammig and K. Stahl, “Online behavior classification for anomaly detection in self-x real-time systems,” <i>Concurrency and Computation: Practice and Experience </i>, 2015.","chicago":"Rammig, Franz-Josef, and Katharina Stahl. “Online Behavior Classification for Anomaly Detection in Self-x Real-Time Systems.” <i>Concurrency and Computation: Practice and Experience </i>, 2015.","ama":"Rammig F-J, Stahl K. Online behavior classification for anomaly detection in self-x real-time systems. <i>Concurrency and Computation: Practice and Experience </i>. Published online 2015.","apa":"Rammig, F.-J., &#38; Stahl, K. (2015). Online behavior classification for anomaly detection in self-x real-time systems. <i>Concurrency and Computation: Practice and Experience </i>.","short":"F.-J. Rammig, K. Stahl, Concurrency and Computation: Practice and Experience  (2015).","mla":"Rammig, Franz-Josef, and Katharina Stahl. “Online Behavior Classification for Anomaly Detection in Self-x Real-Time Systems.” <i>Concurrency and Computation: Practice and Experience </i>, 2015.","bibtex":"@article{Rammig_Stahl_2015, title={Online behavior classification for anomaly detection in self-x real-time systems}, journal={Concurrency and Computation: Practice and Experience }, author={Rammig, Franz-Josef and Stahl, Katharina}, year={2015} }"},"language":[{"iso":"eng"}],"_id":"25108","department":[{"_id":"672"}],"user_id":"21240","abstract":[{"text":"Autonomous adaptation in self-adapting embedded real-time systems introduces novel risks as it may lead to unforeseen system behavior. An anomaly detection framework integrated in a real-time operating system can ease the identification of such suspicious novel behavior and, thereby, offers the potential to enhance the reliability of the considered self-x system. However, anomaly detection is based on knowledge about normal behavior. When dealing with self-reconfiguring applications, normal behavior changes. Hence, knowledge base requires adaptation or even re-construction at runtime. The stringent restrictions of real-time systems considering runtime and memory consumption make this task to a really challenging problem. We present our idea for online construction of application behavior knowledge that does not rely on training phase. The applications' behavior is defined by the application's system call invocations. For the knowledge base, we exploit suffix trees as they offer potentials to represent application behavior patterns and associated information in a compact manner. The online algorithm provided by suffix trees is a basis to construct the knowledge base with low computational effort. Anomaly detection and classification is integrated into the online construction method. New behavioral patterns do not unconditionally update the behavior knowledge base. They are evaluated in a context-related manner inspired by Danger Theory, a special discipline of artificial immune systems. Copyright © 2015 John Wiley & Sons, Ltd.","lang":"eng"}],"status":"public","publication":"Concurrency and Computation: Practice and Experience ","type":"journal_article"},{"type":"journal_article","publication":"Concurrency and Computation: Practice and Experience ","year":"2015","citation":{"chicago":"Sudhakar, Krishna, Yuhong Zhao, and Franz-Josef Rammig. “Efficient Integration of Online Model Checking into a Small-Footprint Real-Time Operating System.” <i>Concurrency and Computation: Practice and Experience </i>, 2015.","ieee":"K. Sudhakar, Y. Zhao, and F.-J. Rammig, “Efficient Integration of Online Model Checking into a Small-Footprint Real-Time Operating System,” <i>Concurrency and Computation: Practice and Experience </i>, 2015.","ama":"Sudhakar K, Zhao Y, Rammig F-J. Efficient Integration of Online Model Checking into a Small-Footprint Real-Time Operating System. <i>Concurrency and Computation: Practice and Experience </i>. Published online 2015.","apa":"Sudhakar, K., Zhao, Y., &#38; Rammig, F.-J. (2015). Efficient Integration of Online Model Checking into a Small-Footprint Real-Time Operating System. <i>Concurrency and Computation: Practice and Experience </i>.","mla":"Sudhakar, Krishna, et al. “Efficient Integration of Online Model Checking into a Small-Footprint Real-Time Operating System.” <i>Concurrency and Computation: Practice and Experience </i>, 2015.","short":"K. Sudhakar, Y. Zhao, F.-J. Rammig, Concurrency and Computation: Practice and Experience  (2015).","bibtex":"@article{Sudhakar_Zhao_Rammig_2015, title={Efficient Integration of Online Model Checking into a Small-Footprint Real-Time Operating System}, journal={Concurrency and Computation: Practice and Experience }, author={Sudhakar, Krishna and Zhao, Yuhong and Rammig, Franz-Josef}, year={2015} }"},"status":"public","date_updated":"2022-01-06T06:56:51Z","_id":"25109","user_id":"21240","date_created":"2021-09-29T09:53:25Z","author":[{"last_name":"Sudhakar","full_name":"Sudhakar, Krishna","first_name":"Krishna"},{"first_name":"Yuhong","full_name":"Zhao, Yuhong","last_name":"Zhao"},{"first_name":"Franz-Josef","full_name":"Rammig, Franz-Josef","last_name":"Rammig"}],"department":[{"_id":"672"}],"title":"Efficient Integration of Online Model Checking into a Small-Footprint Real-Time Operating System","language":[{"iso":"eng"}]},{"_id":"25110","department":[{"_id":"672"}],"user_id":"21240","language":[{"iso":"eng"}],"publication":"Int. J. of Embedded Systems","type":"journal_article","status":"public","date_updated":"2022-01-06T06:56:51Z","author":[{"last_name":"Joy","full_name":"Joy, M. tech. Mabel Mary","first_name":"M. tech. Mabel Mary"},{"full_name":"Rammig, Franz-Josef","last_name":"Rammig","first_name":"Franz-Josef"}],"date_created":"2021-09-29T09:55:59Z","title":"A hybrid methodology to detect memory leaks in soft real time embedded systems software","year":"2015","citation":{"apa":"Joy, M. tech. M. M., &#38; Rammig, F.-J. (2015). A hybrid methodology to detect memory leaks in soft real time embedded systems software. <i>Int. J. of Embedded Systems</i>.","mla":"Joy, M. tech. Mabel Mary, and Franz-Josef Rammig. “A Hybrid Methodology to Detect Memory Leaks in Soft Real Time Embedded Systems Software.” <i>Int. J. of Embedded Systems</i>, 2015.","bibtex":"@article{Joy_Rammig_2015, title={A hybrid methodology to detect memory leaks in soft real time embedded systems software}, journal={Int. J. of Embedded Systems}, author={Joy, M. tech. Mabel Mary and Rammig, Franz-Josef}, year={2015} }","short":"M. tech. M.M. Joy, F.-J. Rammig, Int. J. of Embedded Systems (2015).","ieee":"M. tech. M. M. Joy and F.-J. Rammig, “A hybrid methodology to detect memory leaks in soft real time embedded systems software,” <i>Int. J. of Embedded Systems</i>, 2015.","chicago":"Joy, M. tech. Mabel Mary, and Franz-Josef Rammig. “A Hybrid Methodology to Detect Memory Leaks in Soft Real Time Embedded Systems Software.” <i>Int. J. of Embedded Systems</i>, 2015.","ama":"Joy M tech. MM, Rammig F-J. A hybrid methodology to detect memory leaks in soft real time embedded systems software. <i>Int J of Embedded Systems</i>. Published online 2015."}},{"language":[{"iso":"eng"}],"_id":"25111","user_id":"21240","department":[{"_id":"672"}],"status":"public","type":"journal_article","publication":"Springer Jounal Soft Computing ","title":"Analysis of long-term swarm performance based on short-term experiments","date_updated":"2022-01-06T06:56:51Z","author":[{"full_name":"Khaluf, Yara","last_name":"Khaluf","first_name":"Yara"},{"full_name":"Birattari, Mauro","last_name":"Birattari","first_name":"Mauro"},{"first_name":"Franz-Josef","last_name":"Rammig","full_name":"Rammig, Franz-Josef"}],"date_created":"2021-09-29T09:58:49Z","year":"2015","citation":{"apa":"Khaluf, Y., Birattari, M., &#38; Rammig, F.-J. (2015). Analysis of long-term swarm performance based on short-term experiments. <i>Springer Jounal Soft Computing </i>.","short":"Y. Khaluf, M. Birattari, F.-J. Rammig, Springer Jounal Soft Computing  (2015).","bibtex":"@article{Khaluf_Birattari_Rammig_2015, title={Analysis of long-term swarm performance based on short-term experiments}, journal={Springer Jounal Soft Computing }, author={Khaluf, Yara and Birattari, Mauro and Rammig, Franz-Josef}, year={2015} }","mla":"Khaluf, Yara, et al. “Analysis of Long-Term Swarm Performance Based on Short-Term Experiments.” <i>Springer Jounal Soft Computing </i>, 2015.","ieee":"Y. Khaluf, M. Birattari, and F.-J. Rammig, “Analysis of long-term swarm performance based on short-term experiments,” <i>Springer Jounal Soft Computing </i>, 2015.","chicago":"Khaluf, Yara, Mauro Birattari, and Franz-Josef Rammig. “Analysis of Long-Term Swarm Performance Based on Short-Term Experiments.” <i>Springer Jounal Soft Computing </i>, 2015.","ama":"Khaluf Y, Birattari M, Rammig F-J. Analysis of long-term swarm performance based on short-term experiments. <i>Springer Jounal Soft Computing </i>. Published online 2015."}}]