---
_id: '3239'
author:
- first_name: Holger
full_name: Rasch, Holger
last_name: Rasch
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'Rasch H, Wehrheim H. Checking Consistency in {UML} Diagramms: Classes and
State Machines. In: Najm E, Nestmann U, Stevens P, eds. Formal Methods for
Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference,
{FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings. Lecture Notes
in Computer Science. ; 2003:229--243. doi:10.1007/978-3-540-39958-2_16'
apa: 'Rasch, H., & Wehrheim, H. (2003). Checking Consistency in {UML} Diagramms:
Classes and State Machines. In E. Najm, U. Nestmann, & P. Stevens (Eds.),
Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1
International Conference, {FMOODS} 2003, Paris, France, November 19.21, 2003,
Proceedings (pp. 229--243). https://doi.org/10.1007/978-3-540-39958-2_16'
bibtex: '@inproceedings{Rasch_Wehrheim_2003, series={Lecture Notes in Computer Science},
title={Checking Consistency in {UML} Diagramms: Classes and State Machines}, DOI={10.1007/978-3-540-39958-2_16},
booktitle={Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP}
{WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November 19.21,
2003, Proceedings}, author={Rasch, Holger and Wehrheim, Heike}, editor={Najm,
Elie and Nestmann, Uwe and Stevens, PerditaEditors}, year={2003}, pages={229--243},
collection={Lecture Notes in Computer Science} }'
chicago: 'Rasch, Holger, and Heike Wehrheim. “Checking Consistency in {UML} Diagramms:
Classes and State Machines.” In Formal Methods for Open Object-Based Distributed
Systems, 6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France,
November 19.21, 2003, Proceedings, edited by Elie Najm, Uwe Nestmann, and
Perdita Stevens, 229--243. Lecture Notes in Computer Science, 2003. https://doi.org/10.1007/978-3-540-39958-2_16.'
ieee: 'H. Rasch and H. Wehrheim, “Checking Consistency in {UML} Diagramms: Classes
and State Machines,” in Formal Methods for Open Object-Based Distributed Systems,
6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November
19.21, 2003, Proceedings, 2003, pp. 229--243.'
mla: 'Rasch, Holger, and Heike Wehrheim. “Checking Consistency in {UML} Diagramms:
Classes and State Machines.” Formal Methods for Open Object-Based Distributed
Systems, 6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France,
November 19.21, 2003, Proceedings, edited by Elie Najm et al., 2003, pp. 229--243,
doi:10.1007/978-3-540-39958-2_16.'
short: 'H. Rasch, H. Wehrheim, in: E. Najm, U. Nestmann, P. Stevens (Eds.), Formal
Methods for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International
Conference, {FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings, 2003,
pp. 229--243.'
date_created: 2018-06-14T06:53:24Z
date_updated: 2022-01-06T06:59:06Z
department:
- _id: '77'
doi: 10.1007/978-3-540-39958-2_16
editor:
- first_name: Elie
full_name: Najm, Elie
last_name: Najm
- first_name: Uwe
full_name: Nestmann, Uwe
last_name: Nestmann
- first_name: Perdita
full_name: Stevens, Perdita
last_name: Stevens
page: 229--243
publication: Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP}
{WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November 19.21,
2003, Proceedings
series_title: Lecture Notes in Computer Science
status: public
title: 'Checking Consistency in {UML} Diagramms: Classes and State Machines'
type: conference
user_id: '29719'
year: '2003'
...
---
_id: '3240'
author:
- first_name: John
full_name: Derrick, John
last_name: Derrick
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'Derrick J, Wehrheim H. Using Coupled Simulations in Non-atomic Refinement.
In: Bert D, P. Bowen J, King S, A. Wald{\’{e}}n M, eds. {ZB} 2003: Formal Specification
and Development in {Z} and B, Third International Conference of {B} and {Z} Users,
Turku, Finland, June 4-6, 2003, Proceedings. Lecture Notes in Computer Science.
; 2003:127--147. doi:10.1007/3-540-44880-2_10'
apa: 'Derrick, J., & Wehrheim, H. (2003). Using Coupled Simulations in Non-atomic
Refinement. In D. Bert, J. P. Bowen, S. King, & M. A. Wald{\’{e}}n (Eds.),
{ZB} 2003: Formal Specification and Development in {Z} and B, Third International
Conference of {B} and {Z} Users, Turku, Finland, June 4-6, 2003, Proceedings
(pp. 127--147). https://doi.org/10.1007/3-540-44880-2_10'
bibtex: '@inproceedings{Derrick_Wehrheim_2003, series={Lecture Notes in Computer
Science}, title={Using Coupled Simulations in Non-atomic Refinement}, DOI={10.1007/3-540-44880-2_10},
booktitle={{ZB} 2003: Formal Specification and Development in {Z} and B, Third
International Conference of {B} and {Z} Users, Turku, Finland, June 4-6, 2003,
Proceedings}, author={Derrick, John and Wehrheim, Heike}, editor={Bert, Didier
and P. Bowen, Jonathan and King, Steve and A. Wald{\’{e}}n, MarinaEditors}, year={2003},
pages={127--147}, collection={Lecture Notes in Computer Science} }'
chicago: 'Derrick, John, and Heike Wehrheim. “Using Coupled Simulations in Non-Atomic
Refinement.” In {ZB} 2003: Formal Specification and Development in {Z} and
B, Third International Conference of {B} and {Z} Users, Turku, Finland, June 4-6,
2003, Proceedings, edited by Didier Bert, Jonathan P. Bowen, Steve King, and
Marina A. Wald{\’{e}}n, 127--147. Lecture Notes in Computer Science, 2003. https://doi.org/10.1007/3-540-44880-2_10.'
ieee: 'J. Derrick and H. Wehrheim, “Using Coupled Simulations in Non-atomic Refinement,”
in {ZB} 2003: Formal Specification and Development in {Z} and B, Third International
Conference of {B} and {Z} Users, Turku, Finland, June 4-6, 2003, Proceedings,
2003, pp. 127--147.'
mla: 'Derrick, John, and Heike Wehrheim. “Using Coupled Simulations in Non-Atomic
Refinement.” {ZB} 2003: Formal Specification and Development in {Z} and B,
Third International Conference of {B} and {Z} Users, Turku, Finland, June 4-6,
2003, Proceedings, edited by Didier Bert et al., 2003, pp. 127--147, doi:10.1007/3-540-44880-2_10.'
short: 'J. Derrick, H. Wehrheim, in: D. Bert, J. P. Bowen, S. King, M. A. Wald{\’{e}}n
(Eds.), {ZB} 2003: Formal Specification and Development in {Z} and B, Third International
Conference of {B} and {Z} Users, Turku, Finland, June 4-6, 2003, Proceedings,
2003, pp. 127--147.'
date_created: 2018-06-14T06:54:54Z
date_updated: 2022-01-06T06:59:07Z
department:
- _id: '77'
doi: 10.1007/3-540-44880-2_10
editor:
- first_name: Didier
full_name: Bert, Didier
last_name: Bert
- first_name: Jonathan
full_name: P. Bowen, Jonathan
last_name: P. Bowen
- first_name: Steve
full_name: King, Steve
last_name: King
- first_name: Marina
full_name: A. Wald{\'{e}}n, Marina
last_name: A. Wald{\'{e}}n
page: 127--147
publication: '{ZB} 2003: Formal Specification and Development in {Z} and B, Third
International Conference of {B} and {Z} Users, Turku, Finland, June 4-6, 2003, Proceedings'
series_title: Lecture Notes in Computer Science
status: public
title: Using Coupled Simulations in Non-atomic Refinement
type: conference
user_id: '29719'
year: '2003'
...
---
_id: '3241'
author:
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: Wehrheim H. Relating State-based and Behaviour-oriented Subtyping. Nord
J Comput. 2002;(4):405--435.
apa: Wehrheim, H. (2002). Relating State-based and Behaviour-oriented Subtyping.
Nord. J. Comput., (4), 405--435.
bibtex: '@article{Wehrheim_2002, title={Relating State-based and Behaviour-oriented
Subtyping}, number={4}, journal={Nord. J. Comput.}, author={Wehrheim, Heike},
year={2002}, pages={405--435} }'
chicago: 'Wehrheim, Heike. “Relating State-Based and Behaviour-Oriented Subtyping.”
Nord. J. Comput., no. 4 (2002): 405--435.'
ieee: H. Wehrheim, “Relating State-based and Behaviour-oriented Subtyping,” Nord.
J. Comput., no. 4, pp. 405--435, 2002.
mla: Wehrheim, Heike. “Relating State-Based and Behaviour-Oriented Subtyping.” Nord.
J. Comput., no. 4, 2002, pp. 405--435.
short: H. Wehrheim, Nord. J. Comput. (2002) 405--435.
date_created: 2018-06-14T06:56:20Z
date_updated: 2022-01-06T06:59:07Z
department:
- _id: '77'
issue: '4'
page: 405--435
publication: Nord. J. Comput.
status: public
title: Relating State-based and Behaviour-oriented Subtyping
type: journal_article
user_id: '29719'
year: '2002'
...
---
_id: '3242'
author:
- first_name: Ernst-Rüdiger
full_name: Olderog, Ernst-Rüdiger
last_name: Olderog
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'Olderog E-R, Wehrheim H. Specification and Inheritance in {CSP-OZ}. In: S.
de Boer F, M. Bonsangue M, Graf S, P. de Roever W, eds. Formal Methods for
Components and Objects, First International Symposium, {FMCO} 2002, Leiden, The
Netherlands, November 5-8, 2002, Revised Lectures. Lecture Notes in Computer
Science. ; 2002:361--379. doi:10.1007/978-3-540-39656-7_15'
apa: Olderog, E.-R., & Wehrheim, H. (2002). Specification and Inheritance in
{CSP-OZ}. In F. S. de Boer, M. M. Bonsangue, S. Graf, & W. P. de Roever (Eds.),
Formal Methods for Components and Objects, First International Symposium, {FMCO}
2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures (pp. 361--379).
https://doi.org/10.1007/978-3-540-39656-7_15
bibtex: '@inproceedings{Olderog_Wehrheim_2002, series={Lecture Notes in Computer
Science}, title={Specification and Inheritance in {CSP-OZ}}, DOI={10.1007/978-3-540-39656-7_15},
booktitle={Formal Methods for Components and Objects, First International Symposium,
{FMCO} 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures}, author={Olderog,
Ernst-Rüdiger and Wehrheim, Heike}, editor={S. de Boer, Frank and M. Bonsangue,
Marcello and Graf, Susanne and P. de Roever, WillemEditors}, year={2002}, pages={361--379},
collection={Lecture Notes in Computer Science} }'
chicago: Olderog, Ernst-Rüdiger, and Heike Wehrheim. “Specification and Inheritance
in {CSP-OZ}.” In Formal Methods for Components and Objects, First International
Symposium, {FMCO} 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures,
edited by Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, and Willem P.
de Roever, 361--379. Lecture Notes in Computer Science, 2002. https://doi.org/10.1007/978-3-540-39656-7_15.
ieee: E.-R. Olderog and H. Wehrheim, “Specification and Inheritance in {CSP-OZ},”
in Formal Methods for Components and Objects, First International Symposium,
{FMCO} 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures,
2002, pp. 361--379.
mla: Olderog, Ernst-Rüdiger, and Heike Wehrheim. “Specification and Inheritance
in {CSP-OZ}.” Formal Methods for Components and Objects, First International
Symposium, {FMCO} 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures,
edited by Frank S. de Boer et al., 2002, pp. 361--379, doi:10.1007/978-3-540-39656-7_15.
short: 'E.-R. Olderog, H. Wehrheim, in: F. S. de Boer, M. M. Bonsangue, S. Graf,
W. P. de Roever (Eds.), Formal Methods for Components and Objects, First International
Symposium, {FMCO} 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures,
2002, pp. 361--379.'
date_created: 2018-06-14T07:10:28Z
date_updated: 2022-01-06T06:59:07Z
department:
- _id: '77'
doi: 10.1007/978-3-540-39656-7_15
editor:
- first_name: Frank
full_name: S. de Boer, Frank
last_name: S. de Boer
- first_name: Marcello
full_name: M. Bonsangue, Marcello
last_name: M. Bonsangue
- first_name: Susanne
full_name: Graf, Susanne
last_name: Graf
- first_name: Willem
full_name: P. de Roever, Willem
last_name: P. de Roever
page: 361--379
publication: Formal Methods for Components and Objects, First International Symposium,
{FMCO} 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures
series_title: Lecture Notes in Computer Science
status: public
title: Specification and Inheritance in {CSP-OZ}
type: conference
user_id: '29719'
year: '2002'
...
---
_id: '3243'
author:
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'Wehrheim H. Checking Behavioural Subtypes via Refinement. In: Jacobs B, Rensink
A, eds. Formal Methods for Open Object-Based Distributed Systems V, {IFIP}
{TC6/WG6.1} Fifth International Conference on Formal Methods for Open Object-Based
Distributed Systems {(FMOODS} 2002), March 20-22, 2002, Enschede, The Netherlands.
{IFIP} Conference Proceedings. ; 2002:79--93.'
apa: Wehrheim, H. (2002). Checking Behavioural Subtypes via Refinement. In B. Jacobs
& A. Rensink (Eds.), Formal Methods for Open Object-Based Distributed Systems
V, {IFIP} {TC6/WG6.1} Fifth International Conference on Formal Methods for Open
Object-Based Distributed Systems {(FMOODS} 2002), March 20-22, 2002, Enschede,
The Netherlands (pp. 79--93).
bibtex: '@inproceedings{Wehrheim_2002, series={{IFIP} Conference Proceedings}, title={Checking
Behavioural Subtypes via Refinement}, booktitle={Formal Methods for Open Object-Based
Distributed Systems V, {IFIP} {TC6/WG6.1} Fifth International Conference on Formal
Methods for Open Object-Based Distributed Systems {(FMOODS} 2002), March 20-22,
2002, Enschede, The Netherlands}, author={Wehrheim, Heike}, editor={Jacobs, Bart
and Rensink, ArendEditors}, year={2002}, pages={79--93}, collection={{IFIP} Conference
Proceedings} }'
chicago: Wehrheim, Heike. “Checking Behavioural Subtypes via Refinement.” In Formal
Methods for Open Object-Based Distributed Systems V, {IFIP} {TC6/WG6.1} Fifth
International Conference on Formal Methods for Open Object-Based Distributed Systems
{(FMOODS} 2002), March 20-22, 2002, Enschede, The Netherlands, edited by Bart
Jacobs and Arend Rensink, 79--93. {IFIP} Conference Proceedings, 2002.
ieee: H. Wehrheim, “Checking Behavioural Subtypes via Refinement,” in Formal
Methods for Open Object-Based Distributed Systems V, {IFIP} {TC6/WG6.1} Fifth
International Conference on Formal Methods for Open Object-Based Distributed Systems
{(FMOODS} 2002), March 20-22, 2002, Enschede, The Netherlands, 2002, pp. 79--93.
mla: Wehrheim, Heike. “Checking Behavioural Subtypes via Refinement.” Formal
Methods for Open Object-Based Distributed Systems V, {IFIP} {TC6/WG6.1} Fifth
International Conference on Formal Methods for Open Object-Based Distributed Systems
{(FMOODS} 2002), March 20-22, 2002, Enschede, The Netherlands, edited by Bart
Jacobs and Arend Rensink, 2002, pp. 79--93.
short: 'H. Wehrheim, in: B. Jacobs, A. Rensink (Eds.), Formal Methods for Open Object-Based
Distributed Systems V, {IFIP} {TC6/WG6.1} Fifth International Conference on Formal
Methods for Open Object-Based Distributed Systems {(FMOODS} 2002), March 20-22,
2002, Enschede, The Netherlands, 2002, pp. 79--93.'
date_created: 2018-06-14T07:11:33Z
date_updated: 2022-01-06T06:59:07Z
department:
- _id: '77'
editor:
- first_name: Bart
full_name: Jacobs, Bart
last_name: Jacobs
- first_name: Arend
full_name: Rensink, Arend
last_name: Rensink
page: 79--93
publication: Formal Methods for Open Object-Based Distributed Systems V, {IFIP} {TC6/WG6.1}
Fifth International Conference on Formal Methods for Open Object-Based Distributed
Systems {(FMOODS} 2002), March 20-22, 2002, Enschede, The Netherlands
series_title: '{IFIP} Conference Proceedings'
status: public
title: Checking Behavioural Subtypes via Refinement
type: conference
user_id: '29719'
year: '2002'
...
---
_id: '3244'
author:
- first_name: Arend
full_name: Rensink, Arend
last_name: Rensink
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: Rensink A, Wehrheim H. Process algebra with action dependencies. Acta Inf.
2001;(3):155--234. doi:10.1007/s002360100070
apa: Rensink, A., & Wehrheim, H. (2001). Process algebra with action dependencies.
Acta Inf., (3), 155--234. https://doi.org/10.1007/s002360100070
bibtex: '@article{Rensink_Wehrheim_2001, title={Process algebra with action dependencies},
DOI={10.1007/s002360100070},
number={3}, journal={Acta Inf.}, author={Rensink, Arend and Wehrheim, Heike},
year={2001}, pages={155--234} }'
chicago: 'Rensink, Arend, and Heike Wehrheim. “Process Algebra with Action Dependencies.”
Acta Inf., no. 3 (2001): 155--234. https://doi.org/10.1007/s002360100070.'
ieee: A. Rensink and H. Wehrheim, “Process algebra with action dependencies,” Acta
Inf., no. 3, pp. 155--234, 2001.
mla: Rensink, Arend, and Heike Wehrheim. “Process Algebra with Action Dependencies.”
Acta Inf., no. 3, 2001, pp. 155--234, doi:10.1007/s002360100070.
short: A. Rensink, H. Wehrheim, Acta Inf. (2001) 155--234.
date_created: 2018-06-14T07:12:39Z
date_updated: 2022-01-06T06:59:07Z
department:
- _id: '77'
doi: 10.1007/s002360100070
issue: '3'
page: 155--234
publication: Acta Inf.
status: public
title: Process algebra with action dependencies
type: journal_article
user_id: '29719'
year: '2001'
...
---
_id: '3245'
author:
- first_name: Detlef
full_name: Bartetzko, Detlef
last_name: Bartetzko
- first_name: Clemens
full_name: Fischer, Clemens
last_name: Fischer
- first_name: Michael
full_name: Möller, Michael
last_name: Möller
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: Bartetzko D, Fischer C, Möller M, Wehrheim H. Jass - Java with Assertions.
Electr Notes Theor Comput Sci. 2001;(2):103--117. doi:10.1016/S1571-0661(04)00247-6
apa: Bartetzko, D., Fischer, C., Möller, M., & Wehrheim, H. (2001). Jass - Java
with Assertions. Electr. Notes Theor. Comput. Sci., (2), 103--117. https://doi.org/10.1016/S1571-0661(04)00247-6
bibtex: '@article{Bartetzko_Fischer_Möller_Wehrheim_2001, title={Jass - Java with
Assertions}, DOI={10.1016/S1571-0661(04)00247-6},
number={2}, journal={Electr. Notes Theor. Comput. Sci.}, author={Bartetzko, Detlef
and Fischer, Clemens and Möller, Michael and Wehrheim, Heike}, year={2001}, pages={103--117}
}'
chicago: 'Bartetzko, Detlef, Clemens Fischer, Michael Möller, and Heike Wehrheim.
“Jass - Java with Assertions.” Electr. Notes Theor. Comput. Sci., no. 2
(2001): 103--117. https://doi.org/10.1016/S1571-0661(04)00247-6.'
ieee: D. Bartetzko, C. Fischer, M. Möller, and H. Wehrheim, “Jass - Java with Assertions,”
Electr. Notes Theor. Comput. Sci., no. 2, pp. 103--117, 2001.
mla: Bartetzko, Detlef, et al. “Jass - Java with Assertions.” Electr. Notes Theor.
Comput. Sci., no. 2, 2001, pp. 103--117, doi:10.1016/S1571-0661(04)00247-6.
short: D. Bartetzko, C. Fischer, M. Möller, H. Wehrheim, Electr. Notes Theor. Comput.
Sci. (2001) 103--117.
date_created: 2018-06-14T07:14:07Z
date_updated: 2022-01-06T06:59:07Z
department:
- _id: '77'
doi: 10.1016/S1571-0661(04)00247-6
issue: '2'
page: 103--117
publication: Electr. Notes Theor. Comput. Sci.
status: public
title: Jass - Java with Assertions
type: journal_article
user_id: '29719'
year: '2001'
...
---
_id: '3246'
author:
- first_name: Clemens
full_name: Fischer, Clemens
last_name: Fischer
- first_name: Ernst-Rüdiger
full_name: Olderog, Ernst-Rüdiger
last_name: Olderog
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'Fischer C, Olderog E-R, Wehrheim H. A {CSP} View on {UML-RT} Structure Diagrams.
In: Hu{\ss}mann H, ed. Fundamental Approaches to Software Engineering, 4th
International Conference, {FASE} 2001 Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2001 Genova, Italy, April 2-6, 2001,
Proceedings. Lecture Notes in Computer Science. ; 2001:91--108. doi:10.1007/3-540-45314-8_8'
apa: Fischer, C., Olderog, E.-R., & Wehrheim, H. (2001). A {CSP} View on {UML-RT}
Structure Diagrams. In H. Hu{\ss}mann (Ed.), Fundamental Approaches to Software
Engineering, 4th International Conference, {FASE} 2001 Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2001 Genova,
Italy, April 2-6, 2001, Proceedings (pp. 91--108). https://doi.org/10.1007/3-540-45314-8_8
bibtex: '@inproceedings{Fischer_Olderog_Wehrheim_2001, series={Lecture Notes in
Computer Science}, title={A {CSP} View on {UML-RT} Structure Diagrams}, DOI={10.1007/3-540-45314-8_8}, booktitle={Fundamental
Approaches to Software Engineering, 4th International Conference, {FASE} 2001
Held as Part of the Joint European Conferences on Theory and Practice of Software,
{ETAPS} 2001 Genova, Italy, April 2-6, 2001, Proceedings}, author={Fischer, Clemens
and Olderog, Ernst-Rüdiger and Wehrheim, Heike}, editor={Hu{\ss}mann, HeinrichEditor},
year={2001}, pages={91--108}, collection={Lecture Notes in Computer Science} }'
chicago: Fischer, Clemens, Ernst-Rüdiger Olderog, and Heike Wehrheim. “A {CSP} View
on {UML-RT} Structure Diagrams.” In Fundamental Approaches to Software Engineering,
4th International Conference, {FASE} 2001 Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2001 Genova, Italy, April 2-6, 2001,
Proceedings, edited by Heinrich Hu{\ss}mann, 91--108. Lecture Notes in Computer
Science, 2001. https://doi.org/10.1007/3-540-45314-8_8.
ieee: C. Fischer, E.-R. Olderog, and H. Wehrheim, “A {CSP} View on {UML-RT} Structure
Diagrams,” in Fundamental Approaches to Software Engineering, 4th International
Conference, {FASE} 2001 Held as Part of the Joint European Conferences on Theory
and Practice of Software, {ETAPS} 2001 Genova, Italy, April 2-6, 2001, Proceedings,
2001, pp. 91--108.
mla: Fischer, Clemens, et al. “A {CSP} View on {UML-RT} Structure Diagrams.” Fundamental
Approaches to Software Engineering, 4th International Conference, {FASE} 2001
Held as Part of the Joint European Conferences on Theory and Practice of Software,
{ETAPS} 2001 Genova, Italy, April 2-6, 2001, Proceedings, edited by Heinrich
Hu{\ss}mann, 2001, pp. 91--108, doi:10.1007/3-540-45314-8_8.
short: 'C. Fischer, E.-R. Olderog, H. Wehrheim, in: H. Hu{\ss}mann (Ed.), Fundamental
Approaches to Software Engineering, 4th International Conference, {FASE} 2001
Held as Part of the Joint European Conferences on Theory and Practice of Software,
{ETAPS} 2001 Genova, Italy, April 2-6, 2001, Proceedings, 2001, pp. 91--108.'
date_created: 2018-06-14T07:15:07Z
date_updated: 2022-01-06T06:59:07Z
department:
- _id: '77'
doi: 10.1007/3-540-45314-8_8
editor:
- first_name: Heinrich
full_name: Hu{\ss}mann, Heinrich
last_name: Hu{\ss}mann
page: 91--108
publication: Fundamental Approaches to Software Engineering, 4th International Conference,
{FASE} 2001 Held as Part of the Joint European Conferences on Theory and Practice
of Software, {ETAPS} 2001 Genova, Italy, April 2-6, 2001, Proceedings
series_title: Lecture Notes in Computer Science
status: public
title: A {CSP} View on {UML-RT} Structure Diagrams
type: conference
user_id: '29719'
year: '2001'
...
---
_id: '3247'
author:
- first_name: Clemens
full_name: Fischer, Clemens
last_name: Fischer
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: Fischer C, Wehrheim H. Failure-Divergence Semantics as a Formal Basis for an
Object-Oriented Integrated Formal Method. Bulletin of the {EATCS}. 2000:92--101.
apa: Fischer, C., & Wehrheim, H. (2000). Failure-Divergence Semantics as a Formal
Basis for an Object-Oriented Integrated Formal Method. Bulletin of the {EATCS},
92--101.
bibtex: '@article{Fischer_Wehrheim_2000, title={Failure-Divergence Semantics as
a Formal Basis for an Object-Oriented Integrated Formal Method}, journal={Bulletin
of the {EATCS}}, author={Fischer, Clemens and Wehrheim, Heike}, year={2000}, pages={92--101}
}'
chicago: Fischer, Clemens, and Heike Wehrheim. “Failure-Divergence Semantics as
a Formal Basis for an Object-Oriented Integrated Formal Method.” Bulletin of
the {EATCS}, 2000, 92--101.
ieee: C. Fischer and H. Wehrheim, “Failure-Divergence Semantics as a Formal Basis
for an Object-Oriented Integrated Formal Method,” Bulletin of the {EATCS},
pp. 92--101, 2000.
mla: Fischer, Clemens, and Heike Wehrheim. “Failure-Divergence Semantics as a Formal
Basis for an Object-Oriented Integrated Formal Method.” Bulletin of the {EATCS},
2000, pp. 92--101.
short: C. Fischer, H. Wehrheim, Bulletin of the {EATCS} (2000) 92--101.
date_created: 2018-06-14T07:17:49Z
date_updated: 2022-01-06T06:59:07Z
department:
- _id: '77'
page: 92--101
publication: Bulletin of the {EATCS}
status: public
title: Failure-Divergence Semantics as a Formal Basis for an Object-Oriented Integrated
Formal Method
type: journal_article
user_id: '29719'
year: '2000'
...
---
_id: '3248'
author:
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: Wehrheim H. Data Abstraction Techniques in the Validation of {CSP-OZ} Specifications.
Formal Asp Comput. 2000;(3):147--164. doi:10.1007/s001650070026
apa: Wehrheim, H. (2000). Data Abstraction Techniques in the Validation of {CSP-OZ}
Specifications. Formal Asp. Comput., (3), 147--164. https://doi.org/10.1007/s001650070026
bibtex: '@article{Wehrheim_2000, title={Data Abstraction Techniques in the Validation
of {CSP-OZ} Specifications}, DOI={10.1007/s001650070026},
number={3}, journal={Formal Asp. Comput.}, author={Wehrheim, Heike}, year={2000},
pages={147--164} }'
chicago: 'Wehrheim, Heike. “Data Abstraction Techniques in the Validation of {CSP-OZ}
Specifications.” Formal Asp. Comput., no. 3 (2000): 147--164. https://doi.org/10.1007/s001650070026.'
ieee: H. Wehrheim, “Data Abstraction Techniques in the Validation of {CSP-OZ} Specifications,”
Formal Asp. Comput., no. 3, pp. 147--164, 2000.
mla: Wehrheim, Heike. “Data Abstraction Techniques in the Validation of {CSP-OZ}
Specifications.” Formal Asp. Comput., no. 3, 2000, pp. 147--164, doi:10.1007/s001650070026.
short: H. Wehrheim, Formal Asp. Comput. (2000) 147--164.
date_created: 2018-06-14T07:19:50Z
date_updated: 2022-01-06T06:59:07Z
department:
- _id: '77'
doi: 10.1007/s001650070026
issue: '3'
page: 147--164
publication: Formal Asp. Comput.
status: public
title: Data Abstraction Techniques in the Validation of {CSP-OZ} Specifications
type: journal_article
user_id: '29719'
year: '2000'
...
---
_id: '3249'
author:
- first_name: Clemens
full_name: Fischer, Clemens
last_name: Fischer
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'Fischer C, Wehrheim H. Behavioural Subtyping Relations for Object-Oriented
Formalisms. In: Rus T, ed. Algebraic Methodology and Software Technology. 8th
International Conference, {AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000,
Proceedings. Lecture Notes in Computer Science. ; 2000:469--483. doi:10.1007/3-540-45499-3_33'
apa: Fischer, C., & Wehrheim, H. (2000). Behavioural Subtyping Relations for
Object-Oriented Formalisms. In T. Rus (Ed.), Algebraic Methodology and Software
Technology. 8th International Conference, {AMAST} 2000, Iowa City, Iowa, USA,
May 20-27, 2000, Proceedings (pp. 469--483). https://doi.org/10.1007/3-540-45499-3_33
bibtex: '@inproceedings{Fischer_Wehrheim_2000, series={Lecture Notes in Computer
Science}, title={Behavioural Subtyping Relations for Object-Oriented Formalisms},
DOI={10.1007/3-540-45499-3_33},
booktitle={Algebraic Methodology and Software Technology. 8th International Conference,
{AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings}, author={Fischer,
Clemens and Wehrheim, Heike}, editor={Rus, TeodorEditor}, year={2000}, pages={469--483},
collection={Lecture Notes in Computer Science} }'
chicago: Fischer, Clemens, and Heike Wehrheim. “Behavioural Subtyping Relations
for Object-Oriented Formalisms.” In Algebraic Methodology and Software Technology.
8th International Conference, {AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000,
Proceedings, edited by Teodor Rus, 469--483. Lecture Notes in Computer Science,
2000. https://doi.org/10.1007/3-540-45499-3_33.
ieee: C. Fischer and H. Wehrheim, “Behavioural Subtyping Relations for Object-Oriented
Formalisms,” in Algebraic Methodology and Software Technology. 8th International
Conference, {AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings,
2000, pp. 469--483.
mla: Fischer, Clemens, and Heike Wehrheim. “Behavioural Subtyping Relations for
Object-Oriented Formalisms.” Algebraic Methodology and Software Technology.
8th International Conference, {AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000,
Proceedings, edited by Teodor Rus, 2000, pp. 469--483, doi:10.1007/3-540-45499-3_33.
short: 'C. Fischer, H. Wehrheim, in: T. Rus (Ed.), Algebraic Methodology and Software
Technology. 8th International Conference, {AMAST} 2000, Iowa City, Iowa, USA,
May 20-27, 2000, Proceedings, 2000, pp. 469--483.'
date_created: 2018-06-14T07:20:56Z
date_updated: 2022-01-06T06:59:07Z
department:
- _id: '77'
doi: 10.1007/3-540-45499-3_33
editor:
- first_name: Teodor
full_name: Rus, Teodor
last_name: Rus
page: 469--483
publication: Algebraic Methodology and Software Technology. 8th International Conference,
{AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings
series_title: Lecture Notes in Computer Science
status: public
title: Behavioural Subtyping Relations for Object-Oriented Formalisms
type: conference
user_id: '29719'
year: '2000'
...
---
_id: '3250'
author:
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'Wehrheim H. Specification of an Automatic Manufacturing System: {A} Case Study
in Using Integrated Formal Methods. In: S. E. Maibaum T, ed. Fundamental Approaches
to Software Engineering, Third Internationsl Conference, {FASE} 2000, Held as
Part of the European Joint Conferences on the Theory and Practice of Software,
{ETAPS} 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings. Lecture
Notes in Computer Science. ; 2000:334--348. doi:10.1007/3-540-46428-X_23'
apa: 'Wehrheim, H. (2000). Specification of an Automatic Manufacturing System: {A}
Case Study in Using Integrated Formal Methods. In T. S. E. Maibaum (Ed.), Fundamental
Approaches to Software Engineering, Third Internationsl Conference, {FASE} 2000,
Held as Part of the European Joint Conferences on the Theory and Practice of Software,
{ETAPS} 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings (pp.
334--348). https://doi.org/10.1007/3-540-46428-X_23'
bibtex: '@inproceedings{Wehrheim_2000, series={Lecture Notes in Computer Science},
title={Specification of an Automatic Manufacturing System: {A} Case Study in Using
Integrated Formal Methods}, DOI={10.1007/3-540-46428-X_23},
booktitle={Fundamental Approaches to Software Engineering, Third Internationsl
Conference, {FASE} 2000, Held as Part of the European Joint Conferences on the
Theory and Practice of Software, {ETAPS} 2000, Berlin, Germany, March 25 - April
2, 2000, Proceedings}, author={Wehrheim, Heike}, editor={S. E. Maibaum, T.Editor},
year={2000}, pages={334--348}, collection={Lecture Notes in Computer Science}
}'
chicago: 'Wehrheim, Heike. “Specification of an Automatic Manufacturing System:
{A} Case Study in Using Integrated Formal Methods.” In Fundamental Approaches
to Software Engineering, Third Internationsl Conference, {FASE} 2000, Held as
Part of the European Joint Conferences on the Theory and Practice of Software,
{ETAPS} 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings, edited
by T. S. E. Maibaum, 334--348. Lecture Notes in Computer Science, 2000. https://doi.org/10.1007/3-540-46428-X_23.'
ieee: 'H. Wehrheim, “Specification of an Automatic Manufacturing System: {A} Case
Study in Using Integrated Formal Methods,” in Fundamental Approaches to Software
Engineering, Third Internationsl Conference, {FASE} 2000, Held as Part of the
European Joint Conferences on the Theory and Practice of Software, {ETAPS} 2000,
Berlin, Germany, March 25 - April 2, 2000, Proceedings, 2000, pp. 334--348.'
mla: 'Wehrheim, Heike. “Specification of an Automatic Manufacturing System: {A}
Case Study in Using Integrated Formal Methods.” Fundamental Approaches to Software
Engineering, Third Internationsl Conference, {FASE} 2000, Held as Part of the
European Joint Conferences on the Theory and Practice of Software, {ETAPS} 2000,
Berlin, Germany, March 25 - April 2, 2000, Proceedings, edited by T. S. E.
Maibaum, 2000, pp. 334--348, doi:10.1007/3-540-46428-X_23.'
short: 'H. Wehrheim, in: T. S. E. Maibaum (Ed.), Fundamental Approaches to Software
Engineering, Third Internationsl Conference, {FASE} 2000, Held as Part of the
European Joint Conferences on the Theory and Practice of Software, {ETAPS} 2000,
Berlin, Germany, March 25 - April 2, 2000, Proceedings, 2000, pp. 334--348.'
date_created: 2018-06-14T07:22:20Z
date_updated: 2022-01-06T06:59:07Z
department:
- _id: '77'
doi: 10.1007/3-540-46428-X_23
editor:
- first_name: T.
full_name: S. E. Maibaum, T.
last_name: S. E. Maibaum
page: 334--348
publication: Fundamental Approaches to Software Engineering, Third Internationsl Conference,
{FASE} 2000, Held as Part of the European Joint Conferences on the Theory and Practice
of Software, {ETAPS} 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings
series_title: Lecture Notes in Computer Science
status: public
title: 'Specification of an Automatic Manufacturing System: {A} Case Study in Using
Integrated Formal Methods'
type: conference
user_id: '29719'
year: '2000'
...
---
_id: '3251'
author:
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'Wehrheim H. Behavioural Subtyping and Property Preservation. In: F. Smith
S, L. Talcott C, eds. Formal Methods for Open Object-Based Distributed Systems
IV, {IFIF} {TC6/WG6.1} Fourth International Conference on Formal Methods for Open
Object-Based Distributed Systems {(FMOODS} 2000), September 6-8, 2000, Stanford,
California, {USA}. {IFIP} Conference Proceedings. ; 2000:213--231. doi:10.1007/978-0-387-35520-7_11'
apa: Wehrheim, H. (2000). Behavioural Subtyping and Property Preservation. In S.
F. Smith & C. L. Talcott (Eds.), Formal Methods for Open Object-Based Distributed
Systems IV, {IFIF} {TC6/WG6.1} Fourth International Conference on Formal Methods
for Open Object-Based Distributed Systems {(FMOODS} 2000), September 6-8, 2000,
Stanford, California, {USA} (pp. 213--231). https://doi.org/10.1007/978-0-387-35520-7_11
bibtex: '@inproceedings{Wehrheim_2000, series={{IFIP} Conference Proceedings}, title={Behavioural
Subtyping and Property Preservation}, DOI={10.1007/978-0-387-35520-7_11},
booktitle={Formal Methods for Open Object-Based Distributed Systems IV, {IFIF}
{TC6/WG6.1} Fourth International Conference on Formal Methods for Open Object-Based
Distributed Systems {(FMOODS} 2000), September 6-8, 2000, Stanford, California,
{USA}}, author={Wehrheim, Heike}, editor={F. Smith, Scott and L. Talcott, CarolynEditors},
year={2000}, pages={213--231}, collection={{IFIP} Conference Proceedings} }'
chicago: Wehrheim, Heike. “Behavioural Subtyping and Property Preservation.” In
Formal Methods for Open Object-Based Distributed Systems IV, {IFIF} {TC6/WG6.1}
Fourth International Conference on Formal Methods for Open Object-Based Distributed
Systems {(FMOODS} 2000), September 6-8, 2000, Stanford, California, {USA},
edited by Scott F. Smith and Carolyn L. Talcott, 213--231. {IFIP} Conference Proceedings,
2000. https://doi.org/10.1007/978-0-387-35520-7_11.
ieee: H. Wehrheim, “Behavioural Subtyping and Property Preservation,” in Formal
Methods for Open Object-Based Distributed Systems IV, {IFIF} {TC6/WG6.1} Fourth
International Conference on Formal Methods for Open Object-Based Distributed Systems
{(FMOODS} 2000), September 6-8, 2000, Stanford, California, {USA}, 2000, pp.
213--231.
mla: Wehrheim, Heike. “Behavioural Subtyping and Property Preservation.” Formal
Methods for Open Object-Based Distributed Systems IV, {IFIF} {TC6/WG6.1} Fourth
International Conference on Formal Methods for Open Object-Based Distributed Systems
{(FMOODS} 2000), September 6-8, 2000, Stanford, California, {USA}, edited
by Scott F. Smith and Carolyn L. Talcott, 2000, pp. 213--231, doi:10.1007/978-0-387-35520-7_11.
short: 'H. Wehrheim, in: S. F. Smith, C. L. Talcott (Eds.), Formal Methods for Open
Object-Based Distributed Systems IV, {IFIF} {TC6/WG6.1} Fourth International Conference
on Formal Methods for Open Object-Based Distributed Systems {(FMOODS} 2000), September
6-8, 2000, Stanford, California, {USA}, 2000, pp. 213--231.'
date_created: 2018-06-14T07:25:14Z
date_updated: 2022-01-06T06:59:07Z
department:
- _id: '77'
doi: 10.1007/978-0-387-35520-7_11
editor:
- first_name: Scott
full_name: F. Smith, Scott
last_name: F. Smith
- first_name: Carolyn
full_name: L. Talcott, Carolyn
last_name: L. Talcott
page: 213--231
publication: Formal Methods for Open Object-Based Distributed Systems IV, {IFIF} {TC6/WG6.1}
Fourth International Conference on Formal Methods for Open Object-Based Distributed
Systems {(FMOODS} 2000), September 6-8, 2000, Stanford, California, {USA}
series_title: '{IFIP} Conference Proceedings'
status: public
title: Behavioural Subtyping and Property Preservation
type: conference
user_id: '29719'
year: '2000'
...
---
_id: '3252'
author:
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: Wehrheim H. Partial order reductions for failures refinement. Electr Notes
Theor Comput Sci. 1999:71--84. doi:10.1016/S1571-0661(05)80296-8
apa: Wehrheim, H. (1999). Partial order reductions for failures refinement. Electr.
Notes Theor. Comput. Sci., 71--84. https://doi.org/10.1016/S1571-0661(05)80296-8
bibtex: '@article{Wehrheim_1999, title={Partial order reductions for failures refinement},
DOI={10.1016/S1571-0661(05)80296-8},
journal={Electr. Notes Theor. Comput. Sci.}, author={Wehrheim, Heike}, year={1999},
pages={71--84} }'
chicago: Wehrheim, Heike. “Partial Order Reductions for Failures Refinement.” Electr.
Notes Theor. Comput. Sci., 1999, 71--84. https://doi.org/10.1016/S1571-0661(05)80296-8.
ieee: H. Wehrheim, “Partial order reductions for failures refinement,” Electr.
Notes Theor. Comput. Sci., pp. 71--84, 1999.
mla: Wehrheim, Heike. “Partial Order Reductions for Failures Refinement.” Electr.
Notes Theor. Comput. Sci., 1999, pp. 71--84, doi:10.1016/S1571-0661(05)80296-8.
short: H. Wehrheim, Electr. Notes Theor. Comput. Sci. (1999) 71--84.
date_created: 2018-06-14T07:26:58Z
date_updated: 2022-01-06T06:59:07Z
department:
- _id: '77'
doi: 10.1016/S1571-0661(05)80296-8
page: 71--84
publication: Electr. Notes Theor. Comput. Sci.
status: public
title: Partial order reductions for failures refinement
type: journal_article
user_id: '29719'
year: '1999'
...
---
_id: '3253'
author:
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'Wehrheim H. Data Abstraction for {CSP-OZ}. In: M. Wing J, Woodcock J, Davies
J, eds. FM’99 - Formal Methods, World Congress on Formal Methods in the Development
of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume
{II}. Lecture Notes in Computer Science. ; 1999:1028--1047. doi:10.1007/3-540-48118-4_5'
apa: Wehrheim, H. (1999). Data Abstraction for {CSP-OZ}. In J. M. Wing, J. Woodcock,
& J. Davies (Eds.), FM’99 - Formal Methods, World Congress on Formal Methods
in the Development of Computing Systems, Toulouse, France, September 20-24, 1999,
Proceedings, Volume {II} (pp. 1028--1047). https://doi.org/10.1007/3-540-48118-4_5
bibtex: '@inproceedings{Wehrheim_1999, series={Lecture Notes in Computer Science},
title={Data Abstraction for {CSP-OZ}}, DOI={10.1007/3-540-48118-4_5},
booktitle={FM’99 - Formal Methods, World Congress on Formal Methods in the Development
of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume
{II}}, author={Wehrheim, Heike}, editor={M. Wing, Jeannette and Woodcock, Jim
and Davies, JimEditors}, year={1999}, pages={1028--1047}, collection={Lecture
Notes in Computer Science} }'
chicago: Wehrheim, Heike. “Data Abstraction for {CSP-OZ}.” In FM’99 - Formal
Methods, World Congress on Formal Methods in the Development of Computing Systems,
Toulouse, France, September 20-24, 1999, Proceedings, Volume {II}, edited
by Jeannette M. Wing, Jim Woodcock, and Jim Davies, 1028--1047. Lecture Notes
in Computer Science, 1999. https://doi.org/10.1007/3-540-48118-4_5.
ieee: H. Wehrheim, “Data Abstraction for {CSP-OZ},” in FM’99 - Formal Methods,
World Congress on Formal Methods in the Development of Computing Systems, Toulouse,
France, September 20-24, 1999, Proceedings, Volume {II}, 1999, pp. 1028--1047.
mla: Wehrheim, Heike. “Data Abstraction for {CSP-OZ}.” FM’99 - Formal Methods,
World Congress on Formal Methods in the Development of Computing Systems, Toulouse,
France, September 20-24, 1999, Proceedings, Volume {II}, edited by Jeannette
M. Wing et al., 1999, pp. 1028--1047, doi:10.1007/3-540-48118-4_5.
short: 'H. Wehrheim, in: J. M. Wing, J. Woodcock, J. Davies (Eds.), FM’99 - Formal
Methods, World Congress on Formal Methods in the Development of Computing Systems,
Toulouse, France, September 20-24, 1999, Proceedings, Volume {II}, 1999, pp. 1028--1047.'
date_created: 2018-06-14T07:32:05Z
date_updated: 2022-01-06T06:59:07Z
department:
- _id: '77'
doi: 10.1007/3-540-48118-4_5
editor:
- first_name: Jeannette
full_name: M. Wing, Jeannette
last_name: M. Wing
- first_name: Jim
full_name: Woodcock, Jim
last_name: Woodcock
- first_name: Jim
full_name: Davies, Jim
last_name: Davies
page: 1028--1047
publication: FM'99 - Formal Methods, World Congress on Formal Methods in the Development
of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume
{II}
series_title: Lecture Notes in Computer Science
status: public
title: Data Abstraction for {CSP-OZ}
type: conference
user_id: '29719'
year: '1999'
...
---
_id: '3254'
author:
- first_name: Clemens
full_name: Fischer, Clemens
last_name: Fischer
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'Fischer C, Wehrheim H. Model-Checking {CSP-OZ} Specifications with {FDR}.
In: Araki K, Galloway A, Taguchi K, eds. Integrated Formal Methods, Proceedings
of the 1st International Conference on Integrated Formal Methods, {IFM} 99, York,
UK, 28-29 June 1999. ; 1999:315--334.'
apa: Fischer, C., & Wehrheim, H. (1999). Model-Checking {CSP-OZ} Specifications
with {FDR}. In K. Araki, A. Galloway, & K. Taguchi (Eds.), Integrated Formal
Methods, Proceedings of the 1st International Conference on Integrated Formal
Methods, {IFM} 99, York, UK, 28-29 June 1999 (pp. 315--334).
bibtex: '@inproceedings{Fischer_Wehrheim_1999, title={Model-Checking {CSP-OZ} Specifications
with {FDR}}, booktitle={Integrated Formal Methods, Proceedings of the 1st International
Conference on Integrated Formal Methods, {IFM} 99, York, UK, 28-29 June 1999},
author={Fischer, Clemens and Wehrheim, Heike}, editor={Araki, Keijiro and Galloway,
Andy and Taguchi, KenjiEditors}, year={1999}, pages={315--334} }'
chicago: Fischer, Clemens, and Heike Wehrheim. “Model-Checking {CSP-OZ} Specifications
with {FDR}.” In Integrated Formal Methods, Proceedings of the 1st International
Conference on Integrated Formal Methods, {IFM} 99, York, UK, 28-29 June 1999,
edited by Keijiro Araki, Andy Galloway, and Kenji Taguchi, 315--334, 1999.
ieee: C. Fischer and H. Wehrheim, “Model-Checking {CSP-OZ} Specifications with {FDR},”
in Integrated Formal Methods, Proceedings of the 1st International Conference
on Integrated Formal Methods, {IFM} 99, York, UK, 28-29 June 1999, 1999, pp.
315--334.
mla: Fischer, Clemens, and Heike Wehrheim. “Model-Checking {CSP-OZ} Specifications
with {FDR}.” Integrated Formal Methods, Proceedings of the 1st International
Conference on Integrated Formal Methods, {IFM} 99, York, UK, 28-29 June 1999,
edited by Keijiro Araki et al., 1999, pp. 315--334.
short: 'C. Fischer, H. Wehrheim, in: K. Araki, A. Galloway, K. Taguchi (Eds.), Integrated
Formal Methods, Proceedings of the 1st International Conference on Integrated
Formal Methods, {IFM} 99, York, UK, 28-29 June 1999, 1999, pp. 315--334.'
date_created: 2018-06-14T07:33:10Z
date_updated: 2022-01-06T06:59:07Z
department:
- _id: '77'
editor:
- first_name: Keijiro
full_name: Araki, Keijiro
last_name: Araki
- first_name: Andy
full_name: Galloway, Andy
last_name: Galloway
- first_name: Kenji
full_name: Taguchi, Kenji
last_name: Taguchi
page: 315--334
publication: Integrated Formal Methods, Proceedings of the 1st International Conference
on Integrated Formal Methods, {IFM} 99, York, UK, 28-29 June 1999
status: public
title: Model-Checking {CSP-OZ} Specifications with {FDR}
type: conference
user_id: '29719'
year: '1999'
...
---
_id: '3255'
author:
- first_name: Thomas
full_name: Gehrke, Thomas
last_name: Gehrke
- first_name: Michaela
full_name: Huhn, Michaela
last_name: Huhn
- first_name: Peter
full_name: Niebert, Peter
last_name: Niebert
- first_name: Arend
full_name: Rensink, Arend
last_name: Rensink
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'Gehrke T, Huhn M, Niebert P, Rensink A, Wehrheim H. A Process Algebra Semantics
for {MSC} Including Conditions. In: K{\"{o}}nig H, Langend{\"{o}}rfer P, eds.
Formale Beschreibungstechniken F{\"{u}}r Verteilte Systeme, 8. GI/ITG-Fachgespr{\"{a}}ch,
Cottbus, 4. Und 5. Juni 1998. ; 1998:185--196.'
apa: Gehrke, T., Huhn, M., Niebert, P., Rensink, A., & Wehrheim, H. (1998).
A Process Algebra Semantics for {MSC} Including Conditions. In H. K{\"{o}}nig
& P. Langend{\"{o}}rfer (Eds.), Formale Beschreibungstechniken f{\"{u}}r
verteilte Systeme, 8. GI/ITG-Fachgespr{\"{a}}ch, Cottbus, 4. und 5. Juni 1998
(pp. 185--196).
bibtex: '@inproceedings{Gehrke_Huhn_Niebert_Rensink_Wehrheim_1998, title={A Process
Algebra Semantics for {MSC} Including Conditions}, booktitle={Formale Beschreibungstechniken
f{\"{u}}r verteilte Systeme, 8. GI/ITG-Fachgespr{\"{a}}ch, Cottbus, 4. und 5.
Juni 1998}, author={Gehrke, Thomas and Huhn, Michaela and Niebert, Peter and Rensink,
Arend and Wehrheim, Heike}, editor={K{\"{o}}nig, Hartmut and Langend{\"{o}}rfer,
PeterEditors}, year={1998}, pages={185--196} }'
chicago: Gehrke, Thomas, Michaela Huhn, Peter Niebert, Arend Rensink, and Heike
Wehrheim. “A Process Algebra Semantics for {MSC} Including Conditions.” In Formale
Beschreibungstechniken F{\"{u}}r Verteilte Systeme, 8. GI/ITG-Fachgespr{\"{a}}ch,
Cottbus, 4. Und 5. Juni 1998, edited by Hartmut K{\"{o}}nig and Peter Langend{\"{o}}rfer,
185--196, 1998.
ieee: T. Gehrke, M. Huhn, P. Niebert, A. Rensink, and H. Wehrheim, “A Process Algebra
Semantics for {MSC} Including Conditions,” in Formale Beschreibungstechniken
f{\"{u}}r verteilte Systeme, 8. GI/ITG-Fachgespr{\"{a}}ch, Cottbus, 4. und 5.
Juni 1998, 1998, pp. 185--196.
mla: Gehrke, Thomas, et al. “A Process Algebra Semantics for {MSC} Including Conditions.”
Formale Beschreibungstechniken F{\"{u}}r Verteilte Systeme, 8. GI/ITG-Fachgespr{\"{a}}ch,
Cottbus, 4. Und 5. Juni 1998, edited by Hartmut K{\"{o}}nig and Peter Langend{\"{o}}rfer,
1998, pp. 185--196.
short: 'T. Gehrke, M. Huhn, P. Niebert, A. Rensink, H. Wehrheim, in: H. K{\"{o}}nig,
P. Langend{\"{o}}rfer (Eds.), Formale Beschreibungstechniken F{\"{u}}r Verteilte
Systeme, 8. GI/ITG-Fachgespr{\"{a}}ch, Cottbus, 4. Und 5. Juni 1998, 1998, pp.
185--196.'
date_created: 2018-06-14T07:34:22Z
date_updated: 2022-01-06T06:59:07Z
department:
- _id: '77'
editor:
- first_name: Hartmut
full_name: K{\"{o}}nig, Hartmut
last_name: K{\"{o}}nig
- first_name: Peter
full_name: Langend{\"{o}}rfer, Peter
last_name: Langend{\"{o}}rfer
page: 185--196
publication: Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, 8. GI/ITG-Fachgespr{\"{a}}ch,
Cottbus, 4. und 5. Juni 1998
status: public
title: A Process Algebra Semantics for {MSC} Including Conditions
type: conference
user_id: '29719'
year: '1998'
...
---
_id: '3256'
author:
- first_name: Thomas
full_name: Gehrke, Thomas
last_name: Gehrke
- first_name: Michaela
full_name: Huhn, Michaela
last_name: Huhn
- first_name: Arend
full_name: Rensink, Arend
last_name: Rensink
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'Gehrke T, Huhn M, Rensink A, Wehrheim H. An Algebraic Semantics for Message
Sequence Chart Documents. In: Budkowski S, R. Cavalli A, Najm E, eds. Formal
Description Techniques and Protocol Specification, Testing and Verification, {FORTE}
{XI} / {PSTV} XVIII’98, {IFIP} {TC6} {WG6.1} Joint International Conference on
Formal Description Techniques for Distributed Systems and Communication Protocols
{(FORTE} {XI)} and Protocol Specification, Testing and Verification {(PSTV} XVIII),
3-6 November, 1998, Paris, France. {IFIP} Conference Proceedings. ; 1998:3--18.'
apa: Gehrke, T., Huhn, M., Rensink, A., & Wehrheim, H. (1998). An Algebraic
Semantics for Message Sequence Chart Documents. In S. Budkowski, A. R. Cavalli,
& E. Najm (Eds.), Formal Description Techniques and Protocol Specification,
Testing and Verification, {FORTE} {XI} / {PSTV} XVIII’98, {IFIP} {TC6} {WG6.1}
Joint International Conference on Formal Description Techniques for Distributed
Systems and Communication Protocols {(FORTE} {XI)} and Protocol Specification,
Testing and Verification {(PSTV} XVIII), 3-6 November, 1998, Paris, France
(pp. 3--18).
bibtex: '@inproceedings{Gehrke_Huhn_Rensink_Wehrheim_1998, series={{IFIP} Conference
Proceedings}, title={An Algebraic Semantics for Message Sequence Chart Documents},
booktitle={Formal Description Techniques and Protocol Specification, Testing and
Verification, {FORTE} {XI} / {PSTV} XVIII’98, {IFIP} {TC6} {WG6.1} Joint International
Conference on Formal Description Techniques for Distributed Systems and Communication
Protocols {(FORTE} {XI)} and Protocol Specification, Testing and Verification
{(PSTV} XVIII), 3-6 November, 1998, Paris, France}, author={Gehrke, Thomas and
Huhn, Michaela and Rensink, Arend and Wehrheim, Heike}, editor={Budkowski, Stanislaw
and R. Cavalli, Ana and Najm, ElieEditors}, year={1998}, pages={3--18}, collection={{IFIP}
Conference Proceedings} }'
chicago: Gehrke, Thomas, Michaela Huhn, Arend Rensink, and Heike Wehrheim. “An Algebraic
Semantics for Message Sequence Chart Documents.” In Formal Description Techniques
and Protocol Specification, Testing and Verification, {FORTE} {XI} / {PSTV} XVIII’98,
{IFIP} {TC6} {WG6.1} Joint International Conference on Formal Description Techniques
for Distributed Systems and Communication Protocols {(FORTE} {XI)} and Protocol
Specification, Testing and Verification {(PSTV} XVIII), 3-6 November, 1998, Paris,
France, edited by Stanislaw Budkowski, Ana R. Cavalli, and Elie Najm, 3--18.
{IFIP} Conference Proceedings, 1998.
ieee: T. Gehrke, M. Huhn, A. Rensink, and H. Wehrheim, “An Algebraic Semantics for
Message Sequence Chart Documents,” in Formal Description Techniques and Protocol
Specification, Testing and Verification, {FORTE} {XI} / {PSTV} XVIII’98, {IFIP}
{TC6} {WG6.1} Joint International Conference on Formal Description Techniques
for Distributed Systems and Communication Protocols {(FORTE} {XI)} and Protocol
Specification, Testing and Verification {(PSTV} XVIII), 3-6 November, 1998, Paris,
France, 1998, pp. 3--18.
mla: Gehrke, Thomas, et al. “An Algebraic Semantics for Message Sequence Chart Documents.”
Formal Description Techniques and Protocol Specification, Testing and Verification,
{FORTE} {XI} / {PSTV} XVIII’98, {IFIP} {TC6} {WG6.1} Joint International Conference
on Formal Description Techniques for Distributed Systems and Communication Protocols
{(FORTE} {XI)} and Protocol Specification, Testing and Verification {(PSTV} XVIII),
3-6 November, 1998, Paris, France, edited by Stanislaw Budkowski et al., 1998,
pp. 3--18.
short: 'T. Gehrke, M. Huhn, A. Rensink, H. Wehrheim, in: S. Budkowski, A. R. Cavalli,
E. Najm (Eds.), Formal Description Techniques and Protocol Specification, Testing
and Verification, {FORTE} {XI} / {PSTV} XVIII’98, {IFIP} {TC6} {WG6.1} Joint International
Conference on Formal Description Techniques for Distributed Systems and Communication
Protocols {(FORTE} {XI)} and Protocol Specification, Testing and Verification
{(PSTV} XVIII), 3-6 November, 1998, Paris, France, 1998, pp. 3--18.'
date_created: 2018-06-14T07:35:45Z
date_updated: 2022-01-06T06:59:07Z
department:
- _id: '77'
editor:
- first_name: Stanislaw
full_name: Budkowski, Stanislaw
last_name: Budkowski
- first_name: Ana
full_name: R. Cavalli, Ana
last_name: R. Cavalli
- first_name: Elie
full_name: Najm, Elie
last_name: Najm
page: 3--18
publication: Formal Description Techniques and Protocol Specification, Testing and
Verification, {FORTE} {XI} / {PSTV} XVIII'98, {IFIP} {TC6} {WG6.1} Joint International
Conference on Formal Description Techniques for Distributed Systems and Communication
Protocols {(FORTE} {XI)} and Protocol Specification, Testing and Verification {(PSTV}
XVIII), 3-6 November, 1998, Paris, France
series_title: '{IFIP} Conference Proceedings'
status: public
title: An Algebraic Semantics for Message Sequence Chart Documents
type: conference
user_id: '29719'
year: '1998'
...
---
_id: '3257'
author:
- first_name: Michaela
full_name: Huhn, Michaela
last_name: Huhn
- first_name: Peter
full_name: Niebert, Peter
last_name: Niebert
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'Huhn M, Niebert P, Wehrheim H. Partial Order Reductions for Bisimulation Checking.
In: Arvind V, Ramanujam R, eds. Foundations of Software Technology and Theoretical
Computer Science, 18th Conference, Chennai, India, December 17-19, 1998, Proceedings.
Lecture Notes in Computer Science. ; 1998:271--282. doi:10.1007/978-3-540-49382-2_26'
apa: Huhn, M., Niebert, P., & Wehrheim, H. (1998). Partial Order Reductions
for Bisimulation Checking. In V. Arvind & R. Ramanujam (Eds.), Foundations
of Software Technology and Theoretical Computer Science, 18th Conference, Chennai,
India, December 17-19, 1998, Proceedings (pp. 271--282). https://doi.org/10.1007/978-3-540-49382-2_26
bibtex: '@inproceedings{Huhn_Niebert_Wehrheim_1998, series={Lecture Notes in Computer
Science}, title={Partial Order Reductions for Bisimulation Checking}, DOI={10.1007/978-3-540-49382-2_26},
booktitle={Foundations of Software Technology and Theoretical Computer Science,
18th Conference, Chennai, India, December 17-19, 1998, Proceedings}, author={Huhn,
Michaela and Niebert, Peter and Wehrheim, Heike}, editor={Arvind, Vikraman and
Ramanujam, RamaswamyEditors}, year={1998}, pages={271--282}, collection={Lecture
Notes in Computer Science} }'
chicago: Huhn, Michaela, Peter Niebert, and Heike Wehrheim. “Partial Order Reductions
for Bisimulation Checking.” In Foundations of Software Technology and Theoretical
Computer Science, 18th Conference, Chennai, India, December 17-19, 1998, Proceedings,
edited by Vikraman Arvind and Ramaswamy Ramanujam, 271--282. Lecture Notes in
Computer Science, 1998. https://doi.org/10.1007/978-3-540-49382-2_26.
ieee: M. Huhn, P. Niebert, and H. Wehrheim, “Partial Order Reductions for Bisimulation
Checking,” in Foundations of Software Technology and Theoretical Computer Science,
18th Conference, Chennai, India, December 17-19, 1998, Proceedings, 1998,
pp. 271--282.
mla: Huhn, Michaela, et al. “Partial Order Reductions for Bisimulation Checking.”
Foundations of Software Technology and Theoretical Computer Science, 18th Conference,
Chennai, India, December 17-19, 1998, Proceedings, edited by Vikraman Arvind
and Ramaswamy Ramanujam, 1998, pp. 271--282, doi:10.1007/978-3-540-49382-2_26.
short: 'M. Huhn, P. Niebert, H. Wehrheim, in: V. Arvind, R. Ramanujam (Eds.), Foundations
of Software Technology and Theoretical Computer Science, 18th Conference, Chennai,
India, December 17-19, 1998, Proceedings, 1998, pp. 271--282.'
date_created: 2018-06-14T07:37:32Z
date_updated: 2022-01-06T06:59:07Z
department:
- _id: '77'
doi: 10.1007/978-3-540-49382-2_26
editor:
- first_name: Vikraman
full_name: Arvind, Vikraman
last_name: Arvind
- first_name: Ramaswamy
full_name: Ramanujam, Ramaswamy
last_name: Ramanujam
page: 271--282
publication: Foundations of Software Technology and Theoretical Computer Science,
18th Conference, Chennai, India, December 17-19, 1998, Proceedings
series_title: Lecture Notes in Computer Science
status: public
title: Partial Order Reductions for Bisimulation Checking
type: conference
user_id: '29719'
year: '1998'
...
---
_id: '3258'
author:
- first_name: Arend
full_name: Rensink, Arend
last_name: Rensink
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'Rensink A, Wehrheim H. Dependency-Based Action Refinement. In: Pr{\’{\i}}vara
I, Ruzicka P, eds. Mathematical Foundations of Computer Science 1997, 22nd
International Symposium, MFCS’97, Bratislava, Slovakia, August 25-29, 1997, Proceedings.
Lecture Notes in Computer Science. ; 1997:468--477. doi:10.1007/BFb0029990'
apa: Rensink, A., & Wehrheim, H. (1997). Dependency-Based Action Refinement.
In I. Pr{\’{\i}}vara & P. Ruzicka (Eds.), Mathematical Foundations of Computer
Science 1997, 22nd International Symposium, MFCS’97, Bratislava, Slovakia, August
25-29, 1997, Proceedings (pp. 468--477). https://doi.org/10.1007/BFb0029990
bibtex: '@inproceedings{Rensink_Wehrheim_1997, series={Lecture Notes in Computer
Science}, title={Dependency-Based Action Refinement}, DOI={10.1007/BFb0029990},
booktitle={Mathematical Foundations of Computer Science 1997, 22nd International
Symposium, MFCS’97, Bratislava, Slovakia, August 25-29, 1997, Proceedings}, author={Rensink,
Arend and Wehrheim, Heike}, editor={Pr{\’{\i}}vara, Igor and Ruzicka, PeterEditors},
year={1997}, pages={468--477}, collection={Lecture Notes in Computer Science}
}'
chicago: Rensink, Arend, and Heike Wehrheim. “Dependency-Based Action Refinement.”
In Mathematical Foundations of Computer Science 1997, 22nd International Symposium,
MFCS’97, Bratislava, Slovakia, August 25-29, 1997, Proceedings, edited by
Igor Pr{\’{\i}}vara and Peter Ruzicka, 468--477. Lecture Notes in Computer Science,
1997. https://doi.org/10.1007/BFb0029990.
ieee: A. Rensink and H. Wehrheim, “Dependency-Based Action Refinement,” in Mathematical
Foundations of Computer Science 1997, 22nd International Symposium, MFCS’97, Bratislava,
Slovakia, August 25-29, 1997, Proceedings, 1997, pp. 468--477.
mla: Rensink, Arend, and Heike Wehrheim. “Dependency-Based Action Refinement.” Mathematical
Foundations of Computer Science 1997, 22nd International Symposium, MFCS’97, Bratislava,
Slovakia, August 25-29, 1997, Proceedings, edited by Igor Pr{\’{\i}}vara and
Peter Ruzicka, 1997, pp. 468--477, doi:10.1007/BFb0029990.
short: 'A. Rensink, H. Wehrheim, in: I. Pr{\’{\i}}vara, P. Ruzicka (Eds.), Mathematical
Foundations of Computer Science 1997, 22nd International Symposium, MFCS’97, Bratislava,
Slovakia, August 25-29, 1997, Proceedings, 1997, pp. 468--477.'
date_created: 2018-06-14T07:40:10Z
date_updated: 2022-01-06T06:59:07Z
department:
- _id: '77'
doi: 10.1007/BFb0029990
editor:
- first_name: Igor
full_name: Pr{\'{\i}}vara, Igor
last_name: Pr{\'{\i}}vara
- first_name: Peter
full_name: Ruzicka, Peter
last_name: Ruzicka
page: 468--477
publication: Mathematical Foundations of Computer Science 1997, 22nd International
Symposium, MFCS'97, Bratislava, Slovakia, August 25-29, 1997, Proceedings
series_title: Lecture Notes in Computer Science
status: public
title: Dependency-Based Action Refinement
type: conference
user_id: '29719'
year: '1997'
...