---
_id: '1001'
author:
- first_name: Thu Ngo
  full_name: Quynh, Thu Ngo
  last_name: Quynh
- first_name: Holger
  full_name: Karl, Holger
  id: '126'
  last_name: Karl
- first_name: Adam
  full_name: Wolisz, Adam
  last_name: Wolisz
- first_name: Klaus
  full_name: Rebensburg, Klaus
  last_name: Rebensburg
citation:
  ama: 'Quynh TN, Karl H, Wolisz A, Rebensburg K. Using only Proportional Jitter Scheduling
    at the boundary of a Differentiated Service Network: simple and efficient. In:
    <i>Universal Multiservice Networks, 2002. ECUMN 2002. 2nd European Conference
    On</i>. ; 2002:116--123.'
  apa: 'Quynh, T. N., Karl, H., Wolisz, A., &#38; Rebensburg, K. (2002). Using only
    Proportional Jitter Scheduling at the boundary of a Differentiated Service Network:
    simple and efficient. In <i>Universal Multiservice Networks, 2002. ECUMN 2002.
    2nd European Conference on</i> (pp. 116--123).'
  bibtex: '@inproceedings{Quynh_Karl_Wolisz_Rebensburg_2002, title={Using only Proportional
    Jitter Scheduling at the boundary of a Differentiated Service Network: simple
    and efficient}, booktitle={Universal Multiservice Networks, 2002. ECUMN 2002.
    2nd European Conference on}, author={Quynh, Thu Ngo and Karl, Holger and Wolisz,
    Adam and Rebensburg, Klaus}, year={2002}, pages={116--123} }'
  chicago: 'Quynh, Thu Ngo, Holger Karl, Adam Wolisz, and Klaus Rebensburg. “Using
    Only Proportional Jitter Scheduling at the Boundary of a Differentiated Service
    Network: Simple and Efficient.” In <i>Universal Multiservice Networks, 2002. ECUMN
    2002. 2nd European Conference On</i>, 116--123, 2002.'
  ieee: 'T. N. Quynh, H. Karl, A. Wolisz, and K. Rebensburg, “Using only Proportional
    Jitter Scheduling at the boundary of a Differentiated Service Network: simple
    and efficient,” in <i>Universal Multiservice Networks, 2002. ECUMN 2002. 2nd European
    Conference on</i>, 2002, pp. 116--123.'
  mla: 'Quynh, Thu Ngo, et al. “Using Only Proportional Jitter Scheduling at the Boundary
    of a Differentiated Service Network: Simple and Efficient.” <i>Universal Multiservice
    Networks, 2002. ECUMN 2002. 2nd European Conference On</i>, 2002, pp. 116--123.'
  short: 'T.N. Quynh, H. Karl, A. Wolisz, K. Rebensburg, in: Universal Multiservice
    Networks, 2002. ECUMN 2002. 2nd European Conference On, 2002, pp. 116--123.'
date_created: 2017-11-27T10:22:29Z
date_updated: 2022-01-06T06:50:22Z
department:
- _id: '75'
page: 116--123
publication: Universal Multiservice Networks, 2002. ECUMN 2002. 2nd European Conference
  on
status: public
title: 'Using only Proportional Jitter Scheduling at the boundary of a Differentiated
  Service Network: simple and efficient'
type: conference
user_id: '15572'
year: '2002'
...
---
_id: '1009'
author:
- first_name: Steffen
  full_name: Sroka, Steffen
  last_name: Sroka
- first_name: Holger
  full_name: Karl, Holger
  id: '126'
  last_name: Karl
citation:
  ama: 'Sroka S, Karl H. Using akaroa2 with omnet++. In: <i>2nd International OMNeT++
    Workshop, Berlin, Germany</i>. ; 2002.'
  apa: Sroka, S., &#38; Karl, H. (2002). Using akaroa2 with omnet++. In <i>2nd International
    OMNeT++ Workshop, Berlin, Germany</i>.
  bibtex: '@inproceedings{Sroka_Karl_2002, title={Using akaroa2 with omnet++}, booktitle={2nd
    International OMNeT++ Workshop, Berlin, Germany}, author={Sroka, Steffen and Karl,
    Holger}, year={2002} }'
  chicago: Sroka, Steffen, and Holger Karl. “Using Akaroa2 with Omnet++.” In <i>2nd
    International OMNeT++ Workshop, Berlin, Germany</i>, 2002.
  ieee: S. Sroka and H. Karl, “Using akaroa2 with omnet++,” in <i>2nd International
    OMNeT++ Workshop, Berlin, Germany</i>, 2002.
  mla: Sroka, Steffen, and Holger Karl. “Using Akaroa2 with Omnet++.” <i>2nd International
    OMNeT++ Workshop, Berlin, Germany</i>, 2002.
  short: 'S. Sroka, H. Karl, in: 2nd International OMNeT++ Workshop, Berlin, Germany,
    2002.'
date_created: 2017-11-27T10:22:29Z
date_updated: 2022-01-06T06:50:28Z
ddc:
- '000'
department:
- _id: '75'
file:
- access_level: closed
  content_type: application/pdf
  creator: tabu
  date_created: 2018-04-26T11:35:19Z
  date_updated: 2018-04-26T11:35:19Z
  file_id: '2551'
  file_name: akaroa-omnet.pdf
  file_size: 372661
  relation: main_file
  success: 1
file_date_updated: 2018-04-26T11:35:19Z
has_accepted_license: '1'
publication: 2nd International OMNeT++ Workshop, Berlin, Germany
status: public
title: Using akaroa2 with omnet++
type: conference
user_id: '15572'
year: '2002'
...
---
_id: '1014'
author:
- first_name: Thu
  full_name: Ngo-Quynh, Thu
  last_name: Ngo-Quynh
- first_name: Holger
  full_name: Karl, Holger
  id: '126'
  last_name: Karl
- first_name: Adam
  full_name: Wolisz, Adam
  last_name: Wolisz
- first_name: Klaus
  full_name: Rebensburg, Klaus
  last_name: Rebensburg
citation:
  ama: Ngo-Quynh T, Karl H, Wolisz A, Rebensburg K. New scheduling algorithm for providing
    proportional jitter in differentiated services network. <i>Proceedings of IST
    mobile communication and wireless telecommunications summit, Thessaloniki, Greece</i>.
    2002.
  apa: Ngo-Quynh, T., Karl, H., Wolisz, A., &#38; Rebensburg, K. (2002). New scheduling
    algorithm for providing proportional jitter in differentiated services network.
    <i>Proceedings of IST Mobile Communication and Wireless Telecommunications Summit,
    Thessaloniki, Greece</i>.
  bibtex: '@article{Ngo-Quynh_Karl_Wolisz_Rebensburg_2002, title={New scheduling algorithm
    for providing proportional jitter in differentiated services network}, journal={Proceedings
    of IST mobile communication and wireless telecommunications summit, Thessaloniki,
    Greece}, author={Ngo-Quynh, Thu and Karl, Holger and Wolisz, Adam and Rebensburg,
    Klaus}, year={2002} }'
  chicago: Ngo-Quynh, Thu, Holger Karl, Adam Wolisz, and Klaus Rebensburg. “New Scheduling
    Algorithm for Providing Proportional Jitter in Differentiated Services Network.”
    <i>Proceedings of IST Mobile Communication and Wireless Telecommunications Summit,
    Thessaloniki, Greece</i>, 2002.
  ieee: T. Ngo-Quynh, H. Karl, A. Wolisz, and K. Rebensburg, “New scheduling algorithm
    for providing proportional jitter in differentiated services network,” <i>Proceedings
    of IST mobile communication and wireless telecommunications summit, Thessaloniki,
    Greece</i>, 2002.
  mla: Ngo-Quynh, Thu, et al. “New Scheduling Algorithm for Providing Proportional
    Jitter in Differentiated Services Network.” <i>Proceedings of IST Mobile Communication
    and Wireless Telecommunications Summit, Thessaloniki, Greece</i>, 2002.
  short: T. Ngo-Quynh, H. Karl, A. Wolisz, K. Rebensburg, Proceedings of IST Mobile
    Communication and Wireless Telecommunications Summit, Thessaloniki, Greece (2002).
date_created: 2017-11-27T10:22:29Z
date_updated: 2022-01-06T06:50:31Z
department:
- _id: '75'
publication: Proceedings of IST mobile communication and wireless telecommunications
  summit, Thessaloniki, Greece
status: public
title: New scheduling algorithm for providing proportional jitter in differentiated
  services network
type: journal_article
user_id: '15572'
year: '2002'
...
---
_id: '1020'
author:
- first_name: A
  full_name: Aguiar, A
  last_name: Aguiar
- first_name: Holger
  full_name: Karl, Holger
  id: '126'
  last_name: Karl
- first_name: Adam
  full_name: Wolisz, Adam
  last_name: Wolisz
citation:
  ama: 'Aguiar A, Karl H, Wolisz A. Effects of prediction inaccuracy on the performance
    of channelstate-aware link layer schedulers. In: <i>Proc. of 1st Intl. Conf. on
    Mobile and Ubiquitous Multimedia</i>. ; 2002:21--33.'
  apa: Aguiar, A., Karl, H., &#38; Wolisz, A. (2002). Effects of prediction inaccuracy
    on the performance of channelstate-aware link layer schedulers. In <i>Proc. of
    1st Intl. Conf. on Mobile and Ubiquitous Multimedia</i> (pp. 21--33).
  bibtex: '@inproceedings{Aguiar_Karl_Wolisz_2002, title={Effects of prediction inaccuracy
    on the performance of channelstate-aware link layer schedulers}, booktitle={Proc.
    of 1st Intl. Conf. on Mobile and Ubiquitous Multimedia}, author={Aguiar, A and
    Karl, Holger and Wolisz, Adam}, year={2002}, pages={21--33} }'
  chicago: Aguiar, A, Holger Karl, and Adam Wolisz. “Effects of Prediction Inaccuracy
    on the Performance of Channelstate-Aware Link Layer Schedulers.” In <i>Proc. of
    1st Intl. Conf. on Mobile and Ubiquitous Multimedia</i>, 21--33, 2002.
  ieee: A. Aguiar, H. Karl, and A. Wolisz, “Effects of prediction inaccuracy on the
    performance of channelstate-aware link layer schedulers,” in <i>Proc. of 1st Intl.
    Conf. on Mobile and Ubiquitous Multimedia</i>, 2002, pp. 21--33.
  mla: Aguiar, A., et al. “Effects of Prediction Inaccuracy on the Performance of
    Channelstate-Aware Link Layer Schedulers.” <i>Proc. of 1st Intl. Conf. on Mobile
    and Ubiquitous Multimedia</i>, 2002, pp. 21--33.
  short: 'A. Aguiar, H. Karl, A. Wolisz, in: Proc. of 1st Intl. Conf. on Mobile and
    Ubiquitous Multimedia, 2002, pp. 21--33.'
date_created: 2017-11-27T10:22:29Z
date_updated: 2022-01-06T06:50:31Z
department:
- _id: '75'
page: 21--33
publication: Proc. of 1st Intl. Conf. on Mobile and Ubiquitous Multimedia
status: public
title: Effects of prediction inaccuracy on the performance of channelstate-aware link
  layer schedulers
type: conference
user_id: '15572'
year: '2002'
...
---
_id: '13611'
author:
- first_name: Herbert
  full_name: Walder, Herbert
  last_name: Walder
- first_name: Marco
  full_name: Platzner, Marco
  id: '398'
  last_name: Platzner
citation:
  ama: 'Walder H, Platzner M. Non-preemptive Multitasking on FPGAs: Task Placement
    and Footprint Transform. In: <i>Proceedings of the 2nd International Conference
    on Engineering of Reconfigurable Systems and Algorithms (ERSA)</i>. CSREA Press;
    2002:24-30.'
  apa: 'Walder, H., &#38; Platzner, M. (2002). Non-preemptive Multitasking on FPGAs:
    Task Placement and Footprint Transform. In <i>Proceedings of the 2nd International
    Conference on Engineering of Reconfigurable Systems and Algorithms (ERSA)</i>
    (pp. 24–30). CSREA Press.'
  bibtex: '@inproceedings{Walder_Platzner_2002, title={Non-preemptive Multitasking
    on FPGAs: Task Placement and Footprint Transform}, booktitle={Proceedings of the
    2nd International Conference on Engineering of Reconfigurable Systems and Algorithms
    (ERSA)}, publisher={CSREA Press}, author={Walder, Herbert and Platzner, Marco},
    year={2002}, pages={24–30} }'
  chicago: 'Walder, Herbert, and Marco Platzner. “Non-Preemptive Multitasking on FPGAs:
    Task Placement and Footprint Transform.” In <i>Proceedings of the 2nd International
    Conference on Engineering of Reconfigurable Systems and Algorithms (ERSA)</i>,
    24–30. CSREA Press, 2002.'
  ieee: 'H. Walder and M. Platzner, “Non-preemptive Multitasking on FPGAs: Task Placement
    and Footprint Transform,” in <i>Proceedings of the 2nd International Conference
    on Engineering of Reconfigurable Systems and Algorithms (ERSA)</i>, 2002, pp.
    24–30.'
  mla: 'Walder, Herbert, and Marco Platzner. “Non-Preemptive Multitasking on FPGAs:
    Task Placement and Footprint Transform.” <i>Proceedings of the 2nd International
    Conference on Engineering of Reconfigurable Systems and Algorithms (ERSA)</i>,
    CSREA Press, 2002, pp. 24–30.'
  short: 'H. Walder, M. Platzner, in: Proceedings of the 2nd International Conference
    on Engineering of Reconfigurable Systems and Algorithms (ERSA), CSREA Press, 2002,
    pp. 24–30.'
date_created: 2019-10-04T21:13:46Z
date_updated: 2022-01-06T06:51:40Z
department:
- _id: '78'
extern: '1'
language:
- iso: eng
page: 24-30
publication: Proceedings of the 2nd International Conference on Engineering of Reconfigurable
  Systems and Algorithms (ERSA)
publisher: CSREA Press
status: public
title: 'Non-preemptive Multitasking on FPGAs: Task Placement and Footprint Transform'
type: conference
user_id: '398'
year: '2002'
...
---
_id: '34447'
abstract:
- lang: eng
  text: "The Object Constraint Language (OCL) was introduced to support the specification
    of constraints for UML diagrams and is mainly used to formulate invariants and
    operation pre- and postconditions. Though OCL is also applied in behavioral diagrams,
    e.g., as guards for state transitions, it is currently not possible to specify
    constraints concerning the dynamic behavior and timing properties of such diagrams.\r\n\r\nThis
    article discusses OCL’s application for the dynamic behavior of UML Statechart
    diagrams and presents an OCL extension for specification of state-oriented time-bounded
    constraints.We introduce operations to extract state configurations from diagrams
    and define additional predicates over states and state configurations. The semantics
    of our OCL extension is given by employing time-bounded Computational Tree Logic
    (CTL) formulae. An example of a flexible manufacturing system with automated guided
    vehicles demonstrates the application of our extension."
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. An OCL Extension for Real-Time Constraints. In: Clark T,
    Warmer J, eds. <i>Advances in Object Modelling with the OCL</i>. Springer-Verlag;
    2002:150-171. doi:<a href="https://doi.org/10.1007/3-540-45669-4_8">10.1007/3-540-45669-4_8</a>'
  apa: Flake, S., &#38; Müller, W. (2002). An OCL Extension for Real-Time Constraints.
    In T. Clark &#38; J. Warmer (Eds.), <i>Advances in Object Modelling with the OCL</i>
    (pp. 150–171). Springer-Verlag. <a href="https://doi.org/10.1007/3-540-45669-4_8">https://doi.org/10.1007/3-540-45669-4_8</a>
  bibtex: '@inbook{Flake_Müller_2002, place={Berlin, Heidelberg}, title={An OCL Extension
    for Real-Time Constraints}, DOI={<a href="https://doi.org/10.1007/3-540-45669-4_8">10.1007/3-540-45669-4_8</a>},
    booktitle={Advances in Object Modelling with the OCL}, publisher={Springer-Verlag},
    author={Flake, Stephan and Müller, Wolfgang}, editor={Clark, T. and Warmer, J.},
    year={2002}, pages={150–171} }'
  chicago: 'Flake, Stephan, and Wolfgang Müller. “An OCL Extension for Real-Time Constraints.”
    In <i>Advances in Object Modelling with the OCL</i>, edited by T. Clark and J.
    Warmer, 150–71. Berlin, Heidelberg: Springer-Verlag, 2002. <a href="https://doi.org/10.1007/3-540-45669-4_8">https://doi.org/10.1007/3-540-45669-4_8</a>.'
  ieee: 'S. Flake and W. Müller, “An OCL Extension for Real-Time Constraints,” in
    <i>Advances in Object Modelling with the OCL</i>, T. Clark and J. Warmer, Eds.
    Berlin, Heidelberg: Springer-Verlag, 2002, pp. 150–171.'
  mla: Flake, Stephan, and Wolfgang Müller. “An OCL Extension for Real-Time Constraints.”
    <i>Advances in Object Modelling with the OCL</i>, edited by T. Clark and J. Warmer,
    Springer-Verlag, 2002, pp. 150–71, doi:<a href="https://doi.org/10.1007/3-540-45669-4_8">10.1007/3-540-45669-4_8</a>.
  short: 'S. Flake, W. Müller, in: T. Clark, J. Warmer (Eds.), Advances in Object
    Modelling with the OCL, Springer-Verlag, Berlin, Heidelberg, 2002, pp. 150–171.'
date_created: 2022-12-15T11:38:20Z
date_updated: 2022-12-15T11:38:47Z
department:
- _id: '672'
doi: 10.1007/3-540-45669-4_8
editor:
- first_name: T.
  full_name: Clark, T.
  last_name: Clark
- first_name: J.
  full_name: Warmer, J.
  last_name: Warmer
keyword:
- Model Check     Temporal Logic     Object Constraint Language     Execution Path     Kripke
  Structure
language:
- iso: eng
page: 150 - 171
place: Berlin, Heidelberg
publication: Advances in Object Modelling with the OCL
publication_identifier:
  isbn:
  - 978-3-540-45669-8
publisher: Springer-Verlag
status: public
title: An OCL Extension for Real-Time Constraints
type: book_chapter
user_id: '5786'
year: '2002'
...
---
_id: '34576'
author:
- first_name: H. J.
  full_name: Eikerling, H. J.
  last_name: Eikerling
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
- first_name: J.
  full_name: Wegener, J.
  last_name: Wegener
citation:
  ama: Eikerling HJ, Müller W, Wegener J. Werkzeugintegration und -verwaltung in heterogenen
    Computernetzwerken. <i>it+ti</i>. Published online 2002:128-136.
  apa: Eikerling, H. J., Müller, W., &#38; Wegener, J. (2002). Werkzeugintegration
    und -verwaltung in heterogenen Computernetzwerken. <i>It+ti</i>, 128–136.
  bibtex: '@article{Eikerling_Müller_Wegener_2002, title={Werkzeugintegration und
    -verwaltung in heterogenen Computernetzwerken}, journal={it+ti}, publisher={Oldenbourg
    Verlag}, author={Eikerling, H. J. and Müller, Wolfgang and Wegener, J.}, year={2002},
    pages={128–136} }'
  chicago: Eikerling, H. J., Wolfgang Müller, and J. Wegener. “Werkzeugintegration
    Und -Verwaltung in Heterogenen Computernetzwerken.” <i>It+ti</i>, 2002, 128–36.
  ieee: H. J. Eikerling, W. Müller, and J. Wegener, “Werkzeugintegration und -verwaltung
    in heterogenen Computernetzwerken,” <i>it+ti</i>, pp. 128–136, 2002.
  mla: Eikerling, H. J., et al. “Werkzeugintegration Und -Verwaltung in Heterogenen
    Computernetzwerken.” <i>It+ti</i>, Oldenbourg Verlag, 2002, pp. 128–36.
  short: H.J. Eikerling, W. Müller, J. Wegener, It+ti (2002) 128–136.
date_created: 2022-12-20T09:41:02Z
date_updated: 2022-12-20T09:41:28Z
department:
- _id: '672'
language:
- iso: eng
page: 128-136
publication: it+ti
publisher: Oldenbourg Verlag
status: public
title: Werkzeugintegration und -verwaltung in heterogenen Computernetzwerken
type: journal_article
user_id: '5786'
year: '2002'
...
---
_id: '3041'
author:
- first_name: Johannes
  full_name: Blömer, Johannes
  id: '23'
  last_name: Blömer
citation:
  ama: 'Blömer J. Computing sums of radicals in polynomial time. In: <i>[1991] Proceedings
    32nd Annual Symposium of Foundations of Computer Science</i>. IEEE Comput. Soc.
    Press; 2002. doi:<a href="https://doi.org/10.1109/sfcs.1991.185434">10.1109/sfcs.1991.185434</a>'
  apa: Blömer, J. (2002). Computing sums of radicals in polynomial time. <i>[1991]
    Proceedings 32nd Annual Symposium of Foundations of Computer Science</i>. <a href="https://doi.org/10.1109/sfcs.1991.185434">https://doi.org/10.1109/sfcs.1991.185434</a>
  bibtex: '@inproceedings{Blömer_2002, title={Computing sums of radicals in polynomial
    time}, DOI={<a href="https://doi.org/10.1109/sfcs.1991.185434">10.1109/sfcs.1991.185434</a>},
    booktitle={[1991] Proceedings 32nd Annual Symposium of Foundations of Computer
    Science}, publisher={IEEE Comput. Soc. Press}, author={Blömer, Johannes}, year={2002}
    }'
  chicago: Blömer, Johannes. “Computing Sums of Radicals in Polynomial Time.” In <i>[1991]
    Proceedings 32nd Annual Symposium of Foundations of Computer Science</i>. IEEE
    Comput. Soc. Press, 2002. <a href="https://doi.org/10.1109/sfcs.1991.185434">https://doi.org/10.1109/sfcs.1991.185434</a>.
  ieee: 'J. Blömer, “Computing sums of radicals in polynomial time,” 2002, doi: <a
    href="https://doi.org/10.1109/sfcs.1991.185434">10.1109/sfcs.1991.185434</a>.'
  mla: Blömer, Johannes. “Computing Sums of Radicals in Polynomial Time.” <i>[1991]
    Proceedings 32nd Annual Symposium of Foundations of Computer Science</i>, IEEE
    Comput. Soc. Press, 2002, doi:<a href="https://doi.org/10.1109/sfcs.1991.185434">10.1109/sfcs.1991.185434</a>.
  short: 'J. Blömer, in: [1991] Proceedings 32nd Annual Symposium of Foundations of
    Computer Science, IEEE Comput. Soc. Press, 2002.'
date_created: 2018-06-05T08:44:18Z
date_updated: 2023-01-10T13:49:25Z
ddc:
- '000'
department:
- _id: '64'
doi: 10.1109/sfcs.1991.185434
extern: '1'
file:
- access_level: closed
  content_type: application/pdf
  creator: feidens
  date_created: 2018-06-05T08:45:15Z
  date_updated: 2018-06-05T08:45:15Z
  file_id: '3042'
  file_name: ComputingSumsOfRadicals_01.pdf
  file_size: 335754
  relation: main_file
  success: 1
file_date_updated: 2018-06-05T08:45:15Z
has_accepted_license: '1'
publication: '[1991] Proceedings 32nd Annual Symposium of Foundations of Computer
  Science'
publication_identifier:
  isbn:
  - '0818624450'
publication_status: published
publisher: IEEE Comput. Soc. Press
status: public
title: Computing sums of radicals in polynomial time
type: conference
user_id: '25078'
year: '2002'
...
---
_id: '35857'
author:
- first_name: J.
  full_name: Blömer, J.
  last_name: Blömer
citation:
  ama: Blömer J. Denesting by Bounded Degree Radicals. <i>Algorithmica</i>. 2002;28(1):2-15.
    doi:<a href="https://doi.org/10.1007/s004530010028">10.1007/s004530010028</a>
  apa: Blömer, J. (2002). Denesting by Bounded Degree Radicals. <i>Algorithmica</i>,
    <i>28</i>(1), 2–15. <a href="https://doi.org/10.1007/s004530010028">https://doi.org/10.1007/s004530010028</a>
  bibtex: '@article{Blömer_2002, title={Denesting by Bounded Degree Radicals}, volume={28},
    DOI={<a href="https://doi.org/10.1007/s004530010028">10.1007/s004530010028</a>},
    number={1}, journal={Algorithmica}, publisher={Springer Science and Business Media
    LLC}, author={Blömer, J.}, year={2002}, pages={2–15} }'
  chicago: 'Blömer, J. “Denesting by Bounded Degree Radicals.” <i>Algorithmica</i>
    28, no. 1 (2002): 2–15. <a href="https://doi.org/10.1007/s004530010028">https://doi.org/10.1007/s004530010028</a>.'
  ieee: 'J. Blömer, “Denesting by Bounded Degree Radicals,” <i>Algorithmica</i>, vol.
    28, no. 1, pp. 2–15, 2002, doi: <a href="https://doi.org/10.1007/s004530010028">10.1007/s004530010028</a>.'
  mla: Blömer, J. “Denesting by Bounded Degree Radicals.” <i>Algorithmica</i>, vol.
    28, no. 1, Springer Science and Business Media LLC, 2002, pp. 2–15, doi:<a href="https://doi.org/10.1007/s004530010028">10.1007/s004530010028</a>.
  short: J. Blömer, Algorithmica 28 (2002) 2–15.
date_created: 2023-01-10T13:44:28Z
date_updated: 2023-01-10T13:48:53Z
department:
- _id: '64'
doi: 10.1007/s004530010028
intvolume: '        28'
issue: '1'
keyword:
- Applied Mathematics
- Computer Science Applications
- General Computer Science
language:
- iso: eng
page: 2-15
publication: Algorithmica
publication_identifier:
  issn:
  - 0178-4617
  - 1432-0541
publication_status: published
publisher: Springer Science and Business Media LLC
status: public
title: Denesting by Bounded Degree Radicals
type: journal_article
user_id: '23'
volume: 28
year: '2002'
...
---
_id: '47698'
author:
- first_name: Birgitta
  full_name: Fricke, Birgitta
  last_name: Fricke
citation:
  ama: Fricke B. <i>Construction of Pseudorandom Functions</i>.; 2002.
  apa: Fricke, B. (2002). <i>Construction of Pseudorandom Functions</i>.
  bibtex: '@book{Fricke_2002, title={Construction of Pseudorandom Functions}, author={Fricke,
    Birgitta}, year={2002} }'
  chicago: Fricke, Birgitta. <i>Construction of Pseudorandom Functions</i>, 2002.
  ieee: B. Fricke, <i>Construction of Pseudorandom Functions</i>. 2002.
  mla: Fricke, Birgitta. <i>Construction of Pseudorandom Functions</i>. 2002.
  short: B. Fricke, Construction of Pseudorandom Functions, 2002.
date_created: 2023-10-05T16:39:34Z
date_updated: 2023-10-05T16:54:44Z
ddc:
- '000'
department:
- _id: '34'
- _id: '64'
file:
- access_level: open_access
  content_type: application/postscript
  creator: bhenrik
  date_created: 2023-10-05T16:39:26Z
  date_updated: 2023-10-05T16:54:44Z
  file_id: '47726'
  file_name: 2002_Fricke_Pseudorandom.ps
  file_size: 3696785
  relation: main_file
file_date_updated: 2023-10-05T16:54:44Z
has_accepted_license: '1'
keyword:
- Diplomarbeit
language:
- iso: eng
oa: '1'
status: public
title: Construction of Pseudorandom Functions
type: misc
user_id: '41047'
year: '2002'
...
---
_id: '47697'
author:
- first_name: Deniz
  full_name: Deveci, Deniz
  last_name: Deveci
citation:
  ama: Deveci D. <i>Evaluierung und Implementierung eines vollständig verteilten RSA-Kryptographiesystems</i>.;
    2002.
  apa: Deveci, D. (2002). <i>Evaluierung und Implementierung eines vollständig verteilten
    RSA-Kryptographiesystems</i>.
  bibtex: '@book{Deveci_2002, title={Evaluierung und Implementierung eines vollständig
    verteilten RSA-Kryptographiesystems}, author={Deveci, Deniz}, year={2002} }'
  chicago: Deveci, Deniz. <i>Evaluierung und Implementierung eines vollständig verteilten
    RSA-Kryptographiesystems</i>, 2002.
  ieee: D. Deveci, <i>Evaluierung und Implementierung eines vollständig verteilten
    RSA-Kryptographiesystems</i>. 2002.
  mla: Deveci, Deniz. <i>Evaluierung und Implementierung eines vollständig verteilten
    RSA-Kryptographiesystems</i>. 2002.
  short: D. Deveci, Evaluierung und Implementierung eines vollständig verteilten RSA-Kryptographiesystems,
    2002.
date_created: 2023-10-05T16:38:45Z
date_updated: 2023-10-05T16:42:39Z
department:
- _id: '34'
- _id: '64'
keyword:
- Diplomarbeit
language:
- iso: ger
status: public
title: Evaluierung und Implementierung eines vollständig verteilten RSA-Kryptographiesystems
type: misc
user_id: '41047'
year: '2002'
...
---
_id: '47699'
author:
- first_name: Anke
  full_name: Helbich, Anke
  last_name: Helbich
citation:
  ama: Helbich A. <i>The Weil-Pairing and Signature Schemes in Elliptic Curve Cryptography</i>.;
    2002.
  apa: Helbich, A. (2002). <i>The Weil-Pairing and Signature Schemes in Elliptic Curve
    Cryptography</i>.
  bibtex: '@book{Helbich_2002, title={The Weil-Pairing and Signature Schemes in Elliptic
    Curve Cryptography}, author={Helbich, Anke}, year={2002} }'
  chicago: Helbich, Anke. <i>The Weil-Pairing and Signature Schemes in Elliptic Curve
    Cryptography</i>, 2002.
  ieee: A. Helbich, <i>The Weil-Pairing and Signature Schemes in Elliptic Curve Cryptography</i>.
    2002.
  mla: Helbich, Anke. <i>The Weil-Pairing and Signature Schemes in Elliptic Curve
    Cryptography</i>. 2002.
  short: A. Helbich, The Weil-Pairing and Signature Schemes in Elliptic Curve Cryptography,
    2002.
date_created: 2023-10-05T16:40:05Z
date_updated: 2023-10-05T16:42:35Z
department:
- _id: '34'
- _id: '64'
keyword:
- Diplomarbeit
language:
- iso: eng
status: public
title: The Weil-Pairing and Signature Schemes in Elliptic Curve Cryptography
type: misc
user_id: '41047'
year: '2002'
...
---
_id: '47700'
author:
- first_name: Daniel
  full_name: Schepers, Daniel
  last_name: Schepers
citation:
  ama: Schepers D. <i>Timing Attacks for Cryptosystems Based on Elliptic Curves</i>.;
    2002.
  apa: Schepers, D. (2002). <i>Timing Attacks for Cryptosystems based on Elliptic
    Curves</i>.
  bibtex: '@book{Schepers_2002, title={Timing Attacks for Cryptosystems based on Elliptic
    Curves}, author={Schepers, Daniel}, year={2002} }'
  chicago: Schepers, Daniel. <i>Timing Attacks for Cryptosystems Based on Elliptic
    Curves</i>, 2002.
  ieee: D. Schepers, <i>Timing Attacks for Cryptosystems based on Elliptic Curves</i>.
    2002.
  mla: Schepers, Daniel. <i>Timing Attacks for Cryptosystems Based on Elliptic Curves</i>.
    2002.
  short: D. Schepers, Timing Attacks for Cryptosystems Based on Elliptic Curves, 2002.
date_created: 2023-10-05T16:41:01Z
date_updated: 2023-10-05T16:42:34Z
department:
- _id: '34'
- _id: '64'
keyword:
- Diplomarbeit
language:
- iso: eng
status: public
title: Timing Attacks for Cryptosystems based on Elliptic Curves
type: misc
user_id: '41047'
year: '2002'
...
---
_id: '47633'
author:
- first_name: Ulrich
  full_name: Hoppe, Ulrich
  last_name: Hoppe
citation:
  ama: Hoppe U. <i>Implementierung und Evaluation eines MDS-Blockcodes mit unabhängigen
    Paritätssymbolen</i>.; 2002.
  apa: Hoppe, U. (2002). <i>Implementierung und Evaluation eines MDS-Blockcodes mit
    unabhängigen Paritätssymbolen</i>.
  bibtex: '@book{Hoppe_2002, title={Implementierung und Evaluation eines MDS-Blockcodes
    mit unabhängigen Paritätssymbolen}, author={Hoppe, Ulrich}, year={2002} }'
  chicago: Hoppe, Ulrich. <i>Implementierung und Evaluation eines MDS-Blockcodes mit
    unabhängigen Paritätssymbolen</i>, 2002.
  ieee: U. Hoppe, <i>Implementierung und Evaluation eines MDS-Blockcodes mit unabhängigen
    Paritätssymbolen</i>. 2002.
  mla: Hoppe, Ulrich. <i>Implementierung und Evaluation eines MDS-Blockcodes mit unabhängigen
    Paritätssymbolen</i>. 2002.
  short: U. Hoppe, Implementierung und Evaluation eines MDS-Blockcodes mit unabhängigen
    Paritätssymbolen, 2002.
date_created: 2023-10-05T13:29:41Z
date_updated: 2023-10-05T22:03:17Z
ddc:
- '000'
department:
- _id: '34'
- _id: '64'
file:
- access_level: open_access
  content_type: application/postscript
  creator: bhenrik
  date_created: 2023-10-05T22:02:59Z
  date_updated: 2023-10-05T22:02:59Z
  file_id: '47786'
  file_name: 2002_Hoppe_MDS-Codes.ps
  file_size: 361052
  relation: main_file
file_date_updated: 2023-10-05T22:02:59Z
has_accepted_license: '1'
language:
- iso: ger
oa: '1'
status: public
title: Implementierung und Evaluation eines MDS-Blockcodes mit unabhängigen Paritätssymbolen
type: bachelorsthesis
user_id: '41047'
year: '2002'
...
---
_id: '39371'
abstract:
- lang: eng
  text: With the increasing availability of various web-enabled mobile devices, content
    has to be effectively adapted to their different limitations. So, web content
    need rearrangement, i.e., a transcoding, to better fit on small displays when,
    for instance, layout specific HTML structures like tables and frames are used.
    In this article, we present a description language to define generic rules for
    this purpose and introduce RDL/TT (Rule Description Language for Tree Transformation).
    RDL/TT specifies sets of transcoding functions generic to user and hardware profiles.
    A Java-oriented syntax is used to describe the transcoding functions which operate
    on the DOM (Document Object Model) tree representation of an HTML or XML document.
author:
- first_name: Robbie
  full_name: Schäfer, Robbie
  last_name: Schäfer
- first_name: Andreas
  full_name: Dangberg, Andreas
  last_name: Dangberg
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
citation:
  ama: 'Schäfer R, Dangberg A, Müller W. RDL/TT - A Description Language for Profile-Dependent
    Transcoding of XML Documents. In: <i>Proceedings of the VHE Workshop</i>. ; 2002.'
  apa: Schäfer, R., Dangberg, A., &#38; Müller, W. (2002). RDL/TT - A Description
    Language for Profile-Dependent Transcoding of XML Documents. <i>Proceedings of
    the VHE Workshop</i>.
  bibtex: '@inproceedings{Schäfer_Dangberg_Müller_2002, place={Paderborn, Germany},
    title={RDL/TT - A Description Language for Profile-Dependent Transcoding of XML
    Documents}, booktitle={Proceedings of the VHE Workshop}, author={Schäfer, Robbie
    and Dangberg, Andreas and Müller, Wolfgang}, year={2002} }'
  chicago: Schäfer, Robbie, Andreas Dangberg, and Wolfgang Müller. “RDL/TT - A Description
    Language for Profile-Dependent Transcoding of XML Documents.” In <i>Proceedings
    of the VHE Workshop</i>. Paderborn, Germany, 2002.
  ieee: R. Schäfer, A. Dangberg, and W. Müller, “RDL/TT - A Description Language for
    Profile-Dependent Transcoding of XML Documents,” 2002.
  mla: Schäfer, Robbie, et al. “RDL/TT - A Description Language for Profile-Dependent
    Transcoding of XML Documents.” <i>Proceedings of the VHE Workshop</i>, 2002.
  short: 'R. Schäfer, A. Dangberg, W. Müller, in: Proceedings of the VHE Workshop,
    Paderborn, Germany, 2002.'
date_created: 2023-01-24T10:02:35Z
date_updated: 2023-01-24T10:02:46Z
department:
- _id: '672'
language:
- iso: eng
place: Paderborn, Germany
publication: Proceedings of the VHE Workshop
status: public
title: RDL/TT - A Description Language for Profile-Dependent Transcoding of XML Documents
type: conference
user_id: '5786'
year: '2002'
...
---
_id: '39370'
abstract:
- lang: eng
  text: Within this paper we propose architecture ideas of a distributed Video on
    Demand network which base on peer to peer technology. Each peer offers video streams
    to other peers and may receive a video stream from another peer simultaneously.
    This results in an optimization problem depending on different factors which we
    approximate with the help of an simulation environment. Our approach bases on
    a peer to peer framework by Sun called Project JXTA which provides a set of protocols
    for P2P applications.
author:
- first_name: Chris
  full_name: Loeser, Chris
  last_name: Loeser
- first_name: Peter
  full_name: Altenbernd, Peter
  last_name: Altenbernd
- first_name: Michael
  full_name: Ditze, Michael
  last_name: Ditze
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
citation:
  ama: 'Loeser C, Altenbernd P, Ditze M, Müller W. Distributed Video-on-Demand Services
    on Peer to Peer Basis. In: <i>Proceedings of the Intl. Workshop on Real-Time LANs
    in the Internet Age (RTLIA 2002)</i>. ; 2002.'
  apa: Loeser, C., Altenbernd, P., Ditze, M., &#38; Müller, W. (2002). Distributed
    Video-on-Demand Services on Peer to Peer Basis. <i>Proceedings of the Intl. Workshop
    on Real-Time LANs in the Internet Age (RTLIA 2002)</i>.
  bibtex: '@inproceedings{Loeser_Altenbernd_Ditze_Müller_2002, title={Distributed
    Video-on-Demand Services on Peer to Peer Basis}, booktitle={Proceedings of the
    Intl. Workshop on Real-Time LANs in the Internet Age (RTLIA 2002)}, author={Loeser,
    Chris and Altenbernd, Peter and Ditze, Michael and Müller, Wolfgang}, year={2002}
    }'
  chicago: Loeser, Chris, Peter Altenbernd, Michael Ditze, and Wolfgang Müller. “Distributed
    Video-on-Demand Services on Peer to Peer Basis.” In <i>Proceedings of the Intl.
    Workshop on Real-Time LANs in the Internet Age (RTLIA 2002)</i>, 2002.
  ieee: C. Loeser, P. Altenbernd, M. Ditze, and W. Müller, “Distributed Video-on-Demand
    Services on Peer to Peer Basis,” 2002.
  mla: Loeser, Chris, et al. “Distributed Video-on-Demand Services on Peer to Peer
    Basis.” <i>Proceedings of the Intl. Workshop on Real-Time LANs in the Internet
    Age (RTLIA 2002)</i>, 2002.
  short: 'C. Loeser, P. Altenbernd, M. Ditze, W. Müller, in: Proceedings of the Intl.
    Workshop on Real-Time LANs in the Internet Age (RTLIA 2002), 2002.'
date_created: 2023-01-24T10:00:17Z
date_updated: 2023-01-24T10:00:24Z
department:
- _id: '672'
language:
- iso: eng
publication: Proceedings of the Intl. Workshop on Real-Time LANs in the Internet Age
  (RTLIA 2002)
status: public
title: Distributed Video-on-Demand Services on Peer to Peer Basis
type: conference
user_id: '5786'
year: '2002'
...
---
_id: '39378'
author:
- first_name: Robbie
  full_name: Schäfer, Robbie
  last_name: Schäfer
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
- first_name: Andreas
  full_name: Dangberg, Andreas
  last_name: Dangberg
citation:
  ama: 'Schäfer R, Müller W, Dangberg A. Fuzzy Rules for the Transcoding of HTML Files.
    In: <i>Proceedings of the HICSS-35</i>. ; 2002.'
  apa: Schäfer, R., Müller, W., &#38; Dangberg, A. (2002). Fuzzy Rules for the Transcoding
    of HTML Files. <i>Proceedings of the HICSS-35</i>.
  bibtex: '@inproceedings{Schäfer_Müller_Dangberg_2002, place={Hawaii, USA}, title={Fuzzy
    Rules for the Transcoding of HTML Files}, booktitle={Proceedings of the HICSS-35},
    author={Schäfer, Robbie and Müller, Wolfgang and Dangberg, Andreas}, year={2002}
    }'
  chicago: Schäfer, Robbie, Wolfgang Müller, and Andreas Dangberg. “Fuzzy Rules for
    the Transcoding of HTML Files.” In <i>Proceedings of the HICSS-35</i>. Hawaii,
    USA, 2002.
  ieee: R. Schäfer, W. Müller, and A. Dangberg, “Fuzzy Rules for the Transcoding of
    HTML Files,” 2002.
  mla: Schäfer, Robbie, et al. “Fuzzy Rules for the Transcoding of HTML Files.” <i>Proceedings
    of the HICSS-35</i>, 2002.
  short: 'R. Schäfer, W. Müller, A. Dangberg, in: Proceedings of the HICSS-35, Hawaii,
    USA, 2002.'
date_created: 2023-01-24T10:07:18Z
date_updated: 2023-01-24T10:07:22Z
department:
- _id: '672'
language:
- iso: eng
place: Hawaii, USA
publication: Proceedings of the HICSS-35
status: public
title: Fuzzy Rules for the Transcoding of HTML Files
type: conference
user_id: '5786'
year: '2002'
...
---
_id: '39398'
abstract:
- lang: eng
  text: This article presents a UML profile for an OCL extension that enables modelers
    to specify behavioral, state-oriented real-time constraints in OCL. In order to
    perform a seamless integration into the upcoming UML2.0 standard, we take the
    latest OCL2.0 metamodel proposal by Warmer et al. [22] as a basis. A formal semantics
    of our temporal OCL extension is given by a mapping to time-annotated temporal
    logics formulae. To give an example of the applicability of our extension, we
    consider a modeling approach for manufacturing systems called MFERT. We present
    a corresponding UML profile for that approach and combine both profiles for formal
    verification by real-time model checking.
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. A UML Profile for Real-Time Constraints with the OCL. In:
    <i>Proceedings of the UML 2002 - The Unified Modeling Language</i>. Springer-Verlag;
    2002.'
  apa: Flake, S., &#38; Müller, W. (2002). A UML Profile for Real-Time Constraints
    with the OCL. <i>Proceedings of the UML 2002 - The Unified Modeling Language</i>.
  bibtex: '@inproceedings{Flake_Müller_2002, place={Dresden, Germany}, title={A UML
    Profile for Real-Time Constraints with the OCL}, booktitle={Proceedings of the
    UML 2002 - The Unified Modeling Language}, publisher={Springer-Verlag}, author={Flake,
    Stephan and Müller, Wolfgang}, year={2002} }'
  chicago: 'Flake, Stephan, and Wolfgang Müller. “A UML Profile for Real-Time Constraints
    with the OCL.” In <i>Proceedings of the UML 2002 - The Unified Modeling Language</i>.
    Dresden, Germany: Springer-Verlag, 2002.'
  ieee: S. Flake and W. Müller, “A UML Profile for Real-Time Constraints with the
    OCL,” 2002.
  mla: Flake, Stephan, and Wolfgang Müller. “A UML Profile for Real-Time Constraints
    with the OCL.” <i>Proceedings of the UML 2002 - The Unified Modeling Language</i>,
    Springer-Verlag, 2002.
  short: 'S. Flake, W. Müller, in: Proceedings of the UML 2002 - The Unified Modeling
    Language, Springer-Verlag, Dresden, Germany, 2002.'
date_created: 2023-01-24T10:17:16Z
date_updated: 2023-01-24T10:18:16Z
department:
- _id: '672'
language:
- iso: eng
place: Dresden, Germany
publication: Proceedings of the UML 2002 - The Unified Modeling Language
publisher: Springer-Verlag
status: public
title: A UML Profile for Real-Time Constraints with the OCL
type: conference
user_id: '5786'
year: '2002'
...
---
_id: '39393'
author:
- first_name: Wilhelm
  full_name: Dangelmeier, Wilhelm
  last_name: Dangelmeier
- first_name: C.
  full_name: Darnedde, C.
  last_name: Darnedde
- first_name: Stephan
  full_name: Flake, Stephan
  last_name: Flake
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
- first_name: U.
  full_name: Pape, U.
  last_name: Pape
citation:
  ama: Dangelmeier W, Darnedde C, Flake S, Müller W, Pape U. Graphische Spezifikation
    und Echtzeitverifikation von Produktionsautomatisierungssystemen. Published online
    2002.
  apa: Dangelmeier, W., Darnedde, C., Flake, S., Müller, W., &#38; Pape, U. (2002).
    <i>Graphische Spezifikation und Echtzeitverifikation von Produktionsautomatisierungssystemen</i>.
  bibtex: '@article{Dangelmeier_Darnedde_Flake_Müller_Pape_2002, place={Paderborn,
    Germany}, series={Tagungsband: 4. Paderborner Frühlingstagung}, title={Graphische
    Spezifikation und Echtzeitverifikation von Produktionsautomatisierungssystemen},
    author={Dangelmeier, Wilhelm and Darnedde, C. and Flake, Stephan and Müller, Wolfgang
    and Pape, U.}, year={2002}, collection={Tagungsband: 4. Paderborner Frühlingstagung}
    }'
  chicago: 'Dangelmeier, Wilhelm, C. Darnedde, Stephan Flake, Wolfgang Müller, and
    U. Pape. “Graphische Spezifikation Und Echtzeitverifikation von Produktionsautomatisierungssystemen.”
    Tagungsband: 4. Paderborner Frühlingstagung. Paderborn, Germany, 2002.'
  ieee: W. Dangelmeier, C. Darnedde, S. Flake, W. Müller, and U. Pape, “Graphische
    Spezifikation und Echtzeitverifikation von Produktionsautomatisierungssystemen.”
    Paderborn, Germany, 2002.
  mla: Dangelmeier, Wilhelm, et al. <i>Graphische Spezifikation Und Echtzeitverifikation
    von Produktionsautomatisierungssystemen</i>. 2002.
  short: W. Dangelmeier, C. Darnedde, S. Flake, W. Müller, U. Pape, (2002).
date_created: 2023-01-24T10:15:34Z
date_updated: 2023-01-24T10:15:39Z
department:
- _id: '672'
language:
- iso: eng
place: Paderborn, Germany
series_title: 'Tagungsband: 4. Paderborner Frühlingstagung'
status: public
title: Graphische Spezifikation und Echtzeitverifikation von Produktionsautomatisierungssystemen
type: conference
user_id: '5786'
year: '2002'
...
---
_id: '39382'
abstract:
- lang: eng
  text: 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:
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
- first_name: Rainer
  full_name: Dömer, Rainer
  last_name: Dömer
- first_name: Andreas
  full_name: Gerstlauer, Andreas
  last_name: Gerstlauer
citation:
  ama: 'Müller W, Dömer R, Gerstlauer A. The Formal Execution Semantics of SpecC.
    In: <i>Proceedings of the ISSS02</i>. ; 2002. doi:<a href="https://doi.org/10.1145/581199.581234
    ">10.1145/581199.581234 </a>'
  apa: Müller, W., Dömer, R., &#38; Gerstlauer, A. (2002). The Formal Execution Semantics
    of SpecC. <i>Proceedings of the ISSS02</i>. <a href="https://doi.org/10.1145/581199.581234
    ">https://doi.org/10.1145/581199.581234 </a>
  bibtex: '@inproceedings{Müller_Dömer_Gerstlauer_2002, place={Nagoya, Japan}, title={The
    Formal Execution Semantics of SpecC}, DOI={<a href="https://doi.org/10.1145/581199.581234
    ">10.1145/581199.581234 </a>}, booktitle={Proceedings of the ISSS02}, author={Müller,
    Wolfgang and Dömer, Rainer and Gerstlauer, Andreas}, year={2002} }'
  chicago: Müller, Wolfgang, Rainer Dömer, and Andreas Gerstlauer. “The Formal Execution
    Semantics of SpecC.” In <i>Proceedings of the ISSS02</i>. Nagoya, Japan, 2002.
    <a href="https://doi.org/10.1145/581199.581234 ">https://doi.org/10.1145/581199.581234
    </a>.
  ieee: 'W. Müller, R. Dömer, and A. Gerstlauer, “The Formal Execution Semantics of
    SpecC,” 2002, doi: <a href="https://doi.org/10.1145/581199.581234 ">10.1145/581199.581234
    </a>.'
  mla: Müller, Wolfgang, et al. “The Formal Execution Semantics of SpecC.” <i>Proceedings
    of the ISSS02</i>, 2002, doi:<a href="https://doi.org/10.1145/581199.581234 ">10.1145/581199.581234
    </a>.
  short: 'W. Müller, R. Dömer, A. Gerstlauer, in: Proceedings of the ISSS02, Nagoya,
    Japan, 2002.'
date_created: 2023-01-24T10:10:24Z
date_updated: 2023-01-24T10:10:28Z
department:
- _id: '672'
doi: '10.1145/581199.581234 '
keyword:
- Standardization
- Kernel
- Permission
- Formal verification
- Logic functions
- Documentation
- Reasoning about programs
- Specification languages
- Formal specifications
- Software systems
language:
- iso: eng
place: Nagoya, Japan
publication: Proceedings of the ISSS02
publication_identifier:
  isbn:
  - 1-58113-576-9
status: public
title: The Formal Execution Semantics of SpecC
type: conference
user_id: '5786'
year: '2002'
...