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