---
_id: '3185'
author:
- first_name: Thomas
full_name: Ruhroth, Thomas
last_name: Ruhroth
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
- first_name: Steffen
full_name: Ziegert, Steffen
last_name: Ziegert
citation:
ama: 'Ruhroth T, Wehrheim H, Ziegert S. ReL: {A} Generic Refactoring Language for
Specification and Execution. In: 37th {EUROMICRO} Conference on Software Engineering
and Advanced Applications, {SEAA} 2011, Oulu, Finland, August 30 - September 2,
2011. ; 2011:83--90. doi:10.1109/SEAA.2011.22'
apa: 'Ruhroth, T., Wehrheim, H., & Ziegert, S. (2011). ReL: {A} Generic Refactoring
Language for Specification and Execution. In 37th {EUROMICRO} Conference on
Software Engineering and Advanced Applications, {SEAA} 2011, Oulu, Finland, August
30 - September 2, 2011 (pp. 83--90). https://doi.org/10.1109/SEAA.2011.22'
bibtex: '@inproceedings{Ruhroth_Wehrheim_Ziegert_2011, title={ReL: {A} Generic Refactoring
Language for Specification and Execution}, DOI={10.1109/SEAA.2011.22},
booktitle={37th {EUROMICRO} Conference on Software Engineering and Advanced Applications,
{SEAA} 2011, Oulu, Finland, August 30 - September 2, 2011}, author={Ruhroth, Thomas
and Wehrheim, Heike and Ziegert, Steffen}, year={2011}, pages={83--90} }'
chicago: 'Ruhroth, Thomas, Heike Wehrheim, and Steffen Ziegert. “ReL: {A} Generic
Refactoring Language for Specification and Execution.” In 37th {EUROMICRO}
Conference on Software Engineering and Advanced Applications, {SEAA} 2011, Oulu,
Finland, August 30 - September 2, 2011, 83--90, 2011. https://doi.org/10.1109/SEAA.2011.22.'
ieee: 'T. Ruhroth, H. Wehrheim, and S. Ziegert, “ReL: {A} Generic Refactoring Language
for Specification and Execution,” in 37th {EUROMICRO} Conference on Software
Engineering and Advanced Applications, {SEAA} 2011, Oulu, Finland, August 30 -
September 2, 2011, 2011, pp. 83--90.'
mla: 'Ruhroth, Thomas, et al. “ReL: {A} Generic Refactoring Language for Specification
and Execution.” 37th {EUROMICRO} Conference on Software Engineering and Advanced
Applications, {SEAA} 2011, Oulu, Finland, August 30 - September 2, 2011, 2011,
pp. 83--90, doi:10.1109/SEAA.2011.22.'
short: 'T. Ruhroth, H. Wehrheim, S. Ziegert, in: 37th {EUROMICRO} Conference on
Software Engineering and Advanced Applications, {SEAA} 2011, Oulu, Finland, August
30 - September 2, 2011, 2011, pp. 83--90.'
date_created: 2018-06-13T08:23:28Z
date_updated: 2022-01-06T06:59:03Z
department:
- _id: '77'
doi: 10.1109/SEAA.2011.22
page: 83--90
publication: 37th {EUROMICRO} Conference on Software Engineering and Advanced Applications,
{SEAA} 2011, Oulu, Finland, August 30 - September 2, 2011
status: public
title: 'ReL: {A} Generic Refactoring Language for Specification and Execution'
type: conference
user_id: '29719'
year: '2011'
...
---
_id: '3186'
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. Verifying Linearisability with Potential
Linearisation Points. In: J. Butler M, Schulte W, eds. {FM} 2011: Formal Methods
- 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24,
2011. Proceedings. Lecture Notes in Computer Science. ; 2011:323--337. doi:10.1007/978-3-642-21437-0_25'
apa: 'Derrick, J., Schellhorn, G., & Wehrheim, H. (2011). Verifying Linearisability
with Potential Linearisation Points. In M. J. Butler & W. Schulte (Eds.),
{FM} 2011: Formal Methods - 17th International Symposium on Formal Methods,
Limerick, Ireland, June 20-24, 2011. Proceedings (pp. 323--337). https://doi.org/10.1007/978-3-642-21437-0_25'
bibtex: '@inproceedings{Derrick_Schellhorn_Wehrheim_2011, series={Lecture Notes
in Computer Science}, title={Verifying Linearisability with Potential Linearisation
Points}, DOI={10.1007/978-3-642-21437-0_25},
booktitle={{FM} 2011: Formal Methods - 17th International Symposium on Formal
Methods, Limerick, Ireland, June 20-24, 2011. Proceedings}, author={Derrick, John
and Schellhorn, Gerhard and Wehrheim, Heike}, editor={J. Butler, Michael and Schulte,
WolframEditors}, year={2011}, pages={323--337}, collection={Lecture Notes in Computer
Science} }'
chicago: 'Derrick, John, Gerhard Schellhorn, and Heike Wehrheim. “Verifying Linearisability
with Potential Linearisation Points.” In {FM} 2011: Formal Methods - 17th International
Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings,
edited by Michael J. Butler and Wolfram Schulte, 323--337. Lecture Notes in Computer
Science, 2011. https://doi.org/10.1007/978-3-642-21437-0_25.'
ieee: 'J. Derrick, G. Schellhorn, and H. Wehrheim, “Verifying Linearisability with
Potential Linearisation Points,” in {FM} 2011: Formal Methods - 17th International
Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings,
2011, pp. 323--337.'
mla: 'Derrick, John, et al. “Verifying Linearisability with Potential Linearisation
Points.” {FM} 2011: Formal Methods - 17th International Symposium on Formal
Methods, Limerick, Ireland, June 20-24, 2011. Proceedings, edited by Michael
J. Butler and Wolfram Schulte, 2011, pp. 323--337, doi:10.1007/978-3-642-21437-0_25.'
short: 'J. Derrick, G. Schellhorn, H. Wehrheim, in: M. J. Butler, W. Schulte (Eds.),
{FM} 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick,
Ireland, June 20-24, 2011. Proceedings, 2011, pp. 323--337.'
date_created: 2018-06-13T08:25:07Z
date_updated: 2022-01-06T06:59:03Z
department:
- _id: '77'
doi: 10.1007/978-3-642-21437-0_25
editor:
- first_name: Michael
full_name: J. Butler, Michael
last_name: J. Butler
- first_name: Wolfram
full_name: Schulte, Wolfram
last_name: Schulte
page: 323--337
publication: '{FM} 2011: Formal Methods - 17th International Symposium on Formal Methods,
Limerick, Ireland, June 20-24, 2011. Proceedings'
series_title: Lecture Notes in Computer Science
status: public
title: Verifying Linearisability with Potential Linearisation Points
type: conference
user_id: '29719'
year: '2011'
...
---
_id: '3187'
author:
- first_name: Dominik
full_name: Steenken, Dominik
last_name: Steenken
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
- first_name: Daniel
full_name: Wonisch, Daniel
last_name: Wonisch
citation:
ama: 'Steenken D, Wehrheim H, Wonisch D. Sound and Complete Abstract Graph Transformation.
In: da Silva Sim{\~{a}}o A, Morgan C, eds. Formal Methods, Foundations and
Applications - 14th Brazilian Symposium, {SBMF} 2011, S{\~{a}}o Paulo, Brazil,
September 26-30, 2011, Revised Selected Papers. Lecture Notes in Computer
Science. ; 2011:92--107. doi:10.1007/978-3-642-25032-3_7'
apa: Steenken, D., Wehrheim, H., & Wonisch, D. (2011). Sound and Complete Abstract
Graph Transformation. In A. da Silva Sim{\~{a}}o & C. Morgan (Eds.), Formal
Methods, Foundations and Applications - 14th Brazilian Symposium, {SBMF} 2011,
S{\~{a}}o Paulo, Brazil, September 26-30, 2011, Revised Selected Papers (pp.
92--107). https://doi.org/10.1007/978-3-642-25032-3_7
bibtex: '@inproceedings{Steenken_Wehrheim_Wonisch_2011, series={Lecture Notes in
Computer Science}, title={Sound and Complete Abstract Graph Transformation}, DOI={10.1007/978-3-642-25032-3_7},
booktitle={Formal Methods, Foundations and Applications - 14th Brazilian Symposium,
{SBMF} 2011, S{\~{a}}o Paulo, Brazil, September 26-30, 2011, Revised Selected
Papers}, author={Steenken, Dominik and Wehrheim, Heike and Wonisch, Daniel}, editor={da
Silva Sim{\~{a}}o, Adenilso and Morgan, CarrollEditors}, year={2011}, pages={92--107},
collection={Lecture Notes in Computer Science} }'
chicago: Steenken, Dominik, Heike Wehrheim, and Daniel Wonisch. “Sound and Complete
Abstract Graph Transformation.” In Formal Methods, Foundations and Applications
- 14th Brazilian Symposium, {SBMF} 2011, S{\~{a}}o Paulo, Brazil, September 26-30,
2011, Revised Selected Papers, edited by Adenilso da Silva Sim{\~{a}}o and
Carroll Morgan, 92--107. Lecture Notes in Computer Science, 2011. https://doi.org/10.1007/978-3-642-25032-3_7.
ieee: D. Steenken, H. Wehrheim, and D. Wonisch, “Sound and Complete Abstract Graph
Transformation,” in Formal Methods, Foundations and Applications - 14th Brazilian
Symposium, {SBMF} 2011, S{\~{a}}o Paulo, Brazil, September 26-30, 2011, Revised
Selected Papers, 2011, pp. 92--107.
mla: Steenken, Dominik, et al. “Sound and Complete Abstract Graph Transformation.”
Formal Methods, Foundations and Applications - 14th Brazilian Symposium, {SBMF}
2011, S{\~{a}}o Paulo, Brazil, September 26-30, 2011, Revised Selected Papers,
edited by Adenilso da Silva Sim{\~{a}}o and Carroll Morgan, 2011, pp. 92--107,
doi:10.1007/978-3-642-25032-3_7.
short: 'D. Steenken, H. Wehrheim, D. Wonisch, in: A. da Silva Sim{\~{a}}o, C. Morgan
(Eds.), Formal Methods, Foundations and Applications - 14th Brazilian Symposium,
{SBMF} 2011, S{\~{a}}o Paulo, Brazil, September 26-30, 2011, Revised Selected
Papers, 2011, pp. 92--107.'
date_created: 2018-06-13T08:32:12Z
date_updated: 2022-01-06T06:59:03Z
department:
- _id: '77'
doi: 10.1007/978-3-642-25032-3_7
editor:
- first_name: Adenilso
full_name: da Silva Sim{\~{a}}o, Adenilso
last_name: da Silva Sim{\~{a}}o
- first_name: Carroll
full_name: Morgan, Carroll
last_name: Morgan
page: 92--107
publication: Formal Methods, Foundations and Applications - 14th Brazilian Symposium,
{SBMF} 2011, S{\~{a}}o Paulo, Brazil, September 26-30, 2011, Revised Selected Papers
series_title: Lecture Notes in Computer Science
status: public
title: Sound and Complete Abstract Graph Transformation
type: conference
user_id: '29719'
year: '2011'
...
---
_id: '3188'
author:
- first_name: Steve
full_name: Schneider, Steve
last_name: Schneider
- first_name: Helen
full_name: Treharne, Helen
last_name: Treharne
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'Schneider S, Treharne H, Wehrheim H. A {CSP} Account of Event-B Refinement.
In: Derrick J, A. Boiten E, Reeves S, eds. Proceedings 15th International Refinement
Workshop, Refine@FM 2011, Limerick, Ireland, 20th June 2011. {EPTCS}. ; 2011:139--154.
doi:10.4204/EPTCS.55.9'
apa: Schneider, S., Treharne, H., & Wehrheim, H. (2011). A {CSP} Account of
Event-B Refinement. In J. Derrick, E. A. Boiten, & S. Reeves (Eds.), Proceedings
15th International Refinement Workshop, Refine@FM 2011, Limerick, Ireland, 20th
June 2011. (pp. 139--154). https://doi.org/10.4204/EPTCS.55.9
bibtex: '@inproceedings{Schneider_Treharne_Wehrheim_2011, series={{EPTCS}}, title={A
{CSP} Account of Event-B Refinement}, DOI={10.4204/EPTCS.55.9},
booktitle={Proceedings 15th International Refinement Workshop, Refine@FM 2011,
Limerick, Ireland, 20th June 2011.}, author={Schneider, Steve and Treharne, Helen
and Wehrheim, Heike}, editor={Derrick, John and A. Boiten, Eerke and Reeves, SteveEditors},
year={2011}, pages={139--154}, collection={{EPTCS}} }'
chicago: Schneider, Steve, Helen Treharne, and Heike Wehrheim. “A {CSP} Account
of Event-B Refinement.” In Proceedings 15th International Refinement Workshop,
Refine@FM 2011, Limerick, Ireland, 20th June 2011., edited by John Derrick,
Eerke A. Boiten, and Steve Reeves, 139--154. {EPTCS}, 2011. https://doi.org/10.4204/EPTCS.55.9.
ieee: S. Schneider, H. Treharne, and H. Wehrheim, “A {CSP} Account of Event-B Refinement,”
in Proceedings 15th International Refinement Workshop, Refine@FM 2011, Limerick,
Ireland, 20th June 2011., 2011, pp. 139--154.
mla: Schneider, Steve, et al. “A {CSP} Account of Event-B Refinement.” Proceedings
15th International Refinement Workshop, Refine@FM 2011, Limerick, Ireland, 20th
June 2011., edited by John Derrick et al., 2011, pp. 139--154, doi:10.4204/EPTCS.55.9.
short: 'S. Schneider, H. Treharne, H. Wehrheim, in: J. Derrick, E. A. Boiten, S.
Reeves (Eds.), Proceedings 15th International Refinement Workshop, Refine@FM 2011,
Limerick, Ireland, 20th June 2011., 2011, pp. 139--154.'
date_created: 2018-06-13T08:43:19Z
date_updated: 2022-01-06T06:59:03Z
department:
- _id: '77'
doi: 10.4204/EPTCS.55.9
editor:
- first_name: John
full_name: Derrick, John
last_name: Derrick
- first_name: Eerke
full_name: A. Boiten, Eerke
last_name: A. Boiten
- first_name: Steve
full_name: Reeves, Steve
last_name: Reeves
page: 139--154
publication: Proceedings 15th International Refinement Workshop, Refine@FM 2011, Limerick,
Ireland, 20th June 2011.
series_title: '{EPTCS}'
status: public
title: A {CSP} Account of Event-B Refinement
type: conference
user_id: '29719'
year: '2011'
...
---
_id: '647'
author:
- first_name: Michael
full_name: Leuschel, Michael
last_name: Leuschel
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: Leuschel M, Wehrheim H. Selected papers on Integrated Formal Methods (iFM09).
Science of Computer Programming. 2011;(10):835--836. doi:10.1016/j.scico.2011.01.009
apa: Leuschel, M., & Wehrheim, H. (2011). Selected papers on Integrated Formal
Methods (iFM09). Science of Computer Programming, (10), 835--836. https://doi.org/10.1016/j.scico.2011.01.009
bibtex: '@article{Leuschel_Wehrheim_2011, title={Selected papers on Integrated Formal
Methods (iFM09)}, DOI={10.1016/j.scico.2011.01.009},
number={10}, journal={Science of Computer Programming}, publisher={Elsevier},
author={Leuschel, Michael and Wehrheim, Heike}, year={2011}, pages={835--836}
}'
chicago: 'Leuschel, Michael, and Heike Wehrheim. “Selected Papers on Integrated
Formal Methods (IFM09).” Science of Computer Programming, no. 10 (2011):
835--836. https://doi.org/10.1016/j.scico.2011.01.009.'
ieee: M. Leuschel and H. Wehrheim, “Selected papers on Integrated Formal Methods
(iFM09),” Science of Computer Programming, no. 10, pp. 835--836, 2011.
mla: Leuschel, Michael, and Heike Wehrheim. “Selected Papers on Integrated Formal
Methods (IFM09).” Science of Computer Programming, no. 10, Elsevier, 2011,
pp. 835--836, doi:10.1016/j.scico.2011.01.009.
short: M. Leuschel, H. Wehrheim, Science of Computer Programming (2011) 835--836.
date_created: 2017-10-17T12:42:58Z
date_updated: 2022-01-06T07:03:06Z
ddc:
- '040'
department:
- _id: '77'
doi: 10.1016/j.scico.2011.01.009
file:
- access_level: closed
content_type: application/pdf
creator: florida
date_created: 2018-03-14T13:56:48Z
date_updated: 2018-03-14T13:56:48Z
file_id: '1226'
file_name: 647-LeuschelWehrheim.pdf
file_size: 139105
relation: main_file
success: 1
file_date_updated: 2018-03-14T13:56:48Z
has_accepted_license: '1'
issue: '10'
language:
- iso: eng
page: 835--836
project:
- _id: '1'
name: SFB 901
- _id: '11'
name: SFB 901 - Subprojekt B3
- _id: '12'
name: SFB 901 - Subproject B4
- _id: '3'
name: SFB 901 - Project Area B
publication: Science of Computer Programming
publisher: Elsevier
status: public
title: Selected papers on Integrated Formal Methods (iFM09)
type: journal_article
user_id: '477'
year: '2011'
...
---
_id: '649'
abstract:
- lang: eng
text: 'Today, the concept of service oriented architectures provides a way of building
integrated solutions out of existing services. To this end, services from different
providers are composed using advanced orchestration and choreography techniques.
However, while this principle allows for greater flexibility at a smaller cost,
the use of third party services also includes a risk: Deployed services might
not work as claimed by their providers. In this paper, we propose a technique
for analyzing the expected reliability of service compositions based on ratings
given by (previous) service users. Every service thereby comes with a reputation,
and the analysis computes an overall reliability of a service composition from
the reputations of its constituent services. The proposed model-driven approach
proceeds by translating statechart models of service compositions into input for
a probabilistic model checker (PRISM) using state-of-the-art model transformations
techniques. The approach has been implemented as an Eclipse plug-in and is fully
compliant with UML.'
author:
- first_name: Galina
full_name: Besova, Galina
last_name: Besova
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
- first_name: Annika
full_name: Wagner, Annika
last_name: Wagner
citation:
ama: Besova G, Wehrheim H, Wagner A. Reputation-based Reliability Prediction of
Service Compositions. Electronic Notes in Theoretical Computer Science.
2011;(2):3-16. doi:10.1016/j.entcs.2011.11.008
apa: Besova, G., Wehrheim, H., & Wagner, A. (2011). Reputation-based Reliability
Prediction of Service Compositions. Electronic Notes in Theoretical Computer
Science, (2), 3–16. https://doi.org/10.1016/j.entcs.2011.11.008
bibtex: '@article{Besova_Wehrheim_Wagner_2011, title={Reputation-based Reliability
Prediction of Service Compositions}, DOI={10.1016/j.entcs.2011.11.008},
number={2}, journal={Electronic Notes in Theoretical Computer Science}, publisher={Elsevier},
author={Besova, Galina and Wehrheim, Heike and Wagner, Annika}, year={2011}, pages={3–16}
}'
chicago: 'Besova, Galina, Heike Wehrheim, and Annika Wagner. “Reputation-Based Reliability
Prediction of Service Compositions.” Electronic Notes in Theoretical Computer
Science, no. 2 (2011): 3–16. https://doi.org/10.1016/j.entcs.2011.11.008.'
ieee: G. Besova, H. Wehrheim, and A. Wagner, “Reputation-based Reliability Prediction
of Service Compositions,” Electronic Notes in Theoretical Computer Science,
no. 2, pp. 3–16, 2011.
mla: Besova, Galina, et al. “Reputation-Based Reliability Prediction of Service
Compositions.” Electronic Notes in Theoretical Computer Science, no. 2,
Elsevier, 2011, pp. 3–16, doi:10.1016/j.entcs.2011.11.008.
short: G. Besova, H. Wehrheim, A. Wagner, Electronic Notes in Theoretical Computer
Science (2011) 3–16.
date_created: 2017-10-17T12:42:58Z
date_updated: 2022-01-06T07:03:07Z
ddc:
- '040'
department:
- _id: '77'
doi: 10.1016/j.entcs.2011.11.008
file:
- access_level: closed
content_type: application/pdf
creator: florida
date_created: 2018-03-14T13:55:38Z
date_updated: 2018-03-14T13:55:38Z
file_id: '1225'
file_name: 649-ETAPS2011-Besova-Wehrheim-Wagner_01.pdf
file_size: 534727
relation: main_file
success: 1
file_date_updated: 2018-03-14T13:55:38Z
has_accepted_license: '1'
issue: '2'
language:
- iso: eng
page: 3-16
project:
- _id: '1'
name: SFB 901
- _id: '11'
name: SFB 901 - Subprojekt B3
- _id: '3'
name: SFB 901 - Project Area B
publication: Electronic Notes in Theoretical Computer Science
publisher: Elsevier
status: public
title: Reputation-based Reliability Prediction of Service Compositions
type: journal_article
user_id: '477'
year: '2011'
...
---
_id: '658'
author:
- first_name: Alexander
full_name: Schremmer, Alexander
last_name: Schremmer
citation:
ama: Schremmer A. Function Specification Inference Using Craig Interpolation.
Universität Paderborn; 2011.
apa: Schremmer, A. (2011). Function Specification Inference Using Craig Interpolation.
Universität Paderborn.
bibtex: '@book{Schremmer_2011, title={Function Specification Inference Using Craig
Interpolation}, publisher={Universität Paderborn}, author={Schremmer, Alexander},
year={2011} }'
chicago: Schremmer, Alexander. Function Specification Inference Using Craig Interpolation.
Universität Paderborn, 2011.
ieee: A. Schremmer, Function Specification Inference Using Craig Interpolation.
Universität Paderborn, 2011.
mla: Schremmer, Alexander. Function Specification Inference Using Craig Interpolation.
Universität Paderborn, 2011.
short: A. Schremmer, Function Specification Inference Using Craig Interpolation,
Universität Paderborn, 2011.
date_created: 2017-10-17T12:43:00Z
date_updated: 2022-01-06T07:03:12Z
department:
- _id: '77'
language:
- iso: eng
project:
- _id: '1'
name: SFB 901
- _id: '12'
name: SFB 901 - Subprojekt B4
- _id: '3'
name: SFB 901 - Project Area B
publisher: Universität Paderborn
status: public
supervisor:
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
title: Function Specification Inference Using Craig Interpolation
type: mastersthesis
user_id: '477'
year: '2011'
...
---
_id: '3195'
author:
- first_name: Steve
full_name: Schneider, Steve
last_name: Schneider
- first_name: Helen
full_name: Treharne, Helen
last_name: Treharne
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'Schneider S, Treharne H, Wehrheim H. A {CSP} Approach to Control in Event-B.
In: M{\’{e}}ry D, Merz S, eds. Integrated Formal Methods - 8th International
Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings. Lecture
Notes in Computer Science. ; 2010:260--274. doi:10.1007/978-3-642-16265-7_19'
apa: Schneider, S., Treharne, H., & Wehrheim, H. (2010). A {CSP} Approach to
Control in Event-B. In D. M{\’{e}}ry & S. Merz (Eds.), Integrated Formal
Methods - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14,
2010. Proceedings (pp. 260--274). https://doi.org/10.1007/978-3-642-16265-7_19
bibtex: '@inproceedings{Schneider_Treharne_Wehrheim_2010, series={Lecture Notes
in Computer Science}, title={A {CSP} Approach to Control in Event-B}, DOI={10.1007/978-3-642-16265-7_19},
booktitle={Integrated Formal Methods - 8th International Conference, {IFM} 2010,
Nancy, France, October 11-14, 2010. Proceedings}, author={Schneider, Steve and
Treharne, Helen and Wehrheim, Heike}, editor={M{\’{e}}ry, Dominique and Merz,
StephanEditors}, year={2010}, pages={260--274}, collection={Lecture Notes in Computer
Science} }'
chicago: Schneider, Steve, Helen Treharne, and Heike Wehrheim. “A {CSP} Approach
to Control in Event-B.” In Integrated Formal Methods - 8th International Conference,
{IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings, edited by Dominique
M{\’{e}}ry and Stephan Merz, 260--274. Lecture Notes in Computer Science, 2010.
https://doi.org/10.1007/978-3-642-16265-7_19.
ieee: S. Schneider, H. Treharne, and H. Wehrheim, “A {CSP} Approach to Control in
Event-B,” in Integrated Formal Methods - 8th International Conference, {IFM}
2010, Nancy, France, October 11-14, 2010. Proceedings, 2010, pp. 260--274.
mla: Schneider, Steve, et al. “A {CSP} Approach to Control in Event-B.” Integrated
Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October
11-14, 2010. Proceedings, edited by Dominique M{\’{e}}ry and Stephan Merz,
2010, pp. 260--274, doi:10.1007/978-3-642-16265-7_19.
short: 'S. Schneider, H. Treharne, H. Wehrheim, in: D. M{\’{e}}ry, S. Merz (Eds.),
Integrated Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France,
October 11-14, 2010. Proceedings, 2010, pp. 260--274.'
date_created: 2018-06-13T09:20:53Z
date_updated: 2022-01-06T06:59:04Z
department:
- _id: '77'
doi: 10.1007/978-3-642-16265-7_19
editor:
- first_name: Dominique
full_name: M{\'{e}}ry, Dominique
last_name: M{\'{e}}ry
- first_name: Stephan
full_name: Merz, Stephan
last_name: Merz
page: 260--274
publication: Integrated Formal Methods - 8th International Conference, {IFM} 2010,
Nancy, France, October 11-14, 2010. Proceedings
series_title: Lecture Notes in Computer Science
status: public
title: A {CSP} Approach to Control in Event-B
type: conference
user_id: '29719'
year: '2010'
...
---
_id: '3196'
author:
- first_name: Klaus
full_name: Dräger, Klaus
last_name: Dräger
- first_name: Andrey
full_name: Kupriyanov, Andrey
last_name: Kupriyanov
- first_name: Bernd
full_name: Finkbeiner, Bernd
last_name: Finkbeiner
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'Dräger K, Kupriyanov A, Finkbeiner B, Wehrheim H. {SLAB:} {A} Certifying Model
Checker for Infinite-State Concurrent Systems. In: Esparza J, Majumdar R, eds.
Tools and Algorithms for the Construction and Analysis of Systems, 16th International
Conference, {TACAS} 2010, Held as Part of the Joint European Conferences on Theory
and Practice of Software, {ETAPS} 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings.
Lecture Notes in Computer Science. ; 2010:271--274. doi:10.1007/978-3-642-12002-2_22'
apa: Dräger, K., Kupriyanov, A., Finkbeiner, B., & Wehrheim, H. (2010). {SLAB:}
{A} Certifying Model Checker for Infinite-State Concurrent Systems. In J. Esparza
& R. Majumdar (Eds.), Tools and Algorithms for the Construction and Analysis
of Systems, 16th International Conference, {TACAS} 2010, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2010, Paphos,
Cyprus, March 20-28, 2010. Proceedings (pp. 271--274). https://doi.org/10.1007/978-3-642-12002-2_22
bibtex: '@inproceedings{Dräger_Kupriyanov_Finkbeiner_Wehrheim_2010, series={Lecture
Notes in Computer Science}, title={{SLAB:} {A} Certifying Model Checker for Infinite-State
Concurrent Systems}, DOI={10.1007/978-3-642-12002-2_22},
booktitle={Tools and Algorithms for the Construction and Analysis of Systems,
16th International Conference, {TACAS} 2010, Held as Part of the Joint European
Conferences on Theory and Practice of Software, {ETAPS} 2010, Paphos, Cyprus,
March 20-28, 2010. Proceedings}, author={Dräger, Klaus and Kupriyanov, Andrey
and Finkbeiner, Bernd and Wehrheim, Heike}, editor={Esparza, Javier and Majumdar,
RupakEditors}, year={2010}, pages={271--274}, collection={Lecture Notes in Computer
Science} }'
chicago: Dräger, Klaus, Andrey Kupriyanov, Bernd Finkbeiner, and Heike Wehrheim.
“{SLAB:} {A} Certifying Model Checker for Infinite-State Concurrent Systems.”
In Tools and Algorithms for the Construction and Analysis of Systems, 16th
International Conference, {TACAS} 2010, Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2010, Paphos, Cyprus, March 20-28,
2010. Proceedings, edited by Javier Esparza and Rupak Majumdar, 271--274.
Lecture Notes in Computer Science, 2010. https://doi.org/10.1007/978-3-642-12002-2_22.
ieee: K. Dräger, A. Kupriyanov, B. Finkbeiner, and H. Wehrheim, “{SLAB:} {A} Certifying
Model Checker for Infinite-State Concurrent Systems,” in Tools and Algorithms
for the Construction and Analysis of Systems, 16th International Conference, {TACAS}
2010, Held as Part of the Joint European Conferences on Theory and Practice of
Software, {ETAPS} 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings, 2010,
pp. 271--274.
mla: Dräger, Klaus, et al. “{SLAB:} {A} Certifying Model Checker for Infinite-State
Concurrent Systems.” Tools and Algorithms for the Construction and Analysis
of Systems, 16th International Conference, {TACAS} 2010, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2010, Paphos,
Cyprus, March 20-28, 2010. Proceedings, edited by Javier Esparza and Rupak
Majumdar, 2010, pp. 271--274, doi:10.1007/978-3-642-12002-2_22.
short: 'K. Dräger, A. Kupriyanov, B. Finkbeiner, H. Wehrheim, in: J. Esparza, R.
Majumdar (Eds.), Tools and Algorithms for the Construction and Analysis of Systems,
16th International Conference, {TACAS} 2010, Held as Part of the Joint European
Conferences on Theory and Practice of Software, {ETAPS} 2010, Paphos, Cyprus,
March 20-28, 2010. Proceedings, 2010, pp. 271--274.'
date_created: 2018-06-13T09:22:07Z
date_updated: 2022-01-06T06:59:04Z
department:
- _id: '77'
doi: 10.1007/978-3-642-12002-2_22
editor:
- first_name: Javier
full_name: Esparza, Javier
last_name: Esparza
- first_name: Rupak
full_name: Majumdar, Rupak
last_name: Majumdar
page: 271--274
publication: Tools and Algorithms for the Construction and Analysis of Systems, 16th
International Conference, {TACAS} 2010, Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2010, Paphos, Cyprus, March 20-28, 2010.
Proceedings
series_title: Lecture Notes in Computer Science
status: public
title: '{SLAB:} {A} Certifying Model Checker for Infinite-State Concurrent Systems'
type: conference
user_id: '29719'
year: '2010'
...
---
_id: '3198'
author:
- first_name: Dominik
full_name: Steenken, Dominik
last_name: Steenken
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
- first_name: Daniel
full_name: Wonisch, Daniel
last_name: Wonisch
citation:
ama: Steenken D, Wehrheim H, Wonisch D. Towards {A} Shape Analysis for Graph Transformation
Systems. CoRR. 2010.
apa: Steenken, D., Wehrheim, H., & Wonisch, D. (2010). Towards {A} Shape Analysis
for Graph Transformation Systems. CoRR.
bibtex: '@article{Steenken_Wehrheim_Wonisch_2010, title={Towards {A} Shape Analysis
for Graph Transformation Systems}, journal={CoRR}, author={Steenken, Dominik and
Wehrheim, Heike and Wonisch, Daniel}, year={2010} }'
chicago: Steenken, Dominik, Heike Wehrheim, and Daniel Wonisch. “Towards {A} Shape
Analysis for Graph Transformation Systems.” CoRR, 2010.
ieee: D. Steenken, H. Wehrheim, and D. Wonisch, “Towards {A} Shape Analysis for
Graph Transformation Systems,” CoRR, 2010.
mla: Steenken, Dominik, et al. “Towards {A} Shape Analysis for Graph Transformation
Systems.” CoRR, 2010.
short: D. Steenken, H. Wehrheim, D. Wonisch, CoRR (2010).
date_created: 2018-06-13T09:23:16Z
date_updated: 2022-01-06T06:59:04Z
department:
- _id: '77'
publication: CoRR
status: public
title: Towards {A} Shape Analysis for Graph Transformation Systems
type: journal_article
user_id: '29719'
year: '2010'
...
---
_id: '3189'
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 across views. Sci Comput Program.
2010;(3):192--210. doi:10.1016/j.scico.2009.11.004
apa: Derrick, J., & Wehrheim, H. (2010). Model transformations across views.
Sci. Comput. Program., (3), 192--210. https://doi.org/10.1016/j.scico.2009.11.004
bibtex: '@article{Derrick_Wehrheim_2010, title={Model transformations across views},
DOI={10.1016/j.scico.2009.11.004},
number={3}, journal={Sci. Comput. Program.}, author={Derrick, John and Wehrheim,
Heike}, year={2010}, pages={192--210} }'
chicago: 'Derrick, John, and Heike Wehrheim. “Model Transformations across Views.”
Sci. Comput. Program., no. 3 (2010): 192--210. https://doi.org/10.1016/j.scico.2009.11.004.'
ieee: J. Derrick and H. Wehrheim, “Model transformations across views,” Sci.
Comput. Program., no. 3, pp. 192--210, 2010.
mla: Derrick, John, and Heike Wehrheim. “Model Transformations across Views.” Sci.
Comput. Program., no. 3, 2010, pp. 192--210, doi:10.1016/j.scico.2009.11.004.
short: J. Derrick, H. Wehrheim, Sci. Comput. Program. (2010) 192--210.
date_created: 2018-06-13T08:44:32Z
date_updated: 2022-01-06T06:59:03Z
department:
- _id: '77'
doi: 10.1016/j.scico.2009.11.004
issue: '3'
page: 192--210
publication: Sci. Comput. Program.
status: public
title: Model transformations across views
type: journal_article
user_id: '29719'
year: '2010'
...
---
_id: '3191'
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. Model-Driven Development with Mechatronic {UML}. In:
Engels G, Lewerentz C, Sch{\"{a}}fer W, Sch{\"{u}}rr A, Westfechtel B, eds. Graph
Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl
on the Occasion of His 65th Birthday. Lecture Notes in Computer Science. ;
2010:533--554. doi:10.1007/978-3-642-17322-6_23'
apa: Schäfer, W., & Wehrheim, H. (2010). Model-Driven Development with Mechatronic
{UML}. In G. Engels, C. Lewerentz, W. Sch{\"{a}}fer, A. Sch{\"{u}}rr, & B.
Westfechtel (Eds.), Graph Transformations and Model-Driven Engineering - Essays
Dedicated to Manfred Nagl on the Occasion of his 65th Birthday (pp. 533--554).
https://doi.org/10.1007/978-3-642-17322-6_23
bibtex: '@inproceedings{Schäfer_Wehrheim_2010, series={Lecture Notes in Computer
Science}, title={Model-Driven Development with Mechatronic {UML}}, DOI={10.1007/978-3-642-17322-6_23},
booktitle={Graph Transformations and Model-Driven Engineering - Essays Dedicated
to Manfred Nagl on the Occasion of his 65th Birthday}, author={Schäfer, Wilhelm
and Wehrheim, Heike}, editor={Engels, Gregor and Lewerentz, Claus and Sch{\"{a}}fer,
Wilhelm and Sch{\"{u}}rr, Andy and Westfechtel, BernhardEditors}, year={2010},
pages={533--554}, collection={Lecture Notes in Computer Science} }'
chicago: Schäfer, Wilhelm, and Heike Wehrheim. “Model-Driven Development with Mechatronic
{UML}.” In Graph Transformations and Model-Driven Engineering - Essays Dedicated
to Manfred Nagl on the Occasion of His 65th Birthday, edited by Gregor Engels,
Claus Lewerentz, Wilhelm Sch{\"{a}}fer, Andy Sch{\"{u}}rr, and Bernhard Westfechtel,
533--554. Lecture Notes in Computer Science, 2010. https://doi.org/10.1007/978-3-642-17322-6_23.
ieee: W. Schäfer and H. Wehrheim, “Model-Driven Development with Mechatronic {UML},”
in Graph Transformations and Model-Driven Engineering - Essays Dedicated to
Manfred Nagl on the Occasion of his 65th Birthday, 2010, pp. 533--554.
mla: Schäfer, Wilhelm, and Heike Wehrheim. “Model-Driven Development with Mechatronic
{UML}.” Graph Transformations and Model-Driven Engineering - Essays Dedicated
to Manfred Nagl on the Occasion of His 65th Birthday, edited by Gregor Engels
et al., 2010, pp. 533--554, doi:10.1007/978-3-642-17322-6_23.
short: 'W. Schäfer, H. Wehrheim, in: G. Engels, C. Lewerentz, W. Sch{\"{a}}fer,
A. Sch{\"{u}}rr, B. Westfechtel (Eds.), Graph Transformations and Model-Driven
Engineering - Essays Dedicated to Manfred Nagl on the Occasion of His 65th Birthday,
2010, pp. 533--554.'
date_created: 2018-06-13T09:10:56Z
date_updated: 2022-01-06T06:59:04Z
department:
- _id: '77'
doi: 10.1007/978-3-642-17322-6_23
editor:
- first_name: Gregor
full_name: Engels, Gregor
last_name: Engels
- first_name: Claus
full_name: Lewerentz, Claus
last_name: Lewerentz
- first_name: Wilhelm
full_name: Sch{\"{a}}fer, Wilhelm
last_name: Sch{\"{a}}fer
- first_name: Andy
full_name: Sch{\"{u}}rr, Andy
last_name: Sch{\"{u}}rr
- first_name: Bernhard
full_name: Westfechtel, Bernhard
last_name: Westfechtel
page: 533--554
publication: Graph Transformations and Model-Driven Engineering - Essays Dedicated
to Manfred Nagl on the Occasion of his 65th Birthday
series_title: Lecture Notes in Computer Science
status: public
title: Model-Driven Development with Mechatronic {UML}
type: conference
user_id: '29719'
year: '2010'
...
---
_id: '3193'
author:
- first_name: Nils
full_name: Timm, Nils
last_name: Timm
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'Timm N, Wehrheim H. On Symmetries and Spotlights - Verifying Parameterised
Systems. In: Song Dong J, Zhu H, eds. Formal Methods and Software Engineering
- 12th International Conference on Formal Engineering Methods, {ICFEM} 2010, Shanghai,
China, November 17-19, 2010. Proceedings. Lecture Notes in Computer Science.
; 2010:534--548. doi:10.1007/978-3-642-16901-4_35'
apa: Timm, N., & Wehrheim, H. (2010). On Symmetries and Spotlights - Verifying
Parameterised Systems. In J. Song Dong & H. Zhu (Eds.), Formal Methods
and Software Engineering - 12th International Conference on Formal Engineering
Methods, {ICFEM} 2010, Shanghai, China, November 17-19, 2010. Proceedings
(pp. 534--548). https://doi.org/10.1007/978-3-642-16901-4_35
bibtex: '@inproceedings{Timm_Wehrheim_2010, series={Lecture Notes in Computer Science},
title={On Symmetries and Spotlights - Verifying Parameterised Systems}, DOI={10.1007/978-3-642-16901-4_35},
booktitle={Formal Methods and Software Engineering - 12th International Conference
on Formal Engineering Methods, {ICFEM} 2010, Shanghai, China, November 17-19,
2010. Proceedings}, author={Timm, Nils and Wehrheim, Heike}, editor={Song Dong,
Jin and Zhu, HuibiaoEditors}, year={2010}, pages={534--548}, collection={Lecture
Notes in Computer Science} }'
chicago: Timm, Nils, and Heike Wehrheim. “On Symmetries and Spotlights - Verifying
Parameterised Systems.” In Formal Methods and Software Engineering - 12th International
Conference on Formal Engineering Methods, {ICFEM} 2010, Shanghai, China, November
17-19, 2010. Proceedings, edited by Jin Song Dong and Huibiao Zhu, 534--548.
Lecture Notes in Computer Science, 2010. https://doi.org/10.1007/978-3-642-16901-4_35.
ieee: N. Timm and H. Wehrheim, “On Symmetries and Spotlights - Verifying Parameterised
Systems,” in Formal Methods and Software Engineering - 12th International Conference
on Formal Engineering Methods, {ICFEM} 2010, Shanghai, China, November 17-19,
2010. Proceedings, 2010, pp. 534--548.
mla: Timm, Nils, and Heike Wehrheim. “On Symmetries and Spotlights - Verifying Parameterised
Systems.” Formal Methods and Software Engineering - 12th International Conference
on Formal Engineering Methods, {ICFEM} 2010, Shanghai, China, November 17-19,
2010. Proceedings, edited by Jin Song Dong and Huibiao Zhu, 2010, pp. 534--548,
doi:10.1007/978-3-642-16901-4_35.
short: 'N. Timm, H. Wehrheim, in: J. Song Dong, H. Zhu (Eds.), Formal Methods and
Software Engineering - 12th International Conference on Formal Engineering Methods,
{ICFEM} 2010, Shanghai, China, November 17-19, 2010. Proceedings, 2010, pp. 534--548.'
date_created: 2018-06-13T09:12:28Z
date_updated: 2022-01-06T06:59:04Z
department:
- _id: '77'
doi: 10.1007/978-3-642-16901-4_35
editor:
- first_name: Jin
full_name: Song Dong, Jin
last_name: Song Dong
- first_name: Huibiao
full_name: Zhu, Huibiao
last_name: Zhu
page: 534--548
publication: Formal Methods and Software Engineering - 12th International Conference
on Formal Engineering Methods, {ICFEM} 2010, Shanghai, China, November 17-19, 2010.
Proceedings
series_title: Lecture Notes in Computer Science
status: public
title: On Symmetries and Spotlights - Verifying Parameterised Systems
type: conference
user_id: '29719'
year: '2010'
...
---
_id: '3194'
author:
- first_name: Mathias
full_name: Hülsbusch, Mathias
last_name: Hülsbusch
- first_name: Barbara
full_name: König, Barbara
last_name: König
- first_name: Arend
full_name: Rensink, Arend
last_name: Rensink
- first_name: Maria
full_name: Semenyak, Maria
last_name: Semenyak
- 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: 'Hülsbusch M, König B, Rensink A, Semenyak M, Soltenborn C, Wehrheim H. Showing
Full Semantics Preservation in Model Transformation - {A} Comparison of Techniques.
In: M{\’{e}}ry D, Merz S, eds. Integrated Formal Methods - 8th International
Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings. Lecture
Notes in Computer Science. ; 2010:183--198. doi:10.1007/978-3-642-16265-7_14'
apa: Hülsbusch, M., König, B., Rensink, A., Semenyak, M., Soltenborn, C., &
Wehrheim, H. (2010). Showing Full Semantics Preservation in Model Transformation
- {A} Comparison of Techniques. In D. M{\’{e}}ry & S. Merz (Eds.), Integrated
Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October
11-14, 2010. Proceedings (pp. 183--198). https://doi.org/10.1007/978-3-642-16265-7_14
bibtex: '@inproceedings{Hülsbusch_König_Rensink_Semenyak_Soltenborn_Wehrheim_2010,
series={Lecture Notes in Computer Science}, title={Showing Full Semantics Preservation
in Model Transformation - {A} Comparison of Techniques}, DOI={10.1007/978-3-642-16265-7_14},
booktitle={Integrated Formal Methods - 8th International Conference, {IFM} 2010,
Nancy, France, October 11-14, 2010. Proceedings}, author={Hülsbusch, Mathias and
König, Barbara and Rensink, Arend and Semenyak, Maria and Soltenborn, Christian
and Wehrheim, Heike}, editor={M{\’{e}}ry, Dominique and Merz, StephanEditors},
year={2010}, pages={183--198}, collection={Lecture Notes in Computer Science}
}'
chicago: Hülsbusch, Mathias, Barbara König, Arend Rensink, Maria Semenyak, Christian
Soltenborn, and Heike Wehrheim. “Showing Full Semantics Preservation in Model
Transformation - {A} Comparison of Techniques.” In Integrated Formal Methods
- 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010.
Proceedings, edited by Dominique M{\’{e}}ry and Stephan Merz, 183--198. Lecture
Notes in Computer Science, 2010. https://doi.org/10.1007/978-3-642-16265-7_14.
ieee: M. Hülsbusch, B. König, A. Rensink, M. Semenyak, C. Soltenborn, and H. Wehrheim,
“Showing Full Semantics Preservation in Model Transformation - {A} Comparison
of Techniques,” in Integrated Formal Methods - 8th International Conference,
{IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings, 2010, pp. 183--198.
mla: Hülsbusch, Mathias, et al. “Showing Full Semantics Preservation in Model Transformation
- {A} Comparison of Techniques.” Integrated Formal Methods - 8th International
Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings, edited
by Dominique M{\’{e}}ry and Stephan Merz, 2010, pp. 183--198, doi:10.1007/978-3-642-16265-7_14.
short: 'M. Hülsbusch, B. König, A. Rensink, M. Semenyak, C. Soltenborn, H. Wehrheim,
in: D. M{\’{e}}ry, S. Merz (Eds.), Integrated Formal Methods - 8th International
Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings, 2010,
pp. 183--198.'
date_created: 2018-06-13T09:19:33Z
date_updated: 2022-01-06T06:59:04Z
department:
- _id: '77'
doi: 10.1007/978-3-642-16265-7_14
editor:
- first_name: Dominique
full_name: M{\'{e}}ry, Dominique
last_name: M{\'{e}}ry
- first_name: Stephan
full_name: Merz, Stephan
last_name: Merz
language:
- iso: eng
page: 183--198
publication: Integrated Formal Methods - 8th International Conference, {IFM} 2010,
Nancy, France, October 11-14, 2010. Proceedings
series_title: Lecture Notes in Computer Science
status: public
title: Showing Full Semantics Preservation in Model Transformation - {A} Comparison
of Techniques
type: conference
user_id: '14955'
year: '2010'
...
---
_id: '3199'
author:
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
- first_name: Daniel
full_name: Wonisch, Daniel
last_name: Wonisch
citation:
ama: Wehrheim H, Wonisch D. Compositional {CSP} Traces Refinement Checking. Electr
Notes Theor Comput Sci. 2009;(2):135--151. doi:10.1016/j.entcs.2009.08.022
apa: Wehrheim, H., & Wonisch, D. (2009). Compositional {CSP} Traces Refinement
Checking. Electr. Notes Theor. Comput. Sci., (2), 135--151. https://doi.org/10.1016/j.entcs.2009.08.022
bibtex: '@article{Wehrheim_Wonisch_2009, title={Compositional {CSP} Traces Refinement
Checking}, DOI={10.1016/j.entcs.2009.08.022},
number={2}, journal={Electr. Notes Theor. Comput. Sci.}, author={Wehrheim, Heike
and Wonisch, Daniel}, year={2009}, pages={135--151} }'
chicago: 'Wehrheim, Heike, and Daniel Wonisch. “Compositional {CSP} Traces Refinement
Checking.” Electr. Notes Theor. Comput. Sci., no. 2 (2009): 135--151. https://doi.org/10.1016/j.entcs.2009.08.022.'
ieee: H. Wehrheim and D. Wonisch, “Compositional {CSP} Traces Refinement Checking,”
Electr. Notes Theor. Comput. Sci., no. 2, pp. 135--151, 2009.
mla: Wehrheim, Heike, and Daniel Wonisch. “Compositional {CSP} Traces Refinement
Checking.” Electr. Notes Theor. Comput. Sci., no. 2, 2009, pp. 135--151,
doi:10.1016/j.entcs.2009.08.022.
short: H. Wehrheim, D. Wonisch, Electr. Notes Theor. Comput. Sci. (2009) 135--151.
date_created: 2018-06-13T09:24:52Z
date_updated: 2022-01-06T06:59:04Z
department:
- _id: '77'
doi: 10.1016/j.entcs.2009.08.022
issue: '2'
page: 135--151
publication: Electr. Notes Theor. Comput. Sci.
status: public
title: Compositional {CSP} Traces Refinement Checking
type: journal_article
user_id: '29719'
year: '2009'
...
---
_id: '3200'
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. Static Class Elements for Object-Z. Electr Notes
Theor Comput Sci. 2009:193--205. doi:10.1016/j.entcs.2009.12.025
apa: Ruhroth, T., & Wehrheim, H. (2009). Static Class Elements for Object-Z.
Electr. Notes Theor. Comput. Sci., 193--205. https://doi.org/10.1016/j.entcs.2009.12.025
bibtex: '@article{Ruhroth_Wehrheim_2009, title={Static Class Elements for Object-Z},
DOI={10.1016/j.entcs.2009.12.025},
journal={Electr. Notes Theor. Comput. Sci.}, author={Ruhroth, Thomas and Wehrheim,
Heike}, year={2009}, pages={193--205} }'
chicago: Ruhroth, Thomas, and Heike Wehrheim. “Static Class Elements for Object-Z.”
Electr. Notes Theor. Comput. Sci., 2009, 193--205. https://doi.org/10.1016/j.entcs.2009.12.025.
ieee: T. Ruhroth and H. Wehrheim, “Static Class Elements for Object-Z,” Electr.
Notes Theor. Comput. Sci., pp. 193--205, 2009.
mla: Ruhroth, Thomas, and Heike Wehrheim. “Static Class Elements for Object-Z.”
Electr. Notes Theor. Comput. Sci., 2009, pp. 193--205, doi:10.1016/j.entcs.2009.12.025.
short: T. Ruhroth, H. Wehrheim, Electr. Notes Theor. Comput. Sci. (2009) 193--205.
date_created: 2018-06-13T09:26:31Z
date_updated: 2022-01-06T06:59:04Z
department:
- _id: '77'
doi: 10.1016/j.entcs.2009.12.025
page: 193--205
publication: Electr. Notes Theor. Comput. Sci.
status: public
title: Static Class Elements for Object-Z
type: journal_article
user_id: '29719'
year: '2009'
...
---
_id: '3201'
author:
- first_name: Thomas
full_name: Ruhroth, Thomas
last_name: Ruhroth
- first_name: Hendrik
full_name: Voigt, Hendrik
last_name: Voigt
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'Ruhroth T, Voigt H, Wehrheim H. Measure, Diagnose, Refactor: {A} Formal Quality
Cycle for Software Models. In: 35th Euromicro Conference on Software Engineering
and Advanced Applications, {SEAA} 2009, Patras, Greece, August 27-29, 2009, Proceedings.
; 2009:360--367. doi:10.1109/SEAA.2009.39'
apa: 'Ruhroth, T., Voigt, H., & Wehrheim, H. (2009). Measure, Diagnose, Refactor:
{A} Formal Quality Cycle for Software Models. In 35th Euromicro Conference
on Software Engineering and Advanced Applications, {SEAA} 2009, Patras, Greece,
August 27-29, 2009, Proceedings (pp. 360--367). https://doi.org/10.1109/SEAA.2009.39'
bibtex: '@inproceedings{Ruhroth_Voigt_Wehrheim_2009, title={Measure, Diagnose, Refactor:
{A} Formal Quality Cycle for Software Models}, DOI={10.1109/SEAA.2009.39},
booktitle={35th Euromicro Conference on Software Engineering and Advanced Applications,
{SEAA} 2009, Patras, Greece, August 27-29, 2009, Proceedings}, author={Ruhroth,
Thomas and Voigt, Hendrik and Wehrheim, Heike}, year={2009}, pages={360--367}
}'
chicago: 'Ruhroth, Thomas, Hendrik Voigt, and Heike Wehrheim. “Measure, Diagnose,
Refactor: {A} Formal Quality Cycle for Software Models.” In 35th Euromicro
Conference on Software Engineering and Advanced Applications, {SEAA} 2009, Patras,
Greece, August 27-29, 2009, Proceedings, 360--367, 2009. https://doi.org/10.1109/SEAA.2009.39.'
ieee: 'T. Ruhroth, H. Voigt, and H. Wehrheim, “Measure, Diagnose, Refactor: {A}
Formal Quality Cycle for Software Models,” in 35th Euromicro Conference on
Software Engineering and Advanced Applications, {SEAA} 2009, Patras, Greece, August
27-29, 2009, Proceedings, 2009, pp. 360--367.'
mla: 'Ruhroth, Thomas, et al. “Measure, Diagnose, Refactor: {A} Formal Quality Cycle
for Software Models.” 35th Euromicro Conference on Software Engineering and
Advanced Applications, {SEAA} 2009, Patras, Greece, August 27-29, 2009, Proceedings,
2009, pp. 360--367, doi:10.1109/SEAA.2009.39.'
short: 'T. Ruhroth, H. Voigt, H. Wehrheim, in: 35th Euromicro Conference on Software
Engineering and Advanced Applications, {SEAA} 2009, Patras, Greece, August 27-29,
2009, Proceedings, 2009, pp. 360--367.'
date_created: 2018-06-13T09:30:27Z
date_updated: 2022-01-06T06:59:04Z
department:
- _id: '77'
doi: 10.1109/SEAA.2009.39
page: 360--367
publication: 35th Euromicro Conference on Software Engineering and Advanced Applications,
{SEAA} 2009, Patras, Greece, August 27-29, 2009, Proceedings
status: public
title: 'Measure, Diagnose, Refactor: {A} Formal Quality Cycle for Software Models'
type: conference
user_id: '29719'
year: '2009'
...
---
_id: '3202'
citation:
ama: Leuschel M, Wehrheim H, eds. Integrated Formal Methods, 7th International
Conference, {IFM} 2009, D{\"{u}}sseldorf, Germany, February 16-19, 2009. Proceedings.;
2009. doi:10.1007/978-3-642-00255-7
apa: Leuschel, M., & Wehrheim, H. (Eds.). (2009). Integrated Formal Methods,
7th International Conference, {IFM} 2009, D{\"{u}}sseldorf, Germany, February
16-19, 2009. Proceedings. https://doi.org/10.1007/978-3-642-00255-7
bibtex: '@book{Leuschel_Wehrheim_2009, series={Lecture Notes in Computer Science},
title={Integrated Formal Methods, 7th International Conference, {IFM} 2009, D{\"{u}}sseldorf,
Germany, February 16-19, 2009. Proceedings}, DOI={10.1007/978-3-642-00255-7},
year={2009}, collection={Lecture Notes in Computer Science} }'
chicago: Leuschel, Michael, and Heike Wehrheim, eds. Integrated Formal Methods,
7th International Conference, {IFM} 2009, D{\"{u}}sseldorf, Germany, February
16-19, 2009. Proceedings. Lecture Notes in Computer Science, 2009. https://doi.org/10.1007/978-3-642-00255-7.
ieee: M. Leuschel and H. Wehrheim, Eds., Integrated Formal Methods, 7th International
Conference, {IFM} 2009, D{\"{u}}sseldorf, Germany, February 16-19, 2009. Proceedings.
2009.
mla: Leuschel, Michael, and Heike Wehrheim, editors. Integrated Formal Methods,
7th International Conference, {IFM} 2009, D{\"{u}}sseldorf, Germany, February
16-19, 2009. Proceedings. 2009, doi:10.1007/978-3-642-00255-7.
short: M. Leuschel, H. Wehrheim, eds., Integrated Formal Methods, 7th International
Conference, {IFM} 2009, D{\"{u}}sseldorf, Germany, February 16-19, 2009. Proceedings,
2009.
date_created: 2018-06-13T09:44:34Z
date_updated: 2022-01-06T06:59:04Z
department:
- _id: '77'
doi: 10.1007/978-3-642-00255-7
editor:
- first_name: Michael
full_name: Leuschel, Michael
last_name: Leuschel
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
publication_identifier:
isbn:
- 978-3-642-00254-0
series_title: Lecture Notes in Computer Science
status: public
title: Integrated Formal Methods, 7th International Conference, {IFM} 2009, D{\"{u}}sseldorf,
Germany, February 16-19, 2009. Proceedings
type: conference_editor
user_id: '29719'
year: '2009'
...
---
_id: '3203'
author:
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: Wehrheim H. Refinement in the Presence of Unknowns. Electr Notes Theor Comput
Sci. 2008:255--264. doi:10.1016/j.entcs.2008.02.023
apa: Wehrheim, H. (2008). Refinement in the Presence of Unknowns. Electr. Notes
Theor. Comput. Sci., 255--264. https://doi.org/10.1016/j.entcs.2008.02.023
bibtex: '@article{Wehrheim_2008, title={Refinement in the Presence of Unknowns},
DOI={10.1016/j.entcs.2008.02.023},
journal={Electr. Notes Theor. Comput. Sci.}, author={Wehrheim, Heike}, year={2008},
pages={255--264} }'
chicago: Wehrheim, Heike. “Refinement in the Presence of Unknowns.” Electr. Notes
Theor. Comput. Sci., 2008, 255--264. https://doi.org/10.1016/j.entcs.2008.02.023.
ieee: H. Wehrheim, “Refinement in the Presence of Unknowns,” Electr. Notes Theor.
Comput. Sci., pp. 255--264, 2008.
mla: Wehrheim, Heike. “Refinement in the Presence of Unknowns.” Electr. Notes
Theor. Comput. Sci., 2008, pp. 255--264, doi:10.1016/j.entcs.2008.02.023.
short: H. Wehrheim, Electr. Notes Theor. Comput. Sci. (2008) 255--264.
date_created: 2018-06-13T09:45:42Z
date_updated: 2022-01-06T06:59:04Z
department:
- _id: '77'
doi: 10.1016/j.entcs.2008.02.023
page: 255--264
publication: Electr. Notes Theor. Comput. Sci.
status: public
title: Refinement in the Presence of Unknowns
type: journal_article
user_id: '29719'
year: '2008'
...
---
_id: '3204'
author:
- first_name: H.{-}Christian
full_name: Estler, H.{-}Christian
last_name: Estler
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: Estler H.-}Christian, Wehrheim H. Alloy as a Refactoring Checker? Electr
Notes Theor Comput Sci. 2008:331--357. doi:10.1016/j.entcs.2008.06.015
apa: Estler, H. .-}Christian, & Wehrheim, H. (2008). Alloy as a Refactoring
Checker? Electr. Notes Theor. Comput. Sci., 331--357. https://doi.org/10.1016/j.entcs.2008.06.015
bibtex: '@article{Estler_Wehrheim_2008, title={Alloy as a Refactoring Checker?},
DOI={10.1016/j.entcs.2008.06.015},
journal={Electr. Notes Theor. Comput. Sci.}, author={Estler, H.{-}Christian and
Wehrheim, Heike}, year={2008}, pages={331--357} }'
chicago: Estler, H.{-}Christian, and Heike Wehrheim. “Alloy as a Refactoring Checker?”
Electr. Notes Theor. Comput. Sci., 2008, 331--357. https://doi.org/10.1016/j.entcs.2008.06.015.
ieee: H. .-}Christian Estler and H. Wehrheim, “Alloy as a Refactoring Checker?,”
Electr. Notes Theor. Comput. Sci., pp. 331--357, 2008.
mla: Estler, H. .. }Christian, and Heike Wehrheim. “Alloy as a Refactoring Checker?”
Electr. Notes Theor. Comput. Sci., 2008, pp. 331--357, doi:10.1016/j.entcs.2008.06.015.
short: H..-}Christian Estler, H. Wehrheim, Electr. Notes Theor. Comput. Sci. (2008)
331--357.
date_created: 2018-06-13T09:47:06Z
date_updated: 2022-01-06T06:59:04Z
department:
- _id: '77'
doi: 10.1016/j.entcs.2008.06.015
page: 331--357
publication: Electr. Notes Theor. Comput. Sci.
status: public
title: Alloy as a Refactoring Checker?
type: journal_article
user_id: '29719'
year: '2008'
...
---
_id: '3205'
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. Integrating a formal method into
a software engineering process with {UML} and Java. Formal Asp Comput.
2008;(2):161--204. doi:10.1007/s00165-007-0042-7
apa: Möller, M., Olderog, E.-R., Rasch, H., & Wehrheim, H. (2008). Integrating
a formal method into a software engineering process with {UML} and Java. Formal
Asp. Comput., (2), 161--204. https://doi.org/10.1007/s00165-007-0042-7
bibtex: '@article{Möller_Olderog_Rasch_Wehrheim_2008, title={Integrating a formal
method into a software engineering process with {UML} and Java}, DOI={10.1007/s00165-007-0042-7},
number={2}, journal={Formal Asp. Comput.}, author={Möller, Michael and Olderog,
Ernst-Rüdiger and Rasch, Holger and Wehrheim, Heike}, year={2008}, pages={161--204}
}'
chicago: 'Möller, Michael, Ernst-Rüdiger Olderog, Holger Rasch, and Heike Wehrheim.
“Integrating a Formal Method into a Software Engineering Process with {UML} and
Java.” Formal Asp. Comput., no. 2 (2008): 161--204. https://doi.org/10.1007/s00165-007-0042-7.'
ieee: M. Möller, E.-R. Olderog, H. Rasch, and H. Wehrheim, “Integrating a formal
method into a software engineering process with {UML} and Java,” Formal Asp.
Comput., no. 2, pp. 161--204, 2008.
mla: Möller, Michael, et al. “Integrating a Formal Method into a Software Engineering
Process with {UML} and Java.” Formal Asp. Comput., no. 2, 2008, pp. 161--204,
doi:10.1007/s00165-007-0042-7.
short: M. Möller, E.-R. Olderog, H. Rasch, H. Wehrheim, Formal Asp. Comput. (2008)
161--204.
date_created: 2018-06-13T09:48:29Z
date_updated: 2022-01-06T06:59:04Z
department:
- _id: '77'
doi: 10.1007/s00165-007-0042-7
issue: '2'
page: 161--204
publication: Formal Asp. Comput.
status: public
title: Integrating a formal method into a software engineering process with {UML}
and Java
type: journal_article
user_id: '29719'
year: '2008'
...
---
_id: '3206'
author:
- first_name: Ingo
full_name: Brückner, Ingo
last_name: Brückner
- first_name: Klaus
full_name: Dräger, Klaus
last_name: Dräger
- first_name: Bernd
full_name: Finkbeiner, Bernd
last_name: Finkbeiner
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: Brückner I, Dräger K, Finkbeiner B, Wehrheim H. Slicing Abstractions. Fundam
Inform. 2008;(4):369--392.
apa: Brückner, I., Dräger, K., Finkbeiner, B., & Wehrheim, H. (2008). Slicing
Abstractions. Fundam. Inform., (4), 369--392.
bibtex: '@article{Brückner_Dräger_Finkbeiner_Wehrheim_2008, title={Slicing Abstractions},
number={4}, journal={Fundam. Inform.}, author={Brückner, Ingo and Dräger, Klaus
and Finkbeiner, Bernd and Wehrheim, Heike}, year={2008}, pages={369--392} }'
chicago: 'Brückner, Ingo, Klaus Dräger, Bernd Finkbeiner, and Heike Wehrheim. “Slicing
Abstractions.” Fundam. Inform., no. 4 (2008): 369--392.'
ieee: I. Brückner, K. Dräger, B. Finkbeiner, and H. Wehrheim, “Slicing Abstractions,”
Fundam. Inform., no. 4, pp. 369--392, 2008.
mla: Brückner, Ingo, et al. “Slicing Abstractions.” Fundam. Inform., no.
4, 2008, pp. 369--392.
short: I. Brückner, K. Dräger, B. Finkbeiner, H. Wehrheim, Fundam. Inform. (2008)
369--392.
date_created: 2018-06-13T09:50:07Z
date_updated: 2022-01-06T06:59:04Z
department:
- _id: '77'
issue: '4'
page: 369--392
publication: Fundam. Inform.
status: public
title: Slicing Abstractions
type: journal_article
user_id: '29719'
year: '2008'
...
---
_id: '3207'
author:
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Anneke
full_name: Kleppe, Anneke
last_name: Kleppe
- first_name: Arend
full_name: Rensink, Arend
last_name: Rensink
- first_name: Maria
full_name: Semenyak, Maria
last_name: Semenyak
- 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, Kleppe A, Rensink A, Semenyak M, Soltenborn C, Wehrheim H. From
{UML} Activities to {TAAL} - Towards Behaviour-Preserving Model Transformations.
In: Schieferdecker I, Hartman A, eds. Model Driven Architecture - Foundations
and Applications, 4th European Conference, {ECMDA-FA} 2008, Berlin, Germany, June
9-13, 2008. Proceedings. Lecture Notes in Computer Science. ; 2008:94--109.
doi:10.1007/978-3-540-69100-6_7'
apa: Engels, G., Kleppe, A., Rensink, A., Semenyak, M., Soltenborn, C., & Wehrheim,
H. (2008). From {UML} Activities to {TAAL} - Towards Behaviour-Preserving Model
Transformations. In I. Schieferdecker & A. Hartman (Eds.), Model Driven
Architecture - Foundations and Applications, 4th European Conference, {ECMDA-FA}
2008, Berlin, Germany, June 9-13, 2008. Proceedings (pp. 94--109). https://doi.org/10.1007/978-3-540-69100-6_7
bibtex: '@inproceedings{Engels_Kleppe_Rensink_Semenyak_Soltenborn_Wehrheim_2008,
series={Lecture Notes in Computer Science}, title={From {UML} Activities to {TAAL}
- Towards Behaviour-Preserving Model Transformations}, DOI={10.1007/978-3-540-69100-6_7},
booktitle={Model Driven Architecture - Foundations and Applications, 4th European
Conference, {ECMDA-FA} 2008, Berlin, Germany, June 9-13, 2008. Proceedings}, author={Engels,
Gregor and Kleppe, Anneke and Rensink, Arend and Semenyak, Maria and Soltenborn,
Christian and Wehrheim, Heike}, editor={Schieferdecker, Ina and Hartman, AlanEditors},
year={2008}, pages={94--109}, collection={Lecture Notes in Computer Science} }'
chicago: Engels, Gregor, Anneke Kleppe, Arend Rensink, Maria Semenyak, Christian
Soltenborn, and Heike Wehrheim. “From {UML} Activities to {TAAL} - Towards Behaviour-Preserving
Model Transformations.” In Model Driven Architecture - Foundations and Applications,
4th European Conference, {ECMDA-FA} 2008, Berlin, Germany, June 9-13, 2008. Proceedings,
edited by Ina Schieferdecker and Alan Hartman, 94--109. Lecture Notes in Computer
Science, 2008. https://doi.org/10.1007/978-3-540-69100-6_7.
ieee: G. Engels, A. Kleppe, A. Rensink, M. Semenyak, C. Soltenborn, and H. Wehrheim,
“From {UML} Activities to {TAAL} - Towards Behaviour-Preserving Model Transformations,”
in Model Driven Architecture - Foundations and Applications, 4th European Conference,
{ECMDA-FA} 2008, Berlin, Germany, June 9-13, 2008. Proceedings, 2008, pp.
94--109.
mla: Engels, Gregor, et al. “From {UML} Activities to {TAAL} - Towards Behaviour-Preserving
Model Transformations.” Model Driven Architecture - Foundations and Applications,
4th European Conference, {ECMDA-FA} 2008, Berlin, Germany, June 9-13, 2008. Proceedings,
edited by Ina Schieferdecker and Alan Hartman, 2008, pp. 94--109, doi:10.1007/978-3-540-69100-6_7.
short: 'G. Engels, A. Kleppe, A. Rensink, M. Semenyak, C. Soltenborn, H. Wehrheim,
in: I. Schieferdecker, A. Hartman (Eds.), Model Driven Architecture - Foundations
and Applications, 4th European Conference, {ECMDA-FA} 2008, Berlin, Germany, June
9-13, 2008. Proceedings, 2008, pp. 94--109.'
date_created: 2018-06-13T09:51:29Z
date_updated: 2022-01-06T06:59:04Z
department:
- _id: '77'
doi: 10.1007/978-3-540-69100-6_7
editor:
- first_name: Ina
full_name: Schieferdecker, Ina
last_name: Schieferdecker
- first_name: Alan
full_name: Hartman, Alan
last_name: Hartman
language:
- iso: eng
page: 94--109
publication: Model Driven Architecture - Foundations and Applications, 4th European
Conference, {ECMDA-FA} 2008, Berlin, Germany, June 9-13, 2008. Proceedings
series_title: Lecture Notes in Computer Science
status: public
title: From {UML} Activities to {TAAL} - Towards Behaviour-Preserving Model Transformations
type: conference
user_id: '14955'
year: '2008'
...
---
_id: '3208'
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. Mechanizing a Correctness Proof for a
Lock-Free Concurrent Stack. In: Barthe G, S. de Boer F, eds. Formal Methods
for Open Object-Based Distributed Systems, 10th {IFIP} {WG} 6.1 International
Conference, {FMOODS} 2008, Oslo, Norway, June 4-6, 2008, Proceedings. Lecture
Notes in Computer Science. ; 2008:78--95. doi:10.1007/978-3-540-68863-1_6'
apa: Derrick, J., Schellhorn, G., & Wehrheim, H. (2008). Mechanizing a Correctness
Proof for a Lock-Free Concurrent Stack. In G. Barthe & F. S. de Boer (Eds.),
Formal Methods for Open Object-Based Distributed Systems, 10th {IFIP} {WG}
6.1 International Conference, {FMOODS} 2008, Oslo, Norway, June 4-6, 2008, Proceedings
(pp. 78--95). https://doi.org/10.1007/978-3-540-68863-1_6
bibtex: '@inproceedings{Derrick_Schellhorn_Wehrheim_2008, series={Lecture Notes
in Computer Science}, title={Mechanizing a Correctness Proof for a Lock-Free Concurrent
Stack}, DOI={10.1007/978-3-540-68863-1_6},
booktitle={Formal Methods for Open Object-Based Distributed Systems, 10th {IFIP}
{WG} 6.1 International Conference, {FMOODS} 2008, Oslo, Norway, June 4-6, 2008,
Proceedings}, author={Derrick, John and Schellhorn, Gerhard and Wehrheim, Heike},
editor={Barthe, Gilles and S. de Boer, FrankEditors}, year={2008}, pages={78--95},
collection={Lecture Notes in Computer Science} }'
chicago: Derrick, John, Gerhard Schellhorn, and Heike Wehrheim. “Mechanizing a Correctness
Proof for a Lock-Free Concurrent Stack.” In Formal Methods for Open Object-Based
Distributed Systems, 10th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2008,
Oslo, Norway, June 4-6, 2008, Proceedings, edited by Gilles Barthe and Frank
S. de Boer, 78--95. Lecture Notes in Computer Science, 2008. https://doi.org/10.1007/978-3-540-68863-1_6.
ieee: J. Derrick, G. Schellhorn, and H. Wehrheim, “Mechanizing a Correctness Proof
for a Lock-Free Concurrent Stack,” in Formal Methods for Open Object-Based
Distributed Systems, 10th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2008,
Oslo, Norway, June 4-6, 2008, Proceedings, 2008, pp. 78--95.
mla: Derrick, John, et al. “Mechanizing a Correctness Proof for a Lock-Free Concurrent
Stack.” Formal Methods for Open Object-Based Distributed Systems, 10th {IFIP}
{WG} 6.1 International Conference, {FMOODS} 2008, Oslo, Norway, June 4-6, 2008,
Proceedings, edited by Gilles Barthe and Frank S. de Boer, 2008, pp. 78--95,
doi:10.1007/978-3-540-68863-1_6.
short: 'J. Derrick, G. Schellhorn, H. Wehrheim, in: G. Barthe, F. S. de Boer (Eds.),
Formal Methods for Open Object-Based Distributed Systems, 10th {IFIP} {WG} 6.1
International Conference, {FMOODS} 2008, Oslo, Norway, June 4-6, 2008, Proceedings,
2008, pp. 78--95.'
date_created: 2018-06-13T09:52:29Z
date_updated: 2022-01-06T06:59:04Z
department:
- _id: '77'
doi: 10.1007/978-3-540-68863-1_6
editor:
- first_name: Gilles
full_name: Barthe, Gilles
last_name: Barthe
- first_name: Frank
full_name: S. de Boer, Frank
last_name: S. de Boer
page: 78--95
publication: Formal Methods for Open Object-Based Distributed Systems, 10th {IFIP}
{WG} 6.1 International Conference, {FMOODS} 2008, Oslo, Norway, June 4-6, 2008,
Proceedings
series_title: Lecture Notes in Computer Science
status: public
title: Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack
type: conference
user_id: '29719'
year: '2008'
...
---
_id: '3209'
author:
- first_name: Björn
full_name: Metzler, Björn
last_name: Metzler
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
- first_name: Daniel
full_name: Wonisch, Daniel
last_name: Wonisch
citation:
ama: 'Metzler B, Wehrheim H, Wonisch D. Decomposition for Compositional Verification.
In: Liu S, S. E. Maibaum T, Araki K, eds. Formal Methods and Software Engineering,
10th International Conference on Formal Engineering Methods, {ICFEM} 2008, Kitakyushu-City,
Japan, October 27-31, 2008. Proceedings. Lecture Notes in Computer Science.
; 2008:105--125. doi:10.1007/978-3-540-88194-0_9'
apa: Metzler, B., Wehrheim, H., & Wonisch, D. (2008). Decomposition for Compositional
Verification. In S. Liu, T. S. E. Maibaum, & K. Araki (Eds.), Formal Methods
and Software Engineering, 10th International Conference on Formal Engineering
Methods, {ICFEM} 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings
(pp. 105--125). https://doi.org/10.1007/978-3-540-88194-0_9
bibtex: '@inproceedings{Metzler_Wehrheim_Wonisch_2008, series={Lecture Notes in
Computer Science}, title={Decomposition for Compositional Verification}, DOI={10.1007/978-3-540-88194-0_9},
booktitle={Formal Methods and Software Engineering, 10th International Conference
on Formal Engineering Methods, {ICFEM} 2008, Kitakyushu-City, Japan, October 27-31,
2008. Proceedings}, author={Metzler, Björn and Wehrheim, Heike and Wonisch, Daniel},
editor={Liu, Shaoying and S. E. Maibaum, T. and Araki, KeijiroEditors}, year={2008},
pages={105--125}, collection={Lecture Notes in Computer Science} }'
chicago: Metzler, Björn, Heike Wehrheim, and Daniel Wonisch. “Decomposition for
Compositional Verification.” In Formal Methods and Software Engineering, 10th
International Conference on Formal Engineering Methods, {ICFEM} 2008, Kitakyushu-City,
Japan, October 27-31, 2008. Proceedings, edited by Shaoying Liu, T. S. E.
Maibaum, and Keijiro Araki, 105--125. Lecture Notes in Computer Science, 2008.
https://doi.org/10.1007/978-3-540-88194-0_9.
ieee: B. Metzler, H. Wehrheim, and D. Wonisch, “Decomposition for Compositional
Verification,” in Formal Methods and Software Engineering, 10th International
Conference on Formal Engineering Methods, {ICFEM} 2008, Kitakyushu-City, Japan,
October 27-31, 2008. Proceedings, 2008, pp. 105--125.
mla: Metzler, Björn, et al. “Decomposition for Compositional Verification.” Formal
Methods and Software Engineering, 10th International Conference on Formal Engineering
Methods, {ICFEM} 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings,
edited by Shaoying Liu et al., 2008, pp. 105--125, doi:10.1007/978-3-540-88194-0_9.
short: 'B. Metzler, H. Wehrheim, D. Wonisch, in: S. Liu, T. S. E. Maibaum, K. Araki
(Eds.), Formal Methods and Software Engineering, 10th International Conference
on Formal Engineering Methods, {ICFEM} 2008, Kitakyushu-City, Japan, October 27-31,
2008. Proceedings, 2008, pp. 105--125.'
date_created: 2018-06-13T09:53:43Z
date_updated: 2022-01-06T06:59:04Z
department:
- _id: '77'
doi: 10.1007/978-3-540-88194-0_9
editor:
- first_name: Shaoying
full_name: Liu, Shaoying
last_name: Liu
- first_name: T.
full_name: S. E. Maibaum, T.
last_name: S. E. Maibaum
- first_name: Keijiro
full_name: Araki, Keijiro
last_name: Araki
page: 105--125
publication: Formal Methods and Software Engineering, 10th International Conference
on Formal Engineering Methods, {ICFEM} 2008, Kitakyushu-City, Japan, October 27-31,
2008. Proceedings
series_title: Lecture Notes in Computer Science
status: public
title: Decomposition for Compositional Verification
type: conference
user_id: '29719'
year: '2008'
...
---
_id: '3210'
author:
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'Wehrheim H. Bounded Model Checking for Partial Kripke Structures. In: S. Fitzgerald
J, Elisabeth Haxthausen A, Yenig{\"{u}}n H, eds. Theoretical Aspects of Computing
- {ICTAC} 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3,
2008. Proceedings. Lecture Notes in Computer Science. ; 2008:380--394. doi:10.1007/978-3-540-85762-4_26'
apa: Wehrheim, H. (2008). Bounded Model Checking for Partial Kripke Structures.
In J. S. Fitzgerald, A. Elisabeth Haxthausen, & H. Yenig{\"{u}}n (Eds.), Theoretical
Aspects of Computing - {ICTAC} 2008, 5th International Colloquium, Istanbul, Turkey,
September 1-3, 2008. Proceedings (pp. 380--394). https://doi.org/10.1007/978-3-540-85762-4_26
bibtex: '@inproceedings{Wehrheim_2008, series={Lecture Notes in Computer Science},
title={Bounded Model Checking for Partial Kripke Structures}, DOI={10.1007/978-3-540-85762-4_26},
booktitle={Theoretical Aspects of Computing - {ICTAC} 2008, 5th International
Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings}, author={Wehrheim,
Heike}, editor={S. Fitzgerald, John and Elisabeth Haxthausen, Anne and Yenig{\"{u}}n,
H{\"{u}}sn{\"{u}}Editors}, year={2008}, pages={380--394}, collection={Lecture
Notes in Computer Science} }'
chicago: Wehrheim, Heike. “Bounded Model Checking for Partial Kripke Structures.”
In Theoretical Aspects of Computing - {ICTAC} 2008, 5th International Colloquium,
Istanbul, Turkey, September 1-3, 2008. Proceedings, edited by John S. Fitzgerald,
Anne Elisabeth Haxthausen, and H{\"{u}}sn{\"{u}} Yenig{\"{u}}n, 380--394. Lecture
Notes in Computer Science, 2008. https://doi.org/10.1007/978-3-540-85762-4_26.
ieee: H. Wehrheim, “Bounded Model Checking for Partial Kripke Structures,” in Theoretical
Aspects of Computing - {ICTAC} 2008, 5th International Colloquium, Istanbul, Turkey,
September 1-3, 2008. Proceedings, 2008, pp. 380--394.
mla: Wehrheim, Heike. “Bounded Model Checking for Partial Kripke Structures.” Theoretical
Aspects of Computing - {ICTAC} 2008, 5th International Colloquium, Istanbul, Turkey,
September 1-3, 2008. Proceedings, edited by John S. Fitzgerald et al., 2008,
pp. 380--394, doi:10.1007/978-3-540-85762-4_26.
short: 'H. Wehrheim, in: J. S. Fitzgerald, A. Elisabeth Haxthausen, H. Yenig{\"{u}}n
(Eds.), Theoretical Aspects of Computing - {ICTAC} 2008, 5th International Colloquium,
Istanbul, Turkey, September 1-3, 2008. Proceedings, 2008, pp. 380--394.'
date_created: 2018-06-13T09:54:58Z
date_updated: 2022-01-06T06:59:05Z
department:
- _id: '77'
doi: 10.1007/978-3-540-85762-4_26
editor:
- first_name: John
full_name: S. Fitzgerald, John
last_name: S. Fitzgerald
- first_name: Anne
full_name: Elisabeth Haxthausen, Anne
last_name: Elisabeth Haxthausen
- first_name: H{\"{u}}sn{\"{u}}
full_name: Yenig{\"{u}}n, H{\"{u}}sn{\"{u}}
last_name: Yenig{\"{u}}n
page: 380--394
publication: Theoretical Aspects of Computing - {ICTAC} 2008, 5th International Colloquium,
Istanbul, Turkey, September 1-3, 2008. Proceedings
series_title: Lecture Notes in Computer Science
status: public
title: Bounded Model Checking for Partial Kripke Structures
type: conference
user_id: '29719'
year: '2008'
...
---
_id: '3211'
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. On using data abstractions for model checking refinements.
Acta Inf. 2007;(1):41--71. doi:10.1007/s00236-007-0042-3
apa: Derrick, J., & Wehrheim, H. (2007). On using data abstractions for model
checking refinements. Acta Inf., (1), 41--71. https://doi.org/10.1007/s00236-007-0042-3
bibtex: '@article{Derrick_Wehrheim_2007, title={On using data abstractions for model
checking refinements}, DOI={10.1007/s00236-007-0042-3},
number={1}, journal={Acta Inf.}, author={Derrick, John and Wehrheim, Heike}, year={2007},
pages={41--71} }'
chicago: 'Derrick, John, and Heike Wehrheim. “On Using Data Abstractions for Model
Checking Refinements.” Acta Inf., no. 1 (2007): 41--71. https://doi.org/10.1007/s00236-007-0042-3.'
ieee: J. Derrick and H. Wehrheim, “On using data abstractions for model checking
refinements,” Acta Inf., no. 1, pp. 41--71, 2007.
mla: Derrick, John, and Heike Wehrheim. “On Using Data Abstractions for Model Checking
Refinements.” Acta Inf., no. 1, 2007, pp. 41--71, doi:10.1007/s00236-007-0042-3.
short: J. Derrick, H. Wehrheim, Acta Inf. (2007) 41--71.
date_created: 2018-06-13T09:56:17Z
date_updated: 2022-01-06T06:59:05Z
department:
- _id: '77'
doi: 10.1007/s00236-007-0042-3
issue: '1'
page: 41--71
publication: Acta Inf.
status: public
title: On using data abstractions for model checking refinements
type: journal_article
user_id: '29719'
year: '2007'
...
---
_id: '3212'
author:
- 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: Metzler B, Wehrheim H. Extending a Component Specification Language with Time.
Electr Notes Theor Comput Sci. 2007;(2):47--67. doi:10.1016/j.entcs.2006.02.031
apa: Metzler, B., & Wehrheim, H. (2007). Extending a Component Specification
Language with Time. Electr. Notes Theor. Comput. Sci., (2), 47--67. https://doi.org/10.1016/j.entcs.2006.02.031
bibtex: '@article{Metzler_Wehrheim_2007, title={Extending a Component Specification
Language with Time}, DOI={10.1016/j.entcs.2006.02.031},
number={2}, journal={Electr. Notes Theor. Comput. Sci.}, author={Metzler, Björn
and Wehrheim, Heike}, year={2007}, pages={47--67} }'
chicago: 'Metzler, Björn, and Heike Wehrheim. “Extending a Component Specification
Language with Time.” Electr. Notes Theor. Comput. Sci., no. 2 (2007): 47--67.
https://doi.org/10.1016/j.entcs.2006.02.031.'
ieee: B. Metzler and H. Wehrheim, “Extending a Component Specification Language
with Time,” Electr. Notes Theor. Comput. Sci., no. 2, pp. 47--67, 2007.
mla: Metzler, Björn, and Heike Wehrheim. “Extending a Component Specification Language
with Time.” Electr. Notes Theor. Comput. Sci., no. 2, 2007, pp. 47--67,
doi:10.1016/j.entcs.2006.02.031.
short: B. Metzler, H. Wehrheim, Electr. Notes Theor. Comput. Sci. (2007) 47--67.
date_created: 2018-06-13T09:57:37Z
date_updated: 2022-01-06T06:59:05Z
department:
- _id: '77'
doi: 10.1016/j.entcs.2006.02.031
issue: '2'
page: 47--67
publication: Electr. Notes Theor. Comput. Sci.
status: public
title: Extending a Component Specification Language with Time
type: journal_article
user_id: '29719'
year: '2007'
...
---
_id: '3213'
author:
- first_name: H.{-}Christian
full_name: Estler, H.{-}Christian
last_name: Estler
- first_name: Thomas
full_name: Ruhroth, Thomas
last_name: Ruhroth
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: Estler H.-}Christian, Ruhroth T, Wehrheim H. Modelchecking Correctness of Refactorings
- Some Experiments. Electr Notes Theor Comput Sci. 2007:3--17. doi:10.1016/j.entcs.2006.08.041
apa: Estler, H. .-}Christian, Ruhroth, T., & Wehrheim, H. (2007). Modelchecking
Correctness of Refactorings - Some Experiments. Electr. Notes Theor. Comput.
Sci., 3--17. https://doi.org/10.1016/j.entcs.2006.08.041
bibtex: '@article{Estler_Ruhroth_Wehrheim_2007, title={Modelchecking Correctness
of Refactorings - Some Experiments}, DOI={10.1016/j.entcs.2006.08.041},
journal={Electr. Notes Theor. Comput. Sci.}, author={Estler, H.{-}Christian and
Ruhroth, Thomas and Wehrheim, Heike}, year={2007}, pages={3--17} }'
chicago: Estler, H.{-}Christian, Thomas Ruhroth, and Heike Wehrheim. “Modelchecking
Correctness of Refactorings - Some Experiments.” Electr. Notes Theor. Comput.
Sci., 2007, 3--17. https://doi.org/10.1016/j.entcs.2006.08.041.
ieee: H. .-}Christian Estler, T. Ruhroth, and H. Wehrheim, “Modelchecking Correctness
of Refactorings - Some Experiments,” Electr. Notes Theor. Comput. Sci.,
pp. 3--17, 2007.
mla: Estler, H. .. }Christian, et al. “Modelchecking Correctness of Refactorings
- Some Experiments.” Electr. Notes Theor. Comput. Sci., 2007, pp. 3--17,
doi:10.1016/j.entcs.2006.08.041.
short: H..-}Christian Estler, T. Ruhroth, H. Wehrheim, Electr. Notes Theor. Comput.
Sci. (2007) 3--17.
date_created: 2018-06-13T09:59:12Z
date_updated: 2022-01-06T06:59:05Z
department:
- _id: '77'
doi: 10.1016/j.entcs.2006.08.041
page: 3--17
publication: Electr. Notes Theor. Comput. Sci.
status: public
title: Modelchecking Correctness of Refactorings - Some Experiments
type: journal_article
user_id: '29719'
year: '2007'
...
---
_id: '3214'
author:
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Baris
full_name: Güldali, Baris
last_name: Güldali
- 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, Güldali B, Soltenborn C, Wehrheim H. Assuring Consistency of Business
Process Models and Web Services Using Visual Contracts. In: Sch{\"{u}}rr A, Nagl
M, Z{\"{u}}ndorf A, eds. Applications of Graph Transformations with Industrial
Relevance, Third International Symposium, {AGTIVE} 2007, Kassel, Germany, October
10-12, 2007, Revised Selected and Invited Papers. Lecture Notes in Computer
Science. ; 2007:17--31. doi:10.1007/978-3-540-89020-1_2'
apa: Engels, G., Güldali, B., Soltenborn, C., & Wehrheim, H. (2007). Assuring
Consistency of Business Process Models and Web Services Using Visual Contracts.
In A. Sch{\"{u}}rr, M. Nagl, & A. Z{\"{u}}ndorf (Eds.), Applications of
Graph Transformations with Industrial Relevance, Third International Symposium,
{AGTIVE} 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited
Papers (pp. 17--31). https://doi.org/10.1007/978-3-540-89020-1_2
bibtex: '@inproceedings{Engels_Güldali_Soltenborn_Wehrheim_2007, series={Lecture
Notes in Computer Science}, title={Assuring Consistency of Business Process Models
and Web Services Using Visual Contracts}, DOI={10.1007/978-3-540-89020-1_2},
booktitle={Applications of Graph Transformations with Industrial Relevance, Third
International Symposium, {AGTIVE} 2007, Kassel, Germany, October 10-12, 2007,
Revised Selected and Invited Papers}, author={Engels, Gregor and Güldali, Baris
and Soltenborn, Christian and Wehrheim, Heike}, editor={Sch{\"{u}}rr, Andy and
Nagl, Manfred and Z{\"{u}}ndorf, AlbertEditors}, year={2007}, pages={17--31},
collection={Lecture Notes in Computer Science} }'
chicago: Engels, Gregor, Baris Güldali, Christian Soltenborn, and Heike Wehrheim.
“Assuring Consistency of Business Process Models and Web Services Using Visual
Contracts.” In Applications of Graph Transformations with Industrial Relevance,
Third International Symposium, {AGTIVE} 2007, Kassel, Germany, October 10-12,
2007, Revised Selected and Invited Papers, edited by Andy Sch{\"{u}}rr, Manfred
Nagl, and Albert Z{\"{u}}ndorf, 17--31. Lecture Notes in Computer Science, 2007.
https://doi.org/10.1007/978-3-540-89020-1_2.
ieee: G. Engels, B. Güldali, C. Soltenborn, and H. Wehrheim, “Assuring Consistency
of Business Process Models and Web Services Using Visual Contracts,” in Applications
of Graph Transformations with Industrial Relevance, Third International Symposium,
{AGTIVE} 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited
Papers, 2007, pp. 17--31.
mla: Engels, Gregor, et al. “Assuring Consistency of Business Process Models and
Web Services Using Visual Contracts.” Applications of Graph Transformations
with Industrial Relevance, Third International Symposium, {AGTIVE} 2007, Kassel,
Germany, October 10-12, 2007, Revised Selected and Invited Papers, edited
by Andy Sch{\"{u}}rr et al., 2007, pp. 17--31, doi:10.1007/978-3-540-89020-1_2.
short: 'G. Engels, B. Güldali, C. Soltenborn, H. Wehrheim, in: A. Sch{\"{u}}rr,
M. Nagl, A. Z{\"{u}}ndorf (Eds.), Applications of Graph Transformations with Industrial
Relevance, Third International Symposium, {AGTIVE} 2007, Kassel, Germany, October
10-12, 2007, Revised Selected and Invited Papers, 2007, pp. 17--31.'
date_created: 2018-06-13T10:00:14Z
date_updated: 2022-01-06T06:59:05Z
department:
- _id: '77'
doi: 10.1007/978-3-540-89020-1_2
editor:
- first_name: Andy
full_name: Sch{\"{u}}rr, Andy
last_name: Sch{\"{u}}rr
- first_name: Manfred
full_name: Nagl, Manfred
last_name: Nagl
- first_name: Albert
full_name: Z{\"{u}}ndorf, Albert
last_name: Z{\"{u}}ndorf
language:
- iso: eng
page: 17--31
publication: Applications of Graph Transformations with Industrial Relevance, Third
International Symposium, {AGTIVE} 2007, Kassel, Germany, October 10-12, 2007, Revised
Selected and Invited Papers
series_title: Lecture Notes in Computer Science
status: public
title: Assuring Consistency of Business Process Models and Web Services Using Visual
Contracts
type: conference
user_id: '14955'
year: '2007'
...
---
_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'
...