[{"department":[{"_id":"26"}],"type":"dissertation","date_created":"2021-09-02T08:30:17Z","citation":{"chicago":"Eckelt, Daniel. <i>Systematik Zum Innovationsorientierten Intellectual Property Management</i>. Vol. 373. Verlagsschriftenreihe Des Heinz Nixdorf Instituts, Paderborn. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2017.","short":"D. Eckelt, Systematik Zum Innovationsorientierten Intellectual Property Management, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2017.","ama":"Eckelt D. <i>Systematik Zum Innovationsorientierten Intellectual Property Management</i>. Vol 373. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn; 2017.","bibtex":"@book{Eckelt_2017, series={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, title={Systematik zum innovationsorientierten Intellectual Property Management}, volume={373}, publisher={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, author={Eckelt, Daniel}, year={2017}, collection={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn} }","apa":"Eckelt, D. (2017). <i>Systematik zum innovationsorientierten Intellectual Property Management</i> (Vol. 373). Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn.","mla":"Eckelt, Daniel. <i>Systematik Zum Innovationsorientierten Intellectual Property Management</i>. Vol. 373, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2017.","ieee":"D. Eckelt, <i>Systematik zum innovationsorientierten Intellectual Property Management</i>, vol. 373. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2017."},"volume":373,"user_id":"5786","publisher":"Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn","_id":"23683","series_title":"Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn","language":[{"iso":"eng"}],"intvolume":"       373","date_updated":"2022-01-06T06:55:58Z","author":[{"full_name":"Eckelt, Daniel","first_name":"Daniel","last_name":"Eckelt"}],"title":"Systematik zum innovationsorientierten Intellectual Property Management","status":"public","year":"2017"},{"_id":"23759","language":[{"iso":"ger"}],"publisher":"Springer Vieweg","page":"105-120","editor":[{"last_name":"Richard","first_name":"Hans Albert","full_name":"Richard, Hans Albert"},{"last_name":"Schramm","first_name":"Britta","full_name":"Schramm, Britta"},{"last_name":"Zipsner","first_name":"Thomas","full_name":"Zipsner, Thomas"}],"user_id":"29240","doi":"10.1007/978-3-658-17780-5","author":[{"last_name":"Menge","first_name":"Dennis","full_name":"Menge, Dennis","id":"29240"},{"first_name":"Stefan","last_name":"Josupeit","full_name":"Josupeit, Stefan"},{"full_name":"Delfs, Patrick ","last_name":"Delfs","first_name":"Patrick "},{"full_name":"Schmid, Hans-Joachim","first_name":"Hans-Joachim","last_name":"Schmid","id":"464"}],"publication_identifier":{"isbn":["9783658177799","9783658177805"]},"status":"public","year":"2017","title":"Herstellbarkeit und mechanische Charakterisierung von lasergesinterten Gitterstrukturen","publication_status":"published","date_updated":"2022-01-06T06:55:59Z","date_created":"2021-09-03T13:06:00Z","place":"Wiesbaden","department":[{"_id":"150"},{"_id":"219"},{"_id":"624"}],"type":"book_chapter","citation":{"short":"D. Menge, S. Josupeit, P. Delfs, H.-J. Schmid, in: H.A. Richard, B. Schramm, T. Zipsner (Eds.), Additive Fertigung von Bauteilen und Strukturen, Springer Vieweg, Wiesbaden, 2017, pp. 105–120.","chicago":"Menge, Dennis, Stefan Josupeit, Patrick  Delfs, and Hans-Joachim Schmid. “Herstellbarkeit und mechanische Charakterisierung von lasergesinterten Gitterstrukturen.” In <i>Additive Fertigung von Bauteilen und Strukturen</i>, edited by Hans Albert Richard, Britta Schramm, and Thomas Zipsner, 105–20. Wiesbaden: Springer Vieweg, 2017. <a href=\"https://doi.org/10.1007/978-3-658-17780-5\">https://doi.org/10.1007/978-3-658-17780-5</a>.","apa":"Menge, D., Josupeit, S., Delfs, P., &#38; Schmid, H.-J. (2017). Herstellbarkeit und mechanische Charakterisierung von lasergesinterten Gitterstrukturen. In H. A. Richard, B. Schramm, &#38; T. Zipsner (Eds.), <i>Additive Fertigung von Bauteilen und Strukturen</i> (pp. 105–120). Wiesbaden: Springer Vieweg. <a href=\"https://doi.org/10.1007/978-3-658-17780-5\">https://doi.org/10.1007/978-3-658-17780-5</a>","ieee":"D. Menge, S. Josupeit, P. Delfs, and H.-J. Schmid, “Herstellbarkeit und mechanische Charakterisierung von lasergesinterten Gitterstrukturen,” in <i>Additive Fertigung von Bauteilen und Strukturen</i>, H. A. Richard, B. Schramm, and T. Zipsner, Eds. Wiesbaden: Springer Vieweg, 2017, pp. 105–120.","ama":"Menge D, Josupeit S, Delfs P, Schmid H-J. Herstellbarkeit und mechanische Charakterisierung von lasergesinterten Gitterstrukturen. In: Richard HA, Schramm B, Zipsner T, eds. <i>Additive Fertigung von Bauteilen und Strukturen</i>. Wiesbaden: Springer Vieweg; 2017:105-120. doi:<a href=\"https://doi.org/10.1007/978-3-658-17780-5\">10.1007/978-3-658-17780-5</a>","bibtex":"@inbook{Menge_Josupeit_Delfs_Schmid_2017, place={Wiesbaden}, title={Herstellbarkeit und mechanische Charakterisierung von lasergesinterten Gitterstrukturen}, DOI={<a href=\"https://doi.org/10.1007/978-3-658-17780-5\">10.1007/978-3-658-17780-5</a>}, booktitle={Additive Fertigung von Bauteilen und Strukturen}, publisher={Springer Vieweg}, author={Menge, Dennis and Josupeit, Stefan and Delfs, Patrick  and Schmid, Hans-Joachim}, editor={Richard, Hans Albert and Schramm, Britta and Zipsner, ThomasEditors}, year={2017}, pages={105–120} }","mla":"Menge, Dennis, et al. “Herstellbarkeit und mechanische Charakterisierung von lasergesinterten Gitterstrukturen.” <i>Additive Fertigung von Bauteilen und Strukturen</i>, edited by Hans Albert Richard et al., Springer Vieweg, 2017, pp. 105–20, doi:<a href=\"https://doi.org/10.1007/978-3-658-17780-5\">10.1007/978-3-658-17780-5</a>."},"publication":"Additive Fertigung von Bauteilen und Strukturen"},{"user_id":"50215","doi":"10.1002/srin.201600397","_id":"23904","language":[{"iso":"eng"}],"article_number":"1600397","publication_status":"published","date_updated":"2022-01-06T06:56:04Z","author":[{"id":"43822","full_name":"Grydin, Olexandr","last_name":"Grydin","first_name":"Olexandr"},{"id":"50215","last_name":"Andreiev","first_name":"Anatolii","full_name":"Andreiev, Anatolii"},{"first_name":"Arkadii","last_name":"Briukhanov","full_name":"Briukhanov, Arkadii"},{"full_name":"Briukhanova, Zoia","last_name":"Briukhanova","first_name":"Zoia"},{"id":"43720","full_name":"Schaper, Mirko","first_name":"Mirko","last_name":"Schaper"}],"publication_identifier":{"issn":["1611-3683"]},"title":"Evolution of Microstructure, Properties and Texture of a Two-Phase Low-Carbon Steel at Cold Asymmetric Rolling","status":"public","year":"2017","department":[{"_id":"158"},{"_id":"321"}],"type":"journal_article","date_created":"2021-09-08T07:30:56Z","citation":{"short":"O. Grydin, A. Andreiev, A. Briukhanov, Z. Briukhanova, M. Schaper, Steel Research International (2017).","chicago":"Grydin, Olexandr, Anatolii Andreiev, Arkadii Briukhanov, Zoia Briukhanova, and Mirko Schaper. “Evolution of Microstructure, Properties and Texture of a Two-Phase Low-Carbon Steel at Cold Asymmetric Rolling.” <i>Steel Research International</i>, 2017. <a href=\"https://doi.org/10.1002/srin.201600397\">https://doi.org/10.1002/srin.201600397</a>.","ieee":"O. Grydin, A. Andreiev, A. Briukhanov, Z. Briukhanova, and M. Schaper, “Evolution of Microstructure, Properties and Texture of a Two-Phase Low-Carbon Steel at Cold Asymmetric Rolling,” <i>steel research international</i>, 2017.","apa":"Grydin, O., Andreiev, A., Briukhanov, A., Briukhanova, Z., &#38; Schaper, M. (2017). Evolution of Microstructure, Properties and Texture of a Two-Phase Low-Carbon Steel at Cold Asymmetric Rolling. <i>Steel Research International</i>. <a href=\"https://doi.org/10.1002/srin.201600397\">https://doi.org/10.1002/srin.201600397</a>","bibtex":"@article{Grydin_Andreiev_Briukhanov_Briukhanova_Schaper_2017, title={Evolution of Microstructure, Properties and Texture of a Two-Phase Low-Carbon Steel at Cold Asymmetric Rolling}, DOI={<a href=\"https://doi.org/10.1002/srin.201600397\">10.1002/srin.201600397</a>}, number={1600397}, journal={steel research international}, author={Grydin, Olexandr and Andreiev, Anatolii and Briukhanov, Arkadii and Briukhanova, Zoia and Schaper, Mirko}, year={2017} }","ama":"Grydin O, Andreiev A, Briukhanov A, Briukhanova Z, Schaper M. Evolution of Microstructure, Properties and Texture of a Two-Phase Low-Carbon Steel at Cold Asymmetric Rolling. <i>steel research international</i>. 2017. doi:<a href=\"https://doi.org/10.1002/srin.201600397\">10.1002/srin.201600397</a>","mla":"Grydin, Olexandr, et al. “Evolution of Microstructure, Properties and Texture of a Two-Phase Low-Carbon Steel at Cold Asymmetric Rolling.” <i>Steel Research International</i>, 1600397, 2017, doi:<a href=\"https://doi.org/10.1002/srin.201600397\">10.1002/srin.201600397</a>."},"publication":"steel research international"},{"citation":{"bibtex":"@article{Lossen_Andreiev_Homberg_Schaper_2017, title={Friction-Spinning – Possibility of Grain Structure Adjustment}, DOI={<a href=\"https://doi.org/10.1016/j.proeng.2017.10.933\">10.1016/j.proeng.2017.10.933</a>}, journal={Procedia Engineering}, author={Lossen, Benjamin and Andreiev, Anatolii and Homberg, Werner and Schaper, Mirko}, year={2017}, pages={1749–1754} }","ama":"Lossen B, Andreiev A, Homberg W, Schaper M. Friction-Spinning – Possibility of Grain Structure Adjustment. <i>Procedia Engineering</i>. 2017:1749-1754. doi:<a href=\"https://doi.org/10.1016/j.proeng.2017.10.933\">10.1016/j.proeng.2017.10.933</a>","mla":"Lossen, Benjamin, et al. “Friction-Spinning – Possibility of Grain Structure Adjustment.” <i>Procedia Engineering</i>, 2017, pp. 1749–54, doi:<a href=\"https://doi.org/10.1016/j.proeng.2017.10.933\">10.1016/j.proeng.2017.10.933</a>.","short":"B. Lossen, A. Andreiev, W. Homberg, M. Schaper, Procedia Engineering (2017) 1749–1754.","chicago":"Lossen, Benjamin, Anatolii Andreiev, Werner Homberg, and Mirko Schaper. “Friction-Spinning – Possibility of Grain Structure Adjustment.” <i>Procedia Engineering</i>, 2017, 1749–54. <a href=\"https://doi.org/10.1016/j.proeng.2017.10.933\">https://doi.org/10.1016/j.proeng.2017.10.933</a>.","ieee":"B. Lossen, A. Andreiev, W. Homberg, and M. Schaper, “Friction-Spinning – Possibility of Grain Structure Adjustment,” <i>Procedia Engineering</i>, pp. 1749–1754, 2017.","apa":"Lossen, B., Andreiev, A., Homberg, W., &#38; Schaper, M. (2017). Friction-Spinning – Possibility of Grain Structure Adjustment. <i>Procedia Engineering</i>, 1749–1754. <a href=\"https://doi.org/10.1016/j.proeng.2017.10.933\">https://doi.org/10.1016/j.proeng.2017.10.933</a>"},"publication":"Procedia Engineering","department":[{"_id":"158"},{"_id":"321"},{"_id":"156"}],"type":"journal_article","date_created":"2021-09-08T07:31:59Z","publication_status":"published","date_updated":"2022-01-06T06:56:04Z","author":[{"last_name":"Lossen","first_name":"Benjamin","full_name":"Lossen, Benjamin"},{"id":"50215","full_name":"Andreiev, Anatolii","last_name":"Andreiev","first_name":"Anatolii"},{"full_name":"Homberg, Werner","last_name":"Homberg","first_name":"Werner"},{"full_name":"Schaper, Mirko","last_name":"Schaper","first_name":"Mirko","id":"43720"}],"publication_identifier":{"issn":["1877-7058"]},"status":"public","title":"Friction-Spinning – Possibility of Grain Structure Adjustment","year":"2017","user_id":"50215","doi":"10.1016/j.proeng.2017.10.933","language":[{"iso":"eng"}],"_id":"23909","page":"1749-1754"},{"date_created":"2021-09-08T07:32:09Z","place":"Cham","department":[{"_id":"158"},{"_id":"321"}],"type":"book_chapter","citation":{"short":"A. Andreiev, O. Grydin, M. Schaper, in: Proceedings of the 3rd Pan American Materials Congress, Cham, 2017.","chicago":"Andreiev, Anatolii, Olexandr Grydin, and Mirko Schaper. “A Rapid Heating Method for Press Hardening Processing.” In <i>Proceedings of the 3rd Pan American Materials Congress</i>. Cham, 2017. <a href=\"https://doi.org/10.1007/978-3-319-52132-9_72\">https://doi.org/10.1007/978-3-319-52132-9_72</a>.","apa":"Andreiev, A., Grydin, O., &#38; Schaper, M. (2017). A Rapid Heating Method for Press Hardening Processing. In <i>Proceedings of the 3rd Pan American Materials Congress</i>. Cham. <a href=\"https://doi.org/10.1007/978-3-319-52132-9_72\">https://doi.org/10.1007/978-3-319-52132-9_72</a>","ieee":"A. Andreiev, O. Grydin, and M. Schaper, “A Rapid Heating Method for Press Hardening Processing,” in <i>Proceedings of the 3rd Pan American Materials Congress</i>, Cham, 2017.","ama":"Andreiev A, Grydin O, Schaper M. A Rapid Heating Method for Press Hardening Processing. In: <i>Proceedings of the 3rd Pan American Materials Congress</i>. Cham; 2017. doi:<a href=\"https://doi.org/10.1007/978-3-319-52132-9_72\">10.1007/978-3-319-52132-9_72</a>","bibtex":"@inbook{Andreiev_Grydin_Schaper_2017, place={Cham}, title={A Rapid Heating Method for Press Hardening Processing}, DOI={<a href=\"https://doi.org/10.1007/978-3-319-52132-9_72\">10.1007/978-3-319-52132-9_72</a>}, booktitle={Proceedings of the 3rd Pan American Materials Congress}, author={Andreiev, Anatolii and Grydin, Olexandr and Schaper, Mirko}, year={2017} }","mla":"Andreiev, Anatolii, et al. “A Rapid Heating Method for Press Hardening Processing.” <i>Proceedings of the 3rd Pan American Materials Congress</i>, 2017, doi:<a href=\"https://doi.org/10.1007/978-3-319-52132-9_72\">10.1007/978-3-319-52132-9_72</a>."},"publication":"Proceedings of the 3rd Pan American Materials Congress","language":[{"iso":"eng"}],"_id":"23910","user_id":"50215","doi":"10.1007/978-3-319-52132-9_72","author":[{"id":"50215","first_name":"Anatolii","last_name":"Andreiev","full_name":"Andreiev, Anatolii"},{"id":"43822","last_name":"Grydin","first_name":"Olexandr","full_name":"Grydin, Olexandr"},{"full_name":"Schaper, Mirko","first_name":"Mirko","last_name":"Schaper","id":"43720"}],"publication_identifier":{"issn":["2367-1181","2367-1696"]},"status":"public","title":"A Rapid Heating Method for Press Hardening Processing","year":"2017","publication_status":"published","date_updated":"2022-01-06T06:56:04Z"},{"user_id":"8472","publisher":"Gesellschaft f{\\\"u}r Systems Engineering e.V.","_id":"20791","language":[{"iso":"eng"}],"date_updated":"2022-01-06T06:54:38Z","author":[{"first_name":"Joachim","last_name":"Schmitz","full_name":"Schmitz, Joachim"},{"full_name":"Fockel, Markus","last_name":"Fockel","first_name":"Markus","orcid":"0000-0002-1269-0702","id":"8472"}],"year":"2017","title":"Systemmodelle als Schlüssel zu durchgängigen XIL-Testszenarien","status":"public","department":[{"_id":"241"},{"_id":"662"}],"type":"conference","date_created":"2020-12-17T13:29:01Z","abstract":[{"text":"Intelligente technische Systeme, wie autonom fahrende Fahrzeuge, werden in einem hohen Maß durch Software realisiert. Der Weg zum autonomen Fahren führt unweigerlich über eine steigende Vernetzung von Steuergeräten im Fahrzeug und über Fahrzeuggrenzen hinweg. Damit einher geht eine stetig steigende Komplexität der Software. Deshalb liegt es auf der Hand, dass die systematische Qualitätssicherung für derartige technische Systeme sehr früh, also bereits entwicklungsbegleitend, erfolgen muss. Dazu lässt sich das Software-in-the-Loop-Verfahren einsetzen, das auf etablierte Techniken des Hardware-in-the-Loop-Verfahrens zurückgreift. Eine besondere Herausforderung besteht darin, Simulationsmodelle und Testbibliotheken sowie die zugehörigen Visualisierungs- und Testwerkzeuge in beiden Welten synergetisch zu nutzen. Das Ziel ist eine einheitliche X-in-the-Loop (XIL) Basis für beide Verfahren. Der Schlüssel zu einer einheitlichen Basis für durchgängige XIL-Testszenarien ist der Einsatz eines übergeordneten Systemmodells. Es definiert die Systemgrenze und umliegenden Systeme in der Umwelt. Zudem dient das Systemmodell als Ordnungsschema für die Ablage der Artefakte wie Verhaltensmodelle, Testskripte, Parametersätze oder Workflows. Ein zentrales Datenmanagementwerkzeug, welches sämtliche Strukturinformationen, Verhaltensmodelle und Variantenbezüge verknüpft, ermöglicht ein teilautomatisches Umschalten zwischen den Testszenarien. In diesem Beitrag stellen wir eine solche Lösung vor.","lang":"eng"}],"citation":{"short":"J. Schmitz, M. Fockel, in:  Tag Des Systems Engineering 2017, Gesellschaft f{\\\"u}r Systems Engineering e.V., 2017.","chicago":"Schmitz, Joachim, and Markus Fockel. “Systemmodelle Als Schlüssel Zu Durchgängigen XIL-Testszenarien.” In <i> Tag Des Systems Engineering 2017</i>. Gesellschaft f{\\\"u}r Systems Engineering e.V., 2017.","ieee":"J. Schmitz and M. Fockel, “Systemmodelle als Schlüssel zu durchgängigen XIL-Testszenarien,” in <i> Tag des Systems Engineering 2017</i>, 2017.","apa":"Schmitz, J., &#38; Fockel, M. (2017). Systemmodelle als Schlüssel zu durchgängigen XIL-Testszenarien. In <i> Tag des Systems Engineering 2017</i>. Gesellschaft f{\\\"u}r Systems Engineering e.V.","bibtex":"@inproceedings{Schmitz_Fockel_2017, title={Systemmodelle als Schlüssel zu durchgängigen XIL-Testszenarien}, booktitle={ Tag des Systems Engineering 2017}, publisher={Gesellschaft f{\\\"u}r Systems Engineering e.V.}, author={Schmitz, Joachim and Fockel, Markus}, year={2017} }","ama":"Schmitz J, Fockel M. Systemmodelle als Schlüssel zu durchgängigen XIL-Testszenarien. In: <i> Tag Des Systems Engineering 2017</i>. Gesellschaft f{\\\"u}r Systems Engineering e.V.; 2017.","mla":"Schmitz, Joachim, and Markus Fockel. “Systemmodelle Als Schlüssel Zu Durchgängigen XIL-Testszenarien.” <i> Tag Des Systems Engineering 2017</i>, Gesellschaft f{\\\"u}r Systems Engineering e.V., 2017."},"publication":" Tag des Systems Engineering 2017"},{"publication":"Dependable Software Engineering, 3rd International Symposium (SETTA 2017)","issue":"10606","citation":{"mla":"Schivo, Stefano, et al. “How to Efficiently Build a Front-End Tool for UPPAAL: A Model-Driven Approach.” <i>Dependable Software Engineering, 3rd International Symposium (SETTA 2017)</i>, edited by Kim G. Larsen et al., no. 10606, Springer, 2017, pp. 319–36, doi:<a href=\"https://doi.org/10.1007/978-3-319-69483-2_19\">10.1007/978-3-319-69483-2_19</a>.","apa":"Schivo, S., Yildiz., B. M., Ruijters, E., Gerking, C., Kumar, R., Dziwok, S., Rensink, A., &#38; Stoelinga, M. (2017). How to Efficiently Build a Front-End Tool for UPPAAL: A Model-Driven Approach. In K. G. Larsen, O. Sokolsky, &#38; J. Wang (Eds.), <i>Dependable Software Engineering, 3rd International Symposium (SETTA 2017)</i> (Issue 10606, pp. 319–336). Springer. <a href=\"https://doi.org/10.1007/978-3-319-69483-2_19\">https://doi.org/10.1007/978-3-319-69483-2_19</a>","ieee":"S. Schivo <i>et al.</i>, “How to Efficiently Build a Front-End Tool for UPPAAL: A Model-Driven Approach,” in <i>Dependable Software Engineering, 3rd International Symposium (SETTA 2017)</i>, 2017, no. 10606, pp. 319–336, doi: <a href=\"https://doi.org/10.1007/978-3-319-69483-2_19\">10.1007/978-3-319-69483-2_19</a>.","ama":"Schivo S, Yildiz. BM, Ruijters E, et al. How to Efficiently Build a Front-End Tool for UPPAAL: A Model-Driven Approach. In: Larsen KG, Sokolsky O, Wang J, eds. <i>Dependable Software Engineering, 3rd International Symposium (SETTA 2017)</i>. Lecture Notes in Computer Science. Springer; 2017:319-336. doi:<a href=\"https://doi.org/10.1007/978-3-319-69483-2_19\">10.1007/978-3-319-69483-2_19</a>","short":"S. Schivo, B.M. Yildiz., E. Ruijters, C. Gerking, R. Kumar, S. Dziwok, A. Rensink, M. Stoelinga, in: K.G. Larsen, O. Sokolsky, J. Wang (Eds.), Dependable Software Engineering, 3rd International Symposium (SETTA 2017), Springer, Changsha, 2017, pp. 319–336.","chicago":"Schivo, Stefano, Bugra M. Yildiz., Enno Ruijters, Christopher Gerking, Rajesh Kumar, Stefan Dziwok, Arend Rensink, and Mariëlle Stoelinga. “How to Efficiently Build a Front-End Tool for UPPAAL: A Model-Driven Approach.” In <i>Dependable Software Engineering, 3rd International Symposium (SETTA 2017)</i>, edited by Kim G. Larsen, Oleg Sokolsky, and Ji Wang, 319–36. Lecture Notes in Computer Science. Changsha: Springer, 2017. <a href=\"https://doi.org/10.1007/978-3-319-69483-2_19\">https://doi.org/10.1007/978-3-319-69483-2_19</a>.","bibtex":"@inproceedings{Schivo_Yildiz._Ruijters_Gerking_Kumar_Dziwok_Rensink_Stoelinga_2017, place={Changsha}, series={Lecture Notes in Computer Science}, title={How to Efficiently Build a Front-End Tool for UPPAAL: A Model-Driven Approach}, DOI={<a href=\"https://doi.org/10.1007/978-3-319-69483-2_19\">10.1007/978-3-319-69483-2_19</a>}, number={10606}, booktitle={Dependable Software Engineering, 3rd International Symposium (SETTA 2017)}, publisher={Springer}, author={Schivo, Stefano and Yildiz., Bugra M. and Ruijters, Enno and Gerking, Christopher and Kumar, Rajesh and Dziwok, Stefan and Rensink, Arend and Stoelinga, Mariëlle}, editor={Larsen, Kim G. and Sokolsky, Oleg and Wang, Ji}, year={2017}, pages={319–336}, collection={Lecture Notes in Computer Science} }"},"type":"conference","department":[{"_id":"76"},{"_id":"241"}],"place":"Changsha","date_created":"2020-12-17T13:30:15Z","date_updated":"2022-01-06T06:54:38Z","year":"2017","title":"How to Efficiently Build a Front-End Tool for UPPAAL: A Model-Driven Approach","status":"public","author":[{"full_name":"Schivo, Stefano","last_name":"Schivo","first_name":"Stefano"},{"last_name":"Yildiz.","first_name":"Bugra M.","full_name":"Yildiz., Bugra M."},{"first_name":"Enno","last_name":"Ruijters","full_name":"Ruijters, Enno"},{"full_name":"Gerking, Christopher","last_name":"Gerking","first_name":"Christopher"},{"full_name":"Kumar, Rajesh","last_name":"Kumar","first_name":"Rajesh"},{"id":"3901","full_name":"Dziwok, Stefan","last_name":"Dziwok","orcid":"http://orcid.org/0000-0002-8679-6673","first_name":"Stefan"},{"full_name":"Rensink, Arend","last_name":"Rensink","first_name":"Arend"},{"full_name":"Stoelinga, Mariëlle","first_name":"Mariëlle","last_name":"Stoelinga"}],"doi":"10.1007/978-3-319-69483-2_19","user_id":"5786","editor":[{"first_name":"Kim G.","last_name":"Larsen","full_name":"Larsen, Kim G."},{"first_name":"Oleg","last_name":"Sokolsky","full_name":"Sokolsky, Oleg"},{"full_name":"Wang, Ji","last_name":"Wang","first_name":"Ji"}],"page":"319-336","series_title":"Lecture Notes in Computer Science","_id":"20792","language":[{"iso":"eng"}],"publisher":"Springer"},{"author":[{"id":"8472","full_name":"Fockel, Markus","orcid":"0000-0002-1269-0702","first_name":"Markus","last_name":"Fockel"},{"orcid":"0000-0001-6141-4571","last_name":"Holtmann","first_name":"Jörg","full_name":"Holtmann, Jörg","id":"3875"},{"full_name":"Koch, Thorsten","last_name":"Koch","first_name":"Thorsten","id":"13616"},{"first_name":"David","orcid":"0000-0001-7787-5380","last_name":"Schmelter","full_name":"Schmelter, David","id":"40982"}],"title":"Model-based Requirement Pattern Catalog","year":"2017","status":"public","date_updated":"2022-01-06T06:54:38Z","_id":"20793","language":[{"iso":"eng"}],"user_id":"8472","citation":{"ieee":"M. Fockel, J. Holtmann, T. Koch, and D. Schmelter, <i>Model-based Requirement Pattern Catalog</i>. Paderborn, Germany, 2017.","apa":"Fockel, M., Holtmann, J., Koch, T., &#38; Schmelter, D. (2017). <i>Model-based Requirement Pattern Catalog</i>. Paderborn, Germany.","chicago":"Fockel, Markus, Jörg Holtmann, Thorsten Koch, and David Schmelter. <i>Model-Based Requirement Pattern Catalog</i>. Paderborn, Germany, 2017.","short":"M. Fockel, J. Holtmann, T. Koch, D. Schmelter, Model-Based Requirement Pattern Catalog, Paderborn, Germany, 2017.","mla":"Fockel, Markus, et al. <i>Model-Based Requirement Pattern Catalog</i>. 2017.","bibtex":"@book{Fockel_Holtmann_Koch_Schmelter_2017, place={Paderborn, Germany}, title={Model-based Requirement Pattern Catalog}, author={Fockel, Markus and Holtmann, Jörg and Koch, Thorsten and Schmelter, David}, year={2017} }","ama":"Fockel M, Holtmann J, Koch T, Schmelter D. <i>Model-Based Requirement Pattern Catalog</i>. Paderborn, Germany; 2017."},"report_number":"tr-ri-17-354","abstract":[{"text":"Scenario-based requirements engineering addresses the message-based coordination of software-intensive systems and enables, if underpinned with formal languages, automatic requirements validation techniques for improving the quality of a requirements specification. One of such requirements engineering approaches bases on a recent visual Live Sequence Chart variant compliant to the Unified Modeling Language, so-called Modal Sequence Diagrams (MSDs). The usage of patterns is known to be constructive thanks to assembling solutions by means of reusable building blocks that are proven in practice, so that recurring problems do not need to be solved over and over again. Thus, patterns also gained momentum in the area of requirements documentation. In this technical report, we introduce a model- and scenario-based pattern catalog for MSD requirements. Our MSD requirement pattern catalog consolidates and unifies 86 requirement patterns from three well-known, practice-oriented requirement pattern catalogs, each covering different aspects.","lang":"eng"}],"date_created":"2020-12-17T13:31:36Z","place":"Paderborn, Germany","department":[{"_id":"241"},{"_id":"662"}],"type":"report"},{"publisher":"Paderborn University","_id":"20794","language":[{"iso":"eng"}],"user_id":"5786","year":"2017","title":"Specification and Verification for Real-Time Coordination Protocols of Cyber-physical Systems","status":"public","author":[{"orcid":"http://orcid.org/0000-0002-8679-6673","last_name":"Dziwok","first_name":"Stefan","full_name":"Dziwok, Stefan","id":"3901"}],"date_updated":"2022-01-06T06:54:38Z","date_created":"2020-12-17T13:32:52Z","type":"dissertation","department":[{"_id":"76"},{"_id":"241"}],"citation":{"mla":"Dziwok, Stefan. <i>Specification and Verification for Real-Time Coordination Protocols of Cyber-Physical Systems</i>. Paderborn University, 2017.","ama":"Dziwok S. <i>Specification and Verification for Real-Time Coordination Protocols of Cyber-Physical Systems</i>. Paderborn University; 2017.","bibtex":"@book{Dziwok_2017, title={Specification and Verification for Real-Time Coordination Protocols of Cyber-physical Systems}, publisher={Paderborn University}, author={Dziwok, Stefan}, year={2017} }","apa":"Dziwok, S. (2017). <i>Specification and Verification for Real-Time Coordination Protocols of Cyber-physical Systems</i>. Paderborn University.","ieee":"S. Dziwok, <i>Specification and Verification for Real-Time Coordination Protocols of Cyber-physical Systems</i>. Paderborn University, 2017.","chicago":"Dziwok, Stefan. <i>Specification and Verification for Real-Time Coordination Protocols of Cyber-Physical Systems</i>. Paderborn University, 2017.","short":"S. Dziwok, Specification and Verification for Real-Time Coordination Protocols of Cyber-Physical Systems, Paderborn University, 2017."},"abstract":[{"lang":"eng","text":"Cyber-physische Systeme (CPSs) sind die nächste Generation von eingebetteten Systemen, die fortwährend ihre Zusammenarbeit koordinieren, um anspruchsvolle Funktionen zu erfüllen. Die Koordination zwischen ihnen kann in Software mittels asynchroner Nachrichtenkommunikation realisiert werden. Um die funktionale Korrektheit der Software zu gewährleisten, ist aufgrund der Kritikalität dieser Systeme eine formale Verifikation wie z.B. Model Checking notwendig. Die Eingabesprache eines Model Checkers unterstützt jedoch domänenspezifische Aspekte wie asynchrone Kommunikation nicht direkt, wodurch diese vom Softwareingenieur mittels zahlreicher Modellelemente spezifiziert werden müssen. Dies ist hochgradig komplex und somit fehleranfällig. Im Rahmen dieser Arbeit wird eine modellgetriebene Methode zur domänenspezifischen Spezifikation und vollautomatischen Verifikation der nachrichtenbasierten Koordination von CPSs präsentiert. Mit Hilfe dieser Methode kann der Softwareingenieur die Koordination kompakt modellieren und muss nicht länger verstehen, wie seine Spezifikation auf der Ebene des Model Checkers ausgedrückt wird. Insgesamt wird die Komplexität für den Softwareingenieur somit deutlich handhabbarer. Bezüglich der Spezifikation einer solchen Koordination definiert die Arbeit eine domänenspezifische Sprache namens Real-Time Coordination Protocols (RTCPs). Darüber hinaus wird eine domänenspezifische Sprache zur Spezifikation von Verifikationseigenschaften eingeführt und Entwurfsmuster für RTCPs präsentiert, um die Anzahl der Modellierungsfehler zu senken."}]},{"user_id":"40982","doi":"10.1109/REW.2017.14","language":[{"iso":"eng"}],"_id":"20795","publisher":"IEEE","date_updated":"2022-01-06T06:54:38Z","author":[{"id":"40982","full_name":"Schmelter, David","orcid":"0000-0001-7787-5380","first_name":"David","last_name":"Schmelter"},{"full_name":"Greenyer, Joel","last_name":"Greenyer","first_name":"Joel"},{"first_name":"Jörg","orcid":"0000-0001-6141-4571","last_name":"Holtmann","full_name":"Holtmann, Jörg","id":"3875"}],"title":"Toward Learning Realizable Scenario-based, Formal Requirements Specifications","status":"public","year":"2017","department":[{"_id":"241"},{"_id":"662"}],"type":"conference","date_created":"2020-12-17T13:34:07Z","place":"Lisbon, Portugal","abstract":[{"lang":"eng","text":"Distributed, software-intensive systems such as fully automated cars have to handle various situations employing message-based coordination. The growing complexity of such systems results in an increasing difficulty to achieve a high quality of the systems’ requirements specifications, particularly w.r.t. the realizability of the specifications. Scenario-based requirements engineering addresses the message-based coordination of such systems and enables, if underpinned with formal languages, automatic requirements validation techniques for proving the realizability of a requirements specification. However, formal requirements modeling languages require a deep knowledge of requirements engineers and typically require many manual iterations until they find a realizable specification. In order to support requirements engineers in the stepwise development of scenario-based requirements specifications, we propose to evolve a high-quality specification from a (presumably unrealizable) manually created specification employing an evolutionary algorithm. In this paper, we show our results on automatically evolving new assumptions on the systems’ environment behavior that guarantee a realizable requirements specification. Based on this contribution, we outline our research roadmap toward our long-term goal of automatically supporting requirements engineers in finding high-quality requirements specifications."}],"citation":{"bibtex":"@inproceedings{Schmelter_Greenyer_Holtmann_2017, place={Lisbon, Portugal}, title={Toward Learning Realizable Scenario-based, Formal Requirements Specifications}, DOI={<a href=\"https://doi.org/10.1109/REW.2017.14\">10.1109/REW.2017.14</a>}, booktitle={4th International Workshop on Artificial Intelligence for Requirements Engineering (AIRE)}, publisher={IEEE}, author={Schmelter, David and Greenyer, Joel and Holtmann, Jörg}, year={2017} }","ama":"Schmelter D, Greenyer J, Holtmann J. Toward Learning Realizable Scenario-based, Formal Requirements Specifications. In: <i>4th International Workshop on Artificial Intelligence for Requirements Engineering (AIRE)</i>. Lisbon, Portugal: IEEE; 2017. doi:<a href=\"https://doi.org/10.1109/REW.2017.14\">10.1109/REW.2017.14</a>","mla":"Schmelter, David, et al. “Toward Learning Realizable Scenario-Based, Formal Requirements Specifications.” <i>4th International Workshop on Artificial Intelligence for Requirements Engineering (AIRE)</i>, IEEE, 2017, doi:<a href=\"https://doi.org/10.1109/REW.2017.14\">10.1109/REW.2017.14</a>.","chicago":"Schmelter, David, Joel Greenyer, and Jörg Holtmann. “Toward Learning Realizable Scenario-Based, Formal Requirements Specifications.” In <i>4th International Workshop on Artificial Intelligence for Requirements Engineering (AIRE)</i>. Lisbon, Portugal: IEEE, 2017. <a href=\"https://doi.org/10.1109/REW.2017.14\">https://doi.org/10.1109/REW.2017.14</a>.","short":"D. Schmelter, J. Greenyer, J. Holtmann, in: 4th International Workshop on Artificial Intelligence for Requirements Engineering (AIRE), IEEE, Lisbon, Portugal, 2017.","ieee":"D. Schmelter, J. Greenyer, and J. Holtmann, “Toward Learning Realizable Scenario-based, Formal Requirements Specifications,” in <i>4th International Workshop on Artificial Intelligence for Requirements Engineering (AIRE)</i>, 2017.","apa":"Schmelter, D., Greenyer, J., &#38; Holtmann, J. (2017). Toward Learning Realizable Scenario-based, Formal Requirements Specifications. In <i>4th International Workshop on Artificial Intelligence for Requirements Engineering (AIRE)</i>. Lisbon, Portugal: IEEE. <a href=\"https://doi.org/10.1109/REW.2017.14\">https://doi.org/10.1109/REW.2017.14</a>"},"publication":"4th International Workshop on Artificial Intelligence for Requirements Engineering (AIRE)"},{"author":[{"id":"53786","first_name":"Benedict","last_name":"Wohlers","full_name":"Wohlers, Benedict"},{"full_name":"Dziwok, Stefan","orcid":"http://orcid.org/0000-0002-8679-6673","last_name":"Dziwok","first_name":"Stefan","id":"3901"},{"full_name":"Bremer, Christian","last_name":"Bremer","first_name":"Christian"},{"full_name":"Schmelter, David","first_name":"David","last_name":"Schmelter","orcid":"0000-0001-7787-5380","id":"40982"},{"full_name":"Lorenz, Wadim","first_name":"Wadim","last_name":"Lorenz"}],"status":"public","title":"Improving the Product Control of Mechatronic Systems Using Key Performance Indicators","year":"2017","date_updated":"2022-01-06T06:54:38Z","publisher":"DEStech Publications, Inc.","_id":"20796","language":[{"iso":"eng"}],"user_id":"40982","citation":{"chicago":"Wohlers, Benedict, Stefan Dziwok, Christian Bremer, David Schmelter, and Wadim Lorenz. “Improving the Product Control of Mechatronic Systems Using Key Performance Indicators.” In <i>Proceedings of the 24th International Conference on Production Research (ICPR)</i>. DEStech Publications, Inc., 2017.","short":"B. Wohlers, S. Dziwok, C. Bremer, D. Schmelter, W. Lorenz, in: Proceedings of the 24th International Conference on Production Research (ICPR), DEStech Publications, Inc., 2017.","apa":"Wohlers, B., Dziwok, S., Bremer, C., Schmelter, D., &#38; Lorenz, W. (2017). Improving the Product Control of Mechatronic Systems Using Key Performance Indicators. In <i>Proceedings of the 24th International Conference on Production Research (ICPR)</i>. DEStech Publications, Inc.","ieee":"B. Wohlers, S. Dziwok, C. Bremer, D. Schmelter, and W. Lorenz, “Improving the Product Control of Mechatronic Systems Using Key Performance Indicators,” in <i>Proceedings of the 24th International Conference on Production Research (ICPR)</i>, 2017.","ama":"Wohlers B, Dziwok S, Bremer C, Schmelter D, Lorenz W. Improving the Product Control of Mechatronic Systems Using Key Performance Indicators. In: <i>Proceedings of the 24th International Conference on Production Research (ICPR)</i>. DEStech Publications, Inc.; 2017.","bibtex":"@inproceedings{Wohlers_Dziwok_Bremer_Schmelter_Lorenz_2017, title={Improving the Product Control of Mechatronic Systems Using Key Performance Indicators}, booktitle={Proceedings of the 24th International Conference on Production Research (ICPR)}, publisher={DEStech Publications, Inc.}, author={Wohlers, Benedict and Dziwok, Stefan and Bremer, Christian and Schmelter, David and Lorenz, Wadim}, year={2017} }","mla":"Wohlers, Benedict, et al. “Improving the Product Control of Mechatronic Systems Using Key Performance Indicators.” <i>Proceedings of the 24th International Conference on Production Research (ICPR)</i>, DEStech Publications, Inc., 2017."},"publication":"Proceedings of the 24th International Conference on Production Research (ICPR)","date_created":"2020-12-17T13:35:17Z","department":[{"_id":"241"},{"_id":"662"}],"type":"conference"},{"author":[{"last_name":"Gerking","first_name":"Christopher","full_name":"Gerking, Christopher"},{"first_name":"David","last_name":"Schubert","full_name":"Schubert, David","id":"9106"},{"full_name":"Budde, Ingo","first_name":"Ingo","orcid":"https://orcid.org/0000-0003-0124-6291","last_name":"Budde","id":"13693"}],"year":"2017","status":"public","title":"Reducing the Verbosity of Imperative Model Refinements by using General-Purpose Language Facilities","date_updated":"2022-01-06T06:54:39Z","_id":"20797","series_title":"Lecture Notes in Computer Science","language":[{"iso":"eng"}],"publisher":"Springer","page":"19-34","main_file_link":[{"url":"https://link.springer.com/chapter/10.1007/978-3-319-61473-1_2"}],"editor":[{"first_name":"Esther","last_name":"Guerra","full_name":"Guerra, Esther"},{"first_name":"Mark","last_name":"van den Brand","full_name":"van den Brand, Mark"}],"user_id":"5786","citation":{"apa":"Gerking, C., Schubert, D., &#38; Budde, I. (2017). Reducing the Verbosity of Imperative Model Refinements by using General-Purpose Language Facilities. In E. Guerra &#38; M. van den Brand (Eds.), <i>Theory and Practice of Model Transformation, 10th International Conference (ICMT 2017)</i> (Issue 10374, pp. 19–34). Springer.","ieee":"C. Gerking, D. Schubert, and I. Budde, “Reducing the Verbosity of Imperative Model Refinements by using General-Purpose Language Facilities,” in <i>Theory and Practice of Model Transformation, 10th International Conference (ICMT 2017)</i>, 2017, no. 10374, pp. 19–34.","chicago":"Gerking, Christopher, David Schubert, and Ingo Budde. “Reducing the Verbosity of Imperative Model Refinements by Using General-Purpose Language Facilities.” In <i>Theory and Practice of Model Transformation, 10th International Conference (ICMT 2017)</i>, edited by Esther Guerra and Mark van den Brand, 19–34. Lecture Notes in Computer Science. Marburg: Springer, 2017.","short":"C. Gerking, D. Schubert, I. Budde, in: E. Guerra, M. van den Brand (Eds.), Theory and Practice of Model Transformation, 10th International Conference (ICMT 2017), Springer, Marburg, 2017, pp. 19–34.","mla":"Gerking, Christopher, et al. “Reducing the Verbosity of Imperative Model Refinements by Using General-Purpose Language Facilities.” <i>Theory and Practice of Model Transformation, 10th International Conference (ICMT 2017)</i>, edited by Esther Guerra and Mark van den Brand, no. 10374, Springer, 2017, pp. 19–34.","ama":"Gerking C, Schubert D, Budde I. Reducing the Verbosity of Imperative Model Refinements by using General-Purpose Language Facilities. In: Guerra E, van den Brand M, eds. <i>Theory and Practice of Model Transformation, 10th International Conference (ICMT 2017)</i>. Lecture Notes in Computer Science. Springer; 2017:19-34.","bibtex":"@inproceedings{Gerking_Schubert_Budde_2017, place={Marburg}, series={Lecture Notes in Computer Science}, title={Reducing the Verbosity of Imperative Model Refinements by using General-Purpose Language Facilities}, number={10374}, booktitle={Theory and Practice of Model Transformation, 10th International Conference (ICMT 2017)}, publisher={Springer}, author={Gerking, Christopher and Schubert, David and Budde, Ingo}, editor={Guerra, Esther and van den Brand, Mark}, year={2017}, pages={19–34}, collection={Lecture Notes in Computer Science} }"},"issue":"10374","publication":"Theory and Practice of Model Transformation, 10th International Conference (ICMT 2017)","date_created":"2020-12-17T13:36:44Z","place":"Marburg","department":[{"_id":"76"},{"_id":"241"}],"type":"conference"},{"date_updated":"2022-01-06T06:54:39Z","author":[{"first_name":"Faezeh","last_name":"Ghassemi","full_name":"Ghassemi, Faezeh"},{"full_name":"Meyer, Matthias","last_name":"Meyer","first_name":"Matthias","id":"683"},{"first_name":"Uwe","last_name":"Pohlmann","full_name":"Pohlmann, Uwe"},{"full_name":"Priesterjahn, Claudia","last_name":"Priesterjahn","first_name":"Claudia"}],"title":"Verteilte statische Analyse zur Identifikation von kritischen Datenflüssen für vernetzte Automatisierungs- und Produktionssysteme","status":"public","year":"2017","user_id":"15249","_id":"20798","language":[{"iso":"eng"}],"abstract":[{"text":"Moderne und Automatisierungs- und Produktionssysteme speichern viele schützenswerte Daten wie zum Beispiel Produktionsmengen oder Verfahrenseinstellungen. Sie werden von speicherprogrammierbaren Steuerungen (SPS) gesteuert. Eine SPS bietet eine Vielzahl von Netzwerk-/Datenschnittstellen. Insbesondere Schnittstellen zum Internet ermöglichen neue Funktionalitäten, sind aber auch mögliche Angriffspunkte. Neben einer Netzwerktrennung durch Firewalls sollte zusätzlich programmatisch unterbunden werden, dass auf kritische/sensible Daten direkt oder indirekt über einen kritischen, unerwünschten Datenfluss zugegriffen werden kann. Bereits während der Entwicklung einer Anlage kann der Steuerungscode mittels statischer Programmanalyse untersucht werden. Die unabhängige Analyse von einzelnen Programmen reicht aber bei vernetzten Anlagen nicht aus, da sich der kritische Datenfluss erst aus der Kombination von Programm- und Netzwerkverhalten ergeben kann. Deshalb stellen wir in diesem Beitrag erste Ideen für eine verteilte statische Analyse der Steuerungssoftware einer vernetzten Industrieanlage vor, welche es ermöglicht den Datenfluss der gesamten vernetzten Anlage zu betrachten. Hierdurch wird es möglich zu beurteilen, ob kritische/sensible Daten die vernetzte Anlage verlassen oder ob diese manipuliert werden können.\r\n","lang":"eng"}],"citation":{"apa":"Ghassemi, F., Meyer, M., Pohlmann, U., &#38; Priesterjahn, C. (2017). Verteilte statische Analyse zur Identifikation von kritischen Datenflüssen für vernetzte Automatisierungs- und Produktionssysteme.","mla":"Ghassemi, Faezeh, et al. <i>Verteilte Statische Analyse Zur Identifikation von Kritischen Datenflüssen Für Vernetzte Automatisierungs- Und Produktionssysteme</i>. 2017.","ieee":"F. Ghassemi, M. Meyer, U. Pohlmann, and C. Priesterjahn, “Verteilte statische Analyse zur Identifikation von kritischen Datenflüssen für vernetzte Automatisierungs- und Produktionssysteme.” 2017.","chicago":"Ghassemi, Faezeh, Matthias Meyer, Uwe Pohlmann, and Claudia Priesterjahn. “Verteilte Statische Analyse Zur Identifikation von Kritischen Datenflüssen Für Vernetzte Automatisierungs- Und Produktionssysteme,” 2017.","short":"F. Ghassemi, M. Meyer, U. Pohlmann, C. Priesterjahn, (2017).","ama":"Ghassemi F, Meyer M, Pohlmann U, Priesterjahn C. Verteilte statische Analyse zur Identifikation von kritischen Datenflüssen für vernetzte Automatisierungs- und Produktionssysteme. 2017.","bibtex":"@article{Ghassemi_Meyer_Pohlmann_Priesterjahn_2017, title={Verteilte statische Analyse zur Identifikation von kritischen Datenflüssen für vernetzte Automatisierungs- und Produktionssysteme}, author={Ghassemi, Faezeh and Meyer, Matthias and Pohlmann, Uwe and Priesterjahn, Claudia}, year={2017} }"},"department":[{"_id":"241"}],"type":"preprint","date_created":"2020-12-17T13:38:24Z"},{"_id":"20799","language":[{"iso":"eng"}],"user_id":"15249","author":[{"id":"13606","first_name":"Marcus","last_name":"Hüwe","full_name":"Hüwe, Marcus"},{"full_name":"Pohlmann, Uwe","first_name":"Uwe","last_name":"Pohlmann"}],"year":"2017","title":"Formal Definition and Proofs for the MechatronicUML Allocation Specification Language","status":"public","date_updated":"2022-01-06T06:54:39Z","date_created":"2020-12-17T13:39:19Z","place":"Zukunftsmeile 1, 33102 Paderborn, Germany","department":[{"_id":"241"}],"type":"report","citation":{"ieee":"M. Hüwe and U. Pohlmann, <i>Formal Definition and Proofs for the MechatronicUML Allocation Specification Language</i>. Zukunftsmeile 1, 33102 Paderborn, Germany, 2017.","apa":"Hüwe, M., &#38; Pohlmann, U. (2017). <i>Formal Definition and Proofs for the MechatronicUML Allocation Specification Language</i>. Zukunftsmeile 1, 33102 Paderborn, Germany.","short":"M. Hüwe, U. Pohlmann, Formal Definition and Proofs for the MechatronicUML Allocation Specification Language, Zukunftsmeile 1, 33102 Paderborn, Germany, 2017.","chicago":"Hüwe, Marcus, and Uwe Pohlmann. <i>Formal Definition and Proofs for the MechatronicUML Allocation Specification Language</i>. Zukunftsmeile 1, 33102 Paderborn, Germany, 2017.","mla":"Hüwe, Marcus, and Uwe Pohlmann. <i>Formal Definition and Proofs for the MechatronicUML Allocation Specification Language</i>. 2017.","bibtex":"@book{Hüwe_Pohlmann_2017, place={Zukunftsmeile 1, 33102 Paderborn, Germany}, title={Formal Definition and Proofs for the MechatronicUML Allocation Specification Language}, author={Hüwe, Marcus and Pohlmann, Uwe}, year={2017} }","ama":"Hüwe M, Pohlmann U. <i>Formal Definition and Proofs for the MechatronicUML Allocation Specification Language</i>. Zukunftsmeile 1, 33102 Paderborn, Germany; 2017."}},{"date_created":"2020-12-17T13:51:04Z","department":[{"_id":"241"},{"_id":"662"}],"type":"conference","citation":{"mla":"Koch, Thorsten, et al. “Flexible Specification of STEP Application Protocol Extensions and Automatic Derivation of Tool Capabilities.” <i>Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development</i>, 2017, doi:<a href=\"https://doi.org/10.5220/0006137400530064\">10.5220/0006137400530064</a>.","ama":"Koch T, Holtmann J, Lindemann T. Flexible Specification of STEP Application Protocol Extensions and Automatic Derivation of Tool Capabilities. In: <i>Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development</i>. ; 2017. doi:<a href=\"https://doi.org/10.5220/0006137400530064\">10.5220/0006137400530064</a>","bibtex":"@inproceedings{Koch_Holtmann_Lindemann_2017, title={Flexible Specification of STEP Application Protocol Extensions and Automatic Derivation of Tool Capabilities}, DOI={<a href=\"https://doi.org/10.5220/0006137400530064\">10.5220/0006137400530064</a>}, booktitle={Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development}, author={Koch, Thorsten and Holtmann, Jörg and Lindemann, Timo}, year={2017} }","apa":"Koch, T., Holtmann, J., &#38; Lindemann, T. (2017). Flexible Specification of STEP Application Protocol Extensions and Automatic Derivation of Tool Capabilities. In <i>Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development</i>. <a href=\"https://doi.org/10.5220/0006137400530064\">https://doi.org/10.5220/0006137400530064</a>","ieee":"T. Koch, J. Holtmann, and T. Lindemann, “Flexible Specification of STEP Application Protocol Extensions and Automatic Derivation of Tool Capabilities,” in <i>Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development</i>, 2017.","short":"T. Koch, J. Holtmann, T. Lindemann, in: Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development, 2017.","chicago":"Koch, Thorsten, Jörg Holtmann, and Timo Lindemann. “Flexible Specification of STEP Application Protocol Extensions and Automatic Derivation of Tool Capabilities.” In <i>Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development</i>, 2017. <a href=\"https://doi.org/10.5220/0006137400530064\">https://doi.org/10.5220/0006137400530064</a>."},"publication":"Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development","abstract":[{"lang":"eng","text":"Original equipment manufacturers (OEMs) build mechatronic systems using components from several suppliers in industry sectors like automation. The suppliers provide geometrical information via the standardized exchange format STEP, such that the OEM is able to virtually layout the overall system. Beyond the geometrical information, the OEM needs additional technical information for his development tasks. For that reason, STEP provides an extension mechanism for extending and tailoring STEP to project-specific needs. However, extending STEP moreover requires extending several capabilities of all involved tools, causing high development effort. This effort prevents the project-specific utilization of the STEP extension mechanism and forces the organizations to use awkward workarounds. In order to cope with this problem, we present a model-driven approach enabling the flexible specification of STEP extensions and particularly the automatic derivation of the required further capabilities for two involved tools. We illustrate and evaluate the approach with an automation production system example."}],"_id":"20801","language":[{"iso":"eng"}],"doi":"10.5220/0006137400530064","user_id":"13616","author":[{"id":"13616","last_name":"Koch","first_name":"Thorsten","full_name":"Koch, Thorsten"},{"first_name":"Jörg","last_name":"Holtmann","orcid":"0000-0001-6141-4571","full_name":"Holtmann, Jörg","id":"3875"},{"first_name":"Timo","last_name":"Lindemann","full_name":"Lindemann, Timo"}],"title":"Flexible Specification of STEP Application Protocol Extensions and Automatic Derivation of Tool Capabilities","status":"public","year":"2017","date_updated":"2022-01-06T06:54:39Z"},{"status":"public","year":"2017","title":"Integrated and Iterative Systems Engineering and Software Requirements Engineering for Technical Systems (Précis)","author":[{"last_name":"Holtmann","orcid":"0000-0001-6141-4571","first_name":"Jörg","full_name":"Holtmann, Jörg","id":"3875"},{"full_name":"Bernijazov, Ruslan","last_name":"Bernijazov","first_name":"Ruslan"},{"full_name":"Meyer, Matthias","last_name":"Meyer","first_name":"Matthias","id":"683"},{"full_name":"Schmelter, David","first_name":"David","last_name":"Schmelter","orcid":"0000-0001-7787-5380","id":"40982"},{"full_name":"Tschirner, Christian","last_name":"Tschirner","first_name":"Christian"}],"date_updated":"2022-01-06T06:54:39Z","page":"109-110","_id":"20802","series_title":"Lecture Notes in Informatics (LNI)","language":[{"iso":"eng"}],"publisher":"Gesellschaft fuer Informatik","user_id":"40982","editor":[{"full_name":"Jürjens, Jan","first_name":"Jan","last_name":"Jürjens"},{"last_name":"Schneider","first_name":"Kurt","full_name":"Schneider, Kurt"}],"volume":"P-267","publication":"Proceedings of the Software Engineering 2017","citation":{"mla":"Holtmann, Jörg, et al. “Integrated and Iterative Systems Engineering and Software Requirements Engineering for Technical Systems (Précis).” <i>Proceedings of the Software Engineering 2017</i>, edited by Jan Jürjens and Kurt Schneider, vol. P-267, Gesellschaft fuer Informatik, 2017, pp. 109–10.","bibtex":"@inproceedings{Holtmann_Bernijazov_Meyer_Schmelter_Tschirner_2017, series={Lecture Notes in Informatics (LNI)}, title={Integrated and Iterative Systems Engineering and Software Requirements Engineering for Technical Systems (Précis)}, volume={P-267}, booktitle={Proceedings of the Software Engineering 2017}, publisher={Gesellschaft fuer Informatik}, author={Holtmann, Jörg and Bernijazov, Ruslan and Meyer, Matthias and Schmelter, David and Tschirner, Christian}, editor={Jürjens, Jan and Schneider, KurtEditors}, year={2017}, pages={109–110}, collection={Lecture Notes in Informatics (LNI)} }","ama":"Holtmann J, Bernijazov R, Meyer M, Schmelter D, Tschirner C. Integrated and Iterative Systems Engineering and Software Requirements Engineering for Technical Systems (Précis). In: Jürjens J, Schneider K, eds. <i>Proceedings of the Software Engineering 2017</i>. Vol P-267. Lecture Notes in Informatics (LNI). Gesellschaft fuer Informatik; 2017:109-110.","ieee":"J. Holtmann, R. Bernijazov, M. Meyer, D. Schmelter, and C. Tschirner, “Integrated and Iterative Systems Engineering and Software Requirements Engineering for Technical Systems (Précis),” in <i>Proceedings of the Software Engineering 2017</i>, 2017, vol. P-267, pp. 109–110.","apa":"Holtmann, J., Bernijazov, R., Meyer, M., Schmelter, D., &#38; Tschirner, C. (2017). Integrated and Iterative Systems Engineering and Software Requirements Engineering for Technical Systems (Précis). In J. Jürjens &#38; K. Schneider (Eds.), <i>Proceedings of the Software Engineering 2017</i> (Vol. P-267, pp. 109–110). Gesellschaft fuer Informatik.","short":"J. Holtmann, R. Bernijazov, M. Meyer, D. Schmelter, C. Tschirner, in: J. Jürjens, K. Schneider (Eds.), Proceedings of the Software Engineering 2017, Gesellschaft fuer Informatik, 2017, pp. 109–110.","chicago":"Holtmann, Jörg, Ruslan Bernijazov, Matthias Meyer, David Schmelter, and Christian Tschirner. “Integrated and Iterative Systems Engineering and Software Requirements Engineering for Technical Systems (Précis).” In <i>Proceedings of the Software Engineering 2017</i>, edited by Jan Jürjens and Kurt Schneider, P-267:109–10. Lecture Notes in Informatics (LNI). Gesellschaft fuer Informatik, 2017."},"abstract":[{"text":"The development of software-intensive technical systems (e.g., within the automotive industry) involves several engineering disciplines like mechanical, electrical, control, and particularly software engineering. Model-based Systems Engineering (MBSE) coordinates these disciplines throughout the development by means of a discipline-spanning system model. An integral part of MBSE is the requirements engineering on the system level. However, these requirements need to be refined for the discipline-specific development to start, for example, into specific requirements for the embedded software. Since existing MBSE approaches lack support for this refinement step, we conceived a systematic and iterative transition from MBSE to model-based software requirements engineering, which we present in this talk. We automated the steps of the transition where possible, in order to avoid error-prone and time-consuming manual tasks. We illustrate the approach and perform a case study with an example of an automotive embedded system.","lang":"eng"}],"date_created":"2020-12-17T13:53:41Z","type":"conference","department":[{"_id":"241"},{"_id":"662"}]},{"department":[{"_id":"241"}],"type":"conference","date_created":"2020-12-17T13:56:43Z","citation":{"bibtex":"@inproceedings{Pohlmann_Hüwe_2017, title={Model-Driven Allocation Engineering – Abridged Version}, booktitle={GI-Edition, Lecture Notes in Informatics, Software Engineering 2017, Proceedings}, author={Pohlmann, Uwe and Hüwe, Marcus}, editor={Jürjens, Jan and Schneider, KurtEditors}, year={2017} }","ama":"Pohlmann U, Hüwe M. Model-Driven Allocation Engineering – Abridged Version. In: Jürjens J, Schneider K, eds. <i>GI-Edition, Lecture Notes in Informatics, Software Engineering 2017, Proceedings</i>. ; 2017.","mla":"Pohlmann, Uwe, and Marcus Hüwe. “Model-Driven Allocation Engineering – Abridged Version.” <i>GI-Edition, Lecture Notes in Informatics, Software Engineering 2017, Proceedings</i>, edited by Jan Jürjens and Kurt Schneider, 2017.","short":"U. Pohlmann, M. Hüwe, in: J. Jürjens, K. Schneider (Eds.), GI-Edition, Lecture Notes in Informatics, Software Engineering 2017, Proceedings, 2017.","chicago":"Pohlmann, Uwe, and Marcus Hüwe. “Model-Driven Allocation Engineering – Abridged Version.” In <i>GI-Edition, Lecture Notes in Informatics, Software Engineering 2017, Proceedings</i>, edited by Jan Jürjens and Kurt Schneider, 2017.","ieee":"U. Pohlmann and M. Hüwe, “Model-Driven Allocation Engineering – Abridged Version,” in <i>GI-Edition, Lecture Notes in Informatics, Software Engineering 2017, Proceedings</i>, 2017.","apa":"Pohlmann, U., &#38; Hüwe, M. (2017). Model-Driven Allocation Engineering – Abridged Version. In J. Jürjens &#38; K. Schneider (Eds.), <i>GI-Edition, Lecture Notes in Informatics, Software Engineering 2017, Proceedings</i>."},"publication":"GI-Edition, Lecture Notes in Informatics, Software Engineering 2017, Proceedings","editor":[{"last_name":"Jürjens","first_name":"Jan","full_name":"Jürjens, Jan"},{"last_name":"Schneider","first_name":"Kurt","full_name":"Schneider, Kurt"}],"user_id":"15249","_id":"20803","language":[{"iso":"eng"}],"date_updated":"2022-01-06T06:54:39Z","author":[{"last_name":"Pohlmann","first_name":"Uwe","full_name":"Pohlmann, Uwe"},{"id":"13606","full_name":"Hüwe, Marcus","last_name":"Hüwe","first_name":"Marcus"}],"title":"Model-Driven Allocation Engineering – Abridged Version","year":"2017","status":"public"},{"user_id":"5786","language":[{"iso":"eng"}],"_id":"20804","date_updated":"2022-01-06T06:54:39Z","author":[{"first_name":"Johannes","last_name":"Geismann","orcid":"https://orcid.org/0000-0003-2015-2047","full_name":"Geismann, Johannes","id":"20063"},{"last_name":"Pohlmann","first_name":"Uwe","full_name":"Pohlmann, Uwe"},{"id":"40982","first_name":"David","last_name":"Schmelter","orcid":"0000-0001-7787-5380","full_name":"Schmelter, David"}],"status":"public","year":"2017","title":"Towards an Automated Synthesis of a Real-time Scheduling for Cyber-physical Multi-core Systems","department":[{"_id":"76"},{"_id":"241"},{"_id":"662"}],"type":"conference","date_created":"2020-12-17T13:59:04Z","abstract":[{"text":"Modern Cyber-physical Systems are executed in physical environments and distributed over several Electronic Control Units using multiple cores for execution. These systems perform safety-critical tasks and, therefore, have to fulfill hard real-time requirements. To face these requirements systematically, system engineers de- velop these systems model-driven and prove the fulfillment of these requirements via model checking. It is important to ensure that the runtime scheduling does not violate the verified requirements by neglecting the model checking assumptions. Currently, there is a gap in the process for model-driven approaches to derive a feasible runtime scheduling that respects these assumptions. In this paper, we present an approach for a semi- automatic synthesis of behavioral models into a deterministic scheduling that respects real-time requirements at runtime. We evaluate our approach using an example of a distributed automotive system with hard real-time requirements specified with the MechatronicUML method.","lang":"eng"}],"citation":{"mla":"Geismann, Johannes, et al. “Towards an Automated Synthesis of a Real-Time Scheduling for Cyber-Physical Multi-Core Systems.” <i>Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development</i>, 2017.","bibtex":"@inproceedings{Geismann_Pohlmann_Schmelter_2017, title={Towards an Automated Synthesis of a Real-time Scheduling for Cyber-physical Multi-core Systems}, booktitle={Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development}, author={Geismann, Johannes and Pohlmann, Uwe and Schmelter, David}, year={2017} }","ama":"Geismann J, Pohlmann U, Schmelter D. Towards an Automated Synthesis of a Real-time Scheduling for Cyber-physical Multi-core Systems. In: <i>Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development</i>. ; 2017.","ieee":"J. Geismann, U. Pohlmann, and D. Schmelter, “Towards an Automated Synthesis of a Real-time Scheduling for Cyber-physical Multi-core Systems,” 2017.","apa":"Geismann, J., Pohlmann, U., &#38; Schmelter, D. (2017). Towards an Automated Synthesis of a Real-time Scheduling for Cyber-physical Multi-core Systems. <i>Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development</i>.","chicago":"Geismann, Johannes, Uwe Pohlmann, and David Schmelter. “Towards an Automated Synthesis of a Real-Time Scheduling for Cyber-Physical Multi-Core Systems.” In <i>Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development</i>, 2017.","short":"J. Geismann, U. Pohlmann, D. Schmelter, in: Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development, 2017."},"publication":"Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development"},{"place":"Paderborn","date_created":"2020-08-17T10:35:20Z","department":[{"_id":"137"},{"_id":"25"}],"type":"book","citation":{"mla":"Meister, Dorothee M., and Gudrun Oevel. <i>E-Assessments in Der Hochschulpraxis. Empfehlungen Zur Verankerung von E-Assessments in NRW</i>. 2017.","ama":"Meister DM, Oevel G. <i>E-Assessments in Der Hochschulpraxis. Empfehlungen Zur Verankerung von E-Assessments in NRW</i>. Paderborn; 2017.","bibtex":"@book{Meister_Oevel_2017, place={Paderborn}, title={E-Assessments in der Hochschulpraxis. Empfehlungen zur Verankerung von E-Assessments in NRW}, author={Meister, Dorothee M. and Oevel, Gudrun}, year={2017} }","apa":"Meister, D. M., &#38; Oevel, G. (2017). <i>E-Assessments in der Hochschulpraxis. Empfehlungen zur Verankerung von E-Assessments in NRW</i>. Paderborn.","ieee":"D. M. Meister and G. Oevel, <i>E-Assessments in der Hochschulpraxis. Empfehlungen zur Verankerung von E-Assessments in NRW</i>. Paderborn, 2017.","short":"D.M. Meister, G. Oevel, E-Assessments in Der Hochschulpraxis. Empfehlungen Zur Verankerung von E-Assessments in NRW, Paderborn, 2017.","chicago":"Meister, Dorothee M., and Gudrun Oevel. <i>E-Assessments in Der Hochschulpraxis. Empfehlungen Zur Verankerung von E-Assessments in NRW</i>. Paderborn, 2017."},"language":[{"iso":"eng"}],"_id":"18010","user_id":"21240","author":[{"first_name":"Dorothee M.","last_name":"Meister","full_name":"Meister, Dorothee M.","id":"346"},{"first_name":"Gudrun","last_name":"Oevel","orcid":"https://orcid.org/0000-0002-6396-9535","full_name":"Oevel, Gudrun","id":"14924"}],"title":"E-Assessments in der Hochschulpraxis. Empfehlungen zur Verankerung von E-Assessments in NRW","status":"public","year":"2017","date_updated":"2022-01-06T06:53:25Z"},{"citation":{"mla":"Taube, A. “Mechanische Und Mikrostrukturellen Eigenschaften Additiv Hergestellter Gitterstrukturen .” <i>Hannover Messe Industrie, 2017, Hannover</i>, 2017.","bibtex":"@inproceedings{Taube_2017, title={Mechanische und mikrostrukturellen Eigenschaften additiv hergestellter Gitterstrukturen }, booktitle={Hannover Messe Industrie, 2017, Hannover}, author={Taube, A.}, year={2017} }","ama":"Taube A. Mechanische und mikrostrukturellen Eigenschaften additiv hergestellter Gitterstrukturen . In: <i>Hannover Messe Industrie, 2017, Hannover</i>. ; 2017.","ieee":"A. Taube, “Mechanische und mikrostrukturellen Eigenschaften additiv hergestellter Gitterstrukturen ,” in <i>Hannover Messe Industrie, 2017, Hannover</i>, 2017.","apa":"Taube, A. (2017). Mechanische und mikrostrukturellen Eigenschaften additiv hergestellter Gitterstrukturen . In <i>Hannover Messe Industrie, 2017, Hannover</i>.","short":"A. Taube, in: Hannover Messe Industrie, 2017, Hannover, 2017.","chicago":"Taube, A. “Mechanische Und Mikrostrukturellen Eigenschaften Additiv Hergestellter Gitterstrukturen .” In <i>Hannover Messe Industrie, 2017, Hannover</i>, 2017."},"publication":"Hannover Messe Industrie, 2017, Hannover","department":[{"_id":"143"},{"_id":"219"}],"type":"conference","date_created":"2021-05-11T07:47:55Z","date_updated":"2022-01-06T06:55:26Z","author":[{"last_name":"Taube","first_name":"A.","full_name":"Taube, A."}],"title":"Mechanische und mikrostrukturellen Eigenschaften additiv hergestellter Gitterstrukturen ","status":"public","year":"2017","user_id":"60486","_id":"22110"}]