@book{53586,
  editor       = {{Bücker, Ulrich and Eikerling, Heinz Josef and Müller, Wolfgang}},
  isbn         = {{3-826598-84-9}},
  title        = {{{Proceedings of the VHE Workshop}}},
  year         = {{2002}},
}

@misc{18409,
  author       = {{Peckhaus, Volker}},
  booktitle    = {{zbMATH Open,Zbl. 0990.03001}},
  title        = {{{Tait, W. W., “Gödel’s Unpublished Papers on Foundations of Mathematics”, Philosophia Mathematica (3) 9 (2001), 87–126}}},
  year         = {{2002}},
}

@inproceedings{39382,
  abstract     = {{We present a rigorous but transparent semantics definition of the SpecC language that covers the execution of SpecC behaviors and their interaction with the kernel process. The semantics include wait, wait for, par, and try statements as they are introduced in SpecC. We present our definition in form of distributed abstract state machine (ASM) rules strictly following the lines of the SpecC Language Reference Manual. We mainly see our formal semantics in three application areas. First, it is a concise, unambiguous description for documentation and standardization. Second, it applies as a high-level, pseudo code-oriented specification for the implementation of a SpecC simulator. Finally, it is a first step for SpecC synthesis in order to identify similar concepts with other languages like VHDL and SystemC for the definition of common patterns and language subsets.}},
  author       = {{Müller, Wolfgang and Dömer, Rainer and Gerstlauer, Andreas}},
  booktitle    = {{Proceedings of the ISSS02}},
  isbn         = {{1-58113-576-9}},
  keywords     = {{Standardization, Kernel, Permission, Formal verification, Logic functions, Documentation, Reasoning about programs, Specification languages, Formal specifications, Software systems}},
  title        = {{{The Formal Execution Semantics of SpecC}}},
  doi          = {{10.1145/581199.581234 }},
  year         = {{2002}},
}

@inproceedings{39403,
  abstract     = {{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       = {{Flake, Stephan and Müller, Wolfgang}},
  booktitle    = {{Proceedings of HICSS-35}},
  isbn         = {{0-7695-1435-9}},
  keywords     = {{Unified modeling language, Logic, Formal verification, Real time systems, Programming profession, Vehicle dynamics, Software standards, Flexible manufacturing systems, Electronics industry, Protocols}},
  location     = {{Big Island, HI, USA }},
  title        = {{{Specification of Real-Time Properties for UML Models}}},
  doi          = {{10.1109/HICSS.2002.994469}},
  year         = {{2002}},
}

@article{39879,
  author       = {{Horstmann, J.T. and Hilleringmann, Ulrich and Goser, K.}},
  issn         = {{0167-9317}},
  journal      = {{Microelectronic Engineering}},
  keywords     = {{Electrical and Electronic Engineering, Surfaces, Coatings and Films, Condensed Matter Physics, Atomic and Molecular Physics, and Optics, Electronic, Optical and Magnetic Materials}},
  number       = {{1-4}},
  pages        = {{213--216}},
  publisher    = {{Elsevier BV}},
  title        = {{{1/f-Noise of sub-100 nm-MOS-transistors fabricated by a special deposition and etchback technique}}},
  doi          = {{10.1016/s0167-9317(00)00299-9}},
  volume       = {{53}},
  year         = {{2002}},
}

@article{39876,
  author       = {{Otterbach, R. and Hilleringmann, Ulrich and Horstmann, T.J. and Goser, K.}},
  issn         = {{0925-9635}},
  journal      = {{Diamond and Related Materials}},
  keywords     = {{Electrical and Electronic Engineering, Materials Chemistry, Mechanical Engineering, General Chemistry, Electronic, Optical and Magnetic Materials}},
  number       = {{3-7}},
  pages        = {{511--514}},
  publisher    = {{Elsevier BV}},
  title        = {{{Structures with a minimum feature size of less than 100 nm in CVD-diamond for sensor applications}}},
  doi          = {{10.1016/s0925-9635(01)00373-9}},
  volume       = {{10}},
  year         = {{2002}},
}

@inbook{43298,
  author       = {{Meier, Torsten and Reichelt, Matthias and Schlichenmaier, C. and Siggelkow, S. and Thomas, P. and Koch, S.W. and Weiser, S. and Sieh, C.}},
  booktitle    = {{Germany NIC Series Vol. 9}},
  editor       = {{Rollnik, Horst and Wolf, Dietrich}},
  isbn         = {{3-00-009055-X}},
  pages        = {{ 315--324}},
  publisher    = {{John von Neumann Institute for Computing}},
  title        = {{{Many-Body Correlation Effects in Photoexcited Semiconductor Heterostructures}}},
  year         = {{2002}},
}

@article{45307,
  author       = {{Mahnken, Rolf}},
  issn         = {{0045-7825}},
  journal      = {{Computer Methods in Applied Mechanics and Engineering}},
  keywords     = {{Computer Science Applications, General Physics and Astronomy, Mechanical Engineering, Mechanics of Materials, Computational Mechanics}},
  number       = {{39}},
  pages        = {{5057--5080}},
  publisher    = {{Elsevier BV}},
  title        = {{{Strength difference in compression and tension and pressure dependence of yielding in elasto-plasticity}}},
  doi          = {{10.1016/s0045-7825(00)00364-9}},
  volume       = {{190}},
  year         = {{2002}},
}

@article{45413,
  author       = {{Mahnken, Rolf and Steinmann, P.}},
  issn         = {{0363-9061}},
  journal      = {{International Journal for Numerical and Analytical Methods in Geomechanics}},
  keywords     = {{Mechanics of Materials, Geotechnical Engineering and Engineering Geology, General Materials Science, Computational Mechanics}},
  number       = {{5}},
  pages        = {{415--434}},
  publisher    = {{Wiley}},
  title        = {{{A finite element algorithm for parameter identification of material models for fluid saturated porous media}}},
  doi          = {{10.1002/nag.136}},
  volume       = {{25}},
  year         = {{2002}},
}

@article{45412,
  author       = {{Mahnken, Rolf and Kohlmeier, M.}},
  issn         = {{0045-7825}},
  journal      = {{Computer Methods in Applied Mechanics and Engineering}},
  keywords     = {{Computer Science Applications, General Physics and Astronomy, Mechanical Engineering, Mechanics of Materials, Computational Mechanics}},
  number       = {{32-33}},
  pages        = {{4259--4278}},
  publisher    = {{Elsevier BV}},
  title        = {{{Finite element simulation for rock salt with dilatancy boundary coupled to fluid permeation}}},
  doi          = {{10.1016/s0045-7825(00)00317-0}},
  volume       = {{190}},
  year         = {{2002}},
}

@article{45418,
  author       = {{Mahnken, Rolf and Tikhomirov, D. and Stein, E.}},
  issn         = {{0045-7949}},
  journal      = {{Computers & Structures}},
  keywords     = {{Computer Science Applications, Mechanical Engineering, General Materials Science, Modeling and Simulation, Civil and Structural Engineering}},
  number       = {{2}},
  pages        = {{135--143}},
  publisher    = {{Elsevier BV}},
  title        = {{{Implicit integration scheme and its consistent linearization for an elastoplastic-damage model with application to concrete}}},
  doi          = {{10.1016/s0045-7949(99)00089-9}},
  volume       = {{75}},
  year         = {{2002}},
}

@article{45423,
  author       = {{Mahnken, Rolf}},
  issn         = {{1069-8299}},
  journal      = {{Communications in Numerical Methods in Engineering}},
  keywords     = {{Applied Mathematics, Computational Theory and Mathematics, General Engineering, Modeling and Simulation, Software}},
  number       = {{10}},
  pages        = {{745--754}},
  publisher    = {{Wiley}},
  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}},
  volume       = {{15}},
  year         = {{2002}},
}

@article{45417,
  author       = {{Döbert, C. and Mahnken, Rolf and Stein, E.}},
  issn         = {{0178-7675}},
  journal      = {{Computational Mechanics}},
  keywords     = {{Applied Mathematics, Computational Mathematics, Computational Theory and Mathematics, Mechanical Engineering, Ocean Engineering, Computational Mechanics}},
  number       = {{5}},
  pages        = {{456--467}},
  publisher    = {{Springer Science and Business Media LLC}},
  title        = {{{Numerical simulation of interface debonding with a combined damage/friction constitutive model}}},
  doi          = {{10.1007/s004660050493}},
  volume       = {{25}},
  year         = {{2002}},
}

@article{45422,
  author       = {{Mahnken, Rolf}},
  issn         = {{0045-7949}},
  journal      = {{Computers &amp; Structures}},
  keywords     = {{Computer Science Applications, Mechanical Engineering, General Materials Science, Modeling and Simulation, Civil and Structural Engineering}},
  number       = {{2}},
  pages        = {{179--200}},
  publisher    = {{Elsevier BV}},
  title        = {{{A comprehensive study of a multiplicative elastoplasticity model coupled to damage including parameter identification}}},
  doi          = {{10.1016/s0045-7949(98)00296-x}},
  volume       = {{74}},
  year         = {{2002}},
}

@article{45424,
  author       = {{Mahnken, Rolf and Kuhl, Ellen}},
  issn         = {{0997-7538}},
  journal      = {{European Journal of Mechanics - A/Solids}},
  keywords     = {{General Physics and Astronomy, Mechanical Engineering, Mechanics of Materials, General Materials Science}},
  number       = {{5}},
  pages        = {{819--835}},
  publisher    = {{Elsevier BV}},
  title        = {{{Parameter identification of gradient enhanced damage models with the finite element method}}},
  doi          = {{10.1016/s0997-7538(99)00127-8}},
  volume       = {{18}},
  year         = {{2002}},
}

@article{45427,
  abstract     = {{<jats:p>In this work a gradient‐based optimization method is applied in order to determine material parameters for a viscoplastic model with dynamic yield surface coupled to damage as presented in 1997. To this end a sensitivity analysis consistent with the integration scheme presented previously is performed in a systematic manner, both for strain and stress controlled experiments. The algorithm is tested in two numerical examples: first, simulated data are used, in order to re‐obtain parameters for the case of damage under monotonic loading. In the second example material parameters are obtained based on experimental data for lcf‐testing of an austenetic stainless steel, thus showing a very good agreement with respect to hardening, rate and damage effects.</jats:p>}},
  author       = {{Mahnken, Rolf and Johansson, Magnus and Runesson, Kenneth}},
  issn         = {{0264-4401}},
  journal      = {{Engineering Computations}},
  keywords     = {{Computational Theory and Mathematics, Computer Science Applications, General Engineering, Software}},
  number       = {{7}},
  pages        = {{925--955}},
  publisher    = {{Emerald}},
  title        = {{{Parameter estimation for a viscoplastic damage model using a gradient‐based optimization algorithm}}},
  doi          = {{10.1108/02644409810236920}},
  volume       = {{15}},
  year         = {{2002}},
}

@article{45429,
  author       = {{Mahnken, Rolf and Stein, Erwin}},
  issn         = {{0045-7825}},
  journal      = {{Computer Methods in Applied Mechanics and Engineering}},
  keywords     = {{Computer Science Applications, General Physics and Astronomy, Mechanical Engineering, Mechanics of Materials, Computational Mechanics}},
  number       = {{3-4}},
  pages        = {{225--258}},
  publisher    = {{Elsevier BV}},
  title        = {{{A unified approach for parameter identification of inelastic material models in the frame of the finite element method}}},
  doi          = {{10.1016/0045-7825(96)00991-7}},
  volume       = {{136}},
  year         = {{2002}},
}

@article{45432,
  author       = {{Mahnken, Rolf and Stein, E}},
  issn         = {{0965-0393}},
  journal      = {{Modelling and Simulation in Materials Science and Engineering}},
  keywords     = {{Computer Science Applications, Mechanics of Materials, Condensed Matter Physics, General Materials Science, Modeling and Simulation}},
  number       = {{3A}},
  pages        = {{597--616}},
  publisher    = {{IOP Publishing}},
  title        = {{{The identification of parameters for visco-plastic models via finite-element methods and gradient methods}}},
  doi          = {{10.1088/0965-0393/2/3a/013}},
  volume       = {{2}},
  year         = {{2002}},
}

@article{45425,
  author       = {{Johansson, Magnus and Mahnken, Rolf and Runesson, Kenneth}},
  issn         = {{0029-5981}},
  journal      = {{International Journal for Numerical Methods in Engineering}},
  keywords     = {{Applied Mathematics, General Engineering, Numerical Analysis}},
  number       = {{11}},
  pages        = {{1727--1747}},
  publisher    = {{Wiley}},
  title        = {{{Efficient integration technique for generalized viscoplasticity coupled to damage}}},
  doi          = {{10.1002/(sici)1097-0207(19990420)44:11<1727::aid-nme568>3.0.co;2-p}},
  volume       = {{44}},
  year         = {{2002}},
}

@article{45430,
  author       = {{Mahnken, Rolf and Stein, Erwin}},
  issn         = {{0749-6419}},
  journal      = {{International Journal of Plasticity}},
  keywords     = {{Mechanical Engineering, Mechanics of Materials, General Materials Science}},
  number       = {{4}},
  pages        = {{451--479}},
  publisher    = {{Elsevier BV}},
  title        = {{{Parameter identification for viscoplastic models based on analytical derivatives of a least-squares functional and stability investigations}}},
  doi          = {{10.1016/s0749-6419(95)00016-x}},
  volume       = {{12}},
  year         = {{2002}},
}