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