[{"doi":"10.1109/VLHCC.2005.64","title":"Transformation of UML State Machines for Direct Execution","date_created":"2023-01-24T08:18:10Z","author":[{"last_name":"Schattkowsky","full_name":"Schattkowsky, Tim","first_name":"Tim"},{"full_name":"Müller, Wolfgang","id":"16243","last_name":"Müller","first_name":"Wolfgang"}],"date_updated":"2023-01-24T08:18:27Z","citation":{"apa":"Schattkowsky, T., &#38; Müller, W. (2005). Transformation of UML State Machines for Direct Execution. <i>Proceedings of VL/HCC 05</i>. <a href=\"https://doi.org/10.1109/VLHCC.2005.64\">https://doi.org/10.1109/VLHCC.2005.64</a>","short":"T. Schattkowsky, W. Müller, in: Proceedings of VL/HCC 05, Dallas, TX, USA, 2005.","bibtex":"@inproceedings{Schattkowsky_Müller_2005, place={Dallas, TX, USA}, title={Transformation of UML State Machines for Direct Execution}, DOI={<a href=\"https://doi.org/10.1109/VLHCC.2005.64\">10.1109/VLHCC.2005.64</a>}, booktitle={Proceedings of VL/HCC 05}, author={Schattkowsky, Tim and Müller, Wolfgang}, year={2005} }","mla":"Schattkowsky, Tim, and Wolfgang Müller. “Transformation of UML State Machines for Direct Execution.” <i>Proceedings of VL/HCC 05</i>, 2005, doi:<a href=\"https://doi.org/10.1109/VLHCC.2005.64\">10.1109/VLHCC.2005.64</a>.","ama":"Schattkowsky T, Müller W. Transformation of UML State Machines for Direct Execution. In: <i>Proceedings of VL/HCC 05</i>. ; 2005. doi:<a href=\"https://doi.org/10.1109/VLHCC.2005.64\">10.1109/VLHCC.2005.64</a>","chicago":"Schattkowsky, Tim, and Wolfgang Müller. “Transformation of UML State Machines for Direct Execution.” In <i>Proceedings of VL/HCC 05</i>. Dallas, TX, USA, 2005. <a href=\"https://doi.org/10.1109/VLHCC.2005.64\">https://doi.org/10.1109/VLHCC.2005.64</a>.","ieee":"T. Schattkowsky and W. Müller, “Transformation of UML State Machines for Direct Execution,” 2005, doi: <a href=\"https://doi.org/10.1109/VLHCC.2005.64\">10.1109/VLHCC.2005.64</a>."},"place":"Dallas, TX, USA","year":"2005","publication_identifier":{"isbn":["0-7695-2443-5"]},"language":[{"iso":"eng"}],"keyword":["Unified modeling language","Software design","Virtual machining","Embedded system","Programming","Documentation","Hardware","Computer languages","Operating systems","Runtime"],"user_id":"5786","department":[{"_id":"672"}],"_id":"39032","status":"public","abstract":[{"text":"Executable UML models are nowadays gaining interest in embedded systems design. This domain is strongly devoted to the modeling of reactive behavior using StateChart variants. In this context, the direct execution of UML state machines is an interesting alternative to native code generation approaches since it significantly increases portability. However, fully featured UML 2.0 State Machines may contain a broad set of features with complex execution semantics that differ significantly from other StateChart variants. This makes their direct execution complex and inefficient. In this paper, we demonstrate how such state machines can be represented using a small subset of the UML state machine features that enables efficient execution. We describe the necessary model transformations in terms of graph transformations and discuss the underlying semantics and implications for execution.","lang":"eng"}],"type":"conference","publication":"Proceedings of VL/HCC 05"},{"publication_identifier":{"isbn":["0-7695-2085-5"]},"place":"Paris","year":"2004","citation":{"ieee":"A. Krupp, W. Müller, and I. Oliver, “Formal Refinement and Model Checking of An Echo Cancellation Unit,” presented at the Proceedings Design, Automation and Test in Europe Conference and Exhibition, 2004, doi: <a href=\"https://doi.org/10.1109/DATE.2004.1269214\">10.1109/DATE.2004.1269214</a>.","chicago":"Krupp, Alexander, Wolfgang Müller, and Ian Oliver. “Formal Refinement and Model Checking of An Echo Cancellation Unit.” In <i>Proceedings of DATE’04 Designers’ Forum</i>. Paris, 2004. <a href=\"https://doi.org/10.1109/DATE.2004.1269214\">https://doi.org/10.1109/DATE.2004.1269214</a>.","ama":"Krupp A, Müller W, Oliver I. Formal Refinement and Model Checking of An Echo Cancellation Unit. In: <i>Proceedings of DATE’04 Designers’ Forum</i>. ; 2004. doi:<a href=\"https://doi.org/10.1109/DATE.2004.1269214\">10.1109/DATE.2004.1269214</a>","short":"A. Krupp, W. Müller, I. Oliver, in: Proceedings of DATE’04 Designers’ Forum, Paris, 2004.","mla":"Krupp, Alexander, et al. “Formal Refinement and Model Checking of An Echo Cancellation Unit.” <i>Proceedings of DATE’04 Designers’ Forum</i>, 2004, doi:<a href=\"https://doi.org/10.1109/DATE.2004.1269214\">10.1109/DATE.2004.1269214</a>.","bibtex":"@inproceedings{Krupp_Müller_Oliver_2004, place={Paris}, title={Formal Refinement and Model Checking of An Echo Cancellation Unit}, DOI={<a href=\"https://doi.org/10.1109/DATE.2004.1269214\">10.1109/DATE.2004.1269214</a>}, booktitle={Proceedings of DATE’04 Designers’ Forum}, author={Krupp, Alexander and Müller, Wolfgang and Oliver, Ian}, year={2004} }","apa":"Krupp, A., Müller, W., &#38; Oliver, I. (2004). Formal Refinement and Model Checking of An Echo Cancellation Unit. <i>Proceedings of DATE’04 Designers’ Forum</i>. Proceedings Design, Automation and Test in Europe Conference and Exhibition. <a href=\"https://doi.org/10.1109/DATE.2004.1269214\">https://doi.org/10.1109/DATE.2004.1269214</a>"},"date_updated":"2023-01-24T08:53:31Z","date_created":"2023-01-24T08:53:26Z","author":[{"last_name":"Krupp","full_name":"Krupp, Alexander","first_name":"Alexander"},{"first_name":"Wolfgang","last_name":"Müller","full_name":"Müller, Wolfgang","id":"16243"},{"last_name":"Oliver","full_name":"Oliver, Ian","first_name":"Ian"}],"title":"Formal Refinement and Model Checking of An Echo Cancellation Unit","conference":{"name":"Proceedings Design, Automation and Test in Europe Conference and Exhibition"},"doi":"10.1109/DATE.2004.1269214","publication":"Proceedings of DATE’04 Designers' Forum","type":"conference","abstract":[{"lang":"eng","text":"This article presents an approach, which combines theorem proving-based refinement with model checking for state based real-time systems. Our verification flow starts from UML state diagrams, which are translated to the formal B language and are model checked for real-time properties. By means of the B language and a B theorem prover, refined state diagrams are verified against their abstract representation. The approach is presented by means of the refinement of a digital echo cancellation unit."}],"status":"public","_id":"39061","department":[{"_id":"672"}],"user_id":"5786","keyword":["Echo cancellers","Logic","Unified modeling language","Automata","Data structures","Boolean functions","Electronic design automation and methodology","Prototypes","Specification languages","Constraint theory"],"language":[{"iso":"eng"}]},{"type":"conference","publication":"Proceedings of SEFM´04","status":"public","abstract":[{"lang":"eng","text":"We present the syntax and semantics of a past- and future-oriented temporal extension of the Object Constraint Language (OCL). Our extension supports designers to express time-bounded properties over a state-oriented UML model of a system under development. The semantics is formally defined over the system states of a mathematical object model. Additionally, we present a mapping to Clocked Linear Temporal Logic (Clocked LTL) formulae, which is the basis for further application in verification with model checking. We demonstrate the applicability of the approach by the example of a buffer specification in the context of a production system."}],"user_id":"5786","department":[{"_id":"672"}],"_id":"39069","language":[{"iso":"eng"}],"keyword":["Unified modeling language","Logic","Clocks","Boolean functions","Application software","Time factors","Real time systems","Formal verification","Buffer storage","Software packages"],"publication_identifier":{"isbn":["0-7695-2222-X"]},"citation":{"apa":"Flake, S., &#38; Müller, W. (2004). Past- and Future-Oriented Time-Bound Temporal Properties with OCL. <i>Proceedings of SEFM´04</i>.  Proceedings of the Second International Conference on Software Engineering and Formal Methods. <a href=\"https://doi.org/10.1109/SEFM.2004.1347516\">https://doi.org/10.1109/SEFM.2004.1347516</a>","mla":"Flake, Stephan, and Wolfgang Müller. “Past- and Future-Oriented Time-Bound Temporal Properties with OCL.” <i>Proceedings of SEFM´04</i>, IEEE, 2004, doi:<a href=\"https://doi.org/10.1109/SEFM.2004.1347516\">10.1109/SEFM.2004.1347516</a>.","short":"S. Flake, W. Müller, in: Proceedings of SEFM´04, IEEE, Beijing, China, 2004.","bibtex":"@inproceedings{Flake_Müller_2004, place={Beijing, China}, title={Past- and Future-Oriented Time-Bound Temporal Properties with OCL}, DOI={<a href=\"https://doi.org/10.1109/SEFM.2004.1347516\">10.1109/SEFM.2004.1347516</a>}, booktitle={Proceedings of SEFM´04}, publisher={IEEE}, author={Flake, Stephan and Müller, Wolfgang}, year={2004} }","ama":"Flake S, Müller W. Past- and Future-Oriented Time-Bound Temporal Properties with OCL. In: <i>Proceedings of SEFM´04</i>. IEEE; 2004. doi:<a href=\"https://doi.org/10.1109/SEFM.2004.1347516\">10.1109/SEFM.2004.1347516</a>","chicago":"Flake, Stephan, and Wolfgang Müller. “Past- and Future-Oriented Time-Bound Temporal Properties with OCL.” In <i>Proceedings of SEFM´04</i>. Beijing, China: IEEE, 2004. <a href=\"https://doi.org/10.1109/SEFM.2004.1347516\">https://doi.org/10.1109/SEFM.2004.1347516</a>.","ieee":"S. Flake and W. Müller, “Past- and Future-Oriented Time-Bound Temporal Properties with OCL,” presented at the  Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004, doi: <a href=\"https://doi.org/10.1109/SEFM.2004.1347516\">10.1109/SEFM.2004.1347516</a>."},"year":"2004","place":"Beijing, China","author":[{"first_name":"Stephan","full_name":"Flake, Stephan","last_name":"Flake"},{"first_name":"Wolfgang","id":"16243","full_name":"Müller, Wolfgang","last_name":"Müller"}],"date_created":"2023-01-24T09:03:36Z","publisher":"IEEE","date_updated":"2023-01-24T09:03:41Z","doi":"10.1109/SEFM.2004.1347516","conference":{"name":" Proceedings of the Second International Conference on Software Engineering and Formal Methods"},"title":"Past- and Future-Oriented Time-Bound Temporal Properties with OCL"},{"title":"Specification of Real-Time Properties for UML Models","doi":"10.1109/HICSS.2002.994469","conference":{"location":"Big Island, HI, USA ","name":"Proceedings of the 35th Annual Hawaii International Conference on System Sciences"},"date_updated":"2023-01-24T10:22:16Z","author":[{"last_name":"Flake","full_name":"Flake, Stephan","first_name":"Stephan"},{"last_name":"Müller","full_name":"Müller, Wolfgang","id":"16243","first_name":"Wolfgang"}],"date_created":"2023-01-24T10:22:12Z","year":"2002","place":"Big Island, HI, USA ","citation":{"apa":"Flake, S., &#38; Müller, W. (2002). Specification of Real-Time Properties for UML Models. <i>Proceedings of HICSS-35</i>. Proceedings of the 35th Annual Hawaii International Conference on System Sciences, Big Island, HI, USA . <a href=\"https://doi.org/10.1109/HICSS.2002.994469\">https://doi.org/10.1109/HICSS.2002.994469</a>","short":"S. Flake, W. Müller, in: Proceedings of HICSS-35, Big Island, HI, USA , 2002.","bibtex":"@inproceedings{Flake_Müller_2002, place={Big Island, HI, USA }, title={Specification of Real-Time Properties for UML Models}, DOI={<a href=\"https://doi.org/10.1109/HICSS.2002.994469\">10.1109/HICSS.2002.994469</a>}, booktitle={Proceedings of HICSS-35}, author={Flake, Stephan and Müller, Wolfgang}, year={2002} }","mla":"Flake, Stephan, and Wolfgang Müller. “Specification of Real-Time Properties for UML Models.” <i>Proceedings of HICSS-35</i>, 2002, doi:<a href=\"https://doi.org/10.1109/HICSS.2002.994469\">10.1109/HICSS.2002.994469</a>.","chicago":"Flake, Stephan, and Wolfgang Müller. “Specification of Real-Time Properties for UML Models.” In <i>Proceedings of HICSS-35</i>. Big Island, HI, USA , 2002. <a href=\"https://doi.org/10.1109/HICSS.2002.994469\">https://doi.org/10.1109/HICSS.2002.994469</a>.","ieee":"S. Flake and W. Müller, “Specification of Real-Time Properties for UML Models,” presented at the Proceedings of the 35th Annual Hawaii International Conference on System Sciences, Big Island, HI, USA , 2002, doi: <a href=\"https://doi.org/10.1109/HICSS.2002.994469\">10.1109/HICSS.2002.994469</a>.","ama":"Flake S, Müller W. Specification of Real-Time Properties for UML Models. In: <i>Proceedings of HICSS-35</i>. ; 2002. doi:<a href=\"https://doi.org/10.1109/HICSS.2002.994469\">10.1109/HICSS.2002.994469</a>"},"publication_identifier":{"isbn":["0-7695-1435-9"]},"keyword":["Unified modeling language","Logic","Formal verification","Real time systems","Programming profession","Vehicle dynamics","Software standards","Flexible manufacturing systems","Electronics industry","Protocols"],"language":[{"iso":"eng"}],"_id":"39403","user_id":"5786","department":[{"_id":"672"}],"abstract":[{"lang":"eng","text":"The Unified Modeling Language (UML) has received wide acceptance as a standard language in the field of software specification by means of different diagram types. In a recent version of UML, the textual Object Constraint Language (OCL) was introduced to support specification of constraints for UML models. But OCL currently does not provide sufficient means to specify constraints over the dynamic behavior of a model. This article presents an OCL extension that is consistent with current OCL and enables modelers to specify state-related time-bounded constraints. We consider the case study of a flexible manufacturing system and identify typical real-time constraints. The constraints are presented in our temporal OCL extension as well as in temporal logic formulae. For general application, we define a semantics of our OCL extension by means of a time-bounded temporal logic based on Computational Tree Logic (CTL)."}],"status":"public","type":"conference","publication":"Proceedings of HICSS-35"},{"doi":"10.1016/s0045-7949(99)00089-9","title":"Implicit integration scheme and its consistent linearization for an elastoplastic-damage model with application to concrete","author":[{"first_name":"Rolf","id":"335","full_name":"Mahnken, Rolf","last_name":"Mahnken"},{"first_name":"D.","last_name":"Tikhomirov","full_name":"Tikhomirov, D."},{"last_name":"Stein","full_name":"Stein, E.","first_name":"E."}],"date_created":"2023-05-31T12:05:43Z","volume":75,"date_updated":"2023-05-31T12:06:27Z","publisher":"Elsevier BV","citation":{"ama":"Mahnken R, Tikhomirov D, Stein E. Implicit integration scheme and its consistent linearization for an elastoplastic-damage model with application to concrete. <i>Computers &#38;amp; Structures</i>. 2002;75(2):135-143. doi:<a href=\"https://doi.org/10.1016/s0045-7949(99)00089-9\">10.1016/s0045-7949(99)00089-9</a>","ieee":"R. Mahnken, D. Tikhomirov, and E. Stein, “Implicit integration scheme and its consistent linearization for an elastoplastic-damage model with application to concrete,” <i>Computers &#38;amp; Structures</i>, vol. 75, no. 2, pp. 135–143, 2002, doi: <a href=\"https://doi.org/10.1016/s0045-7949(99)00089-9\">10.1016/s0045-7949(99)00089-9</a>.","chicago":"Mahnken, Rolf, D. Tikhomirov, and E. Stein. “Implicit Integration Scheme and Its Consistent Linearization for an Elastoplastic-Damage Model with Application to Concrete.” <i>Computers &#38;amp; Structures</i> 75, no. 2 (2002): 135–43. <a href=\"https://doi.org/10.1016/s0045-7949(99)00089-9\">https://doi.org/10.1016/s0045-7949(99)00089-9</a>.","short":"R. Mahnken, D. Tikhomirov, E. Stein, Computers &#38;amp; Structures 75 (2002) 135–143.","bibtex":"@article{Mahnken_Tikhomirov_Stein_2002, title={Implicit integration scheme and its consistent linearization for an elastoplastic-damage model with application to concrete}, volume={75}, DOI={<a href=\"https://doi.org/10.1016/s0045-7949(99)00089-9\">10.1016/s0045-7949(99)00089-9</a>}, number={2}, journal={Computers &#38;amp; Structures}, publisher={Elsevier BV}, author={Mahnken, Rolf and Tikhomirov, D. and Stein, E.}, year={2002}, pages={135–143} }","mla":"Mahnken, Rolf, et al. “Implicit Integration Scheme and Its Consistent Linearization for an Elastoplastic-Damage Model with Application to Concrete.” <i>Computers &#38;amp; Structures</i>, vol. 75, no. 2, Elsevier BV, 2002, pp. 135–43, doi:<a href=\"https://doi.org/10.1016/s0045-7949(99)00089-9\">10.1016/s0045-7949(99)00089-9</a>.","apa":"Mahnken, R., Tikhomirov, D., &#38; Stein, E. (2002). Implicit integration scheme and its consistent linearization for an elastoplastic-damage model with application to concrete. <i>Computers &#38;amp; Structures</i>, <i>75</i>(2), 135–143. <a href=\"https://doi.org/10.1016/s0045-7949(99)00089-9\">https://doi.org/10.1016/s0045-7949(99)00089-9</a>"},"intvolume":"        75","page":"135-143","year":"2002","issue":"2","publication_status":"published","publication_identifier":{"issn":["0045-7949"]},"quality_controlled":"1","language":[{"iso":"eng"}],"keyword":["Computer Science Applications","Mechanical Engineering","General Materials Science","Modeling and Simulation","Civil and Structural Engineering"],"user_id":"335","department":[{"_id":"9"},{"_id":"154"}],"_id":"45418","status":"public","type":"journal_article","publication":"Computers &amp; Structures"},{"year":"2002","citation":{"apa":"Mahnken, R. (2002). Improved implementation of an algorithm for non-linear isotropic/kinematic hardening in elastoplasticity. <i>Communications in Numerical Methods in Engineering</i>, <i>15</i>(10), 745–754. <a href=\"https://doi.org/10.1002/(sici)1099-0887(199910)15:10&#60;745::aid-cnm288&#62;3.0.co;2-r\">https://doi.org/10.1002/(sici)1099-0887(199910)15:10&#60;745::aid-cnm288&#62;3.0.co;2-r</a>","mla":"Mahnken, Rolf. “Improved Implementation of an Algorithm for Non-Linear Isotropic/Kinematic Hardening in Elastoplasticity.” <i>Communications in Numerical Methods in Engineering</i>, vol. 15, no. 10, Wiley, 2002, pp. 745–54, doi:<a href=\"https://doi.org/10.1002/(sici)1099-0887(199910)15:10&#60;745::aid-cnm288&#62;3.0.co;2-r\">10.1002/(sici)1099-0887(199910)15:10&#60;745::aid-cnm288&#62;3.0.co;2-r</a>.","short":"R. Mahnken, Communications in Numerical Methods in Engineering 15 (2002) 745–754.","bibtex":"@article{Mahnken_2002, title={Improved implementation of an algorithm for non-linear isotropic/kinematic hardening in elastoplasticity}, volume={15}, DOI={<a href=\"https://doi.org/10.1002/(sici)1099-0887(199910)15:10&#60;745::aid-cnm288&#62;3.0.co;2-r\">10.1002/(sici)1099-0887(199910)15:10&#60;745::aid-cnm288&#62;3.0.co;2-r</a>}, number={10}, journal={Communications in Numerical Methods in Engineering}, publisher={Wiley}, author={Mahnken, Rolf}, year={2002}, pages={745–754} }","ama":"Mahnken R. Improved implementation of an algorithm for non-linear isotropic/kinematic hardening in elastoplasticity. <i>Communications in Numerical Methods in Engineering</i>. 2002;15(10):745-754. doi:<a href=\"https://doi.org/10.1002/(sici)1099-0887(199910)15:10&#60;745::aid-cnm288&#62;3.0.co;2-r\">10.1002/(sici)1099-0887(199910)15:10&#60;745::aid-cnm288&#62;3.0.co;2-r</a>","chicago":"Mahnken, Rolf. “Improved Implementation of an Algorithm for Non-Linear Isotropic/Kinematic Hardening in Elastoplasticity.” <i>Communications in Numerical Methods in Engineering</i> 15, no. 10 (2002): 745–54. <a href=\"https://doi.org/10.1002/(sici)1099-0887(199910)15:10&#60;745::aid-cnm288&#62;3.0.co;2-r\">https://doi.org/10.1002/(sici)1099-0887(199910)15:10&#60;745::aid-cnm288&#62;3.0.co;2-r</a>.","ieee":"R. Mahnken, “Improved implementation of an algorithm for non-linear isotropic/kinematic hardening in elastoplasticity,” <i>Communications in Numerical Methods in Engineering</i>, vol. 15, no. 10, pp. 745–754, 2002, doi: <a href=\"https://doi.org/10.1002/(sici)1099-0887(199910)15:10&#60;745::aid-cnm288&#62;3.0.co;2-r\">10.1002/(sici)1099-0887(199910)15:10&#60;745::aid-cnm288&#62;3.0.co;2-r</a>."},"intvolume":"        15","page":"745-754","publication_status":"published","quality_controlled":"1","publication_identifier":{"issn":["1069-8299","1099-0887"]},"issue":"10","title":"Improved implementation of an algorithm for non-linear isotropic/kinematic hardening in elastoplasticity","doi":"10.1002/(sici)1099-0887(199910)15:10<745::aid-cnm288>3.0.co;2-r","publisher":"Wiley","date_updated":"2023-05-31T12:15:12Z","date_created":"2023-05-31T12:14:42Z","author":[{"id":"335","full_name":"Mahnken, Rolf","last_name":"Mahnken","first_name":"Rolf"}],"volume":15,"status":"public","type":"journal_article","publication":"Communications in Numerical Methods in Engineering","keyword":["Applied Mathematics","Computational Theory and Mathematics","General Engineering","Modeling and Simulation","Software"],"language":[{"iso":"eng"}],"_id":"45423","user_id":"335","department":[{"_id":"9"},{"_id":"154"}]},{"status":"public","type":"journal_article","publication":"Computers &amp; Structures","keyword":["Computer Science Applications","Mechanical Engineering","General Materials Science","Modeling and Simulation","Civil and Structural Engineering"],"language":[{"iso":"eng"}],"_id":"45422","user_id":"335","department":[{"_id":"9"},{"_id":"154"}],"year":"2002","citation":{"mla":"Mahnken, Rolf. “A Comprehensive Study of a Multiplicative Elastoplasticity Model Coupled to Damage Including Parameter Identification.” <i>Computers &#38;amp; Structures</i>, vol. 74, no. 2, Elsevier BV, 2002, pp. 179–200, doi:<a href=\"https://doi.org/10.1016/s0045-7949(98)00296-x\">10.1016/s0045-7949(98)00296-x</a>.","bibtex":"@article{Mahnken_2002, title={A comprehensive study of a multiplicative elastoplasticity model coupled to damage including parameter identification}, volume={74}, DOI={<a href=\"https://doi.org/10.1016/s0045-7949(98)00296-x\">10.1016/s0045-7949(98)00296-x</a>}, number={2}, journal={Computers &#38;amp; Structures}, publisher={Elsevier BV}, author={Mahnken, Rolf}, year={2002}, pages={179–200} }","short":"R. Mahnken, Computers &#38;amp; Structures 74 (2002) 179–200.","apa":"Mahnken, R. (2002). A comprehensive study of a multiplicative elastoplasticity model coupled to damage including parameter identification. <i>Computers &#38;amp; Structures</i>, <i>74</i>(2), 179–200. <a href=\"https://doi.org/10.1016/s0045-7949(98)00296-x\">https://doi.org/10.1016/s0045-7949(98)00296-x</a>","chicago":"Mahnken, Rolf. “A Comprehensive Study of a Multiplicative Elastoplasticity Model Coupled to Damage Including Parameter Identification.” <i>Computers &#38;amp; Structures</i> 74, no. 2 (2002): 179–200. <a href=\"https://doi.org/10.1016/s0045-7949(98)00296-x\">https://doi.org/10.1016/s0045-7949(98)00296-x</a>.","ieee":"R. Mahnken, “A comprehensive study of a multiplicative elastoplasticity model coupled to damage including parameter identification,” <i>Computers &#38;amp; Structures</i>, vol. 74, no. 2, pp. 179–200, 2002, doi: <a href=\"https://doi.org/10.1016/s0045-7949(98)00296-x\">10.1016/s0045-7949(98)00296-x</a>.","ama":"Mahnken R. A comprehensive study of a multiplicative elastoplasticity model coupled to damage including parameter identification. <i>Computers &#38;amp; Structures</i>. 2002;74(2):179-200. doi:<a href=\"https://doi.org/10.1016/s0045-7949(98)00296-x\">10.1016/s0045-7949(98)00296-x</a>"},"page":"179-200","intvolume":"        74","publication_status":"published","quality_controlled":"1","publication_identifier":{"issn":["0045-7949"]},"issue":"2","title":"A comprehensive study of a multiplicative elastoplasticity model coupled to damage including parameter identification","doi":"10.1016/s0045-7949(98)00296-x","date_updated":"2023-05-31T12:13:59Z","publisher":"Elsevier BV","date_created":"2023-05-31T12:13:28Z","author":[{"first_name":"Rolf","last_name":"Mahnken","full_name":"Mahnken, Rolf","id":"335"}],"volume":74},{"status":"public","type":"journal_article","publication":"Modelling and Simulation in Materials Science and Engineering","language":[{"iso":"eng"}],"keyword":["Computer Science Applications","Mechanics of Materials","Condensed Matter Physics","General Materials Science","Modeling and Simulation"],"user_id":"335","department":[{"_id":"9"},{"_id":"154"}],"_id":"45432","citation":{"ama":"Mahnken R, Stein E. The identification of parameters for visco-plastic models via finite-element methods and gradient methods. <i>Modelling and Simulation in Materials Science and Engineering</i>. 2002;2(3A):597-616. doi:<a href=\"https://doi.org/10.1088/0965-0393/2/3a/013\">10.1088/0965-0393/2/3a/013</a>","chicago":"Mahnken, Rolf, and E Stein. “The Identification of Parameters for Visco-Plastic Models via Finite-Element Methods and Gradient Methods.” <i>Modelling and Simulation in Materials Science and Engineering</i> 2, no. 3A (2002): 597–616. <a href=\"https://doi.org/10.1088/0965-0393/2/3a/013\">https://doi.org/10.1088/0965-0393/2/3a/013</a>.","ieee":"R. Mahnken and E. Stein, “The identification of parameters for visco-plastic models via finite-element methods and gradient methods,” <i>Modelling and Simulation in Materials Science and Engineering</i>, vol. 2, no. 3A, pp. 597–616, 2002, doi: <a href=\"https://doi.org/10.1088/0965-0393/2/3a/013\">10.1088/0965-0393/2/3a/013</a>.","short":"R. Mahnken, E. Stein, Modelling and Simulation in Materials Science and Engineering 2 (2002) 597–616.","mla":"Mahnken, Rolf, and E. Stein. “The Identification of Parameters for Visco-Plastic Models via Finite-Element Methods and Gradient Methods.” <i>Modelling and Simulation in Materials Science and Engineering</i>, vol. 2, no. 3A, IOP Publishing, 2002, pp. 597–616, doi:<a href=\"https://doi.org/10.1088/0965-0393/2/3a/013\">10.1088/0965-0393/2/3a/013</a>.","bibtex":"@article{Mahnken_Stein_2002, title={The identification of parameters for visco-plastic models via finite-element methods and gradient methods}, volume={2}, DOI={<a href=\"https://doi.org/10.1088/0965-0393/2/3a/013\">10.1088/0965-0393/2/3a/013</a>}, number={3A}, journal={Modelling and Simulation in Materials Science and Engineering}, publisher={IOP Publishing}, author={Mahnken, Rolf and Stein, E}, year={2002}, pages={597–616} }","apa":"Mahnken, R., &#38; Stein, E. (2002). The identification of parameters for visco-plastic models via finite-element methods and gradient methods. <i>Modelling and Simulation in Materials Science and Engineering</i>, <i>2</i>(3A), 597–616. <a href=\"https://doi.org/10.1088/0965-0393/2/3a/013\">https://doi.org/10.1088/0965-0393/2/3a/013</a>"},"intvolume":"         2","page":"597-616","year":"2002","issue":"3A","publication_status":"published","publication_identifier":{"issn":["0965-0393","1361-651X"]},"quality_controlled":"1","doi":"10.1088/0965-0393/2/3a/013","title":"The identification of parameters for visco-plastic models via finite-element methods and gradient methods","author":[{"first_name":"Rolf","full_name":"Mahnken, Rolf","id":"335","last_name":"Mahnken"},{"full_name":"Stein, E","last_name":"Stein","first_name":"E"}],"date_created":"2023-05-31T12:28:01Z","volume":2,"publisher":"IOP Publishing","date_updated":"2023-05-31T12:28:27Z"},{"title":"Customer-Oriented Systems Design through Virtual Prototyps","conference":{"name":"Proceedings Tenth IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises"},"doi":"10.1109/ENABL.2001.953425","date_updated":"2023-01-24T10:30:21Z","author":[{"last_name":"Flake","full_name":"Flake, Stephan","first_name":"Stephan"},{"first_name":"Christian","full_name":"Geiger, Christian","last_name":"Geiger"},{"id":"16243","full_name":"Müller, Wolfgang","last_name":"Müller","first_name":"Wolfgang"},{"full_name":"Ruf, Jürgen","last_name":"Ruf","first_name":"Jürgen"}],"date_created":"2023-01-24T10:30:14Z","year":"2001","place":"Cambridge, MA, USA ","citation":{"apa":"Flake, S., Geiger, C., Müller, W., &#38; Ruf, J. (2001). Customer-Oriented Systems Design through Virtual Prototyps. <i>Proceedings of IEEE KMN 2001</i>. Proceedings Tenth IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises. <a href=\"https://doi.org/10.1109/ENABL.2001.953425\">https://doi.org/10.1109/ENABL.2001.953425</a>","bibtex":"@inproceedings{Flake_Geiger_Müller_Ruf_2001, place={Cambridge, MA, USA }, title={Customer-Oriented Systems Design through Virtual Prototyps}, DOI={<a href=\"https://doi.org/10.1109/ENABL.2001.953425\">10.1109/ENABL.2001.953425</a>}, booktitle={Proceedings of IEEE KMN 2001}, author={Flake, Stephan and Geiger, Christian and Müller, Wolfgang and Ruf, Jürgen}, year={2001} }","mla":"Flake, Stephan, et al. “Customer-Oriented Systems Design through Virtual Prototyps.” <i>Proceedings of IEEE KMN 2001</i>, 2001, doi:<a href=\"https://doi.org/10.1109/ENABL.2001.953425\">10.1109/ENABL.2001.953425</a>.","short":"S. Flake, C. Geiger, W. Müller, J. Ruf, in: Proceedings of IEEE KMN 2001, Cambridge, MA, USA , 2001.","ieee":"S. Flake, C. Geiger, W. Müller, and J. Ruf, “Customer-Oriented Systems Design through Virtual Prototyps,” presented at the Proceedings Tenth IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2001, doi: <a href=\"https://doi.org/10.1109/ENABL.2001.953425\">10.1109/ENABL.2001.953425</a>.","chicago":"Flake, Stephan, Christian Geiger, Wolfgang Müller, and Jürgen Ruf. “Customer-Oriented Systems Design through Virtual Prototyps.” In <i>Proceedings of IEEE KMN 2001</i>. Cambridge, MA, USA , 2001. <a href=\"https://doi.org/10.1109/ENABL.2001.953425\">https://doi.org/10.1109/ENABL.2001.953425</a>.","ama":"Flake S, Geiger C, Müller W, Ruf J. Customer-Oriented Systems Design through Virtual Prototyps. In: <i>Proceedings of IEEE KMN 2001</i>. ; 2001. doi:<a href=\"https://doi.org/10.1109/ENABL.2001.953425\">10.1109/ENABL.2001.953425</a>"},"publication_identifier":{"isbn":["0-7695-1269-0"]},"keyword":["Virtual prototyping","Animation","Collaboration","System analysis and design","Feedback","Application software","Power system modeling","Handicapped aids","Process design","Contracts"],"language":[{"iso":"eng"}],"_id":"39411","user_id":"5786","department":[{"_id":"672"}],"abstract":[{"text":"Rapid prototyping based on 3D models is well accepted for several applications. This article addresses the application of animated virtual 3D prototypes for the development of computer-based systems supporting early collaboration of the system designer with the external customer. Our methodology seamlessly integrates illustration through 3D animation with the main tasks of computer-based real-time systems development, i.e., implementation and verification. The approach is outlined by the example of the design of a flexible manufacturing system.","lang":"eng"}],"status":"public","type":"conference","publication":"Proceedings of IEEE KMN 2001"},{"year":"2001","place":"Munich, Germany ","citation":{"apa":"Müller, W., Ruf, J., Hoffmann, D. W., Gerlach, J., Kropf, T., &#38; Rosenstiehl, W. (2001). The Simulation Semantics of SystemC. <i>Proceedings of the Design, Automation, and Test in Europe (DATE’01)</i>.  Proceedings Design, Automation and Test in Europe. Conference and Exhibition 2001. <a href=\"https://doi.org/10.1109/DATE.2001.915002\">https://doi.org/10.1109/DATE.2001.915002</a>","mla":"Müller, Wolfgang, et al. “The Simulation Semantics of SystemC.” <i>Proceedings of the Design, Automation, and Test in Europe (DATE’01)</i>, IEEE, 2001, doi:<a href=\"https://doi.org/10.1109/DATE.2001.915002\">10.1109/DATE.2001.915002</a>.","short":"W. Müller, J. Ruf, D.W. Hoffmann, J. Gerlach, T. Kropf, W. Rosenstiehl, in: Proceedings of the Design, Automation, and Test in Europe (DATE’01), IEEE, Munich, Germany , 2001.","bibtex":"@inproceedings{Müller_Ruf_Hoffmann_Gerlach_Kropf_Rosenstiehl_2001, place={Munich, Germany }, title={The Simulation Semantics of SystemC}, DOI={<a href=\"https://doi.org/10.1109/DATE.2001.915002\">10.1109/DATE.2001.915002</a>}, booktitle={Proceedings of the Design, Automation, and Test in Europe (DATE’01)}, publisher={IEEE}, author={Müller, Wolfgang and Ruf, Jürgen and Hoffmann, D. W. and Gerlach, Joachim and Kropf, Thomas and Rosenstiehl, W.}, year={2001} }","ieee":"W. Müller, J. Ruf, D. W. Hoffmann, J. Gerlach, T. Kropf, and W. Rosenstiehl, “The Simulation Semantics of SystemC,” presented at the  Proceedings Design, Automation and Test in Europe. Conference and Exhibition 2001, 2001, doi: <a href=\"https://doi.org/10.1109/DATE.2001.915002\">10.1109/DATE.2001.915002</a>.","chicago":"Müller, Wolfgang, Jürgen Ruf, D. W. Hoffmann, Joachim Gerlach, Thomas Kropf, and W. Rosenstiehl. “The Simulation Semantics of SystemC.” In <i>Proceedings of the Design, Automation, and Test in Europe (DATE’01)</i>. Munich, Germany : IEEE, 2001. <a href=\"https://doi.org/10.1109/DATE.2001.915002\">https://doi.org/10.1109/DATE.2001.915002</a>.","ama":"Müller W, Ruf J, Hoffmann DW, Gerlach J, Kropf T, Rosenstiehl W. The Simulation Semantics of SystemC. In: <i>Proceedings of the Design, Automation, and Test in Europe (DATE’01)</i>. IEEE; 2001. doi:<a href=\"https://doi.org/10.1109/DATE.2001.915002\">10.1109/DATE.2001.915002</a>"},"publication_identifier":{"isbn":["0-7695-0993-2"]},"title":"The Simulation Semantics of SystemC","conference":{"name":" Proceedings Design, Automation and Test in Europe. Conference and Exhibition 2001"},"doi":"10.1109/DATE.2001.915002","date_updated":"2023-01-24T10:39:38Z","publisher":"IEEE","date_created":"2023-01-24T10:39:33Z","author":[{"first_name":"Wolfgang","last_name":"Müller","full_name":"Müller, Wolfgang","id":"16243"},{"first_name":"Jürgen","full_name":"Ruf, Jürgen","last_name":"Ruf"},{"first_name":"D. W.","full_name":"Hoffmann, D. W.","last_name":"Hoffmann"},{"full_name":"Gerlach, Joachim","last_name":"Gerlach","first_name":"Joachim"},{"full_name":"Kropf, Thomas","last_name":"Kropf","first_name":"Thomas"},{"full_name":"Rosenstiehl, W.","last_name":"Rosenstiehl","first_name":"W."}],"abstract":[{"lang":"eng","text":"We present a rigorous but transparent semantics definition of SystemC that covers method, thread, and clocked thread behavior as well as their interaction with the simulation kernel process. The semantics includes watching statements, signal assignment, and wait statements as they are introduced in SystemC V1.O. We present our definition in form of distributed Abstract State Machines (ASMs) rules reflecting the view given in the SystemC User's Manual and the reference implementation. We mainly see our formal semantics as a concise, unambiguous, high-level specification for SystemC-based implementations and for standardization. Additionally, it can be used as a sound basis to investigate SystemC interoperability with Verilog and VHDL."}],"status":"public","publication":"Proceedings of the Design, Automation, and Test in Europe (DATE’01)","type":"conference","keyword":["Yarn","Formal verification","Kernel","Hardware design languages","Electronic design automation and methodology","Algebra","Computational modeling","Logic functions","Computer languages","Clocks"],"language":[{"iso":"eng"}],"_id":"39421","department":[{"_id":"672"}],"user_id":"5786"},{"type":"conference","publication":"Proceedings of HICSS-32","abstract":[{"lang":"eng","text":"This article introduces and discusses different innovative means for visual specification and animation of complex concurrent systems. It introduces the completely visual programming language Pictorial Janus (PJ) and its application in the customer-oriented design process. PJ implements a completely visual programming language with inherent animation facilities. The article outlines the transformation of purely visual PJ programs into textual imperative programming languages. The second part of the article investigates animated 3D-presentations and introduces a novel approach to an animated 3D programming language for interactive customer-oriented illustrations."}],"status":"public","_id":"39487","user_id":"5786","department":[{"_id":"672"}],"keyword":["Animation","Computer languages","Object oriented modeling","Collaboration","Process design","Graphical user interfaces","Jacobian matrices","Standardization","Feedback","Software prototyping"],"language":[{"iso":"eng"}],"publication_identifier":{"isbn":["0-7695-0001-3"]},"year":"1999","place":"Maui, Hawaii","citation":{"apa":"Geiger, C., Lehrenfeld, G., &#38; Müller, W. (1999). Visual Specification, Modeling, and Illustrations of Complex Systems. <i>Proceedings of HICSS-32</i>. Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences 1999, Maui, Hawaii. <a href=\"https://doi.org/10.1109/HICSS.1999.772621\">https://doi.org/10.1109/HICSS.1999.772621</a>","bibtex":"@inproceedings{Geiger_Lehrenfeld_Müller_1999, place={Maui, Hawaii}, title={Visual Specification, Modeling, and Illustrations of Complex Systems}, DOI={<a href=\"https://doi.org/10.1109/HICSS.1999.772621\">10.1109/HICSS.1999.772621</a>}, booktitle={Proceedings of HICSS-32}, author={Geiger, Christian and Lehrenfeld, G. and Müller, Wolfgang}, year={1999} }","short":"C. Geiger, G. Lehrenfeld, W. Müller, in: Proceedings of HICSS-32, Maui, Hawaii, 1999.","mla":"Geiger, Christian, et al. “Visual Specification, Modeling, and Illustrations of Complex Systems.” <i>Proceedings of HICSS-32</i>, 1999, doi:<a href=\"https://doi.org/10.1109/HICSS.1999.772621\">10.1109/HICSS.1999.772621</a>.","ieee":"C. Geiger, G. Lehrenfeld, and W. Müller, “Visual Specification, Modeling, and Illustrations of Complex Systems,” presented at the Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences 1999, Maui, Hawaii, 1999, doi: <a href=\"https://doi.org/10.1109/HICSS.1999.772621\">10.1109/HICSS.1999.772621</a>.","chicago":"Geiger, Christian, G. Lehrenfeld, and Wolfgang Müller. “Visual Specification, Modeling, and Illustrations of Complex Systems.” In <i>Proceedings of HICSS-32</i>. Maui, Hawaii, 1999. <a href=\"https://doi.org/10.1109/HICSS.1999.772621\">https://doi.org/10.1109/HICSS.1999.772621</a>.","ama":"Geiger C, Lehrenfeld G, Müller W. Visual Specification, Modeling, and Illustrations of Complex Systems. In: <i>Proceedings of HICSS-32</i>. ; 1999. doi:<a href=\"https://doi.org/10.1109/HICSS.1999.772621\">10.1109/HICSS.1999.772621</a>"},"date_updated":"2023-01-24T11:33:35Z","author":[{"first_name":"Christian","full_name":"Geiger, Christian","last_name":"Geiger"},{"full_name":"Lehrenfeld, G.","last_name":"Lehrenfeld","first_name":"G."},{"first_name":"Wolfgang","last_name":"Müller","full_name":"Müller, Wolfgang","id":"16243"}],"date_created":"2023-01-24T11:33:05Z","title":"Visual Specification, Modeling, and Illustrations of Complex Systems","doi":"10.1109/HICSS.1999.772621","conference":{"name":"Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences 1999","location":"Maui, Hawaii"}},{"publication":"Proceedings of the 1997 IEEE Symposium on Visual Languages","type":"conference","abstract":[{"text":"3D-graphics are becoming popular in a steadily increasing number of areas such as entertainment, scientific visualization, simulation, and virtual reality. Despite this rapid growth the generation of animated 3D scenes is by no means trivial. Since animated 3D objects evolve over time the authors denote these objects as 4D. The article presents a novel approach to the rapid prototyping of 4D models. They introduce the AAL (Animated Agent Layer) system. AAL is an interpreter-based approach covering a textual (AAL-PR) as well as a visual command language (AAL-VL) for the specification of the dynamics in 4D scenes. AAL provides support for different levels of abstraction: primitives, structured objects, animated objects, and animated (autonomous) agents.","lang":"eng"}],"status":"public","_id":"39505","department":[{"_id":"672"}],"user_id":"5786","keyword":["Prototypes","Layout","Animation","Command languages","Application software","Libraries","Virtual reality","Computer graphics","Hardware","Context modeling"],"language":[{"iso":"eng"}],"publication_identifier":{"isbn":["0-8186-8144-6"]},"place":"Capri, Italy","year":"1997","citation":{"ama":"Dücker M, Geiger C, Hunstock R, Lehrenfeld G, Müller W. Visual-Textual Prototyping of 4D Scenes. In: <i>Proceedings of the 1997 IEEE Symposium on Visual Languages</i>. ; 1997. doi:<a href=\"https://doi.org/10.1109/VL.1997.626601\">10.1109/VL.1997.626601</a>","ieee":"M. Dücker, C. Geiger, R. Hunstock, G. Lehrenfeld, and W. Müller, “Visual-Textual Prototyping of 4D Scenes,” presented at the 1997 IEEE Symposium on Visual Languages, 1997, doi: <a href=\"https://doi.org/10.1109/VL.1997.626601\">10.1109/VL.1997.626601</a>.","chicago":"Dücker, M., Christian Geiger, R. Hunstock, Georg Lehrenfeld, and Wolfgang Müller. “Visual-Textual Prototyping of 4D Scenes.” In <i>Proceedings of the 1997 IEEE Symposium on Visual Languages</i>. Capri, Italy, 1997. <a href=\"https://doi.org/10.1109/VL.1997.626601\">https://doi.org/10.1109/VL.1997.626601</a>.","short":"M. Dücker, C. Geiger, R. Hunstock, G. Lehrenfeld, W. Müller, in: Proceedings of the 1997 IEEE Symposium on Visual Languages, Capri, Italy, 1997.","mla":"Dücker, M., et al. “Visual-Textual Prototyping of 4D Scenes.” <i>Proceedings of the 1997 IEEE Symposium on Visual Languages</i>, 1997, doi:<a href=\"https://doi.org/10.1109/VL.1997.626601\">10.1109/VL.1997.626601</a>.","bibtex":"@inproceedings{Dücker_Geiger_Hunstock_Lehrenfeld_Müller_1997, place={Capri, Italy}, title={Visual-Textual Prototyping of 4D Scenes}, DOI={<a href=\"https://doi.org/10.1109/VL.1997.626601\">10.1109/VL.1997.626601</a>}, booktitle={Proceedings of the 1997 IEEE Symposium on Visual Languages}, author={Dücker, M. and Geiger, Christian and Hunstock, R. and Lehrenfeld, Georg and Müller, Wolfgang}, year={1997} }","apa":"Dücker, M., Geiger, C., Hunstock, R., Lehrenfeld, G., &#38; Müller, W. (1997). Visual-Textual Prototyping of 4D Scenes. <i>Proceedings of the 1997 IEEE Symposium on Visual Languages</i>. 1997 IEEE Symposium on Visual Languages. <a href=\"https://doi.org/10.1109/VL.1997.626601\">https://doi.org/10.1109/VL.1997.626601</a>"},"date_updated":"2023-01-24T11:49:01Z","date_created":"2023-01-24T11:48:57Z","author":[{"first_name":"M.","last_name":"Dücker","full_name":"Dücker, M."},{"full_name":"Geiger, Christian","last_name":"Geiger","first_name":"Christian"},{"last_name":"Hunstock","full_name":"Hunstock, R.","first_name":"R."},{"first_name":"Georg","last_name":"Lehrenfeld","full_name":"Lehrenfeld, Georg"},{"first_name":"Wolfgang","last_name":"Müller","full_name":"Müller, Wolfgang","id":"16243"}],"title":"Visual-Textual Prototyping of 4D Scenes","conference":{"name":"1997 IEEE Symposium on Visual Languages"},"doi":"10.1109/VL.1997.626601"},{"date_updated":"2023-01-24T12:05:59Z","author":[{"first_name":"Wolfgang","last_name":"Müller","id":"16243","full_name":"Müller, Wolfgang"},{"full_name":"Lehrenfeld, Georg","last_name":"Lehrenfeld","first_name":"Georg"},{"last_name":"Tahedl","full_name":"Tahedl, C.","first_name":"C."}],"date_created":"2023-01-24T12:05:55Z","title":"Complete Visual Specification and Animations of Protocols","doi":"10.1109/ASPDAC.1995.486383","publication_identifier":{"isbn":["4-930813-67-0"]},"place":"Chiba, Japan ","year":"1995","citation":{"ama":"Müller W, Lehrenfeld G, Tahedl C. Complete Visual Specification and Animations of Protocols. In: <i>Proceedings of ASP-DAC’95/CHDL’95/VLSI’95 with EDA Technofair</i>. ; 1995. doi:<a href=\"https://doi.org/10.1109/ASPDAC.1995.486383\">10.1109/ASPDAC.1995.486383</a>","chicago":"Müller, Wolfgang, Georg Lehrenfeld, and C. Tahedl. “Complete Visual Specification and Animations of Protocols.” In <i>Proceedings of ASP-DAC’95/CHDL’95/VLSI’95 with EDA Technofair</i>. Chiba, Japan , 1995. <a href=\"https://doi.org/10.1109/ASPDAC.1995.486383\">https://doi.org/10.1109/ASPDAC.1995.486383</a>.","ieee":"W. Müller, G. Lehrenfeld, and C. Tahedl, “Complete Visual Specification and Animations of Protocols,” 1995, doi: <a href=\"https://doi.org/10.1109/ASPDAC.1995.486383\">10.1109/ASPDAC.1995.486383</a>.","short":"W. Müller, G. Lehrenfeld, C. Tahedl, in: Proceedings of ASP-DAC’95/CHDL’95/VLSI’95 with EDA Technofair, Chiba, Japan , 1995.","mla":"Müller, Wolfgang, et al. “Complete Visual Specification and Animations of Protocols.” <i>Proceedings of ASP-DAC’95/CHDL’95/VLSI’95 with EDA Technofair</i>, 1995, doi:<a href=\"https://doi.org/10.1109/ASPDAC.1995.486383\">10.1109/ASPDAC.1995.486383</a>.","bibtex":"@inproceedings{Müller_Lehrenfeld_Tahedl_1995, place={Chiba, Japan }, title={Complete Visual Specification and Animations of Protocols}, DOI={<a href=\"https://doi.org/10.1109/ASPDAC.1995.486383\">10.1109/ASPDAC.1995.486383</a>}, booktitle={Proceedings of ASP-DAC’95/CHDL’95/VLSI’95 with EDA Technofair}, author={Müller, Wolfgang and Lehrenfeld, Georg and Tahedl, C.}, year={1995} }","apa":"Müller, W., Lehrenfeld, G., &#38; Tahedl, C. (1995). Complete Visual Specification and Animations of Protocols. <i>Proceedings of ASP-DAC’95/CHDL’95/VLSI’95 with EDA Technofair</i>. <a href=\"https://doi.org/10.1109/ASPDAC.1995.486383\">https://doi.org/10.1109/ASPDAC.1995.486383</a>"},"_id":"39538","user_id":"5786","department":[{"_id":"672"}],"keyword":["Animation","Protocols","Timing","Computer languages","Electronic mail","Context modeling","Visualization","Control systems","Flow graphs","Trademarks"],"language":[{"iso":"eng"}],"type":"conference","publication":"Proceedings of ASP-DAC'95/CHDL'95/VLSI'95 with EDA Technofair","abstract":[{"text":"This article discusses the application of Pictorial Janus (PJ) for the rapid development and analysis of protocols by animation and complete visualization. In order to make PJ applicable in the context of hardware description we first extend PJ by timing facilities (Timed PJ) and introduce an approach for integrating VHDL models into this visual framework preserving the simulation semantics of VHDL. We finally give the example of the specification and animation of a non interlocked protocol.","lang":"eng"}],"status":"public"},{"extern":"1","user_id":"93826","department":[{"_id":"555"}],"_id":"40218","status":"public","type":"journal_article","doi":"10.1016/0304-4149(91)90095-t","author":[{"first_name":"R.","last_name":"Lasser","full_name":"Lasser, R."},{"first_name":"Margit","full_name":"Rösler, Margit","id":"37390","last_name":"Rösler"}],"volume":38,"date_updated":"2023-01-26T17:29:03Z","citation":{"ieee":"R. Lasser and M. Rösler, “Linear mean estimation of weakly stationary stochastic processes under the aspects of optimality and asymptotic optimality,” <i>Stochastic Processes and their Applications</i>, vol. 38, no. 2, pp. 279–293, 1991, doi: <a href=\"https://doi.org/10.1016/0304-4149(91)90095-t\">10.1016/0304-4149(91)90095-t</a>.","chicago":"Lasser, R., and Margit Rösler. “Linear Mean Estimation of Weakly Stationary Stochastic Processes under the Aspects of Optimality and Asymptotic Optimality.” <i>Stochastic Processes and Their Applications</i> 38, no. 2 (1991): 279–93. <a href=\"https://doi.org/10.1016/0304-4149(91)90095-t\">https://doi.org/10.1016/0304-4149(91)90095-t</a>.","ama":"Lasser R, Rösler M. Linear mean estimation of weakly stationary stochastic processes under the aspects of optimality and asymptotic optimality. <i>Stochastic Processes and their Applications</i>. 1991;38(2):279-293. doi:<a href=\"https://doi.org/10.1016/0304-4149(91)90095-t\">10.1016/0304-4149(91)90095-t</a>","apa":"Lasser, R., &#38; Rösler, M. (1991). Linear mean estimation of weakly stationary stochastic processes under the aspects of optimality and asymptotic optimality. <i>Stochastic Processes and Their Applications</i>, <i>38</i>(2), 279–293. <a href=\"https://doi.org/10.1016/0304-4149(91)90095-t\">https://doi.org/10.1016/0304-4149(91)90095-t</a>","mla":"Lasser, R., and Margit Rösler. “Linear Mean Estimation of Weakly Stationary Stochastic Processes under the Aspects of Optimality and Asymptotic Optimality.” <i>Stochastic Processes and Their Applications</i>, vol. 38, no. 2, Elsevier BV, 1991, pp. 279–93, doi:<a href=\"https://doi.org/10.1016/0304-4149(91)90095-t\">10.1016/0304-4149(91)90095-t</a>.","bibtex":"@article{Lasser_Rösler_1991, title={Linear mean estimation of weakly stationary stochastic processes under the aspects of optimality and asymptotic optimality}, volume={38}, DOI={<a href=\"https://doi.org/10.1016/0304-4149(91)90095-t\">10.1016/0304-4149(91)90095-t</a>}, number={2}, journal={Stochastic Processes and their Applications}, publisher={Elsevier BV}, author={Lasser, R. and Rösler, Margit}, year={1991}, pages={279–293} }","short":"R. Lasser, M. Rösler, Stochastic Processes and Their Applications 38 (1991) 279–293."},"intvolume":"        38","page":"279-293","publication_status":"published","publication_identifier":{"issn":["0304-4149"]},"language":[{"iso":"eng"}],"keyword":["Applied Mathematics","Modeling and Simulation","Statistics and Probability"],"publication":"Stochastic Processes and their Applications","title":"Linear mean estimation of weakly stationary stochastic processes under the aspects of optimality and asymptotic optimality","date_created":"2023-01-26T09:09:22Z","publisher":"Elsevier BV","year":"1991","issue":"2"}]