---
_id: '3205'
author:
- first_name: Michael
full_name: Möller, Michael
last_name: Möller
- first_name: Ernst-Rüdiger
full_name: Olderog, Ernst-Rüdiger
last_name: Olderog
- first_name: Holger
full_name: Rasch, Holger
last_name: Rasch
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: Möller M, Olderog E-R, Rasch H, Wehrheim H. Integrating a formal method into
a software engineering process with {UML} and Java. Formal Asp Comput.
2008;(2):161--204. doi:10.1007/s00165-007-0042-7
apa: Möller, M., Olderog, E.-R., Rasch, H., & Wehrheim, H. (2008). Integrating
a formal method into a software engineering process with {UML} and Java. Formal
Asp. Comput., (2), 161--204. https://doi.org/10.1007/s00165-007-0042-7
bibtex: '@article{Möller_Olderog_Rasch_Wehrheim_2008, title={Integrating a formal
method into a software engineering process with {UML} and Java}, DOI={10.1007/s00165-007-0042-7},
number={2}, journal={Formal Asp. Comput.}, author={Möller, Michael and Olderog,
Ernst-Rüdiger and Rasch, Holger and Wehrheim, Heike}, year={2008}, pages={161--204}
}'
chicago: 'Möller, Michael, Ernst-Rüdiger Olderog, Holger Rasch, and Heike Wehrheim.
“Integrating a Formal Method into a Software Engineering Process with {UML} and
Java.” Formal Asp. Comput., no. 2 (2008): 161--204. https://doi.org/10.1007/s00165-007-0042-7.'
ieee: M. Möller, E.-R. Olderog, H. Rasch, and H. Wehrheim, “Integrating a formal
method into a software engineering process with {UML} and Java,” Formal Asp.
Comput., no. 2, pp. 161--204, 2008.
mla: Möller, Michael, et al. “Integrating a Formal Method into a Software Engineering
Process with {UML} and Java.” Formal Asp. Comput., no. 2, 2008, pp. 161--204,
doi:10.1007/s00165-007-0042-7.
short: M. Möller, E.-R. Olderog, H. Rasch, H. Wehrheim, Formal Asp. Comput. (2008)
161--204.
date_created: 2018-06-13T09:48:29Z
date_updated: 2022-01-06T06:59:04Z
department:
- _id: '77'
doi: 10.1007/s00165-007-0042-7
issue: '2'
page: 161--204
publication: Formal Asp. Comput.
status: public
title: Integrating a formal method into a software engineering process with {UML}
and Java
type: journal_article
user_id: '29719'
year: '2008'
...
---
_id: '3206'
author:
- first_name: Ingo
full_name: Brückner, Ingo
last_name: Brückner
- first_name: Klaus
full_name: Dräger, Klaus
last_name: Dräger
- first_name: Bernd
full_name: Finkbeiner, Bernd
last_name: Finkbeiner
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: Brückner I, Dräger K, Finkbeiner B, Wehrheim H. Slicing Abstractions. Fundam
Inform. 2008;(4):369--392.
apa: Brückner, I., Dräger, K., Finkbeiner, B., & Wehrheim, H. (2008). Slicing
Abstractions. Fundam. Inform., (4), 369--392.
bibtex: '@article{Brückner_Dräger_Finkbeiner_Wehrheim_2008, title={Slicing Abstractions},
number={4}, journal={Fundam. Inform.}, author={Brückner, Ingo and Dräger, Klaus
and Finkbeiner, Bernd and Wehrheim, Heike}, year={2008}, pages={369--392} }'
chicago: 'Brückner, Ingo, Klaus Dräger, Bernd Finkbeiner, and Heike Wehrheim. “Slicing
Abstractions.” Fundam. Inform., no. 4 (2008): 369--392.'
ieee: I. Brückner, K. Dräger, B. Finkbeiner, and H. Wehrheim, “Slicing Abstractions,”
Fundam. Inform., no. 4, pp. 369--392, 2008.
mla: Brückner, Ingo, et al. “Slicing Abstractions.” Fundam. Inform., no.
4, 2008, pp. 369--392.
short: I. Brückner, K. Dräger, B. Finkbeiner, H. Wehrheim, Fundam. Inform. (2008)
369--392.
date_created: 2018-06-13T09:50:07Z
date_updated: 2022-01-06T06:59:04Z
department:
- _id: '77'
issue: '4'
page: 369--392
publication: Fundam. Inform.
status: public
title: Slicing Abstractions
type: journal_article
user_id: '29719'
year: '2008'
...
---
_id: '3207'
author:
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Anneke
full_name: Kleppe, Anneke
last_name: Kleppe
- first_name: Arend
full_name: Rensink, Arend
last_name: Rensink
- first_name: Maria
full_name: Semenyak, Maria
last_name: Semenyak
- first_name: Christian
full_name: Soltenborn, Christian
id: '1737'
last_name: Soltenborn
orcid: 0000-0002-0342-8227
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'Engels G, Kleppe A, Rensink A, Semenyak M, Soltenborn C, Wehrheim H. From
{UML} Activities to {TAAL} - Towards Behaviour-Preserving Model Transformations.
In: Schieferdecker I, Hartman A, eds. Model Driven Architecture - Foundations
and Applications, 4th European Conference, {ECMDA-FA} 2008, Berlin, Germany, June
9-13, 2008. Proceedings. Lecture Notes in Computer Science. ; 2008:94--109.
doi:10.1007/978-3-540-69100-6_7'
apa: Engels, G., Kleppe, A., Rensink, A., Semenyak, M., Soltenborn, C., & Wehrheim,
H. (2008). From {UML} Activities to {TAAL} - Towards Behaviour-Preserving Model
Transformations. In I. Schieferdecker & A. Hartman (Eds.), Model Driven
Architecture - Foundations and Applications, 4th European Conference, {ECMDA-FA}
2008, Berlin, Germany, June 9-13, 2008. Proceedings (pp. 94--109). https://doi.org/10.1007/978-3-540-69100-6_7
bibtex: '@inproceedings{Engels_Kleppe_Rensink_Semenyak_Soltenborn_Wehrheim_2008,
series={Lecture Notes in Computer Science}, title={From {UML} Activities to {TAAL}
- Towards Behaviour-Preserving Model Transformations}, DOI={10.1007/978-3-540-69100-6_7},
booktitle={Model Driven Architecture - Foundations and Applications, 4th European
Conference, {ECMDA-FA} 2008, Berlin, Germany, June 9-13, 2008. Proceedings}, author={Engels,
Gregor and Kleppe, Anneke and Rensink, Arend and Semenyak, Maria and Soltenborn,
Christian and Wehrheim, Heike}, editor={Schieferdecker, Ina and Hartman, AlanEditors},
year={2008}, pages={94--109}, collection={Lecture Notes in Computer Science} }'
chicago: Engels, Gregor, Anneke Kleppe, Arend Rensink, Maria Semenyak, Christian
Soltenborn, and Heike Wehrheim. “From {UML} Activities to {TAAL} - Towards Behaviour-Preserving
Model Transformations.” In Model Driven Architecture - Foundations and Applications,
4th European Conference, {ECMDA-FA} 2008, Berlin, Germany, June 9-13, 2008. Proceedings,
edited by Ina Schieferdecker and Alan Hartman, 94--109. Lecture Notes in Computer
Science, 2008. https://doi.org/10.1007/978-3-540-69100-6_7.
ieee: G. Engels, A. Kleppe, A. Rensink, M. Semenyak, C. Soltenborn, and H. Wehrheim,
“From {UML} Activities to {TAAL} - Towards Behaviour-Preserving Model Transformations,”
in Model Driven Architecture - Foundations and Applications, 4th European Conference,
{ECMDA-FA} 2008, Berlin, Germany, June 9-13, 2008. Proceedings, 2008, pp.
94--109.
mla: Engels, Gregor, et al. “From {UML} Activities to {TAAL} - Towards Behaviour-Preserving
Model Transformations.” Model Driven Architecture - Foundations and Applications,
4th European Conference, {ECMDA-FA} 2008, Berlin, Germany, June 9-13, 2008. Proceedings,
edited by Ina Schieferdecker and Alan Hartman, 2008, pp. 94--109, doi:10.1007/978-3-540-69100-6_7.
short: 'G. Engels, A. Kleppe, A. Rensink, M. Semenyak, C. Soltenborn, H. Wehrheim,
in: I. Schieferdecker, A. Hartman (Eds.), Model Driven Architecture - Foundations
and Applications, 4th European Conference, {ECMDA-FA} 2008, Berlin, Germany, June
9-13, 2008. Proceedings, 2008, pp. 94--109.'
date_created: 2018-06-13T09:51:29Z
date_updated: 2022-01-06T06:59:04Z
department:
- _id: '77'
doi: 10.1007/978-3-540-69100-6_7
editor:
- first_name: Ina
full_name: Schieferdecker, Ina
last_name: Schieferdecker
- first_name: Alan
full_name: Hartman, Alan
last_name: Hartman
language:
- iso: eng
page: 94--109
publication: Model Driven Architecture - Foundations and Applications, 4th European
Conference, {ECMDA-FA} 2008, Berlin, Germany, June 9-13, 2008. Proceedings
series_title: Lecture Notes in Computer Science
status: public
title: From {UML} Activities to {TAAL} - Towards Behaviour-Preserving Model Transformations
type: conference
user_id: '14955'
year: '2008'
...
---
_id: '3208'
author:
- first_name: John
full_name: Derrick, John
last_name: Derrick
- first_name: Gerhard
full_name: Schellhorn, Gerhard
last_name: Schellhorn
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'Derrick J, Schellhorn G, Wehrheim H. Mechanizing a Correctness Proof for a
Lock-Free Concurrent Stack. In: Barthe G, S. de Boer F, eds. Formal Methods
for Open Object-Based Distributed Systems, 10th {IFIP} {WG} 6.1 International
Conference, {FMOODS} 2008, Oslo, Norway, June 4-6, 2008, Proceedings. Lecture
Notes in Computer Science. ; 2008:78--95. doi:10.1007/978-3-540-68863-1_6'
apa: Derrick, J., Schellhorn, G., & Wehrheim, H. (2008). Mechanizing a Correctness
Proof for a Lock-Free Concurrent Stack. In G. Barthe & F. S. de Boer (Eds.),
Formal Methods for Open Object-Based Distributed Systems, 10th {IFIP} {WG}
6.1 International Conference, {FMOODS} 2008, Oslo, Norway, June 4-6, 2008, Proceedings
(pp. 78--95). https://doi.org/10.1007/978-3-540-68863-1_6
bibtex: '@inproceedings{Derrick_Schellhorn_Wehrheim_2008, series={Lecture Notes
in Computer Science}, title={Mechanizing a Correctness Proof for a Lock-Free Concurrent
Stack}, DOI={10.1007/978-3-540-68863-1_6},
booktitle={Formal Methods for Open Object-Based Distributed Systems, 10th {IFIP}
{WG} 6.1 International Conference, {FMOODS} 2008, Oslo, Norway, June 4-6, 2008,
Proceedings}, author={Derrick, John and Schellhorn, Gerhard and Wehrheim, Heike},
editor={Barthe, Gilles and S. de Boer, FrankEditors}, year={2008}, pages={78--95},
collection={Lecture Notes in Computer Science} }'
chicago: Derrick, John, Gerhard Schellhorn, and Heike Wehrheim. “Mechanizing a Correctness
Proof for a Lock-Free Concurrent Stack.” In Formal Methods for Open Object-Based
Distributed Systems, 10th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2008,
Oslo, Norway, June 4-6, 2008, Proceedings, edited by Gilles Barthe and Frank
S. de Boer, 78--95. Lecture Notes in Computer Science, 2008. https://doi.org/10.1007/978-3-540-68863-1_6.
ieee: J. Derrick, G. Schellhorn, and H. Wehrheim, “Mechanizing a Correctness Proof
for a Lock-Free Concurrent Stack,” in Formal Methods for Open Object-Based
Distributed Systems, 10th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2008,
Oslo, Norway, June 4-6, 2008, Proceedings, 2008, pp. 78--95.
mla: Derrick, John, et al. “Mechanizing a Correctness Proof for a Lock-Free Concurrent
Stack.” Formal Methods for Open Object-Based Distributed Systems, 10th {IFIP}
{WG} 6.1 International Conference, {FMOODS} 2008, Oslo, Norway, June 4-6, 2008,
Proceedings, edited by Gilles Barthe and Frank S. de Boer, 2008, pp. 78--95,
doi:10.1007/978-3-540-68863-1_6.
short: 'J. Derrick, G. Schellhorn, H. Wehrheim, in: G. Barthe, F. S. de Boer (Eds.),
Formal Methods for Open Object-Based Distributed Systems, 10th {IFIP} {WG} 6.1
International Conference, {FMOODS} 2008, Oslo, Norway, June 4-6, 2008, Proceedings,
2008, pp. 78--95.'
date_created: 2018-06-13T09:52:29Z
date_updated: 2022-01-06T06:59:04Z
department:
- _id: '77'
doi: 10.1007/978-3-540-68863-1_6
editor:
- first_name: Gilles
full_name: Barthe, Gilles
last_name: Barthe
- first_name: Frank
full_name: S. de Boer, Frank
last_name: S. de Boer
page: 78--95
publication: Formal Methods for Open Object-Based Distributed Systems, 10th {IFIP}
{WG} 6.1 International Conference, {FMOODS} 2008, Oslo, Norway, June 4-6, 2008,
Proceedings
series_title: Lecture Notes in Computer Science
status: public
title: Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack
type: conference
user_id: '29719'
year: '2008'
...
---
_id: '3209'
author:
- first_name: Björn
full_name: Metzler, Björn
last_name: Metzler
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
- first_name: Daniel
full_name: Wonisch, Daniel
last_name: Wonisch
citation:
ama: 'Metzler B, Wehrheim H, Wonisch D. Decomposition for Compositional Verification.
In: Liu S, S. E. Maibaum T, Araki K, eds. Formal Methods and Software Engineering,
10th International Conference on Formal Engineering Methods, {ICFEM} 2008, Kitakyushu-City,
Japan, October 27-31, 2008. Proceedings. Lecture Notes in Computer Science.
; 2008:105--125. doi:10.1007/978-3-540-88194-0_9'
apa: Metzler, B., Wehrheim, H., & Wonisch, D. (2008). Decomposition for Compositional
Verification. In S. Liu, T. S. E. Maibaum, & K. Araki (Eds.), Formal Methods
and Software Engineering, 10th International Conference on Formal Engineering
Methods, {ICFEM} 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings
(pp. 105--125). https://doi.org/10.1007/978-3-540-88194-0_9
bibtex: '@inproceedings{Metzler_Wehrheim_Wonisch_2008, series={Lecture Notes in
Computer Science}, title={Decomposition for Compositional Verification}, DOI={10.1007/978-3-540-88194-0_9},
booktitle={Formal Methods and Software Engineering, 10th International Conference
on Formal Engineering Methods, {ICFEM} 2008, Kitakyushu-City, Japan, October 27-31,
2008. Proceedings}, author={Metzler, Björn and Wehrheim, Heike and Wonisch, Daniel},
editor={Liu, Shaoying and S. E. Maibaum, T. and Araki, KeijiroEditors}, year={2008},
pages={105--125}, collection={Lecture Notes in Computer Science} }'
chicago: Metzler, Björn, Heike Wehrheim, and Daniel Wonisch. “Decomposition for
Compositional Verification.” In Formal Methods and Software Engineering, 10th
International Conference on Formal Engineering Methods, {ICFEM} 2008, Kitakyushu-City,
Japan, October 27-31, 2008. Proceedings, edited by Shaoying Liu, T. S. E.
Maibaum, and Keijiro Araki, 105--125. Lecture Notes in Computer Science, 2008.
https://doi.org/10.1007/978-3-540-88194-0_9.
ieee: B. Metzler, H. Wehrheim, and D. Wonisch, “Decomposition for Compositional
Verification,” in Formal Methods and Software Engineering, 10th International
Conference on Formal Engineering Methods, {ICFEM} 2008, Kitakyushu-City, Japan,
October 27-31, 2008. Proceedings, 2008, pp. 105--125.
mla: Metzler, Björn, et al. “Decomposition for Compositional Verification.” Formal
Methods and Software Engineering, 10th International Conference on Formal Engineering
Methods, {ICFEM} 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings,
edited by Shaoying Liu et al., 2008, pp. 105--125, doi:10.1007/978-3-540-88194-0_9.
short: 'B. Metzler, H. Wehrheim, D. Wonisch, in: S. Liu, T. S. E. Maibaum, K. Araki
(Eds.), Formal Methods and Software Engineering, 10th International Conference
on Formal Engineering Methods, {ICFEM} 2008, Kitakyushu-City, Japan, October 27-31,
2008. Proceedings, 2008, pp. 105--125.'
date_created: 2018-06-13T09:53:43Z
date_updated: 2022-01-06T06:59:04Z
department:
- _id: '77'
doi: 10.1007/978-3-540-88194-0_9
editor:
- first_name: Shaoying
full_name: Liu, Shaoying
last_name: Liu
- first_name: T.
full_name: S. E. Maibaum, T.
last_name: S. E. Maibaum
- first_name: Keijiro
full_name: Araki, Keijiro
last_name: Araki
page: 105--125
publication: Formal Methods and Software Engineering, 10th International Conference
on Formal Engineering Methods, {ICFEM} 2008, Kitakyushu-City, Japan, October 27-31,
2008. Proceedings
series_title: Lecture Notes in Computer Science
status: public
title: Decomposition for Compositional Verification
type: conference
user_id: '29719'
year: '2008'
...
---
_id: '3210'
author:
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'Wehrheim H. Bounded Model Checking for Partial Kripke Structures. In: S. Fitzgerald
J, Elisabeth Haxthausen A, Yenig{\"{u}}n H, eds. Theoretical Aspects of Computing
- {ICTAC} 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3,
2008. Proceedings. Lecture Notes in Computer Science. ; 2008:380--394. doi:10.1007/978-3-540-85762-4_26'
apa: Wehrheim, H. (2008). Bounded Model Checking for Partial Kripke Structures.
In J. S. Fitzgerald, A. Elisabeth Haxthausen, & H. Yenig{\"{u}}n (Eds.), Theoretical
Aspects of Computing - {ICTAC} 2008, 5th International Colloquium, Istanbul, Turkey,
September 1-3, 2008. Proceedings (pp. 380--394). https://doi.org/10.1007/978-3-540-85762-4_26
bibtex: '@inproceedings{Wehrheim_2008, series={Lecture Notes in Computer Science},
title={Bounded Model Checking for Partial Kripke Structures}, DOI={10.1007/978-3-540-85762-4_26},
booktitle={Theoretical Aspects of Computing - {ICTAC} 2008, 5th International
Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings}, author={Wehrheim,
Heike}, editor={S. Fitzgerald, John and Elisabeth Haxthausen, Anne and Yenig{\"{u}}n,
H{\"{u}}sn{\"{u}}Editors}, year={2008}, pages={380--394}, collection={Lecture
Notes in Computer Science} }'
chicago: Wehrheim, Heike. “Bounded Model Checking for Partial Kripke Structures.”
In Theoretical Aspects of Computing - {ICTAC} 2008, 5th International Colloquium,
Istanbul, Turkey, September 1-3, 2008. Proceedings, edited by John S. Fitzgerald,
Anne Elisabeth Haxthausen, and H{\"{u}}sn{\"{u}} Yenig{\"{u}}n, 380--394. Lecture
Notes in Computer Science, 2008. https://doi.org/10.1007/978-3-540-85762-4_26.
ieee: H. Wehrheim, “Bounded Model Checking for Partial Kripke Structures,” in Theoretical
Aspects of Computing - {ICTAC} 2008, 5th International Colloquium, Istanbul, Turkey,
September 1-3, 2008. Proceedings, 2008, pp. 380--394.
mla: Wehrheim, Heike. “Bounded Model Checking for Partial Kripke Structures.” Theoretical
Aspects of Computing - {ICTAC} 2008, 5th International Colloquium, Istanbul, Turkey,
September 1-3, 2008. Proceedings, edited by John S. Fitzgerald et al., 2008,
pp. 380--394, doi:10.1007/978-3-540-85762-4_26.
short: 'H. Wehrheim, in: J. S. Fitzgerald, A. Elisabeth Haxthausen, H. Yenig{\"{u}}n
(Eds.), Theoretical Aspects of Computing - {ICTAC} 2008, 5th International Colloquium,
Istanbul, Turkey, September 1-3, 2008. Proceedings, 2008, pp. 380--394.'
date_created: 2018-06-13T09:54:58Z
date_updated: 2022-01-06T06:59:05Z
department:
- _id: '77'
doi: 10.1007/978-3-540-85762-4_26
editor:
- first_name: John
full_name: S. Fitzgerald, John
last_name: S. Fitzgerald
- first_name: Anne
full_name: Elisabeth Haxthausen, Anne
last_name: Elisabeth Haxthausen
- first_name: H{\"{u}}sn{\"{u}}
full_name: Yenig{\"{u}}n, H{\"{u}}sn{\"{u}}
last_name: Yenig{\"{u}}n
page: 380--394
publication: Theoretical Aspects of Computing - {ICTAC} 2008, 5th International Colloquium,
Istanbul, Turkey, September 1-3, 2008. Proceedings
series_title: Lecture Notes in Computer Science
status: public
title: Bounded Model Checking for Partial Kripke Structures
type: conference
user_id: '29719'
year: '2008'
...
---
_id: '3211'
author:
- first_name: John
full_name: Derrick, John
last_name: Derrick
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: Derrick J, Wehrheim H. On using data abstractions for model checking refinements.
Acta Inf. 2007;(1):41--71. doi:10.1007/s00236-007-0042-3
apa: Derrick, J., & Wehrheim, H. (2007). On using data abstractions for model
checking refinements. Acta Inf., (1), 41--71. https://doi.org/10.1007/s00236-007-0042-3
bibtex: '@article{Derrick_Wehrheim_2007, title={On using data abstractions for model
checking refinements}, DOI={10.1007/s00236-007-0042-3},
number={1}, journal={Acta Inf.}, author={Derrick, John and Wehrheim, Heike}, year={2007},
pages={41--71} }'
chicago: 'Derrick, John, and Heike Wehrheim. “On Using Data Abstractions for Model
Checking Refinements.” Acta Inf., no. 1 (2007): 41--71. https://doi.org/10.1007/s00236-007-0042-3.'
ieee: J. Derrick and H. Wehrheim, “On using data abstractions for model checking
refinements,” Acta Inf., no. 1, pp. 41--71, 2007.
mla: Derrick, John, and Heike Wehrheim. “On Using Data Abstractions for Model Checking
Refinements.” Acta Inf., no. 1, 2007, pp. 41--71, doi:10.1007/s00236-007-0042-3.
short: J. Derrick, H. Wehrheim, Acta Inf. (2007) 41--71.
date_created: 2018-06-13T09:56:17Z
date_updated: 2022-01-06T06:59:05Z
department:
- _id: '77'
doi: 10.1007/s00236-007-0042-3
issue: '1'
page: 41--71
publication: Acta Inf.
status: public
title: On using data abstractions for model checking refinements
type: journal_article
user_id: '29719'
year: '2007'
...
---
_id: '3212'
author:
- first_name: Björn
full_name: Metzler, Björn
last_name: Metzler
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: Metzler B, Wehrheim H. Extending a Component Specification Language with Time.
Electr Notes Theor Comput Sci. 2007;(2):47--67. doi:10.1016/j.entcs.2006.02.031
apa: Metzler, B., & Wehrheim, H. (2007). Extending a Component Specification
Language with Time. Electr. Notes Theor. Comput. Sci., (2), 47--67. https://doi.org/10.1016/j.entcs.2006.02.031
bibtex: '@article{Metzler_Wehrheim_2007, title={Extending a Component Specification
Language with Time}, DOI={10.1016/j.entcs.2006.02.031},
number={2}, journal={Electr. Notes Theor. Comput. Sci.}, author={Metzler, Björn
and Wehrheim, Heike}, year={2007}, pages={47--67} }'
chicago: 'Metzler, Björn, and Heike Wehrheim. “Extending a Component Specification
Language with Time.” Electr. Notes Theor. Comput. Sci., no. 2 (2007): 47--67.
https://doi.org/10.1016/j.entcs.2006.02.031.'
ieee: B. Metzler and H. Wehrheim, “Extending a Component Specification Language
with Time,” Electr. Notes Theor. Comput. Sci., no. 2, pp. 47--67, 2007.
mla: Metzler, Björn, and Heike Wehrheim. “Extending a Component Specification Language
with Time.” Electr. Notes Theor. Comput. Sci., no. 2, 2007, pp. 47--67,
doi:10.1016/j.entcs.2006.02.031.
short: B. Metzler, H. Wehrheim, Electr. Notes Theor. Comput. Sci. (2007) 47--67.
date_created: 2018-06-13T09:57:37Z
date_updated: 2022-01-06T06:59:05Z
department:
- _id: '77'
doi: 10.1016/j.entcs.2006.02.031
issue: '2'
page: 47--67
publication: Electr. Notes Theor. Comput. Sci.
status: public
title: Extending a Component Specification Language with Time
type: journal_article
user_id: '29719'
year: '2007'
...
---
_id: '3213'
author:
- first_name: H.{-}Christian
full_name: Estler, H.{-}Christian
last_name: Estler
- first_name: Thomas
full_name: Ruhroth, Thomas
last_name: Ruhroth
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: Estler H.-}Christian, Ruhroth T, Wehrheim H. Modelchecking Correctness of Refactorings
- Some Experiments. Electr Notes Theor Comput Sci. 2007:3--17. doi:10.1016/j.entcs.2006.08.041
apa: Estler, H. .-}Christian, Ruhroth, T., & Wehrheim, H. (2007). Modelchecking
Correctness of Refactorings - Some Experiments. Electr. Notes Theor. Comput.
Sci., 3--17. https://doi.org/10.1016/j.entcs.2006.08.041
bibtex: '@article{Estler_Ruhroth_Wehrheim_2007, title={Modelchecking Correctness
of Refactorings - Some Experiments}, DOI={10.1016/j.entcs.2006.08.041},
journal={Electr. Notes Theor. Comput. Sci.}, author={Estler, H.{-}Christian and
Ruhroth, Thomas and Wehrheim, Heike}, year={2007}, pages={3--17} }'
chicago: Estler, H.{-}Christian, Thomas Ruhroth, and Heike Wehrheim. “Modelchecking
Correctness of Refactorings - Some Experiments.” Electr. Notes Theor. Comput.
Sci., 2007, 3--17. https://doi.org/10.1016/j.entcs.2006.08.041.
ieee: H. .-}Christian Estler, T. Ruhroth, and H. Wehrheim, “Modelchecking Correctness
of Refactorings - Some Experiments,” Electr. Notes Theor. Comput. Sci.,
pp. 3--17, 2007.
mla: Estler, H. .. }Christian, et al. “Modelchecking Correctness of Refactorings
- Some Experiments.” Electr. Notes Theor. Comput. Sci., 2007, pp. 3--17,
doi:10.1016/j.entcs.2006.08.041.
short: H..-}Christian Estler, T. Ruhroth, H. Wehrheim, Electr. Notes Theor. Comput.
Sci. (2007) 3--17.
date_created: 2018-06-13T09:59:12Z
date_updated: 2022-01-06T06:59:05Z
department:
- _id: '77'
doi: 10.1016/j.entcs.2006.08.041
page: 3--17
publication: Electr. Notes Theor. Comput. Sci.
status: public
title: Modelchecking Correctness of Refactorings - Some Experiments
type: journal_article
user_id: '29719'
year: '2007'
...
---
_id: '3214'
author:
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Baris
full_name: Güldali, Baris
last_name: Güldali
- first_name: Christian
full_name: Soltenborn, Christian
id: '1737'
last_name: Soltenborn
orcid: 0000-0002-0342-8227
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'Engels G, Güldali B, Soltenborn C, Wehrheim H. Assuring Consistency of Business
Process Models and Web Services Using Visual Contracts. In: Sch{\"{u}}rr A, Nagl
M, Z{\"{u}}ndorf A, eds. Applications of Graph Transformations with Industrial
Relevance, Third International Symposium, {AGTIVE} 2007, Kassel, Germany, October
10-12, 2007, Revised Selected and Invited Papers. Lecture Notes in Computer
Science. ; 2007:17--31. doi:10.1007/978-3-540-89020-1_2'
apa: Engels, G., Güldali, B., Soltenborn, C., & Wehrheim, H. (2007). Assuring
Consistency of Business Process Models and Web Services Using Visual Contracts.
In A. Sch{\"{u}}rr, M. Nagl, & A. Z{\"{u}}ndorf (Eds.), Applications of
Graph Transformations with Industrial Relevance, Third International Symposium,
{AGTIVE} 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited
Papers (pp. 17--31). https://doi.org/10.1007/978-3-540-89020-1_2
bibtex: '@inproceedings{Engels_Güldali_Soltenborn_Wehrheim_2007, series={Lecture
Notes in Computer Science}, title={Assuring Consistency of Business Process Models
and Web Services Using Visual Contracts}, DOI={10.1007/978-3-540-89020-1_2},
booktitle={Applications of Graph Transformations with Industrial Relevance, Third
International Symposium, {AGTIVE} 2007, Kassel, Germany, October 10-12, 2007,
Revised Selected and Invited Papers}, author={Engels, Gregor and Güldali, Baris
and Soltenborn, Christian and Wehrheim, Heike}, editor={Sch{\"{u}}rr, Andy and
Nagl, Manfred and Z{\"{u}}ndorf, AlbertEditors}, year={2007}, pages={17--31},
collection={Lecture Notes in Computer Science} }'
chicago: Engels, Gregor, Baris Güldali, Christian Soltenborn, and Heike Wehrheim.
“Assuring Consistency of Business Process Models and Web Services Using Visual
Contracts.” In Applications of Graph Transformations with Industrial Relevance,
Third International Symposium, {AGTIVE} 2007, Kassel, Germany, October 10-12,
2007, Revised Selected and Invited Papers, edited by Andy Sch{\"{u}}rr, Manfred
Nagl, and Albert Z{\"{u}}ndorf, 17--31. Lecture Notes in Computer Science, 2007.
https://doi.org/10.1007/978-3-540-89020-1_2.
ieee: G. Engels, B. Güldali, C. Soltenborn, and H. Wehrheim, “Assuring Consistency
of Business Process Models and Web Services Using Visual Contracts,” in Applications
of Graph Transformations with Industrial Relevance, Third International Symposium,
{AGTIVE} 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited
Papers, 2007, pp. 17--31.
mla: Engels, Gregor, et al. “Assuring Consistency of Business Process Models and
Web Services Using Visual Contracts.” Applications of Graph Transformations
with Industrial Relevance, Third International Symposium, {AGTIVE} 2007, Kassel,
Germany, October 10-12, 2007, Revised Selected and Invited Papers, edited
by Andy Sch{\"{u}}rr et al., 2007, pp. 17--31, doi:10.1007/978-3-540-89020-1_2.
short: 'G. Engels, B. Güldali, C. Soltenborn, H. Wehrheim, in: A. Sch{\"{u}}rr,
M. Nagl, A. Z{\"{u}}ndorf (Eds.), Applications of Graph Transformations with Industrial
Relevance, Third International Symposium, {AGTIVE} 2007, Kassel, Germany, October
10-12, 2007, Revised Selected and Invited Papers, 2007, pp. 17--31.'
date_created: 2018-06-13T10:00:14Z
date_updated: 2022-01-06T06:59:05Z
department:
- _id: '77'
doi: 10.1007/978-3-540-89020-1_2
editor:
- first_name: Andy
full_name: Sch{\"{u}}rr, Andy
last_name: Sch{\"{u}}rr
- first_name: Manfred
full_name: Nagl, Manfred
last_name: Nagl
- first_name: Albert
full_name: Z{\"{u}}ndorf, Albert
last_name: Z{\"{u}}ndorf
language:
- iso: eng
page: 17--31
publication: Applications of Graph Transformations with Industrial Relevance, Third
International Symposium, {AGTIVE} 2007, Kassel, Germany, October 10-12, 2007, Revised
Selected and Invited Papers
series_title: Lecture Notes in Computer Science
status: public
title: Assuring Consistency of Business Process Models and Web Services Using Visual
Contracts
type: conference
user_id: '14955'
year: '2007'
...
---
_id: '3215'
author:
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Christian
full_name: Soltenborn, Christian
id: '1737'
last_name: Soltenborn
orcid: 0000-0002-0342-8227
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'Engels G, Soltenborn C, Wehrheim H. Analysis of {UML} Activities Using Dynamic
Meta Modeling. In: M. Bonsangue M, Broch Johnsen E, eds. Formal Methods for
Open Object-Based Distributed Systems, 9th {IFIP} {WG} 6.1 International Conference,
{FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings. Lecture Notes
in Computer Science. ; 2007:76--90. doi:10.1007/978-3-540-72952-5_5'
apa: Engels, G., Soltenborn, C., & Wehrheim, H. (2007). Analysis of {UML} Activities
Using Dynamic Meta Modeling. In M. M. Bonsangue & E. Broch Johnsen (Eds.),
Formal Methods for Open Object-Based Distributed Systems, 9th {IFIP} {WG} 6.1
International Conference, {FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings
(pp. 76--90). https://doi.org/10.1007/978-3-540-72952-5_5
bibtex: '@inproceedings{Engels_Soltenborn_Wehrheim_2007, series={Lecture Notes in
Computer Science}, title={Analysis of {UML} Activities Using Dynamic Meta Modeling},
DOI={10.1007/978-3-540-72952-5_5},
booktitle={Formal Methods for Open Object-Based Distributed Systems, 9th {IFIP}
{WG} 6.1 International Conference, {FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007,
Proceedings}, author={Engels, Gregor and Soltenborn, Christian and Wehrheim, Heike},
editor={M. Bonsangue, Marcello and Broch Johnsen, EinarEditors}, year={2007},
pages={76--90}, collection={Lecture Notes in Computer Science} }'
chicago: Engels, Gregor, Christian Soltenborn, and Heike Wehrheim. “Analysis of
{UML} Activities Using Dynamic Meta Modeling.” In Formal Methods for Open Object-Based
Distributed Systems, 9th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2007,
Paphos, Cyprus, June 6-8, 2007, Proceedings, edited by Marcello M. Bonsangue
and Einar Broch Johnsen, 76--90. Lecture Notes in Computer Science, 2007. https://doi.org/10.1007/978-3-540-72952-5_5.
ieee: G. Engels, C. Soltenborn, and H. Wehrheim, “Analysis of {UML} Activities Using
Dynamic Meta Modeling,” in Formal Methods for Open Object-Based Distributed
Systems, 9th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2007, Paphos,
Cyprus, June 6-8, 2007, Proceedings, 2007, pp. 76--90.
mla: Engels, Gregor, et al. “Analysis of {UML} Activities Using Dynamic Meta Modeling.”
Formal Methods for Open Object-Based Distributed Systems, 9th {IFIP} {WG} 6.1
International Conference, {FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings,
edited by Marcello M. Bonsangue and Einar Broch Johnsen, 2007, pp. 76--90, doi:10.1007/978-3-540-72952-5_5.
short: 'G. Engels, C. Soltenborn, H. Wehrheim, in: M. M. Bonsangue, E. Broch Johnsen
(Eds.), Formal Methods for Open Object-Based Distributed Systems, 9th {IFIP} {WG}
6.1 International Conference, {FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings,
2007, pp. 76--90.'
date_created: 2018-06-13T10:01:31Z
date_updated: 2022-01-06T06:59:05Z
department:
- _id: '77'
doi: 10.1007/978-3-540-72952-5_5
editor:
- first_name: Marcello
full_name: M. Bonsangue, Marcello
last_name: M. Bonsangue
- first_name: Einar
full_name: Broch Johnsen, Einar
last_name: Broch Johnsen
language:
- iso: eng
page: 76--90
publication: Formal Methods for Open Object-Based Distributed Systems, 9th {IFIP}
{WG} 6.1 International Conference, {FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007,
Proceedings
series_title: Lecture Notes in Computer Science
status: public
title: Analysis of {UML} Activities Using Dynamic Meta Modeling
type: conference
user_id: '14955'
year: '2007'
...
---
_id: '3216'
author:
- first_name: Thomas
full_name: Ruhroth, Thomas
last_name: Ruhroth
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'Ruhroth T, Wehrheim H. Refactoring Object-Oriented Specifications with Data
and Processes. In: M. Bonsangue M, Broch Johnsen E, eds. Formal Methods for
Open Object-Based Distributed Systems, 9th {IFIP} {WG} 6.1 International Conference,
{FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings. Lecture Notes
in Computer Science. ; 2007:236--251. doi:10.1007/978-3-540-72952-5_15'
apa: Ruhroth, T., & Wehrheim, H. (2007). Refactoring Object-Oriented Specifications
with Data and Processes. In M. M. Bonsangue & E. Broch Johnsen (Eds.), Formal
Methods for Open Object-Based Distributed Systems, 9th {IFIP} {WG} 6.1 International
Conference, {FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings (pp.
236--251). https://doi.org/10.1007/978-3-540-72952-5_15
bibtex: '@inproceedings{Ruhroth_Wehrheim_2007, series={Lecture Notes in Computer
Science}, title={Refactoring Object-Oriented Specifications with Data and Processes},
DOI={10.1007/978-3-540-72952-5_15},
booktitle={Formal Methods for Open Object-Based Distributed Systems, 9th {IFIP}
{WG} 6.1 International Conference, {FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007,
Proceedings}, author={Ruhroth, Thomas and Wehrheim, Heike}, editor={M. Bonsangue,
Marcello and Broch Johnsen, EinarEditors}, year={2007}, pages={236--251}, collection={Lecture
Notes in Computer Science} }'
chicago: Ruhroth, Thomas, and Heike Wehrheim. “Refactoring Object-Oriented Specifications
with Data and Processes.” In Formal Methods for Open Object-Based Distributed
Systems, 9th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2007, Paphos,
Cyprus, June 6-8, 2007, Proceedings, edited by Marcello M. Bonsangue and Einar
Broch Johnsen, 236--251. Lecture Notes in Computer Science, 2007. https://doi.org/10.1007/978-3-540-72952-5_15.
ieee: T. Ruhroth and H. Wehrheim, “Refactoring Object-Oriented Specifications with
Data and Processes,” in Formal Methods for Open Object-Based Distributed Systems,
9th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2007, Paphos, Cyprus, June
6-8, 2007, Proceedings, 2007, pp. 236--251.
mla: Ruhroth, Thomas, and Heike Wehrheim. “Refactoring Object-Oriented Specifications
with Data and Processes.” Formal Methods for Open Object-Based Distributed
Systems, 9th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2007, Paphos,
Cyprus, June 6-8, 2007, Proceedings, edited by Marcello M. Bonsangue and Einar
Broch Johnsen, 2007, pp. 236--251, doi:10.1007/978-3-540-72952-5_15.
short: 'T. Ruhroth, H. Wehrheim, in: M. M. Bonsangue, E. Broch Johnsen (Eds.), Formal
Methods for Open Object-Based Distributed Systems, 9th {IFIP} {WG} 6.1 International
Conference, {FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings, 2007,
pp. 236--251.'
date_created: 2018-06-13T10:03:09Z
date_updated: 2022-01-06T06:59:05Z
department:
- _id: '77'
doi: 10.1007/978-3-540-72952-5_15
editor:
- first_name: Marcello
full_name: M. Bonsangue, Marcello
last_name: M. Bonsangue
- first_name: Einar
full_name: Broch Johnsen, Einar
last_name: Broch Johnsen
page: 236--251
publication: Formal Methods for Open Object-Based Distributed Systems, 9th {IFIP}
{WG} 6.1 International Conference, {FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007,
Proceedings
series_title: Lecture Notes in Computer Science
status: public
title: Refactoring Object-Oriented Specifications with Data and Processes
type: conference
user_id: '29719'
year: '2007'
...
---
_id: '3221'
author:
- first_name: Wilhelm
full_name: Schäfer, Wilhelm
last_name: Schäfer
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'Schäfer W, Wehrheim H. The Challenges of Building Advanced Mechatronic Systems.
In: C. Briand L, L. Wolf A, eds. International Conference on Software Engineering,
{ISCE} 2007, Workshop on the Future of Software Engineering, {FOSE} 2007, May
23-25, 2007, Minneapolis, MN, {USA}. ; 2007:72--84. doi:10.1109/FOSE.2007.28'
apa: Schäfer, W., & Wehrheim, H. (2007). The Challenges of Building Advanced
Mechatronic Systems. In L. C. Briand & A. L. Wolf (Eds.), International
Conference on Software Engineering, {ISCE} 2007, Workshop on the Future of Software
Engineering, {FOSE} 2007, May 23-25, 2007, Minneapolis, MN, {USA} (pp. 72--84).
https://doi.org/10.1109/FOSE.2007.28
bibtex: '@inproceedings{Schäfer_Wehrheim_2007, title={The Challenges of Building
Advanced Mechatronic Systems}, DOI={10.1109/FOSE.2007.28},
booktitle={International Conference on Software Engineering, {ISCE} 2007, Workshop
on the Future of Software Engineering, {FOSE} 2007, May 23-25, 2007, Minneapolis,
MN, {USA}}, author={Schäfer, Wilhelm and Wehrheim, Heike}, editor={C. Briand,
Lionel and L. Wolf, AlexanderEditors}, year={2007}, pages={72--84} }'
chicago: Schäfer, Wilhelm, and Heike Wehrheim. “The Challenges of Building Advanced
Mechatronic Systems.” In International Conference on Software Engineering,
{ISCE} 2007, Workshop on the Future of Software Engineering, {FOSE} 2007, May
23-25, 2007, Minneapolis, MN, {USA}, edited by Lionel C. Briand and Alexander
L. Wolf, 72--84, 2007. https://doi.org/10.1109/FOSE.2007.28.
ieee: W. Schäfer and H. Wehrheim, “The Challenges of Building Advanced Mechatronic
Systems,” in International Conference on Software Engineering, {ISCE} 2007,
Workshop on the Future of Software Engineering, {FOSE} 2007, May 23-25, 2007,
Minneapolis, MN, {USA}, 2007, pp. 72--84.
mla: Schäfer, Wilhelm, and Heike Wehrheim. “The Challenges of Building Advanced
Mechatronic Systems.” International Conference on Software Engineering, {ISCE}
2007, Workshop on the Future of Software Engineering, {FOSE} 2007, May 23-25,
2007, Minneapolis, MN, {USA}, edited by Lionel C. Briand and Alexander L.
Wolf, 2007, pp. 72--84, doi:10.1109/FOSE.2007.28.
short: 'W. Schäfer, H. Wehrheim, in: L. C. Briand, A. L. Wolf (Eds.), International
Conference on Software Engineering, {ISCE} 2007, Workshop on the Future of Software
Engineering, {FOSE} 2007, May 23-25, 2007, Minneapolis, MN, {USA}, 2007, pp. 72--84.'
date_created: 2018-06-14T06:30:41Z
date_updated: 2022-01-06T06:59:05Z
department:
- _id: '77'
doi: 10.1109/FOSE.2007.28
editor:
- first_name: Lionel
full_name: C. Briand, Lionel
last_name: C. Briand
- first_name: Alexander
full_name: L. Wolf, Alexander
last_name: L. Wolf
page: 72--84
publication: International Conference on Software Engineering, {ISCE} 2007, Workshop
on the Future of Software Engineering, {FOSE} 2007, May 23-25, 2007, Minneapolis,
MN, {USA}
status: public
title: The Challenges of Building Advanced Mechatronic Systems
type: conference
user_id: '29719'
year: '2007'
...
---
_id: '3222'
author:
- first_name: John
full_name: Derrick, John
last_name: Derrick
- first_name: Gerhard
full_name: Schellhorn, Gerhard
last_name: Schellhorn
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'Derrick J, Schellhorn G, Wehrheim H. Proving Linearizability Via Non-atomic
Refinement. In: Davies J, Gibbons J, eds. Integrated Formal Methods, 6th International
Conference, {IFM} 2007, Oxford, UK, July 2-5, 2007, Proceedings. Lecture Notes
in Computer Science. ; 2007:195--214. doi:10.1007/978-3-540-73210-5_11'
apa: Derrick, J., Schellhorn, G., & Wehrheim, H. (2007). Proving Linearizability
Via Non-atomic Refinement. In J. Davies & J. Gibbons (Eds.), Integrated
Formal Methods, 6th International Conference, {IFM} 2007, Oxford, UK, July 2-5,
2007, Proceedings (pp. 195--214). https://doi.org/10.1007/978-3-540-73210-5_11
bibtex: '@inproceedings{Derrick_Schellhorn_Wehrheim_2007, series={Lecture Notes
in Computer Science}, title={Proving Linearizability Via Non-atomic Refinement},
DOI={10.1007/978-3-540-73210-5_11},
booktitle={Integrated Formal Methods, 6th International Conference, {IFM} 2007,
Oxford, UK, July 2-5, 2007, Proceedings}, author={Derrick, John and Schellhorn,
Gerhard and Wehrheim, Heike}, editor={Davies, Jim and Gibbons, JeremyEditors},
year={2007}, pages={195--214}, collection={Lecture Notes in Computer Science}
}'
chicago: Derrick, John, Gerhard Schellhorn, and Heike Wehrheim. “Proving Linearizability
Via Non-Atomic Refinement.” In Integrated Formal Methods, 6th International
Conference, {IFM} 2007, Oxford, UK, July 2-5, 2007, Proceedings, edited by
Jim Davies and Jeremy Gibbons, 195--214. Lecture Notes in Computer Science, 2007.
https://doi.org/10.1007/978-3-540-73210-5_11.
ieee: J. Derrick, G. Schellhorn, and H. Wehrheim, “Proving Linearizability Via Non-atomic
Refinement,” in Integrated Formal Methods, 6th International Conference, {IFM}
2007, Oxford, UK, July 2-5, 2007, Proceedings, 2007, pp. 195--214.
mla: Derrick, John, et al. “Proving Linearizability Via Non-Atomic Refinement.”
Integrated Formal Methods, 6th International Conference, {IFM} 2007, Oxford,
UK, July 2-5, 2007, Proceedings, edited by Jim Davies and Jeremy Gibbons,
2007, pp. 195--214, doi:10.1007/978-3-540-73210-5_11.
short: 'J. Derrick, G. Schellhorn, H. Wehrheim, in: J. Davies, J. Gibbons (Eds.),
Integrated Formal Methods, 6th International Conference, {IFM} 2007, Oxford, UK,
July 2-5, 2007, Proceedings, 2007, pp. 195--214.'
date_created: 2018-06-14T06:32:05Z
date_updated: 2022-01-06T06:59:05Z
department:
- _id: '77'
doi: 10.1007/978-3-540-73210-5_11
editor:
- first_name: Jim
full_name: Davies, Jim
last_name: Davies
- first_name: Jeremy
full_name: Gibbons, Jeremy
last_name: Gibbons
page: 195--214
publication: Integrated Formal Methods, 6th International Conference, {IFM} 2007,
Oxford, UK, July 2-5, 2007, Proceedings
series_title: Lecture Notes in Computer Science
status: public
title: Proving Linearizability Via Non-atomic Refinement
type: conference
user_id: '29719'
year: '2007'
...
---
_id: '3223'
author:
- first_name: Ingo
full_name: Brückner, Ingo
last_name: Brückner
- first_name: Björn
full_name: Metzler, Björn
last_name: Metzler
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: Brückner I, Metzler B, Wehrheim H. Optimizing Slicing of Formal Specifications
by Deductive Verification. Nord J Comput. 2006;(1-2):22--45.
apa: Brückner, I., Metzler, B., & Wehrheim, H. (2006). Optimizing Slicing of
Formal Specifications by Deductive Verification. Nord. J. Comput., (1–2),
22--45.
bibtex: '@article{Brückner_Metzler_Wehrheim_2006, title={Optimizing Slicing of Formal
Specifications by Deductive Verification}, number={1–2}, journal={Nord. J. Comput.},
author={Brückner, Ingo and Metzler, Björn and Wehrheim, Heike}, year={2006}, pages={22--45}
}'
chicago: 'Brückner, Ingo, Björn Metzler, and Heike Wehrheim. “Optimizing Slicing
of Formal Specifications by Deductive Verification.” Nord. J. Comput.,
no. 1–2 (2006): 22--45.'
ieee: I. Brückner, B. Metzler, and H. Wehrheim, “Optimizing Slicing of Formal Specifications
by Deductive Verification,” Nord. J. Comput., no. 1–2, pp. 22--45, 2006.
mla: Brückner, Ingo, et al. “Optimizing Slicing of Formal Specifications by Deductive
Verification.” Nord. J. Comput., no. 1–2, 2006, pp. 22--45.
short: I. Brückner, B. Metzler, H. Wehrheim, Nord. J. Comput. (2006) 22--45.
date_created: 2018-06-14T06:33:37Z
date_updated: 2022-01-06T06:59:05Z
department:
- _id: '77'
issue: 1-2
page: 22--45
publication: Nord. J. Comput.
status: public
title: Optimizing Slicing of Formal Specifications by Deductive Verification
type: journal_article
user_id: '29719'
year: '2006'
...
---
_id: '3224'
author:
- first_name: John
full_name: Derrick, John
last_name: Derrick
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'Derrick J, Wehrheim H. Model Transformations Incorporating Multiple Views.
In: Johnson M, Vene V, eds. Algebraic Methodology and Software Technology,
11th International Conference, {AMAST} 2006, Kuressaare, Estonia, July 5-8, 2006,
Proceedings. Lecture Notes in Computer Science. ; 2006:111--126. doi:10.1007/11784180_11'
apa: Derrick, J., & Wehrheim, H. (2006). Model Transformations Incorporating
Multiple Views. In M. Johnson & V. Vene (Eds.), Algebraic Methodology and
Software Technology, 11th International Conference, {AMAST} 2006, Kuressaare,
Estonia, July 5-8, 2006, Proceedings (pp. 111--126). https://doi.org/10.1007/11784180_11
bibtex: '@inproceedings{Derrick_Wehrheim_2006, series={Lecture Notes in Computer
Science}, title={Model Transformations Incorporating Multiple Views}, DOI={10.1007/11784180_11}, booktitle={Algebraic
Methodology and Software Technology, 11th International Conference, {AMAST} 2006,
Kuressaare, Estonia, July 5-8, 2006, Proceedings}, author={Derrick, John and Wehrheim,
Heike}, editor={Johnson, Michael and Vene, VarmoEditors}, year={2006}, pages={111--126},
collection={Lecture Notes in Computer Science} }'
chicago: Derrick, John, and Heike Wehrheim. “Model Transformations Incorporating
Multiple Views.” In Algebraic Methodology and Software Technology, 11th International
Conference, {AMAST} 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings,
edited by Michael Johnson and Varmo Vene, 111--126. Lecture Notes in Computer
Science, 2006. https://doi.org/10.1007/11784180_11.
ieee: J. Derrick and H. Wehrheim, “Model Transformations Incorporating Multiple
Views,” in Algebraic Methodology and Software Technology, 11th International
Conference, {AMAST} 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings,
2006, pp. 111--126.
mla: Derrick, John, and Heike Wehrheim. “Model Transformations Incorporating Multiple
Views.” Algebraic Methodology and Software Technology, 11th International Conference,
{AMAST} 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings, edited by
Michael Johnson and Varmo Vene, 2006, pp. 111--126, doi:10.1007/11784180_11.
short: 'J. Derrick, H. Wehrheim, in: M. Johnson, V. Vene (Eds.), Algebraic Methodology
and Software Technology, 11th International Conference, {AMAST} 2006, Kuressaare,
Estonia, July 5-8, 2006, Proceedings, 2006, pp. 111--126.'
date_created: 2018-06-14T06:34:47Z
date_updated: 2022-01-06T06:59:05Z
department:
- _id: '77'
doi: 10.1007/11784180_11
editor:
- first_name: Michael
full_name: Johnson, Michael
last_name: Johnson
- first_name: Varmo
full_name: Vene, Varmo
last_name: Vene
page: 111--126
publication: Algebraic Methodology and Software Technology, 11th International Conference,
{AMAST} 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings
series_title: Lecture Notes in Computer Science
status: public
title: Model Transformations Incorporating Multiple Views
type: conference
user_id: '29719'
year: '2006'
...
---
_id: '3225'
author:
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'Wehrheim H. Incremental Slicing. In: Liu Z, He J, eds. Formal Methods and
Software Engineering, 8th International Conference on Formal Engineering Methods,
{ICFEM} 2006, Macao, China, November 1-3, 2006, Proceedings. Lecture Notes
in Computer Science. ; 2006:514--528. doi:10.1007/11901433_28'
apa: Wehrheim, H. (2006). Incremental Slicing. In Z. Liu & J. He (Eds.), Formal
Methods and Software Engineering, 8th International Conference on Formal Engineering
Methods, {ICFEM} 2006, Macao, China, November 1-3, 2006, Proceedings (pp.
514--528). https://doi.org/10.1007/11901433_28
bibtex: '@inproceedings{Wehrheim_2006, series={Lecture Notes in Computer Science},
title={Incremental Slicing}, DOI={10.1007/11901433_28},
booktitle={Formal Methods and Software Engineering, 8th International Conference
on Formal Engineering Methods, {ICFEM} 2006, Macao, China, November 1-3, 2006,
Proceedings}, author={Wehrheim, Heike}, editor={Liu, Zhiming and He, JifengEditors},
year={2006}, pages={514--528}, collection={Lecture Notes in Computer Science}
}'
chicago: Wehrheim, Heike. “Incremental Slicing.” In Formal Methods and Software
Engineering, 8th International Conference on Formal Engineering Methods, {ICFEM}
2006, Macao, China, November 1-3, 2006, Proceedings, edited by Zhiming Liu
and Jifeng He, 514--528. Lecture Notes in Computer Science, 2006. https://doi.org/10.1007/11901433_28.
ieee: H. Wehrheim, “Incremental Slicing,” in Formal Methods and Software Engineering,
8th International Conference on Formal Engineering Methods, {ICFEM} 2006, Macao,
China, November 1-3, 2006, Proceedings, 2006, pp. 514--528.
mla: Wehrheim, Heike. “Incremental Slicing.” Formal Methods and Software Engineering,
8th International Conference on Formal Engineering Methods, {ICFEM} 2006, Macao,
China, November 1-3, 2006, Proceedings, edited by Zhiming Liu and Jifeng He,
2006, pp. 514--528, doi:10.1007/11901433_28.
short: 'H. Wehrheim, in: Z. Liu, J. He (Eds.), Formal Methods and Software Engineering,
8th International Conference on Formal Engineering Methods, {ICFEM} 2006, Macao,
China, November 1-3, 2006, Proceedings, 2006, pp. 514--528.'
date_created: 2018-06-14T06:35:54Z
date_updated: 2022-01-06T06:59:05Z
department:
- _id: '77'
doi: 10.1007/11901433_28
editor:
- first_name: Zhiming
full_name: Liu, Zhiming
last_name: Liu
- first_name: Jifeng
full_name: He, Jifeng
last_name: He
page: 514--528
publication: Formal Methods and Software Engineering, 8th International Conference
on Formal Engineering Methods, {ICFEM} 2006, Macao, China, November 1-3, 2006, Proceedings
series_title: Lecture Notes in Computer Science
status: public
title: Incremental Slicing
type: conference
user_id: '29719'
year: '2006'
...
---
_id: '3226'
citation:
ama: Gorrieri R, Wehrheim H, eds. Formal Methods for Open Object-Based Distributed
Systems, 8th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2006, Bologna,
Italy, June 14-16, 2006, Proceedings.; 2006. doi:10.1007/11768869
apa: Gorrieri, R., & Wehrheim, H. (Eds.). (2006). Formal Methods for Open
Object-Based Distributed Systems, 8th {IFIP} {WG} 6.1 International Conference,
{FMOODS} 2006, Bologna, Italy, June 14-16, 2006, Proceedings. https://doi.org/10.1007/11768869
bibtex: '@book{Gorrieri_Wehrheim_2006, series={Lecture Notes in Computer Science},
title={Formal Methods for Open Object-Based Distributed Systems, 8th {IFIP} {WG}
6.1 International Conference, {FMOODS} 2006, Bologna, Italy, June 14-16, 2006,
Proceedings}, DOI={10.1007/11768869},
year={2006}, collection={Lecture Notes in Computer Science} }'
chicago: Gorrieri, Roberto, and Heike Wehrheim, eds. Formal Methods for Open
Object-Based Distributed Systems, 8th {IFIP} {WG} 6.1 International Conference,
{FMOODS} 2006, Bologna, Italy, June 14-16, 2006, Proceedings. Lecture Notes
in Computer Science, 2006. https://doi.org/10.1007/11768869.
ieee: R. Gorrieri and H. Wehrheim, Eds., Formal Methods for Open Object-Based
Distributed Systems, 8th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2006,
Bologna, Italy, June 14-16, 2006, Proceedings. 2006.
mla: Gorrieri, Roberto, and Heike Wehrheim, editors. Formal Methods for Open
Object-Based Distributed Systems, 8th {IFIP} {WG} 6.1 International Conference,
{FMOODS} 2006, Bologna, Italy, June 14-16, 2006, Proceedings. 2006, doi:10.1007/11768869.
short: R. Gorrieri, H. Wehrheim, eds., Formal Methods for Open Object-Based Distributed
Systems, 8th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2006, Bologna,
Italy, June 14-16, 2006, Proceedings, 2006.
date_created: 2018-06-14T06:37:20Z
date_updated: 2022-01-06T06:59:05Z
department:
- _id: '77'
doi: 10.1007/11768869
editor:
- first_name: Roberto
full_name: Gorrieri, Roberto
last_name: Gorrieri
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
publication_identifier:
isbn:
- 3-540-34893-X
series_title: Lecture Notes in Computer Science
status: public
title: Formal Methods for Open Object-Based Distributed Systems, 8th {IFIP} {WG} 6.1
International Conference, {FMOODS} 2006, Bologna, Italy, June 14-16, 2006, Proceedings
type: conference_editor
user_id: '29719'
year: '2006'
...
---
_id: '3227'
author:
- first_name: Ernst-Rüdiger
full_name: Olderog, Ernst-Rüdiger
last_name: Olderog
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: Olderog E-R, Wehrheim H. Specification and (property) inheritance in {CSP-OZ}.
Sci Comput Program. 2005;(1-3):227--257. doi:10.1016/j.scico.2004.05.017
apa: Olderog, E.-R., & Wehrheim, H. (2005). Specification and (property) inheritance
in {CSP-OZ}. Sci. Comput. Program., (1–3), 227--257. https://doi.org/10.1016/j.scico.2004.05.017
bibtex: '@article{Olderog_Wehrheim_2005, title={Specification and (property) inheritance
in {CSP-OZ}}, DOI={10.1016/j.scico.2004.05.017},
number={1–3}, journal={Sci. Comput. Program.}, author={Olderog, Ernst-Rüdiger
and Wehrheim, Heike}, year={2005}, pages={227--257} }'
chicago: 'Olderog, Ernst-Rüdiger, and Heike Wehrheim. “Specification and (Property)
Inheritance in {CSP-OZ}.” Sci. Comput. Program., no. 1–3 (2005): 227--257.
https://doi.org/10.1016/j.scico.2004.05.017.'
ieee: E.-R. Olderog and H. Wehrheim, “Specification and (property) inheritance in
{CSP-OZ},” Sci. Comput. Program., no. 1–3, pp. 227--257, 2005.
mla: Olderog, Ernst-Rüdiger, and Heike Wehrheim. “Specification and (Property) Inheritance
in {CSP-OZ}.” Sci. Comput. Program., no. 1–3, 2005, pp. 227--257, doi:10.1016/j.scico.2004.05.017.
short: E.-R. Olderog, H. Wehrheim, Sci. Comput. Program. (2005) 227--257.
date_created: 2018-06-14T06:38:42Z
date_updated: 2022-01-06T06:59:06Z
department:
- _id: '77'
doi: 10.1016/j.scico.2004.05.017
issue: 1-3
page: 227--257
publication: Sci. Comput. Program.
status: public
title: Specification and (property) inheritance in {CSP-OZ}
type: journal_article
user_id: '29719'
year: '2005'
...
---
_id: '3228'
author:
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: Wehrheim H. Slicing techniques for verification re-use. Theor Comput Sci.
2005;(3):509--528. doi:10.1016/j.tcs.2005.06.020
apa: Wehrheim, H. (2005). Slicing techniques for verification re-use. Theor.
Comput. Sci., (3), 509--528. https://doi.org/10.1016/j.tcs.2005.06.020
bibtex: '@article{Wehrheim_2005, title={Slicing techniques for verification re-use},
DOI={10.1016/j.tcs.2005.06.020},
number={3}, journal={Theor. Comput. Sci.}, author={Wehrheim, Heike}, year={2005},
pages={509--528} }'
chicago: 'Wehrheim, Heike. “Slicing Techniques for Verification Re-Use.” Theor.
Comput. Sci., no. 3 (2005): 509--528. https://doi.org/10.1016/j.tcs.2005.06.020.'
ieee: H. Wehrheim, “Slicing techniques for verification re-use,” Theor. Comput.
Sci., no. 3, pp. 509--528, 2005.
mla: Wehrheim, Heike. “Slicing Techniques for Verification Re-Use.” Theor. Comput.
Sci., no. 3, 2005, pp. 509--528, doi:10.1016/j.tcs.2005.06.020.
short: H. Wehrheim, Theor. Comput. Sci. (2005) 509--528.
date_created: 2018-06-14T06:40:02Z
date_updated: 2022-01-06T06:59:06Z
department:
- _id: '77'
doi: 10.1016/j.tcs.2005.06.020
issue: '3'
page: 509--528
publication: Theor. Comput. Sci.
status: public
title: Slicing techniques for verification re-use
type: journal_article
user_id: '29719'
year: '2005'
...