---
_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'
...