---
_id: '3215'
author:
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Christian
full_name: Soltenborn, Christian
id: '1737'
last_name: Soltenborn
orcid: 0000-0002-0342-8227
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'Engels G, Soltenborn C, Wehrheim H. Analysis of {UML} Activities Using Dynamic
Meta Modeling. In: M. Bonsangue M, Broch Johnsen E, eds. Formal Methods for
Open Object-Based Distributed Systems, 9th {IFIP} {WG} 6.1 International Conference,
{FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings. Lecture Notes
in Computer Science. ; 2007:76--90. doi:10.1007/978-3-540-72952-5_5'
apa: Engels, G., Soltenborn, C., & Wehrheim, H. (2007). Analysis of {UML} Activities
Using Dynamic Meta Modeling. In M. M. Bonsangue & E. Broch Johnsen (Eds.),
Formal Methods for Open Object-Based Distributed Systems, 9th {IFIP} {WG} 6.1
International Conference, {FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings
(pp. 76--90). https://doi.org/10.1007/978-3-540-72952-5_5
bibtex: '@inproceedings{Engels_Soltenborn_Wehrheim_2007, series={Lecture Notes in
Computer Science}, title={Analysis of {UML} Activities Using Dynamic Meta Modeling},
DOI={10.1007/978-3-540-72952-5_5},
booktitle={Formal Methods for Open Object-Based Distributed Systems, 9th {IFIP}
{WG} 6.1 International Conference, {FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007,
Proceedings}, author={Engels, Gregor and Soltenborn, Christian and Wehrheim, Heike},
editor={M. Bonsangue, Marcello and Broch Johnsen, EinarEditors}, year={2007},
pages={76--90}, collection={Lecture Notes in Computer Science} }'
chicago: Engels, Gregor, Christian Soltenborn, and Heike Wehrheim. “Analysis of
{UML} Activities Using Dynamic Meta Modeling.” In Formal Methods for Open Object-Based
Distributed Systems, 9th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2007,
Paphos, Cyprus, June 6-8, 2007, Proceedings, edited by Marcello M. Bonsangue
and Einar Broch Johnsen, 76--90. Lecture Notes in Computer Science, 2007. https://doi.org/10.1007/978-3-540-72952-5_5.
ieee: G. Engels, C. Soltenborn, and H. Wehrheim, “Analysis of {UML} Activities Using
Dynamic Meta Modeling,” in Formal Methods for Open Object-Based Distributed
Systems, 9th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2007, Paphos,
Cyprus, June 6-8, 2007, Proceedings, 2007, pp. 76--90.
mla: Engels, Gregor, et al. “Analysis of {UML} Activities Using Dynamic Meta Modeling.”
Formal Methods for Open Object-Based Distributed Systems, 9th {IFIP} {WG} 6.1
International Conference, {FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings,
edited by Marcello M. Bonsangue and Einar Broch Johnsen, 2007, pp. 76--90, doi:10.1007/978-3-540-72952-5_5.
short: 'G. Engels, C. Soltenborn, H. Wehrheim, in: M. M. Bonsangue, E. Broch Johnsen
(Eds.), Formal Methods for Open Object-Based Distributed Systems, 9th {IFIP} {WG}
6.1 International Conference, {FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings,
2007, pp. 76--90.'
date_created: 2018-06-13T10:01:31Z
date_updated: 2022-01-06T06:59:05Z
department:
- _id: '77'
doi: 10.1007/978-3-540-72952-5_5
editor:
- first_name: Marcello
full_name: M. Bonsangue, Marcello
last_name: M. Bonsangue
- first_name: Einar
full_name: Broch Johnsen, Einar
last_name: Broch Johnsen
language:
- iso: eng
page: 76--90
publication: Formal Methods for Open Object-Based Distributed Systems, 9th {IFIP}
{WG} 6.1 International Conference, {FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007,
Proceedings
series_title: Lecture Notes in Computer Science
status: public
title: Analysis of {UML} Activities Using Dynamic Meta Modeling
type: conference
user_id: '14955'
year: '2007'
...
---
_id: '3216'
author:
- first_name: Thomas
full_name: Ruhroth, Thomas
last_name: Ruhroth
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'Ruhroth T, Wehrheim H. Refactoring Object-Oriented Specifications with Data
and Processes. In: M. Bonsangue M, Broch Johnsen E, eds. Formal Methods for
Open Object-Based Distributed Systems, 9th {IFIP} {WG} 6.1 International Conference,
{FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings. Lecture Notes
in Computer Science. ; 2007:236--251. doi:10.1007/978-3-540-72952-5_15'
apa: Ruhroth, T., & Wehrheim, H. (2007). Refactoring Object-Oriented Specifications
with Data and Processes. In M. M. Bonsangue & E. Broch Johnsen (Eds.), Formal
Methods for Open Object-Based Distributed Systems, 9th {IFIP} {WG} 6.1 International
Conference, {FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings (pp.
236--251). https://doi.org/10.1007/978-3-540-72952-5_15
bibtex: '@inproceedings{Ruhroth_Wehrheim_2007, series={Lecture Notes in Computer
Science}, title={Refactoring Object-Oriented Specifications with Data and Processes},
DOI={10.1007/978-3-540-72952-5_15},
booktitle={Formal Methods for Open Object-Based Distributed Systems, 9th {IFIP}
{WG} 6.1 International Conference, {FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007,
Proceedings}, author={Ruhroth, Thomas and Wehrheim, Heike}, editor={M. Bonsangue,
Marcello and Broch Johnsen, EinarEditors}, year={2007}, pages={236--251}, collection={Lecture
Notes in Computer Science} }'
chicago: Ruhroth, Thomas, and Heike Wehrheim. “Refactoring Object-Oriented Specifications
with Data and Processes.” In Formal Methods for Open Object-Based Distributed
Systems, 9th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2007, Paphos,
Cyprus, June 6-8, 2007, Proceedings, edited by Marcello M. Bonsangue and Einar
Broch Johnsen, 236--251. Lecture Notes in Computer Science, 2007. https://doi.org/10.1007/978-3-540-72952-5_15.
ieee: T. Ruhroth and H. Wehrheim, “Refactoring Object-Oriented Specifications with
Data and Processes,” in Formal Methods for Open Object-Based Distributed Systems,
9th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2007, Paphos, Cyprus, June
6-8, 2007, Proceedings, 2007, pp. 236--251.
mla: Ruhroth, Thomas, and Heike Wehrheim. “Refactoring Object-Oriented Specifications
with Data and Processes.” Formal Methods for Open Object-Based Distributed
Systems, 9th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2007, Paphos,
Cyprus, June 6-8, 2007, Proceedings, edited by Marcello M. Bonsangue and Einar
Broch Johnsen, 2007, pp. 236--251, doi:10.1007/978-3-540-72952-5_15.
short: 'T. Ruhroth, H. Wehrheim, in: M. M. Bonsangue, E. Broch Johnsen (Eds.), Formal
Methods for Open Object-Based Distributed Systems, 9th {IFIP} {WG} 6.1 International
Conference, {FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings, 2007,
pp. 236--251.'
date_created: 2018-06-13T10:03:09Z
date_updated: 2022-01-06T06:59:05Z
department:
- _id: '77'
doi: 10.1007/978-3-540-72952-5_15
editor:
- first_name: Marcello
full_name: M. Bonsangue, Marcello
last_name: M. Bonsangue
- first_name: Einar
full_name: Broch Johnsen, Einar
last_name: Broch Johnsen
page: 236--251
publication: Formal Methods for Open Object-Based Distributed Systems, 9th {IFIP}
{WG} 6.1 International Conference, {FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007,
Proceedings
series_title: Lecture Notes in Computer Science
status: public
title: Refactoring Object-Oriented Specifications with Data and Processes
type: conference
user_id: '29719'
year: '2007'
...
---
_id: '3221'
author:
- first_name: Wilhelm
full_name: Schäfer, Wilhelm
last_name: Schäfer
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'Schäfer W, Wehrheim H. The Challenges of Building Advanced Mechatronic Systems.
In: C. Briand L, L. Wolf A, eds. International Conference on Software Engineering,
{ISCE} 2007, Workshop on the Future of Software Engineering, {FOSE} 2007, May
23-25, 2007, Minneapolis, MN, {USA}. ; 2007:72--84. doi:10.1109/FOSE.2007.28'
apa: Schäfer, W., & Wehrheim, H. (2007). The Challenges of Building Advanced
Mechatronic Systems. In L. C. Briand & A. L. Wolf (Eds.), International
Conference on Software Engineering, {ISCE} 2007, Workshop on the Future of Software
Engineering, {FOSE} 2007, May 23-25, 2007, Minneapolis, MN, {USA} (pp. 72--84).
https://doi.org/10.1109/FOSE.2007.28
bibtex: '@inproceedings{Schäfer_Wehrheim_2007, title={The Challenges of Building
Advanced Mechatronic Systems}, DOI={10.1109/FOSE.2007.28},
booktitle={International Conference on Software Engineering, {ISCE} 2007, Workshop
on the Future of Software Engineering, {FOSE} 2007, May 23-25, 2007, Minneapolis,
MN, {USA}}, author={Schäfer, Wilhelm and Wehrheim, Heike}, editor={C. Briand,
Lionel and L. Wolf, AlexanderEditors}, year={2007}, pages={72--84} }'
chicago: Schäfer, Wilhelm, and Heike Wehrheim. “The Challenges of Building Advanced
Mechatronic Systems.” In International Conference on Software Engineering,
{ISCE} 2007, Workshop on the Future of Software Engineering, {FOSE} 2007, May
23-25, 2007, Minneapolis, MN, {USA}, edited by Lionel C. Briand and Alexander
L. Wolf, 72--84, 2007. https://doi.org/10.1109/FOSE.2007.28.
ieee: W. Schäfer and H. Wehrheim, “The Challenges of Building Advanced Mechatronic
Systems,” in International Conference on Software Engineering, {ISCE} 2007,
Workshop on the Future of Software Engineering, {FOSE} 2007, May 23-25, 2007,
Minneapolis, MN, {USA}, 2007, pp. 72--84.
mla: Schäfer, Wilhelm, and Heike Wehrheim. “The Challenges of Building Advanced
Mechatronic Systems.” International Conference on Software Engineering, {ISCE}
2007, Workshop on the Future of Software Engineering, {FOSE} 2007, May 23-25,
2007, Minneapolis, MN, {USA}, edited by Lionel C. Briand and Alexander L.
Wolf, 2007, pp. 72--84, doi:10.1109/FOSE.2007.28.
short: 'W. Schäfer, H. Wehrheim, in: L. C. Briand, A. L. Wolf (Eds.), International
Conference on Software Engineering, {ISCE} 2007, Workshop on the Future of Software
Engineering, {FOSE} 2007, May 23-25, 2007, Minneapolis, MN, {USA}, 2007, pp. 72--84.'
date_created: 2018-06-14T06:30:41Z
date_updated: 2022-01-06T06:59:05Z
department:
- _id: '77'
doi: 10.1109/FOSE.2007.28
editor:
- first_name: Lionel
full_name: C. Briand, Lionel
last_name: C. Briand
- first_name: Alexander
full_name: L. Wolf, Alexander
last_name: L. Wolf
page: 72--84
publication: International Conference on Software Engineering, {ISCE} 2007, Workshop
on the Future of Software Engineering, {FOSE} 2007, May 23-25, 2007, Minneapolis,
MN, {USA}
status: public
title: The Challenges of Building Advanced Mechatronic Systems
type: conference
user_id: '29719'
year: '2007'
...
---
_id: '3222'
author:
- first_name: John
full_name: Derrick, John
last_name: Derrick
- first_name: Gerhard
full_name: Schellhorn, Gerhard
last_name: Schellhorn
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'Derrick J, Schellhorn G, Wehrheim H. Proving Linearizability Via Non-atomic
Refinement. In: Davies J, Gibbons J, eds. Integrated Formal Methods, 6th International
Conference, {IFM} 2007, Oxford, UK, July 2-5, 2007, Proceedings. Lecture Notes
in Computer Science. ; 2007:195--214. doi:10.1007/978-3-540-73210-5_11'
apa: Derrick, J., Schellhorn, G., & Wehrheim, H. (2007). Proving Linearizability
Via Non-atomic Refinement. In J. Davies & J. Gibbons (Eds.), Integrated
Formal Methods, 6th International Conference, {IFM} 2007, Oxford, UK, July 2-5,
2007, Proceedings (pp. 195--214). https://doi.org/10.1007/978-3-540-73210-5_11
bibtex: '@inproceedings{Derrick_Schellhorn_Wehrheim_2007, series={Lecture Notes
in Computer Science}, title={Proving Linearizability Via Non-atomic Refinement},
DOI={10.1007/978-3-540-73210-5_11},
booktitle={Integrated Formal Methods, 6th International Conference, {IFM} 2007,
Oxford, UK, July 2-5, 2007, Proceedings}, author={Derrick, John and Schellhorn,
Gerhard and Wehrheim, Heike}, editor={Davies, Jim and Gibbons, JeremyEditors},
year={2007}, pages={195--214}, collection={Lecture Notes in Computer Science}
}'
chicago: Derrick, John, Gerhard Schellhorn, and Heike Wehrheim. “Proving Linearizability
Via Non-Atomic Refinement.” In Integrated Formal Methods, 6th International
Conference, {IFM} 2007, Oxford, UK, July 2-5, 2007, Proceedings, edited by
Jim Davies and Jeremy Gibbons, 195--214. Lecture Notes in Computer Science, 2007.
https://doi.org/10.1007/978-3-540-73210-5_11.
ieee: J. Derrick, G. Schellhorn, and H. Wehrheim, “Proving Linearizability Via Non-atomic
Refinement,” in Integrated Formal Methods, 6th International Conference, {IFM}
2007, Oxford, UK, July 2-5, 2007, Proceedings, 2007, pp. 195--214.
mla: Derrick, John, et al. “Proving Linearizability Via Non-Atomic Refinement.”
Integrated Formal Methods, 6th International Conference, {IFM} 2007, Oxford,
UK, July 2-5, 2007, Proceedings, edited by Jim Davies and Jeremy Gibbons,
2007, pp. 195--214, doi:10.1007/978-3-540-73210-5_11.
short: 'J. Derrick, G. Schellhorn, H. Wehrheim, in: J. Davies, J. Gibbons (Eds.),
Integrated Formal Methods, 6th International Conference, {IFM} 2007, Oxford, UK,
July 2-5, 2007, Proceedings, 2007, pp. 195--214.'
date_created: 2018-06-14T06:32:05Z
date_updated: 2022-01-06T06:59:05Z
department:
- _id: '77'
doi: 10.1007/978-3-540-73210-5_11
editor:
- first_name: Jim
full_name: Davies, Jim
last_name: Davies
- first_name: Jeremy
full_name: Gibbons, Jeremy
last_name: Gibbons
page: 195--214
publication: Integrated Formal Methods, 6th International Conference, {IFM} 2007,
Oxford, UK, July 2-5, 2007, Proceedings
series_title: Lecture Notes in Computer Science
status: public
title: Proving Linearizability Via Non-atomic Refinement
type: conference
user_id: '29719'
year: '2007'
...
---
_id: '3223'
author:
- first_name: Ingo
full_name: Brückner, Ingo
last_name: Brückner
- first_name: Björn
full_name: Metzler, Björn
last_name: Metzler
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: Brückner I, Metzler B, Wehrheim H. Optimizing Slicing of Formal Specifications
by Deductive Verification. Nord J Comput. 2006;(1-2):22--45.
apa: Brückner, I., Metzler, B., & Wehrheim, H. (2006). Optimizing Slicing of
Formal Specifications by Deductive Verification. Nord. J. Comput., (1–2),
22--45.
bibtex: '@article{Brückner_Metzler_Wehrheim_2006, title={Optimizing Slicing of Formal
Specifications by Deductive Verification}, number={1–2}, journal={Nord. J. Comput.},
author={Brückner, Ingo and Metzler, Björn and Wehrheim, Heike}, year={2006}, pages={22--45}
}'
chicago: 'Brückner, Ingo, Björn Metzler, and Heike Wehrheim. “Optimizing Slicing
of Formal Specifications by Deductive Verification.” Nord. J. Comput.,
no. 1–2 (2006): 22--45.'
ieee: I. Brückner, B. Metzler, and H. Wehrheim, “Optimizing Slicing of Formal Specifications
by Deductive Verification,” Nord. J. Comput., no. 1–2, pp. 22--45, 2006.
mla: Brückner, Ingo, et al. “Optimizing Slicing of Formal Specifications by Deductive
Verification.” Nord. J. Comput., no. 1–2, 2006, pp. 22--45.
short: I. Brückner, B. Metzler, H. Wehrheim, Nord. J. Comput. (2006) 22--45.
date_created: 2018-06-14T06:33:37Z
date_updated: 2022-01-06T06:59:05Z
department:
- _id: '77'
issue: 1-2
page: 22--45
publication: Nord. J. Comput.
status: public
title: Optimizing Slicing of Formal Specifications by Deductive Verification
type: journal_article
user_id: '29719'
year: '2006'
...
---
_id: '3224'
author:
- first_name: John
full_name: Derrick, John
last_name: Derrick
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'Derrick J, Wehrheim H. Model Transformations Incorporating Multiple Views.
In: Johnson M, Vene V, eds. Algebraic Methodology and Software Technology,
11th International Conference, {AMAST} 2006, Kuressaare, Estonia, July 5-8, 2006,
Proceedings. Lecture Notes in Computer Science. ; 2006:111--126. doi:10.1007/11784180_11'
apa: Derrick, J., & Wehrheim, H. (2006). Model Transformations Incorporating
Multiple Views. In M. Johnson & V. Vene (Eds.), Algebraic Methodology and
Software Technology, 11th International Conference, {AMAST} 2006, Kuressaare,
Estonia, July 5-8, 2006, Proceedings (pp. 111--126). https://doi.org/10.1007/11784180_11
bibtex: '@inproceedings{Derrick_Wehrheim_2006, series={Lecture Notes in Computer
Science}, title={Model Transformations Incorporating Multiple Views}, DOI={10.1007/11784180_11}, booktitle={Algebraic
Methodology and Software Technology, 11th International Conference, {AMAST} 2006,
Kuressaare, Estonia, July 5-8, 2006, Proceedings}, author={Derrick, John and Wehrheim,
Heike}, editor={Johnson, Michael and Vene, VarmoEditors}, year={2006}, pages={111--126},
collection={Lecture Notes in Computer Science} }'
chicago: Derrick, John, and Heike Wehrheim. “Model Transformations Incorporating
Multiple Views.” In Algebraic Methodology and Software Technology, 11th International
Conference, {AMAST} 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings,
edited by Michael Johnson and Varmo Vene, 111--126. Lecture Notes in Computer
Science, 2006. https://doi.org/10.1007/11784180_11.
ieee: J. Derrick and H. Wehrheim, “Model Transformations Incorporating Multiple
Views,” in Algebraic Methodology and Software Technology, 11th International
Conference, {AMAST} 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings,
2006, pp. 111--126.
mla: Derrick, John, and Heike Wehrheim. “Model Transformations Incorporating Multiple
Views.” Algebraic Methodology and Software Technology, 11th International Conference,
{AMAST} 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings, edited by
Michael Johnson and Varmo Vene, 2006, pp. 111--126, doi:10.1007/11784180_11.
short: 'J. Derrick, H. Wehrheim, in: M. Johnson, V. Vene (Eds.), Algebraic Methodology
and Software Technology, 11th International Conference, {AMAST} 2006, Kuressaare,
Estonia, July 5-8, 2006, Proceedings, 2006, pp. 111--126.'
date_created: 2018-06-14T06:34:47Z
date_updated: 2022-01-06T06:59:05Z
department:
- _id: '77'
doi: 10.1007/11784180_11
editor:
- first_name: Michael
full_name: Johnson, Michael
last_name: Johnson
- first_name: Varmo
full_name: Vene, Varmo
last_name: Vene
page: 111--126
publication: Algebraic Methodology and Software Technology, 11th International Conference,
{AMAST} 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings
series_title: Lecture Notes in Computer Science
status: public
title: Model Transformations Incorporating Multiple Views
type: conference
user_id: '29719'
year: '2006'
...
---
_id: '3225'
author:
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'Wehrheim H. Incremental Slicing. In: Liu Z, He J, eds. Formal Methods and
Software Engineering, 8th International Conference on Formal Engineering Methods,
{ICFEM} 2006, Macao, China, November 1-3, 2006, Proceedings. Lecture Notes
in Computer Science. ; 2006:514--528. doi:10.1007/11901433_28'
apa: Wehrheim, H. (2006). Incremental Slicing. In Z. Liu & J. He (Eds.), Formal
Methods and Software Engineering, 8th International Conference on Formal Engineering
Methods, {ICFEM} 2006, Macao, China, November 1-3, 2006, Proceedings (pp.
514--528). https://doi.org/10.1007/11901433_28
bibtex: '@inproceedings{Wehrheim_2006, series={Lecture Notes in Computer Science},
title={Incremental Slicing}, DOI={10.1007/11901433_28},
booktitle={Formal Methods and Software Engineering, 8th International Conference
on Formal Engineering Methods, {ICFEM} 2006, Macao, China, November 1-3, 2006,
Proceedings}, author={Wehrheim, Heike}, editor={Liu, Zhiming and He, JifengEditors},
year={2006}, pages={514--528}, collection={Lecture Notes in Computer Science}
}'
chicago: Wehrheim, Heike. “Incremental Slicing.” In Formal Methods and Software
Engineering, 8th International Conference on Formal Engineering Methods, {ICFEM}
2006, Macao, China, November 1-3, 2006, Proceedings, edited by Zhiming Liu
and Jifeng He, 514--528. Lecture Notes in Computer Science, 2006. https://doi.org/10.1007/11901433_28.
ieee: H. Wehrheim, “Incremental Slicing,” in Formal Methods and Software Engineering,
8th International Conference on Formal Engineering Methods, {ICFEM} 2006, Macao,
China, November 1-3, 2006, Proceedings, 2006, pp. 514--528.
mla: Wehrheim, Heike. “Incremental Slicing.” Formal Methods and Software Engineering,
8th International Conference on Formal Engineering Methods, {ICFEM} 2006, Macao,
China, November 1-3, 2006, Proceedings, edited by Zhiming Liu and Jifeng He,
2006, pp. 514--528, doi:10.1007/11901433_28.
short: 'H. Wehrheim, in: Z. Liu, J. He (Eds.), Formal Methods and Software Engineering,
8th International Conference on Formal Engineering Methods, {ICFEM} 2006, Macao,
China, November 1-3, 2006, Proceedings, 2006, pp. 514--528.'
date_created: 2018-06-14T06:35:54Z
date_updated: 2022-01-06T06:59:05Z
department:
- _id: '77'
doi: 10.1007/11901433_28
editor:
- first_name: Zhiming
full_name: Liu, Zhiming
last_name: Liu
- first_name: Jifeng
full_name: He, Jifeng
last_name: He
page: 514--528
publication: Formal Methods and Software Engineering, 8th International Conference
on Formal Engineering Methods, {ICFEM} 2006, Macao, China, November 1-3, 2006, Proceedings
series_title: Lecture Notes in Computer Science
status: public
title: Incremental Slicing
type: conference
user_id: '29719'
year: '2006'
...
---
_id: '3226'
citation:
ama: Gorrieri R, Wehrheim H, eds. Formal Methods for Open Object-Based Distributed
Systems, 8th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2006, Bologna,
Italy, June 14-16, 2006, Proceedings.; 2006. doi:10.1007/11768869
apa: Gorrieri, R., & Wehrheim, H. (Eds.). (2006). Formal Methods for Open
Object-Based Distributed Systems, 8th {IFIP} {WG} 6.1 International Conference,
{FMOODS} 2006, Bologna, Italy, June 14-16, 2006, Proceedings. https://doi.org/10.1007/11768869
bibtex: '@book{Gorrieri_Wehrheim_2006, series={Lecture Notes in Computer Science},
title={Formal Methods for Open Object-Based Distributed Systems, 8th {IFIP} {WG}
6.1 International Conference, {FMOODS} 2006, Bologna, Italy, June 14-16, 2006,
Proceedings}, DOI={10.1007/11768869},
year={2006}, collection={Lecture Notes in Computer Science} }'
chicago: Gorrieri, Roberto, and Heike Wehrheim, eds. Formal Methods for Open
Object-Based Distributed Systems, 8th {IFIP} {WG} 6.1 International Conference,
{FMOODS} 2006, Bologna, Italy, June 14-16, 2006, Proceedings. Lecture Notes
in Computer Science, 2006. https://doi.org/10.1007/11768869.
ieee: R. Gorrieri and H. Wehrheim, Eds., Formal Methods for Open Object-Based
Distributed Systems, 8th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2006,
Bologna, Italy, June 14-16, 2006, Proceedings. 2006.
mla: Gorrieri, Roberto, and Heike Wehrheim, editors. Formal Methods for Open
Object-Based Distributed Systems, 8th {IFIP} {WG} 6.1 International Conference,
{FMOODS} 2006, Bologna, Italy, June 14-16, 2006, Proceedings. 2006, doi:10.1007/11768869.
short: R. Gorrieri, H. Wehrheim, eds., Formal Methods for Open Object-Based Distributed
Systems, 8th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2006, Bologna,
Italy, June 14-16, 2006, Proceedings, 2006.
date_created: 2018-06-14T06:37:20Z
date_updated: 2022-01-06T06:59:05Z
department:
- _id: '77'
doi: 10.1007/11768869
editor:
- first_name: Roberto
full_name: Gorrieri, Roberto
last_name: Gorrieri
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
publication_identifier:
isbn:
- 3-540-34893-X
series_title: Lecture Notes in Computer Science
status: public
title: Formal Methods for Open Object-Based Distributed Systems, 8th {IFIP} {WG} 6.1
International Conference, {FMOODS} 2006, Bologna, Italy, June 14-16, 2006, Proceedings
type: conference_editor
user_id: '29719'
year: '2006'
...
---
_id: '3227'
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 (property) inheritance in {CSP-OZ}.
Sci Comput Program. 2005;(1-3):227--257. doi:10.1016/j.scico.2004.05.017
apa: Olderog, E.-R., & Wehrheim, H. (2005). Specification and (property) inheritance
in {CSP-OZ}. Sci. Comput. Program., (1–3), 227--257. https://doi.org/10.1016/j.scico.2004.05.017
bibtex: '@article{Olderog_Wehrheim_2005, title={Specification and (property) inheritance
in {CSP-OZ}}, DOI={10.1016/j.scico.2004.05.017},
number={1–3}, journal={Sci. Comput. Program.}, author={Olderog, Ernst-Rüdiger
and Wehrheim, Heike}, year={2005}, pages={227--257} }'
chicago: 'Olderog, Ernst-Rüdiger, and Heike Wehrheim. “Specification and (Property)
Inheritance in {CSP-OZ}.” Sci. Comput. Program., no. 1–3 (2005): 227--257.
https://doi.org/10.1016/j.scico.2004.05.017.'
ieee: E.-R. Olderog and H. Wehrheim, “Specification and (property) inheritance in
{CSP-OZ},” Sci. Comput. Program., no. 1–3, pp. 227--257, 2005.
mla: Olderog, Ernst-Rüdiger, and Heike Wehrheim. “Specification and (Property) Inheritance
in {CSP-OZ}.” Sci. Comput. Program., no. 1–3, 2005, pp. 227--257, doi:10.1016/j.scico.2004.05.017.
short: E.-R. Olderog, H. Wehrheim, Sci. Comput. Program. (2005) 227--257.
date_created: 2018-06-14T06:38:42Z
date_updated: 2022-01-06T06:59:06Z
department:
- _id: '77'
doi: 10.1016/j.scico.2004.05.017
issue: 1-3
page: 227--257
publication: Sci. Comput. Program.
status: public
title: Specification and (property) inheritance in {CSP-OZ}
type: journal_article
user_id: '29719'
year: '2005'
...
---
_id: '3228'
author:
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: Wehrheim H. Slicing techniques for verification re-use. Theor Comput Sci.
2005;(3):509--528. doi:10.1016/j.tcs.2005.06.020
apa: Wehrheim, H. (2005). Slicing techniques for verification re-use. Theor.
Comput. Sci., (3), 509--528. https://doi.org/10.1016/j.tcs.2005.06.020
bibtex: '@article{Wehrheim_2005, title={Slicing techniques for verification re-use},
DOI={10.1016/j.tcs.2005.06.020},
number={3}, journal={Theor. Comput. Sci.}, author={Wehrheim, Heike}, year={2005},
pages={509--528} }'
chicago: 'Wehrheim, Heike. “Slicing Techniques for Verification Re-Use.” Theor.
Comput. Sci., no. 3 (2005): 509--528. https://doi.org/10.1016/j.tcs.2005.06.020.'
ieee: H. Wehrheim, “Slicing techniques for verification re-use,” Theor. Comput.
Sci., no. 3, pp. 509--528, 2005.
mla: Wehrheim, Heike. “Slicing Techniques for Verification Re-Use.” Theor. Comput.
Sci., no. 3, 2005, pp. 509--528, doi:10.1016/j.tcs.2005.06.020.
short: H. Wehrheim, Theor. Comput. Sci. (2005) 509--528.
date_created: 2018-06-14T06:40:02Z
date_updated: 2022-01-06T06:59:06Z
department:
- _id: '77'
doi: 10.1016/j.tcs.2005.06.020
issue: '3'
page: 509--528
publication: Theor. Comput. Sci.
status: public
title: Slicing techniques for verification re-use
type: journal_article
user_id: '29719'
year: '2005'
...
---
_id: '3229'
author:
- first_name: Holger
full_name: Rasch, Holger
last_name: Rasch
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'Rasch H, Wehrheim H. Checking the Validity of Scenarios in {UML} Models. In:
Steffen M, Zavattaro G, eds. Formal Methods for Open Object-Based Distributed
Systems, 7th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2005, Athens,
Greece, June 15-17, 2005, Proceedings. Lecture Notes in Computer Science.
; 2005:67--82. doi:10.1007/11494881_5'
apa: Rasch, H., & Wehrheim, H. (2005). Checking the Validity of Scenarios in
{UML} Models. In M. Steffen & G. Zavattaro (Eds.), Formal Methods for Open
Object-Based Distributed Systems, 7th {IFIP} {WG} 6.1 International Conference,
{FMOODS} 2005, Athens, Greece, June 15-17, 2005, Proceedings (pp. 67--82).
https://doi.org/10.1007/11494881_5
bibtex: '@inproceedings{Rasch_Wehrheim_2005, series={Lecture Notes in Computer Science},
title={Checking the Validity of Scenarios in {UML} Models}, DOI={10.1007/11494881_5},
booktitle={Formal Methods for Open Object-Based Distributed Systems, 7th {IFIP}
{WG} 6.1 International Conference, {FMOODS} 2005, Athens, Greece, June 15-17,
2005, Proceedings}, author={Rasch, Holger and Wehrheim, Heike}, editor={Steffen,
Martin and Zavattaro, GianluigiEditors}, year={2005}, pages={67--82}, collection={Lecture
Notes in Computer Science} }'
chicago: Rasch, Holger, and Heike Wehrheim. “Checking the Validity of Scenarios
in {UML} Models.” In Formal Methods for Open Object-Based Distributed Systems,
7th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2005, Athens, Greece, June
15-17, 2005, Proceedings, edited by Martin Steffen and Gianluigi Zavattaro,
67--82. Lecture Notes in Computer Science, 2005. https://doi.org/10.1007/11494881_5.
ieee: H. Rasch and H. Wehrheim, “Checking the Validity of Scenarios in {UML} Models,”
in Formal Methods for Open Object-Based Distributed Systems, 7th {IFIP} {WG}
6.1 International Conference, {FMOODS} 2005, Athens, Greece, June 15-17, 2005,
Proceedings, 2005, pp. 67--82.
mla: Rasch, Holger, and Heike Wehrheim. “Checking the Validity of Scenarios in {UML}
Models.” Formal Methods for Open Object-Based Distributed Systems, 7th {IFIP}
{WG} 6.1 International Conference, {FMOODS} 2005, Athens, Greece, June 15-17,
2005, Proceedings, edited by Martin Steffen and Gianluigi Zavattaro, 2005,
pp. 67--82, doi:10.1007/11494881_5.
short: 'H. Rasch, H. Wehrheim, in: M. Steffen, G. Zavattaro (Eds.), Formal Methods
for Open Object-Based Distributed Systems, 7th {IFIP} {WG} 6.1 International Conference,
{FMOODS} 2005, Athens, Greece, June 15-17, 2005, Proceedings, 2005, pp. 67--82.'
date_created: 2018-06-14T06:41:20Z
date_updated: 2022-01-06T06:59:06Z
department:
- _id: '77'
doi: 10.1007/11494881_5
editor:
- first_name: Martin
full_name: Steffen, Martin
last_name: Steffen
- first_name: Gianluigi
full_name: Zavattaro, Gianluigi
last_name: Zavattaro
page: 67--82
publication: Formal Methods for Open Object-Based Distributed Systems, 7th {IFIP}
{WG} 6.1 International Conference, {FMOODS} 2005, Athens, Greece, June 15-17, 2005,
Proceedings
series_title: Lecture Notes in Computer Science
status: public
title: Checking the Validity of Scenarios in {UML} Models
type: conference
user_id: '29719'
year: '2005'
...
---
_id: '3230'
author:
- first_name: Ingo
full_name: Brückner, Ingo
last_name: Brückner
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'Brückner I, Wehrheim H. Slicing an Integrated Formal Method for Verification.
In: Lau K-}Kiu, Banach R, eds. Formal Methods and Software Engineering, 7th
International Conference on Formal Engineering Methods, {ICFEM} 2005, Manchester,
UK, November 1-4, 2005, Proceedings. Lecture Notes in Computer Science. ;
2005:360--374. doi:10.1007/11576280_25'
apa: Brückner, I., & Wehrheim, H. (2005). Slicing an Integrated Formal Method
for Verification. In K.-}Kiu Lau & R. Banach (Eds.), Formal Methods and
Software Engineering, 7th International Conference on Formal Engineering Methods,
{ICFEM} 2005, Manchester, UK, November 1-4, 2005, Proceedings (pp. 360--374).
https://doi.org/10.1007/11576280_25
bibtex: '@inproceedings{Brückner_Wehrheim_2005, series={Lecture Notes in Computer
Science}, title={Slicing an Integrated Formal Method for Verification}, DOI={10.1007/11576280_25}, booktitle={Formal
Methods and Software Engineering, 7th International Conference on Formal Engineering
Methods, {ICFEM} 2005, Manchester, UK, November 1-4, 2005, Proceedings}, author={Brückner,
Ingo and Wehrheim, Heike}, editor={Lau, Kung{-}Kiu and Banach, RichardEditors},
year={2005}, pages={360--374}, collection={Lecture Notes in Computer Science}
}'
chicago: Brückner, Ingo, and Heike Wehrheim. “Slicing an Integrated Formal Method
for Verification.” In Formal Methods and Software Engineering, 7th International
Conference on Formal Engineering Methods, {ICFEM} 2005, Manchester, UK, November
1-4, 2005, Proceedings, edited by Kung{-}Kiu Lau and Richard Banach, 360--374.
Lecture Notes in Computer Science, 2005. https://doi.org/10.1007/11576280_25.
ieee: I. Brückner and H. Wehrheim, “Slicing an Integrated Formal Method for Verification,”
in Formal Methods and Software Engineering, 7th International Conference on
Formal Engineering Methods, {ICFEM} 2005, Manchester, UK, November 1-4, 2005,
Proceedings, 2005, pp. 360--374.
mla: Brückner, Ingo, and Heike Wehrheim. “Slicing an Integrated Formal Method for
Verification.” Formal Methods and Software Engineering, 7th International Conference
on Formal Engineering Methods, {ICFEM} 2005, Manchester, UK, November 1-4, 2005,
Proceedings, edited by Kung{-}Kiu Lau and Richard Banach, 2005, pp. 360--374,
doi:10.1007/11576280_25.
short: 'I. Brückner, H. Wehrheim, in: K.-}Kiu Lau, R. Banach (Eds.), Formal Methods
and Software Engineering, 7th International Conference on Formal Engineering Methods,
{ICFEM} 2005, Manchester, UK, November 1-4, 2005, Proceedings, 2005, pp. 360--374.'
date_created: 2018-06-14T06:42:51Z
date_updated: 2022-01-06T06:59:06Z
department:
- _id: '77'
doi: 10.1007/11576280_25
editor:
- first_name: Kung{-}Kiu
full_name: Lau, Kung{-}Kiu
last_name: Lau
- first_name: Richard
full_name: Banach, Richard
last_name: Banach
page: 360--374
publication: Formal Methods and Software Engineering, 7th International Conference
on Formal Engineering Methods, {ICFEM} 2005, Manchester, UK, November 1-4, 2005,
Proceedings
series_title: Lecture Notes in Computer Science
status: public
title: Slicing an Integrated Formal Method for Verification
type: conference
user_id: '29719'
year: '2005'
...
---
_id: '3231'
author:
- first_name: John
full_name: Derrick, John
last_name: Derrick
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'Derrick J, Wehrheim H. Non-atomic Refinement in {Z} and {CSP}. In: Treharne
H, King S, C. Henson M, A. Schneider S, eds. {ZB} 2005: Formal Specification
and Development in {Z} and B, 4th International Conference of {B} and {Z} Users,
Guildford, UK, April 13-15, 2005, Proceedings. Lecture Notes in Computer Science.
; 2005:24--44. doi:10.1007/11415787_3'
apa: 'Derrick, J., & Wehrheim, H. (2005). Non-atomic Refinement in {Z} and {CSP}.
In H. Treharne, S. King, M. C. Henson, & S. A. Schneider (Eds.), {ZB} 2005:
Formal Specification and Development in {Z} and B, 4th International Conference
of {B} and {Z} Users, Guildford, UK, April 13-15, 2005, Proceedings (pp. 24--44).
https://doi.org/10.1007/11415787_3'
bibtex: '@inproceedings{Derrick_Wehrheim_2005, series={Lecture Notes in Computer
Science}, title={Non-atomic Refinement in {Z} and {CSP}}, DOI={10.1007/11415787_3},
booktitle={{ZB} 2005: Formal Specification and Development in {Z} and B, 4th International
Conference of {B} and {Z} Users, Guildford, UK, April 13-15, 2005, Proceedings},
author={Derrick, John and Wehrheim, Heike}, editor={Treharne, Helen and King,
Steve and C. Henson, Martin and A. Schneider, SteveEditors}, year={2005}, pages={24--44},
collection={Lecture Notes in Computer Science} }'
chicago: 'Derrick, John, and Heike Wehrheim. “Non-Atomic Refinement in {Z} and {CSP}.”
In {ZB} 2005: Formal Specification and Development in {Z} and B, 4th International
Conference of {B} and {Z} Users, Guildford, UK, April 13-15, 2005, Proceedings,
edited by Helen Treharne, Steve King, Martin C. Henson, and Steve A. Schneider,
24--44. Lecture Notes in Computer Science, 2005. https://doi.org/10.1007/11415787_3.'
ieee: 'J. Derrick and H. Wehrheim, “Non-atomic Refinement in {Z} and {CSP},” in
{ZB} 2005: Formal Specification and Development in {Z} and B, 4th International
Conference of {B} and {Z} Users, Guildford, UK, April 13-15, 2005, Proceedings,
2005, pp. 24--44.'
mla: 'Derrick, John, and Heike Wehrheim. “Non-Atomic Refinement in {Z} and {CSP}.”
{ZB} 2005: Formal Specification and Development in {Z} and B, 4th International
Conference of {B} and {Z} Users, Guildford, UK, April 13-15, 2005, Proceedings,
edited by Helen Treharne et al., 2005, pp. 24--44, doi:10.1007/11415787_3.'
short: 'J. Derrick, H. Wehrheim, in: H. Treharne, S. King, M. C. Henson, S. A. Schneider
(Eds.), {ZB} 2005: Formal Specification and Development in {Z} and B, 4th International
Conference of {B} and {Z} Users, Guildford, UK, April 13-15, 2005, Proceedings,
2005, pp. 24--44.'
date_created: 2018-06-14T06:44:17Z
date_updated: 2022-01-06T06:59:06Z
department:
- _id: '77'
doi: 10.1007/11415787_3
editor:
- first_name: Helen
full_name: Treharne, Helen
last_name: Treharne
- first_name: Steve
full_name: King, Steve
last_name: King
- first_name: Martin
full_name: C. Henson, Martin
last_name: C. Henson
- first_name: Steve
full_name: A. Schneider, Steve
last_name: A. Schneider
page: 24--44
publication: '{ZB} 2005: Formal Specification and Development in {Z} and B, 4th International
Conference of {B} and {Z} Users, Guildford, UK, April 13-15, 2005, Proceedings'
series_title: Lecture Notes in Computer Science
status: public
title: Non-atomic Refinement in {Z} and {CSP}
type: conference
user_id: '29719'
year: '2005'
...
---
_id: '3232'
author:
- first_name: Ingo
full_name: Brückner, Ingo
last_name: Brückner
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'Brückner I, Wehrheim H. Slicing Object-Z Specifications for Verification.
In: Treharne H, King S, C. Henson M, A. Schneider S, eds. {ZB} 2005: Formal
Specification and Development in {Z} and B, 4th International Conference of {B}
and {Z} Users, Guildford, UK, April 13-15, 2005, Proceedings. Lecture Notes
in Computer Science. ; 2005:414--433. doi:10.1007/11415787_24'
apa: 'Brückner, I., & Wehrheim, H. (2005). Slicing Object-Z Specifications for
Verification. In H. Treharne, S. King, M. C. Henson, & S. A. Schneider (Eds.),
{ZB} 2005: Formal Specification and Development in {Z} and B, 4th International
Conference of {B} and {Z} Users, Guildford, UK, April 13-15, 2005, Proceedings
(pp. 414--433). https://doi.org/10.1007/11415787_24'
bibtex: '@inproceedings{Brückner_Wehrheim_2005, series={Lecture Notes in Computer
Science}, title={Slicing Object-Z Specifications for Verification}, DOI={10.1007/11415787_24},
booktitle={{ZB} 2005: Formal Specification and Development in {Z} and B, 4th International
Conference of {B} and {Z} Users, Guildford, UK, April 13-15, 2005, Proceedings},
author={Brückner, Ingo and Wehrheim, Heike}, editor={Treharne, Helen and King,
Steve and C. Henson, Martin and A. Schneider, SteveEditors}, year={2005}, pages={414--433},
collection={Lecture Notes in Computer Science} }'
chicago: 'Brückner, Ingo, and Heike Wehrheim. “Slicing Object-Z Specifications for
Verification.” In {ZB} 2005: Formal Specification and Development in {Z} and
B, 4th International Conference of {B} and {Z} Users, Guildford, UK, April 13-15,
2005, Proceedings, edited by Helen Treharne, Steve King, Martin C. Henson,
and Steve A. Schneider, 414--433. Lecture Notes in Computer Science, 2005. https://doi.org/10.1007/11415787_24.'
ieee: 'I. Brückner and H. Wehrheim, “Slicing Object-Z Specifications for Verification,”
in {ZB} 2005: Formal Specification and Development in {Z} and B, 4th International
Conference of {B} and {Z} Users, Guildford, UK, April 13-15, 2005, Proceedings,
2005, pp. 414--433.'
mla: 'Brückner, Ingo, and Heike Wehrheim. “Slicing Object-Z Specifications for Verification.”
{ZB} 2005: Formal Specification and Development in {Z} and B, 4th International
Conference of {B} and {Z} Users, Guildford, UK, April 13-15, 2005, Proceedings,
edited by Helen Treharne et al., 2005, pp. 414--433, doi:10.1007/11415787_24.'
short: 'I. Brückner, H. Wehrheim, in: H. Treharne, S. King, M. C. Henson, S. A.
Schneider (Eds.), {ZB} 2005: Formal Specification and Development in {Z} and B,
4th International Conference of {B} and {Z} Users, Guildford, UK, April 13-15,
2005, Proceedings, 2005, pp. 414--433.'
date_created: 2018-06-14T06:45:30Z
date_updated: 2022-01-06T06:59:06Z
department:
- _id: '77'
doi: 10.1007/11415787_24
editor:
- first_name: Helen
full_name: Treharne, Helen
last_name: Treharne
- first_name: Steve
full_name: King, Steve
last_name: King
- first_name: Martin
full_name: C. Henson, Martin
last_name: C. Henson
- first_name: Steve
full_name: A. Schneider, Steve
last_name: A. Schneider
page: 414--433
publication: '{ZB} 2005: Formal Specification and Development in {Z} and B, 4th International
Conference of {B} and {Z} Users, Guildford, UK, April 13-15, 2005, Proceedings'
series_title: Lecture Notes in Computer Science
status: public
title: Slicing Object-Z Specifications for Verification
type: conference
user_id: '29719'
year: '2005'
...
---
_id: '3233'
author:
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'Wehrheim H. Refinement and Consistency in Component Models with Multiple Views.
In: H. Reussner R, A. Stafford J, A. Szyperski C, eds. Architecting Systems
with Trustworthy Components, International Seminar, Dagstuhl Castle, Germany,
December 12-17, 2004. Revised Selected Papers. Lecture Notes in Computer Science.
; 2004:84--102. doi:10.1007/11786160_5'
apa: Wehrheim, H. (2004). Refinement and Consistency in Component Models with Multiple
Views. In R. H. Reussner, J. A. Stafford, & C. A. Szyperski (Eds.), Architecting
Systems with Trustworthy Components, International Seminar, Dagstuhl Castle, Germany,
December 12-17, 2004. Revised Selected Papers (pp. 84--102). https://doi.org/10.1007/11786160_5
bibtex: '@inproceedings{Wehrheim_2004, series={Lecture Notes in Computer Science},
title={Refinement and Consistency in Component Models with Multiple Views}, DOI={10.1007/11786160_5}, booktitle={Architecting
Systems with Trustworthy Components, International Seminar, Dagstuhl Castle, Germany,
December 12-17, 2004. Revised Selected Papers}, author={Wehrheim, Heike}, editor={H.
Reussner, Ralf and A. Stafford, Judith and A. Szyperski, ClemensEditors}, year={2004},
pages={84--102}, collection={Lecture Notes in Computer Science} }'
chicago: Wehrheim, Heike. “Refinement and Consistency in Component Models with Multiple
Views.” In Architecting Systems with Trustworthy Components, International
Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers,
edited by Ralf H. Reussner, Judith A. Stafford, and Clemens A. Szyperski, 84--102.
Lecture Notes in Computer Science, 2004. https://doi.org/10.1007/11786160_5.
ieee: H. Wehrheim, “Refinement and Consistency in Component Models with Multiple
Views,” in Architecting Systems with Trustworthy Components, International
Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers,
2004, pp. 84--102.
mla: Wehrheim, Heike. “Refinement and Consistency in Component Models with Multiple
Views.” Architecting Systems with Trustworthy Components, International Seminar,
Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers, edited
by Ralf H. Reussner et al., 2004, pp. 84--102, doi:10.1007/11786160_5.
short: 'H. Wehrheim, in: R. H. Reussner, J. A. Stafford, C. A. Szyperski (Eds.),
Architecting Systems with Trustworthy Components, International Seminar, Dagstuhl
Castle, Germany, December 12-17, 2004. Revised Selected Papers, 2004, pp. 84--102.'
date_created: 2018-06-14T06:46:31Z
date_updated: 2022-01-06T06:59:06Z
department:
- _id: '77'
doi: 10.1007/11786160_5
editor:
- first_name: Ralf
full_name: H. Reussner, Ralf
last_name: H. Reussner
- first_name: Judith
full_name: A. Stafford, Judith
last_name: A. Stafford
- first_name: Clemens
full_name: A. Szyperski, Clemens
last_name: A. Szyperski
page: 84--102
publication: Architecting Systems with Trustworthy Components, International Seminar,
Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers
series_title: Lecture Notes in Computer Science
status: public
title: Refinement and Consistency in Component Models with Multiple Views
type: conference
user_id: '29719'
year: '2004'
...
---
_id: '3234'
author:
- first_name: Michael
full_name: Möller, Michael
last_name: Möller
- first_name: Ernst-Rüdiger
full_name: Olderog, Ernst-Rüdiger
last_name: Olderog
- first_name: Holger
full_name: Rasch, Holger
last_name: Rasch
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'Möller M, Olderog E-R, Rasch H, Wehrheim H. Linking {CSP-OZ} with {UML} and
Java: {A} Case Study. In: A. Boiten E, Derrick J, Smith G, eds. Integrated
Formal Methods, 4th International Conference, {IFM} 2004, Canterbury, UK, April
4-7, 2004, Proceedings. Lecture Notes in Computer Science. ; 2004:267--286.
doi:10.1007/978-3-540-24756-2_15'
apa: 'Möller, M., Olderog, E.-R., Rasch, H., & Wehrheim, H. (2004). Linking
{CSP-OZ} with {UML} and Java: {A} Case Study. In E. A. Boiten, J. Derrick, &
G. Smith (Eds.), Integrated Formal Methods, 4th International Conference, {IFM}
2004, Canterbury, UK, April 4-7, 2004, Proceedings (pp. 267--286). https://doi.org/10.1007/978-3-540-24756-2_15'
bibtex: '@inproceedings{Möller_Olderog_Rasch_Wehrheim_2004, series={Lecture Notes
in Computer Science}, title={Linking {CSP-OZ} with {UML} and Java: {A} Case Study},
DOI={10.1007/978-3-540-24756-2_15},
booktitle={Integrated Formal Methods, 4th International Conference, {IFM} 2004,
Canterbury, UK, April 4-7, 2004, Proceedings}, author={Möller, Michael and Olderog,
Ernst-Rüdiger and Rasch, Holger and Wehrheim, Heike}, editor={A. Boiten, Eerke
and Derrick, John and Smith, GraemeEditors}, year={2004}, pages={267--286}, collection={Lecture
Notes in Computer Science} }'
chicago: 'Möller, Michael, Ernst-Rüdiger Olderog, Holger Rasch, and Heike Wehrheim.
“Linking {CSP-OZ} with {UML} and Java: {A} Case Study.” In Integrated Formal
Methods, 4th International Conference, {IFM} 2004, Canterbury, UK, April 4-7,
2004, Proceedings, edited by Eerke A. Boiten, John Derrick, and Graeme Smith,
267--286. Lecture Notes in Computer Science, 2004. https://doi.org/10.1007/978-3-540-24756-2_15.'
ieee: 'M. Möller, E.-R. Olderog, H. Rasch, and H. Wehrheim, “Linking {CSP-OZ} with
{UML} and Java: {A} Case Study,” in Integrated Formal Methods, 4th International
Conference, {IFM} 2004, Canterbury, UK, April 4-7, 2004, Proceedings, 2004,
pp. 267--286.'
mla: 'Möller, Michael, et al. “Linking {CSP-OZ} with {UML} and Java: {A} Case Study.”
Integrated Formal Methods, 4th International Conference, {IFM} 2004, Canterbury,
UK, April 4-7, 2004, Proceedings, edited by Eerke A. Boiten et al., 2004,
pp. 267--286, doi:10.1007/978-3-540-24756-2_15.'
short: 'M. Möller, E.-R. Olderog, H. Rasch, H. Wehrheim, in: E. A. Boiten, J. Derrick,
G. Smith (Eds.), Integrated Formal Methods, 4th International Conference, {IFM}
2004, Canterbury, UK, April 4-7, 2004, Proceedings, 2004, pp. 267--286.'
date_created: 2018-06-14T06:47:35Z
date_updated: 2022-01-06T06:59:06Z
department:
- _id: '77'
doi: 10.1007/978-3-540-24756-2_15
editor:
- first_name: Eerke
full_name: A. Boiten, Eerke
last_name: A. Boiten
- first_name: John
full_name: Derrick, John
last_name: Derrick
- first_name: Graeme
full_name: Smith, Graeme
last_name: Smith
page: 267--286
publication: Integrated Formal Methods, 4th International Conference, {IFM} 2004,
Canterbury, UK, April 4-7, 2004, Proceedings
series_title: Lecture Notes in Computer Science
status: public
title: 'Linking {CSP-OZ} with {UML} and Java: {A} Case Study'
type: conference
user_id: '29719'
year: '2004'
...
---
_id: '3235'
author:
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'Wehrheim H. Refinement and Consistency in Multiview Models. In: B{\’{e}}zivin
J, Heckel R, eds. Language Engineering for Model-Driven Software Development,
29. February - 5. March 2004. Dagstuhl Seminar Proceedings. ; 2004.'
apa: Wehrheim, H. (2004). Refinement and Consistency in Multiview Models. In J.
B{\’{e}}zivin & R. Heckel (Eds.), Language Engineering for Model-Driven
Software Development, 29. February - 5. March 2004.
bibtex: '@inproceedings{Wehrheim_2004, series={Dagstuhl Seminar Proceedings}, title={Refinement
and Consistency in Multiview Models}, booktitle={Language Engineering for Model-Driven
Software Development, 29. February - 5. March 2004}, author={Wehrheim, Heike},
editor={B{\’{e}}zivin, Jean and Heckel, ReikoEditors}, year={2004}, collection={Dagstuhl
Seminar Proceedings} }'
chicago: Wehrheim, Heike. “Refinement and Consistency in Multiview Models.” In Language
Engineering for Model-Driven Software Development, 29. February - 5. March 2004,
edited by Jean B{\’{e}}zivin and Reiko Heckel. Dagstuhl Seminar Proceedings, 2004.
ieee: H. Wehrheim, “Refinement and Consistency in Multiview Models,” in Language
Engineering for Model-Driven Software Development, 29. February - 5. March 2004,
2004.
mla: Wehrheim, Heike. “Refinement and Consistency in Multiview Models.” Language
Engineering for Model-Driven Software Development, 29. February - 5. March 2004,
edited by Jean B{\’{e}}zivin and Reiko Heckel, 2004.
short: 'H. Wehrheim, in: J. B{\’{e}}zivin, R. Heckel (Eds.), Language Engineering
for Model-Driven Software Development, 29. February - 5. March 2004, 2004.'
date_created: 2018-06-14T06:48:55Z
date_updated: 2022-01-06T06:59:06Z
department:
- _id: '77'
editor:
- first_name: Jean
full_name: B{\'{e}}zivin, Jean
last_name: B{\'{e}}zivin
- first_name: Reiko
full_name: Heckel, Reiko
last_name: Heckel
publication: Language Engineering for Model-Driven Software Development, 29. February
- 5. March 2004
series_title: Dagstuhl Seminar Proceedings
status: public
title: Refinement and Consistency in Multiview Models
type: conference
user_id: '29719'
year: '2004'
...
---
_id: '3236'
author:
- first_name: Heike
full_name: Wehrheim, Heike
last_name: Wehrheim
citation:
ama: Wehrheim H. Behavioral Subtyping Relations for Active Objects. Formal Methods
in System Design. 2003;(2):143--170. doi:10.1023/A:1024764232069
apa: Wehrheim, H. (2003). Behavioral Subtyping Relations for Active Objects. Formal
Methods in System Design, (2), 143--170. https://doi.org/10.1023/A:1024764232069
bibtex: '@article{Wehrheim_2003, title={Behavioral Subtyping Relations for Active
Objects}, DOI={10.1023/A:1024764232069},
number={2}, journal={Formal Methods in System Design}, author={Wehrheim, Heike},
year={2003}, pages={143--170} }'
chicago: 'Wehrheim, Heike. “Behavioral Subtyping Relations for Active Objects.”
Formal Methods in System Design, no. 2 (2003): 143--170. https://doi.org/10.1023/A:1024764232069.'
ieee: H. Wehrheim, “Behavioral Subtyping Relations for Active Objects,” Formal
Methods in System Design, no. 2, pp. 143--170, 2003.
mla: Wehrheim, Heike. “Behavioral Subtyping Relations for Active Objects.” Formal
Methods in System Design, no. 2, 2003, pp. 143--170, doi:10.1023/A:1024764232069.
short: H. Wehrheim, Formal Methods in System Design (2003) 143--170.
date_created: 2018-06-14T06:49:57Z
date_updated: 2022-01-06T06:59:06Z
department:
- _id: '77'
doi: 10.1023/A:1024764232069
issue: '2'
page: 143--170
publication: Formal Methods in System Design
status: public
title: Behavioral Subtyping Relations for Active Objects
type: journal_article
user_id: '29719'
year: '2003'
...
---
_id: '3237'
author:
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'Wehrheim H. Preserving Properties Under Change. In: S. de Boer F, M. Bonsangue
M, Graf S, P. de Roever W, eds. Formal Methods for Components and Objects,
Second International Symposium, {FMCO} 2003, Leiden, The Netherlands, November
4-7, 2003, Revised Lectures. Lecture Notes in Computer Science. ; 2003:330--343.
doi:10.1007/978-3-540-30101-1_16'
apa: Wehrheim, H. (2003). Preserving Properties Under Change. In F. S. de Boer,
M. M. Bonsangue, S. Graf, & W. P. de Roever (Eds.), Formal Methods for
Components and Objects, Second International Symposium, {FMCO} 2003, Leiden, The
Netherlands, November 4-7, 2003, Revised Lectures (pp. 330--343). https://doi.org/10.1007/978-3-540-30101-1_16
bibtex: '@inproceedings{Wehrheim_2003, series={Lecture Notes in Computer Science},
title={Preserving Properties Under Change}, DOI={10.1007/978-3-540-30101-1_16},
booktitle={Formal Methods for Components and Objects, Second International Symposium,
{FMCO} 2003, Leiden, The Netherlands, November 4-7, 2003, Revised Lectures}, author={Wehrheim,
Heike}, editor={S. de Boer, Frank and M. Bonsangue, Marcello and Graf, Susanne
and P. de Roever, WillemEditors}, year={2003}, pages={330--343}, collection={Lecture
Notes in Computer Science} }'
chicago: Wehrheim, Heike. “Preserving Properties Under Change.” In Formal Methods
for Components and Objects, Second International Symposium, {FMCO} 2003, Leiden,
The Netherlands, November 4-7, 2003, Revised Lectures, edited by Frank S.
de Boer, Marcello M. Bonsangue, Susanne Graf, and Willem P. de Roever, 330--343.
Lecture Notes in Computer Science, 2003. https://doi.org/10.1007/978-3-540-30101-1_16.
ieee: H. Wehrheim, “Preserving Properties Under Change,” in Formal Methods for
Components and Objects, Second International Symposium, {FMCO} 2003, Leiden, The
Netherlands, November 4-7, 2003, Revised Lectures, 2003, pp. 330--343.
mla: Wehrheim, Heike. “Preserving Properties Under Change.” Formal Methods for
Components and Objects, Second International Symposium, {FMCO} 2003, Leiden, The
Netherlands, November 4-7, 2003, Revised Lectures, edited by Frank S. de Boer
et al., 2003, pp. 330--343, doi:10.1007/978-3-540-30101-1_16.
short: 'H. Wehrheim, in: F. S. de Boer, M. M. Bonsangue, S. Graf, W. P. de Roever
(Eds.), Formal Methods for Components and Objects, Second International Symposium,
{FMCO} 2003, Leiden, The Netherlands, November 4-7, 2003, Revised Lectures, 2003,
pp. 330--343.'
date_created: 2018-06-14T06:51:09Z
date_updated: 2022-01-06T06:59:06Z
department:
- _id: '77'
doi: 10.1007/978-3-540-30101-1_16
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: 330--343
publication: Formal Methods for Components and Objects, Second International Symposium,
{FMCO} 2003, Leiden, The Netherlands, November 4-7, 2003, Revised Lectures
series_title: Lecture Notes in Computer Science
status: public
title: Preserving Properties Under Change
type: conference
user_id: '29719'
year: '2003'
...
---
_id: '3238'
author:
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'Wehrheim H. Inheritance of Temporal Logic Properties. In: Najm E, Nestmann
U, Stevens P, eds. Formal Methods for Open Object-Based Distributed Systems,
6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November
19.21, 2003, Proceedings. Lecture Notes in Computer Science. ; 2003:79--93.
doi:10.1007/978-3-540-39958-2_6'
apa: Wehrheim, H. (2003). Inheritance of Temporal Logic Properties. In E. Najm,
U. Nestmann, & P. Stevens (Eds.), Formal Methods for Open Object-Based
Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003,
Paris, France, November 19.21, 2003, Proceedings (pp. 79--93). https://doi.org/10.1007/978-3-540-39958-2_6
bibtex: '@inproceedings{Wehrheim_2003, series={Lecture Notes in Computer Science},
title={Inheritance of Temporal Logic Properties}, DOI={10.1007/978-3-540-39958-2_6},
booktitle={Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP}
{WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November 19.21,
2003, Proceedings}, author={Wehrheim, Heike}, editor={Najm, Elie and Nestmann,
Uwe and Stevens, PerditaEditors}, year={2003}, pages={79--93}, collection={Lecture
Notes in Computer Science} }'
chicago: Wehrheim, Heike. “Inheritance of Temporal Logic Properties.” In Formal
Methods for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International
Conference, {FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings,
edited by Elie Najm, Uwe Nestmann, and Perdita Stevens, 79--93. Lecture Notes
in Computer Science, 2003. https://doi.org/10.1007/978-3-540-39958-2_6.
ieee: H. Wehrheim, “Inheritance of Temporal Logic Properties,” in Formal Methods
for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference,
{FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings, 2003, pp.
79--93.
mla: Wehrheim, Heike. “Inheritance of Temporal Logic Properties.” Formal Methods
for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference,
{FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings, edited by
Elie Najm et al., 2003, pp. 79--93, doi:10.1007/978-3-540-39958-2_6.
short: 'H. Wehrheim, in: E. Najm, U. Nestmann, P. Stevens (Eds.), Formal Methods
for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference,
{FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings, 2003, pp. 79--93.'
date_created: 2018-06-14T06:52:17Z
date_updated: 2022-01-06T06:59:06Z
department:
- _id: '77'
doi: 10.1007/978-3-540-39958-2_6
editor:
- first_name: Elie
full_name: Najm, Elie
last_name: Najm
- first_name: Uwe
full_name: Nestmann, Uwe
last_name: Nestmann
- first_name: Perdita
full_name: Stevens, Perdita
last_name: Stevens
page: 79--93
publication: Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP}
{WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November 19.21,
2003, Proceedings
series_title: Lecture Notes in Computer Science
status: public
title: Inheritance of Temporal Logic Properties
type: conference
user_id: '29719'
year: '2003'
...
---
_id: '3239'
author:
- first_name: Holger
full_name: Rasch, Holger
last_name: Rasch
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'Rasch H, Wehrheim H. Checking Consistency in {UML} Diagramms: Classes and
State Machines. In: Najm E, Nestmann U, Stevens P, eds. Formal Methods for
Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference,
{FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings. Lecture Notes
in Computer Science. ; 2003:229--243. doi:10.1007/978-3-540-39958-2_16'
apa: 'Rasch, H., & Wehrheim, H. (2003). Checking Consistency in {UML} Diagramms:
Classes and State Machines. In E. Najm, U. Nestmann, & P. Stevens (Eds.),
Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1
International Conference, {FMOODS} 2003, Paris, France, November 19.21, 2003,
Proceedings (pp. 229--243). https://doi.org/10.1007/978-3-540-39958-2_16'
bibtex: '@inproceedings{Rasch_Wehrheim_2003, series={Lecture Notes in Computer Science},
title={Checking Consistency in {UML} Diagramms: Classes and State Machines}, DOI={10.1007/978-3-540-39958-2_16},
booktitle={Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP}
{WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November 19.21,
2003, Proceedings}, author={Rasch, Holger and Wehrheim, Heike}, editor={Najm,
Elie and Nestmann, Uwe and Stevens, PerditaEditors}, year={2003}, pages={229--243},
collection={Lecture Notes in Computer Science} }'
chicago: 'Rasch, Holger, and Heike Wehrheim. “Checking Consistency in {UML} Diagramms:
Classes and State Machines.” In Formal Methods for Open Object-Based Distributed
Systems, 6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France,
November 19.21, 2003, Proceedings, edited by Elie Najm, Uwe Nestmann, and
Perdita Stevens, 229--243. Lecture Notes in Computer Science, 2003. https://doi.org/10.1007/978-3-540-39958-2_16.'
ieee: 'H. Rasch and H. Wehrheim, “Checking Consistency in {UML} Diagramms: Classes
and State Machines,” in Formal Methods for Open Object-Based Distributed Systems,
6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November
19.21, 2003, Proceedings, 2003, pp. 229--243.'
mla: 'Rasch, Holger, and Heike Wehrheim. “Checking Consistency in {UML} Diagramms:
Classes and State Machines.” Formal Methods for Open Object-Based Distributed
Systems, 6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France,
November 19.21, 2003, Proceedings, edited by Elie Najm et al., 2003, pp. 229--243,
doi:10.1007/978-3-540-39958-2_16.'
short: 'H. Rasch, H. Wehrheim, in: E. Najm, U. Nestmann, P. Stevens (Eds.), Formal
Methods for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International
Conference, {FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings, 2003,
pp. 229--243.'
date_created: 2018-06-14T06:53:24Z
date_updated: 2022-01-06T06:59:06Z
department:
- _id: '77'
doi: 10.1007/978-3-540-39958-2_16
editor:
- first_name: Elie
full_name: Najm, Elie
last_name: Najm
- first_name: Uwe
full_name: Nestmann, Uwe
last_name: Nestmann
- first_name: Perdita
full_name: Stevens, Perdita
last_name: Stevens
page: 229--243
publication: Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP}
{WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November 19.21,
2003, Proceedings
series_title: Lecture Notes in Computer Science
status: public
title: 'Checking Consistency in {UML} Diagramms: Classes and State Machines'
type: conference
user_id: '29719'
year: '2003'
...
---
_id: '3240'
author:
- first_name: John
full_name: Derrick, John
last_name: Derrick
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'Derrick J, Wehrheim H. Using Coupled Simulations in Non-atomic Refinement.
In: Bert D, P. Bowen J, King S, A. Wald{\’{e}}n M, eds. {ZB} 2003: Formal Specification
and Development in {Z} and B, Third International Conference of {B} and {Z} Users,
Turku, Finland, June 4-6, 2003, Proceedings. Lecture Notes in Computer Science.
; 2003:127--147. doi:10.1007/3-540-44880-2_10'
apa: 'Derrick, J., & Wehrheim, H. (2003). Using Coupled Simulations in Non-atomic
Refinement. In D. Bert, J. P. Bowen, S. King, & M. A. Wald{\’{e}}n (Eds.),
{ZB} 2003: Formal Specification and Development in {Z} and B, Third International
Conference of {B} and {Z} Users, Turku, Finland, June 4-6, 2003, Proceedings
(pp. 127--147). https://doi.org/10.1007/3-540-44880-2_10'
bibtex: '@inproceedings{Derrick_Wehrheim_2003, series={Lecture Notes in Computer
Science}, title={Using Coupled Simulations in Non-atomic Refinement}, DOI={10.1007/3-540-44880-2_10},
booktitle={{ZB} 2003: Formal Specification and Development in {Z} and B, Third
International Conference of {B} and {Z} Users, Turku, Finland, June 4-6, 2003,
Proceedings}, author={Derrick, John and Wehrheim, Heike}, editor={Bert, Didier
and P. Bowen, Jonathan and King, Steve and A. Wald{\’{e}}n, MarinaEditors}, year={2003},
pages={127--147}, collection={Lecture Notes in Computer Science} }'
chicago: 'Derrick, John, and Heike Wehrheim. “Using Coupled Simulations in Non-Atomic
Refinement.” In {ZB} 2003: Formal Specification and Development in {Z} and
B, Third International Conference of {B} and {Z} Users, Turku, Finland, June 4-6,
2003, Proceedings, edited by Didier Bert, Jonathan P. Bowen, Steve King, and
Marina A. Wald{\’{e}}n, 127--147. Lecture Notes in Computer Science, 2003. https://doi.org/10.1007/3-540-44880-2_10.'
ieee: 'J. Derrick and H. Wehrheim, “Using Coupled Simulations in Non-atomic Refinement,”
in {ZB} 2003: Formal Specification and Development in {Z} and B, Third International
Conference of {B} and {Z} Users, Turku, Finland, June 4-6, 2003, Proceedings,
2003, pp. 127--147.'
mla: 'Derrick, John, and Heike Wehrheim. “Using Coupled Simulations in Non-Atomic
Refinement.” {ZB} 2003: Formal Specification and Development in {Z} and B,
Third International Conference of {B} and {Z} Users, Turku, Finland, June 4-6,
2003, Proceedings, edited by Didier Bert et al., 2003, pp. 127--147, doi:10.1007/3-540-44880-2_10.'
short: 'J. Derrick, H. Wehrheim, in: D. Bert, J. P. Bowen, S. King, M. A. Wald{\’{e}}n
(Eds.), {ZB} 2003: Formal Specification and Development in {Z} and B, Third International
Conference of {B} and {Z} Users, Turku, Finland, June 4-6, 2003, Proceedings,
2003, pp. 127--147.'
date_created: 2018-06-14T06:54:54Z
date_updated: 2022-01-06T06:59:07Z
department:
- _id: '77'
doi: 10.1007/3-540-44880-2_10
editor:
- first_name: Didier
full_name: Bert, Didier
last_name: Bert
- first_name: Jonathan
full_name: P. Bowen, Jonathan
last_name: P. Bowen
- first_name: Steve
full_name: King, Steve
last_name: King
- first_name: Marina
full_name: A. Wald{\'{e}}n, Marina
last_name: A. Wald{\'{e}}n
page: 127--147
publication: '{ZB} 2003: Formal Specification and Development in {Z} and B, Third
International Conference of {B} and {Z} Users, Turku, Finland, June 4-6, 2003, Proceedings'
series_title: Lecture Notes in Computer Science
status: public
title: Using Coupled Simulations in Non-atomic Refinement
type: conference
user_id: '29719'
year: '2003'
...
---
_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'
...
---
_id: '3243'
author:
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'Wehrheim H. Checking Behavioural Subtypes via Refinement. In: Jacobs B, Rensink
A, eds. Formal Methods for Open Object-Based Distributed Systems V, {IFIP}
{TC6/WG6.1} Fifth International Conference on Formal Methods for Open Object-Based
Distributed Systems {(FMOODS} 2002), March 20-22, 2002, Enschede, The Netherlands.
{IFIP} Conference Proceedings. ; 2002:79--93.'
apa: Wehrheim, H. (2002). Checking Behavioural Subtypes via Refinement. In B. Jacobs
& A. Rensink (Eds.), Formal Methods for Open Object-Based Distributed Systems
V, {IFIP} {TC6/WG6.1} Fifth International Conference on Formal Methods for Open
Object-Based Distributed Systems {(FMOODS} 2002), March 20-22, 2002, Enschede,
The Netherlands (pp. 79--93).
bibtex: '@inproceedings{Wehrheim_2002, series={{IFIP} Conference Proceedings}, title={Checking
Behavioural Subtypes via Refinement}, booktitle={Formal Methods for Open Object-Based
Distributed Systems V, {IFIP} {TC6/WG6.1} Fifth International Conference on Formal
Methods for Open Object-Based Distributed Systems {(FMOODS} 2002), March 20-22,
2002, Enschede, The Netherlands}, author={Wehrheim, Heike}, editor={Jacobs, Bart
and Rensink, ArendEditors}, year={2002}, pages={79--93}, collection={{IFIP} Conference
Proceedings} }'
chicago: Wehrheim, Heike. “Checking Behavioural Subtypes via Refinement.” In Formal
Methods for Open Object-Based Distributed Systems V, {IFIP} {TC6/WG6.1} Fifth
International Conference on Formal Methods for Open Object-Based Distributed Systems
{(FMOODS} 2002), March 20-22, 2002, Enschede, The Netherlands, edited by Bart
Jacobs and Arend Rensink, 79--93. {IFIP} Conference Proceedings, 2002.
ieee: H. Wehrheim, “Checking Behavioural Subtypes via Refinement,” in Formal
Methods for Open Object-Based Distributed Systems V, {IFIP} {TC6/WG6.1} Fifth
International Conference on Formal Methods for Open Object-Based Distributed Systems
{(FMOODS} 2002), March 20-22, 2002, Enschede, The Netherlands, 2002, pp. 79--93.
mla: Wehrheim, Heike. “Checking Behavioural Subtypes via Refinement.” Formal
Methods for Open Object-Based Distributed Systems V, {IFIP} {TC6/WG6.1} Fifth
International Conference on Formal Methods for Open Object-Based Distributed Systems
{(FMOODS} 2002), March 20-22, 2002, Enschede, The Netherlands, edited by Bart
Jacobs and Arend Rensink, 2002, pp. 79--93.
short: 'H. Wehrheim, in: B. Jacobs, A. Rensink (Eds.), Formal Methods for Open Object-Based
Distributed Systems V, {IFIP} {TC6/WG6.1} Fifth International Conference on Formal
Methods for Open Object-Based Distributed Systems {(FMOODS} 2002), March 20-22,
2002, Enschede, The Netherlands, 2002, pp. 79--93.'
date_created: 2018-06-14T07:11:33Z
date_updated: 2022-01-06T06:59:07Z
department:
- _id: '77'
editor:
- first_name: Bart
full_name: Jacobs, Bart
last_name: Jacobs
- first_name: Arend
full_name: Rensink, Arend
last_name: Rensink
page: 79--93
publication: Formal Methods for Open Object-Based Distributed Systems V, {IFIP} {TC6/WG6.1}
Fifth International Conference on Formal Methods for Open Object-Based Distributed
Systems {(FMOODS} 2002), March 20-22, 2002, Enschede, The Netherlands
series_title: '{IFIP} Conference Proceedings'
status: public
title: Checking Behavioural Subtypes via Refinement
type: conference
user_id: '29719'
year: '2002'
...
---
_id: '3244'
author:
- first_name: Arend
full_name: Rensink, Arend
last_name: Rensink
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: Rensink A, Wehrheim H. Process algebra with action dependencies. Acta Inf.
2001;(3):155--234. doi:10.1007/s002360100070
apa: Rensink, A., & Wehrheim, H. (2001). Process algebra with action dependencies.
Acta Inf., (3), 155--234. https://doi.org/10.1007/s002360100070
bibtex: '@article{Rensink_Wehrheim_2001, title={Process algebra with action dependencies},
DOI={10.1007/s002360100070},
number={3}, journal={Acta Inf.}, author={Rensink, Arend and Wehrheim, Heike},
year={2001}, pages={155--234} }'
chicago: 'Rensink, Arend, and Heike Wehrheim. “Process Algebra with Action Dependencies.”
Acta Inf., no. 3 (2001): 155--234. https://doi.org/10.1007/s002360100070.'
ieee: A. Rensink and H. Wehrheim, “Process algebra with action dependencies,” Acta
Inf., no. 3, pp. 155--234, 2001.
mla: Rensink, Arend, and Heike Wehrheim. “Process Algebra with Action Dependencies.”
Acta Inf., no. 3, 2001, pp. 155--234, doi:10.1007/s002360100070.
short: A. Rensink, H. Wehrheim, Acta Inf. (2001) 155--234.
date_created: 2018-06-14T07:12:39Z
date_updated: 2022-01-06T06:59:07Z
department:
- _id: '77'
doi: 10.1007/s002360100070
issue: '3'
page: 155--234
publication: Acta Inf.
status: public
title: Process algebra with action dependencies
type: journal_article
user_id: '29719'
year: '2001'
...
---
_id: '3245'
author:
- first_name: Detlef
full_name: Bartetzko, Detlef
last_name: Bartetzko
- first_name: Clemens
full_name: Fischer, Clemens
last_name: Fischer
- first_name: Michael
full_name: Möller, Michael
last_name: Möller
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: Bartetzko D, Fischer C, Möller M, Wehrheim H. Jass - Java with Assertions.
Electr Notes Theor Comput Sci. 2001;(2):103--117. doi:10.1016/S1571-0661(04)00247-6
apa: Bartetzko, D., Fischer, C., Möller, M., & Wehrheim, H. (2001). Jass - Java
with Assertions. Electr. Notes Theor. Comput. Sci., (2), 103--117. https://doi.org/10.1016/S1571-0661(04)00247-6
bibtex: '@article{Bartetzko_Fischer_Möller_Wehrheim_2001, title={Jass - Java with
Assertions}, DOI={10.1016/S1571-0661(04)00247-6},
number={2}, journal={Electr. Notes Theor. Comput. Sci.}, author={Bartetzko, Detlef
and Fischer, Clemens and Möller, Michael and Wehrheim, Heike}, year={2001}, pages={103--117}
}'
chicago: 'Bartetzko, Detlef, Clemens Fischer, Michael Möller, and Heike Wehrheim.
“Jass - Java with Assertions.” Electr. Notes Theor. Comput. Sci., no. 2
(2001): 103--117. https://doi.org/10.1016/S1571-0661(04)00247-6.'
ieee: D. Bartetzko, C. Fischer, M. Möller, and H. Wehrheim, “Jass - Java with Assertions,”
Electr. Notes Theor. Comput. Sci., no. 2, pp. 103--117, 2001.
mla: Bartetzko, Detlef, et al. “Jass - Java with Assertions.” Electr. Notes Theor.
Comput. Sci., no. 2, 2001, pp. 103--117, doi:10.1016/S1571-0661(04)00247-6.
short: D. Bartetzko, C. Fischer, M. Möller, H. Wehrheim, Electr. Notes Theor. Comput.
Sci. (2001) 103--117.
date_created: 2018-06-14T07:14:07Z
date_updated: 2022-01-06T06:59:07Z
department:
- _id: '77'
doi: 10.1016/S1571-0661(04)00247-6
issue: '2'
page: 103--117
publication: Electr. Notes Theor. Comput. Sci.
status: public
title: Jass - Java with Assertions
type: journal_article
user_id: '29719'
year: '2001'
...
---
_id: '3246'
author:
- first_name: Clemens
full_name: Fischer, Clemens
last_name: Fischer
- 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: 'Fischer C, Olderog E-R, Wehrheim H. A {CSP} View on {UML-RT} Structure Diagrams.
In: Hu{\ss}mann H, ed. Fundamental Approaches to Software Engineering, 4th
International Conference, {FASE} 2001 Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2001 Genova, Italy, April 2-6, 2001,
Proceedings. Lecture Notes in Computer Science. ; 2001:91--108. doi:10.1007/3-540-45314-8_8'
apa: Fischer, C., Olderog, E.-R., & Wehrheim, H. (2001). A {CSP} View on {UML-RT}
Structure Diagrams. In H. Hu{\ss}mann (Ed.), Fundamental Approaches to Software
Engineering, 4th International Conference, {FASE} 2001 Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2001 Genova,
Italy, April 2-6, 2001, Proceedings (pp. 91--108). https://doi.org/10.1007/3-540-45314-8_8
bibtex: '@inproceedings{Fischer_Olderog_Wehrheim_2001, series={Lecture Notes in
Computer Science}, title={A {CSP} View on {UML-RT} Structure Diagrams}, DOI={10.1007/3-540-45314-8_8}, booktitle={Fundamental
Approaches to Software Engineering, 4th International Conference, {FASE} 2001
Held as Part of the Joint European Conferences on Theory and Practice of Software,
{ETAPS} 2001 Genova, Italy, April 2-6, 2001, Proceedings}, author={Fischer, Clemens
and Olderog, Ernst-Rüdiger and Wehrheim, Heike}, editor={Hu{\ss}mann, HeinrichEditor},
year={2001}, pages={91--108}, collection={Lecture Notes in Computer Science} }'
chicago: Fischer, Clemens, Ernst-Rüdiger Olderog, and Heike Wehrheim. “A {CSP} View
on {UML-RT} Structure Diagrams.” In Fundamental Approaches to Software Engineering,
4th International Conference, {FASE} 2001 Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2001 Genova, Italy, April 2-6, 2001,
Proceedings, edited by Heinrich Hu{\ss}mann, 91--108. Lecture Notes in Computer
Science, 2001. https://doi.org/10.1007/3-540-45314-8_8.
ieee: C. Fischer, E.-R. Olderog, and H. Wehrheim, “A {CSP} View on {UML-RT} Structure
Diagrams,” in Fundamental Approaches to Software Engineering, 4th International
Conference, {FASE} 2001 Held as Part of the Joint European Conferences on Theory
and Practice of Software, {ETAPS} 2001 Genova, Italy, April 2-6, 2001, Proceedings,
2001, pp. 91--108.
mla: Fischer, Clemens, et al. “A {CSP} View on {UML-RT} Structure Diagrams.” Fundamental
Approaches to Software Engineering, 4th International Conference, {FASE} 2001
Held as Part of the Joint European Conferences on Theory and Practice of Software,
{ETAPS} 2001 Genova, Italy, April 2-6, 2001, Proceedings, edited by Heinrich
Hu{\ss}mann, 2001, pp. 91--108, doi:10.1007/3-540-45314-8_8.
short: 'C. Fischer, E.-R. Olderog, H. Wehrheim, in: H. Hu{\ss}mann (Ed.), Fundamental
Approaches to Software Engineering, 4th International Conference, {FASE} 2001
Held as Part of the Joint European Conferences on Theory and Practice of Software,
{ETAPS} 2001 Genova, Italy, April 2-6, 2001, Proceedings, 2001, pp. 91--108.'
date_created: 2018-06-14T07:15:07Z
date_updated: 2022-01-06T06:59:07Z
department:
- _id: '77'
doi: 10.1007/3-540-45314-8_8
editor:
- first_name: Heinrich
full_name: Hu{\ss}mann, Heinrich
last_name: Hu{\ss}mann
page: 91--108
publication: Fundamental Approaches to Software Engineering, 4th International Conference,
{FASE} 2001 Held as Part of the Joint European Conferences on Theory and Practice
of Software, {ETAPS} 2001 Genova, Italy, April 2-6, 2001, Proceedings
series_title: Lecture Notes in Computer Science
status: public
title: A {CSP} View on {UML-RT} Structure Diagrams
type: conference
user_id: '29719'
year: '2001'
...
---
_id: '3247'
author:
- first_name: Clemens
full_name: Fischer, Clemens
last_name: Fischer
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: Fischer C, Wehrheim H. Failure-Divergence Semantics as a Formal Basis for an
Object-Oriented Integrated Formal Method. Bulletin of the {EATCS}. 2000:92--101.
apa: Fischer, C., & Wehrheim, H. (2000). Failure-Divergence Semantics as a Formal
Basis for an Object-Oriented Integrated Formal Method. Bulletin of the {EATCS},
92--101.
bibtex: '@article{Fischer_Wehrheim_2000, title={Failure-Divergence Semantics as
a Formal Basis for an Object-Oriented Integrated Formal Method}, journal={Bulletin
of the {EATCS}}, author={Fischer, Clemens and Wehrheim, Heike}, year={2000}, pages={92--101}
}'
chicago: Fischer, Clemens, and Heike Wehrheim. “Failure-Divergence Semantics as
a Formal Basis for an Object-Oriented Integrated Formal Method.” Bulletin of
the {EATCS}, 2000, 92--101.
ieee: C. Fischer and H. Wehrheim, “Failure-Divergence Semantics as a Formal Basis
for an Object-Oriented Integrated Formal Method,” Bulletin of the {EATCS},
pp. 92--101, 2000.
mla: Fischer, Clemens, and Heike Wehrheim. “Failure-Divergence Semantics as a Formal
Basis for an Object-Oriented Integrated Formal Method.” Bulletin of the {EATCS},
2000, pp. 92--101.
short: C. Fischer, H. Wehrheim, Bulletin of the {EATCS} (2000) 92--101.
date_created: 2018-06-14T07:17:49Z
date_updated: 2022-01-06T06:59:07Z
department:
- _id: '77'
page: 92--101
publication: Bulletin of the {EATCS}
status: public
title: Failure-Divergence Semantics as a Formal Basis for an Object-Oriented Integrated
Formal Method
type: journal_article
user_id: '29719'
year: '2000'
...
---
_id: '3248'
author:
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: Wehrheim H. Data Abstraction Techniques in the Validation of {CSP-OZ} Specifications.
Formal Asp Comput. 2000;(3):147--164. doi:10.1007/s001650070026
apa: Wehrheim, H. (2000). Data Abstraction Techniques in the Validation of {CSP-OZ}
Specifications. Formal Asp. Comput., (3), 147--164. https://doi.org/10.1007/s001650070026
bibtex: '@article{Wehrheim_2000, title={Data Abstraction Techniques in the Validation
of {CSP-OZ} Specifications}, DOI={10.1007/s001650070026},
number={3}, journal={Formal Asp. Comput.}, author={Wehrheim, Heike}, year={2000},
pages={147--164} }'
chicago: 'Wehrheim, Heike. “Data Abstraction Techniques in the Validation of {CSP-OZ}
Specifications.” Formal Asp. Comput., no. 3 (2000): 147--164. https://doi.org/10.1007/s001650070026.'
ieee: H. Wehrheim, “Data Abstraction Techniques in the Validation of {CSP-OZ} Specifications,”
Formal Asp. Comput., no. 3, pp. 147--164, 2000.
mla: Wehrheim, Heike. “Data Abstraction Techniques in the Validation of {CSP-OZ}
Specifications.” Formal Asp. Comput., no. 3, 2000, pp. 147--164, doi:10.1007/s001650070026.
short: H. Wehrheim, Formal Asp. Comput. (2000) 147--164.
date_created: 2018-06-14T07:19:50Z
date_updated: 2022-01-06T06:59:07Z
department:
- _id: '77'
doi: 10.1007/s001650070026
issue: '3'
page: 147--164
publication: Formal Asp. Comput.
status: public
title: Data Abstraction Techniques in the Validation of {CSP-OZ} Specifications
type: journal_article
user_id: '29719'
year: '2000'
...
---
_id: '3249'
author:
- first_name: Clemens
full_name: Fischer, Clemens
last_name: Fischer
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'Fischer C, Wehrheim H. Behavioural Subtyping Relations for Object-Oriented
Formalisms. In: Rus T, ed. Algebraic Methodology and Software Technology. 8th
International Conference, {AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000,
Proceedings. Lecture Notes in Computer Science. ; 2000:469--483. doi:10.1007/3-540-45499-3_33'
apa: Fischer, C., & Wehrheim, H. (2000). Behavioural Subtyping Relations for
Object-Oriented Formalisms. In T. Rus (Ed.), Algebraic Methodology and Software
Technology. 8th International Conference, {AMAST} 2000, Iowa City, Iowa, USA,
May 20-27, 2000, Proceedings (pp. 469--483). https://doi.org/10.1007/3-540-45499-3_33
bibtex: '@inproceedings{Fischer_Wehrheim_2000, series={Lecture Notes in Computer
Science}, title={Behavioural Subtyping Relations for Object-Oriented Formalisms},
DOI={10.1007/3-540-45499-3_33},
booktitle={Algebraic Methodology and Software Technology. 8th International Conference,
{AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings}, author={Fischer,
Clemens and Wehrheim, Heike}, editor={Rus, TeodorEditor}, year={2000}, pages={469--483},
collection={Lecture Notes in Computer Science} }'
chicago: Fischer, Clemens, and Heike Wehrheim. “Behavioural Subtyping Relations
for Object-Oriented Formalisms.” In Algebraic Methodology and Software Technology.
8th International Conference, {AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000,
Proceedings, edited by Teodor Rus, 469--483. Lecture Notes in Computer Science,
2000. https://doi.org/10.1007/3-540-45499-3_33.
ieee: C. Fischer and H. Wehrheim, “Behavioural Subtyping Relations for Object-Oriented
Formalisms,” in Algebraic Methodology and Software Technology. 8th International
Conference, {AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings,
2000, pp. 469--483.
mla: Fischer, Clemens, and Heike Wehrheim. “Behavioural Subtyping Relations for
Object-Oriented Formalisms.” Algebraic Methodology and Software Technology.
8th International Conference, {AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000,
Proceedings, edited by Teodor Rus, 2000, pp. 469--483, doi:10.1007/3-540-45499-3_33.
short: 'C. Fischer, H. Wehrheim, in: T. Rus (Ed.), Algebraic Methodology and Software
Technology. 8th International Conference, {AMAST} 2000, Iowa City, Iowa, USA,
May 20-27, 2000, Proceedings, 2000, pp. 469--483.'
date_created: 2018-06-14T07:20:56Z
date_updated: 2022-01-06T06:59:07Z
department:
- _id: '77'
doi: 10.1007/3-540-45499-3_33
editor:
- first_name: Teodor
full_name: Rus, Teodor
last_name: Rus
page: 469--483
publication: Algebraic Methodology and Software Technology. 8th International Conference,
{AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings
series_title: Lecture Notes in Computer Science
status: public
title: Behavioural Subtyping Relations for Object-Oriented Formalisms
type: conference
user_id: '29719'
year: '2000'
...
---
_id: '3250'
author:
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'Wehrheim H. Specification of an Automatic Manufacturing System: {A} Case Study
in Using Integrated Formal Methods. In: S. E. Maibaum T, ed. Fundamental Approaches
to Software Engineering, Third Internationsl Conference, {FASE} 2000, Held as
Part of the European Joint Conferences on the Theory and Practice of Software,
{ETAPS} 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings. Lecture
Notes in Computer Science. ; 2000:334--348. doi:10.1007/3-540-46428-X_23'
apa: 'Wehrheim, H. (2000). Specification of an Automatic Manufacturing System: {A}
Case Study in Using Integrated Formal Methods. In T. S. E. Maibaum (Ed.), Fundamental
Approaches to Software Engineering, Third Internationsl Conference, {FASE} 2000,
Held as Part of the European Joint Conferences on the Theory and Practice of Software,
{ETAPS} 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings (pp.
334--348). https://doi.org/10.1007/3-540-46428-X_23'
bibtex: '@inproceedings{Wehrheim_2000, series={Lecture Notes in Computer Science},
title={Specification of an Automatic Manufacturing System: {A} Case Study in Using
Integrated Formal Methods}, DOI={10.1007/3-540-46428-X_23},
booktitle={Fundamental Approaches to Software Engineering, Third Internationsl
Conference, {FASE} 2000, Held as Part of the European Joint Conferences on the
Theory and Practice of Software, {ETAPS} 2000, Berlin, Germany, March 25 - April
2, 2000, Proceedings}, author={Wehrheim, Heike}, editor={S. E. Maibaum, T.Editor},
year={2000}, pages={334--348}, collection={Lecture Notes in Computer Science}
}'
chicago: 'Wehrheim, Heike. “Specification of an Automatic Manufacturing System:
{A} Case Study in Using Integrated Formal Methods.” In Fundamental Approaches
to Software Engineering, Third Internationsl Conference, {FASE} 2000, Held as
Part of the European Joint Conferences on the Theory and Practice of Software,
{ETAPS} 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings, edited
by T. S. E. Maibaum, 334--348. Lecture Notes in Computer Science, 2000. https://doi.org/10.1007/3-540-46428-X_23.'
ieee: 'H. Wehrheim, “Specification of an Automatic Manufacturing System: {A} Case
Study in Using Integrated Formal Methods,” in Fundamental Approaches to Software
Engineering, Third Internationsl Conference, {FASE} 2000, Held as Part of the
European Joint Conferences on the Theory and Practice of Software, {ETAPS} 2000,
Berlin, Germany, March 25 - April 2, 2000, Proceedings, 2000, pp. 334--348.'
mla: 'Wehrheim, Heike. “Specification of an Automatic Manufacturing System: {A}
Case Study in Using Integrated Formal Methods.” Fundamental Approaches to Software
Engineering, Third Internationsl Conference, {FASE} 2000, Held as Part of the
European Joint Conferences on the Theory and Practice of Software, {ETAPS} 2000,
Berlin, Germany, March 25 - April 2, 2000, Proceedings, edited by T. S. E.
Maibaum, 2000, pp. 334--348, doi:10.1007/3-540-46428-X_23.'
short: 'H. Wehrheim, in: T. S. E. Maibaum (Ed.), Fundamental Approaches to Software
Engineering, Third Internationsl Conference, {FASE} 2000, Held as Part of the
European Joint Conferences on the Theory and Practice of Software, {ETAPS} 2000,
Berlin, Germany, March 25 - April 2, 2000, Proceedings, 2000, pp. 334--348.'
date_created: 2018-06-14T07:22:20Z
date_updated: 2022-01-06T06:59:07Z
department:
- _id: '77'
doi: 10.1007/3-540-46428-X_23
editor:
- first_name: T.
full_name: S. E. Maibaum, T.
last_name: S. E. Maibaum
page: 334--348
publication: Fundamental Approaches to Software Engineering, Third Internationsl Conference,
{FASE} 2000, Held as Part of the European Joint Conferences on the Theory and Practice
of Software, {ETAPS} 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings
series_title: Lecture Notes in Computer Science
status: public
title: 'Specification of an Automatic Manufacturing System: {A} Case Study in Using
Integrated Formal Methods'
type: conference
user_id: '29719'
year: '2000'
...
---
_id: '3251'
author:
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'Wehrheim H. Behavioural Subtyping and Property Preservation. In: F. Smith
S, L. Talcott C, eds. Formal Methods for Open Object-Based Distributed Systems
IV, {IFIF} {TC6/WG6.1} Fourth International Conference on Formal Methods for Open
Object-Based Distributed Systems {(FMOODS} 2000), September 6-8, 2000, Stanford,
California, {USA}. {IFIP} Conference Proceedings. ; 2000:213--231. doi:10.1007/978-0-387-35520-7_11'
apa: Wehrheim, H. (2000). Behavioural Subtyping and Property Preservation. In S.
F. Smith & C. L. Talcott (Eds.), Formal Methods for Open Object-Based Distributed
Systems IV, {IFIF} {TC6/WG6.1} Fourth International Conference on Formal Methods
for Open Object-Based Distributed Systems {(FMOODS} 2000), September 6-8, 2000,
Stanford, California, {USA} (pp. 213--231). https://doi.org/10.1007/978-0-387-35520-7_11
bibtex: '@inproceedings{Wehrheim_2000, series={{IFIP} Conference Proceedings}, title={Behavioural
Subtyping and Property Preservation}, DOI={10.1007/978-0-387-35520-7_11},
booktitle={Formal Methods for Open Object-Based Distributed Systems IV, {IFIF}
{TC6/WG6.1} Fourth International Conference on Formal Methods for Open Object-Based
Distributed Systems {(FMOODS} 2000), September 6-8, 2000, Stanford, California,
{USA}}, author={Wehrheim, Heike}, editor={F. Smith, Scott and L. Talcott, CarolynEditors},
year={2000}, pages={213--231}, collection={{IFIP} Conference Proceedings} }'
chicago: Wehrheim, Heike. “Behavioural Subtyping and Property Preservation.” In
Formal Methods for Open Object-Based Distributed Systems IV, {IFIF} {TC6/WG6.1}
Fourth International Conference on Formal Methods for Open Object-Based Distributed
Systems {(FMOODS} 2000), September 6-8, 2000, Stanford, California, {USA},
edited by Scott F. Smith and Carolyn L. Talcott, 213--231. {IFIP} Conference Proceedings,
2000. https://doi.org/10.1007/978-0-387-35520-7_11.
ieee: H. Wehrheim, “Behavioural Subtyping and Property Preservation,” in Formal
Methods for Open Object-Based Distributed Systems IV, {IFIF} {TC6/WG6.1} Fourth
International Conference on Formal Methods for Open Object-Based Distributed Systems
{(FMOODS} 2000), September 6-8, 2000, Stanford, California, {USA}, 2000, pp.
213--231.
mla: Wehrheim, Heike. “Behavioural Subtyping and Property Preservation.” Formal
Methods for Open Object-Based Distributed Systems IV, {IFIF} {TC6/WG6.1} Fourth
International Conference on Formal Methods for Open Object-Based Distributed Systems
{(FMOODS} 2000), September 6-8, 2000, Stanford, California, {USA}, edited
by Scott F. Smith and Carolyn L. Talcott, 2000, pp. 213--231, doi:10.1007/978-0-387-35520-7_11.
short: 'H. Wehrheim, in: S. F. Smith, C. L. Talcott (Eds.), Formal Methods for Open
Object-Based Distributed Systems IV, {IFIF} {TC6/WG6.1} Fourth International Conference
on Formal Methods for Open Object-Based Distributed Systems {(FMOODS} 2000), September
6-8, 2000, Stanford, California, {USA}, 2000, pp. 213--231.'
date_created: 2018-06-14T07:25:14Z
date_updated: 2022-01-06T06:59:07Z
department:
- _id: '77'
doi: 10.1007/978-0-387-35520-7_11
editor:
- first_name: Scott
full_name: F. Smith, Scott
last_name: F. Smith
- first_name: Carolyn
full_name: L. Talcott, Carolyn
last_name: L. Talcott
page: 213--231
publication: Formal Methods for Open Object-Based Distributed Systems IV, {IFIF} {TC6/WG6.1}
Fourth International Conference on Formal Methods for Open Object-Based Distributed
Systems {(FMOODS} 2000), September 6-8, 2000, Stanford, California, {USA}
series_title: '{IFIP} Conference Proceedings'
status: public
title: Behavioural Subtyping and Property Preservation
type: conference
user_id: '29719'
year: '2000'
...
---
_id: '3252'
author:
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: Wehrheim H. Partial order reductions for failures refinement. Electr Notes
Theor Comput Sci. 1999:71--84. doi:10.1016/S1571-0661(05)80296-8
apa: Wehrheim, H. (1999). Partial order reductions for failures refinement. Electr.
Notes Theor. Comput. Sci., 71--84. https://doi.org/10.1016/S1571-0661(05)80296-8
bibtex: '@article{Wehrheim_1999, title={Partial order reductions for failures refinement},
DOI={10.1016/S1571-0661(05)80296-8},
journal={Electr. Notes Theor. Comput. Sci.}, author={Wehrheim, Heike}, year={1999},
pages={71--84} }'
chicago: Wehrheim, Heike. “Partial Order Reductions for Failures Refinement.” Electr.
Notes Theor. Comput. Sci., 1999, 71--84. https://doi.org/10.1016/S1571-0661(05)80296-8.
ieee: H. Wehrheim, “Partial order reductions for failures refinement,” Electr.
Notes Theor. Comput. Sci., pp. 71--84, 1999.
mla: Wehrheim, Heike. “Partial Order Reductions for Failures Refinement.” Electr.
Notes Theor. Comput. Sci., 1999, pp. 71--84, doi:10.1016/S1571-0661(05)80296-8.
short: H. Wehrheim, Electr. Notes Theor. Comput. Sci. (1999) 71--84.
date_created: 2018-06-14T07:26:58Z
date_updated: 2022-01-06T06:59:07Z
department:
- _id: '77'
doi: 10.1016/S1571-0661(05)80296-8
page: 71--84
publication: Electr. Notes Theor. Comput. Sci.
status: public
title: Partial order reductions for failures refinement
type: journal_article
user_id: '29719'
year: '1999'
...
---
_id: '3253'
author:
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'Wehrheim H. Data Abstraction for {CSP-OZ}. In: M. Wing J, Woodcock J, Davies
J, eds. FM’99 - Formal Methods, World Congress on Formal Methods in the Development
of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume
{II}. Lecture Notes in Computer Science. ; 1999:1028--1047. doi:10.1007/3-540-48118-4_5'
apa: Wehrheim, H. (1999). Data Abstraction for {CSP-OZ}. In J. M. Wing, J. Woodcock,
& J. Davies (Eds.), FM’99 - Formal Methods, World Congress on Formal Methods
in the Development of Computing Systems, Toulouse, France, September 20-24, 1999,
Proceedings, Volume {II} (pp. 1028--1047). https://doi.org/10.1007/3-540-48118-4_5
bibtex: '@inproceedings{Wehrheim_1999, series={Lecture Notes in Computer Science},
title={Data Abstraction for {CSP-OZ}}, DOI={10.1007/3-540-48118-4_5},
booktitle={FM’99 - Formal Methods, World Congress on Formal Methods in the Development
of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume
{II}}, author={Wehrheim, Heike}, editor={M. Wing, Jeannette and Woodcock, Jim
and Davies, JimEditors}, year={1999}, pages={1028--1047}, collection={Lecture
Notes in Computer Science} }'
chicago: Wehrheim, Heike. “Data Abstraction for {CSP-OZ}.” In FM’99 - Formal
Methods, World Congress on Formal Methods in the Development of Computing Systems,
Toulouse, France, September 20-24, 1999, Proceedings, Volume {II}, edited
by Jeannette M. Wing, Jim Woodcock, and Jim Davies, 1028--1047. Lecture Notes
in Computer Science, 1999. https://doi.org/10.1007/3-540-48118-4_5.
ieee: H. Wehrheim, “Data Abstraction for {CSP-OZ},” in FM’99 - Formal Methods,
World Congress on Formal Methods in the Development of Computing Systems, Toulouse,
France, September 20-24, 1999, Proceedings, Volume {II}, 1999, pp. 1028--1047.
mla: Wehrheim, Heike. “Data Abstraction for {CSP-OZ}.” FM’99 - Formal Methods,
World Congress on Formal Methods in the Development of Computing Systems, Toulouse,
France, September 20-24, 1999, Proceedings, Volume {II}, edited by Jeannette
M. Wing et al., 1999, pp. 1028--1047, doi:10.1007/3-540-48118-4_5.
short: 'H. Wehrheim, in: J. M. Wing, J. Woodcock, J. Davies (Eds.), FM’99 - Formal
Methods, World Congress on Formal Methods in the Development of Computing Systems,
Toulouse, France, September 20-24, 1999, Proceedings, Volume {II}, 1999, pp. 1028--1047.'
date_created: 2018-06-14T07:32:05Z
date_updated: 2022-01-06T06:59:07Z
department:
- _id: '77'
doi: 10.1007/3-540-48118-4_5
editor:
- first_name: Jeannette
full_name: M. Wing, Jeannette
last_name: M. Wing
- first_name: Jim
full_name: Woodcock, Jim
last_name: Woodcock
- first_name: Jim
full_name: Davies, Jim
last_name: Davies
page: 1028--1047
publication: FM'99 - Formal Methods, World Congress on Formal Methods in the Development
of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume
{II}
series_title: Lecture Notes in Computer Science
status: public
title: Data Abstraction for {CSP-OZ}
type: conference
user_id: '29719'
year: '1999'
...
---
_id: '3254'
author:
- first_name: Clemens
full_name: Fischer, Clemens
last_name: Fischer
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'Fischer C, Wehrheim H. Model-Checking {CSP-OZ} Specifications with {FDR}.
In: Araki K, Galloway A, Taguchi K, eds. Integrated Formal Methods, Proceedings
of the 1st International Conference on Integrated Formal Methods, {IFM} 99, York,
UK, 28-29 June 1999. ; 1999:315--334.'
apa: Fischer, C., & Wehrheim, H. (1999). Model-Checking {CSP-OZ} Specifications
with {FDR}. In K. Araki, A. Galloway, & K. Taguchi (Eds.), Integrated Formal
Methods, Proceedings of the 1st International Conference on Integrated Formal
Methods, {IFM} 99, York, UK, 28-29 June 1999 (pp. 315--334).
bibtex: '@inproceedings{Fischer_Wehrheim_1999, title={Model-Checking {CSP-OZ} Specifications
with {FDR}}, booktitle={Integrated Formal Methods, Proceedings of the 1st International
Conference on Integrated Formal Methods, {IFM} 99, York, UK, 28-29 June 1999},
author={Fischer, Clemens and Wehrheim, Heike}, editor={Araki, Keijiro and Galloway,
Andy and Taguchi, KenjiEditors}, year={1999}, pages={315--334} }'
chicago: Fischer, Clemens, and Heike Wehrheim. “Model-Checking {CSP-OZ} Specifications
with {FDR}.” In Integrated Formal Methods, Proceedings of the 1st International
Conference on Integrated Formal Methods, {IFM} 99, York, UK, 28-29 June 1999,
edited by Keijiro Araki, Andy Galloway, and Kenji Taguchi, 315--334, 1999.
ieee: C. Fischer and H. Wehrheim, “Model-Checking {CSP-OZ} Specifications with {FDR},”
in Integrated Formal Methods, Proceedings of the 1st International Conference
on Integrated Formal Methods, {IFM} 99, York, UK, 28-29 June 1999, 1999, pp.
315--334.
mla: Fischer, Clemens, and Heike Wehrheim. “Model-Checking {CSP-OZ} Specifications
with {FDR}.” Integrated Formal Methods, Proceedings of the 1st International
Conference on Integrated Formal Methods, {IFM} 99, York, UK, 28-29 June 1999,
edited by Keijiro Araki et al., 1999, pp. 315--334.
short: 'C. Fischer, H. Wehrheim, in: K. Araki, A. Galloway, K. Taguchi (Eds.), Integrated
Formal Methods, Proceedings of the 1st International Conference on Integrated
Formal Methods, {IFM} 99, York, UK, 28-29 June 1999, 1999, pp. 315--334.'
date_created: 2018-06-14T07:33:10Z
date_updated: 2022-01-06T06:59:07Z
department:
- _id: '77'
editor:
- first_name: Keijiro
full_name: Araki, Keijiro
last_name: Araki
- first_name: Andy
full_name: Galloway, Andy
last_name: Galloway
- first_name: Kenji
full_name: Taguchi, Kenji
last_name: Taguchi
page: 315--334
publication: Integrated Formal Methods, Proceedings of the 1st International Conference
on Integrated Formal Methods, {IFM} 99, York, UK, 28-29 June 1999
status: public
title: Model-Checking {CSP-OZ} Specifications with {FDR}
type: conference
user_id: '29719'
year: '1999'
...
---
_id: '3255'
author:
- first_name: Thomas
full_name: Gehrke, Thomas
last_name: Gehrke
- first_name: Michaela
full_name: Huhn, Michaela
last_name: Huhn
- first_name: Peter
full_name: Niebert, Peter
last_name: Niebert
- first_name: Arend
full_name: Rensink, Arend
last_name: Rensink
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'Gehrke T, Huhn M, Niebert P, Rensink A, Wehrheim H. A Process Algebra Semantics
for {MSC} Including Conditions. In: K{\"{o}}nig H, Langend{\"{o}}rfer P, eds.
Formale Beschreibungstechniken F{\"{u}}r Verteilte Systeme, 8. GI/ITG-Fachgespr{\"{a}}ch,
Cottbus, 4. Und 5. Juni 1998. ; 1998:185--196.'
apa: Gehrke, T., Huhn, M., Niebert, P., Rensink, A., & Wehrheim, H. (1998).
A Process Algebra Semantics for {MSC} Including Conditions. In H. K{\"{o}}nig
& P. Langend{\"{o}}rfer (Eds.), Formale Beschreibungstechniken f{\"{u}}r
verteilte Systeme, 8. GI/ITG-Fachgespr{\"{a}}ch, Cottbus, 4. und 5. Juni 1998
(pp. 185--196).
bibtex: '@inproceedings{Gehrke_Huhn_Niebert_Rensink_Wehrheim_1998, title={A Process
Algebra Semantics for {MSC} Including Conditions}, booktitle={Formale Beschreibungstechniken
f{\"{u}}r verteilte Systeme, 8. GI/ITG-Fachgespr{\"{a}}ch, Cottbus, 4. und 5.
Juni 1998}, author={Gehrke, Thomas and Huhn, Michaela and Niebert, Peter and Rensink,
Arend and Wehrheim, Heike}, editor={K{\"{o}}nig, Hartmut and Langend{\"{o}}rfer,
PeterEditors}, year={1998}, pages={185--196} }'
chicago: Gehrke, Thomas, Michaela Huhn, Peter Niebert, Arend Rensink, and Heike
Wehrheim. “A Process Algebra Semantics for {MSC} Including Conditions.” In Formale
Beschreibungstechniken F{\"{u}}r Verteilte Systeme, 8. GI/ITG-Fachgespr{\"{a}}ch,
Cottbus, 4. Und 5. Juni 1998, edited by Hartmut K{\"{o}}nig and Peter Langend{\"{o}}rfer,
185--196, 1998.
ieee: T. Gehrke, M. Huhn, P. Niebert, A. Rensink, and H. Wehrheim, “A Process Algebra
Semantics for {MSC} Including Conditions,” in Formale Beschreibungstechniken
f{\"{u}}r verteilte Systeme, 8. GI/ITG-Fachgespr{\"{a}}ch, Cottbus, 4. und 5.
Juni 1998, 1998, pp. 185--196.
mla: Gehrke, Thomas, et al. “A Process Algebra Semantics for {MSC} Including Conditions.”
Formale Beschreibungstechniken F{\"{u}}r Verteilte Systeme, 8. GI/ITG-Fachgespr{\"{a}}ch,
Cottbus, 4. Und 5. Juni 1998, edited by Hartmut K{\"{o}}nig and Peter Langend{\"{o}}rfer,
1998, pp. 185--196.
short: 'T. Gehrke, M. Huhn, P. Niebert, A. Rensink, H. Wehrheim, in: H. K{\"{o}}nig,
P. Langend{\"{o}}rfer (Eds.), Formale Beschreibungstechniken F{\"{u}}r Verteilte
Systeme, 8. GI/ITG-Fachgespr{\"{a}}ch, Cottbus, 4. Und 5. Juni 1998, 1998, pp.
185--196.'
date_created: 2018-06-14T07:34:22Z
date_updated: 2022-01-06T06:59:07Z
department:
- _id: '77'
editor:
- first_name: Hartmut
full_name: K{\"{o}}nig, Hartmut
last_name: K{\"{o}}nig
- first_name: Peter
full_name: Langend{\"{o}}rfer, Peter
last_name: Langend{\"{o}}rfer
page: 185--196
publication: Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, 8. GI/ITG-Fachgespr{\"{a}}ch,
Cottbus, 4. und 5. Juni 1998
status: public
title: A Process Algebra Semantics for {MSC} Including Conditions
type: conference
user_id: '29719'
year: '1998'
...
---
_id: '3256'
author:
- first_name: Thomas
full_name: Gehrke, Thomas
last_name: Gehrke
- first_name: Michaela
full_name: Huhn, Michaela
last_name: Huhn
- first_name: Arend
full_name: Rensink, Arend
last_name: Rensink
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'Gehrke T, Huhn M, Rensink A, Wehrheim H. An Algebraic Semantics for Message
Sequence Chart Documents. In: Budkowski S, R. Cavalli A, Najm E, eds. Formal
Description Techniques and Protocol Specification, Testing and Verification, {FORTE}
{XI} / {PSTV} XVIII’98, {IFIP} {TC6} {WG6.1} Joint International Conference on
Formal Description Techniques for Distributed Systems and Communication Protocols
{(FORTE} {XI)} and Protocol Specification, Testing and Verification {(PSTV} XVIII),
3-6 November, 1998, Paris, France. {IFIP} Conference Proceedings. ; 1998:3--18.'
apa: Gehrke, T., Huhn, M., Rensink, A., & Wehrheim, H. (1998). An Algebraic
Semantics for Message Sequence Chart Documents. In S. Budkowski, A. R. Cavalli,
& E. Najm (Eds.), Formal Description Techniques and Protocol Specification,
Testing and Verification, {FORTE} {XI} / {PSTV} XVIII’98, {IFIP} {TC6} {WG6.1}
Joint International Conference on Formal Description Techniques for Distributed
Systems and Communication Protocols {(FORTE} {XI)} and Protocol Specification,
Testing and Verification {(PSTV} XVIII), 3-6 November, 1998, Paris, France
(pp. 3--18).
bibtex: '@inproceedings{Gehrke_Huhn_Rensink_Wehrheim_1998, series={{IFIP} Conference
Proceedings}, title={An Algebraic Semantics for Message Sequence Chart Documents},
booktitle={Formal Description Techniques and Protocol Specification, Testing and
Verification, {FORTE} {XI} / {PSTV} XVIII’98, {IFIP} {TC6} {WG6.1} Joint International
Conference on Formal Description Techniques for Distributed Systems and Communication
Protocols {(FORTE} {XI)} and Protocol Specification, Testing and Verification
{(PSTV} XVIII), 3-6 November, 1998, Paris, France}, author={Gehrke, Thomas and
Huhn, Michaela and Rensink, Arend and Wehrheim, Heike}, editor={Budkowski, Stanislaw
and R. Cavalli, Ana and Najm, ElieEditors}, year={1998}, pages={3--18}, collection={{IFIP}
Conference Proceedings} }'
chicago: Gehrke, Thomas, Michaela Huhn, Arend Rensink, and Heike Wehrheim. “An Algebraic
Semantics for Message Sequence Chart Documents.” In Formal Description Techniques
and Protocol Specification, Testing and Verification, {FORTE} {XI} / {PSTV} XVIII’98,
{IFIP} {TC6} {WG6.1} Joint International Conference on Formal Description Techniques
for Distributed Systems and Communication Protocols {(FORTE} {XI)} and Protocol
Specification, Testing and Verification {(PSTV} XVIII), 3-6 November, 1998, Paris,
France, edited by Stanislaw Budkowski, Ana R. Cavalli, and Elie Najm, 3--18.
{IFIP} Conference Proceedings, 1998.
ieee: T. Gehrke, M. Huhn, A. Rensink, and H. Wehrheim, “An Algebraic Semantics for
Message Sequence Chart Documents,” in Formal Description Techniques and Protocol
Specification, Testing and Verification, {FORTE} {XI} / {PSTV} XVIII’98, {IFIP}
{TC6} {WG6.1} Joint International Conference on Formal Description Techniques
for Distributed Systems and Communication Protocols {(FORTE} {XI)} and Protocol
Specification, Testing and Verification {(PSTV} XVIII), 3-6 November, 1998, Paris,
France, 1998, pp. 3--18.
mla: Gehrke, Thomas, et al. “An Algebraic Semantics for Message Sequence Chart Documents.”
Formal Description Techniques and Protocol Specification, Testing and Verification,
{FORTE} {XI} / {PSTV} XVIII’98, {IFIP} {TC6} {WG6.1} Joint International Conference
on Formal Description Techniques for Distributed Systems and Communication Protocols
{(FORTE} {XI)} and Protocol Specification, Testing and Verification {(PSTV} XVIII),
3-6 November, 1998, Paris, France, edited by Stanislaw Budkowski et al., 1998,
pp. 3--18.
short: 'T. Gehrke, M. Huhn, A. Rensink, H. Wehrheim, in: S. Budkowski, A. R. Cavalli,
E. Najm (Eds.), Formal Description Techniques and Protocol Specification, Testing
and Verification, {FORTE} {XI} / {PSTV} XVIII’98, {IFIP} {TC6} {WG6.1} Joint International
Conference on Formal Description Techniques for Distributed Systems and Communication
Protocols {(FORTE} {XI)} and Protocol Specification, Testing and Verification
{(PSTV} XVIII), 3-6 November, 1998, Paris, France, 1998, pp. 3--18.'
date_created: 2018-06-14T07:35:45Z
date_updated: 2022-01-06T06:59:07Z
department:
- _id: '77'
editor:
- first_name: Stanislaw
full_name: Budkowski, Stanislaw
last_name: Budkowski
- first_name: Ana
full_name: R. Cavalli, Ana
last_name: R. Cavalli
- first_name: Elie
full_name: Najm, Elie
last_name: Najm
page: 3--18
publication: Formal Description Techniques and Protocol Specification, Testing and
Verification, {FORTE} {XI} / {PSTV} XVIII'98, {IFIP} {TC6} {WG6.1} Joint International
Conference on Formal Description Techniques for Distributed Systems and Communication
Protocols {(FORTE} {XI)} and Protocol Specification, Testing and Verification {(PSTV}
XVIII), 3-6 November, 1998, Paris, France
series_title: '{IFIP} Conference Proceedings'
status: public
title: An Algebraic Semantics for Message Sequence Chart Documents
type: conference
user_id: '29719'
year: '1998'
...
---
_id: '3257'
author:
- first_name: Michaela
full_name: Huhn, Michaela
last_name: Huhn
- first_name: Peter
full_name: Niebert, Peter
last_name: Niebert
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'Huhn M, Niebert P, Wehrheim H. Partial Order Reductions for Bisimulation Checking.
In: Arvind V, Ramanujam R, eds. Foundations of Software Technology and Theoretical
Computer Science, 18th Conference, Chennai, India, December 17-19, 1998, Proceedings.
Lecture Notes in Computer Science. ; 1998:271--282. doi:10.1007/978-3-540-49382-2_26'
apa: Huhn, M., Niebert, P., & Wehrheim, H. (1998). Partial Order Reductions
for Bisimulation Checking. In V. Arvind & R. Ramanujam (Eds.), Foundations
of Software Technology and Theoretical Computer Science, 18th Conference, Chennai,
India, December 17-19, 1998, Proceedings (pp. 271--282). https://doi.org/10.1007/978-3-540-49382-2_26
bibtex: '@inproceedings{Huhn_Niebert_Wehrheim_1998, series={Lecture Notes in Computer
Science}, title={Partial Order Reductions for Bisimulation Checking}, DOI={10.1007/978-3-540-49382-2_26},
booktitle={Foundations of Software Technology and Theoretical Computer Science,
18th Conference, Chennai, India, December 17-19, 1998, Proceedings}, author={Huhn,
Michaela and Niebert, Peter and Wehrheim, Heike}, editor={Arvind, Vikraman and
Ramanujam, RamaswamyEditors}, year={1998}, pages={271--282}, collection={Lecture
Notes in Computer Science} }'
chicago: Huhn, Michaela, Peter Niebert, and Heike Wehrheim. “Partial Order Reductions
for Bisimulation Checking.” In Foundations of Software Technology and Theoretical
Computer Science, 18th Conference, Chennai, India, December 17-19, 1998, Proceedings,
edited by Vikraman Arvind and Ramaswamy Ramanujam, 271--282. Lecture Notes in
Computer Science, 1998. https://doi.org/10.1007/978-3-540-49382-2_26.
ieee: M. Huhn, P. Niebert, and H. Wehrheim, “Partial Order Reductions for Bisimulation
Checking,” in Foundations of Software Technology and Theoretical Computer Science,
18th Conference, Chennai, India, December 17-19, 1998, Proceedings, 1998,
pp. 271--282.
mla: Huhn, Michaela, et al. “Partial Order Reductions for Bisimulation Checking.”
Foundations of Software Technology and Theoretical Computer Science, 18th Conference,
Chennai, India, December 17-19, 1998, Proceedings, edited by Vikraman Arvind
and Ramaswamy Ramanujam, 1998, pp. 271--282, doi:10.1007/978-3-540-49382-2_26.
short: 'M. Huhn, P. Niebert, H. Wehrheim, in: V. Arvind, R. Ramanujam (Eds.), Foundations
of Software Technology and Theoretical Computer Science, 18th Conference, Chennai,
India, December 17-19, 1998, Proceedings, 1998, pp. 271--282.'
date_created: 2018-06-14T07:37:32Z
date_updated: 2022-01-06T06:59:07Z
department:
- _id: '77'
doi: 10.1007/978-3-540-49382-2_26
editor:
- first_name: Vikraman
full_name: Arvind, Vikraman
last_name: Arvind
- first_name: Ramaswamy
full_name: Ramanujam, Ramaswamy
last_name: Ramanujam
page: 271--282
publication: Foundations of Software Technology and Theoretical Computer Science,
18th Conference, Chennai, India, December 17-19, 1998, Proceedings
series_title: Lecture Notes in Computer Science
status: public
title: Partial Order Reductions for Bisimulation Checking
type: conference
user_id: '29719'
year: '1998'
...
---
_id: '3258'
author:
- first_name: Arend
full_name: Rensink, Arend
last_name: Rensink
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'Rensink A, Wehrheim H. Dependency-Based Action Refinement. In: Pr{\’{\i}}vara
I, Ruzicka P, eds. Mathematical Foundations of Computer Science 1997, 22nd
International Symposium, MFCS’97, Bratislava, Slovakia, August 25-29, 1997, Proceedings.
Lecture Notes in Computer Science. ; 1997:468--477. doi:10.1007/BFb0029990'
apa: Rensink, A., & Wehrheim, H. (1997). Dependency-Based Action Refinement.
In I. Pr{\’{\i}}vara & P. Ruzicka (Eds.), Mathematical Foundations of Computer
Science 1997, 22nd International Symposium, MFCS’97, Bratislava, Slovakia, August
25-29, 1997, Proceedings (pp. 468--477). https://doi.org/10.1007/BFb0029990
bibtex: '@inproceedings{Rensink_Wehrheim_1997, series={Lecture Notes in Computer
Science}, title={Dependency-Based Action Refinement}, DOI={10.1007/BFb0029990},
booktitle={Mathematical Foundations of Computer Science 1997, 22nd International
Symposium, MFCS’97, Bratislava, Slovakia, August 25-29, 1997, Proceedings}, author={Rensink,
Arend and Wehrheim, Heike}, editor={Pr{\’{\i}}vara, Igor and Ruzicka, PeterEditors},
year={1997}, pages={468--477}, collection={Lecture Notes in Computer Science}
}'
chicago: Rensink, Arend, and Heike Wehrheim. “Dependency-Based Action Refinement.”
In Mathematical Foundations of Computer Science 1997, 22nd International Symposium,
MFCS’97, Bratislava, Slovakia, August 25-29, 1997, Proceedings, edited by
Igor Pr{\’{\i}}vara and Peter Ruzicka, 468--477. Lecture Notes in Computer Science,
1997. https://doi.org/10.1007/BFb0029990.
ieee: A. Rensink and H. Wehrheim, “Dependency-Based Action Refinement,” in Mathematical
Foundations of Computer Science 1997, 22nd International Symposium, MFCS’97, Bratislava,
Slovakia, August 25-29, 1997, Proceedings, 1997, pp. 468--477.
mla: Rensink, Arend, and Heike Wehrheim. “Dependency-Based Action Refinement.” Mathematical
Foundations of Computer Science 1997, 22nd International Symposium, MFCS’97, Bratislava,
Slovakia, August 25-29, 1997, Proceedings, edited by Igor Pr{\’{\i}}vara and
Peter Ruzicka, 1997, pp. 468--477, doi:10.1007/BFb0029990.
short: 'A. Rensink, H. Wehrheim, in: I. Pr{\’{\i}}vara, P. Ruzicka (Eds.), Mathematical
Foundations of Computer Science 1997, 22nd International Symposium, MFCS’97, Bratislava,
Slovakia, August 25-29, 1997, Proceedings, 1997, pp. 468--477.'
date_created: 2018-06-14T07:40:10Z
date_updated: 2022-01-06T06:59:07Z
department:
- _id: '77'
doi: 10.1007/BFb0029990
editor:
- first_name: Igor
full_name: Pr{\'{\i}}vara, Igor
last_name: Pr{\'{\i}}vara
- first_name: Peter
full_name: Ruzicka, Peter
last_name: Ruzicka
page: 468--477
publication: Mathematical Foundations of Computer Science 1997, 22nd International
Symposium, MFCS'97, Bratislava, Slovakia, August 25-29, 1997, Proceedings
series_title: Lecture Notes in Computer Science
status: public
title: Dependency-Based Action Refinement
type: conference
user_id: '29719'
year: '1997'
...
---
_id: '3259'
author:
- first_name: Arend
full_name: Rensink, Arend
last_name: Rensink
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'Rensink A, Wehrheim H. Dependency-Based Action Refinement. In: Pr{\’{\i}}vara
I, Ruzicka P, eds. Mathematical Foundations of Computer Science 1997, 22nd
International Symposium, MFCS’97, Bratislava, Slovakia, August 25-29, 1997, Proceedings.
Lecture Notes in Computer Science. ; 1997:468--477. doi:10.1007/BFb0029990'
apa: Rensink, A., & Wehrheim, H. (1997). Dependency-Based Action Refinement.
In I. Pr{\’{\i}}vara & P. Ruzicka (Eds.), Mathematical Foundations of Computer
Science 1997, 22nd International Symposium, MFCS’97, Bratislava, Slovakia, August
25-29, 1997, Proceedings (pp. 468--477). https://doi.org/10.1007/BFb0029990
bibtex: '@inproceedings{Rensink_Wehrheim_1997, series={Lecture Notes in Computer
Science}, title={Dependency-Based Action Refinement}, DOI={10.1007/BFb0029990},
booktitle={Mathematical Foundations of Computer Science 1997, 22nd International
Symposium, MFCS’97, Bratislava, Slovakia, August 25-29, 1997, Proceedings}, author={Rensink,
Arend and Wehrheim, Heike}, editor={Pr{\’{\i}}vara, Igor and Ruzicka, PeterEditors},
year={1997}, pages={468--477}, collection={Lecture Notes in Computer Science}
}'
chicago: Rensink, Arend, and Heike Wehrheim. “Dependency-Based Action Refinement.”
In Mathematical Foundations of Computer Science 1997, 22nd International Symposium,
MFCS’97, Bratislava, Slovakia, August 25-29, 1997, Proceedings, edited by
Igor Pr{\’{\i}}vara and Peter Ruzicka, 468--477. Lecture Notes in Computer Science,
1997. https://doi.org/10.1007/BFb0029990.
ieee: A. Rensink and H. Wehrheim, “Dependency-Based Action Refinement,” in Mathematical
Foundations of Computer Science 1997, 22nd International Symposium, MFCS’97, Bratislava,
Slovakia, August 25-29, 1997, Proceedings, 1997, pp. 468--477.
mla: Rensink, Arend, and Heike Wehrheim. “Dependency-Based Action Refinement.” Mathematical
Foundations of Computer Science 1997, 22nd International Symposium, MFCS’97, Bratislava,
Slovakia, August 25-29, 1997, Proceedings, edited by Igor Pr{\’{\i}}vara and
Peter Ruzicka, 1997, pp. 468--477, doi:10.1007/BFb0029990.
short: 'A. Rensink, H. Wehrheim, in: I. Pr{\’{\i}}vara, P. Ruzicka (Eds.), Mathematical
Foundations of Computer Science 1997, 22nd International Symposium, MFCS’97, Bratislava,
Slovakia, August 25-29, 1997, Proceedings, 1997, pp. 468--477.'
date_created: 2018-06-14T07:43:09Z
date_updated: 2022-01-06T06:59:07Z
department:
- _id: '77'
doi: 10.1007/BFb0029990
editor:
- first_name: Igor
full_name: Pr{\'{\i}}vara, Igor
last_name: Pr{\'{\i}}vara
- first_name: Peter
full_name: Ruzicka, Peter
last_name: Ruzicka
page: 468--477
publication: Mathematical Foundations of Computer Science 1997, 22nd International
Symposium, MFCS'97, Bratislava, Slovakia, August 25-29, 1997, Proceedings
series_title: Lecture Notes in Computer Science
status: public
title: Dependency-Based Action Refinement
type: conference
user_id: '29719'
year: '1997'
...
---
_id: '3260'
author:
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'Wehrheim H. Specifying Reactive Systems with Action Dependencies: Modelling
and Hierarchical Design. University of Hildesheim, Germany; 1996.'
apa: 'Wehrheim, H. (1996). Specifying reactive systems with action dependencies:
modelling and hierarchical design. University of Hildesheim, Germany.'
bibtex: '@book{Wehrheim_1996, title={Specifying reactive systems with action dependencies:
modelling and hierarchical design}, publisher={University of Hildesheim, Germany},
author={Wehrheim, Heike}, year={1996} }'
chicago: 'Wehrheim, Heike. Specifying Reactive Systems with Action Dependencies:
Modelling and Hierarchical Design. University of Hildesheim, Germany, 1996.'
ieee: 'H. Wehrheim, Specifying reactive systems with action dependencies: modelling
and hierarchical design. University of Hildesheim, Germany, 1996.'
mla: 'Wehrheim, Heike. Specifying Reactive Systems with Action Dependencies:
Modelling and Hierarchical Design. University of Hildesheim, Germany, 1996.'
short: 'H. Wehrheim, Specifying Reactive Systems with Action Dependencies: Modelling
and Hierarchical Design, University of Hildesheim, Germany, 1996.'
date_created: 2018-06-14T07:44:32Z
date_updated: 2022-01-06T06:59:07Z
department:
- _id: '77'
publisher: University of Hildesheim, Germany
status: public
title: 'Specifying reactive systems with action dependencies: modelling and hierarchical
design'
type: dissertation
user_id: '29719'
year: '1996'
...
---
_id: '3261'
author:
- first_name: Ursula
full_name: Goltz, Ursula
last_name: Goltz
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: Goltz U, Wehrheim H. Modelling Causality via Action Dependencies in Branching
Time Semantics. Inf Process Lett. 1996;(4):179--184. doi:10.1016/0020-0190(96)00111-1
apa: Goltz, U., & Wehrheim, H. (1996). Modelling Causality via Action Dependencies
in Branching Time Semantics. Inf. Process. Lett., (4), 179--184. https://doi.org/10.1016/0020-0190(96)00111-1
bibtex: '@article{Goltz_Wehrheim_1996, title={Modelling Causality via Action Dependencies
in Branching Time Semantics}, DOI={10.1016/0020-0190(96)00111-1},
number={4}, journal={Inf. Process. Lett.}, author={Goltz, Ursula and Wehrheim,
Heike}, year={1996}, pages={179--184} }'
chicago: 'Goltz, Ursula, and Heike Wehrheim. “Modelling Causality via Action Dependencies
in Branching Time Semantics.” Inf. Process. Lett., no. 4 (1996): 179--184.
https://doi.org/10.1016/0020-0190(96)00111-1.'
ieee: U. Goltz and H. Wehrheim, “Modelling Causality via Action Dependencies in
Branching Time Semantics,” Inf. Process. Lett., no. 4, pp. 179--184, 1996.
mla: Goltz, Ursula, and Heike Wehrheim. “Modelling Causality via Action Dependencies
in Branching Time Semantics.” Inf. Process. Lett., no. 4, 1996, pp. 179--184,
doi:10.1016/0020-0190(96)00111-1.
short: U. Goltz, H. Wehrheim, Inf. Process. Lett. (1996) 179--184.
date_created: 2018-06-14T07:52:02Z
date_updated: 2022-01-06T06:59:07Z
department:
- _id: '77'
doi: 10.1016/0020-0190(96)00111-1
issue: '4'
page: 179--184
publication: Inf. Process. Lett.
status: public
title: Modelling Causality via Action Dependencies in Branching Time Semantics
type: journal_article
user_id: '29719'
year: '1996'
...
---
_id: '3262'
author:
- first_name: Ursula
full_name: Goltz, Ursula
last_name: Goltz
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'Goltz U, Wehrheim H. Causal Testing. In: Penczek W, Szalas A, eds. Mathematical
Foundations of Computer Science 1996, 21st International Symposium, MFCS’96, Cracow,
Poland, September 2-6, 1996, Proceedings. Lecture Notes in Computer Science.
; 1996:394--406. doi:10.1007/3-540-61550-4_165'
apa: Goltz, U., & Wehrheim, H. (1996). Causal Testing. In W. Penczek & A.
Szalas (Eds.), Mathematical Foundations of Computer Science 1996, 21st International
Symposium, MFCS’96, Cracow, Poland, September 2-6, 1996, Proceedings (pp.
394--406). https://doi.org/10.1007/3-540-61550-4_165
bibtex: '@inproceedings{Goltz_Wehrheim_1996, series={Lecture Notes in Computer Science},
title={Causal Testing}, DOI={10.1007/3-540-61550-4_165},
booktitle={Mathematical Foundations of Computer Science 1996, 21st International
Symposium, MFCS’96, Cracow, Poland, September 2-6, 1996, Proceedings}, author={Goltz,
Ursula and Wehrheim, Heike}, editor={Penczek, Wojciech and Szalas, AndrzejEditors},
year={1996}, pages={394--406}, collection={Lecture Notes in Computer Science}
}'
chicago: Goltz, Ursula, and Heike Wehrheim. “Causal Testing.” In Mathematical
Foundations of Computer Science 1996, 21st International Symposium, MFCS’96, Cracow,
Poland, September 2-6, 1996, Proceedings, edited by Wojciech Penczek and Andrzej
Szalas, 394--406. Lecture Notes in Computer Science, 1996. https://doi.org/10.1007/3-540-61550-4_165.
ieee: U. Goltz and H. Wehrheim, “Causal Testing,” in Mathematical Foundations
of Computer Science 1996, 21st International Symposium, MFCS’96, Cracow, Poland,
September 2-6, 1996, Proceedings, 1996, pp. 394--406.
mla: Goltz, Ursula, and Heike Wehrheim. “Causal Testing.” Mathematical Foundations
of Computer Science 1996, 21st International Symposium, MFCS’96, Cracow, Poland,
September 2-6, 1996, Proceedings, edited by Wojciech Penczek and Andrzej Szalas,
1996, pp. 394--406, doi:10.1007/3-540-61550-4_165.
short: 'U. Goltz, H. Wehrheim, in: W. Penczek, A. Szalas (Eds.), Mathematical Foundations
of Computer Science 1996, 21st International Symposium, MFCS’96, Cracow, Poland,
September 2-6, 1996, Proceedings, 1996, pp. 394--406.'
date_created: 2018-06-14T07:53:08Z
date_updated: 2022-01-06T06:59:07Z
department:
- _id: '77'
doi: 10.1007/3-540-61550-4_165
editor:
- first_name: Wojciech
full_name: Penczek, Wojciech
last_name: Penczek
- first_name: Andrzej
full_name: Szalas, Andrzej
last_name: Szalas
page: 394--406
publication: Mathematical Foundations of Computer Science 1996, 21st International
Symposium, MFCS'96, Cracow, Poland, September 2-6, 1996, Proceedings
series_title: Lecture Notes in Computer Science
status: public
title: Causal Testing
type: conference
user_id: '29719'
year: '1996'
...
---
_id: '3263'
author:
- first_name: Arend
full_name: Rensink, Arend
last_name: Rensink
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'Rensink A, Wehrheim H. Weak Sequential Composition in Process Algebras. In:
Jonsson B, Parrow J, eds. {CONCUR} ’94, Concurrency Theory, 5th International
Conference, Uppsala, Sweden, August 22-25, 1994, Proceedings. Lecture Notes
in Computer Science. ; 1994:226--241. doi:10.1007/978-3-540-48654-1_20'
apa: Rensink, A., & Wehrheim, H. (1994). Weak Sequential Composition in Process
Algebras. In B. Jonsson & J. Parrow (Eds.), {CONCUR} ’94, Concurrency Theory,
5th International Conference, Uppsala, Sweden, August 22-25, 1994, Proceedings
(pp. 226--241). https://doi.org/10.1007/978-3-540-48654-1_20
bibtex: '@inproceedings{Rensink_Wehrheim_1994, series={Lecture Notes in Computer
Science}, title={Weak Sequential Composition in Process Algebras}, DOI={10.1007/978-3-540-48654-1_20},
booktitle={{CONCUR} ’94, Concurrency Theory, 5th International Conference, Uppsala,
Sweden, August 22-25, 1994, Proceedings}, author={Rensink, Arend and Wehrheim,
Heike}, editor={Jonsson, Bengt and Parrow, JoachimEditors}, year={1994}, pages={226--241},
collection={Lecture Notes in Computer Science} }'
chicago: Rensink, Arend, and Heike Wehrheim. “Weak Sequential Composition in Process
Algebras.” In {CONCUR} ’94, Concurrency Theory, 5th International Conference,
Uppsala, Sweden, August 22-25, 1994, Proceedings, edited by Bengt Jonsson
and Joachim Parrow, 226--241. Lecture Notes in Computer Science, 1994. https://doi.org/10.1007/978-3-540-48654-1_20.
ieee: A. Rensink and H. Wehrheim, “Weak Sequential Composition in Process Algebras,”
in {CONCUR} ’94, Concurrency Theory, 5th International Conference, Uppsala,
Sweden, August 22-25, 1994, Proceedings, 1994, pp. 226--241.
mla: Rensink, Arend, and Heike Wehrheim. “Weak Sequential Composition in Process
Algebras.” {CONCUR} ’94, Concurrency Theory, 5th International Conference,
Uppsala, Sweden, August 22-25, 1994, Proceedings, edited by Bengt Jonsson
and Joachim Parrow, 1994, pp. 226--241, doi:10.1007/978-3-540-48654-1_20.
short: 'A. Rensink, H. Wehrheim, in: B. Jonsson, J. Parrow (Eds.), {CONCUR} ’94,
Concurrency Theory, 5th International Conference, Uppsala, Sweden, August 22-25,
1994, Proceedings, 1994, pp. 226--241.'
date_created: 2018-06-14T07:54:32Z
date_updated: 2022-01-06T06:59:07Z
department:
- _id: '77'
doi: 10.1007/978-3-540-48654-1_20
editor:
- first_name: Bengt
full_name: Jonsson, Bengt
last_name: Jonsson
- first_name: Joachim
full_name: Parrow, Joachim
last_name: Parrow
page: 226--241
publication: '{CONCUR} ''94, Concurrency Theory, 5th International Conference, Uppsala,
Sweden, August 22-25, 1994, Proceedings'
series_title: Lecture Notes in Computer Science
status: public
title: Weak Sequential Composition in Process Algebras
type: conference
user_id: '29719'
year: '1994'
...
---
_id: '3264'
author:
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'Wehrheim H. Parametric Action Refinement. In: Olderog E-}R{\"{u}}diger, ed.
Programming Concepts, Methods and Calculi, Proceedings of the {IFIP} {TC2/WG2.1/WG2.2/WG2.3}
Working Conference on Programming Concepts, Methods and Calculi {(PROCOMET} ’94)
San Miniato, Italy, 6-10 June, 1994. {IFIP} Transactions. ; 1994:247--266.'
apa: Wehrheim, H. (1994). Parametric Action Refinement. In E.-}R{\"{u}}diger Olderog
(Ed.), Programming Concepts, Methods and Calculi, Proceedings of the {IFIP}
{TC2/WG2.1/WG2.2/WG2.3} Working Conference on Programming Concepts, Methods and
Calculi {(PROCOMET} ’94) San Miniato, Italy, 6-10 June, 1994 (pp. 247--266).
bibtex: '@inproceedings{Wehrheim_1994, series={{IFIP} Transactions}, title={Parametric
Action Refinement}, booktitle={Programming Concepts, Methods and Calculi, Proceedings
of the {IFIP} {TC2/WG2.1/WG2.2/WG2.3} Working Conference on Programming Concepts,
Methods and Calculi {(PROCOMET} ’94) San Miniato, Italy, 6-10 June, 1994}, author={Wehrheim,
Heike}, editor={Olderog, Ernst{-}R{\"{u}}digerEditor}, year={1994}, pages={247--266},
collection={{IFIP} Transactions} }'
chicago: Wehrheim, Heike. “Parametric Action Refinement.” In Programming Concepts,
Methods and Calculi, Proceedings of the {IFIP} {TC2/WG2.1/WG2.2/WG2.3} Working
Conference on Programming Concepts, Methods and Calculi {(PROCOMET} ’94) San Miniato,
Italy, 6-10 June, 1994, edited by Ernst{-}R{\"{u}}diger Olderog, 247--266.
{IFIP} Transactions, 1994.
ieee: H. Wehrheim, “Parametric Action Refinement,” in Programming Concepts, Methods
and Calculi, Proceedings of the {IFIP} {TC2/WG2.1/WG2.2/WG2.3} Working Conference
on Programming Concepts, Methods and Calculi {(PROCOMET} ’94) San Miniato, Italy,
6-10 June, 1994, 1994, pp. 247--266.
mla: Wehrheim, Heike. “Parametric Action Refinement.” Programming Concepts, Methods
and Calculi, Proceedings of the {IFIP} {TC2/WG2.1/WG2.2/WG2.3} Working Conference
on Programming Concepts, Methods and Calculi {(PROCOMET} ’94) San Miniato, Italy,
6-10 June, 1994, edited by Ernst{-}R{\"{u}}diger Olderog, 1994, pp. 247--266.
short: 'H. Wehrheim, in: E.-}R{\"{u}}diger Olderog (Ed.), Programming Concepts,
Methods and Calculi, Proceedings of the {IFIP} {TC2/WG2.1/WG2.2/WG2.3} Working
Conference on Programming Concepts, Methods and Calculi {(PROCOMET} ’94) San Miniato,
Italy, 6-10 June, 1994, 1994, pp. 247--266.'
date_created: 2018-06-14T07:55:40Z
date_updated: 2022-01-06T06:59:07Z
department:
- _id: '77'
editor:
- first_name: Ernst{-}R{\"{u}}diger
full_name: Olderog, Ernst{-}R{\"{u}}diger
last_name: Olderog
page: 247--266
publication: Programming Concepts, Methods and Calculi, Proceedings of the {IFIP}
{TC2/WG2.1/WG2.2/WG2.3} Working Conference on Programming Concepts, Methods and
Calculi {(PROCOMET} '94) San Miniato, Italy, 6-10 June, 1994
series_title: '{IFIP} Transactions'
status: public
title: Parametric Action Refinement
type: conference
user_id: '29719'
year: '1994'
...