[{"intvolume":"      8426","date_updated":"2023-10-16T13:43:59Z","author":[{"full_name":"Rudolph, Günter","last_name":"Rudolph","first_name":"Günter"},{"full_name":"Grimme, Christian","first_name":"Christian","last_name":"Grimme"},{"first_name":"Oliver","last_name":"Schütze","full_name":"Schütze, Oliver"},{"id":"100740","full_name":"Trautmann, Heike","orcid":"0000-0002-9788-8282","last_name":"Trautmann","first_name":"Heike"}],"title":"An Aspiration Set EMOA Based on Averaged Hausdorff Distances","year":"2014","language":[{"iso":"eng"}],"series_title":"Lecture Notes in Computer Science","abstract":[{"lang":"eng","text":"We propose an evolutionary multiobjective algorithm that approximates multiple reference points (the aspiration set) in a single run using the concept of the averaged Hausdorff distance."}],"publication":"Proceedings of the Learning and Intelligent OptimizatioN Conference (LION 8)","department":[{"_id":"34"},{"_id":"819"}],"type":"conference","date_created":"2023-08-04T15:34:44Z","status":"public","volume":8426,"user_id":"15504","_id":"46383","publisher":"Springer","page":"153–156","citation":{"ama":"Rudolph G, Grimme C, Schütze O, Trautmann H. An Aspiration Set EMOA Based on Averaged Hausdorff Distances. In: <i>Proceedings of the Learning and Intelligent OptimizatioN Conference (LION 8)</i>. Vol 8426. Lecture Notes in Computer Science. Springer; 2014:153–156.","bibtex":"@inproceedings{Rudolph_Grimme_Schütze_Trautmann_2014, place={Gainesville, Florida, USA}, series={Lecture Notes in Computer Science}, title={An Aspiration Set EMOA Based on Averaged Hausdorff Distances}, volume={8426}, booktitle={Proceedings of the Learning and Intelligent OptimizatioN Conference (LION 8)}, publisher={Springer}, author={Rudolph, Günter and Grimme, Christian and Schütze, Oliver and Trautmann, Heike}, year={2014}, pages={153–156}, collection={Lecture Notes in Computer Science} }","mla":"Rudolph, Günter, et al. “An Aspiration Set EMOA Based on Averaged Hausdorff Distances.” <i>Proceedings of the Learning and Intelligent OptimizatioN Conference (LION 8)</i>, vol. 8426, Springer, 2014, pp. 153–156.","chicago":"Rudolph, Günter, Christian Grimme, Oliver Schütze, and Heike Trautmann. “An Aspiration Set EMOA Based on Averaged Hausdorff Distances.” In <i>Proceedings of the Learning and Intelligent OptimizatioN Conference (LION 8)</i>, 8426:153–156. Lecture Notes in Computer Science. Gainesville, Florida, USA: Springer, 2014.","short":"G. Rudolph, C. Grimme, O. Schütze, H. Trautmann, in: Proceedings of the Learning and Intelligent OptimizatioN Conference (LION 8), Springer, Gainesville, Florida, USA, 2014, pp. 153–156.","apa":"Rudolph, G., Grimme, C., Schütze, O., &#38; Trautmann, H. (2014). An Aspiration Set EMOA Based on Averaged Hausdorff Distances. <i>Proceedings of the Learning and Intelligent OptimizatioN Conference (LION 8)</i>, <i>8426</i>, 153–156.","ieee":"G. Rudolph, C. Grimme, O. Schütze, and H. Trautmann, “An Aspiration Set EMOA Based on Averaged Hausdorff Distances,” in <i>Proceedings of the Learning and Intelligent OptimizatioN Conference (LION 8)</i>, 2014, vol. 8426, pp. 153–156."},"place":"Gainesville, Florida, USA"},{"date_updated":"2023-10-16T13:44:15Z","intvolume":"      8672","year":"2014","title":"Stopping Criteria for Multimodal Optimization","author":[{"full_name":"Wessing, S","last_name":"Wessing","first_name":"S"},{"full_name":"Preuss, M","first_name":"M","last_name":"Preuss"},{"id":"100740","full_name":"Trautmann, Heike","orcid":"0000-0002-9788-8282","first_name":"Heike","last_name":"Trautmann"}],"doi":"10.1007/978-3-319-10762-2_14","language":[{"iso":"eng"}],"series_title":"Lecture Notes in Computer Science","abstract":[{"lang":"eng","text":"Multimodal optimization requires maintenance of a good search space coverage and approximation of several optima at the same time. We analyze two constitutive optimization algorithms and show that in many cases, a phase transition occurs at some point, so that either diversity collapses or optimization stagnates. But how to derive suitable stopping criteria for multimodal optimization? Experimental results indicate that an algorithm’s population contains sufficient information to estimate the point in time when several performance indicators reach their optimum. Thus, stopping criteria are formulated based on summary characteristics employing objective values and mutation strength."}],"publication":"Proceedings of the Parallel Problem Solving from Nature — PPSN XIII","type":"conference","department":[{"_id":"34"},{"_id":"819"}],"date_created":"2023-08-04T15:36:01Z","status":"public","user_id":"15504","volume":8672,"editor":[{"last_name":"Bartz-Beielstein","first_name":"T","full_name":"Bartz-Beielstein, T"},{"full_name":"Branke, J","last_name":"Branke","first_name":"J"},{"full_name":"Filipic, B","first_name":"B","last_name":"Filipic"},{"full_name":"Smith, J","last_name":"Smith","first_name":"J"}],"page":"141–150","_id":"46384","publisher":"Springer","citation":{"short":"S. Wessing, M. Preuss, H. Trautmann, in: T. Bartz-Beielstein, J. Branke, B. Filipic, J. Smith (Eds.), Proceedings of the Parallel Problem Solving from Nature — PPSN XIII, Springer, Ljubljana, Slovenia, 2014, pp. 141–150.","chicago":"Wessing, S, M Preuss, and Heike Trautmann. “Stopping Criteria for Multimodal Optimization.” In <i>Proceedings of the Parallel Problem Solving from Nature — PPSN XIII</i>, edited by T Bartz-Beielstein, J Branke, B Filipic, and J Smith, 8672:141–150. Lecture Notes in Computer Science. Ljubljana, Slovenia: Springer, 2014. <a href=\"https://doi.org/10.1007/978-3-319-10762-2_14\">https://doi.org/10.1007/978-3-319-10762-2_14</a>.","ieee":"S. Wessing, M. Preuss, and H. Trautmann, “Stopping Criteria for Multimodal Optimization,” in <i>Proceedings of the Parallel Problem Solving from Nature — PPSN XIII</i>, 2014, vol. 8672, pp. 141–150, doi: <a href=\"https://doi.org/10.1007/978-3-319-10762-2_14\">10.1007/978-3-319-10762-2_14</a>.","apa":"Wessing, S., Preuss, M., &#38; Trautmann, H. (2014). Stopping Criteria for Multimodal Optimization. In T. Bartz-Beielstein, J. Branke, B. Filipic, &#38; J. Smith (Eds.), <i>Proceedings of the Parallel Problem Solving from Nature — PPSN XIII</i> (Vol. 8672, pp. 141–150). Springer. <a href=\"https://doi.org/10.1007/978-3-319-10762-2_14\">https://doi.org/10.1007/978-3-319-10762-2_14</a>","bibtex":"@inproceedings{Wessing_Preuss_Trautmann_2014, place={Ljubljana, Slovenia}, series={Lecture Notes in Computer Science}, title={Stopping Criteria for Multimodal Optimization}, volume={8672}, DOI={<a href=\"https://doi.org/10.1007/978-3-319-10762-2_14\">10.1007/978-3-319-10762-2_14</a>}, booktitle={Proceedings of the Parallel Problem Solving from Nature — PPSN XIII}, publisher={Springer}, author={Wessing, S and Preuss, M and Trautmann, Heike}, editor={Bartz-Beielstein, T and Branke, J and Filipic, B and Smith, J}, year={2014}, pages={141–150}, collection={Lecture Notes in Computer Science} }","ama":"Wessing S, Preuss M, Trautmann H. Stopping Criteria for Multimodal Optimization. In: Bartz-Beielstein T, Branke J, Filipic B, Smith J, eds. <i>Proceedings of the Parallel Problem Solving from Nature — PPSN XIII</i>. Vol 8672. Lecture Notes in Computer Science. Springer; 2014:141–150. doi:<a href=\"https://doi.org/10.1007/978-3-319-10762-2_14\">10.1007/978-3-319-10762-2_14</a>","mla":"Wessing, S., et al. “Stopping Criteria for Multimodal Optimization.” <i>Proceedings of the Parallel Problem Solving from Nature — PPSN XIII</i>, edited by T Bartz-Beielstein et al., vol. 8672, Springer, 2014, pp. 141–150, doi:<a href=\"https://doi.org/10.1007/978-3-319-10762-2_14\">10.1007/978-3-319-10762-2_14</a>."},"place":"Ljubljana, Slovenia"},{"status":"public","_id":"31369","publisher":"WTM-Verlag","page":"883–886","editor":[{"last_name":"Roth","first_name":"Jürgen","full_name":"Roth, Jürgen"},{"last_name":"Ames","first_name":"Judith","full_name":"Ames, Judith"}],"user_id":"49063","citation":{"chicago":"Panse, Anja, Joachim Hilgert, and Max Hoffmann. “Handlungsbedarf in fachmathematischen Veranstaltungen? – Spezielle Maßnahmen an der Universität Paderborn.” In <i>Beiträge zum Mathematikunterricht 2014</i>, edited by Jürgen Roth and Judith Ames, 883–886. Münster: WTM-Verlag, 2014. <a href=\"https://doi.org/10.17877/DE290R-15591\">https://doi.org/10.17877/DE290R-15591</a>.","short":"A. Panse, J. Hilgert, M. Hoffmann, in: J. Roth, J. Ames (Eds.), Beiträge zum Mathematikunterricht 2014, WTM-Verlag, Münster, 2014, pp. 883–886.","ieee":"A. Panse, J. Hilgert, and M. Hoffmann, “Handlungsbedarf in fachmathematischen Veranstaltungen? – Spezielle Maßnahmen an der Universität Paderborn,” in <i>Beiträge zum Mathematikunterricht 2014</i>, 2014, pp. 883–886, doi: <a href=\"https://doi.org/10.17877/DE290R-15591\">10.17877/DE290R-15591</a>.","apa":"Panse, A., Hilgert, J., &#38; Hoffmann, M. (2014). Handlungsbedarf in fachmathematischen Veranstaltungen? – Spezielle Maßnahmen an der Universität Paderborn. In J. Roth &#38; J. Ames (Eds.), <i>Beiträge zum Mathematikunterricht 2014</i> (pp. 883–886). WTM-Verlag. <a href=\"https://doi.org/10.17877/DE290R-15591\">https://doi.org/10.17877/DE290R-15591</a>","bibtex":"@inproceedings{Panse_Hilgert_Hoffmann_2014, place={Münster}, title={Handlungsbedarf in fachmathematischen Veranstaltungen? – Spezielle Maßnahmen an der Universität Paderborn}, DOI={<a href=\"https://doi.org/10.17877/DE290R-15591\">10.17877/DE290R-15591</a>}, booktitle={Beiträge zum Mathematikunterricht 2014}, publisher={WTM-Verlag}, author={Panse, Anja and Hilgert, Joachim and Hoffmann, Max}, editor={Roth, Jürgen and Ames, Judith}, year={2014}, pages={883–886} }","ama":"Panse A, Hilgert J, Hoffmann M. Handlungsbedarf in fachmathematischen Veranstaltungen? – Spezielle Maßnahmen an der Universität Paderborn. In: Roth J, Ames J, eds. <i>Beiträge zum Mathematikunterricht 2014</i>. WTM-Verlag; 2014:883–886. doi:<a href=\"https://doi.org/10.17877/DE290R-15591\">10.17877/DE290R-15591</a>","mla":"Panse, Anja, et al. “Handlungsbedarf in fachmathematischen Veranstaltungen? – Spezielle Maßnahmen an der Universität Paderborn.” <i>Beiträge zum Mathematikunterricht 2014</i>, edited by Jürgen Roth and Judith Ames, WTM-Verlag, 2014, pp. 883–886, doi:<a href=\"https://doi.org/10.17877/DE290R-15591\">10.17877/DE290R-15591</a>."},"place":"Münster","oa":"1","author":[{"last_name":"Panse","first_name":"Anja","full_name":"Panse, Anja"},{"id":"220","last_name":"Hilgert","first_name":"Joachim","full_name":"Hilgert, Joachim"},{"id":"32202","first_name":"Max","orcid":"0000-0002-6964-7123","last_name":"Hoffmann","full_name":"Hoffmann, Max"}],"title":"Handlungsbedarf in fachmathematischen Veranstaltungen? – Spezielle Maßnahmen an der Universität Paderborn","year":"2014","publication_status":"published","date_updated":"2024-02-19T06:19:20Z","language":[{"iso":"ger"}],"main_file_link":[{"open_access":"1","url":"https://eldorado.tu-dortmund.de/handle/2003/33279"}],"doi":"10.17877/DE290R-15591","publication":"Beiträge zum Mathematikunterricht 2014","date_created":"2022-05-22T14:23:39Z","department":[{"_id":"91"},{"_id":"97"}],"type":"conference"},{"status":"public","year":"2014","title":"Minimal representations via Bessel operators","author":[{"full_name":"Hilgert, Joachim","first_name":"Joachim","last_name":"Hilgert","id":"220"},{"full_name":"Möllers, J.","first_name":"J.","last_name":"Möllers"},{"first_name":"T.","last_name":"Kobayashi","full_name":"Kobayashi, T."}],"publication_status":"published","date_updated":"2024-02-19T06:54:42Z","intvolume":"        66","page":"349-414","language":[{"iso":"eng"}],"_id":"51394","user_id":"49063","volume":66,"publication":"J. Math. Soc. Japan","citation":{"ieee":"J. Hilgert, J. Möllers, and T. Kobayashi, “Minimal representations via Bessel operators,” <i>J. Math. Soc. Japan</i>, vol. 66, pp. 349–414, 2014.","apa":"Hilgert, J., Möllers, J., &#38; Kobayashi, T. (2014). Minimal representations via Bessel operators. <i>J. Math. Soc. Japan</i>, <i>66</i>, 349–414.","short":"J. Hilgert, J. Möllers, T. Kobayashi, J. Math. Soc. Japan 66 (2014) 349–414.","chicago":"Hilgert, Joachim, J. Möllers, and T. Kobayashi. “Minimal Representations via Bessel Operators.” <i>J. Math. Soc. Japan</i> 66 (2014): 349–414.","mla":"Hilgert, Joachim, et al. “Minimal Representations via Bessel Operators.” <i>J. Math. Soc. Japan</i>, vol. 66, 2014, pp. 349–414.","bibtex":"@article{Hilgert_Möllers_Kobayashi_2014, title={Minimal representations via Bessel operators}, volume={66}, journal={J. Math. Soc. Japan}, author={Hilgert, Joachim and Möllers, J. and Kobayashi, T.}, year={2014}, pages={349–414} }","ama":"Hilgert J, Möllers J, Kobayashi T. Minimal representations via Bessel operators. <i>J Math Soc Japan</i>. 2014;66:349-414."},"date_created":"2024-02-19T06:52:36Z","type":"journal_article","department":[{"_id":"91"}]},{"publication":"Math. Z.","citation":{"short":"J. Hilgert, T. Wurzbacher, A. Alldridge, Math. Z. 278 (2014) 441–492.","chicago":"Hilgert, Joachim, T. Wurzbacher, and A. Alldridge. “Singular Superspaces.” <i>Math. Z.</i> 278 (2014): 441–92.","apa":"Hilgert, J., Wurzbacher, T., &#38; Alldridge, A. (2014). Singular superspaces. <i>Math. Z.</i>, <i>278</i>, 441–492.","ieee":"J. Hilgert, T. Wurzbacher, and A. Alldridge, “Singular superspaces,” <i>Math. Z.</i>, vol. 278, pp. 441–492, 2014.","ama":"Hilgert J, Wurzbacher T, Alldridge A. Singular superspaces. <i>Math Z</i>. 2014;278:441-492.","bibtex":"@article{Hilgert_Wurzbacher_Alldridge_2014, title={Singular superspaces}, volume={278}, journal={Math. Z.}, author={Hilgert, Joachim and Wurzbacher, T. and Alldridge, A.}, year={2014}, pages={441–492} }","mla":"Hilgert, Joachim, et al. “Singular Superspaces.” <i>Math. Z.</i>, vol. 278, 2014, pp. 441–92."},"date_created":"2024-02-19T06:51:21Z","type":"journal_article","department":[{"_id":"91"}],"year":"2014","status":"public","title":"Singular superspaces","author":[{"id":"220","full_name":"Hilgert, Joachim","first_name":"Joachim","last_name":"Hilgert"},{"first_name":"T.","last_name":"Wurzbacher","full_name":"Wurzbacher, T."},{"last_name":"Alldridge","first_name":"A.","full_name":"Alldridge, A."}],"date_updated":"2024-02-19T06:54:42Z","publication_status":"published","intvolume":"       278","page":"441-492","language":[{"iso":"eng"}],"_id":"51393","user_id":"49063","volume":278},{"author":[{"full_name":"Hilgert, Joachim","first_name":"Joachim","last_name":"Hilgert","id":"220"},{"last_name":"Ólafsson","first_name":"G.","full_name":"Ólafsson, G."}],"year":"2014","status":"public","title":"The Radon transform and its dual for limits of symmetric spaces","intvolume":"        37","publication_status":"published","date_updated":"2024-02-19T08:11:08Z","language":[{"iso":"eng"}],"_id":"51466","series_title":"Developments in Mathematics","publisher":"Springer","volume":37,"editor":[{"last_name":"Mason","first_name":"G.","full_name":"Mason, G."},{"full_name":"Penkov, I.","last_name":"Penkov","first_name":"I."},{"full_name":"Wolf, J.A.","last_name":"Wolf","first_name":"J.A."}],"user_id":"49063","citation":{"short":"J. Hilgert, G. Ólafsson, in: G. Mason, I. Penkov, J.A. Wolf (Eds.), Developments and Retrospectives in Lie Theory - Geometric and Analytic Methods, Springer, 2014.","chicago":"Hilgert, Joachim, and G. Ólafsson. “The Radon Transform and Its Dual for Limits of Symmetric Spaces.” In <i>Developments and Retrospectives in Lie Theory - Geometric and Analytic Methods</i>, edited by G. Mason, I. Penkov, and J.A. Wolf, Vol. 37. Developments in Mathematics. Springer, 2014.","ieee":"J. Hilgert and G. Ólafsson, “The Radon transform and its dual for limits of symmetric spaces,” in <i>Developments and Retrospectives in Lie Theory - Geometric and Analytic Methods</i>, vol. 37, G. Mason, I. Penkov, and J. A. Wolf, Eds. Springer, 2014.","apa":"Hilgert, J., &#38; Ólafsson, G. (2014). The Radon transform and its dual for limits of symmetric spaces. In G. Mason, I. Penkov, &#38; J. A. Wolf (Eds.), <i>Developments and Retrospectives in Lie Theory - Geometric and Analytic Methods</i> (Vol. 37). Springer.","bibtex":"@inbook{Hilgert_Ólafsson_2014, series={Developments in Mathematics}, title={The Radon transform and its dual for limits of symmetric spaces}, volume={37}, booktitle={Developments and Retrospectives in Lie Theory - Geometric and Analytic Methods}, publisher={Springer}, author={Hilgert, Joachim and Ólafsson, G.}, editor={Mason, G. and Penkov, I. and Wolf, J.A.}, year={2014}, collection={Developments in Mathematics} }","ama":"Hilgert J, Ólafsson G. The Radon transform and its dual for limits of symmetric spaces. In: Mason G, Penkov I, Wolf JA, eds. <i>Developments and Retrospectives in Lie Theory - Geometric and Analytic Methods</i>. Vol 37. Developments in Mathematics. Springer; 2014.","mla":"Hilgert, Joachim, and G. Ólafsson. “The Radon Transform and Its Dual for Limits of Symmetric Spaces.” <i>Developments and Retrospectives in Lie Theory - Geometric and Analytic Methods</i>, edited by G. Mason et al., vol. 37, Springer, 2014."},"publication":"Developments and Retrospectives in Lie Theory - Geometric and Analytic Methods","date_created":"2024-02-19T08:10:54Z","department":[{"_id":"91"}],"type":"book_chapter"},{"citation":{"apa":"Hilgert, J., Hoffmann, M., &#38; Panse, A. (2014). Schwierigkeiten von Studienanfängern, verschiedene Lehrmethoden und Fragen an die Didaktik. In J. Roth &#38; J. Ames (Eds.), <i>Beiträge zum Mathematikunterricht 2014</i>. WTM Verlag.","ieee":"J. Hilgert, M. Hoffmann, and A. Panse, “Schwierigkeiten von Studienanfängern, verschiedene Lehrmethoden und Fragen an die Didaktik,” in <i>Beiträge zum Mathematikunterricht 2014</i>, J. Roth and J. Ames, Eds. Münster: WTM Verlag, 2014.","short":"J. Hilgert, M. Hoffmann, A. Panse, in: J. Roth, J. Ames (Eds.), Beiträge zum Mathematikunterricht 2014, WTM Verlag, Münster, 2014.","chicago":"Hilgert, Joachim, M. Hoffmann, and A. Panse. “Schwierigkeiten von Studienanfängern, verschiedene Lehrmethoden und Fragen an die Didaktik.” In <i>Beiträge zum Mathematikunterricht 2014</i>, edited by J. Roth and J. Ames. Münster: WTM Verlag, 2014.","mla":"Hilgert, Joachim, et al. “Schwierigkeiten von Studienanfängern, verschiedene Lehrmethoden und Fragen an die Didaktik.” <i>Beiträge zum Mathematikunterricht 2014</i>, edited by J. Roth and J. Ames, WTM Verlag, 2014.","ama":"Hilgert J, Hoffmann M, Panse A. Schwierigkeiten von Studienanfängern, verschiedene Lehrmethoden und Fragen an die Didaktik. In: Roth J, Ames J, eds. <i>Beiträge zum Mathematikunterricht 2014</i>. WTM Verlag; 2014.","bibtex":"@inbook{Hilgert_Hoffmann_Panse_2014, place={Münster}, title={Schwierigkeiten von Studienanfängern, verschiedene Lehrmethoden und Fragen an die Didaktik}, booktitle={Beiträge zum Mathematikunterricht 2014}, publisher={WTM Verlag}, author={Hilgert, Joachim and Hoffmann, M. and Panse, A.}, editor={Roth, J. and Ames, J.}, year={2014} }"},"publication":"Beiträge zum Mathematikunterricht 2014","department":[{"_id":"91"}],"type":"book_chapter","date_created":"2024-02-19T08:07:51Z","place":"Münster","publication_status":"published","date_updated":"2024-02-19T08:07:57Z","author":[{"id":"220","last_name":"Hilgert","first_name":"Joachim","full_name":"Hilgert, Joachim"},{"first_name":"M.","last_name":"Hoffmann","full_name":"Hoffmann, M."},{"last_name":"Panse","first_name":"A.","full_name":"Panse, A."}],"year":"2014","status":"public","title":"Schwierigkeiten von Studienanfängern, verschiedene Lehrmethoden und Fragen an die Didaktik","editor":[{"first_name":"J.","last_name":"Roth","full_name":"Roth, J."},{"first_name":"J.","last_name":"Ames","full_name":"Ames, J."}],"user_id":"49063","_id":"51465","publisher":"WTM Verlag","language":[{"iso":"ger"}]},{"publication":"SIAM Journal on Numerical Analysis","issue":"6","date_created":"2023-07-10T11:35:14Z","keyword":["Numerical Analysis","Applied Mathematics","Computational Mathematics"],"type":"journal_article","department":[{"_id":"841"}],"year":"2014","title":"Robust Preconditioning Estimates for Convection-Dominated Elliptic Problems via a Streamline Poincaré--Friedrichs Inequality","author":[{"last_name":"Axelsson","first_name":"Owe","full_name":"Axelsson, Owe"},{"first_name":"János","last_name":"Karátson","full_name":"Karátson, János"},{"full_name":"Kovács, Balázs","last_name":"Kovács","first_name":"Balázs"}],"publication_identifier":{"issn":["0036-1429","1095-7170"]},"publication_status":"published","date_updated":"2024-04-03T09:23:35Z","intvolume":"        52","language":[{"iso":"eng"}],"doi":"10.1137/130940268","citation":{"chicago":"Axelsson, Owe, János Karátson, and Balázs Kovács. “Robust Preconditioning Estimates for Convection-Dominated Elliptic Problems via a Streamline Poincaré--Friedrichs Inequality.” <i>SIAM Journal on Numerical Analysis</i> 52, no. 6 (2014): 2957–76. <a href=\"https://doi.org/10.1137/130940268\">https://doi.org/10.1137/130940268</a>.","short":"O. Axelsson, J. Karátson, B. Kovács, SIAM Journal on Numerical Analysis 52 (2014) 2957–2976.","ieee":"O. Axelsson, J. Karátson, and B. Kovács, “Robust Preconditioning Estimates for Convection-Dominated Elliptic Problems via a Streamline Poincaré--Friedrichs Inequality,” <i>SIAM Journal on Numerical Analysis</i>, vol. 52, no. 6, pp. 2957–2976, 2014, doi: <a href=\"https://doi.org/10.1137/130940268\">10.1137/130940268</a>.","apa":"Axelsson, O., Karátson, J., &#38; Kovács, B. (2014). Robust Preconditioning Estimates for Convection-Dominated Elliptic Problems via a Streamline Poincaré--Friedrichs Inequality. <i>SIAM Journal on Numerical Analysis</i>, <i>52</i>(6), 2957–2976. <a href=\"https://doi.org/10.1137/130940268\">https://doi.org/10.1137/130940268</a>","bibtex":"@article{Axelsson_Karátson_Kovács_2014, title={Robust Preconditioning Estimates for Convection-Dominated Elliptic Problems via a Streamline Poincaré--Friedrichs Inequality}, volume={52}, DOI={<a href=\"https://doi.org/10.1137/130940268\">10.1137/130940268</a>}, number={6}, journal={SIAM Journal on Numerical Analysis}, publisher={Society for Industrial &#38; Applied Mathematics (SIAM)}, author={Axelsson, Owe and Karátson, János and Kovács, Balázs}, year={2014}, pages={2957–2976} }","ama":"Axelsson O, Karátson J, Kovács B. Robust Preconditioning Estimates for Convection-Dominated Elliptic Problems via a Streamline Poincaré--Friedrichs Inequality. <i>SIAM Journal on Numerical Analysis</i>. 2014;52(6):2957-2976. doi:<a href=\"https://doi.org/10.1137/130940268\">10.1137/130940268</a>","mla":"Axelsson, Owe, et al. “Robust Preconditioning Estimates for Convection-Dominated Elliptic Problems via a Streamline Poincaré--Friedrichs Inequality.” <i>SIAM Journal on Numerical Analysis</i>, vol. 52, no. 6, Society for Industrial &#38; Applied Mathematics (SIAM), 2014, pp. 2957–76, doi:<a href=\"https://doi.org/10.1137/130940268\">10.1137/130940268</a>."},"status":"public","page":"2957-2976","_id":"45935","publisher":"Society for Industrial & Applied Mathematics (SIAM)","user_id":"100441","volume":52},{"citation":{"apa":"Kovács, B. (2014). On the numerical performance of a sharp a posteriori error estimator for some nonlinear elliptic problems. <i>Applications of Mathematics</i>, <i>59</i>(5), 489–508. <a href=\"https://doi.org/10.1007/s10492-014-0068-0\">https://doi.org/10.1007/s10492-014-0068-0</a>","ieee":"B. Kovács, “On the numerical performance of a sharp a posteriori error estimator for some nonlinear elliptic problems,” <i>Applications of Mathematics</i>, vol. 59, no. 5, pp. 489–508, 2014, doi: <a href=\"https://doi.org/10.1007/s10492-014-0068-0\">10.1007/s10492-014-0068-0</a>.","short":"B. Kovács, Applications of Mathematics 59 (2014) 489–508.","chicago":"Kovács, Balázs. “On the Numerical Performance of a Sharp a Posteriori Error Estimator for Some Nonlinear Elliptic Problems.” <i>Applications of Mathematics</i> 59, no. 5 (2014): 489–508. <a href=\"https://doi.org/10.1007/s10492-014-0068-0\">https://doi.org/10.1007/s10492-014-0068-0</a>.","mla":"Kovács, Balázs. “On the Numerical Performance of a Sharp a Posteriori Error Estimator for Some Nonlinear Elliptic Problems.” <i>Applications of Mathematics</i>, vol. 59, no. 5, Institute of Mathematics, Czech Academy of Sciences, 2014, pp. 489–508, doi:<a href=\"https://doi.org/10.1007/s10492-014-0068-0\">10.1007/s10492-014-0068-0</a>.","ama":"Kovács B. On the numerical performance of a sharp a posteriori error estimator for some nonlinear elliptic problems. <i>Applications of Mathematics</i>. 2014;59(5):489-508. doi:<a href=\"https://doi.org/10.1007/s10492-014-0068-0\">10.1007/s10492-014-0068-0</a>","bibtex":"@article{Kovács_2014, title={On the numerical performance of a sharp a posteriori error estimator for some nonlinear elliptic problems}, volume={59}, DOI={<a href=\"https://doi.org/10.1007/s10492-014-0068-0\">10.1007/s10492-014-0068-0</a>}, number={5}, journal={Applications of Mathematics}, publisher={Institute of Mathematics, Czech Academy of Sciences}, author={Kovács, Balázs}, year={2014}, pages={489–508} }"},"_id":"45934","publisher":"Institute of Mathematics, Czech Academy of Sciences","page":"489-508","volume":59,"user_id":"100441","status":"public","date_created":"2023-07-10T11:34:27Z","department":[{"_id":"841"}],"type":"journal_article","keyword":["Applied Mathematics"],"issue":"5","publication":"Applications of Mathematics","language":[{"iso":"eng"}],"doi":"10.1007/s10492-014-0068-0","author":[{"id":"100441","full_name":"Kovács, Balázs","orcid":"0000-0001-9872-3474","last_name":"Kovács","first_name":"Balázs"}],"publication_identifier":{"issn":["0862-7940","1572-9109"]},"year":"2014","title":"On the numerical performance of a sharp a posteriori error estimator for some nonlinear elliptic problems","intvolume":"        59","date_updated":"2024-04-03T09:23:47Z","publication_status":"published"},{"user_id":"578","main_file_link":[{"url":"https://eu04.alma.exlibrisgroup.com/view/uresolver/49HBZ_PAD/openurl?u.ignore_date_coverage=true&portfolio_pid=53164187180006463&Force_direct=true"}],"language":[{"iso":"ger"}],"_id":"51696","date_updated":"2024-04-09T11:12:19Z","publication_status":"published","status":"public","year":"2014","title":"Ziehen und Beweisen mit DGS. Welche Beweiskraft haben für Studierende die Erkenntnisse, die sie im Zugmodus gewinnen?","author":[{"full_name":"Werth, Gerda","first_name":"Gerda","last_name":"Werth","id":"578"}],"type":"dissertation","department":[{"_id":"34"},{"_id":"10"},{"_id":"98"}],"date_created":"2024-02-21T14:06:13Z","citation":{"mla":"Werth, Gerda. <i>Ziehen und Beweisen mit DGS. Welche Beweiskraft haben für Studierende die Erkenntnisse, die sie im Zugmodus gewinnen?</i> 2014.","bibtex":"@book{Werth_2014, title={Ziehen und Beweisen mit DGS. Welche Beweiskraft haben für Studierende die Erkenntnisse, die sie im Zugmodus gewinnen?}, author={Werth, Gerda}, year={2014} }","ama":"Werth G. <i>Ziehen und Beweisen mit DGS. Welche Beweiskraft haben für Studierende die Erkenntnisse, die sie im Zugmodus gewinnen?</i>; 2014.","ieee":"G. Werth, <i>Ziehen und Beweisen mit DGS. Welche Beweiskraft haben für Studierende die Erkenntnisse, die sie im Zugmodus gewinnen?</i> 2014.","apa":"Werth, G. (2014). <i>Ziehen und Beweisen mit DGS. Welche Beweiskraft haben für Studierende die Erkenntnisse, die sie im Zugmodus gewinnen?</i>","chicago":"Werth, Gerda. <i>Ziehen und Beweisen mit DGS. Welche Beweiskraft haben für Studierende die Erkenntnisse, die sie im Zugmodus gewinnen?</i>, 2014.","short":"G. Werth, Ziehen und Beweisen mit DGS. Welche Beweiskraft haben für Studierende die Erkenntnisse, die sie im Zugmodus gewinnen?, 2014."}},{"citation":{"mla":"Küster, Benjamin. “Discontinuity of the Fuglede-Kadison Determinant on a Group von Neumann Algebra.” <i>Communications in Mathematics</i>, vol. 22, no. 2, 2014, pp. 141–49.","bibtex":"@article{Küster_2014, title={Discontinuity of the Fuglede-Kadison determinant on a group von Neumann algebra}, volume={22}, number={2}, journal={Communications in Mathematics}, author={Küster, Benjamin}, year={2014}, pages={141–149} }","ama":"Küster B. Discontinuity of the Fuglede-Kadison determinant on a group von Neumann algebra. <i>Communications in Mathematics</i>. 2014;22(2):141-149.","ieee":"B. Küster, “Discontinuity of the Fuglede-Kadison determinant on a group von Neumann algebra,” <i>Communications in Mathematics</i>, vol. 22, no. 2, pp. 141–149, 2014.","apa":"Küster, B. (2014). Discontinuity of the Fuglede-Kadison determinant on a group von Neumann algebra. <i>Communications in Mathematics</i>, <i>22</i>(2), 141–149.","chicago":"Küster, Benjamin. “Discontinuity of the Fuglede-Kadison Determinant on a Group von Neumann Algebra.” <i>Communications in Mathematics</i> 22, no. 2 (2014): 141–49.","short":"B. Küster, Communications in Mathematics 22 (2014) 141–149."},"issue":"2","publication":"Communications in Mathematics","extern":"1","date_created":"2022-06-20T08:54:34Z","department":[{"_id":"548"}],"type":"journal_article","author":[{"last_name":"Küster","first_name":"Benjamin","full_name":"Küster, Benjamin"}],"publication_identifier":{"unknown":["2336-1298","1804-1388"]},"year":"2014","status":"public","title":"Discontinuity of the Fuglede-Kadison determinant on a group von Neumann algebra","intvolume":"        22","date_updated":"2024-04-11T12:41:29Z","publication_status":"published","_id":"32025","language":[{"iso":"eng"}],"page":"141 - 149","volume":22,"user_id":"70575"},{"place":"Wiesbaden","date_created":"2023-10-23T09:35:30Z","type":"book","department":[{"_id":"643"}],"citation":{"apa":"Wessel, L. (2014). <i>Fach-und sprachintegrierte Förderung durch Darstellungsvernetzung und Scaffolding: ein Entwicklungsforschungsprojekt zum Anteilbegriff</i> (Vol. 19). Springer-Verlag.","mla":"Wessel, Lena. <i>Fach-und sprachintegrierte Förderung durch Darstellungsvernetzung und Scaffolding: ein Entwicklungsforschungsprojekt zum Anteilbegriff</i>. Springer-Verlag, 2014.","ieee":"L. Wessel, <i>Fach-und sprachintegrierte Förderung durch Darstellungsvernetzung und Scaffolding: ein Entwicklungsforschungsprojekt zum Anteilbegriff</i>, vol. 19. Wiesbaden: Springer-Verlag, 2014.","short":"L. Wessel, Fach-und sprachintegrierte Förderung durch Darstellungsvernetzung und Scaffolding: ein Entwicklungsforschungsprojekt zum Anteilbegriff, Springer-Verlag, Wiesbaden, 2014.","ama":"Wessel L. <i>Fach-und sprachintegrierte Förderung durch Darstellungsvernetzung und Scaffolding: ein Entwicklungsforschungsprojekt zum Anteilbegriff</i>. Vol 19. Springer-Verlag; 2014.","chicago":"Wessel, Lena. <i>Fach-und sprachintegrierte Förderung durch Darstellungsvernetzung und Scaffolding: ein Entwicklungsforschungsprojekt zum Anteilbegriff</i>. Vol. 19. Wiesbaden: Springer-Verlag, 2014.","bibtex":"@book{Wessel_2014, place={Wiesbaden}, title={Fach-und sprachintegrierte Förderung durch Darstellungsvernetzung und Scaffolding: ein Entwicklungsforschungsprojekt zum Anteilbegriff}, volume={19}, publisher={Springer-Verlag}, author={Wessel, Lena}, year={2014} }"},"language":[{"iso":"ger"}],"_id":"48384","publisher":"Springer-Verlag","user_id":"37888","volume":19,"title":"Fach-und sprachintegrierte Förderung durch Darstellungsvernetzung und Scaffolding: ein Entwicklungsforschungsprojekt zum Anteilbegriff","status":"public","year":"2014","author":[{"id":"85190","last_name":"Wessel","first_name":"Lena","full_name":"Wessel, Lena"}],"date_updated":"2024-04-18T09:16:43Z","intvolume":"        19"},{"status":"public","year":"2014","title":"HeroeS - A Framework for Heterogeneous Software-Intensive System Design with SystemC","author":[{"last_name":"Becker","first_name":"Markus","full_name":"Becker, Markus"},{"id":"16243","last_name":"Müller","first_name":"Wolfgang","full_name":"Müller, Wolfgang"},{"first_name":"Joachim","last_name":"Stroop","full_name":"Stroop, Joachim"},{"first_name":"Ulrich","last_name":"Kiffmeier","full_name":"Kiffmeier, Ulrich"}],"date_updated":"2024-04-18T21:06:21Z","language":[{"iso":"eng"}],"_id":"25164","user_id":"16243","publication":"Design, Automation and Test in Europe DATE, University Booth, Dresden","citation":{"ieee":"M. Becker, W. Müller, J. Stroop, and U. Kiffmeier, “HeroeS - A Framework for Heterogeneous Software-Intensive System Design with SystemC,” <i>Design, Automation and Test in Europe DATE, University Booth, Dresden</i>, 2014.","apa":"Becker, M., Müller, W., Stroop, J., &#38; Kiffmeier, U. (2014). HeroeS - A Framework for Heterogeneous Software-Intensive System Design with SystemC. <i>Design, Automation and Test in Europe DATE, University Booth, Dresden</i>.","chicago":"Becker, Markus, Wolfgang Müller, Joachim Stroop, and Ulrich Kiffmeier. “HeroeS - A Framework for Heterogeneous Software-Intensive System Design with SystemC.” <i>Design, Automation and Test in Europe DATE, University Booth, Dresden</i>, 2014.","short":"M. Becker, W. Müller, J. Stroop, U. Kiffmeier, Design, Automation and Test in Europe DATE, University Booth, Dresden (2014).","mla":"Becker, Markus, et al. “HeroeS - A Framework for Heterogeneous Software-Intensive System Design with SystemC.” <i>Design, Automation and Test in Europe DATE, University Booth, Dresden</i>, 2014.","bibtex":"@article{Becker_Müller_Stroop_Kiffmeier_2014, title={HeroeS - A Framework for Heterogeneous Software-Intensive System Design with SystemC}, journal={Design, Automation and Test in Europe DATE, University Booth, Dresden}, author={Becker, Markus and Müller, Wolfgang and Stroop, Joachim and Kiffmeier, Ulrich}, year={2014} }","ama":"Becker M, Müller W, Stroop J, Kiffmeier U. HeroeS - A Framework for Heterogeneous Software-Intensive System Design with SystemC. <i>Design, Automation and Test in Europe DATE, University Booth, Dresden</i>. Published online 2014."},"date_created":"2021-09-30T10:17:43Z","type":"journal_article","department":[{"_id":"672"}]},{"date_updated":"2024-06-05T13:17:31Z","publication_status":"published","author":[{"full_name":"Fahl, Sascha","first_name":"Sascha","last_name":"Fahl"},{"last_name":"Acar","first_name":"Yasemin","full_name":"Acar, Yasemin","id":"94636"},{"last_name":"Perl","first_name":"Henning","full_name":"Perl, Henning"},{"full_name":"Smith, Matthew","first_name":"Matthew","last_name":"Smith"}],"status":"public","year":"2014","title":"Why eve and mallory (also) love webmasters","alternative_title":["a study on the root causes of SSL misconfigurations"],"doi":"10.1145/2590296.2590341","user_id":"14931","language":[{"iso":"eng"}],"_id":"47162","publisher":"ACM","extern":"1","citation":{"apa":"Fahl, S., Acar, Y., Perl, H., &#38; Smith, M. (2014). Why eve and mallory (also) love webmasters. <i>Proceedings of the 9th ACM Symposium on Information, Computer and Communications Security</i>. <a href=\"https://doi.org/10.1145/2590296.2590341\">https://doi.org/10.1145/2590296.2590341</a>","ieee":"S. Fahl, Y. Acar, H. Perl, and M. Smith, “Why eve and mallory (also) love webmasters,” 2014, doi: <a href=\"https://doi.org/10.1145/2590296.2590341\">10.1145/2590296.2590341</a>.","chicago":"Fahl, Sascha, Yasemin Acar, Henning Perl, and Matthew Smith. “Why Eve and Mallory (Also) Love Webmasters.” In <i>Proceedings of the 9th ACM Symposium on Information, Computer and Communications Security</i>. ACM, 2014. <a href=\"https://doi.org/10.1145/2590296.2590341\">https://doi.org/10.1145/2590296.2590341</a>.","short":"S. Fahl, Y. Acar, H. Perl, M. Smith, in: Proceedings of the 9th ACM Symposium on Information, Computer and Communications Security, ACM, 2014.","mla":"Fahl, Sascha, et al. “Why Eve and Mallory (Also) Love Webmasters.” <i>Proceedings of the 9th ACM Symposium on Information, Computer and Communications Security</i>, ACM, 2014, doi:<a href=\"https://doi.org/10.1145/2590296.2590341\">10.1145/2590296.2590341</a>.","ama":"Fahl S, Acar Y, Perl H, Smith M. Why eve and mallory (also) love webmasters. In: <i>Proceedings of the 9th ACM Symposium on Information, Computer and Communications Security</i>. ACM; 2014. doi:<a href=\"https://doi.org/10.1145/2590296.2590341\">10.1145/2590296.2590341</a>","bibtex":"@inproceedings{Fahl_Acar_Perl_Smith_2014, title={Why eve and mallory (also) love webmasters}, DOI={<a href=\"https://doi.org/10.1145/2590296.2590341\">10.1145/2590296.2590341</a>}, booktitle={Proceedings of the 9th ACM symposium on Information, computer and communications security}, publisher={ACM}, author={Fahl, Sascha and Acar, Yasemin and Perl, Henning and Smith, Matthew}, year={2014} }"},"publication":"Proceedings of the 9th ACM symposium on Information, computer and communications security","department":[{"_id":"34"},{"_id":"858"}],"type":"conference","date_created":"2023-09-22T11:56:00Z"},{"_id":"25120","publisher":"IEEE","language":[{"iso":"eng"}],"user_id":"5786","title":"Architectural Low-Power Design Using Transaction-Based System Simulation","year":"2014","status":"public","author":[{"first_name":"Fabian","last_name":"Mischkalla","full_name":"Mischkalla, Fabian"},{"full_name":"Müller, Wolfgang","last_name":"Müller","first_name":"Wolfgang","id":"16243"}],"conference":{"location":"Greece, Sep. 2014, IEEE"},"date_updated":"2023-01-16T11:29:24Z","date_created":"2021-09-29T12:06:12Z","type":"conference","department":[{"_id":"58"}],"publication":"Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XIV)","citation":{"ama":"Mischkalla F, Müller W. Architectural Low-Power Design Using Transaction-Based System Simulation. In: <i>Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XIV)</i>. IEEE; 2014.","bibtex":"@inproceedings{Mischkalla_Müller_2014, title={Architectural Low-Power Design Using Transaction-Based System Simulation}, booktitle={Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XIV)}, publisher={IEEE}, author={Mischkalla, Fabian and Müller, Wolfgang}, year={2014} }","mla":"Mischkalla, Fabian, and Wolfgang Müller. “Architectural Low-Power Design Using Transaction-Based System Simulation.” <i>Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XIV)</i>, IEEE, 2014.","short":"F. Mischkalla, W. Müller, in: Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XIV), IEEE, 2014.","chicago":"Mischkalla, Fabian, and Wolfgang Müller. “Architectural Low-Power Design Using Transaction-Based System Simulation.” In <i>Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XIV)</i>. IEEE, 2014.","apa":"Mischkalla, F., &#38; Müller, W. (2014). Architectural Low-Power Design Using Transaction-Based System Simulation. <i>Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XIV)</i>.","ieee":"F. Mischkalla and W. Müller, “Architectural Low-Power Design Using Transaction-Based System Simulation,” Greece, Sep. 2014, IEEE, 2014."}},{"publication":"12th IEEE International conference on Embedded Computing","citation":{"mla":"Joy, M. tech. Mabel Mary, et al. “Source Code Annotated Memory Leak Detection for Soft Real Time Embedded Systems with Resource Constraints.” <i>12th IEEE International Conference on Embedded Computing</i>, 2014.","ama":"Joy M tech. MM, Müller W, Rammig F-J. Source code annotated memory leak detection for soft real time embedded systems with resource constraints. In: <i>12th IEEE International Conference on Embedded Computing</i>. ; 2014.","bibtex":"@inproceedings{Joy_Müller_Rammig_2014, title={Source code annotated memory leak detection for soft real time embedded systems with resource constraints}, booktitle={12th IEEE International conference on Embedded Computing}, author={Joy, M. tech. Mabel Mary and Müller, Wolfgang and Rammig, Franz-Josef}, year={2014} }","apa":"Joy, M. tech. M. M., Müller, W., &#38; Rammig, F.-J. (2014). Source code annotated memory leak detection for soft real time embedded systems with resource constraints. <i>12th IEEE International Conference on Embedded Computing</i>.","ieee":"M. tech. M. M. Joy, W. Müller, and F.-J. Rammig, “Source code annotated memory leak detection for soft real time embedded systems with resource constraints,” 2014.","short":"M. tech. M.M. Joy, W. Müller, F.-J. Rammig, in: 12th IEEE International Conference on Embedded Computing, 2014.","chicago":"Joy, M. tech. Mabel Mary, Wolfgang Müller, and Franz-Josef Rammig. “Source Code Annotated Memory Leak Detection for Soft Real Time Embedded Systems with Resource Constraints.” In <i>12th IEEE International Conference on Embedded Computing</i>, 2014."},"type":"conference","department":[{"_id":"58"}],"date_created":"2021-09-30T07:18:43Z","date_updated":"2023-01-16T11:36:02Z","status":"public","title":"Source code annotated memory leak detection for soft real time embedded systems with resource constraints","year":"2014","author":[{"last_name":"Joy","first_name":"M. tech. Mabel Mary","full_name":"Joy, M. tech. Mabel Mary"},{"full_name":"Müller, Wolfgang","last_name":"Müller","first_name":"Wolfgang","id":"16243"},{"full_name":"Rammig, Franz-Josef","last_name":"Rammig","first_name":"Franz-Josef"}],"user_id":"5786","language":[{"iso":"eng"}],"_id":"25146"},{"year":"2014","title":"Advanced SoC Virtual Prototyping for System-Level Power Planning and Validation","status":"public","author":[{"full_name":"Mischkalla, Fabian","last_name":"Mischkalla","first_name":"Fabian"},{"id":"16243","last_name":"Müller","first_name":"Wolfgang","full_name":"Müller, Wolfgang"}],"date_updated":"2023-01-16T11:28:39Z","language":[{"iso":"eng"}],"_id":"25144","user_id":"5786","publication":"PATMOS 2014","citation":{"mla":"Mischkalla, Fabian, and Wolfgang Müller. “Advanced SoC Virtual Prototyping for System-Level Power Planning and Validation.” <i>PATMOS 2014</i>, 2014.","ama":"Mischkalla F, Müller W. Advanced SoC Virtual Prototyping for System-Level Power Planning and Validation. In: <i>PATMOS 2014</i>. ; 2014.","bibtex":"@inproceedings{Mischkalla_Müller_2014, place={Palma de Mallorca, Spain}, title={Advanced SoC Virtual Prototyping for System-Level Power Planning and Validation}, booktitle={PATMOS 2014}, author={Mischkalla, Fabian and Müller, Wolfgang}, year={2014} }","apa":"Mischkalla, F., &#38; Müller, W. (2014). Advanced SoC Virtual Prototyping for System-Level Power Planning and Validation. <i>PATMOS 2014</i>.","ieee":"F. Mischkalla and W. Müller, “Advanced SoC Virtual Prototyping for System-Level Power Planning and Validation,” 2014.","short":"F. Mischkalla, W. Müller, in: PATMOS 2014, Palma de Mallorca, Spain, 2014.","chicago":"Mischkalla, Fabian, and Wolfgang Müller. “Advanced SoC Virtual Prototyping for System-Level Power Planning and Validation.” In <i>PATMOS 2014</i>. Palma de Mallorca, Spain, 2014."},"date_created":"2021-09-30T07:13:17Z","place":"Palma de Mallorca, Spain","type":"conference","department":[{"_id":"58"}]},{"citation":{"apa":"Becker, M., Kuznik, C., &#38; Müller, W. (2014). <i>Fault Effect Modeling in a Heterogeneous SystemC Based Virtual Platform Framework for Cyber Physical Systems</i>. ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS), Berlin. <a href=\"https://doi.org/10.1109/ICCPS.2014.6843726\">https://doi.org/10.1109/ICCPS.2014.6843726</a>","ieee":"M. Becker, C. Kuznik, and W. Müller, “Fault Effect Modeling in a Heterogeneous SystemC Based Virtual Platform Framework for Cyber Physical Systems,” presented at the ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS), Berlin, 2014, doi: <a href=\"https://doi.org/10.1109/ICCPS.2014.6843726\">10.1109/ICCPS.2014.6843726</a>.","chicago":"Becker, Markus, Christoph Kuznik, and Wolfgang Müller. “Fault Effect Modeling in a Heterogeneous SystemC Based Virtual Platform Framework for Cyber Physical Systems.” Berlin: IEEE, 2014. <a href=\"https://doi.org/10.1109/ICCPS.2014.6843726\">https://doi.org/10.1109/ICCPS.2014.6843726</a>.","short":"M. Becker, C. Kuznik, W. Müller, in: IEEE, Berlin, 2014.","mla":"Becker, Markus, et al. <i>Fault Effect Modeling in a Heterogeneous SystemC Based Virtual Platform Framework for Cyber Physical Systems</i>. IEEE, 2014, doi:<a href=\"https://doi.org/10.1109/ICCPS.2014.6843726\">10.1109/ICCPS.2014.6843726</a>.","ama":"Becker M, Kuznik C, Müller W. Fault Effect Modeling in a Heterogeneous SystemC Based Virtual Platform Framework for Cyber Physical Systems. In: IEEE; 2014. doi:<a href=\"https://doi.org/10.1109/ICCPS.2014.6843726\">10.1109/ICCPS.2014.6843726</a>","bibtex":"@inproceedings{Becker_Kuznik_Müller_2014, place={Berlin}, title={Fault Effect Modeling in a Heterogeneous SystemC Based Virtual Platform Framework for Cyber Physical Systems}, DOI={<a href=\"https://doi.org/10.1109/ICCPS.2014.6843726\">10.1109/ICCPS.2014.6843726</a>}, publisher={IEEE}, author={Becker, Markus and Kuznik, Christoph and Müller, Wolfgang}, year={2014} }"},"abstract":[{"lang":"eng","text":"This paper presents an advanced eight levels spanning SystemC based virtual platform methodology and framework - referred to as HeroeS 3 - providing smooth application to platform mapping and continuous co-refinement of a virtual prototype with its physical environment model. For heterogeneity support, various SystemC extensions are combined covering continuous/discrete models of computation and different communication abstractions, such as analog mixed-signal models, abstract RTOS/HAL/middleware models, TLM bus models, and QEMU wrappers. We enable dependability assessment by Fault Effect Modeling (FEM) at the virtual prototype in order to avoid risking physical injury or damage. Also, simulation results are deterministic and can be evaluated interactively or offline. We apply FEM to both the physical environment model and the different abstractions of the virtual prototype. Currently, we focus on sensor failures and application control flow errors."}],"date_created":"2023-01-16T11:57:08Z","place":"Berlin","department":[{"_id":"58"}],"type":"conference","keyword":["Computational modeling","Finite element analysis","Prototypes","Abstracts","Software","Fault tolerance","Fault tolerant systems"],"author":[{"full_name":"Becker, Markus","last_name":"Becker","first_name":"Markus"},{"first_name":"Christoph","last_name":"Kuznik","full_name":"Kuznik, Christoph"},{"last_name":"Müller","first_name":"Wolfgang","full_name":"Müller, Wolfgang","id":"16243"}],"conference":{"name":"ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS)","location":"Berlin"},"year":"2014","title":"Fault Effect Modeling in a Heterogeneous SystemC Based Virtual Platform Framework for Cyber Physical Systems","status":"public","date_updated":"2023-01-16T11:57:22Z","publisher":"IEEE","_id":"36918","language":[{"iso":"eng"}],"user_id":"5786","doi":"10.1109/ICCPS.2014.6843726"},{"abstract":[{"text":"The ever-increasing complexity of heterogeneous electronic systems demand for intensified abstraction and automation efforts to improve design, verification and validation productivity, especially in earlier phases of system engineering. Within the verification activity various metrics can be applied to determine functional correctness or the overall progress. Here, a supporting verification methodology defining high-level verification planning down to the actual metric code development is essential. Moreover, an advanced assistance for the designer, such as a tooling infrastructure to automatize and accelerate the metric code implementation, is needed to minimize the influence of errorprone manual coding. In this article we present a single-source verification metric code-generation methodology for improved coverage automation. We determine (i) a suitable metric model for model-based capture of verification metrics as well as (ii) an assisted model-based processing and generation flow of the verification environment and metric skeletons. We apply our method to a SystemC case-study, in doing so, targeting metric code implementation productivity and consistency enhancement.","lang":"eng"}],"citation":{"mla":"Kuznik, Christoph, et al. <i>An Assisted Single Source Verification Metric Model Code Generation Methodology</i>. 2014.","bibtex":"@inproceedings{Kuznik_Müller_Defo_2014, place={San Francisco, USA}, title={An Assisted Single Source Verification Metric Model Code Generation Methodology}, author={Kuznik, Christoph and Müller, Wolfgang and Defo, Gilles Bertrand}, year={2014} }","ama":"Kuznik C, Müller W, Defo GB. An Assisted Single Source Verification Metric Model Code Generation Methodology. In: ; 2014.","ieee":"C. Kuznik, W. Müller, and G. B. Defo, “An Assisted Single Source Verification Metric Model Code Generation Methodology,” presented at the Proceedings of the Electronic System Level Synthesis Conference (ESLSyn), 2014.","apa":"Kuznik, C., Müller, W., &#38; Defo, G. B. (2014). <i>An Assisted Single Source Verification Metric Model Code Generation Methodology</i>. Proceedings of the Electronic System Level Synthesis Conference (ESLSyn).","short":"C. Kuznik, W. Müller, G.B. Defo, in: San Francisco, USA, 2014.","chicago":"Kuznik, Christoph, Wolfgang Müller, and Gilles Bertrand Defo. “An Assisted Single Source Verification Metric Model Code Generation Methodology.” San Francisco, USA, 2014."},"department":[{"_id":"58"}],"keyword":["System Design","Verification"],"type":"conference","date_created":"2023-01-16T11:43:50Z","place":"San Francisco, USA","date_updated":"2023-01-16T11:44:06Z","author":[{"full_name":"Kuznik, Christoph","first_name":"Christoph","last_name":"Kuznik"},{"id":"16243","full_name":"Müller, Wolfgang","first_name":"Wolfgang","last_name":"Müller"},{"full_name":"Defo, Gilles Bertrand","last_name":"Defo","first_name":"Gilles Bertrand"}],"conference":{"name":"Proceedings of the Electronic System Level Synthesis Conference (ESLSyn)"},"status":"public","title":"An Assisted Single Source Verification Metric Model Code Generation Methodology","year":"2014","user_id":"5786","language":[{"iso":"eng"}],"_id":"36917"},{"user_id":"5786","language":[{"iso":"ger"}],"_id":"25166","date_updated":"2023-01-16T11:46:54Z","author":[{"first_name":"Christoph","last_name":"Kuznik","full_name":"Kuznik, Christoph"},{"first_name":"Wolfgang","last_name":"Müller","full_name":"Müller, Wolfgang","id":"16243"}],"status":"public","year":"2014","title":"Modellierung effizienter Stresstest-Umgebungen für virtuelle Prototypen mit SVM","department":[{"_id":"58"}],"type":"conference","date_created":"2021-09-30T10:26:58Z","abstract":[{"text":"Zur Sicherstellung hoher Zuverlässigkeits- und Fehlertoleranzwerte von Schaltungen und ganzen Systemen finden vermehrt Test- und Verifikationsmethoden Anwendung die einen virtuellen Prototypen (VP) des Systems bereits frühzeitig im Entwurfsablauf einem Stresstest unterziehen. Hierbei werden speziell für die Domäne relevante Fehlerinjektoren verwendet (Digital, Mixed-Signal, Mechanik) die anhand von Fehlermodellen geeignete Testfälle erzeugen und in das System über Stimuli bzw. direkt injizieren. Jede effektive Anwendung einer Methode bedingt jedoch auch das Vorhandensein einer zugrundeliegenden Methodik. In diesem Beitrag wird die System Verification Methodology (SVM) vorgestellt werden, eine universell einsetzbare und erweiterbare Infrastruktur zur Beschreibung von Testumgebungen auf Basis der SystemC Sprache und Simulationskernels.","lang":"eng"}],"citation":{"short":"C. Kuznik, W. Müller, in: 26. ITG / GI / GMM Workshop Testmethoden und Zuverlässigkeit von Schaltungen und Systemen, 2014.","chicago":"Kuznik, Christoph, and Wolfgang Müller. “Modellierung effizienter Stresstest-Umgebungen für virtuelle Prototypen mit SVM.” In <i>26. ITG / GI / GMM Workshop Testmethoden und Zuverlässigkeit von Schaltungen und Systemen</i>, 2014.","apa":"Kuznik, C., &#38; Müller, W. (2014). Modellierung effizienter Stresstest-Umgebungen für virtuelle Prototypen mit SVM. <i>26. ITG / GI / GMM Workshop Testmethoden und Zuverlässigkeit von Schaltungen und Systemen</i>.","ieee":"C. Kuznik and W. Müller, “Modellierung effizienter Stresstest-Umgebungen für virtuelle Prototypen mit SVM,” 2014.","ama":"Kuznik C, Müller W. Modellierung effizienter Stresstest-Umgebungen für virtuelle Prototypen mit SVM. In: <i>26. ITG / GI / GMM Workshop Testmethoden und Zuverlässigkeit von Schaltungen und Systemen</i>. ; 2014.","bibtex":"@inproceedings{Kuznik_Müller_2014, title={Modellierung effizienter Stresstest-Umgebungen für virtuelle Prototypen mit SVM}, booktitle={26. ITG / GI / GMM Workshop Testmethoden und Zuverlässigkeit von Schaltungen und Systemen}, author={Kuznik, Christoph and Müller, Wolfgang}, year={2014} }","mla":"Kuznik, Christoph, and Wolfgang Müller. “Modellierung effizienter Stresstest-Umgebungen für virtuelle Prototypen mit SVM.” <i>26. ITG / GI / GMM Workshop Testmethoden und Zuverlässigkeit von Schaltungen und Systemen</i>, 2014."},"publication":"26. ITG / GI / GMM Workshop Testmethoden und Zuverlässigkeit von Schaltungen und Systemen"}]