---
_id: '39360'
author:
- first_name: Alexander
full_name: Krupp, Alexander
last_name: Krupp
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
citation:
ama: Krupp A, Müller W. Formale Verfeinerung und Modelchecking von zeitbehafteten
endlichen Automaten. Published online 2003.
apa: Krupp, A., & Müller, W. (2003). Formale Verfeinerung und Modelchecking
von zeitbehafteten endlichen Automaten.
bibtex: '@article{Krupp_Müller_2003, place={Bremen}, series={Methoden und Beschreibungssprachen
zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)}, title={Formale
Verfeinerung und Modelchecking von zeitbehafteten endlichen Automaten}, author={Krupp,
Alexander and Müller, Wolfgang}, year={2003}, collection={Methoden und Beschreibungssprachen
zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)} }'
chicago: Krupp, Alexander, and Wolfgang Müller. “Formale Verfeinerung Und Modelchecking
von Zeitbehafteten Endlichen Automaten.” Methoden Und Beschreibungssprachen Zur
Modellierung Und Verifikation von Schaltungen Und Systemen (MBMV). Bremen, 2003.
ieee: A. Krupp and W. Müller, “Formale Verfeinerung und Modelchecking von zeitbehafteten
endlichen Automaten.” Bremen, 2003.
mla: Krupp, Alexander, and Wolfgang Müller. Formale Verfeinerung Und Modelchecking
von Zeitbehafteten Endlichen Automaten. 2003.
short: A. Krupp, W. Müller, (2003).
date_created: 2023-01-24T09:36:32Z
date_updated: 2023-01-24T09:36:37Z
department:
- _id: '672'
language:
- iso: eng
place: Bremen
series_title: Methoden und Beschreibungssprachen zur Modellierung und Verifikation
von Schaltungen und Systemen (MBMV)
status: public
title: Formale Verfeinerung und Modelchecking von zeitbehafteten endlichen Automaten
type: conference
user_id: '5786'
year: '2003'
...
---
_id: '39368'
author:
- first_name: Alexander
full_name: Krupp, Alexander
last_name: Krupp
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
citation:
ama: 'Krupp A, Müller W. Combining Formal Refinement and Model Checking for Analysis
of Realtime Systems. In: Proceedings of FDL’03. ; 2003.'
apa: Krupp, A., & Müller, W. (2003). Combining Formal Refinement and Model Checking
for Analysis of Realtime Systems. Proceedings of FDL’03.
bibtex: '@inproceedings{Krupp_Müller_2003, place={Frankfurt, Germany}, title={Combining
Formal Refinement and Model Checking for Analysis of Realtime Systems}, booktitle={Proceedings
of FDL’03}, author={Krupp, Alexander and Müller, Wolfgang}, year={2003} }'
chicago: Krupp, Alexander, and Wolfgang Müller. “Combining Formal Refinement and
Model Checking for Analysis of Realtime Systems.” In Proceedings of FDL’03.
Frankfurt, Germany, 2003.
ieee: A. Krupp and W. Müller, “Combining Formal Refinement and Model Checking for
Analysis of Realtime Systems,” 2003.
mla: Krupp, Alexander, and Wolfgang Müller. “Combining Formal Refinement and Model
Checking for Analysis of Realtime Systems.” Proceedings of FDL’03, 2003.
short: 'A. Krupp, W. Müller, in: Proceedings of FDL’03, Frankfurt, Germany, 2003.'
date_created: 2023-01-24T09:53:01Z
date_updated: 2023-01-24T09:53:06Z
department:
- _id: '672'
language:
- iso: eng
place: Frankfurt, Germany
publication: Proceedings of FDL'03
status: public
title: Combining Formal Refinement and Model Checking for Analysis of Realtime Systems
type: conference
user_id: '5786'
year: '2003'
...
---
_id: '39369'
abstract:
- lang: eng
text: The latest OCL 2.0 proposal provides two semantic descriptions, i.e., a metamodel
based semantics that uses UML itself to associate the semantic domain with the
language concepts and a formal semantics based on a set-theoretic approach called
object model. Unfortunately, these two semantics are currently neither consistent
nor complete, as (a) the formal semantics does not consider the newly introduced
concept of OCL messages and (b) both semantics lack an integration of Statecharts
and a semantic denition of state-related operations. This article focuses on a
formal semantics for OCL messages as a foundation for consistency among,the two
OCL semantics. We extend object models and present an extended denition of a system
state that comprises all relevant information to be able to evaluate OCL expressions
also w.r.t. OCL messages.
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. Formal Semantics of OCL Messages. In: Proceedings of
the Workshop OCL 2.0 at UML 2003. ; 2003.'
apa: Flake, S., & Müller, W. (2003). Formal Semantics of OCL Messages. Proceedings
of the Workshop OCL 2.0 at UML 2003.
bibtex: '@inproceedings{Flake_Müller_2003, place={San Francisco, USA}, title={Formal
Semantics of OCL Messages}, booktitle={Proceedings of the Workshop OCL 2.0 at
UML 2003}, author={Flake, Stephan and Müller, Wolfgang}, year={2003} }'
chicago: Flake, Stephan, and Wolfgang Müller. “Formal Semantics of OCL Messages.”
In Proceedings of the Workshop OCL 2.0 at UML 2003. San Francisco, USA,
2003.
ieee: S. Flake and W. Müller, “Formal Semantics of OCL Messages,” 2003.
mla: Flake, Stephan, and Wolfgang Müller. “Formal Semantics of OCL Messages.” Proceedings
of the Workshop OCL 2.0 at UML 2003, 2003.
short: 'S. Flake, W. Müller, in: Proceedings of the Workshop OCL 2.0 at UML 2003,
San Francisco, USA, 2003.'
date_created: 2023-01-24T09:54:09Z
date_updated: 2023-01-24T09:54:24Z
department:
- _id: '672'
language:
- iso: eng
place: San Francisco, USA
publication: Proceedings of the Workshop OCL 2.0 at UML 2003
status: public
title: Formal Semantics of OCL Messages
type: conference
user_id: '5786'
year: '2003'
...
---
_id: '13617'
author:
- first_name: Christoph
full_name: Steiger, Christoph
last_name: Steiger
- first_name: Herbert
full_name: Walder, Herbert
last_name: Walder
- first_name: Marco
full_name: Platzner, Marco
id: '398'
last_name: Platzner
- first_name: Lothar
full_name: Thiele, Lothar
last_name: Thiele
citation:
ama: 'Steiger C, Walder H, Platzner M, Thiele L. Online scheduling and placement
of real-time tasks to partially reconfigurable devices. In: Proceedings 24th
IEEE International Real-Time Systems Symposium (RTSS). IEEE CS Press; 2003:224-225.
doi:10.1109/real.2003.1253269'
apa: Steiger, C., Walder, H., Platzner, M., & Thiele, L. (2003). Online scheduling
and placement of real-time tasks to partially reconfigurable devices. Proceedings
24th IEEE International Real-Time Systems Symposium (RTSS), 224–225. https://doi.org/10.1109/real.2003.1253269
bibtex: '@inproceedings{Steiger_Walder_Platzner_Thiele_2003, title={Online scheduling
and placement of real-time tasks to partially reconfigurable devices}, DOI={10.1109/real.2003.1253269},
booktitle={Proceedings 24th IEEE International Real-Time Systems Symposium (RTSS)},
publisher={IEEE CS Press}, author={Steiger, Christoph and Walder, Herbert and
Platzner, Marco and Thiele, Lothar}, year={2003}, pages={224–225} }'
chicago: Steiger, Christoph, Herbert Walder, Marco Platzner, and Lothar Thiele.
“Online Scheduling and Placement of Real-Time Tasks to Partially Reconfigurable
Devices.” In Proceedings 24th IEEE International Real-Time Systems Symposium
(RTSS), 224–25. IEEE CS Press, 2003. https://doi.org/10.1109/real.2003.1253269.
ieee: 'C. Steiger, H. Walder, M. Platzner, and L. Thiele, “Online scheduling and
placement of real-time tasks to partially reconfigurable devices,” in Proceedings
24th IEEE International Real-Time Systems Symposium (RTSS), 2003, pp. 224–225,
doi: 10.1109/real.2003.1253269.'
mla: Steiger, Christoph, et al. “Online Scheduling and Placement of Real-Time Tasks
to Partially Reconfigurable Devices.” Proceedings 24th IEEE International Real-Time
Systems Symposium (RTSS), IEEE CS Press, 2003, pp. 224–25, doi:10.1109/real.2003.1253269.
short: 'C. Steiger, H. Walder, M. Platzner, L. Thiele, in: Proceedings 24th IEEE
International Real-Time Systems Symposium (RTSS), IEEE CS Press, 2003, pp. 224–225.'
date_created: 2019-10-04T21:22:53Z
date_updated: 2026-02-23T16:04:54Z
department:
- _id: '78'
doi: 10.1109/real.2003.1253269
language:
- iso: eng
page: 224-225
publication: Proceedings 24th IEEE International Real-Time Systems Symposium (RTSS)
publication_identifier:
isbn:
- '0769520448'
publication_status: published
publisher: IEEE CS Press
status: public
title: Online scheduling and placement of real-time tasks to partially reconfigurable
devices
type: conference
user_id: '14972'
year: '2003'
...
---
_id: '15165'
author:
- first_name: Björn
full_name: Schwerdtfeger, Björn
last_name: Schwerdtfeger
- first_name: Frank
full_name: Goetz, Frank
last_name: Goetz
- first_name: Gitta
full_name: Domik, Gitta
id: '90'
last_name: Domik
citation:
ama: 'Schwerdtfeger B, Goetz F, Domik G. 3D interaktives Baukastensystem unter Verwendung
von Augmented Reality Techniken. In: ; 2003.'
apa: Schwerdtfeger, B., Goetz, F., & Domik, G. (2003). 3D interaktives Baukastensystem
unter Verwendung von Augmented Reality Techniken.
bibtex: '@inproceedings{Schwerdtfeger_Goetz_Domik_2003, title={3D interaktives Baukastensystem
unter Verwendung von Augmented Reality Techniken}, author={Schwerdtfeger, Björn
and Goetz, Frank and Domik, Gitta}, year={2003} }'
chicago: Schwerdtfeger, Björn, Frank Goetz, and Gitta Domik. “3D Interaktives Baukastensystem
Unter Verwendung von Augmented Reality Techniken,” 2003.
ieee: B. Schwerdtfeger, F. Goetz, and G. Domik, “3D interaktives Baukastensystem
unter Verwendung von Augmented Reality Techniken,” 2003.
mla: Schwerdtfeger, Björn, et al. 3D Interaktives Baukastensystem Unter Verwendung
von Augmented Reality Techniken. 2003.
short: 'B. Schwerdtfeger, F. Goetz, G. Domik, in: 2003.'
date_created: 2019-11-25T09:37:31Z
date_updated: 2026-02-24T14:50:46Z
department:
- _id: '65'
language:
- iso: eng
status: public
title: 3D interaktives Baukastensystem unter Verwendung von Augmented Reality Techniken
type: conference
user_id: '14972'
year: '2003'
...
---
_id: '2538'
author:
- first_name: Holger
full_name: Karl, Holger
id: '126'
last_name: Karl
- first_name: Seble
full_name: Mengesha, Seble
last_name: Mengesha
- first_name: Daniel
full_name: Hollos, Daniel
last_name: Hollos
citation:
ama: 'Karl H, Mengesha S, Hollos D. Relaying in Wireless Access Networks .
London: Business Briefing: Wireless Technology 2002; 2002.'
apa: 'Karl, H., Mengesha, S., & Hollos, D. (2002). Relaying in Wireless Access
Networks . London: Business Briefing: Wireless Technology 2002.'
bibtex: '@book{Karl_Mengesha_Hollos_2002, place={London}, title={Relaying in Wireless
Access Networks }, publisher={Business Briefing: Wireless Technology 2002}, author={Karl,
Holger and Mengesha, Seble and Hollos, Daniel}, year={2002} }'
chicago: 'Karl, Holger, Seble Mengesha, and Daniel Hollos. Relaying in Wireless
Access Networks . London: Business Briefing: Wireless Technology 2002, 2002.'
ieee: 'H. Karl, S. Mengesha, and D. Hollos, Relaying in Wireless Access Networks
. London: Business Briefing: Wireless Technology 2002, 2002.'
mla: 'Karl, Holger, et al. Relaying in Wireless Access Networks . Business
Briefing: Wireless Technology 2002, 2002.'
short: 'H. Karl, S. Mengesha, D. Hollos, Relaying in Wireless Access Networks ,
Business Briefing: Wireless Technology 2002, London, 2002.'
date_created: 2018-04-26T11:25:49Z
date_updated: 2022-01-06T06:57:02Z
ddc:
- '000'
department:
- _id: '75'
file:
- access_level: closed
content_type: application/pdf
creator: tabu
date_created: 2018-04-26T11:25:41Z
date_updated: 2018-04-26T11:25:41Z
file_id: '2539'
file_name: karlBusinessBriefingRelayAdHoc.pdf
file_size: 226530
relation: main_file
success: 1
file_date_updated: 2018-04-26T11:25:41Z
has_accepted_license: '1'
place: London
publisher: 'Business Briefing: Wireless Technology 2002'
status: public
title: 'Relaying in Wireless Access Networks '
type: report
user_id: '15572'
year: '2002'
...
---
_id: '2541'
author:
- first_name: Andreas
full_name: Köpke, Andreas
last_name: Köpke
- first_name: Vlado
full_name: Handziski, Vlado
last_name: Handziski
- first_name: Holger
full_name: Karl, Holger
id: '126'
last_name: Karl
citation:
ama: 'Köpke A, Handziski V, Karl H. Making sensor networks intelligent. In: Proc.
7th Wireless World Research Forum (WWRF). Eindhoven/Netherlands; 2002.'
apa: Köpke, A., Handziski, V., & Karl, H. (2002). Making sensor networks intelligent.
In Proc. 7th Wireless World Research Forum (WWRF). Eindhoven/Netherlands.
bibtex: '@inproceedings{Köpke_Handziski_Karl_2002, place={Eindhoven/Netherlands},
title={ Making sensor networks intelligent}, booktitle={Proc. 7th Wireless World
Research Forum (WWRF)}, author={Köpke, Andreas and Handziski, Vlado and Karl,
Holger}, year={2002} }'
chicago: Köpke, Andreas, Vlado Handziski, and Holger Karl. “ Making Sensor Networks
Intelligent.” In Proc. 7th Wireless World Research Forum (WWRF). Eindhoven/Netherlands,
2002.
ieee: A. Köpke, V. Handziski, and H. Karl, “ Making sensor networks intelligent,”
in Proc. 7th Wireless World Research Forum (WWRF), 2002.
mla: Köpke, Andreas, et al. “ Making Sensor Networks Intelligent.” Proc. 7th
Wireless World Research Forum (WWRF), 2002.
short: 'A. Köpke, V. Handziski, H. Karl, in: Proc. 7th Wireless World Research Forum
(WWRF), Eindhoven/Netherlands, 2002.'
date_created: 2018-04-26T11:28:47Z
date_updated: 2022-01-06T06:57:04Z
ddc:
- '000'
department:
- _id: '75'
file:
- access_level: closed
content_type: application/pdf
creator: tabu
date_created: 2018-04-26T11:28:39Z
date_updated: 2018-04-26T11:28:39Z
file_id: '2542'
file_name: WWRF7.pdf
file_size: 249660
relation: main_file
success: 1
file_date_updated: 2018-04-26T11:28:39Z
has_accepted_license: '1'
place: Eindhoven/Netherlands
publication: Proc. 7th Wireless World Research Forum (WWRF)
status: public
title: ' Making sensor networks intelligent'
type: conference
user_id: '15572'
year: '2002'
...
---
_id: '2544'
author:
- first_name: Horst
full_name: Miesmer, Horst
last_name: Miesmer
- first_name: Henning
full_name: Sanneck, Henning
last_name: Sanneck
- first_name: Ana
full_name: Aguier, Ana
last_name: Aguier
- first_name: Holger
full_name: Karl, Holger
id: '126'
last_name: Karl
citation:
ama: 'Miesmer H, Sanneck H, Aguier A, Karl H. Concepts for a QoS-enabled, TCP/IP-oriented
Link Layer in Beyond 3G Networks. In: Proc. of 6th Wireless World Forum.
London / GB; 2002.'
apa: Miesmer, H., Sanneck, H., Aguier, A., & Karl, H. (2002). Concepts for a
QoS-enabled, TCP/IP-oriented Link Layer in Beyond 3G Networks. In Proc. of
6th Wireless World Forum. London / GB.
bibtex: '@inproceedings{Miesmer_Sanneck_Aguier_Karl_2002, place={London / GB}, title={Concepts
for a QoS-enabled, TCP/IP-oriented Link Layer in Beyond 3G Networks}, booktitle={Proc.
of 6th Wireless World Forum}, author={Miesmer, Horst and Sanneck, Henning and
Aguier, Ana and Karl, Holger}, year={2002} }'
chicago: Miesmer, Horst, Henning Sanneck, Ana Aguier, and Holger Karl. “Concepts
for a QoS-Enabled, TCP/IP-Oriented Link Layer in Beyond 3G Networks.” In Proc.
of 6th Wireless World Forum. London / GB, 2002.
ieee: H. Miesmer, H. Sanneck, A. Aguier, and H. Karl, “Concepts for a QoS-enabled,
TCP/IP-oriented Link Layer in Beyond 3G Networks,” in Proc. of 6th Wireless
World Forum, 2002.
mla: Miesmer, Horst, et al. “Concepts for a QoS-Enabled, TCP/IP-Oriented Link Layer
in Beyond 3G Networks.” Proc. of 6th Wireless World Forum, 2002.
short: 'H. Miesmer, H. Sanneck, A. Aguier, H. Karl, in: Proc. of 6th Wireless World
Forum, London / GB, 2002.'
date_created: 2018-04-26T11:32:29Z
date_updated: 2022-01-06T06:57:05Z
ddc:
- '000'
department:
- _id: '75'
file:
- access_level: closed
content_type: application/pdf
creator: tabu
date_created: 2018-04-26T11:30:52Z
date_updated: 2018-04-26T11:30:52Z
file_id: '2547'
file_name: WWRF6.pdf
file_size: 320477
relation: main_file
success: 1
file_date_updated: 2018-04-26T11:30:52Z
has_accepted_license: '1'
place: London / GB
publication: Proc. of 6th Wireless World Forum
status: public
title: Concepts for a QoS-enabled, TCP/IP-oriented Link Layer in Beyond 3G Networks
type: conference
user_id: '15572'
year: '2002'
...
---
_id: '2548'
author:
- first_name: D.
full_name: Hollos, D.
last_name: Hollos
- first_name: Holger
full_name: Karl, Holger
id: '126'
last_name: Karl
citation:
ama: 'Hollos D, Karl H. A HiperLAN/2 simulation model in OMNeT++. In: Proc. of
2nd Intl. OMNet Workshop. Berlin ; 2002.'
apa: Hollos, D., & Karl, H. (2002). A HiperLAN/2 simulation model in OMNeT++.
In Proc. of 2nd Intl. OMNet Workshop. Berlin .
bibtex: '@inproceedings{Hollos_Karl_2002, place={Berlin }, title={A HiperLAN/2 simulation
model in OMNeT++}, booktitle={Proc. of 2nd Intl. OMNet Workshop}, author={Hollos,
D. and Karl, Holger}, year={2002} }'
chicago: Hollos, D., and Holger Karl. “A HiperLAN/2 Simulation Model in OMNeT++.”
In Proc. of 2nd Intl. OMNet Workshop. Berlin , 2002.
ieee: D. Hollos and H. Karl, “A HiperLAN/2 simulation model in OMNeT++,” in Proc.
of 2nd Intl. OMNet Workshop, 2002.
mla: Hollos, D., and Holger Karl. “A HiperLAN/2 Simulation Model in OMNeT++.” Proc.
of 2nd Intl. OMNet Workshop, 2002.
short: 'D. Hollos, H. Karl, in: Proc. of 2nd Intl. OMNet Workshop, Berlin , 2002.'
date_created: 2018-04-26T11:34:35Z
date_updated: 2022-01-06T06:57:06Z
ddc:
- '000'
department:
- _id: '75'
file:
- access_level: closed
content_type: application/pdf
creator: tabu
date_created: 2018-04-26T11:34:27Z
date_updated: 2018-04-26T11:34:27Z
file_id: '2550'
file_name: omnet.pdf
file_size: 352064
relation: main_file
success: 1
file_date_updated: 2018-04-26T11:34:27Z
has_accepted_license: '1'
place: 'Berlin '
publication: Proc. of 2nd Intl. OMNet Workshop
status: public
title: A HiperLAN/2 simulation model in OMNeT++
type: conference
user_id: '15572'
year: '2002'
...
---
_id: '19727'
author:
- first_name: Olaf
full_name: Bonorden, Olaf
last_name: Bonorden
- first_name: Friedhelm
full_name: Meyer auf der Heide, Friedhelm
id: '15523'
last_name: Meyer auf der Heide
- first_name: Rolf
full_name: Wanka, Rolf
last_name: Wanka
citation:
ama: 'Bonorden O, Meyer auf der Heide F, Wanka R. Composition of Efficient Nested
BSP Algorithms: Minimum Spanning Tree Computation as an Instructive Example. In:
Int. Conf. on Parallel and Distributed Processing Techniques and Applications
(PDPTA). ; 2002:2202-2208.'
apa: 'Bonorden, O., Meyer auf der Heide, F., & Wanka, R. (2002). Composition
of Efficient Nested BSP Algorithms: Minimum Spanning Tree Computation as an Instructive
Example. In Int. Conf. on Parallel and Distributed Processing Techniques and
Applications (PDPTA) (pp. 2202–2208).'
bibtex: '@inproceedings{Bonorden_Meyer auf der Heide_Wanka_2002, title={Composition
of Efficient Nested BSP Algorithms: Minimum Spanning Tree Computation as an Instructive
Example}, booktitle={Int. Conf. on Parallel and Distributed Processing Techniques
and Applications (PDPTA)}, author={Bonorden, Olaf and Meyer auf der Heide, Friedhelm
and Wanka, Rolf}, year={2002}, pages={2202–2208} }'
chicago: 'Bonorden, Olaf, Friedhelm Meyer auf der Heide, and Rolf Wanka. “Composition
of Efficient Nested BSP Algorithms: Minimum Spanning Tree Computation as an Instructive
Example.” In Int. Conf. on Parallel and Distributed Processing Techniques and
Applications (PDPTA), 2202–8, 2002.'
ieee: 'O. Bonorden, F. Meyer auf der Heide, and R. Wanka, “Composition of Efficient
Nested BSP Algorithms: Minimum Spanning Tree Computation as an Instructive Example,”
in Int. Conf. on Parallel and Distributed Processing Techniques and Applications
(PDPTA), 2002, pp. 2202–2208.'
mla: 'Bonorden, Olaf, et al. “Composition of Efficient Nested BSP Algorithms: Minimum
Spanning Tree Computation as an Instructive Example.” Int. Conf. on Parallel
and Distributed Processing Techniques and Applications (PDPTA), 2002, pp.
2202–08.'
short: 'O. Bonorden, F. Meyer auf der Heide, R. Wanka, in: Int. Conf. on Parallel
and Distributed Processing Techniques and Applications (PDPTA), 2002, pp. 2202–2208.'
date_created: 2020-09-28T10:49:50Z
date_updated: 2022-01-06T06:54:10Z
department:
- _id: '63'
language:
- iso: eng
page: 2202-2208
publication: Int. Conf. on Parallel and Distributed Processing Techniques and Applications
(PDPTA)
status: public
title: 'Composition of Efficient Nested BSP Algorithms: Minimum Spanning Tree Computation
as an Instructive Example'
type: conference
user_id: '15415'
year: '2002'
...
---
_id: '19850'
author:
- first_name: Rolf
full_name: Wanka, Rolf
last_name: Wanka
citation:
ama: 'Wanka R. Any Load-Balancing Regimen for Evolving Tree Computations on Circulant
Graphs Is Asymptotically Optimal. In: Proc. Workshop on Graph-Theoretic Concepts
in Computer Science (WG). Berlin, Heidelberg; 2002:413-420. doi:10.1007/3-540-36379-3_36'
apa: Wanka, R. (2002). Any Load-Balancing Regimen for Evolving Tree Computations
on Circulant Graphs Is Asymptotically Optimal. In Proc. Workshop on Graph-Theoretic
Concepts in Computer Science (WG) (pp. 413–420). Berlin, Heidelberg. https://doi.org/10.1007/3-540-36379-3_36
bibtex: '@inproceedings{Wanka_2002, place={Berlin, Heidelberg}, title={Any Load-Balancing
Regimen for Evolving Tree Computations on Circulant Graphs Is Asymptotically Optimal},
DOI={10.1007/3-540-36379-3_36},
booktitle={Proc. Workshop on Graph-Theoretic Concepts in Computer Science (WG)},
author={Wanka, Rolf}, year={2002}, pages={413–420} }'
chicago: Wanka, Rolf. “Any Load-Balancing Regimen for Evolving Tree Computations
on Circulant Graphs Is Asymptotically Optimal.” In Proc. Workshop on Graph-Theoretic
Concepts in Computer Science (WG), 413–20. Berlin, Heidelberg, 2002. https://doi.org/10.1007/3-540-36379-3_36.
ieee: R. Wanka, “Any Load-Balancing Regimen for Evolving Tree Computations on Circulant
Graphs Is Asymptotically Optimal,” in Proc. Workshop on Graph-Theoretic Concepts
in Computer Science (WG), 2002, pp. 413–420.
mla: Wanka, Rolf. “Any Load-Balancing Regimen for Evolving Tree Computations on
Circulant Graphs Is Asymptotically Optimal.” Proc. Workshop on Graph-Theoretic
Concepts in Computer Science (WG), 2002, pp. 413–20, doi:10.1007/3-540-36379-3_36.
short: 'R. Wanka, in: Proc. Workshop on Graph-Theoretic Concepts in Computer Science
(WG), Berlin, Heidelberg, 2002, pp. 413–420.'
date_created: 2020-10-02T11:16:31Z
date_updated: 2022-01-06T06:54:13Z
department:
- _id: '63'
doi: 10.1007/3-540-36379-3_36
language:
- iso: eng
page: 413-420
place: Berlin, Heidelberg
publication: Proc. Workshop on Graph-Theoretic Concepts in Computer Science (WG)
publication_identifier:
isbn:
- '9783540003311'
- '9783540363798'
issn:
- 0302-9743
publication_status: published
status: public
title: Any Load-Balancing Regimen for Evolving Tree Computations on Circulant Graphs
Is Asymptotically Optimal
type: conference
user_id: '15415'
year: '2002'
...
---
_id: '19873'
abstract:
- lang: eng
text: We present a new and easy to use framework for navigating through scenes of
arbitrary complexity and topology. In the preprocessing, images for discrete viewpoints
and viewing directions are rendered and stored on an external volume. During navigation
each image can be displayed within a very short time by loading it from the volume.
For acceleration, our prefetching strategy loads possibly needed images for the
next few frames if the viewer takes a break. The measurements show that we achieve
interactive frame rates, whereby the difference between the minimal and maximal
display time is very small. Our system works well with scenes modelled by polygons,
but also digital photos can easily be used for describing a 3D scene.
author:
- first_name: Jan
full_name: Klein, Jan
last_name: Klein
- first_name: Jens
full_name: Krokowski, Jens
last_name: Krokowski
- first_name: Nicolas
full_name: Cuntz, Nicolas
last_name: Cuntz
citation:
ama: 'Klein J, Krokowski J, Cuntz N. Realtime Navigation in Highly Complex 3D-Scenes
Using JPEG Compression. In: Proc. of 4. GI-Informatiktage. ; 2002:224-229.'
apa: Klein, J., Krokowski, J., & Cuntz, N. (2002). Realtime Navigation in Highly
Complex 3D-Scenes Using JPEG Compression. In Proc. of 4. GI-Informatiktage
(pp. 224–229).
bibtex: '@inproceedings{Klein_Krokowski_Cuntz_2002, title={Realtime Navigation in
Highly Complex 3D-Scenes Using JPEG Compression}, booktitle={Proc. of 4. GI-Informatiktage},
author={Klein, Jan and Krokowski, Jens and Cuntz, Nicolas}, year={2002}, pages={224–229}
}'
chicago: Klein, Jan, Jens Krokowski, and Nicolas Cuntz. “Realtime Navigation in
Highly Complex 3D-Scenes Using JPEG Compression.” In Proc. of 4. GI-Informatiktage,
224–29, 2002.
ieee: J. Klein, J. Krokowski, and N. Cuntz, “Realtime Navigation in Highly Complex
3D-Scenes Using JPEG Compression,” in Proc. of 4. GI-Informatiktage, 2002,
pp. 224–229.
mla: Klein, Jan, et al. “Realtime Navigation in Highly Complex 3D-Scenes Using JPEG
Compression.” Proc. of 4. GI-Informatiktage, 2002, pp. 224–29.
short: 'J. Klein, J. Krokowski, N. Cuntz, in: Proc. of 4. GI-Informatiktage, 2002,
pp. 224–229.'
date_created: 2020-10-05T09:51:08Z
date_updated: 2022-01-06T06:54:14Z
department:
- _id: '63'
language:
- iso: eng
page: 224-229
publication: Proc. of 4. GI-Informatiktage
status: public
title: Realtime Navigation in Highly Complex 3D-Scenes Using JPEG Compression
type: conference
user_id: '15415'
year: '2002'
...
---
_id: '2423'
abstract:
- lang: eng
text: 'Wearable computers are embedded into the mobile environment of the human
body. A design challenge for wearable systems is to combine the high performance
required for tasks such as video decoding with low energy consumption required
to maximize battery runtimes and the flexibility demanded by the dynamics of the
environment and the applications. In this paper, we demonstrate that reconfigurable
hardware technology is able to answer this challenge. We present the concept and
the prototype implementation of an autonomous wearable unit with reconfigurable
modules (WURM). We discuss two experiments that show the uses of reconfigurable
hardware in WURM: ASICs-on-demand and adaptive interfaces. Finally, we develop
and evaluate task placement techniques used in the operating system layer of WURM.'
author:
- first_name: Christian
full_name: Plessl, Christian
id: '16153'
last_name: Plessl
orcid: 0000-0001-5728-9982
- first_name: Rolf
full_name: Enzler, Rolf
last_name: Enzler
- first_name: Herbert
full_name: Walder, Herbert
last_name: Walder
- first_name: Jan
full_name: Beutel, Jan
last_name: Beutel
- first_name: Marco
full_name: Platzner, Marco
id: '398'
last_name: Platzner
- first_name: Lothar
full_name: Thiele, Lothar
last_name: Thiele
citation:
ama: 'Plessl C, Enzler R, Walder H, Beutel J, Platzner M, Thiele L. Reconfigurable
Hardware in Wearable Computing Nodes. In: Proc. Int. Symp. on Wearable Computers
(ISWC). IEEE Computer Society; 2002:215-222. doi:10.1109/ISWC.2002.1167250'
apa: Plessl, C., Enzler, R., Walder, H., Beutel, J., Platzner, M., & Thiele,
L. (2002). Reconfigurable Hardware in Wearable Computing Nodes. In Proc. Int.
Symp. on Wearable Computers (ISWC) (pp. 215–222). IEEE Computer Society. https://doi.org/10.1109/ISWC.2002.1167250
bibtex: '@inproceedings{Plessl_Enzler_Walder_Beutel_Platzner_Thiele_2002, title={Reconfigurable
Hardware in Wearable Computing Nodes}, DOI={10.1109/ISWC.2002.1167250},
booktitle={Proc. Int. Symp. on Wearable Computers (ISWC)}, publisher={IEEE Computer
Society}, author={Plessl, Christian and Enzler, Rolf and Walder, Herbert and Beutel,
Jan and Platzner, Marco and Thiele, Lothar}, year={2002}, pages={215–222} }'
chicago: Plessl, Christian, Rolf Enzler, Herbert Walder, Jan Beutel, Marco Platzner,
and Lothar Thiele. “Reconfigurable Hardware in Wearable Computing Nodes.” In Proc.
Int. Symp. on Wearable Computers (ISWC), 215–22. IEEE Computer Society, 2002.
https://doi.org/10.1109/ISWC.2002.1167250.
ieee: C. Plessl, R. Enzler, H. Walder, J. Beutel, M. Platzner, and L. Thiele, “Reconfigurable
Hardware in Wearable Computing Nodes,” in Proc. Int. Symp. on Wearable Computers
(ISWC), 2002, pp. 215–222.
mla: Plessl, Christian, et al. “Reconfigurable Hardware in Wearable Computing Nodes.”
Proc. Int. Symp. on Wearable Computers (ISWC), IEEE Computer Society, 2002,
pp. 215–22, doi:10.1109/ISWC.2002.1167250.
short: 'C. Plessl, R. Enzler, H. Walder, J. Beutel, M. Platzner, L. Thiele, in:
Proc. Int. Symp. on Wearable Computers (ISWC), IEEE Computer Society, 2002, pp.
215–222.'
date_created: 2018-04-17T15:13:50Z
date_updated: 2022-01-06T06:56:13Z
department:
- _id: '518'
- _id: '78'
doi: 10.1109/ISWC.2002.1167250
keyword:
- wearable computing
page: 215-222
publication: Proc. Int. Symp. on Wearable Computers (ISWC)
publication_identifier:
isbn:
- 0-7695-1816-8
publisher: IEEE Computer Society
status: public
title: Reconfigurable Hardware in Wearable Computing Nodes
type: conference
user_id: '24135'
year: '2002'
...
---
_id: '2424'
abstract:
- lang: eng
text: ' Recent generations of high-density and high-speed FPGAs provide a sufficient
capacity for implementing complete configurable systems on a chip (CSoCs). Hybrid
CPUs that combine standard CPU cores with reconfigurable coprocessors are an important
subclass of CSoCs. With partially reconfigurable FPGAs, coprocessors can be loaded
on demand while the CPU remains running. However, the lack of high-level design
tools for partial reconfiguration makes practical implementations a challenging
task. In this paper, we introduce a design flow to implement hybrid processors
on Xilinx Virtex. The design flow is based on two techniques, virtual sockets
and feed-through components, and can efficiently generate partial configurations
from industry-quality cores. We discuss the design flow and present a fully operational
audio streaming prototype to demonstrate its feasibility. '
author:
- first_name: Matthias
full_name: Dyer, Matthias
last_name: Dyer
- first_name: Christian
full_name: Plessl, Christian
id: '16153'
last_name: Plessl
orcid: 0000-0001-5728-9982
- first_name: Marco
full_name: Platzner, Marco
id: '398'
last_name: Platzner
citation:
ama: 'Dyer M, Plessl C, Platzner M. Partially Reconfigurable Cores for Xilinx Virtex.
In: Proc. Int. Conf. on Field Programmable Logic and Applications (FPL).
Vol 2438. Lecture Notes in Computer Science (LNCS). Springer; 2002:292-301. doi:10.1007/3-540-46117-5'
apa: Dyer, M., Plessl, C., & Platzner, M. (2002). Partially Reconfigurable Cores
for Xilinx Virtex. In Proc. Int. Conf. on Field Programmable Logic and Applications
(FPL) (Vol. 2438, pp. 292–301). Springer. https://doi.org/10.1007/3-540-46117-5
bibtex: '@inproceedings{Dyer_Plessl_Platzner_2002, series={Lecture Notes in Computer
Science (LNCS)}, title={Partially Reconfigurable Cores for Xilinx Virtex}, volume={2438},
DOI={10.1007/3-540-46117-5},
booktitle={Proc. Int. Conf. on Field Programmable Logic and Applications (FPL)},
publisher={Springer}, author={Dyer, Matthias and Plessl, Christian and Platzner,
Marco}, year={2002}, pages={292–301}, collection={Lecture Notes in Computer Science
(LNCS)} }'
chicago: Dyer, Matthias, Christian Plessl, and Marco Platzner. “Partially Reconfigurable
Cores for Xilinx Virtex.” In Proc. Int. Conf. on Field Programmable Logic and
Applications (FPL), 2438:292–301. Lecture Notes in Computer Science (LNCS).
Springer, 2002. https://doi.org/10.1007/3-540-46117-5.
ieee: M. Dyer, C. Plessl, and M. Platzner, “Partially Reconfigurable Cores for Xilinx
Virtex,” in Proc. Int. Conf. on Field Programmable Logic and Applications (FPL),
2002, vol. 2438, pp. 292–301.
mla: Dyer, Matthias, et al. “Partially Reconfigurable Cores for Xilinx Virtex.”
Proc. Int. Conf. on Field Programmable Logic and Applications (FPL), vol.
2438, Springer, 2002, pp. 292–301, doi:10.1007/3-540-46117-5.
short: 'M. Dyer, C. Plessl, M. Platzner, in: Proc. Int. Conf. on Field Programmable
Logic and Applications (FPL), Springer, 2002, pp. 292–301.'
date_created: 2018-04-17T15:14:39Z
date_updated: 2022-01-06T06:56:13Z
department:
- _id: '518'
- _id: '78'
doi: 10.1007/3-540-46117-5
intvolume: ' 2438'
keyword:
- partial reconfiguration
page: 292-301
publication: Proc. Int. Conf. on Field Programmable Logic and Applications (FPL)
publisher: Springer
series_title: Lecture Notes in Computer Science (LNCS)
status: public
title: Partially Reconfigurable Cores for Xilinx Virtex
type: conference
user_id: '24135'
volume: 2438
year: '2002'
...
---
_id: '2425'
abstract:
- lang: eng
text: ' We present instance-specific custom computing machines for the set covering
problem. Four accelerator architectures are developed that implement branch \&
bound in 3-valued logic and many of the deduction techniques found in software
solvers. We use set covering benchmarks from two-level logic minimization and
Steiner triple systems to derive and discuss experimental results. The resulting
raw speedups are in the order of four magnitudes on average. Finally, we propose
a hybrid solver architecture that combines the raw speed of instance-specific
reconfigurable hardware with flexible bounding schemes implemented in software. '
author:
- first_name: Christian
full_name: Plessl, Christian
id: '16153'
last_name: Plessl
orcid: 0000-0001-5728-9982
- first_name: Marco
full_name: Platzner, Marco
id: '398'
last_name: Platzner
citation:
ama: 'Plessl C, Platzner M. Custom Computing Machines for the Set Covering Problem.
In: Proc. Int. Symp. on Field-Programmable Custom Computing Machines (FCCM).
IEEE Computer Society; 2002:163-172. doi:10.1109/FPGA.2002.1106671'
apa: Plessl, C., & Platzner, M. (2002). Custom Computing Machines for the Set
Covering Problem. In Proc. Int. Symp. on Field-Programmable Custom Computing
Machines (FCCM) (pp. 163–172). IEEE Computer Society. https://doi.org/10.1109/FPGA.2002.1106671
bibtex: '@inproceedings{Plessl_Platzner_2002, title={Custom Computing Machines for
the Set Covering Problem}, DOI={10.1109/FPGA.2002.1106671},
booktitle={Proc. Int. Symp. on Field-Programmable Custom Computing Machines (FCCM)},
publisher={IEEE Computer Society}, author={Plessl, Christian and Platzner, Marco},
year={2002}, pages={163–172} }'
chicago: Plessl, Christian, and Marco Platzner. “Custom Computing Machines for the
Set Covering Problem.” In Proc. Int. Symp. on Field-Programmable Custom Computing
Machines (FCCM), 163–72. IEEE Computer Society, 2002. https://doi.org/10.1109/FPGA.2002.1106671.
ieee: C. Plessl and M. Platzner, “Custom Computing Machines for the Set Covering
Problem,” in Proc. Int. Symp. on Field-Programmable Custom Computing Machines
(FCCM), 2002, pp. 163–172.
mla: Plessl, Christian, and Marco Platzner. “Custom Computing Machines for the Set
Covering Problem.” Proc. Int. Symp. on Field-Programmable Custom Computing
Machines (FCCM), IEEE Computer Society, 2002, pp. 163–72, doi:10.1109/FPGA.2002.1106671.
short: 'C. Plessl, M. Platzner, in: Proc. Int. Symp. on Field-Programmable Custom
Computing Machines (FCCM), IEEE Computer Society, 2002, pp. 163–172.'
date_created: 2018-04-17T15:15:44Z
date_updated: 2022-01-06T06:56:13Z
department:
- _id: '518'
- _id: '78'
doi: 10.1109/FPGA.2002.1106671
page: 163-172
publication: Proc. Int. Symp. on Field-Programmable Custom Computing Machines (FCCM)
publisher: IEEE Computer Society
status: public
title: Custom Computing Machines for the Set Covering Problem
type: conference
user_id: '24135'
year: '2002'
...
---
_id: '24336'
abstract:
- lang: eng
text: "We define here a distributed abstract state machine (DASM) [7] of
\r\nthe network or routing layer of mobile ad hoc networks [13]. Such networks
re-\r\nquire routing strategies substantially different from those used in static
commu-\r\nnication networks, since storing and updating large routing tables
\ at mobile \r\nhosts would congest the network with administration packets
\ very fast. In [1], \r\nthe hypercubic location service is presented,
\ which considers a very strong \r\ndefinition of fault-tolerance thereby
\ improving state-of-the-art ad hoc routing \r\nprotocols in several respects.
Our goal in modeling the protocols for the distrib-\r\nuted location service and
the position based routing is twofold. First, we support \r\nthe definition and
\ validation of wireless communication protocols and imple-\r\nmentations
based thereon. Second, we feel that the abstract computation model \r\nnaturally
reflects the layering principle of communication architectures in com-\r\nbination
with an uncompromisingly local view of the application domain. Thus \r\nwe can
identify fundamental semantic concepts, such as concurrency, reactivity \r\nand
\ asynchronism, directly with the related concepts as imposed by the
\ given \r\napplication context. "
author:
- first_name: András
full_name: ' Benczúr, András'
last_name: ' Benczúr'
- first_name: Uwe
full_name: Glässer, Uwe
last_name: Glässer
- first_name: Tamás
full_name: Lukovszki, Tamás
last_name: Lukovszki
citation:
ama: Benczúr A, Glässer U, Lukovszki T. Formal Description of a Distributed Location
Service for Mobile Ad Hoc Networks. Proc of 10th International Workshop on
Abstract State Machines, LNCS. Published online 2002.
apa: Benczúr, A., Glässer, U., & Lukovszki, T. (2002). Formal Description of
a Distributed Location Service for Mobile Ad Hoc Networks. Proc. of 10th International
Workshop on Abstract State Machines, LNCS.
bibtex: '@article{ Benczúr_Glässer_Lukovszki_2002, title={Formal Description of
a Distributed Location Service for Mobile Ad Hoc Networks}, journal={Proc. of
10th International Workshop on Abstract State Machines, LNCS}, author={ Benczúr,
András and Glässer, Uwe and Lukovszki, Tamás}, year={2002} }'
chicago: Benczúr, András, Uwe Glässer, and Tamás Lukovszki. “Formal Description
of a Distributed Location Service for Mobile Ad Hoc Networks.” Proc. of 10th
International Workshop on Abstract State Machines, LNCS, 2002.
ieee: A. Benczúr, U. Glässer, and T. Lukovszki, “Formal Description of a Distributed
Location Service for Mobile Ad Hoc Networks,” Proc. of 10th International Workshop
on Abstract State Machines, LNCS, 2002.
mla: Benczúr, András, et al. “Formal Description of a Distributed Location Service
for Mobile Ad Hoc Networks.” Proc. of 10th International Workshop on Abstract
State Machines, LNCS, 2002.
short: A. Benczúr, U. Glässer, T. Lukovszki, Proc. of 10th International Workshop
on Abstract State Machines, LNCS (2002).
date_created: 2021-09-14T08:51:39Z
date_updated: 2022-01-06T06:56:18Z
ddc:
- '000'
department:
- _id: '63'
file:
- access_level: closed
content_type: application/pdf
creator: koala
date_created: 2021-09-14T09:09:28Z
date_updated: 2021-09-14T09:09:28Z
file_id: '24337'
file_name: asm03.pdf
file_size: 162215
relation: main_file
success: 1
file_date_updated: 2021-09-14T09:09:28Z
has_accepted_license: '1'
language:
- iso: eng
publication: Proc. of 10th International Workshop on Abstract State Machines, LNCS
publication_status: published
status: public
title: Formal Description of a Distributed Location Service for Mobile Ad Hoc Networks
type: journal_article
user_id: '15415'
year: '2002'
...
---
_id: '24338'
author:
- first_name: Matthias
full_name: Grünewald, Matthias
last_name: Grünewald
- first_name: Tamás
full_name: Lukovszki, Tamás
last_name: Lukovszki
- first_name: Christian
full_name: Schindelhauer, Christian
last_name: Schindelhauer
- first_name: Klaus
full_name: Volbert, Klaus
last_name: Volbert
citation:
ama: 'Grünewald M, Lukovszki T, Schindelhauer C, Volbert K. Distributed Maintenance
of Resource Efficient Wireless Network Topologies. In: Proceedings of the 8th
International Euro-Par Conference. ; 2002. doi:10.1007/3-540-45706-2_134'
apa: Grünewald, M., Lukovszki, T., Schindelhauer, C., & Volbert, K. (2002).
Distributed Maintenance of Resource Efficient Wireless Network Topologies. Proceedings
of the 8th International Euro-Par Conference. https://doi.org/10.1007/3-540-45706-2_134
bibtex: '@inproceedings{Grünewald_Lukovszki_Schindelhauer_Volbert_2002, place={Paderborn,
Germany}, title={Distributed Maintenance of Resource Efficient Wireless Network
Topologies}, DOI={10.1007/3-540-45706-2_134},
booktitle={Proceedings of the 8th International Euro-Par Conference}, author={Grünewald,
Matthias and Lukovszki, Tamás and Schindelhauer, Christian and Volbert, Klaus},
year={2002} }'
chicago: Grünewald, Matthias, Tamás Lukovszki, Christian Schindelhauer, and Klaus
Volbert. “Distributed Maintenance of Resource Efficient Wireless Network Topologies.”
In Proceedings of the 8th International Euro-Par Conference. Paderborn,
Germany, 2002. https://doi.org/10.1007/3-540-45706-2_134.
ieee: 'M. Grünewald, T. Lukovszki, C. Schindelhauer, and K. Volbert, “Distributed
Maintenance of Resource Efficient Wireless Network Topologies,” 2002, doi: 10.1007/3-540-45706-2_134.'
mla: Grünewald, Matthias, et al. “Distributed Maintenance of Resource Efficient
Wireless Network Topologies.” Proceedings of the 8th International Euro-Par
Conference, 2002, doi:10.1007/3-540-45706-2_134.
short: 'M. Grünewald, T. Lukovszki, C. Schindelhauer, K. Volbert, in: Proceedings
of the 8th International Euro-Par Conference, Paderborn, Germany, 2002.'
date_created: 2021-09-14T09:15:57Z
date_updated: 2022-01-06T06:56:18Z
department:
- _id: '63'
doi: 10.1007/3-540-45706-2_134
language:
- iso: eng
place: Paderborn, Germany
publication: Proceedings of the 8th International Euro-Par Conference
publication_identifier:
issn:
- 0302-9743
publication_status: published
status: public
title: Distributed Maintenance of Resource Efficient Wireless Network Topologies
type: conference
user_id: '15415'
year: '2002'
...
---
_id: '26412'
author:
- first_name: Klaus
full_name: Volbert, Klaus
last_name: Volbert
citation:
ama: 'Volbert K. A simulation environment for ad hoc networks using sector subdivision.
In: Proceedings 10th Euromicro Workshop on Parallel, Distributed and Network-Based
Processing. ; 2002. doi:10.1109/empdp.2002.994324'
apa: Volbert, K. (2002). A simulation environment for ad hoc networks using sector
subdivision. Proceedings 10th Euromicro Workshop on Parallel, Distributed and
Network-Based Processing. https://doi.org/10.1109/empdp.2002.994324
bibtex: '@inproceedings{Volbert_2002, title={A simulation environment for ad hoc
networks using sector subdivision}, DOI={10.1109/empdp.2002.994324},
booktitle={Proceedings 10th Euromicro Workshop on Parallel, Distributed and Network-based
Processing}, author={Volbert, Klaus}, year={2002} }'
chicago: Volbert, Klaus. “A Simulation Environment for Ad Hoc Networks Using Sector
Subdivision.” In Proceedings 10th Euromicro Workshop on Parallel, Distributed
and Network-Based Processing, 2002. https://doi.org/10.1109/empdp.2002.994324.
ieee: 'K. Volbert, “A simulation environment for ad hoc networks using sector subdivision,”
2002, doi: 10.1109/empdp.2002.994324.'
mla: Volbert, Klaus. “A Simulation Environment for Ad Hoc Networks Using Sector
Subdivision.” Proceedings 10th Euromicro Workshop on Parallel, Distributed
and Network-Based Processing, 2002, doi:10.1109/empdp.2002.994324.
short: 'K. Volbert, in: Proceedings 10th Euromicro Workshop on Parallel, Distributed
and Network-Based Processing, 2002.'
date_created: 2021-10-18T15:45:20Z
date_updated: 2022-01-06T06:57:20Z
department:
- _id: '63'
- _id: '26'
doi: 10.1109/empdp.2002.994324
language:
- iso: eng
publication: Proceedings 10th Euromicro Workshop on Parallel, Distributed and Network-based
Processing
publication_status: published
status: public
title: A simulation environment for ad hoc networks using sector subdivision
type: conference
user_id: '15415'
year: '2002'
...
---
_id: '3241'
author:
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: Wehrheim H. Relating State-based and Behaviour-oriented Subtyping. Nord
J Comput. 2002;(4):405--435.
apa: Wehrheim, H. (2002). Relating State-based and Behaviour-oriented Subtyping.
Nord. J. Comput., (4), 405--435.
bibtex: '@article{Wehrheim_2002, title={Relating State-based and Behaviour-oriented
Subtyping}, number={4}, journal={Nord. J. Comput.}, author={Wehrheim, Heike},
year={2002}, pages={405--435} }'
chicago: 'Wehrheim, Heike. “Relating State-Based and Behaviour-Oriented Subtyping.”
Nord. J. Comput., no. 4 (2002): 405--435.'
ieee: H. Wehrheim, “Relating State-based and Behaviour-oriented Subtyping,” Nord.
J. Comput., no. 4, pp. 405--435, 2002.
mla: Wehrheim, Heike. “Relating State-Based and Behaviour-Oriented Subtyping.” Nord.
J. Comput., no. 4, 2002, pp. 405--435.
short: H. Wehrheim, Nord. J. Comput. (2002) 405--435.
date_created: 2018-06-14T06:56:20Z
date_updated: 2022-01-06T06:59:07Z
department:
- _id: '77'
issue: '4'
page: 405--435
publication: Nord. J. Comput.
status: public
title: Relating State-based and Behaviour-oriented Subtyping
type: journal_article
user_id: '29719'
year: '2002'
...
---
_id: '3242'
author:
- first_name: Ernst-Rüdiger
full_name: Olderog, Ernst-Rüdiger
last_name: Olderog
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'Olderog E-R, Wehrheim H. Specification and Inheritance in {CSP-OZ}. In: S.
de Boer F, M. Bonsangue M, Graf S, P. de Roever W, eds. Formal Methods for
Components and Objects, First International Symposium, {FMCO} 2002, Leiden, The
Netherlands, November 5-8, 2002, Revised Lectures. Lecture Notes in Computer
Science. ; 2002:361--379. doi:10.1007/978-3-540-39656-7_15'
apa: Olderog, E.-R., & Wehrheim, H. (2002). Specification and Inheritance in
{CSP-OZ}. In F. S. de Boer, M. M. Bonsangue, S. Graf, & W. P. de Roever (Eds.),
Formal Methods for Components and Objects, First International Symposium, {FMCO}
2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures (pp. 361--379).
https://doi.org/10.1007/978-3-540-39656-7_15
bibtex: '@inproceedings{Olderog_Wehrheim_2002, series={Lecture Notes in Computer
Science}, title={Specification and Inheritance in {CSP-OZ}}, DOI={10.1007/978-3-540-39656-7_15},
booktitle={Formal Methods for Components and Objects, First International Symposium,
{FMCO} 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures}, author={Olderog,
Ernst-Rüdiger and Wehrheim, Heike}, editor={S. de Boer, Frank and M. Bonsangue,
Marcello and Graf, Susanne and P. de Roever, WillemEditors}, year={2002}, pages={361--379},
collection={Lecture Notes in Computer Science} }'
chicago: Olderog, Ernst-Rüdiger, and Heike Wehrheim. “Specification and Inheritance
in {CSP-OZ}.” In Formal Methods for Components and Objects, First International
Symposium, {FMCO} 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures,
edited by Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, and Willem P.
de Roever, 361--379. Lecture Notes in Computer Science, 2002. https://doi.org/10.1007/978-3-540-39656-7_15.
ieee: E.-R. Olderog and H. Wehrheim, “Specification and Inheritance in {CSP-OZ},”
in Formal Methods for Components and Objects, First International Symposium,
{FMCO} 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures,
2002, pp. 361--379.
mla: Olderog, Ernst-Rüdiger, and Heike Wehrheim. “Specification and Inheritance
in {CSP-OZ}.” Formal Methods for Components and Objects, First International
Symposium, {FMCO} 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures,
edited by Frank S. de Boer et al., 2002, pp. 361--379, doi:10.1007/978-3-540-39656-7_15.
short: 'E.-R. Olderog, H. Wehrheim, in: F. S. de Boer, M. M. Bonsangue, S. Graf,
W. P. de Roever (Eds.), Formal Methods for Components and Objects, First International
Symposium, {FMCO} 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures,
2002, pp. 361--379.'
date_created: 2018-06-14T07:10:28Z
date_updated: 2022-01-06T06:59:07Z
department:
- _id: '77'
doi: 10.1007/978-3-540-39656-7_15
editor:
- first_name: Frank
full_name: S. de Boer, Frank
last_name: S. de Boer
- first_name: Marcello
full_name: M. Bonsangue, Marcello
last_name: M. Bonsangue
- first_name: Susanne
full_name: Graf, Susanne
last_name: Graf
- first_name: Willem
full_name: P. de Roever, Willem
last_name: P. de Roever
page: 361--379
publication: Formal Methods for Components and Objects, First International Symposium,
{FMCO} 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures
series_title: Lecture Notes in Computer Science
status: public
title: Specification and Inheritance in {CSP-OZ}
type: conference
user_id: '29719'
year: '2002'
...