×
Author ID: wehrheim.heike Recent zbMATH articles by "Wehrheim, Heike"
Published as: Wehrheim, Heike

Publications by Year

Citations contained in zbMATH Open

40 Publications have been cited 136 times in 97 Documents Cited by Year
Using coupled simulations in non-atomic refinement. Zbl 1028.68541
Derrick, John; Wehrheim, Heike
9
2003
A sound and complete proof technique for linearizability of concurrent data structures. Zbl 1354.68066
Schellhorn, Gerhard; Derrick, John; Wehrheim, Heike
8
2014
Model-checking CSP-OZ specifications with FDR. Zbl 0963.68128
Fischer, Clemens; Wehrheim, Heike
7
1999
Slicing Object-Z specifications for verification. Zbl 1118.68541
Brückner, Ingo; Wehrheim, Heike
7
2005
Specification and (property) inheritance in CSP-OZ. Zbl 1075.68051
Olderog, Ernst-Rüdiger; Wehrheim, Heike
6
2005
The behavioural semantics of Event-B refinement. Zbl 1342.68211
Schneider, Steve; Treharne, Helen; Wehrheim, Heike
6
2014
Behavioural subtyping relations for object-oriented formalisms. Zbl 0983.68030
Fischer, Clemens; Wehrheim, Heike
5
2000
Slicing abstractions. Zbl 1141.68457
Brückner, Ingo; Dräger, Klaus; Finkbeiner, Bernd; Wehrheim, Heike
5
2007
Verifying opacity of a transactional mutex lock. Zbl 1427.68190
Derrick, John; Dongol, Brijesh; Schellhorn, Gerhard; Travkin, Oleg; Wehrheim, Heike
5
2015
Sound and complete abstract graph transformation. Zbl 1349.68106
Steenken, Dominik; Wehrheim, Heike; Wonisch, Daniel
5
2011
Integrating a formal method into a software engineering process with UML and Java. Zbl 1141.68024
Möller, Michael; Olderog, Ernst-Rüdiger; Rasch, Holger; Wehrheim, Heike
4
2008
Verifying correctness of persistent concurrent data structures: a sound and complete method. Zbl 1519.68133
Derrick, John; Doherty, Simon; Dongol, Brijesh; Schellhorn, Gerhard; Wehrheim, Heike
4
2021
Slicing abstractions. Zbl 1154.68079
Brückner, Ingo; Dräger, Klaus; Finkbeiner, Bernd; Wehrheim, Heike
4
2008
Integrating Owicki-Gries for C11-style memory models into Isabelle/HOL. Zbl 07498610
Dalvandi, Sadegh; Dongol, Brijesh; Doherty, Simon; Wehrheim, Heike
4
2022
Behavioral subtyping relations for active objects. Zbl 1057.68015
Wehrheim, Heike
3
2003
A CSP view on UML-RT structure diagrams. Zbl 0977.68575
Fischer, Clemens; Olderog, Ernst-Rüdiger; Wehrheim, Heike
3
2001
Behavioural subtyping and property preservation. Zbl 0968.68114
Wehrheim, Heike
3
2000
Process algebra with action dependencies. Zbl 1023.68067
Rensink, Arend; Wehrheim, Heike
3
2001
Inheritance of temporal logic properties. Zbl 1253.68223
Wehrheim, Heike
3
2003
Verification of concurrent programs on weak memory models. Zbl 1482.68147
Travkin, Oleg; Wehrheim, Heike
3
2016
Proving linearizability via non-atomic refinement. Zbl 1213.68370
Derrick, John; Schellhorn, Gerhard; Wehrheim, Heike
3
2007
Analysis of UML activities using dynamic meta modeling. Zbl 1202.68095
Engels, Gregor; Soltenborn, Christian; Wehrheim, Heike
3
2007
Proving opacity of a pessimistic STM. Zbl 1432.68070
Doherty, Simon; Dongol, Brijesh; Derrick, John; Schellhorn, Gerhard; Wehrheim, Heike
3
2017
Defining and verifying durable opacity: correctness for persistent software transactional memory. Zbl 1511.68072
Bila, Eleni; Doherty, Simon; Dongol, Brijesh; Derrick, John; Schellhorn, Gerhard; Wehrheim, Heike
3
2020
Causal testing. Zbl 1499.68224
Goltz, Ursula; Wehrheim, Heike
3
1996
Data abstraction techniques in the validation of CSP-OZ specifications. Zbl 0966.68125
Wehrheim, Heike
2
2000
Model transformations incorporating multiple views. Zbl 1236.68037
Derrick, John; Wehrheim, Heike
2
2006
Correct system design. Symposium in honor of Ernst-Rüdiger Olderog on the occasion of his 60th birthday, Oldenburg, Germany, September 8–9, 2015. Proceedings. Zbl 1320.68024
2
2015
Checking consistency in UML diagrams: classes and state machines. Zbl 1253.68096
Rasch, Holger; Wehrheim, Heike
2
2003
Slicing techniques for verification re-use. Zbl 1079.68061
Wehrheim, Heike
2
2005
Partial order reductions for failures refinement. Zbl 0958.68102
Wehrheim, Heike
2
1999
Refactoring object-oriented specifications with data and processes. Zbl 1202.68102
Ruhroth, Thomas; Wehrheim, Heike
2
2007
Mechanized proofs of opacity: a comparison of two techniques. Zbl 1395.68186
Derrick, John; Doherty, Simon; Dongol, Brijesh; Schellhorn, Gerhard; Travkin, Oleg; Wehrheim, Heike
2
2018
Unifying operational weak memory verification: an axiomatic approach. Zbl 1508.68216
Doherty, Simon; Dalvandi, Sadegh; Dongol, Brijesh; Wehrheim, Heike
2
2022
Preserving properties under change. Zbl 1104.68426
Wehrheim, Heike
1
2004
Failure-divergence semantics as a formal basis for an object-oriented integrated formal method. Zbl 0973.68151
Fischer, Clemens; Wehrheim, Heike
1
2000
Non-atomic refinement in Z and CSP. Zbl 1118.68542
Derrick, John; Wehrheim, Heike
1
2005
Optimizing slicing of formal specifications by deductive verification. Zbl 1114.68051
Brückner, Ingo; Metzler, Björn; Wehrheim, Heike
1
2006
On using data abstractions for model checking refinements. Zbl 1111.68077
Derrick, John; Wehrheim, Heike
1
2007
Making linearizability compositional for partially ordered executions. Zbl 1514.68164
Doherty, Simon; Dongol, Brijesh; Wehrheim, Heike; Derrick, John
1
2018
Integrating Owicki-Gries for C11-style memory models into Isabelle/HOL. Zbl 07498610
Dalvandi, Sadegh; Dongol, Brijesh; Doherty, Simon; Wehrheim, Heike
4
2022
Unifying operational weak memory verification: an axiomatic approach. Zbl 1508.68216
Doherty, Simon; Dalvandi, Sadegh; Dongol, Brijesh; Wehrheim, Heike
2
2022
Verifying correctness of persistent concurrent data structures: a sound and complete method. Zbl 1519.68133
Derrick, John; Doherty, Simon; Dongol, Brijesh; Schellhorn, Gerhard; Wehrheim, Heike
4
2021
Defining and verifying durable opacity: correctness for persistent software transactional memory. Zbl 1511.68072
Bila, Eleni; Doherty, Simon; Dongol, Brijesh; Derrick, John; Schellhorn, Gerhard; Wehrheim, Heike
3
2020
Mechanized proofs of opacity: a comparison of two techniques. Zbl 1395.68186
Derrick, John; Doherty, Simon; Dongol, Brijesh; Schellhorn, Gerhard; Travkin, Oleg; Wehrheim, Heike
2
2018
Making linearizability compositional for partially ordered executions. Zbl 1514.68164
Doherty, Simon; Dongol, Brijesh; Wehrheim, Heike; Derrick, John
1
2018
Proving opacity of a pessimistic STM. Zbl 1432.68070
Doherty, Simon; Dongol, Brijesh; Derrick, John; Schellhorn, Gerhard; Wehrheim, Heike
3
2017
Verification of concurrent programs on weak memory models. Zbl 1482.68147
Travkin, Oleg; Wehrheim, Heike
3
2016
Verifying opacity of a transactional mutex lock. Zbl 1427.68190
Derrick, John; Dongol, Brijesh; Schellhorn, Gerhard; Travkin, Oleg; Wehrheim, Heike
5
2015
Correct system design. Symposium in honor of Ernst-Rüdiger Olderog on the occasion of his 60th birthday, Oldenburg, Germany, September 8–9, 2015. Proceedings. Zbl 1320.68024
2
2015
A sound and complete proof technique for linearizability of concurrent data structures. Zbl 1354.68066
Schellhorn, Gerhard; Derrick, John; Wehrheim, Heike
8
2014
The behavioural semantics of Event-B refinement. Zbl 1342.68211
Schneider, Steve; Treharne, Helen; Wehrheim, Heike
6
2014
Sound and complete abstract graph transformation. Zbl 1349.68106
Steenken, Dominik; Wehrheim, Heike; Wonisch, Daniel
5
2011
Integrating a formal method into a software engineering process with UML and Java. Zbl 1141.68024
Möller, Michael; Olderog, Ernst-Rüdiger; Rasch, Holger; Wehrheim, Heike
4
2008
Slicing abstractions. Zbl 1154.68079
Brückner, Ingo; Dräger, Klaus; Finkbeiner, Bernd; Wehrheim, Heike
4
2008
Slicing abstractions. Zbl 1141.68457
Brückner, Ingo; Dräger, Klaus; Finkbeiner, Bernd; Wehrheim, Heike
5
2007
Proving linearizability via non-atomic refinement. Zbl 1213.68370
Derrick, John; Schellhorn, Gerhard; Wehrheim, Heike
3
2007
Analysis of UML activities using dynamic meta modeling. Zbl 1202.68095
Engels, Gregor; Soltenborn, Christian; Wehrheim, Heike
3
2007
Refactoring object-oriented specifications with data and processes. Zbl 1202.68102
Ruhroth, Thomas; Wehrheim, Heike
2
2007
On using data abstractions for model checking refinements. Zbl 1111.68077
Derrick, John; Wehrheim, Heike
1
2007
Model transformations incorporating multiple views. Zbl 1236.68037
Derrick, John; Wehrheim, Heike
2
2006
Optimizing slicing of formal specifications by deductive verification. Zbl 1114.68051
Brückner, Ingo; Metzler, Björn; Wehrheim, Heike
1
2006
Slicing Object-Z specifications for verification. Zbl 1118.68541
Brückner, Ingo; Wehrheim, Heike
7
2005
Specification and (property) inheritance in CSP-OZ. Zbl 1075.68051
Olderog, Ernst-Rüdiger; Wehrheim, Heike
6
2005
Slicing techniques for verification re-use. Zbl 1079.68061
Wehrheim, Heike
2
2005
Non-atomic refinement in Z and CSP. Zbl 1118.68542
Derrick, John; Wehrheim, Heike
1
2005
Preserving properties under change. Zbl 1104.68426
Wehrheim, Heike
1
2004
Using coupled simulations in non-atomic refinement. Zbl 1028.68541
Derrick, John; Wehrheim, Heike
9
2003
Behavioral subtyping relations for active objects. Zbl 1057.68015
Wehrheim, Heike
3
2003
Inheritance of temporal logic properties. Zbl 1253.68223
Wehrheim, Heike
3
2003
Checking consistency in UML diagrams: classes and state machines. Zbl 1253.68096
Rasch, Holger; Wehrheim, Heike
2
2003
A CSP view on UML-RT structure diagrams. Zbl 0977.68575
Fischer, Clemens; Olderog, Ernst-Rüdiger; Wehrheim, Heike
3
2001
Process algebra with action dependencies. Zbl 1023.68067
Rensink, Arend; Wehrheim, Heike
3
2001
Behavioural subtyping relations for object-oriented formalisms. Zbl 0983.68030
Fischer, Clemens; Wehrheim, Heike
5
2000
Behavioural subtyping and property preservation. Zbl 0968.68114
Wehrheim, Heike
3
2000
Data abstraction techniques in the validation of CSP-OZ specifications. Zbl 0966.68125
Wehrheim, Heike
2
2000
Failure-divergence semantics as a formal basis for an object-oriented integrated formal method. Zbl 0973.68151
Fischer, Clemens; Wehrheim, Heike
1
2000
Model-checking CSP-OZ specifications with FDR. Zbl 0963.68128
Fischer, Clemens; Wehrheim, Heike
7
1999
Partial order reductions for failures refinement. Zbl 0958.68102
Wehrheim, Heike
2
1999
Causal testing. Zbl 1499.68224
Goltz, Ursula; Wehrheim, Heike
3
1996
all top 5

Cited by 162 Authors

17 Wehrheim, Heike
12 Derrick, John
11 Schellhorn, Gerhard
10 Dongol, Brijesh
6 Colvin, Robert J.
6 Doherty, Simon
6 Smith, Graeme
4 Schneider, Steve A.
4 Treharne, Helen
4 Winter, Kirsten
3 Boiten, Eerke A.
3 Jongmans, Sung-Shik T. Q.
3 Mota, Alexandre C.
3 Reeves, Steve
3 Streader, David
2 Andova, Suzana
2 Beneš, Nikola
2 Bila, Eleni
2 Bozhenkova, Elena N.
2 Brim, Luboš
2 Černá, Ivana
2 de Vink, Erik P.
2 Dovland, Johan
2 Edixhoven, Luc
2 Gorrieri, Roberto
2 Groenewegen, Luuk P. J.
2 Hajdu, Ákos
2 Hayes, Ian J.
2 Heckel, Reiko
2 Hoenicke, Jochen
2 Johnsen, Einar Broch
2 Olderog, Ernst-Rüdiger
2 Owe, Olaf
2 Podelski, Andreas
2 Proença, José
2 Rafe, Vahid
2 Rahmani, Adel T.
2 Reif, Wolfgang
2 Ruhroth, Thomas
2 Saadat, Maryam Ghaffari
2 Sampaio, Augusto C. A.
2 Sochor, Jiri
2 Travkin, Oleg
2 Vařeková, Pavlina
2 Virbitskaite, Irina B.
1 Abdulla, Parosh Aziz
1 Aiguier, Marc
1 Amálio, Nuno
1 Atig, Mohamed Faouzi
1 Baier, Christel
1 Banach, Richard
1 Bargmann, Lara
1 Bäumler, Simon
1 Behr, Nicolas
1 Beyer, Dirk
1 Birkedal, Lars
1 Bisping, Benjamin
1 Bitterlich, Martin
1 Bodenmüller, Stefan
1 Bouajjani, Ahmed
1 Bresolin, Davide
1 Bruns, Daniel
1 Buhnova, B.
1 Bunte, Olav
1 Castellani, Ilaria
1 Cavalcanti, Ana
1 Chen, Zhenbang
1 Chen, Zhiyuan
1 Cledou, Guillermina
1 Coenen, Norine
1 Comet, Jean-Paul
1 Corradini, Andrea
1 Dalvandi, Sadegh
1 Dangl, Matthias
1 Deng, Robert Huijie
1 Didier, André
1 Dobrikov, Ivaylo
1 Dodds, Mike
1 Dyck, Johannes
1 Dzetkulič, Tomáš
1 Ermis, Evren
1 Farias, Adalberto
1 Farrell, Marie
1 Ferreira, Patrícia
1 Finkbeiner, Bernd
1 Frumin, Dan
1 Funke, Florian
1 Gallois, Jean-Pierre
1 Garavel, Hubert
1 Gaudel, Marie-Claude
1 Giese, Holger
1 Goltz, Ursula
1 Gotsman, Alexey
1 Heizmann, Matthias
1 Hoang, Thai Son
1 Huang, Hongtao
1 Huang, Shaobin
1 Jantsch, Simon
1 Khyzha, Artem
1 Klebanov, Vladimir
...and 62 more Authors

Citations by Year