[{"citation":{"short":"T. Plugge, Herstellung Komplexer Polymerer Hohlkörperstrukturen, 2014.","chicago":"Plugge, Thorsten. <i>Herstellung Komplexer Polymerer Hohlkörperstrukturen</i>, 2014.","ieee":"T. Plugge, <i>Herstellung komplexer polymerer Hohlkörperstrukturen</i>. 2014.","apa":"Plugge, T. (2014). <i>Herstellung komplexer polymerer Hohlkörperstrukturen</i>.","bibtex":"@book{Plugge_2014, title={Herstellung komplexer polymerer Hohlkörperstrukturen}, author={Plugge, Thorsten}, year={2014} }","ama":"Plugge T. <i>Herstellung Komplexer Polymerer Hohlkörperstrukturen</i>.; 2014.","mla":"Plugge, Thorsten. <i>Herstellung Komplexer Polymerer Hohlkörperstrukturen</i>. 2014."},"department":[{"_id":"9"},{"_id":"367"},{"_id":"321"}],"type":"dissertation","date_created":"2021-11-22T09:19:38Z","date_updated":"2022-01-06T06:57:44Z","author":[{"full_name":"Plugge, Thorsten","last_name":"Plugge","first_name":"Thorsten"}],"year":"2014","status":"public","title":"Herstellung komplexer polymerer Hohlkörperstrukturen","user_id":"44116","language":[{"iso":"eng"}],"_id":"27694"},{"date_created":"2021-11-22T09:20:45Z","type":"dissertation","department":[{"_id":"9"},{"_id":"367"},{"_id":"321"}],"citation":{"mla":"Hörmann, Heinrich. <i>Theoretische Und Experimentelle Betrachtung Schnelllaufender Einschneckenextruder</i>. 2014.","bibtex":"@book{Hörmann_2014, title={Theoretische und experimentelle Betrachtung schnelllaufender Einschneckenextruder}, author={Hörmann, Heinrich}, year={2014} }","ama":"Hörmann H. <i>Theoretische Und Experimentelle Betrachtung Schnelllaufender Einschneckenextruder</i>.; 2014.","ieee":"H. Hörmann, <i>Theoretische und experimentelle Betrachtung schnelllaufender Einschneckenextruder</i>. 2014.","apa":"Hörmann, H. (2014). <i>Theoretische und experimentelle Betrachtung schnelllaufender Einschneckenextruder</i>.","chicago":"Hörmann, Heinrich. <i>Theoretische Und Experimentelle Betrachtung Schnelllaufender Einschneckenextruder</i>, 2014.","short":"H. Hörmann, Theoretische Und Experimentelle Betrachtung Schnelllaufender Einschneckenextruder, 2014."},"_id":"27695","language":[{"iso":"eng"}],"user_id":"44116","year":"2014","title":"Theoretische und experimentelle Betrachtung schnelllaufender Einschneckenextruder","status":"public","author":[{"first_name":"Heinrich","last_name":"Hörmann","full_name":"Hörmann, Heinrich"}],"date_updated":"2022-01-06T06:57:44Z"},{"date_updated":"2022-01-06T06:57:44Z","author":[{"full_name":"Korsmeier, André","last_name":"Korsmeier","first_name":"André"}],"status":"public","title":"Untersuchung des instationären Verhaltens an einem Einschneckenextruder ","year":"2014","user_id":"44116","_id":"27696","language":[{"iso":"eng"}],"citation":{"ieee":"A. Korsmeier, <i>Untersuchung des instationären Verhaltens an einem Einschneckenextruder </i>. 2014.","apa":"Korsmeier, A. (2014). <i>Untersuchung des instationären Verhaltens an einem Einschneckenextruder </i>.","chicago":"Korsmeier, André. <i>Untersuchung Des Instationären Verhaltens an Einem Einschneckenextruder </i>, 2014.","short":"A. Korsmeier, Untersuchung Des Instationären Verhaltens an Einem Einschneckenextruder , 2014.","mla":"Korsmeier, André. <i>Untersuchung Des Instationären Verhaltens an Einem Einschneckenextruder </i>. 2014.","bibtex":"@book{Korsmeier_2014, title={Untersuchung des instationären Verhaltens an einem Einschneckenextruder }, author={Korsmeier, André}, year={2014} }","ama":"Korsmeier A. <i>Untersuchung Des Instationären Verhaltens an Einem Einschneckenextruder </i>.; 2014."},"department":[{"_id":"9"},{"_id":"367"},{"_id":"321"}],"type":"dissertation","date_created":"2021-11-22T09:21:45Z"},{"doi":"10.1016/j.jmatprotec.2014.04.015","language":[{"iso":"eng"}],"intvolume":"       214","publication_status":"published","date_updated":"2022-01-06T06:54:41Z","author":[{"full_name":"Ebbert, Christoph","last_name":"Ebbert","first_name":"Christoph","id":"7266"},{"full_name":"Schmidt, H. C.","last_name":"Schmidt","first_name":"H. C."},{"last_name":"Rodman","first_name":"D.","full_name":"Rodman, D."},{"full_name":"Nuernberger, F.","first_name":"F.","last_name":"Nuernberger"},{"first_name":"W.","last_name":"Homberg","full_name":"Homberg, W."},{"first_name":"H. J.","last_name":"Maier","full_name":"Maier, H. J."},{"first_name":"Guido","last_name":"Grundmeier","full_name":"Grundmeier, Guido","id":"194"}],"publication_identifier":{"issn":["0924-0136"]},"title":"Joining with electrochemical support (ECUF): Cold pressure welding of copper","year":"2014","department":[{"_id":"35"},{"_id":"302"},{"_id":"321"}],"type":"journal_article","date_created":"2021-01-13T10:12:50Z","abstract":[{"lang":"eng","text":"Joining metals using electrochemical support (ECUF) is a new process for cold pressure welding sheets and parts. This new process is based on an electrochemical in-line surface treatment followed by incremental pilger rolling. The ECUF process intends to cold pressure weld materials under optimized conditions. Oxide layers on metal surfaces are known to inhibit the formation of cold pressure welds. The in-line electrochemical treatment will be used to remove these surface oxides for specific engineering metals and alloys. Hence, an improved pressure weld formation at lower forces and smaller reduction ratios is expected for the electrochemically treated surfaces. Using a more flexible pressure welding process, the number of applications could be greatly improved. First tests with copper were performed to analyse the efficiency of the proposed electrochemical surface treatments. Two electrochemical treatments, the cathodic oxide-reduction and cyclovoltammetric oxide-reduction, were compared with conventional treatments (degreasing and scratch brushing) regarding their influence on the cold pressure welding process of copper. The weld strength of lap welds has been investigated as well as the necessary reduction threshold to form a weld. It was found that the electrochemical oxide reduction resulted in higher weld strength. The results of scanning electron microscopy (SEM) and energy dispersive analysis of X-rays (EDX) indicate that surface oxides were successfully removed by the electrochemical surface treatments. (C) 2014 Elsevier B.V. All rights reserved."}],"publication":"JOURNAL OF MATERIALS PROCESSING TECHNOLOGY","issue":"10","volume":214,"user_id":"7266","_id":"20944","page":"2179-2187","status":"public","external_id":{"isi":["000338814500023"]},"quality_controlled":"1","isi":"1","citation":{"apa":"Ebbert, C., Schmidt, H. C., Rodman, D., Nuernberger, F., Homberg, W., Maier, H. J., &#38; Grundmeier, G. (2014). Joining with electrochemical support (ECUF): Cold pressure welding of copper. <i>JOURNAL OF MATERIALS PROCESSING TECHNOLOGY</i>, <i>214</i>(10), 2179–2187. <a href=\"https://doi.org/10.1016/j.jmatprotec.2014.04.015\">https://doi.org/10.1016/j.jmatprotec.2014.04.015</a>","ieee":"C. Ebbert <i>et al.</i>, “Joining with electrochemical support (ECUF): Cold pressure welding of copper,” <i>JOURNAL OF MATERIALS PROCESSING TECHNOLOGY</i>, vol. 214, no. 10, pp. 2179–2187, 2014.","short":"C. Ebbert, H.C. Schmidt, D. Rodman, F. Nuernberger, W. Homberg, H.J. Maier, G. Grundmeier, JOURNAL OF MATERIALS PROCESSING TECHNOLOGY 214 (2014) 2179–2187.","chicago":"Ebbert, Christoph, H. C. Schmidt, D. Rodman, F. Nuernberger, W. Homberg, H. J. Maier, and Guido Grundmeier. “Joining with Electrochemical Support (ECUF): Cold Pressure Welding of Copper.” <i>JOURNAL OF MATERIALS PROCESSING TECHNOLOGY</i> 214, no. 10 (2014): 2179–87. <a href=\"https://doi.org/10.1016/j.jmatprotec.2014.04.015\">https://doi.org/10.1016/j.jmatprotec.2014.04.015</a>.","mla":"Ebbert, Christoph, et al. “Joining with Electrochemical Support (ECUF): Cold Pressure Welding of Copper.” <i>JOURNAL OF MATERIALS PROCESSING TECHNOLOGY</i>, vol. 214, no. 10, 2014, pp. 2179–87, doi:<a href=\"https://doi.org/10.1016/j.jmatprotec.2014.04.015\">10.1016/j.jmatprotec.2014.04.015</a>.","ama":"Ebbert C, Schmidt HC, Rodman D, et al. Joining with electrochemical support (ECUF): Cold pressure welding of copper. <i>JOURNAL OF MATERIALS PROCESSING TECHNOLOGY</i>. 2014;214(10):2179-2187. doi:<a href=\"https://doi.org/10.1016/j.jmatprotec.2014.04.015\">10.1016/j.jmatprotec.2014.04.015</a>","bibtex":"@article{Ebbert_Schmidt_Rodman_Nuernberger_Homberg_Maier_Grundmeier_2014, title={Joining with electrochemical support (ECUF): Cold pressure welding of copper}, volume={214}, DOI={<a href=\"https://doi.org/10.1016/j.jmatprotec.2014.04.015\">10.1016/j.jmatprotec.2014.04.015</a>}, number={10}, journal={JOURNAL OF MATERIALS PROCESSING TECHNOLOGY}, author={Ebbert, Christoph and Schmidt, H. C. and Rodman, D. and Nuernberger, F. and Homberg, W. and Maier, H. J. and Grundmeier, Guido}, year={2014}, pages={2179–2187} }"}},{"abstract":[{"text":"The use of models in requirements engineering (RE) for software-intensive embedded systems is considered beneficial. The main advantages of requirements models as documentation format are that they facilitate requirements understanding and foster automatic analysis techniques. However, natural language (NL) is still the dominant documentation format for requirements specifications, particularly in the domain of embedded systems. This is due to the facts that NL-based requirements can be used within legally binding documents and are more appropriate for reviews than models. In order to bridge the gap between both of these documentation formats, this paper proposes a model-driven RE methodology that makes use of requirements models along with a controlled natural language. The methodology combines the advantages of model-based and NL-based documentation by means of a bidirectional multi-step model transformation between both documentation formats. We illustrate the approach by means of an automotive example, explain the particular steps of the model transformation, and present performance results.\r\n","lang":"eng"}],"citation":{"bibtex":"@inproceedings{Fockel_Holtmann_2014, title={A requirements engineering methodology combining models and controlled natural language}, DOI={<a href=\"https://doi.org/10.1109/modre.2014.6890827\">10.1109/modre.2014.6890827</a>}, booktitle={2014 IEEE 4th International Model-Driven Requirements Engineering Workshop (MoDRE)}, author={Fockel, Markus and Holtmann, Jörg}, year={2014} }","ama":"Fockel M, Holtmann J. A requirements engineering methodology combining models and controlled natural language. In: <i>2014 IEEE 4th International Model-Driven Requirements Engineering Workshop (MoDRE)</i>. ; 2014. doi:<a href=\"https://doi.org/10.1109/modre.2014.6890827\">10.1109/modre.2014.6890827</a>","mla":"Fockel, Markus, and Jörg Holtmann. “A Requirements Engineering Methodology Combining Models and Controlled Natural Language.” <i>2014 IEEE 4th International Model-Driven Requirements Engineering Workshop (MoDRE)</i>, 2014, doi:<a href=\"https://doi.org/10.1109/modre.2014.6890827\">10.1109/modre.2014.6890827</a>.","short":"M. Fockel, J. Holtmann, in: 2014 IEEE 4th International Model-Driven Requirements Engineering Workshop (MoDRE), 2014.","chicago":"Fockel, Markus, and Jörg Holtmann. “A Requirements Engineering Methodology Combining Models and Controlled Natural Language.” In <i>2014 IEEE 4th International Model-Driven Requirements Engineering Workshop (MoDRE)</i>, 2014. <a href=\"https://doi.org/10.1109/modre.2014.6890827\">https://doi.org/10.1109/modre.2014.6890827</a>.","ieee":"M. Fockel and J. Holtmann, “A requirements engineering methodology combining models and controlled natural language,” in <i>2014 IEEE 4th International Model-Driven Requirements Engineering Workshop (MoDRE)</i>, 2014.","apa":"Fockel, M., &#38; Holtmann, J. (2014). A requirements engineering methodology combining models and controlled natural language. In <i>2014 IEEE 4th International Model-Driven Requirements Engineering Workshop (MoDRE)</i>. <a href=\"https://doi.org/10.1109/modre.2014.6890827\">https://doi.org/10.1109/modre.2014.6890827</a>"},"publication":"2014 IEEE 4th International Model-Driven Requirements Engineering Workshop (MoDRE)","department":[{"_id":"241"},{"_id":"662"}],"type":"conference","date_created":"2021-01-13T13:06:57Z","publication_status":"published","date_updated":"2022-01-06T06:54:42Z","author":[{"id":"8472","first_name":"Markus","last_name":"Fockel","orcid":"0000-0002-1269-0702","full_name":"Fockel, Markus"},{"orcid":"0000-0001-6141-4571","last_name":"Holtmann","first_name":"Jörg","full_name":"Holtmann, Jörg","id":"3875"}],"publication_identifier":{"isbn":["9781479963430"]},"year":"2014","title":"A requirements engineering methodology combining models and controlled natural language","status":"public","user_id":"8472","doi":"10.1109/modre.2014.6890827","language":[{"iso":"eng"}],"_id":"20972"},{"abstract":[{"text":"Real-time embedded systems (RTES), as in the automotive domain, provide their functionality by executing software operations on hardware with restricted resources and by communicating via buses. The properties of the underlying architecture, i.e., execution times of software operations and bus latencies, cause delays during the provision of the functionality. At the same time, RTES have to fulfill strict real-time requirements. The fulfillment of such real-time requirements under consideration of delays induced by architectural properties should be taken into account already during requirements engineering (RE) to avoid costly iterations in subsequent development phases. In previous work, we developed a formal RE approach based on a recent Live Sequence Chart (LSC) variant, so-called Modal Sequence Diagrams (MSDs). This scenario-based RE approach allows to validate the requirements by means of simulation, i.e., the play-out algorithm originally conceived for LSCs. Our MSD play-out approach considers assumptions on the environment as well as real-time requirements and is applicable to hierarchical component architectures, which makes it well suited for automotive systems. However, delays induced by architectural properties are not considered. In order to consider this important aspect, we introduce in this paper an approach enabling the annotation of software operation execution times and connector latencies to hierarchical component architectures by means of the MARTE profile. These assumptions about the architectural properties can be verified against the real-time requirements specified in the MSDs by means of simulation. We illustrate the approach by means of an example of an automotive RTES.","lang":"eng"}],"citation":{"bibtex":"@inproceedings{Holtmann_Shipchanov_2014, series={GI-Edition - Lecture Notes in Informatics (LNI)}, title={Considering Architectural Properties in Real-time Play-out}, volume={P-232}, booktitle={Proceedings of 12th Workshop Automotive Software Engineering}, publisher={Bonner Koellen Verlag}, author={Holtmann, Jörg and Shipchanov, Dimitar}, year={2014}, pages={2169–2180}, collection={GI-Edition - Lecture Notes in Informatics (LNI)} }","ama":"Holtmann J, Shipchanov D. Considering Architectural Properties in Real-time Play-out. In: <i>Proceedings of 12th Workshop Automotive Software Engineering</i>. Vol P-232. GI-Edition - Lecture Notes in Informatics (LNI). Bonner Koellen Verlag; 2014:2169–2180.","mla":"Holtmann, Jörg, and Dimitar Shipchanov. “Considering Architectural Properties in Real-Time Play-Out.” <i>Proceedings of 12th Workshop Automotive Software Engineering</i>, vol. P-232, Bonner Koellen Verlag, 2014, pp. 2169–2180.","chicago":"Holtmann, Jörg, and Dimitar Shipchanov. “Considering Architectural Properties in Real-Time Play-Out.” In <i>Proceedings of 12th Workshop Automotive Software Engineering</i>, P-232:2169–2180. GI-Edition - Lecture Notes in Informatics (LNI). Bonner Koellen Verlag, 2014.","short":"J. Holtmann, D. Shipchanov, in: Proceedings of 12th Workshop Automotive Software Engineering, Bonner Koellen Verlag, 2014, pp. 2169–2180.","ieee":"J. Holtmann and D. Shipchanov, “Considering Architectural Properties in Real-time Play-out,” in <i>Proceedings of 12th Workshop Automotive Software Engineering</i>, 2014, vol. P-232, pp. 2169–2180.","apa":"Holtmann, J., &#38; Shipchanov, D. (2014). Considering Architectural Properties in Real-time Play-out. In <i>Proceedings of 12th Workshop Automotive Software Engineering</i> (Vol. P-232, pp. 2169–2180). Bonner Koellen Verlag."},"publication":"Proceedings of 12th Workshop Automotive Software Engineering","department":[{"_id":"241"}],"type":"conference","date_created":"2021-01-13T13:33:19Z","date_updated":"2022-01-06T06:54:42Z","author":[{"full_name":"Holtmann, Jörg","first_name":"Jörg","last_name":"Holtmann","orcid":"0000-0001-6141-4571","id":"3875"},{"last_name":"Shipchanov","first_name":"Dimitar","full_name":"Shipchanov, Dimitar"}],"title":"Considering Architectural Properties in Real-time Play-out","status":"public","year":"2014","volume":"P-232","user_id":"15249","_id":"20981","series_title":"GI-Edition - Lecture Notes in Informatics (LNI)","language":[{"iso":"eng"}],"publisher":"Bonner Koellen Verlag","page":"2169–2180"},{"abstract":[{"text":"Real-time software-intensive embedded systems complexity, as in the automotive domain, requires rigorous Requirements Engineering (RE) approaches. Scenario-based RE formalisms like Modal Sequence Diagrams (MSDs) enable an intuitive specication and the simulative validation of functional requirements. However, the dependencies between events occurring in different MSD scenarios are implicit so that it is difficult to find causes of requirements defects, if any. The automotive architecture description language EAST-ADL addresses this problem by relying on event chains, which make dependencies between events explicit. However, EAST-ADL event chains have a low abstraction level, and their relationship to functional requirements has seldom been investigated. Based on the EAST-ADL functional architecture, we propose to use its central notion of event to conciliate both approaches. We conceived an automatic transformation from the high abstraction level requirements specified in MSDs to the low abstraction level event chains.\r\n","lang":"eng"}],"publication":"Software Architecture","citation":{"mla":"Koch, Thorsten, et al. “Generating EAST-ADL Event Chains from Scenario-Based Requirements Specifications.” <i>Software Architecture</i>, 2014, doi:<a href=\"https://doi.org/10.1007/978-3-319-09970-5_14\">10.1007/978-3-319-09970-5_14</a>.","bibtex":"@inbook{Koch_Holtmann_DeAntoni_2014, place={Cham}, title={Generating EAST-ADL Event Chains from Scenario-Based Requirements Specifications}, DOI={<a href=\"https://doi.org/10.1007/978-3-319-09970-5_14\">10.1007/978-3-319-09970-5_14</a>}, booktitle={Software Architecture}, author={Koch, Thorsten and Holtmann, Jörg and DeAntoni, Julien}, year={2014} }","ama":"Koch T, Holtmann J, DeAntoni J. Generating EAST-ADL Event Chains from Scenario-Based Requirements Specifications. In: <i>Software Architecture</i>. Cham; 2014. doi:<a href=\"https://doi.org/10.1007/978-3-319-09970-5_14\">10.1007/978-3-319-09970-5_14</a>","ieee":"T. Koch, J. Holtmann, and J. DeAntoni, “Generating EAST-ADL Event Chains from Scenario-Based Requirements Specifications,” in <i>Software Architecture</i>, Cham, 2014.","apa":"Koch, T., Holtmann, J., &#38; DeAntoni, J. (2014). Generating EAST-ADL Event Chains from Scenario-Based Requirements Specifications. In <i>Software Architecture</i>. Cham. <a href=\"https://doi.org/10.1007/978-3-319-09970-5_14\">https://doi.org/10.1007/978-3-319-09970-5_14</a>","short":"T. Koch, J. Holtmann, J. DeAntoni, in: Software Architecture, Cham, 2014.","chicago":"Koch, Thorsten, Jörg Holtmann, and Julien DeAntoni. “Generating EAST-ADL Event Chains from Scenario-Based Requirements Specifications.” In <i>Software Architecture</i>. Cham, 2014. <a href=\"https://doi.org/10.1007/978-3-319-09970-5_14\">https://doi.org/10.1007/978-3-319-09970-5_14</a>."},"type":"book_chapter","department":[{"_id":"241"},{"_id":"662"}],"date_created":"2021-01-13T13:34:35Z","place":"Cham","publication_status":"published","date_updated":"2022-01-06T06:54:42Z","title":"Generating EAST-ADL Event Chains from Scenario-Based Requirements Specifications","status":"public","year":"2014","author":[{"id":"13616","full_name":"Koch, Thorsten","last_name":"Koch","first_name":"Thorsten"},{"full_name":"Holtmann, Jörg","first_name":"Jörg","orcid":"0000-0001-6141-4571","last_name":"Holtmann","id":"3875"},{"first_name":"Julien","last_name":"DeAntoni","full_name":"DeAntoni, Julien"}],"publication_identifier":{"isbn":["9783319099699","9783319099705"],"issn":["0302-9743","1611-3349"]},"user_id":"13616","doi":"10.1007/978-3-319-09970-5_14","_id":"20982","language":[{"iso":"eng"}]},{"date_updated":"2022-01-06T06:54:42Z","author":[{"last_name":"Brenner","first_name":"Christian","full_name":"Brenner, Christian"},{"last_name":"Greenyer","first_name":"Joel","full_name":"Greenyer, Joel"},{"orcid":"0000-0001-6141-4571","first_name":"Jörg","last_name":"Holtmann","full_name":"Holtmann, Jörg","id":"3875"},{"last_name":"Liebel","first_name":"Grischa","full_name":"Liebel, Grischa"},{"last_name":"Stieglbauer","first_name":"Gerald","full_name":"Stieglbauer, Gerald"},{"full_name":"Tichy, Matthias","first_name":"Matthias","last_name":"Tichy"}],"year":"2014","status":"public","title":"ScenarioTools Real-Time Play-Out for Test Sequence Validation in an Automotive Case Study","user_id":"5786","language":[{"iso":"eng"}],"_id":"20983","abstract":[{"text":"In many areas, such as automotive, healthcare, or production, we find software-intensive systems with complex real-time requirements. To efficiently ensure the quality of these systems, engineers require automated tools for the validation of the requirements throughout the development. This, however, requires that the requirements are specified in an analyzable way. We propose modeling the specification using Modal Sequence Diagrams (MSDs), which express what a system may, must, or must not do in certain situations. MSDs can be executed via the play-out algorithm to investigate the behavior emerging from the interplay of multiple scenarios; we can also test if traces of the final product satisfy all scenarios. In this paper, we present the first tool supporting the play-out of MSDs with real-time constraints. As a case study, we modeled the requirements on gear shifts in an upcoming standard on vehicle testing and use our tool to validate externally generated gear shift sequences.","lang":"eng"}],"citation":{"mla":"Brenner, Christian, et al. “ScenarioTools Real-Time Play-Out for Test Sequence Validation in an Automotive Case Study.” <i>Proceedings of the 13th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2014)</i>, 2014.","bibtex":"@inproceedings{Brenner_Greenyer_Holtmann_Liebel_Stieglbauer_Tichy_2014, title={ScenarioTools Real-Time Play-Out for Test Sequence Validation in an Automotive Case Study}, booktitle={Proceedings of the 13th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2014)}, author={Brenner, Christian and Greenyer, Joel and Holtmann, Jörg and Liebel, Grischa and Stieglbauer, Gerald and Tichy, Matthias}, year={2014} }","ama":"Brenner C, Greenyer J, Holtmann J, Liebel G, Stieglbauer G, Tichy M. ScenarioTools Real-Time Play-Out for Test Sequence Validation in an Automotive Case Study. In: <i>Proceedings of the 13th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2014)</i>. ; 2014.","ieee":"C. Brenner, J. Greenyer, J. Holtmann, G. Liebel, G. Stieglbauer, and M. Tichy, “ScenarioTools Real-Time Play-Out for Test Sequence Validation in an Automotive Case Study,” 2014.","apa":"Brenner, C., Greenyer, J., Holtmann, J., Liebel, G., Stieglbauer, G., &#38; Tichy, M. (2014). ScenarioTools Real-Time Play-Out for Test Sequence Validation in an Automotive Case Study. <i>Proceedings of the 13th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2014)</i>.","short":"C. Brenner, J. Greenyer, J. Holtmann, G. Liebel, G. Stieglbauer, M. Tichy, in: Proceedings of the 13th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2014), 2014.","chicago":"Brenner, Christian, Joel Greenyer, Jörg Holtmann, Grischa Liebel, Gerald Stieglbauer, and Matthias Tichy. “ScenarioTools Real-Time Play-Out for Test Sequence Validation in an Automotive Case Study.” In <i>Proceedings of the 13th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2014)</i>, 2014."},"publication":"Proceedings of the 13th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2014)","department":[{"_id":"76"},{"_id":"241"}],"type":"conference","date_created":"2021-01-13T13:36:09Z"},{"place":"Bonn","citation":{"short":"M. Boehner, G. Oevel, S. Porombka, in: P. Müller, B. Neumair, H. Reiser, G. Dreo Rodosek (Eds.), 7. DFN Forum Kommunikationstechnologien – Beiträge der Fachtagung 16./17.6.2014 Fulda, Gesellschaft für Informatik, Bonn, 2014, pp. 33–43.","chicago":"Boehner, M., Gudrun Oevel, and Sebastian Porombka. “Energieeffizienz im WLAN.” In <i>7. DFN Forum Kommunikationstechnologien – Beiträge der Fachtagung 16./17.6.2014 Fulda</i>, edited by P. Müller, B. Neumair, H. Reiser, and G. Dreo Rodosek, 231:33–43. Lecture Notes in Informatics (LNI). Bonn: Gesellschaft für Informatik, 2014.","apa":"Boehner, M., Oevel, G., &#38; Porombka, S. (2014). Energieeffizienz im WLAN. In P. Müller, B. Neumair, H. Reiser, &#38; G. Dreo Rodosek (Eds.), <i>7. DFN Forum Kommunikationstechnologien – Beiträge der Fachtagung 16./17.6.2014 Fulda</i> (Vol. 231, pp. 33–43). Bonn: Gesellschaft für Informatik.","ieee":"M. Boehner, G. Oevel, and S. Porombka, “Energieeffizienz im WLAN,” in <i>7. DFN Forum Kommunikationstechnologien – Beiträge der Fachtagung 16./17.6.2014 Fulda</i>, Fulda, 2014, vol. 231, pp. 33–43.","ama":"Boehner M, Oevel G, Porombka S. Energieeffizienz im WLAN. In: Müller P, Neumair B, Reiser H, Dreo Rodosek G, eds. <i>7. DFN Forum Kommunikationstechnologien – Beiträge der Fachtagung 16./17.6.2014 Fulda</i>. Vol 231. Lecture Notes in Informatics (LNI). Bonn: Gesellschaft für Informatik; 2014:33-43.","bibtex":"@inproceedings{Boehner_Oevel_Porombka_2014, place={Bonn}, series={Lecture Notes in Informatics (LNI)}, title={Energieeffizienz im WLAN}, volume={231}, booktitle={7. DFN Forum Kommunikationstechnologien – Beiträge der Fachtagung 16./17.6.2014 Fulda}, publisher={Gesellschaft für Informatik}, author={Boehner, M. and Oevel, Gudrun and Porombka, Sebastian}, editor={Müller, P. and Neumair, B. and Reiser, H. and Dreo Rodosek, G.Editors}, year={2014}, pages={33–43}, collection={Lecture Notes in Informatics (LNI)} }","mla":"Boehner, M., et al. “Energieeffizienz im WLAN.” <i>7. DFN Forum Kommunikationstechnologien – Beiträge der Fachtagung 16./17.6.2014 Fulda</i>, edited by P. Müller et al., vol. 231, Gesellschaft für Informatik, 2014, pp. 33–43."},"editor":[{"last_name":"Müller","first_name":"P.","full_name":"Müller, P."},{"full_name":"Neumair, B.","last_name":"Neumair","first_name":"B."},{"full_name":"Reiser, H.","first_name":"H.","last_name":"Reiser"},{"full_name":"Dreo Rodosek, G.","first_name":"G.","last_name":"Dreo Rodosek"}],"volume":231,"user_id":"14932","_id":"17319","publisher":"Gesellschaft für Informatik","page":"33-43","conference":{"end_date":"17.06.2014","name":"7. DFN Forum Kommunikationstechnologien","start_date":"16.06.2014","location":"Fulda"},"status":"public","department":[{"_id":"25"}],"type":"conference","date_created":"2020-06-25T10:21:43Z","publication":"7. DFN Forum Kommunikationstechnologien – Beiträge der Fachtagung 16./17.6.2014 Fulda","series_title":"Lecture Notes in Informatics (LNI)","language":[{"iso":"ger"}],"intvolume":"       231","date_updated":"2022-01-06T06:53:07Z","author":[{"full_name":"Boehner, M.","first_name":"M.","last_name":"Boehner"},{"id":"14924","last_name":"Oevel","first_name":"Gudrun","orcid":"https://orcid.org/0000-0002-6396-9535","full_name":"Oevel, Gudrun"},{"first_name":"Sebastian","last_name":"Porombka","full_name":"Porombka, Sebastian"}],"title":"Energieeffizienz im WLAN","year":"2014"},{"abstract":[{"lang":"eng","text":"In light of an increasing awareness of environmental challenges, extensive research is underway to develop new light-weight materials. A problem arising with these materials is their increased response to vibration. This can be solved using a new composite material that contains embedded hollow spheres that are partially filled with particles. Progress on the adaptation of molecular dynamics towards a particle-based numerical simulation of this material is reported. This includes the treatment of specific boundary conditions and the adaption of the force computation. First results are presented that showcase the damping properties of such particle-filled spheres in a bouncing experiment."}],"citation":{"apa":"Steinle, T., Vrabec, J., &#38; Walther, A. (2014). Numerical Simulation of the Damping Behavior of Particle-Filled Hollow Spheres. In H. G. Bock, X. P. Hoang, R. Rannacher, &#38; J. P. Schlöder (Eds.), <i>Proc. Modeling, Simulation and Optimization of Complex Processes (HPSC)</i> (pp. 233–243). Springer International Publishing. <a href=\"https://doi.org/10.1007/978-3-319-09063-4_19\">https://doi.org/10.1007/978-3-319-09063-4_19</a>","ieee":"T. Steinle, J. Vrabec, and A. Walther, “Numerical Simulation of the Damping Behavior of Particle-Filled Hollow Spheres,” in <i>Proc. Modeling, Simulation and Optimization of Complex Processes (HPSC)</i>, 2014, pp. 233–243.","chicago":"Steinle, Tobias, Jadran Vrabec, and Andrea Walther. “Numerical Simulation of the Damping Behavior of Particle-Filled Hollow Spheres.” In <i>Proc. Modeling, Simulation and Optimization of Complex Processes (HPSC)</i>, edited by Hans Georg Bock, Xuan Phu Hoang, Rolf Rannacher, and Johannes P. Schlöder, 233–43. Springer International Publishing, 2014. <a href=\"https://doi.org/10.1007/978-3-319-09063-4_19\">https://doi.org/10.1007/978-3-319-09063-4_19</a>.","short":"T. Steinle, J. Vrabec, A. Walther, in: H.G. Bock, X.P. Hoang, R. Rannacher, J.P. Schlöder (Eds.), Proc. Modeling, Simulation and Optimization of Complex Processes (HPSC), Springer International Publishing, 2014, pp. 233–243.","mla":"Steinle, Tobias, et al. “Numerical Simulation of the Damping Behavior of Particle-Filled Hollow Spheres.” <i>Proc. Modeling, Simulation and Optimization of Complex Processes (HPSC)</i>, edited by Hans Georg Bock et al., Springer International Publishing, 2014, pp. 233–43, doi:<a href=\"https://doi.org/10.1007/978-3-319-09063-4_19\">10.1007/978-3-319-09063-4_19</a>.","ama":"Steinle T, Vrabec J, Walther A. Numerical Simulation of the Damping Behavior of Particle-Filled Hollow Spheres. In: Bock HG, Hoang XP, Rannacher R, Schlöder JP, eds. <i>Proc. Modeling, Simulation and Optimization of Complex Processes (HPSC)</i>. Springer International Publishing; 2014:233-243. doi:<a href=\"https://doi.org/10.1007/978-3-319-09063-4_19\">10.1007/978-3-319-09063-4_19</a>","bibtex":"@inproceedings{Steinle_Vrabec_Walther_2014, title={Numerical Simulation of the Damping Behavior of Particle-Filled Hollow Spheres}, DOI={<a href=\"https://doi.org/10.1007/978-3-319-09063-4_19\">10.1007/978-3-319-09063-4_19</a>}, booktitle={Proc. Modeling, Simulation and Optimization of Complex Processes (HPSC)}, publisher={Springer International Publishing}, author={Steinle, Tobias and Vrabec, Jadran and Walther, Andrea}, editor={Bock, Hans Georg and Hoang, Xuan Phu and Rannacher, Rolf and Schlöder, Johannes P.Editors}, year={2014}, pages={233–243} }"},"publication":"Proc. Modeling, Simulation and Optimization of Complex Processes (HPSC)","department":[{"_id":"27"},{"_id":"104"},{"_id":"155"}],"type":"conference","date_created":"2018-03-26T13:47:16Z","date_updated":"2022-01-06T06:53:20Z","author":[{"first_name":"Tobias","last_name":"Steinle","full_name":"Steinle, Tobias"},{"first_name":"Jadran","last_name":"Vrabec","full_name":"Vrabec, Jadran"},{"last_name":"Walther","first_name":"Andrea","full_name":"Walther, Andrea"}],"publication_identifier":{"isbn":["978-3-319-09063-4"]},"status":"public","title":"Numerical Simulation of the Damping Behavior of Particle-Filled Hollow Spheres","year":"2014","editor":[{"last_name":"Bock","first_name":"Hans Georg","full_name":"Bock, Hans Georg"},{"first_name":"Xuan Phu","last_name":"Hoang","full_name":"Hoang, Xuan Phu"},{"last_name":"Rannacher","first_name":"Rolf","full_name":"Rannacher, Rolf"},{"first_name":"Johannes P.","last_name":"Schlöder","full_name":"Schlöder, Johannes P."}],"doi":"10.1007/978-3-319-09063-4_19","user_id":"24135","publisher":"Springer International Publishing","_id":"1781","page":"233-243"},{"department":[{"_id":"27"},{"_id":"78"}],"type":"conference","date_created":"2018-03-26T13:50:37Z","place":"Switzerland","citation":{"short":"T. Graf, L. Schaefers, M. Platzner, in: Proc. Conf. on Computers and Games (CG), Springer, Switzerland, 2014, pp. 14–25.","chicago":"Graf, Tobias, Lars Schaefers, and Marco Platzner. “On Semeai Detection in Monte-Carlo Go.” In <i>Proc. Conf. on Computers and Games (CG)</i>, 14–25. Lecture Notes in Computer Science. Switzerland: Springer, 2014. <a href=\"https://doi.org/10.1007/978-3-319-09165-5_2\">https://doi.org/10.1007/978-3-319-09165-5_2</a>.","ieee":"T. Graf, L. Schaefers, and M. Platzner, “On Semeai Detection in Monte-Carlo Go,” in <i>Proc. Conf. on Computers and Games (CG)</i>, 2014, no. 8427, pp. 14–25.","apa":"Graf, T., Schaefers, L., &#38; Platzner, M. (2014). On Semeai Detection in Monte-Carlo Go. In <i>Proc. Conf. on Computers and Games (CG)</i> (pp. 14–25). Switzerland: Springer. <a href=\"https://doi.org/10.1007/978-3-319-09165-5_2\">https://doi.org/10.1007/978-3-319-09165-5_2</a>","bibtex":"@inproceedings{Graf_Schaefers_Platzner_2014, place={Switzerland}, series={Lecture Notes in Computer Science}, title={On Semeai Detection in Monte-Carlo Go}, DOI={<a href=\"https://doi.org/10.1007/978-3-319-09165-5_2\">10.1007/978-3-319-09165-5_2</a>}, number={8427}, booktitle={Proc. Conf. on Computers and Games (CG)}, publisher={Springer}, author={Graf, Tobias and Schaefers, Lars and Platzner, Marco}, year={2014}, pages={14–25}, collection={Lecture Notes in Computer Science} }","ama":"Graf T, Schaefers L, Platzner M. On Semeai Detection in Monte-Carlo Go. In: <i>Proc. Conf. on Computers and Games (CG)</i>. Lecture Notes in Computer Science. Switzerland: Springer; 2014:14-25. doi:<a href=\"https://doi.org/10.1007/978-3-319-09165-5_2\">10.1007/978-3-319-09165-5_2</a>","mla":"Graf, Tobias, et al. “On Semeai Detection in Monte-Carlo Go.” <i>Proc. Conf. on Computers and Games (CG)</i>, no. 8427, Springer, 2014, pp. 14–25, doi:<a href=\"https://doi.org/10.1007/978-3-319-09165-5_2\">10.1007/978-3-319-09165-5_2</a>."},"publication":"Proc. Conf. on Computers and Games (CG)","issue":"8427","user_id":"24135","doi":"10.1007/978-3-319-09165-5_2","publisher":"Springer","_id":"1782","series_title":"Lecture Notes in Computer Science","page":"14-25","date_updated":"2022-01-06T06:53:20Z","author":[{"last_name":"Graf","first_name":"Tobias","full_name":"Graf, Tobias"},{"full_name":"Schaefers, Lars","first_name":"Lars","last_name":"Schaefers"},{"id":"398","full_name":"Platzner, Marco","last_name":"Platzner","first_name":"Marco"}],"title":"On Semeai Detection in Monte-Carlo Go","year":"2014","status":"public"},{"date_updated":"2022-01-06T06:54:41Z","status":"public","year":"2014","title":"Smarte Entwicklung fuer smarte Systeme: Softwareentwicklung im Kontext des Gesamtsystems","author":[{"full_name":"Priesterjahn, Claudia","last_name":"Priesterjahn","first_name":"Claudia"},{"full_name":"Holtmann, Jörg","first_name":"Jörg","orcid":"0000-0001-6141-4571","last_name":"Holtmann","id":"3875"},{"id":"683","full_name":"Meyer, Matthias","last_name":"Meyer","first_name":"Matthias"}],"user_id":"15249","page":"619-627","_id":"20903","language":[{"iso":"eng"}],"publication":"Tagungsband Embedded Software Engineering Kongress 2014","citation":{"ieee":"C. Priesterjahn, J. Holtmann, and M. Meyer, “Smarte Entwicklung fuer smarte Systeme: Softwareentwicklung im Kontext des Gesamtsystems,” in <i>Tagungsband Embedded Software Engineering Kongress 2014</i>, 2014, pp. 619–627.","apa":"Priesterjahn, C., Holtmann, J., &#38; Meyer, M. (2014). Smarte Entwicklung fuer smarte Systeme: Softwareentwicklung im Kontext des Gesamtsystems. In <i>Tagungsband Embedded Software Engineering Kongress 2014</i> (pp. 619–627).","short":"C. Priesterjahn, J. Holtmann, M. Meyer, in: Tagungsband Embedded Software Engineering Kongress 2014, 2014, pp. 619–627.","chicago":"Priesterjahn, Claudia, Jörg Holtmann, and Matthias Meyer. “Smarte Entwicklung Fuer Smarte Systeme: Softwareentwicklung Im Kontext Des Gesamtsystems.” In <i>Tagungsband Embedded Software Engineering Kongress 2014</i>, 619–27, 2014.","mla":"Priesterjahn, Claudia, et al. “Smarte Entwicklung Fuer Smarte Systeme: Softwareentwicklung Im Kontext Des Gesamtsystems.” <i>Tagungsband Embedded Software Engineering Kongress 2014</i>, 2014, pp. 619–27.","bibtex":"@inproceedings{Priesterjahn_Holtmann_Meyer_2014, title={Smarte Entwicklung fuer smarte Systeme: Softwareentwicklung im Kontext des Gesamtsystems}, booktitle={Tagungsband Embedded Software Engineering Kongress 2014}, author={Priesterjahn, Claudia and Holtmann, Jörg and Meyer, Matthias}, year={2014}, pages={619–627} }","ama":"Priesterjahn C, Holtmann J, Meyer M. Smarte Entwicklung fuer smarte Systeme: Softwareentwicklung im Kontext des Gesamtsystems. In: <i>Tagungsband Embedded Software Engineering Kongress 2014</i>. ; 2014:619-627."},"type":"conference","department":[{"_id":"241"}],"date_created":"2021-01-12T14:01:32Z"},{"citation":{"short":"C. Diedrich, M. Meyer, L. Evertz, W. Schäfer, Atp Edition - Automatisierungstechnische Praxis (2014) 24–35.","chicago":"Diedrich, Christian, Matthias Meyer, Lars Evertz, and Wilhelm Schäfer. “Dienste in Der Automatisierungstechnik.” <i>Atp Edition - Automatisierungstechnische Praxis</i>, 2014, 24–35.","apa":"Diedrich, C., Meyer, M., Evertz, L., &#38; Schäfer, W. (2014). Dienste in der Automatisierungstechnik. <i>Atp Edition - Automatisierungstechnische Praxis</i>, 24–35.","ieee":"C. Diedrich, M. Meyer, L. Evertz, and W. Schäfer, “Dienste in der Automatisierungstechnik,” <i>atp edition - Automatisierungstechnische Praxis</i>, pp. 24–35, 2014.","ama":"Diedrich C, Meyer M, Evertz L, Schäfer W. Dienste in der Automatisierungstechnik. <i>atp edition - Automatisierungstechnische Praxis</i>. 2014:24-35.","bibtex":"@article{Diedrich_Meyer_Evertz_Schäfer_2014, title={Dienste in der Automatisierungstechnik}, journal={atp edition - Automatisierungstechnische Praxis}, author={Diedrich, Christian and Meyer, Matthias and Evertz, Lars and Schäfer, Wilhelm}, year={2014}, pages={24–35} }","mla":"Diedrich, Christian, et al. “Dienste in Der Automatisierungstechnik.” <i>Atp Edition - Automatisierungstechnische Praxis</i>, 2014, pp. 24–35."},"publication":"atp edition - Automatisierungstechnische Praxis","department":[{"_id":"241"}],"type":"journal_article","date_created":"2021-01-12T14:02:59Z","date_updated":"2022-01-06T06:54:41Z","author":[{"full_name":"Diedrich, Christian","first_name":"Christian","last_name":"Diedrich"},{"full_name":"Meyer, Matthias","last_name":"Meyer","first_name":"Matthias","id":"683"},{"full_name":"Evertz, Lars","first_name":"Lars","last_name":"Evertz"},{"full_name":"Schäfer, Wilhelm","last_name":"Schäfer","first_name":"Wilhelm"}],"year":"2014","title":"Dienste in der Automatisierungstechnik","status":"public","user_id":"15249","language":[{"iso":"eng"}],"_id":"20904","page":"24-35"},{"user_id":"5786","publisher":"IEEE Xplore","_id":"20905","language":[{"iso":"eng"}],"date_updated":"2022-01-06T06:54:41Z","author":[{"last_name":"Pohlmann","first_name":"Uwe","full_name":"Pohlmann, Uwe"},{"first_name":"Jörg","last_name":"Holtmann","orcid":"0000-0001-6141-4571","full_name":"Holtmann, Jörg","id":"3875"},{"full_name":"Meyer, Matthias","first_name":"Matthias","last_name":"Meyer","id":"683"},{"first_name":"Christopher","last_name":"Gerking","full_name":"Gerking, Christopher"}],"year":"2014","status":"public","title":"Generating Modelica Models from Software Specifications for the Simulation of Cyber-physical Systems","department":[{"_id":"76"},{"_id":"241"}],"type":"conference","date_created":"2021-01-12T14:03:55Z","citation":{"ieee":"U. Pohlmann, J. Holtmann, M. Meyer, and C. Gerking, “Generating Modelica Models from Software Specifications for the Simulation of Cyber-physical Systems,” 2014.","apa":"Pohlmann, U., Holtmann, J., Meyer, M., &#38; Gerking, C. (2014). Generating Modelica Models from Software Specifications for the Simulation of Cyber-physical Systems. <i>Proceedings of the 40th Euromicro Conference on Software Engineering and Advanced Applications (SEAA)</i>.","short":"U. Pohlmann, J. Holtmann, M. Meyer, C. Gerking, in: Proceedings of the 40th Euromicro Conference on Software Engineering and Advanced Applications (SEAA), IEEE Xplore, 2014.","chicago":"Pohlmann, Uwe, Jörg Holtmann, Matthias Meyer, and Christopher Gerking. “Generating Modelica Models from Software Specifications for the Simulation of Cyber-Physical Systems.” In <i>Proceedings of the 40th Euromicro Conference on Software Engineering and Advanced Applications (SEAA)</i>. IEEE Xplore, 2014.","mla":"Pohlmann, Uwe, et al. “Generating Modelica Models from Software Specifications for the Simulation of Cyber-Physical Systems.” <i>Proceedings of the 40th Euromicro Conference on Software Engineering and Advanced Applications (SEAA)</i>, IEEE Xplore, 2014.","bibtex":"@inproceedings{Pohlmann_Holtmann_Meyer_Gerking_2014, title={Generating Modelica Models from Software Specifications for the Simulation of Cyber-physical Systems}, booktitle={Proceedings of the 40th Euromicro Conference on Software Engineering and Advanced Applications (SEAA)}, publisher={IEEE Xplore}, author={Pohlmann, Uwe and Holtmann, Jörg and Meyer, Matthias and Gerking, Christopher}, year={2014} }","ama":"Pohlmann U, Holtmann J, Meyer M, Gerking C. Generating Modelica Models from Software Specifications for the Simulation of Cyber-physical Systems. In: <i>Proceedings of the 40th Euromicro Conference on Software Engineering and Advanced Applications (SEAA)</i>. IEEE Xplore; 2014."},"publication":"Proceedings of the 40th Euromicro Conference on Software Engineering and Advanced Applications (SEAA)"},{"date_created":"2021-01-12T14:05:27Z","type":"journal_article","department":[{"_id":"241"},{"_id":"662"}],"publication":"OBJEKTspektrum","issue":"RE/2014","citation":{"ieee":"M. Fockel, J. Holtmann, and M. Meyer, “Mit Satzmustern hochwertige Anforderungsdokumente effizient erstellen,” <i>OBJEKTspektrum</i>, no. RE/2014, 2014.","apa":"Fockel, M., Holtmann, J., &#38; Meyer, M. (2014). Mit Satzmustern hochwertige Anforderungsdokumente effizient erstellen. <i>OBJEKTspektrum</i>, (RE/2014).","short":"M. Fockel, J. Holtmann, M. Meyer, OBJEKTspektrum (2014).","chicago":"Fockel, Markus, Jörg Holtmann, and Matthias Meyer. “Mit Satzmustern Hochwertige Anforderungsdokumente Effizient Erstellen.” <i>OBJEKTspektrum</i>, no. RE/2014 (2014).","mla":"Fockel, Markus, et al. “Mit Satzmustern Hochwertige Anforderungsdokumente Effizient Erstellen.” <i>OBJEKTspektrum</i>, no. RE/2014, 2014.","bibtex":"@article{Fockel_Holtmann_Meyer_2014, title={Mit Satzmustern hochwertige Anforderungsdokumente effizient erstellen}, number={RE/2014}, journal={OBJEKTspektrum}, author={Fockel, Markus and Holtmann, Jörg and Meyer, Matthias}, year={2014} }","ama":"Fockel M, Holtmann J, Meyer M. Mit Satzmustern hochwertige Anforderungsdokumente effizient erstellen. <i>OBJEKTspektrum</i>. 2014;(RE/2014)."},"abstract":[{"text":"Von heutigen technischen Systemen wird immer mehr Funktionalität gefordert. Dies manifestiert sich in einer steigenden Anzahl von Anforderungen, die üblicherweise in freier natürlicher Sprache festgehalten werden. Das führt oft zu mehrdeutigen, widersprüchlichen oder unvollständigen Anforderungen. In diesem Beitrag wird eine Methode zur Spezifikation von Anforderungen auf Basis von Satzmustern inklusive ihrer Werkzeugunterstützung „ReqPat“ vorgestellt: Anforderungen werden weiterhin textuell aber in einer eingeschränkten natürlichen Sprache verfasst. Dadurch wird ein einheitliches Anforderungsverständnis erreicht und es werden Qualitätsanalysen sowie der Übergang zu Modellen automatisiert.","lang":"ger"}],"language":[{"iso":"eng"}],"_id":"20906","user_id":"8472","title":"Mit Satzmustern hochwertige Anforderungsdokumente effizient erstellen","year":"2014","status":"public","author":[{"id":"8472","orcid":"0000-0002-1269-0702","first_name":"Markus","last_name":"Fockel","full_name":"Fockel, Markus"},{"last_name":"Holtmann","first_name":"Jörg","orcid":"0000-0001-6141-4571","full_name":"Holtmann, Jörg","id":"3875"},{"first_name":"Matthias","last_name":"Meyer","full_name":"Meyer, Matthias","id":"683"}],"date_updated":"2022-01-06T06:54:41Z"},{"publication":"Proceedings of the 36th International Conference on Software Engineering (Posters)","citation":{"apa":"Becker, S., Dziwok, S., Gerking, C., Heinzemann, C., Schäfer, W., Meyer, M., &#38; Pohlmann, U. (2014). The MechatronicUML Method: Model-Driven Software Engineering of Self-Adaptive Mechatronic Systems. <i>Proceedings of the 36th International Conference on Software Engineering (Posters)</i>.","ieee":"S. Becker <i>et al.</i>, “The MechatronicUML Method: Model-Driven Software Engineering of Self-Adaptive Mechatronic Systems,” 2014.","chicago":"Becker, Steffen, Stefan Dziwok, Christopher Gerking, Christian Heinzemann, Wilhelm Schäfer, Matthias Meyer, and Uwe Pohlmann. “The MechatronicUML Method: Model-Driven Software Engineering of Self-Adaptive Mechatronic Systems.” In <i>Proceedings of the 36th International Conference on Software Engineering (Posters)</i>. ACM, New York, NY, USA, 2014.","short":"S. Becker, S. Dziwok, C. Gerking, C. Heinzemann, W. Schäfer, M. Meyer, U. Pohlmann, in: Proceedings of the 36th International Conference on Software Engineering (Posters), ACM, New York, NY, USA, 2014.","mla":"Becker, Steffen, et al. “The MechatronicUML Method: Model-Driven Software Engineering of Self-Adaptive Mechatronic Systems.” <i>Proceedings of the 36th International Conference on Software Engineering (Posters)</i>, ACM, New York, NY, USA, 2014.","ama":"Becker S, Dziwok S, Gerking C, et al. The MechatronicUML Method: Model-Driven Software Engineering of Self-Adaptive Mechatronic Systems. In: <i>Proceedings of the 36th International Conference on Software Engineering (Posters)</i>. ACM, New York, NY, USA; 2014.","bibtex":"@inproceedings{Becker_Dziwok_Gerking_Heinzemann_Schäfer_Meyer_Pohlmann_2014, title={The MechatronicUML Method: Model-Driven Software Engineering of Self-Adaptive Mechatronic Systems}, booktitle={Proceedings of the 36th International Conference on Software Engineering (Posters)}, publisher={ACM, New York, NY, USA}, author={Becker, Steffen and Dziwok, Stefan and Gerking, Christopher and Heinzemann, Christian and Schäfer, Wilhelm and Meyer, Matthias and Pohlmann, Uwe}, year={2014} }"},"date_created":"2021-01-12T14:06:40Z","type":"conference","department":[{"_id":"76"},{"_id":"241"}],"status":"public","year":"2014","title":"The MechatronicUML Method: Model-Driven Software Engineering of Self-Adaptive Mechatronic Systems","author":[{"first_name":"Steffen","last_name":"Becker","full_name":"Becker, Steffen"},{"id":"3901","full_name":"Dziwok, Stefan","orcid":"http://orcid.org/0000-0002-8679-6673","last_name":"Dziwok","first_name":"Stefan"},{"full_name":"Gerking, Christopher","first_name":"Christopher","last_name":"Gerking"},{"full_name":"Heinzemann, Christian","first_name":"Christian","last_name":"Heinzemann"},{"first_name":"Wilhelm","last_name":"Schäfer","full_name":"Schäfer, Wilhelm"},{"id":"683","full_name":"Meyer, Matthias","last_name":"Meyer","first_name":"Matthias"},{"full_name":"Pohlmann, Uwe","last_name":"Pohlmann","first_name":"Uwe"}],"date_updated":"2022-01-06T06:54:41Z","_id":"20907","language":[{"iso":"eng"}],"publisher":"ACM, New York, NY, USA","user_id":"5786"},{"type":"conference","department":[{"_id":"76"},{"_id":"241"}],"date_created":"2021-01-12T14:07:40Z","publication":"Proceedings of the 7th International ICST Conference on Simulation Tools and Techniques","citation":{"chicago":"Pohlmann, Uwe, Stefan Dziwok, Matthias Meyer, Matthias Tichy, and Sebastian Thiele. “A Modelica Coordination Pattern Library for Cyber-Physical Systems.” In <i>Proceedings of the 7th International ICST Conference on Simulation Tools and Techniques</i>, 2014.","ama":"Pohlmann U, Dziwok S, Meyer M, Tichy M, Thiele S. A Modelica Coordination Pattern Library for Cyber-Physical Systems. In: <i>Proceedings of the 7th International ICST Conference on Simulation Tools and Techniques</i>. ; 2014.","short":"U. Pohlmann, S. Dziwok, M. Meyer, M. Tichy, S. Thiele, in: Proceedings of the 7th International ICST Conference on Simulation Tools and Techniques, 2014.","bibtex":"@inproceedings{Pohlmann_Dziwok_Meyer_Tichy_Thiele_2014, title={A Modelica Coordination Pattern Library for Cyber-Physical Systems}, booktitle={Proceedings of the 7th International ICST Conference on Simulation Tools and Techniques}, author={Pohlmann, Uwe and Dziwok, Stefan and Meyer, Matthias and Tichy, Matthias and Thiele, Sebastian}, year={2014} }","apa":"Pohlmann, U., Dziwok, S., Meyer, M., Tichy, M., &#38; Thiele, S. (2014). A Modelica Coordination Pattern Library for Cyber-Physical Systems. <i>Proceedings of the 7th International ICST Conference on Simulation Tools and Techniques</i>.","mla":"Pohlmann, Uwe, et al. “A Modelica Coordination Pattern Library for Cyber-Physical Systems.” <i>Proceedings of the 7th International ICST Conference on Simulation Tools and Techniques</i>, 2014.","ieee":"U. Pohlmann, S. Dziwok, M. Meyer, M. Tichy, and S. Thiele, “A Modelica Coordination Pattern Library for Cyber-Physical Systems,” 2014."},"user_id":"5786","main_file_link":[{"url":"http://dl.acm.org/citation.cfm?id=2643106&CFID=389201271&CFTOKEN=71445276"}],"language":[{"iso":"eng"}],"_id":"20908","date_updated":"2022-01-06T06:54:41Z","year":"2014","title":"A Modelica Coordination Pattern Library for Cyber-Physical Systems","status":"public","author":[{"full_name":"Pohlmann, Uwe","first_name":"Uwe","last_name":"Pohlmann"},{"full_name":"Dziwok, Stefan","last_name":"Dziwok","orcid":"http://orcid.org/0000-0002-8679-6673","first_name":"Stefan","id":"3901"},{"id":"683","full_name":"Meyer, Matthias","first_name":"Matthias","last_name":"Meyer"},{"first_name":"Matthias","last_name":"Tichy","full_name":"Tichy, Matthias"},{"first_name":"Sebastian","last_name":"Thiele","full_name":"Thiele, Sebastian"}]},{"user_id":"5786","_id":"20909","language":[{"iso":"eng"}],"date_updated":"2022-01-06T06:54:41Z","author":[{"first_name":"Steffen","last_name":"Becker","full_name":"Becker, Steffen"},{"full_name":"Dziwok, Stefan","orcid":"http://orcid.org/0000-0002-8679-6673","first_name":"Stefan","last_name":"Dziwok","id":"3901"},{"first_name":"Christopher","last_name":"Gerking","full_name":"Gerking, Christopher"},{"full_name":"Schäfer, Wilhelm","first_name":"Wilhelm","last_name":"Schäfer"},{"full_name":"Heinzemann, Christian","last_name":"Heinzemann","first_name":"Christian"},{"first_name":"Sebastian","last_name":"Thiele","full_name":"Thiele, Sebastian"},{"id":"683","first_name":"Matthias","last_name":"Meyer","full_name":"Meyer, Matthias"},{"full_name":"Priesterjahn, Claudia","last_name":"Priesterjahn","first_name":"Claudia"},{"full_name":"Pohlmann, Uwe","first_name":"Uwe","last_name":"Pohlmann"},{"full_name":"Tichy, Matthias","last_name":"Tichy","first_name":"Matthias"}],"year":"2014","title":"The MechatronicUML Design Method - Process and Language for Platform-Independent Modeling","status":"public","department":[{"_id":"76"},{"_id":"241"}],"type":"report","date_created":"2021-01-12T14:08:53Z","citation":{"short":"S. Becker, S. Dziwok, C. Gerking, W. Schäfer, C. Heinzemann, S. Thiele, M. Meyer, C. Priesterjahn, U. Pohlmann, M. Tichy, The MechatronicUML Design Method - Process and Language for Platform-Independent Modeling, 2014.","chicago":"Becker, Steffen, Stefan Dziwok, Christopher Gerking, Wilhelm Schäfer, Christian Heinzemann, Sebastian Thiele, Matthias Meyer, Claudia Priesterjahn, Uwe Pohlmann, and Matthias Tichy. <i>The MechatronicUML Design Method - Process and Language for Platform-Independent Modeling</i>, 2014.","apa":"Becker, S., Dziwok, S., Gerking, C., Schäfer, W., Heinzemann, C., Thiele, S., Meyer, M., Priesterjahn, C., Pohlmann, U., &#38; Tichy, M. (2014). <i>The MechatronicUML Design Method - Process and Language for Platform-Independent Modeling</i>.","ieee":"S. Becker <i>et al.</i>, <i>The MechatronicUML Design Method - Process and Language for Platform-Independent Modeling</i>. 2014.","ama":"Becker S, Dziwok S, Gerking C, et al. <i>The MechatronicUML Design Method - Process and Language for Platform-Independent Modeling</i>.; 2014.","bibtex":"@book{Becker_Dziwok_Gerking_Schäfer_Heinzemann_Thiele_Meyer_Priesterjahn_Pohlmann_Tichy_2014, title={The MechatronicUML Design Method - Process and Language for Platform-Independent Modeling}, author={Becker, Steffen and Dziwok, Stefan and Gerking, Christopher and Schäfer, Wilhelm and Heinzemann, Christian and Thiele, Sebastian and Meyer, Matthias and Priesterjahn, Claudia and Pohlmann, Uwe and Tichy, Matthias}, year={2014} }","mla":"Becker, Steffen, et al. <i>The MechatronicUML Design Method - Process and Language for Platform-Independent Modeling</i>. 2014."}},{"author":[{"full_name":"Pohlmann, Uwe","first_name":"Uwe","last_name":"Pohlmann"},{"id":"683","first_name":"Matthias","last_name":"Meyer","full_name":"Meyer, Matthias"},{"full_name":"Dann, Andreas Peter","first_name":"Andreas Peter","last_name":"Dann"},{"first_name":"Christopher","last_name":"Brink","full_name":"Brink, Christopher"}],"title":"Viewpoints and Views in Hardware Platform Modeling for Safe Deployment","status":"public","year":"2014","date_updated":"2022-01-06T06:54:41Z","_id":"20910","language":[{"iso":"eng"}],"publisher":"ACM, New York, NY, USA","page":"23:23-23:30","user_id":"5786","citation":{"ieee":"U. Pohlmann, M. Meyer, A. P. Dann, and C. Brink, “Viewpoints and Views in Hardware Platform Modeling for Safe Deployment,” in <i>Proceedings of the 2Nd Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling</i>, 2014, p. 23:23-23:30.","apa":"Pohlmann, U., Meyer, M., Dann, A. P., &#38; Brink, C. (2014). Viewpoints and Views in Hardware Platform Modeling for Safe Deployment. <i>Proceedings of the 2Nd Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling</i>, 23:23-23:30.","mla":"Pohlmann, Uwe, et al. “Viewpoints and Views in Hardware Platform Modeling for Safe Deployment.” <i>Proceedings of the 2Nd Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling</i>, ACM, New York, NY, USA, 2014, p. 23:23-23:30.","bibtex":"@inproceedings{Pohlmann_Meyer_Dann_Brink_2014, title={Viewpoints and Views in Hardware Platform Modeling for Safe Deployment}, booktitle={Proceedings of the 2Nd Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling}, publisher={ACM, New York, NY, USA}, author={Pohlmann, Uwe and Meyer, Matthias and Dann, Andreas Peter and Brink, Christopher}, year={2014}, pages={23:23-23:30} }","chicago":"Pohlmann, Uwe, Matthias Meyer, Andreas Peter Dann, and Christopher Brink. “Viewpoints and Views in Hardware Platform Modeling for Safe Deployment.” In <i>Proceedings of the 2Nd Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling</i>, 23:23-23:30. ACM, New York, NY, USA, 2014.","ama":"Pohlmann U, Meyer M, Dann AP, Brink C. Viewpoints and Views in Hardware Platform Modeling for Safe Deployment. In: <i>Proceedings of the 2Nd Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling</i>. ACM, New York, NY, USA; 2014:23:23-23:30.","short":"U. Pohlmann, M. Meyer, A.P. Dann, C. Brink, in: Proceedings of the 2Nd Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling, ACM, New York, NY, USA, 2014, p. 23:23-23:30."},"publication":"Proceedings of the 2Nd Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling","date_created":"2021-01-12T14:09:51Z","department":[{"_id":"76"},{"_id":"241"}],"type":"conference"},{"date_updated":"2022-01-06T06:54:41Z","publication_status":"published","author":[{"last_name":"Kaiser","first_name":"Lydia","full_name":"Kaiser, Lydia"},{"full_name":"Dumitrescu, Roman","first_name":"Roman","last_name":"Dumitrescu"},{"first_name":"Jörg","orcid":"0000-0001-6141-4571","last_name":"Holtmann","full_name":"Holtmann, Jörg","id":"3875"},{"full_name":"Meyer, Matthias","last_name":"Meyer","first_name":"Matthias","id":"683"}],"publication_identifier":{"isbn":["9780791855867"]},"title":"Automatic Verification of Modeling Rules in Systems Engineering for Mechatronic Systems","status":"public","year":"2014","doi":"10.1115/detc2013-12330","user_id":"15249","_id":"20912","language":[{"iso":"eng"}],"abstract":[{"text":"<jats:p>Mechatronics is the close interaction of mechanics, electronics, control engineering and software engineering. The increasing complexity of mechatronic systems results in a challenging development process and particularly requires a consistent comprehension of the tasks between all the engineers involved. Especially during the early design phases, the communication and cooperation between the mechanical, electrical, control and software engineers is necessary to establish a basis for efficient and effective product development. The approach of Model-Based Systems Engineering focuses on this aspect by means of an abstract but superordinate system model. It enables a holistic view of the system. The system model can be specified using the Systems Modeling Language (SysML). The language allows many degrees of freedom to specify a fact, bearing in mind that different system architects can specify the same fact in different ways. This leads to system models that can be interpreted in many ways. Thus, these models are hard to consistently compare and interpret, resulting in communication issues. In order to tackle this problem, we present a concept that uses modeling rules supporting model comparability. We formalize them by means of checks implemented in the programming language Java and the Object Constraint Language (OCL) in order to automatically verify the system model’s compliance with these rules.</jats:p>","lang":"eng"}],"citation":{"apa":"Kaiser, L., Dumitrescu, R., Holtmann, J., &#38; Meyer, M. (2014). Automatic Verification of Modeling Rules in Systems Engineering for Mechatronic Systems. In <i>Volume 2B: 33rd Computers and Information in Engineering Conference</i>. <a href=\"https://doi.org/10.1115/detc2013-12330\">https://doi.org/10.1115/detc2013-12330</a>","ieee":"L. Kaiser, R. Dumitrescu, J. Holtmann, and M. Meyer, “Automatic Verification of Modeling Rules in Systems Engineering for Mechatronic Systems,” in <i>Volume 2B: 33rd Computers and Information in Engineering Conference</i>, 2014.","short":"L. Kaiser, R. Dumitrescu, J. Holtmann, M. Meyer, in: Volume 2B: 33rd Computers and Information in Engineering Conference, 2014.","chicago":"Kaiser, Lydia, Roman Dumitrescu, Jörg Holtmann, and Matthias Meyer. “Automatic Verification of Modeling Rules in Systems Engineering for Mechatronic Systems.” In <i>Volume 2B: 33rd Computers and Information in Engineering Conference</i>, 2014. <a href=\"https://doi.org/10.1115/detc2013-12330\">https://doi.org/10.1115/detc2013-12330</a>.","mla":"Kaiser, Lydia, et al. “Automatic Verification of Modeling Rules in Systems Engineering for Mechatronic Systems.” <i>Volume 2B: 33rd Computers and Information in Engineering Conference</i>, 2014, doi:<a href=\"https://doi.org/10.1115/detc2013-12330\">10.1115/detc2013-12330</a>.","ama":"Kaiser L, Dumitrescu R, Holtmann J, Meyer M. Automatic Verification of Modeling Rules in Systems Engineering for Mechatronic Systems. In: <i>Volume 2B: 33rd Computers and Information in Engineering Conference</i>. ; 2014. doi:<a href=\"https://doi.org/10.1115/detc2013-12330\">10.1115/detc2013-12330</a>","bibtex":"@inproceedings{Kaiser_Dumitrescu_Holtmann_Meyer_2014, title={Automatic Verification of Modeling Rules in Systems Engineering for Mechatronic Systems}, DOI={<a href=\"https://doi.org/10.1115/detc2013-12330\">10.1115/detc2013-12330</a>}, booktitle={Volume 2B: 33rd Computers and Information in Engineering Conference}, author={Kaiser, Lydia and Dumitrescu, Roman and Holtmann, Jörg and Meyer, Matthias}, year={2014} }"},"publication":"Volume 2B: 33rd Computers and Information in Engineering Conference","department":[{"_id":"241"}],"type":"conference","date_created":"2021-01-12T14:19:33Z"}]