---
_id: '39032'
abstract:
- lang: eng
  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.
author:
- first_name: Tim
  full_name: Schattkowsky, Tim
  last_name: Schattkowsky
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
citation:
  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>'
  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>
  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} }'
  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>.'
  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>.
  short: 'T. Schattkowsky, W. Müller, in: Proceedings of VL/HCC 05, Dallas, TX, USA,
    2005.'
date_created: 2023-01-24T08:18:10Z
date_updated: 2023-01-24T08:18:27Z
department:
- _id: '672'
doi: 10.1109/VLHCC.2005.64
keyword:
- Unified modeling language
- Software design
- Virtual machining
- Embedded system
- Programming
- Documentation
- Hardware
- Computer languages
- Operating systems
- Runtime
language:
- iso: eng
place: Dallas, TX, USA
publication: Proceedings of VL/HCC 05
publication_identifier:
  isbn:
  - 0-7695-2443-5
status: public
title: Transformation of UML State Machines for Direct Execution
type: conference
user_id: '5786'
year: '2005'
...
---
_id: '39061'
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.
author:
- first_name: Alexander
  full_name: Krupp, Alexander
  last_name: Krupp
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
- first_name: Ian
  full_name: Oliver, Ian
  last_name: Oliver
citation:
  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>'
  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>
  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} }'
  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>.
  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>.'
  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>.
  short: 'A. Krupp, W. Müller, I. Oliver, in: Proceedings of DATE’04 Designers’ Forum,
    Paris, 2004.'
conference:
  name: Proceedings Design, Automation and Test in Europe Conference and Exhibition
date_created: 2023-01-24T08:53:26Z
date_updated: 2023-01-24T08:53:31Z
department:
- _id: '672'
doi: 10.1109/DATE.2004.1269214
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
place: Paris
publication: Proceedings of DATE’04 Designers' Forum
publication_identifier:
  isbn:
  - 0-7695-2085-5
status: public
title: Formal Refinement and Model Checking of An Echo Cancellation Unit
type: conference
user_id: '5786'
year: '2004'
...
---
_id: '39069'
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.
author:
- first_name: Stephan
  full_name: Flake, Stephan
  last_name: Flake
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
citation:
  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>'
  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>
  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} }'
  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>.'
  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.'
conference:
  name: ' Proceedings of the Second International Conference on Software Engineering
    and Formal Methods'
date_created: 2023-01-24T09:03:36Z
date_updated: 2023-01-24T09:03:41Z
department:
- _id: '672'
doi: 10.1109/SEFM.2004.1347516
keyword:
- Unified modeling language
- Logic
- Clocks
- Boolean functions
- Application software
- Time factors
- Real time systems
- Formal verification
- Buffer storage
- Software packages
language:
- iso: eng
place: Beijing, China
publication: Proceedings of SEFM´04
publication_identifier:
  isbn:
  - 0-7695-2222-X
publisher: IEEE
status: public
title: Past- and Future-Oriented Time-Bound Temporal Properties with OCL
type: conference
user_id: '5786'
year: '2004'
...
---
_id: '39403'
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).
author:
- first_name: Stephan
  full_name: Flake, Stephan
  last_name: Flake
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
citation:
  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>'
  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>
  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} }'
  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>.'
  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>.
  short: 'S. Flake, W. Müller, in: Proceedings of HICSS-35, Big Island, HI, USA ,
    2002.'
conference:
  location: 'Big Island, HI, USA '
  name: Proceedings of the 35th Annual Hawaii International Conference on System Sciences
date_created: 2023-01-24T10:22:12Z
date_updated: 2023-01-24T10:22:16Z
department:
- _id: '672'
doi: 10.1109/HICSS.2002.994469
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
place: 'Big Island, HI, USA '
publication: Proceedings of HICSS-35
publication_identifier:
  isbn:
  - 0-7695-1435-9
status: public
title: Specification of Real-Time Properties for UML Models
type: conference
user_id: '5786'
year: '2002'
...
---
_id: '45418'
author:
- first_name: Rolf
  full_name: Mahnken, Rolf
  id: '335'
  last_name: Mahnken
- first_name: D.
  full_name: Tikhomirov, D.
  last_name: Tikhomirov
- first_name: E.
  full_name: Stein, E.
  last_name: Stein
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>
  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>
  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}
    }'
  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>.'
  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>.'
  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>.
  short: R. Mahnken, D. Tikhomirov, E. Stein, Computers &#38;amp; Structures 75 (2002)
    135–143.
date_created: 2023-05-31T12:05:43Z
date_updated: 2023-05-31T12:06:27Z
department:
- _id: '9'
- _id: '154'
doi: 10.1016/s0045-7949(99)00089-9
intvolume: '        75'
issue: '2'
keyword:
- Computer Science Applications
- Mechanical Engineering
- General Materials Science
- Modeling and Simulation
- Civil and Structural Engineering
language:
- iso: eng
page: 135-143
publication: Computers &amp; Structures
publication_identifier:
  issn:
  - 0045-7949
publication_status: published
publisher: Elsevier BV
quality_controlled: '1'
status: public
title: Implicit integration scheme and its consistent linearization for an elastoplastic-damage
  model with application to concrete
type: journal_article
user_id: '335'
volume: 75
year: '2002'
...
---
_id: '45423'
author:
- first_name: Rolf
  full_name: Mahnken, Rolf
  id: '335'
  last_name: Mahnken
citation:
  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>
  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>
  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} }'
  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>.'
  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.
date_created: 2023-05-31T12:14:42Z
date_updated: 2023-05-31T12:15:12Z
department:
- _id: '9'
- _id: '154'
doi: 10.1002/(sici)1099-0887(199910)15:10<745::aid-cnm288>3.0.co;2-r
intvolume: '        15'
issue: '10'
keyword:
- Applied Mathematics
- Computational Theory and Mathematics
- General Engineering
- Modeling and Simulation
- Software
language:
- iso: eng
page: 745-754
publication: Communications in Numerical Methods in Engineering
publication_identifier:
  issn:
  - 1069-8299
  - 1099-0887
publication_status: published
publisher: Wiley
quality_controlled: '1'
status: public
title: Improved implementation of an algorithm for non-linear isotropic/kinematic
  hardening in elastoplasticity
type: journal_article
user_id: '335'
volume: 15
year: '2002'
...
---
_id: '45422'
author:
- first_name: Rolf
  full_name: Mahnken, Rolf
  id: '335'
  last_name: Mahnken
citation:
  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>
  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>
  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} }'
  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>.'
  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>.
  short: R. Mahnken, Computers &#38;amp; Structures 74 (2002) 179–200.
date_created: 2023-05-31T12:13:28Z
date_updated: 2023-05-31T12:13:59Z
department:
- _id: '9'
- _id: '154'
doi: 10.1016/s0045-7949(98)00296-x
intvolume: '        74'
issue: '2'
keyword:
- Computer Science Applications
- Mechanical Engineering
- General Materials Science
- Modeling and Simulation
- Civil and Structural Engineering
language:
- iso: eng
page: 179-200
publication: Computers &amp; Structures
publication_identifier:
  issn:
  - 0045-7949
publication_status: published
publisher: Elsevier BV
quality_controlled: '1'
status: public
title: A comprehensive study of a multiplicative elastoplasticity model coupled to
  damage including parameter identification
type: journal_article
user_id: '335'
volume: 74
year: '2002'
...
---
_id: '45432'
author:
- first_name: Rolf
  full_name: Mahnken, Rolf
  id: '335'
  last_name: Mahnken
- first_name: E
  full_name: Stein, E
  last_name: Stein
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>
  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>
  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} }'
  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>.'
  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>.
  short: R. Mahnken, E. Stein, Modelling and Simulation in Materials Science and Engineering
    2 (2002) 597–616.
date_created: 2023-05-31T12:28:01Z
date_updated: 2023-05-31T12:28:27Z
department:
- _id: '9'
- _id: '154'
doi: 10.1088/0965-0393/2/3a/013
intvolume: '         2'
issue: 3A
keyword:
- Computer Science Applications
- Mechanics of Materials
- Condensed Matter Physics
- General Materials Science
- Modeling and Simulation
language:
- iso: eng
page: 597-616
publication: Modelling and Simulation in Materials Science and Engineering
publication_identifier:
  issn:
  - 0965-0393
  - 1361-651X
publication_status: published
publisher: IOP Publishing
quality_controlled: '1'
status: public
title: The identification of parameters for visco-plastic models via finite-element
  methods and gradient methods
type: journal_article
user_id: '335'
volume: 2
year: '2002'
...
---
_id: '39411'
abstract:
- lang: eng
  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.
author:
- first_name: Stephan
  full_name: Flake, Stephan
  last_name: Flake
- first_name: Christian
  full_name: Geiger, Christian
  last_name: Geiger
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
- first_name: Jürgen
  full_name: Ruf, Jürgen
  last_name: Ruf
citation:
  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>'
  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} }'
  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>.
  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>.'
  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.'
conference:
  name: 'Proceedings Tenth IEEE International Workshop on Enabling Technologies: Infrastructure
    for Collaborative Enterprises'
date_created: 2023-01-24T10:30:14Z
date_updated: 2023-01-24T10:30:21Z
department:
- _id: '672'
doi: 10.1109/ENABL.2001.953425
keyword:
- Virtual prototyping
- Animation
- Collaboration
- System analysis and design
- Feedback
- Application software
- Power system modeling
- Handicapped aids
- Process design
- Contracts
language:
- iso: eng
place: 'Cambridge, MA, USA '
publication: Proceedings of IEEE KMN 2001
publication_identifier:
  isbn:
  - 0-7695-1269-0
status: public
title: Customer-Oriented Systems Design through Virtual Prototyps
type: conference
user_id: '5786'
year: '2001'
...
---
_id: '39421'
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.
author:
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
- first_name: Jürgen
  full_name: Ruf, Jürgen
  last_name: Ruf
- first_name: D. W.
  full_name: Hoffmann, D. W.
  last_name: Hoffmann
- first_name: Joachim
  full_name: Gerlach, Joachim
  last_name: Gerlach
- first_name: Thomas
  full_name: Kropf, Thomas
  last_name: Kropf
- first_name: W.
  full_name: Rosenstiehl, W.
  last_name: Rosenstiehl
citation:
  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>'
  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>
  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} }'
  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>.'
  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>.'
  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.'
conference:
  name: ' Proceedings Design, Automation and Test in Europe. Conference and Exhibition
    2001'
date_created: 2023-01-24T10:39:33Z
date_updated: 2023-01-24T10:39:38Z
department:
- _id: '672'
doi: 10.1109/DATE.2001.915002
keyword:
- Yarn
- Formal verification
- Kernel
- Hardware design languages
- Electronic design automation and methodology
- Algebra
- Computational modeling
- Logic functions
- Computer languages
- Clocks
language:
- iso: eng
place: 'Munich, Germany '
publication: Proceedings of the Design, Automation, and Test in Europe (DATE’01)
publication_identifier:
  isbn:
  - 0-7695-0993-2
publisher: IEEE
status: public
title: The Simulation Semantics of SystemC
type: conference
user_id: '5786'
year: '2001'
...
---
_id: '39487'
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.
author:
- first_name: Christian
  full_name: Geiger, Christian
  last_name: Geiger
- first_name: G.
  full_name: Lehrenfeld, G.
  last_name: Lehrenfeld
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
citation:
  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>'
  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} }'
  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>.
  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>.'
  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>.
  short: 'C. Geiger, G. Lehrenfeld, W. Müller, in: Proceedings of HICSS-32, Maui,
    Hawaii, 1999.'
conference:
  location: Maui, Hawaii
  name: Proceedings of the 32nd Annual Hawaii International Conference on Systems
    Sciences 1999
date_created: 2023-01-24T11:33:05Z
date_updated: 2023-01-24T11:33:35Z
department:
- _id: '672'
doi: 10.1109/HICSS.1999.772621
keyword:
- Animation
- Computer languages
- Object oriented modeling
- Collaboration
- Process design
- Graphical user interfaces
- Jacobian matrices
- Standardization
- Feedback
- Software prototyping
language:
- iso: eng
place: Maui, Hawaii
publication: Proceedings of HICSS-32
publication_identifier:
  isbn:
  - 0-7695-0001-3
status: public
title: Visual Specification, Modeling, and Illustrations of Complex Systems
type: conference
user_id: '5786'
year: '1999'
...
---
_id: '39505'
abstract:
- lang: eng
  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.'
author:
- first_name: M.
  full_name: Dücker, M.
  last_name: Dücker
- first_name: Christian
  full_name: Geiger, Christian
  last_name: Geiger
- first_name: R.
  full_name: Hunstock, R.
  last_name: Hunstock
- first_name: Georg
  full_name: Lehrenfeld, Georg
  last_name: Lehrenfeld
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
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>'
  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>
  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} }'
  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>.
  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>.'
  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>.
  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.'
conference:
  name: 1997 IEEE Symposium on Visual Languages
date_created: 2023-01-24T11:48:57Z
date_updated: 2023-01-24T11:49:01Z
department:
- _id: '672'
doi: 10.1109/VL.1997.626601
keyword:
- Prototypes
- Layout
- Animation
- Command languages
- Application software
- Libraries
- Virtual reality
- Computer graphics
- Hardware
- Context modeling
language:
- iso: eng
place: Capri, Italy
publication: Proceedings of the 1997 IEEE Symposium on Visual Languages
publication_identifier:
  isbn:
  - 0-8186-8144-6
status: public
title: Visual-Textual Prototyping of 4D Scenes
type: conference
user_id: '5786'
year: '1997'
...
---
_id: '39538'
abstract:
- lang: eng
  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.
author:
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
- first_name: Georg
  full_name: Lehrenfeld, Georg
  last_name: Lehrenfeld
- first_name: C.
  full_name: Tahedl, C.
  last_name: Tahedl
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>'
  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>
  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} }'
  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>.'
  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>.
  short: 'W. Müller, G. Lehrenfeld, C. Tahedl, in: Proceedings of ASP-DAC’95/CHDL’95/VLSI’95
    with EDA Technofair, Chiba, Japan , 1995.'
date_created: 2023-01-24T12:05:55Z
date_updated: 2023-01-24T12:05:59Z
department:
- _id: '672'
doi: 10.1109/ASPDAC.1995.486383
keyword:
- Animation
- Protocols
- Timing
- Computer languages
- Electronic mail
- Context modeling
- Visualization
- Control systems
- Flow graphs
- Trademarks
language:
- iso: eng
place: 'Chiba, Japan '
publication: Proceedings of ASP-DAC'95/CHDL'95/VLSI'95 with EDA Technofair
publication_identifier:
  isbn:
  - 4-930813-67-0
status: public
title: Complete Visual Specification and Animations of Protocols
type: conference
user_id: '5786'
year: '1995'
...
---
_id: '40218'
author:
- first_name: R.
  full_name: Lasser, R.
  last_name: Lasser
- first_name: Margit
  full_name: Rösler, Margit
  id: '37390'
  last_name: Rösler
citation:
  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>
  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} }'
  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>.'
  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>.'
  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>.
  short: R. Lasser, M. Rösler, Stochastic Processes and Their Applications 38 (1991)
    279–293.
date_created: 2023-01-26T09:09:22Z
date_updated: 2023-01-26T17:29:03Z
department:
- _id: '555'
doi: 10.1016/0304-4149(91)90095-t
extern: '1'
intvolume: '        38'
issue: '2'
keyword:
- Applied Mathematics
- Modeling and Simulation
- Statistics and Probability
language:
- iso: eng
page: 279-293
publication: Stochastic Processes and their Applications
publication_identifier:
  issn:
  - 0304-4149
publication_status: published
publisher: Elsevier BV
status: public
title: Linear mean estimation of weakly stationary stochastic processes under the
  aspects of optimality and asymptotic optimality
type: journal_article
user_id: '93826'
volume: 38
year: '1991'
...