---
_id: '37050'
abstract:
- lang: eng
  text: The main obstacle for the wide acceptance of UML and SysML in the design of
    electronic systems is due to a major gap in the design flow between UML-based
    modeling and SystemC-based verification. To overcome this gap, we present an approach
    developed in the SATURN project which introduces UML profiles for the co-modeling
    of SystemC and C with code generation support in the context of the SysML tool
    suite ARTiSAN Studio®. We finally discuss the evaluation of the approach by two
    case studies.
author:
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
- first_name: Da
  full_name: He, Da
  last_name: He
- first_name: Fabian
  full_name: Mischkalla, Fabian
  last_name: Mischkalla
- first_name: Arthur
  full_name: Wegele, Arthur
  last_name: Wegele
- first_name: Adrian
  full_name: Larkham, Adrian
  last_name: Larkham
- first_name: Paul
  full_name: Whiston, Paul
  last_name: Whiston
- first_name: Pablo
  full_name: Penil, Pablo
  last_name: Penil
- first_name: Eugenio
  full_name: Villar, Eugenio
  last_name: Villar
- first_name: Nikolaos
  full_name: Mitas, Nikolaos
  last_name: Mitas
- first_name: Dimitros
  full_name: Kritharidis, Dimitros
  last_name: Kritharidis
- first_name: Florent
  full_name: Azcarate, Florent
  last_name: Azcarate
- first_name: Manuel
  full_name: Carballeda, Manuel
  last_name: Carballeda
citation:
  ama: 'Müller W, He D, Mischkalla F, et al. The SATURN Approach to SysML-based HW/SW
    Codesign. In: <i>Proceedings of the IEEE Computer Society Annual Symposium on
    VLSI</i>. Lecture Notes in Electrical Engineering. ; 2010. doi:<a href="https://doi.org/10.1007/978-94-007-1488-5_9">10.1007/978-94-007-1488-5_9</a>'
  apa: Müller, W., He, D., Mischkalla, F., Wegele, A., Larkham, A., Whiston, P., Penil,
    P., Villar, E., Mitas, N., Kritharidis, D., Azcarate, F., &#38; Carballeda, M.
    (2010). The SATURN Approach to SysML-based HW/SW Codesign. <i>Proceedings of the
    IEEE Computer Society Annual Symposium on VLSI</i>. <a href="https://doi.org/10.1007/978-94-007-1488-5_9">https://doi.org/10.1007/978-94-007-1488-5_9</a>
  bibtex: '@inproceedings{Müller_He_Mischkalla_Wegele_Larkham_Whiston_Penil_Villar_Mitas_Kritharidis_et
    al._2010, series={Lecture Notes in Electrical Engineering}, title={The SATURN
    Approach to SysML-based HW/SW Codesign}, DOI={<a href="https://doi.org/10.1007/978-94-007-1488-5_9">10.1007/978-94-007-1488-5_9</a>},
    booktitle={Proceedings of the IEEE Computer Society Annual Symposium on VLSI},
    author={Müller, Wolfgang and He, Da and Mischkalla, Fabian and Wegele, Arthur
    and Larkham, Adrian and Whiston, Paul and Penil, Pablo and Villar, Eugenio and
    Mitas, Nikolaos and Kritharidis, Dimitros and et al.}, year={2010}, collection={Lecture
    Notes in Electrical Engineering} }'
  chicago: Müller, Wolfgang, Da He, Fabian Mischkalla, Arthur Wegele, Adrian Larkham,
    Paul Whiston, Pablo Penil, et al. “The SATURN Approach to SysML-Based HW/SW Codesign.”
    In <i>Proceedings of the IEEE Computer Society Annual Symposium on VLSI</i>. Lecture
    Notes in Electrical Engineering, 2010. <a href="https://doi.org/10.1007/978-94-007-1488-5_9">https://doi.org/10.1007/978-94-007-1488-5_9</a>.
  ieee: 'W. Müller <i>et al.</i>, “The SATURN Approach to SysML-based HW/SW Codesign,”
    2010, doi: <a href="https://doi.org/10.1007/978-94-007-1488-5_9">10.1007/978-94-007-1488-5_9</a>.'
  mla: Müller, Wolfgang, et al. “The SATURN Approach to SysML-Based HW/SW Codesign.”
    <i>Proceedings of the IEEE Computer Society Annual Symposium on VLSI</i>, 2010,
    doi:<a href="https://doi.org/10.1007/978-94-007-1488-5_9">10.1007/978-94-007-1488-5_9</a>.
  short: 'W. Müller, D. He, F. Mischkalla, A. Wegele, A. Larkham, P. Whiston, P. Penil,
    E. Villar, N. Mitas, D. Kritharidis, F. Azcarate, M. Carballeda, in: Proceedings
    of the IEEE Computer Society Annual Symposium on VLSI, 2010.'
date_created: 2023-01-17T11:19:45Z
date_updated: 2023-01-17T11:19:53Z
department:
- _id: '672'
doi: 10.1007/978-94-007-1488-5_9
keyword:
- Communicate Sequential Process     Virtual Platform     Smart Camera     Synchronous
  Data Flow     Artisan Studio
language:
- iso: eng
publication: Proceedings of the IEEE Computer Society Annual Symposium on VLSI
publication_identifier:
  eisbn:
  - 978-94-007-1488-5
series_title: Lecture Notes in Electrical Engineering
status: public
title: The SATURN Approach to SysML-based HW/SW Codesign
type: conference
user_id: '5786'
year: '2010'
...
---
_id: '37048'
abstract:
- lang: eng
  text: We introduce a structured methodology for the generation of executable test
    environments from textual requirement specifications via UML class diagrams and
    the application of the classification tree methodology for embedded systems. The
    first phase is a stepwise transformation from unstructured English text into a
    textual normal form (TNF), which is automatically translated into UML class diagrams.
    After annotations of the class diagrams and the definition of test cases by sequence
    diagrams, both are converted into classification trees. From the classification
    trees we can finally generate SystemVerilog code. The methodology is introduced
    and evaluated by the example of an Adaptive Cruise Controller.
author:
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
- first_name: Alexander
  full_name: Bol, Alexander
  last_name: Bol
- first_name: Alexander
  full_name: Krupp, Alexander
  last_name: Krupp
- first_name: Ola
  full_name: Lundkvist, Ola
  last_name: Lundkvist
citation:
  ama: 'Müller W, Bol A, Krupp A, Lundkvist O. Generation of Executable Testbenches
    from Natural Language Requirement Specifications for Embedded Real-Time Systems.
    In: Kleinjohann L, Kleinjohann B, eds. Springer Verlag; 2010. doi:<a href="https://doi.org/10.1007/978-3-642-15234-4_9">10.1007/978-3-642-15234-4_9</a>'
  apa: Müller, W., Bol, A., Krupp, A., &#38; Lundkvist, O. (2010). <i>Generation of
    Executable Testbenches from Natural Language Requirement Specifications for Embedded
    Real-Time Systems</i> (L. Kleinjohann &#38; B. Kleinjohann, Eds.). Springer Verlag.
    <a href="https://doi.org/10.1007/978-3-642-15234-4_9">https://doi.org/10.1007/978-3-642-15234-4_9</a>
  bibtex: '@inproceedings{Müller_Bol_Krupp_Lundkvist_2010, place={Dordrecht}, title={Generation
    of Executable Testbenches from Natural Language Requirement Specifications for
    Embedded Real-Time Systems}, DOI={<a href="https://doi.org/10.1007/978-3-642-15234-4_9">10.1007/978-3-642-15234-4_9</a>},
    publisher={Springer Verlag}, author={Müller, Wolfgang and Bol, Alexander and Krupp,
    Alexander and Lundkvist, Ola}, editor={Kleinjohann, L. and Kleinjohann, B.}, year={2010}
    }'
  chicago: 'Müller, Wolfgang, Alexander Bol, Alexander Krupp, and Ola Lundkvist. “Generation
    of Executable Testbenches from Natural Language Requirement Specifications for
    Embedded Real-Time Systems.” edited by L. Kleinjohann and B. Kleinjohann. Dordrecht:
    Springer Verlag, 2010. <a href="https://doi.org/10.1007/978-3-642-15234-4_9">https://doi.org/10.1007/978-3-642-15234-4_9</a>.'
  ieee: 'W. Müller, A. Bol, A. Krupp, and O. Lundkvist, “Generation of Executable
    Testbenches from Natural Language Requirement Specifications for Embedded Real-Time
    Systems,” 2010, doi: <a href="https://doi.org/10.1007/978-3-642-15234-4_9">10.1007/978-3-642-15234-4_9</a>.'
  mla: Müller, Wolfgang, et al. <i>Generation of Executable Testbenches from Natural
    Language Requirement Specifications for Embedded Real-Time Systems</i>. Edited
    by L. Kleinjohann and B. Kleinjohann, Springer Verlag, 2010, doi:<a href="https://doi.org/10.1007/978-3-642-15234-4_9">10.1007/978-3-642-15234-4_9</a>.
  short: 'W. Müller, A. Bol, A. Krupp, O. Lundkvist, in: L. Kleinjohann, B. Kleinjohann
    (Eds.), Springer Verlag, Dordrecht, 2010.'
conference:
  name: IFIP Working Conference on Distributed and Parallel Embedded Systems (DIPES
    2010)
date_created: 2023-01-17T11:09:48Z
date_updated: 2023-01-17T11:09:54Z
department:
- _id: '672'
doi: 10.1007/978-3-642-15234-4_9
editor:
- first_name: L.
  full_name: Kleinjohann, L.
  last_name: Kleinjohann
- first_name: B.
  full_name: Kleinjohann, B.
  last_name: Kleinjohann
keyword:
- Natural Language     UML     SystemVerilog     Testbenches
language:
- iso: eng
place: Dordrecht
publication_identifier:
  isbn:
  - 978-3-642-15233-7
publisher: Springer Verlag
status: public
title: Generation of Executable Testbenches from Natural Language Requirement Specifications
  for Embedded Real-Time Systems
type: conference
user_id: '5786'
year: '2010'
...
---
_id: '37049'
author:
- first_name: Tao
  full_name: Xie, Tao
  last_name: Xie
- first_name: Florian
  full_name: Letombe, Florian
  last_name: Letombe
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
citation:
  ama: 'Xie T, Letombe F, Müller W. Mutation-Analysis Directed Constrained Random
    Verification. In: Kleinjohann L, Kleinjohann B, eds. Springer Verlag; 2010.'
  apa: Xie, T., Letombe, F., &#38; Müller, W. (2010). <i>Mutation-Analysis Directed
    Constrained Random Verification</i> (L. Kleinjohann &#38; B. Kleinjohann, Eds.).
    Springer Verlag.
  bibtex: '@inproceedings{Xie_Letombe_Müller_2010, place={Dordrecht}, title={Mutation-Analysis
    Directed Constrained Random Verification}, publisher={Springer Verlag}, author={Xie,
    Tao and Letombe, Florian and Müller, Wolfgang}, editor={Kleinjohann, L. and Kleinjohann,
    B.}, year={2010} }'
  chicago: 'Xie, Tao, Florian Letombe, and Wolfgang Müller. “Mutation-Analysis Directed
    Constrained Random Verification.” edited by L. Kleinjohann and B. Kleinjohann.
    Dordrecht: Springer Verlag, 2010.'
  ieee: T. Xie, F. Letombe, and W. Müller, “Mutation-Analysis Directed Constrained
    Random Verification,” 2010.
  mla: Xie, Tao, et al. <i>Mutation-Analysis Directed Constrained Random Verification</i>.
    Edited by L. Kleinjohann and B. Kleinjohann, Springer Verlag, 2010.
  short: 'T. Xie, F. Letombe, W. Müller, in: L. Kleinjohann, B. Kleinjohann (Eds.),
    Springer Verlag, Dordrecht, 2010.'
conference:
  name: IFIP Working Conference on Distributed and Parallel Embedded Systems (DIPES
    2010)
date_created: 2023-01-17T11:11:51Z
date_updated: 2023-01-17T11:12:52Z
department:
- _id: '672'
editor:
- first_name: L.
  full_name: Kleinjohann, L.
  last_name: Kleinjohann
- first_name: B.
  full_name: Kleinjohann, B.
  last_name: Kleinjohann
language:
- iso: eng
place: Dordrecht
publisher: Springer Verlag
status: public
title: Mutation-Analysis Directed Constrained Random Verification
type: conference
user_id: '5786'
year: '2010'
...
---
_id: '37051'
author:
- first_name: Tao
  full_name: Xie, Tao
  last_name: Xie
- first_name: Gilles B.
  full_name: Defo, Gilles B.
  last_name: Defo
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
citation:
  ama: 'Xie T, Defo GB, Müller W. An Eclipse-based Framework for the IP-XACT-enabled
    Assembly of Mixed-Level IPs. In: ; 2010.'
  apa: Xie, T., Defo, G. B., &#38; Müller, W. (2010). <i>An Eclipse-based Framework
    for the IP-XACT-enabled Assembly of Mixed-Level IPs</i>. First Workshop on Hands-on
    Platforms and tools for model-based engineering of Embedded Systems (HoPES 2010),
    Paris.
  bibtex: '@inproceedings{Xie_Defo_Müller_2010, place={Paris}, title={An Eclipse-based
    Framework for the IP-XACT-enabled Assembly of Mixed-Level IPs}, author={Xie, Tao
    and Defo, Gilles B. and Müller, Wolfgang}, year={2010} }'
  chicago: Xie, Tao, Gilles B. Defo, and Wolfgang Müller. “An Eclipse-Based Framework
    for the IP-XACT-Enabled Assembly of Mixed-Level IPs.” Paris, 2010.
  ieee: T. Xie, G. B. Defo, and W. Müller, “An Eclipse-based Framework for the IP-XACT-enabled
    Assembly of Mixed-Level IPs,” presented at the First Workshop on Hands-on Platforms
    and tools for model-based engineering of Embedded Systems (HoPES 2010), Paris,
    2010.
  mla: Xie, Tao, et al. <i>An Eclipse-Based Framework for the IP-XACT-Enabled Assembly
    of Mixed-Level IPs</i>. 2010.
  short: 'T. Xie, G.B. Defo, W. Müller, in: Paris, 2010.'
conference:
  location: Paris
  name: First Workshop on Hands-on Platforms and tools for model-based engineering
    of Embedded Systems (HoPES 2010)
date_created: 2023-01-17T11:22:10Z
date_updated: 2023-01-17T11:22:16Z
department:
- _id: '672'
language:
- iso: eng
place: Paris
status: public
title: An Eclipse-based Framework for the IP-XACT-enabled Assembly of Mixed-Level
  IPs
type: conference
user_id: '5786'
year: '2010'
...
---
_id: '37057'
abstract:
- lang: eng
  text: Many heterogeneous embedded systems, for example industrial automation and
    automotive applications, require hard-real time constraints to be exhaustively
    verified - which is a challenging task for the verification engineer. To cope
    with complexity, verification techniques working on different abstraction levels
    are best practice. SystemC is a versatile C++ based design and verification language,
    offering various mechanisms and constructs required for embedded systems modeling.
    Using the add-on SystemC Verification Library (SCV) elemental constrained-random
    stimuli techniques may be used for verification. However, SCV has several drawbacks
    such as lack of functional coverage. In this paper we present a functional coverage
    library that implements parts of the IEEE 1800-2005 SystemVerilog standard and
    allows capturing functional coverage throughout the design and verification process
    with SystemC. Moreover, we will demonstrate the usability of the approach with
    a case study working on a CAN bus model written in SystemC.
author:
- first_name: Gilles B.
  full_name: Defo, Gilles B.
  last_name: Defo
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
- first_name: Christoph
  full_name: Kuznik, Christoph
  last_name: Kuznik
citation:
  ama: 'Defo GB, Müller W, Kuznik C. Verification of a CAN Bus Model in SystemC with
    Functional Coverage. In: <i>Proceedings of SIES 2010</i>. IEEE; 2010. doi:<a href="https://doi.org/10.1109/SIES.2010.5551379">10.1109/SIES.2010.5551379</a>'
  apa: Defo, G. B., Müller, W., &#38; Kuznik, C. (2010). Verification of a CAN Bus
    Model in SystemC with Functional Coverage. <i>Proceedings of SIES 2010</i>. International
    Symposium on Industrial Embedded System (SIES),  Trento, Italy. <a href="https://doi.org/10.1109/SIES.2010.5551379">https://doi.org/10.1109/SIES.2010.5551379</a>
  bibtex: '@inproceedings{Defo_Müller_Kuznik_2010, place={ Trento, Italy}, title={Verification
    of a CAN Bus Model in SystemC with Functional Coverage}, DOI={<a href="https://doi.org/10.1109/SIES.2010.5551379">10.1109/SIES.2010.5551379</a>},
    booktitle={Proceedings of SIES 2010}, publisher={IEEE}, author={Defo, Gilles B.
    and Müller, Wolfgang and Kuznik, Christoph}, year={2010} }'
  chicago: 'Defo, Gilles B., Wolfgang Müller, and Christoph Kuznik. “Verification
    of a CAN Bus Model in SystemC with Functional Coverage.” In <i>Proceedings of
    SIES 2010</i>.  Trento, Italy: IEEE, 2010. <a href="https://doi.org/10.1109/SIES.2010.5551379">https://doi.org/10.1109/SIES.2010.5551379</a>.'
  ieee: 'G. B. Defo, W. Müller, and C. Kuznik, “Verification of a CAN Bus Model in
    SystemC with Functional Coverage,” presented at the International Symposium on
    Industrial Embedded System (SIES),  Trento, Italy, 2010, doi: <a href="https://doi.org/10.1109/SIES.2010.5551379">10.1109/SIES.2010.5551379</a>.'
  mla: Defo, Gilles B., et al. “Verification of a CAN Bus Model in SystemC with Functional
    Coverage.” <i>Proceedings of SIES 2010</i>, IEEE, 2010, doi:<a href="https://doi.org/10.1109/SIES.2010.5551379">10.1109/SIES.2010.5551379</a>.
  short: 'G.B. Defo, W. Müller, C. Kuznik, in: Proceedings of SIES 2010, IEEE,  Trento,
    Italy, 2010.'
conference:
  location: ' Trento, Italy'
  name: International Symposium on Industrial Embedded System (SIES)
date_created: 2023-01-17T11:34:56Z
date_updated: 2023-01-17T11:35:03Z
department:
- _id: '672'
doi: 10.1109/SIES.2010.5551379
keyword:
- Libraries
- Generators
- Transfer functions
- Monitoring
- Computational modeling
- Driver circuits
- Adaptation model
language:
- iso: eng
place: ' Trento, Italy'
publication: Proceedings of SIES 2010
publication_identifier:
  eisbn:
  - 978-1-4244-5841-7
publisher: IEEE
status: public
title: Verification of a CAN Bus Model in SystemC with Functional Coverage
type: conference
user_id: '5786'
year: '2010'
...
---
_id: '37056'
abstract:
- lang: eng
  text: In this paper we present an approach to increase the fault tolerance in FlexRay
    networks by introducing backup nodes to replace defect ECUs (Electronic Control
    Units). In order to reduce the memory requirements of such backup nodes, we distribute
    redundant tasks over different nodes and propose the distributed coordinated migration
    of tasks of the defect ECU to the backup node at runtime. This approach enhances
    our former work in, where we extended the FlexRay bus schedule by redundant slots
    to consider changes in the communication/slot assignment and investigated and
    evaluated different solutions to migrate the redundant tasks to the backup node
    using the static and/or dynamic segment of the communication cycle for transmissions.
    We present the approach of distributed coordination for migration and communication
    instead of additional dedicated coordinator nodes to further increase the fault
    tolerance. With this approach we improve the safety of FlexRay networks by avoiding
    a possible single point of failure due to a dedicated coordinator node also minimizing
    the necessary time needed for a reconfiguration after an ECU failure. Furthermore,
    we reduce the overhead within the communication and the demand for additional
    hardware components.
author:
- first_name: Kay
  full_name: Klobedanz, Kay
  last_name: Klobedanz
- first_name: Gilles B.
  full_name: Defo, Gilles B.
  last_name: Defo
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
- first_name: Timo
  full_name: Kerstan, Timo
  last_name: Kerstan
citation:
  ama: 'Klobedanz K, Defo GB, Müller W, Kerstan T. Distributed Coordination of Task
    Migration for Fault-Tolerant FlexRay Networks. In: <i>Proceedings of SIES 2010</i>.
    ; 2010. doi:<a href="https://doi.org/10.1109/SIES.2010.5551384">10.1109/SIES.2010.5551384</a>'
  apa: Klobedanz, K., Defo, G. B., Müller, W., &#38; Kerstan, T. (2010). Distributed
    Coordination of Task Migration for Fault-Tolerant FlexRay Networks. <i>Proceedings
    of SIES 2010</i>. International Symposium on Industrial Embedded System (SIES).
    <a href="https://doi.org/10.1109/SIES.2010.5551384">https://doi.org/10.1109/SIES.2010.5551384</a>
  bibtex: '@inproceedings{Klobedanz_Defo_Müller_Kerstan_2010, place={Trento, Italien},
    title={Distributed Coordination of Task Migration for Fault-Tolerant FlexRay Networks},
    DOI={<a href="https://doi.org/10.1109/SIES.2010.5551384">10.1109/SIES.2010.5551384</a>},
    booktitle={Proceedings of SIES 2010}, author={Klobedanz, Kay and Defo, Gilles
    B. and Müller, Wolfgang and Kerstan, Timo}, year={2010} }'
  chicago: Klobedanz, Kay, Gilles B. Defo, Wolfgang Müller, and Timo Kerstan. “Distributed
    Coordination of Task Migration for Fault-Tolerant FlexRay Networks.” In <i>Proceedings
    of SIES 2010</i>. Trento, Italien, 2010. <a href="https://doi.org/10.1109/SIES.2010.5551384">https://doi.org/10.1109/SIES.2010.5551384</a>.
  ieee: 'K. Klobedanz, G. B. Defo, W. Müller, and T. Kerstan, “Distributed Coordination
    of Task Migration for Fault-Tolerant FlexRay Networks,” presented at the International
    Symposium on Industrial Embedded System (SIES), 2010, doi: <a href="https://doi.org/10.1109/SIES.2010.5551384">10.1109/SIES.2010.5551384</a>.'
  mla: Klobedanz, Kay, et al. “Distributed Coordination of Task Migration for Fault-Tolerant
    FlexRay Networks.” <i>Proceedings of SIES 2010</i>, 2010, doi:<a href="https://doi.org/10.1109/SIES.2010.5551384">10.1109/SIES.2010.5551384</a>.
  short: 'K. Klobedanz, G.B. Defo, W. Müller, T. Kerstan, in: Proceedings of SIES
    2010, Trento, Italien, 2010.'
conference:
  name: International Symposium on Industrial Embedded System (SIES)
date_created: 2023-01-17T11:31:38Z
date_updated: 2023-01-17T11:31:47Z
department:
- _id: '672'
doi: 10.1109/SIES.2010.5551384
keyword:
- Fault tolerant systems
- Protocols
- Redundancy
- Runtime
- Payloads
- Schedules
language:
- iso: eng
place: Trento, Italien
publication: Proceedings of SIES 2010
publication_identifier:
  eisbn:
  - 978-1-4244-5841-7
status: public
title: Distributed Coordination of Task Migration for Fault-Tolerant FlexRay Networks
type: conference
user_id: '5786'
year: '2010'
...
---
_id: '37053'
abstract:
- lang: eng
  text: Seamless HW/SW codesign flows support early verification of hardware and Hardware-dependent
    Software (HdS) like drivers, operating systems, and firmware. For early estimation
    and verification, the application of SystemC in combination with Instruction Set
    Simulators and Software Emulators like QEMU is widely accepted. In this article,
    we present an advanced design flow for HW, (RT)OS and HdS refinement and verification
    with focus on the transition from abstract RTOS verification to full system RTOS/HdS
    emulation. In the context of assertion-based verification, we introduce a set
    of generic real-time properties which can be reused and verified at different
    abstraction levels and discuss their application. The properties are presented
    by the means of IEEE standard PSL assertions which are applied for mixed SystemC/HdS
    models.
author:
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
- first_name: Marcio F.
  full_name: da S. Oliveira, Marcio F.
  last_name: da S. Oliveira
- first_name: Henning
  full_name: Zabel, Henning
  last_name: Zabel
- first_name: Markus
  full_name: Becker, Markus
  last_name: Becker
citation:
  ama: 'Müller W, da S. Oliveira MF, Zabel H, Becker M. Verification of Real-Time
    Properties for Hardware-Dependant Software. In: <i>Proceedings of HLDVT2010</i>.
    IEEE; 2010.'
  apa: Müller, W., da S. Oliveira, M. F., Zabel, H., &#38; Becker, M. (2010). Verification
    of Real-Time Properties for Hardware-Dependant Software. <i>Proceedings of HLDVT2010</i>.
    IEEE International High Level Design Validation and Test Workshop (HLDVT), Anaheim,
    FL, USA.
  bibtex: '@inproceedings{Müller_da S. Oliveira_Zabel_Becker_2010, title={Verification
    of Real-Time Properties for Hardware-Dependant Software}, booktitle={Proceedings
    of HLDVT2010}, publisher={IEEE}, author={Müller, Wolfgang and da S. Oliveira,
    Marcio F. and Zabel, Henning and Becker, Markus}, year={2010} }'
  chicago: Müller, Wolfgang, Marcio F. da S. Oliveira, Henning Zabel, and Markus Becker.
    “Verification of Real-Time Properties for Hardware-Dependant Software.” In <i>Proceedings
    of HLDVT2010</i>. IEEE, 2010.
  ieee: W. Müller, M. F. da S. Oliveira, H. Zabel, and M. Becker, “Verification of
    Real-Time Properties for Hardware-Dependant Software,” presented at the IEEE International
    High Level Design Validation and Test Workshop (HLDVT), Anaheim, FL, USA, 2010.
  mla: Müller, Wolfgang, et al. “Verification of Real-Time Properties for Hardware-Dependant
    Software.” <i>Proceedings of HLDVT2010</i>, IEEE, 2010.
  short: 'W. Müller, M.F. da S. Oliveira, H. Zabel, M. Becker, in: Proceedings of
    HLDVT2010, IEEE, 2010.'
conference:
  location: Anaheim, FL, USA
  name: IEEE International High Level Design Validation and Test Workshop (HLDVT)
date_created: 2023-01-17T11:28:26Z
date_updated: 2023-01-17T11:28:30Z
department:
- _id: '672'
keyword:
- Hardware
- Microprogramming
- Application software
- Timing
- Protocols
- Virtual prototyping
- Real time systems
- Sampling methods
- Operating systems
- Emulation
language:
- iso: eng
publication: Proceedings of HLDVT2010
publication_identifier:
  eisbn:
  - 978-1-4244-7806-4
publisher: IEEE
status: public
title: Verification of Real-Time Properties for Hardware-Dependant Software
type: conference
user_id: '5786'
year: '2010'
...
---
_id: '37060'
author:
- first_name: Marcio F. S.
  full_name: Oliveira, Marcio F. S.
  last_name: Oliveira
- first_name: Francisco Assis M.
  full_name: do Nascimento, Francisco Assis M.
  last_name: do Nascimento
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
citation:
  ama: 'Oliveira MFS, do Nascimento FAM, Müller W. Design Space Abstraction and Metamodeling
    for Embedded Systems Design Space Exploration. In: <i>Proceedings of MoMPES 2010</i>.
    ; 2010.'
  apa: Oliveira, M. F. S., do Nascimento, F. A. M., &#38; Müller, W. (2010). Design
    Space Abstraction and Metamodeling for Embedded Systems Design Space Exploration.
    <i>Proceedings of MoMPES 2010</i>.
  bibtex: '@inproceedings{Oliveira_do Nascimento_Müller_2010, place={Antwerp, Belgium},
    title={Design Space Abstraction and Metamodeling for Embedded Systems Design Space
    Exploration}, booktitle={Proceedings of MoMPES 2010}, author={Oliveira, Marcio
    F. S. and do Nascimento, Francisco Assis M. and Müller, Wolfgang}, year={2010}
    }'
  chicago: Oliveira, Marcio F. S., Francisco Assis M. do Nascimento, and Wolfgang
    Müller. “Design Space Abstraction and Metamodeling for Embedded Systems Design
    Space Exploration.” In <i>Proceedings of MoMPES 2010</i>. Antwerp, Belgium, 2010.
  ieee: M. F. S. Oliveira, F. A. M. do Nascimento, and W. Müller, “Design Space Abstraction
    and Metamodeling for Embedded Systems Design Space Exploration,” 2010.
  mla: Oliveira, Marcio F. S., et al. “Design Space Abstraction and Metamodeling for
    Embedded Systems Design Space Exploration.” <i>Proceedings of MoMPES 2010</i>,
    2010.
  short: 'M.F.S. Oliveira, F.A.M. do Nascimento, W. Müller, in: Proceedings of MoMPES
    2010, Antwerp, Belgium, 2010.'
date_created: 2023-01-17T11:37:39Z
date_updated: 2023-01-17T11:37:44Z
department:
- _id: '672'
language:
- iso: eng
place: Antwerp, Belgium
publication: Proceedings of MoMPES 2010
status: public
title: Design Space Abstraction and Metamodeling for Embedded Systems Design Space
  Exploration
type: conference
user_id: '5786'
year: '2010'
...
---
_id: '37313'
author:
- first_name: Stephan
  full_name: Dahmen, Stephan
  id: '95659'
  last_name: Dahmen
citation:
  ama: Dahmen S. <i>Evidenzbasierte Soziale Arbeit. Zur Rolle Wissenschaftlichen Wissens
    Für Sozialarbeiterisches Handeln</i>. Vol 17. Schneider Verlag Hohengehren; 2010.
  apa: Dahmen, S. (2010). <i>Evidenzbasierte Soziale Arbeit. Zur Rolle wissenschaftlichen
    Wissens für sozialarbeiterisches Handeln</i> (Vol. 17). Schneider Verlag Hohengehren.
  bibtex: '@book{Dahmen_2010, title={Evidenzbasierte Soziale Arbeit. Zur Rolle wissenschaftlichen
    Wissens für sozialarbeiterisches Handeln}, volume={17}, publisher={Schneider Verlag
    Hohengehren}, author={Dahmen, Stephan}, year={2010} }'
  chicago: Dahmen, Stephan. <i>Evidenzbasierte Soziale Arbeit. Zur Rolle Wissenschaftlichen
    Wissens Für Sozialarbeiterisches Handeln</i>. Vol. 17. Schneider Verlag Hohengehren,
    2010.
  ieee: S. Dahmen, <i>Evidenzbasierte Soziale Arbeit. Zur Rolle wissenschaftlichen
    Wissens für sozialarbeiterisches Handeln</i>, vol. 17. Schneider Verlag Hohengehren,
    2010.
  mla: Dahmen, Stephan. <i>Evidenzbasierte Soziale Arbeit. Zur Rolle Wissenschaftlichen
    Wissens Für Sozialarbeiterisches Handeln</i>. Schneider Verlag Hohengehren, 2010.
  short: S. Dahmen, Evidenzbasierte Soziale Arbeit. Zur Rolle Wissenschaftlichen Wissens
    Für Sozialarbeiterisches Handeln, Schneider Verlag Hohengehren, 2010.
date_created: 2023-01-18T10:50:47Z
date_updated: 2023-01-18T10:51:12Z
department:
- _id: '723'
- _id: '724'
- _id: '36'
intvolume: '        17'
language:
- iso: eng
publisher: Schneider Verlag Hohengehren
status: public
title: Evidenzbasierte Soziale Arbeit. Zur Rolle wissenschaftlichen Wissens für sozialarbeiterisches
  Handeln
type: book
user_id: '48187'
volume: 17
year: '2010'
...
---
_id: '27886'
author:
- first_name: Regine
  full_name: Bigga, Regine
  id: '620'
  last_name: Bigga
- first_name: Kirsten
  full_name: Schlegel-Matthies, Kirsten
  id: '459'
  last_name: Schlegel-Matthies
citation:
  ama: Bigga R, Schlegel-Matthies K. Verbraucherbildung und Konsum – Was wissen Studierende?
    – Überlegungen zur Hochschuldidaktik. <i>Haushalt &#38; Bildung</i>. 2010;87(3):48-57.
  apa: Bigga, R., &#38; Schlegel-Matthies, K. (2010). Verbraucherbildung und Konsum
    – Was wissen Studierende? – Überlegungen zur Hochschuldidaktik. <i>Haushalt &#38;
    Bildung</i>, <i>87</i>(3), 48–57.
  bibtex: '@article{Bigga_Schlegel-Matthies_2010, title={Verbraucherbildung und Konsum
    – Was wissen Studierende? – Überlegungen zur Hochschuldidaktik}, volume={87},
    number={3}, journal={Haushalt &#38; Bildung}, author={Bigga, Regine and Schlegel-Matthies,
    Kirsten}, year={2010}, pages={48–57} }'
  chicago: 'Bigga, Regine, and Kirsten Schlegel-Matthies. “Verbraucherbildung und
    Konsum – Was wissen Studierende? – Überlegungen zur Hochschuldidaktik.” <i>Haushalt
    &#38; Bildung</i> 87, no. 3 (2010): 48–57.'
  ieee: R. Bigga and K. Schlegel-Matthies, “Verbraucherbildung und Konsum – Was wissen
    Studierende? – Überlegungen zur Hochschuldidaktik,” <i>Haushalt &#38; Bildung</i>,
    vol. 87, no. 3, pp. 48–57, 2010.
  mla: Bigga, Regine, and Kirsten Schlegel-Matthies. “Verbraucherbildung und Konsum
    – Was wissen Studierende? – Überlegungen zur Hochschuldidaktik.” <i>Haushalt &#38;
    Bildung</i>, vol. 87, no. 3, 2010, pp. 48–57.
  short: R. Bigga, K. Schlegel-Matthies, Haushalt &#38; Bildung 87 (2010) 48–57.
date_created: 2021-11-25T19:37:24Z
date_updated: 2023-01-18T12:09:25Z
department:
- _id: '35'
- _id: '22'
- _id: '396'
- _id: '394'
- _id: '17'
intvolume: '        87'
issue: '3'
language:
- iso: ger
page: 48-57
publication: Haushalt & Bildung
publication_status: published
status: public
title: Verbraucherbildung und Konsum – Was wissen Studierende? – Überlegungen zur
  Hochschuldidaktik
type: journal_article
user_id: '61597'
volume: 87
year: '2010'
...
---
_id: '31285'
author:
- first_name: Britt-Marie
  full_name: Schuster, Britt-Marie
  id: '17386'
  last_name: Schuster
citation:
  ama: Schuster B-M. <i>Auf dem Weg zur Fachsprache. Sprachliche Professionalisierung
    in der psychiatrischen Schreibpraxis (1800–1939) (Reihe Germanistische Linguistik,
    Habilitation) </i>. Vol 286. de Gruyter; 2010.
  apa: Schuster, B.-M. (2010). <i>Auf dem Weg zur Fachsprache. Sprachliche Professionalisierung
    in der psychiatrischen Schreibpraxis (1800–1939) (Reihe Germanistische Linguistik,
    Habilitation) </i> (Vol. 286). de Gruyter.
  bibtex: '@book{Schuster_2010, place={Berlin, New York }, title={Auf dem Weg zur
    Fachsprache. Sprachliche Professionalisierung in der psychiatrischen Schreibpraxis
    (1800–1939) (Reihe Germanistische Linguistik, Habilitation) }, volume={286}, publisher={de
    Gruyter}, author={Schuster, Britt-Marie}, year={2010} }'
  chicago: 'Schuster, Britt-Marie. <i>Auf dem Weg zur Fachsprache. Sprachliche Professionalisierung
    in der psychiatrischen Schreibpraxis (1800–1939) (Reihe Germanistische Linguistik,
    Habilitation) </i>. Vol. 286. Berlin, New York : de Gruyter, 2010.'
  ieee: 'B.-M. Schuster, <i>Auf dem Weg zur Fachsprache. Sprachliche Professionalisierung
    in der psychiatrischen Schreibpraxis (1800–1939) (Reihe Germanistische Linguistik,
    Habilitation) </i>, vol. 286. Berlin, New York : de Gruyter, 2010.'
  mla: Schuster, Britt-Marie. <i>Auf dem Weg zur Fachsprache. Sprachliche Professionalisierung
    in der psychiatrischen Schreibpraxis (1800–1939) (Reihe Germanistische Linguistik,
    Habilitation) </i>. de Gruyter, 2010.
  short: B.-M. Schuster, Auf dem Weg zur Fachsprache. Sprachliche Professionalisierung
    in der psychiatrischen Schreibpraxis (1800–1939) (Reihe Germanistische Linguistik,
    Habilitation) , de Gruyter, Berlin, New York , 2010.
date_created: 2022-05-17T12:42:09Z
date_updated: 2023-01-18T14:58:34Z
department:
- _id: '745'
intvolume: '       286'
language:
- iso: ger
place: 'Berlin, New York '
publisher: de Gruyter
status: public
title: 'Auf dem Weg zur Fachsprache. Sprachliche Professionalisierung in der psychiatrischen
  Schreibpraxis (1800–1939) (Reihe Germanistische Linguistik, Habilitation) '
type: book
user_id: '17386'
volume: 286
year: '2010'
...
---
_id: '37517'
author:
- first_name: Jutta
  full_name: Weber, Jutta
  id: '31494'
  last_name: Weber
citation:
  ama: 'Weber J. Technikwissenschaft / Technowissenschaft. In: Sandkühler H-J, ed.
    <i>Enzyklopädie Philosophie Bd. 3</i>. Vol 3. Felix Meiner Verlag; 2010:2717u-2721b.'
  apa: Weber, J. (2010). Technikwissenschaft / Technowissenschaft. In H.-J. Sandkühler
    (Ed.), <i>Enzyklopädie Philosophie Bd. 3</i> (Vol. 3, pp. 2717u–2721b). Felix
    Meiner Verlag.
  bibtex: '@inbook{Weber_2010, place={Hamburg}, title={Technikwissenschaft / Technowissenschaft},
    volume={3}, booktitle={Enzyklopädie Philosophie Bd. 3}, publisher={Felix Meiner
    Verlag}, author={Weber, Jutta}, editor={Sandkühler, Hans-Jörg}, year={2010}, pages={2717u–2721b}
    }'
  chicago: 'Weber, Jutta. “Technikwissenschaft / Technowissenschaft.” In <i>Enzyklopädie
    Philosophie Bd. 3</i>, edited by Hans-Jörg Sandkühler, 3:2717u–21. Hamburg: Felix
    Meiner Verlag, 2010.'
  ieee: 'J. Weber, “Technikwissenschaft / Technowissenschaft,” in <i>Enzyklopädie
    Philosophie Bd. 3</i>, vol. 3, H.-J. Sandkühler, Ed. Hamburg: Felix Meiner Verlag,
    2010, pp. 2717u–2721b.'
  mla: Weber, Jutta. “Technikwissenschaft / Technowissenschaft.” <i>Enzyklopädie Philosophie
    Bd. 3</i>, edited by Hans-Jörg Sandkühler, vol. 3, Felix Meiner Verlag, 2010,
    pp. 2717u–21b.
  short: 'J. Weber, in: H.-J. Sandkühler (Ed.), Enzyklopädie Philosophie Bd. 3, Felix
    Meiner Verlag, Hamburg, 2010, pp. 2717u–2721b.'
date_created: 2023-01-19T08:29:25Z
date_updated: 2023-01-19T08:30:16Z
department:
- _id: '411'
editor:
- first_name: Hans-Jörg
  full_name: Sandkühler, Hans-Jörg
  last_name: Sandkühler
extern: '1'
intvolume: '         3'
language:
- iso: ger
main_file_link:
- open_access: '1'
  url: https://juttaweber.eu/wordpress/wp-content/uploads/2021/03/Weber_Technikwissenschaft_preprint.pdf
oa: '1'
page: 2717u-2721b
place: Hamburg
publication: Enzyklopädie Philosophie Bd. 3
publisher: Felix Meiner Verlag
status: public
title: Technikwissenschaft / Technowissenschaft
type: encyclopedia_article
user_id: '14932'
volume: 3
year: '2010'
...
---
_id: '37527'
author:
- first_name: Jutta
  full_name: Weber, Jutta
  id: '31494'
  last_name: Weber
citation:
  ama: 'Weber J. Leben. In: Sandkühler H-J, ed. <i>Enzyklopädie Philosophie Bd. 2</i>.
    Vol 2. Felix Meiner Verlag; 2010:1377u-1382b.'
  apa: Weber, J. (2010). Leben. In H.-J. Sandkühler (Ed.), <i>Enzyklopädie Philosophie
    Bd. 2</i> (Vol. 2, pp. 1377u–1382b). Felix Meiner Verlag.
  bibtex: '@inbook{Weber_2010, place={Hamburg}, title={Leben}, volume={2}, booktitle={Enzyklopädie
    Philosophie Bd. 2}, publisher={Felix Meiner Verlag}, author={Weber, Jutta}, editor={Sandkühler,
    Hans-Jörg}, year={2010}, pages={1377u–1382b} }'
  chicago: 'Weber, Jutta. “Leben.” In <i>Enzyklopädie Philosophie Bd. 2</i>, edited
    by Hans-Jörg Sandkühler, 2:1377u–82. Hamburg: Felix Meiner Verlag, 2010.'
  ieee: 'J. Weber, “Leben,” in <i>Enzyklopädie Philosophie Bd. 2</i>, vol. 2, H.-J.
    Sandkühler, Ed. Hamburg: Felix Meiner Verlag, 2010, pp. 1377u–1382b.'
  mla: Weber, Jutta. “Leben.” <i>Enzyklopädie Philosophie Bd. 2</i>, edited by Hans-Jörg
    Sandkühler, vol. 2, Felix Meiner Verlag, 2010, pp. 1377u–82b.
  short: 'J. Weber, in: H.-J. Sandkühler (Ed.), Enzyklopädie Philosophie Bd. 2, Felix
    Meiner Verlag, Hamburg, 2010, pp. 1377u–1382b.'
date_created: 2023-01-19T09:31:19Z
date_updated: 2023-01-19T09:31:43Z
department:
- _id: '411'
editor:
- first_name: Hans-Jörg
  full_name: Sandkühler, Hans-Jörg
  last_name: Sandkühler
extern: '1'
intvolume: '         2'
language:
- iso: ger
page: 1377u-1382b
place: Hamburg
publication: Enzyklopädie Philosophie Bd. 2
publisher: Felix Meiner Verlag
status: public
title: Leben
type: encyclopedia_article
user_id: '14932'
volume: 2
year: '2010'
...
---
_id: '37566'
citation:
  ama: Weber J, ed. <i>Interdisziplinierung? Über Den Wissenstransfer Zwischen Den
    Geistes-, Sozial- Und Technowissenschaften</i>. transcript; 2010.
  apa: Weber, J. (Ed.). (2010). <i>Interdisziplinierung? Über den Wissenstransfer
    zwischen den Geistes-, Sozial- und Technowissenschaften</i>. transcript.
  bibtex: '@book{Weber_2010, place={Bielefeld}, title={Interdisziplinierung? Über
    den Wissenstransfer zwischen den Geistes-, Sozial- und Technowissenschaften},
    publisher={transcript}, year={2010} }'
  chicago: 'Weber, Jutta, ed. <i>Interdisziplinierung? Über Den Wissenstransfer Zwischen
    Den Geistes-, Sozial- Und Technowissenschaften</i>. Bielefeld: transcript, 2010.'
  ieee: 'J. Weber, Ed., <i>Interdisziplinierung? Über den Wissenstransfer zwischen
    den Geistes-, Sozial- und Technowissenschaften</i>. Bielefeld: transcript, 2010.'
  mla: Weber, Jutta, editor. <i>Interdisziplinierung? Über Den Wissenstransfer Zwischen
    Den Geistes-, Sozial- Und Technowissenschaften</i>. transcript, 2010.
  short: J. Weber, ed., Interdisziplinierung? Über Den Wissenstransfer Zwischen Den
    Geistes-, Sozial- Und Technowissenschaften, transcript, Bielefeld, 2010.
date_created: 2023-01-19T11:21:28Z
date_updated: 2023-01-19T11:22:28Z
department:
- _id: '411'
editor:
- first_name: Jutta
  full_name: Weber, Jutta
  id: '31494'
  last_name: Weber
extern: '1'
language:
- iso: eng
place: Bielefeld
publisher: transcript
status: public
title: Interdisziplinierung? Über den Wissenstransfer zwischen den Geistes-, Sozial-
  und Technowissenschaften
type: book_editor
user_id: '14932'
year: '2010'
...
---
_id: '22607'
author:
- first_name: M.
  full_name: Maxisch, M.
  last_name: Maxisch
- first_name: C.
  full_name: Ebbert, C.
  last_name: Ebbert
- first_name: B.
  full_name: Torun, B.
  last_name: Torun
- first_name: N.
  full_name: Fink, N.
  last_name: Fink
- first_name: Maria Teresa
  full_name: de los Arcos de Pedro, Maria Teresa
  id: '54556'
  last_name: de los Arcos de Pedro
- first_name: J.
  full_name: Lackmann, J.
  last_name: Lackmann
- first_name: H.J.
  full_name: Maier, H.J.
  last_name: Maier
- first_name: G.
  full_name: Grundmeier, G.
  last_name: Grundmeier
citation:
  ama: Maxisch M, Ebbert C, Torun B, et al. PM-IRRAS studies of the adsorption and
    stability of organophosphonate monolayers on passivated NiTi surfaces. <i>Applied
    Surface Science</i>. Published online 2010:2011-2018. doi:<a href="https://doi.org/10.1016/j.apsusc.2010.09.044">10.1016/j.apsusc.2010.09.044</a>
  apa: Maxisch, M., Ebbert, C., Torun, B., Fink, N., de los Arcos de Pedro, M. T.,
    Lackmann, J., Maier, H. J., &#38; Grundmeier, G. (2010). PM-IRRAS studies of the
    adsorption and stability of organophosphonate monolayers on passivated NiTi surfaces.
    <i>Applied Surface Science</i>, 2011–2018. <a href="https://doi.org/10.1016/j.apsusc.2010.09.044">https://doi.org/10.1016/j.apsusc.2010.09.044</a>
  bibtex: '@article{Maxisch_Ebbert_Torun_Fink_de los Arcos de Pedro_Lackmann_Maier_Grundmeier_2010,
    title={PM-IRRAS studies of the adsorption and stability of organophosphonate monolayers
    on passivated NiTi surfaces}, DOI={<a href="https://doi.org/10.1016/j.apsusc.2010.09.044">10.1016/j.apsusc.2010.09.044</a>},
    journal={Applied Surface Science}, author={Maxisch, M. and Ebbert, C. and Torun,
    B. and Fink, N. and de los Arcos de Pedro, Maria Teresa and Lackmann, J. and Maier,
    H.J. and Grundmeier, G.}, year={2010}, pages={2011–2018} }'
  chicago: Maxisch, M., C. Ebbert, B. Torun, N. Fink, Maria Teresa de los Arcos de
    Pedro, J. Lackmann, H.J. Maier, and G. Grundmeier. “PM-IRRAS Studies of the Adsorption
    and Stability of Organophosphonate Monolayers on Passivated NiTi Surfaces.” <i>Applied
    Surface Science</i>, 2010, 2011–18. <a href="https://doi.org/10.1016/j.apsusc.2010.09.044">https://doi.org/10.1016/j.apsusc.2010.09.044</a>.
  ieee: 'M. Maxisch <i>et al.</i>, “PM-IRRAS studies of the adsorption and stability
    of organophosphonate monolayers on passivated NiTi surfaces,” <i>Applied Surface
    Science</i>, pp. 2011–2018, 2010, doi: <a href="https://doi.org/10.1016/j.apsusc.2010.09.044">10.1016/j.apsusc.2010.09.044</a>.'
  mla: Maxisch, M., et al. “PM-IRRAS Studies of the Adsorption and Stability of Organophosphonate
    Monolayers on Passivated NiTi Surfaces.” <i>Applied Surface Science</i>, 2010,
    pp. 2011–18, doi:<a href="https://doi.org/10.1016/j.apsusc.2010.09.044">10.1016/j.apsusc.2010.09.044</a>.
  short: M. Maxisch, C. Ebbert, B. Torun, N. Fink, M.T. de los Arcos de Pedro, J.
    Lackmann, H.J. Maier, G. Grundmeier, Applied Surface Science (2010) 2011–2018.
date_created: 2021-07-07T11:31:32Z
date_updated: 2023-01-24T08:27:47Z
department:
- _id: '302'
doi: 10.1016/j.apsusc.2010.09.044
extern: '1'
language:
- iso: eng
page: 2011-2018
publication: Applied Surface Science
publication_identifier:
  issn:
  - 0169-4332
publication_status: published
status: public
title: PM-IRRAS studies of the adsorption and stability of organophosphonate monolayers
  on passivated NiTi surfaces
type: journal_article
user_id: '54556'
year: '2010'
...
---
_id: '39742'
author:
- first_name: M.A.
  full_name: Zöller, M.A.
  last_name: Zöller
- first_name: N.
  full_name: Stich, N.
  last_name: Stich
- first_name: S.A.
  full_name: Benning, S.A.
  last_name: Benning
- first_name: A.
  full_name: Hoischen, A.
  last_name: Hoischen
- first_name: Heinz-Siegfried
  full_name: Kitzerow, Heinz-Siegfried
  id: '254'
  last_name: Kitzerow
citation:
  ama: 'Zöller MA, Stich N, Benning SA, Hoischen A, Kitzerow H-S. Bold relief fabrication
    by means of electroconvection: basic properties of a suitable mixture. <i>Liquid
    Crystals</i>. 2010;37(4):383-388. doi:<a href="https://doi.org/10.1080/02678291003632603">10.1080/02678291003632603</a>'
  apa: 'Zöller, M. A., Stich, N., Benning, S. A., Hoischen, A., &#38; Kitzerow, H.-S.
    (2010). Bold relief fabrication by means of electroconvection: basic properties
    of a suitable mixture. <i>Liquid Crystals</i>, <i>37</i>(4), 383–388. <a href="https://doi.org/10.1080/02678291003632603">https://doi.org/10.1080/02678291003632603</a>'
  bibtex: '@article{Zöller_Stich_Benning_Hoischen_Kitzerow_2010, title={Bold relief
    fabrication by means of electroconvection: basic properties of a suitable mixture},
    volume={37}, DOI={<a href="https://doi.org/10.1080/02678291003632603">10.1080/02678291003632603</a>},
    number={4}, journal={Liquid Crystals}, publisher={Informa UK Limited}, author={Zöller,
    M.A. and Stich, N. and Benning, S.A. and Hoischen, A. and Kitzerow, Heinz-Siegfried},
    year={2010}, pages={383–388} }'
  chicago: 'Zöller, M.A., N. Stich, S.A. Benning, A. Hoischen, and Heinz-Siegfried
    Kitzerow. “Bold Relief Fabrication by Means of Electroconvection: Basic Properties
    of a Suitable Mixture.” <i>Liquid Crystals</i> 37, no. 4 (2010): 383–88. <a href="https://doi.org/10.1080/02678291003632603">https://doi.org/10.1080/02678291003632603</a>.'
  ieee: 'M. A. Zöller, N. Stich, S. A. Benning, A. Hoischen, and H.-S. Kitzerow, “Bold
    relief fabrication by means of electroconvection: basic properties of a suitable
    mixture,” <i>Liquid Crystals</i>, vol. 37, no. 4, pp. 383–388, 2010, doi: <a href="https://doi.org/10.1080/02678291003632603">10.1080/02678291003632603</a>.'
  mla: 'Zöller, M. A., et al. “Bold Relief Fabrication by Means of Electroconvection:
    Basic Properties of a Suitable Mixture.” <i>Liquid Crystals</i>, vol. 37, no.
    4, Informa UK Limited, 2010, pp. 383–88, doi:<a href="https://doi.org/10.1080/02678291003632603">10.1080/02678291003632603</a>.'
  short: M.A. Zöller, N. Stich, S.A. Benning, A. Hoischen, H.-S. Kitzerow, Liquid
    Crystals 37 (2010) 383–388.
date_created: 2023-01-24T18:47:53Z
date_updated: 2023-01-24T18:48:58Z
department:
- _id: '313'
- _id: '638'
doi: 10.1080/02678291003632603
intvolume: '        37'
issue: '4'
keyword:
- Condensed Matter Physics
- General Materials Science
- General Chemistry
language:
- iso: eng
page: 383-388
publication: Liquid Crystals
publication_identifier:
  issn:
  - 0267-8292
  - 1366-5855
publication_status: published
publisher: Informa UK Limited
status: public
title: 'Bold relief fabrication by means of electroconvection: basic properties of
  a suitable mixture'
type: journal_article
user_id: '254'
volume: 37
year: '2010'
...
---
_id: '39740'
author:
- first_name: Martin
  full_name: Urbanski, Martin
  last_name: Urbanski
- first_name: Brandy
  full_name: Kinkead, Brandy
  last_name: Kinkead
- first_name: Torsten
  full_name: Hegmann, Torsten
  last_name: Hegmann
- first_name: Heinz-Siegfried
  full_name: Kitzerow, Heinz-Siegfried
  id: '254'
  last_name: Kitzerow
citation:
  ama: Urbanski M, Kinkead B, Hegmann T, Kitzerow H-S. Director field of birefringent
    stripes in liquid crystal/nanoparticle dispersions. <i>Liquid Crystals</i>. 2010;37(9):1151-1156.
    doi:<a href="https://doi.org/10.1080/02678292.2010.489160">10.1080/02678292.2010.489160</a>
  apa: Urbanski, M., Kinkead, B., Hegmann, T., &#38; Kitzerow, H.-S. (2010). Director
    field of birefringent stripes in liquid crystal/nanoparticle dispersions. <i>Liquid
    Crystals</i>, <i>37</i>(9), 1151–1156. <a href="https://doi.org/10.1080/02678292.2010.489160">https://doi.org/10.1080/02678292.2010.489160</a>
  bibtex: '@article{Urbanski_Kinkead_Hegmann_Kitzerow_2010, title={Director field
    of birefringent stripes in liquid crystal/nanoparticle dispersions}, volume={37},
    DOI={<a href="https://doi.org/10.1080/02678292.2010.489160">10.1080/02678292.2010.489160</a>},
    number={9}, journal={Liquid Crystals}, publisher={Informa UK Limited}, author={Urbanski,
    Martin and Kinkead, Brandy and Hegmann, Torsten and Kitzerow, Heinz-Siegfried},
    year={2010}, pages={1151–1156} }'
  chicago: 'Urbanski, Martin, Brandy Kinkead, Torsten Hegmann, and Heinz-Siegfried
    Kitzerow. “Director Field of Birefringent Stripes in Liquid Crystal/Nanoparticle
    Dispersions.” <i>Liquid Crystals</i> 37, no. 9 (2010): 1151–56. <a href="https://doi.org/10.1080/02678292.2010.489160">https://doi.org/10.1080/02678292.2010.489160</a>.'
  ieee: 'M. Urbanski, B. Kinkead, T. Hegmann, and H.-S. Kitzerow, “Director field
    of birefringent stripes in liquid crystal/nanoparticle dispersions,” <i>Liquid
    Crystals</i>, vol. 37, no. 9, pp. 1151–1156, 2010, doi: <a href="https://doi.org/10.1080/02678292.2010.489160">10.1080/02678292.2010.489160</a>.'
  mla: Urbanski, Martin, et al. “Director Field of Birefringent Stripes in Liquid
    Crystal/Nanoparticle Dispersions.” <i>Liquid Crystals</i>, vol. 37, no. 9, Informa
    UK Limited, 2010, pp. 1151–56, doi:<a href="https://doi.org/10.1080/02678292.2010.489160">10.1080/02678292.2010.489160</a>.
  short: M. Urbanski, B. Kinkead, T. Hegmann, H.-S. Kitzerow, Liquid Crystals 37 (2010)
    1151–1156.
date_created: 2023-01-24T18:46:15Z
date_updated: 2023-01-24T18:46:39Z
department:
- _id: '313'
- _id: '230'
- _id: '638'
doi: 10.1080/02678292.2010.489160
intvolume: '        37'
issue: '9'
keyword:
- Condensed Matter Physics
- General Materials Science
- General Chemistry
language:
- iso: eng
page: 1151-1156
publication: Liquid Crystals
publication_identifier:
  issn:
  - 0267-8292
  - 1366-5855
publication_status: published
publisher: Informa UK Limited
status: public
title: Director field of birefringent stripes in liquid crystal/nanoparticle dispersions
type: journal_article
user_id: '254'
volume: 37
year: '2010'
...
---
_id: '39741'
author:
- first_name: Heinz-Siegfried
  full_name: Kitzerow, Heinz-Siegfried
  id: '254'
  last_name: Kitzerow
citation:
  ama: 'Kitzerow H-S. Blue Phases: Prior Art, Potential Polar Effects, Challenges.
    <i>Ferroelectrics</i>. 2010;395(1):66-85. doi:<a href="https://doi.org/10.1080/00150191003683807">10.1080/00150191003683807</a>'
  apa: 'Kitzerow, H.-S. (2010). Blue Phases: Prior Art, Potential Polar Effects, Challenges.
    <i>Ferroelectrics</i>, <i>395</i>(1), 66–85. <a href="https://doi.org/10.1080/00150191003683807">https://doi.org/10.1080/00150191003683807</a>'
  bibtex: '@article{Kitzerow_2010, title={Blue Phases: Prior Art, Potential Polar
    Effects, Challenges}, volume={395}, DOI={<a href="https://doi.org/10.1080/00150191003683807">10.1080/00150191003683807</a>},
    number={1}, journal={Ferroelectrics}, publisher={Informa UK Limited}, author={Kitzerow,
    Heinz-Siegfried}, year={2010}, pages={66–85} }'
  chicago: 'Kitzerow, Heinz-Siegfried. “Blue Phases: Prior Art, Potential Polar Effects,
    Challenges.” <i>Ferroelectrics</i> 395, no. 1 (2010): 66–85. <a href="https://doi.org/10.1080/00150191003683807">https://doi.org/10.1080/00150191003683807</a>.'
  ieee: 'H.-S. Kitzerow, “Blue Phases: Prior Art, Potential Polar Effects, Challenges,”
    <i>Ferroelectrics</i>, vol. 395, no. 1, pp. 66–85, 2010, doi: <a href="https://doi.org/10.1080/00150191003683807">10.1080/00150191003683807</a>.'
  mla: 'Kitzerow, Heinz-Siegfried. “Blue Phases: Prior Art, Potential Polar Effects,
    Challenges.” <i>Ferroelectrics</i>, vol. 395, no. 1, Informa UK Limited, 2010,
    pp. 66–85, doi:<a href="https://doi.org/10.1080/00150191003683807">10.1080/00150191003683807</a>.'
  short: H.-S. Kitzerow, Ferroelectrics 395 (2010) 66–85.
date_created: 2023-01-24T18:47:05Z
date_updated: 2023-01-24T18:47:37Z
department:
- _id: '313'
- _id: '230'
- _id: '638'
doi: 10.1080/00150191003683807
intvolume: '       395'
issue: '1'
keyword:
- Condensed Matter Physics
- Electronic
- Optical and Magnetic Materials
language:
- iso: eng
page: 66-85
publication: Ferroelectrics
publication_identifier:
  issn:
  - 0015-0193
  - 1563-5112
publication_status: published
publisher: Informa UK Limited
status: public
title: 'Blue Phases: Prior Art, Potential Polar Effects, Challenges'
type: journal_article
user_id: '254'
volume: 395
year: '2010'
...
---
_id: '39974'
author:
- first_name: Heinz-Siegfried
  full_name: Kitzerow, Heinz-Siegfried
  id: '254'
  last_name: Kitzerow
citation:
  ama: Kitzerow H-S. Tunable photonic crystals. <i>Liquid Crystals Today</i>. 2010;11(4):3-7.
    doi:<a href="https://doi.org/10.1080/1464518021000069229">10.1080/1464518021000069229</a>
  apa: Kitzerow, H.-S. (2010). Tunable photonic crystals. <i>Liquid Crystals Today</i>,
    <i>11</i>(4), 3–7. <a href="https://doi.org/10.1080/1464518021000069229">https://doi.org/10.1080/1464518021000069229</a>
  bibtex: '@article{Kitzerow_2010, title={Tunable photonic crystals}, volume={11},
    DOI={<a href="https://doi.org/10.1080/1464518021000069229">10.1080/1464518021000069229</a>},
    number={4}, journal={Liquid Crystals Today}, publisher={Informa UK Limited}, author={Kitzerow,
    Heinz-Siegfried}, year={2010}, pages={3–7} }'
  chicago: 'Kitzerow, Heinz-Siegfried. “Tunable Photonic Crystals.” <i>Liquid Crystals
    Today</i> 11, no. 4 (2010): 3–7. <a href="https://doi.org/10.1080/1464518021000069229">https://doi.org/10.1080/1464518021000069229</a>.'
  ieee: 'H.-S. Kitzerow, “Tunable photonic crystals,” <i>Liquid Crystals Today</i>,
    vol. 11, no. 4, pp. 3–7, 2010, doi: <a href="https://doi.org/10.1080/1464518021000069229">10.1080/1464518021000069229</a>.'
  mla: Kitzerow, Heinz-Siegfried. “Tunable Photonic Crystals.” <i>Liquid Crystals
    Today</i>, vol. 11, no. 4, Informa UK Limited, 2010, pp. 3–7, doi:<a href="https://doi.org/10.1080/1464518021000069229">10.1080/1464518021000069229</a>.
  short: H.-S. Kitzerow, Liquid Crystals Today 11 (2010) 3–7.
date_created: 2023-01-25T11:36:30Z
date_updated: 2023-01-25T11:38:11Z
department:
- _id: '313'
- _id: '638'
doi: 10.1080/1464518021000069229
intvolume: '        11'
issue: '4'
keyword:
- Materials Chemistry
- Inorganic Chemistry
- Condensed Matter Physics
language:
- iso: eng
page: 3-7
publication: Liquid Crystals Today
publication_identifier:
  issn:
  - 1358-314X
  - 1464-5181
publication_status: published
publisher: Informa UK Limited
status: public
title: Tunable photonic crystals
type: journal_article
user_id: '254'
volume: 11
year: '2010'
...
---
_id: '39972'
author:
- first_name: Heinz-Siegfried
  full_name: Kitzerow, Heinz-Siegfried
  id: '254'
  last_name: Kitzerow
citation:
  ama: Kitzerow H-S. 33. Arbeitstagung Flüssigkristalle. <i>Nachrichten aus der Chemie</i>.
    2010;53(6):678-679. doi:<a href="https://doi.org/10.1002/nadc.20050530635">10.1002/nadc.20050530635</a>
  apa: Kitzerow, H.-S. (2010). 33. Arbeitstagung Flüssigkristalle. <i>Nachrichten
    Aus Der Chemie</i>, <i>53</i>(6), 678–679. <a href="https://doi.org/10.1002/nadc.20050530635">https://doi.org/10.1002/nadc.20050530635</a>
  bibtex: '@article{Kitzerow_2010, title={33. Arbeitstagung Flüssigkristalle}, volume={53},
    DOI={<a href="https://doi.org/10.1002/nadc.20050530635">10.1002/nadc.20050530635</a>},
    number={6}, journal={Nachrichten aus der Chemie}, publisher={Wiley}, author={Kitzerow,
    Heinz-Siegfried}, year={2010}, pages={678–679} }'
  chicago: 'Kitzerow, Heinz-Siegfried. “33. Arbeitstagung Flüssigkristalle.” <i>Nachrichten
    Aus Der Chemie</i> 53, no. 6 (2010): 678–79. <a href="https://doi.org/10.1002/nadc.20050530635">https://doi.org/10.1002/nadc.20050530635</a>.'
  ieee: 'H.-S. Kitzerow, “33. Arbeitstagung Flüssigkristalle,” <i>Nachrichten aus
    der Chemie</i>, vol. 53, no. 6, pp. 678–679, 2010, doi: <a href="https://doi.org/10.1002/nadc.20050530635">10.1002/nadc.20050530635</a>.'
  mla: Kitzerow, Heinz-Siegfried. “33. Arbeitstagung Flüssigkristalle.” <i>Nachrichten
    Aus Der Chemie</i>, vol. 53, no. 6, Wiley, 2010, pp. 678–79, doi:<a href="https://doi.org/10.1002/nadc.20050530635">10.1002/nadc.20050530635</a>.
  short: H.-S. Kitzerow, Nachrichten Aus Der Chemie 53 (2010) 678–679.
date_created: 2023-01-25T11:31:11Z
date_updated: 2023-01-25T11:38:23Z
department:
- _id: '313'
- _id: '230'
- _id: '638'
doi: 10.1002/nadc.20050530635
intvolume: '        53'
issue: '6'
keyword:
- General Chemical Engineering
- General Chemistry
language:
- iso: eng
page: 678-679
publication: Nachrichten aus der Chemie
publication_identifier:
  issn:
  - 1439-9598
publication_status: published
publisher: Wiley
status: public
title: 33. Arbeitstagung Flüssigkristalle
type: journal_article
user_id: '254'
volume: 53
year: '2010'
...