Department für Informatik  (» Postanschrift)

Sekretariat

Marion Bramkamp

Uhlhornsweg 84 — Raum A3 2-208

+49 441 798-2426

Kontakt

Ulhornsweg 84 - Raum  A02 3-340

+49  441 798-4624

Prof. Dr. Heike Wehrheim

Forschungsinteressen:

Formale Methoden im Allgemeinen, im Moment speziell

  • Verifikation paralleler Programme
  • Semantik und Analyse schwacher Speichermodelle
  • Validierungsverfahren für gelernte Software
  • Kooperative Softwareverifikation

 

 

Veröffentlichungen

  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    J. Haltermann und H. Wehrheim, "CoVEGI: Cooperative Verification via Externally Generated Invariants" in Proc. Fundamental Approaches to Software Engineering - 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, 2021, pp. 108-129.
    @inproceedings{DBLP:conf/fase/HaltermannW21,
      author = {Jan Haltermann and Heike Wehrheim},
      editor = {Esther Guerra and Mari{\"{e}}lle Stoelinga},
      title = {CoVEGI: Cooperative Verification via Externally Generated Invariants},
      booktitle = {Fundamental Approaches to Software Engineering - 24th International Conference, {FASE} 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings},
      series = {Lecture Notes in Computer Science},
      volume = {12649},
      pages = {108--129},
      publisher = {Springer},
      year = {2021},
      url = {https://doi.org/10.1007/978-3-030-71500-7\_6},
      doi = {10.1007/978-3-030-71500-7\_6},
      timestamp = {Wed, 07 Apr 2021 01:00:00 +0200},
      biburl = {https://dblp.org/rec/conf/fase/HaltermannW21.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    F. Pauck und H. Wehrheim, "Cooperative Android App Analysis with CoDiDroid" in Proc. Software Engineering 2021, Fachtagung des GI-Fachbereichs Softwaretechnik, 22.-26. Februar 2021, Braunschweig/Virtuell, 2021, pp. 83-84.
    @inproceedings{DBLP:conf/se/PauckW21,
      author = {Felix Pauck and Heike Wehrheim},
      editor = {Anne Koziolek and Ina Schaefer and Christoph Seidl},
      title = {Cooperative Android App Analysis with CoDiDroid},
      booktitle = {Software Engineering 2021, Fachtagung des GI-Fachbereichs Softwaretechnik, 22.-26. Februar 2021, Braunschweig/Virtuell},
      series = {{LNI}},
      volume = {{P-310}},
      pages = {83--84},
      publisher = {Gesellschaft f{\"{u}}r Informatik e.V.},
      year = {2021},
      url = {https://doi.org/10.18420/SE2021\_30},
      doi = {10.18420/SE2021\_30},
      timestamp = {Thu, 18 Feb 2021 17:09:52 +0100},
      biburl = {https://dblp.org/rec/conf/se/PauckW21.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • C. Richter, E. Hüllermeier, M. C. Jakobs, und H. Wehrheim, "Algorithm selection for software validation based on graph kernels" Autom. Softw. Eng., vol. 27, iss. 1, pp. 153-186, 2020.
    @article{DBLP:journals/ase/RichterHJW20,
      author = {Cedric Richter and Eyke H{\"{u}}llermeier and Marie Christine Jakobs and Heike Wehrheim},
      title = {Algorithm selection for software validation based on graph kernels},
      journal = {Autom. Softw. Eng.},
      volume = {27},
      number = {1},
      pages = {153--186},
      year = {2020},
      url = {https://doi.org/10.1007/s10515-020-00270-x},
      doi = {10.1007/s10515-020-00270-x},
      timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
      biburl = {https://dblp.org/rec/journals/ase/RichterHJW20.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • H. Karl, D. Kundisch, F. M. auf der Heide, und H. Wehrheim, "A Case for a New IT Ecosystem: On-The-Fly Computing" Bus. Inf. Syst. Eng., vol. 62, iss. 6, pp. 467-481, 2020.
    @article{DBLP:journals/bise/KarlKHW20,
      author = {Holger Karl and Dennis Kundisch and Friedhelm Meyer auf der Heide and Heike Wehrheim},
      title = {A Case for a New {IT} Ecosystem: On-The-Fly Computing},
      journal = {Bus. Inf. Syst. Eng.},
      volume = {62},
      number = {6},
      pages = {467--481},
      year = {2020},
      url = {https://doi.org/10.1007/s12599-019-00627-x},
      doi = {10.1007/s12599-019-00627-x},
      timestamp = {Thu, 12 Nov 2020 00:00:00 +0100},
      biburl = {https://dblp.org/rec/journals/bise/KarlKHW20.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • S. Dalvandi, S. Doherty, B. Dongol, und H. Wehrheim, "Owicki-Gries Reasoning for C11 RAR (Artifact)" Dagstuhl Artifacts Ser., vol. 6, iss. 2, p. 15:1-15:2, 2020.
    @article{DBLP:journals/darts/DalvandiDDW20,
      author = {Sadegh Dalvandi and Simon Doherty and Brijesh Dongol and Heike Wehrheim},
      title = {Owicki-Gries Reasoning for {C11} {RAR} (Artifact)},
      journal = {Dagstuhl Artifacts Ser.},
      volume = {6},
      number = {2},
      pages = {15:1--15:2},
      year = {2020},
      url = {https://doi.org/10.4230/DARTS.6.2.15},
      doi = {10.4230/DARTS.6.2.15},
      timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
      biburl = {https://dblp.org/rec/journals/darts/DalvandiDDW20.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    S. Dalvandi, S. Doherty, B. Dongol, und H. Wehrheim, "Owicki-Gries Reasoning for C11 RAR" in Proc. 34th European Conference on Object-Oriented Programming, ECOOP 2020, November 15-17, 2020, Berlin, Germany (Virtual Conference), 2020, p. 11:1-11:26.
    @inproceedings{DBLP:conf/ecoop/DalvandiDDW19,
      author = {Sadegh Dalvandi and Simon Doherty and Brijesh Dongol and Heike Wehrheim},
      editor = {Robert Hirschfeld and Tobias Pape},
      title = {Owicki-Gries Reasoning for {C11} {RAR}},
      booktitle = {34th European Conference on Object-Oriented Programming, {ECOOP} 2020, November 15-17, 2020, Berlin, Germany (Virtual Conference)},
      series = {LIPIcs},
      volume = {166},
      pages = {11:1--11:26},
      publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
      year = {2020},
      url = {https://doi.org/10.4230/LIPIcs.ECOOP.2020.11},
      doi = {10.4230/LIPIcs.ECOOP.2020.11},
      timestamp = {Mon, 21 Dec 2020 13:23:22 +0100},
      biburl = {https://dblp.org/rec/conf/ecoop/DalvandiDDW19.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    E. Bila, S. Doherty, B. Dongol, J. Derrick, G. Schellhorn, und H. Wehrheim, "Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory" in Proc. Formal Techniques for Distributed Objects, Components, and Systems - 40th IFIP WG 6.1 International Conference, FORTE 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings, 2020, pp. 39-58.
    @inproceedings{DBLP:conf/forte/BilaDDDSW20,
      author = {Eleni Bila and Simon Doherty and Brijesh Dongol and John Derrick and Gerhard Schellhorn and Heike Wehrheim},
      editor = {Alexey Gotsman and Ana Sokolova},
      title = {Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory},
      booktitle = {Formal Techniques for Distributed Objects, Components, and Systems - 40th {IFIP} {WG} 6.1 International Conference, {FORTE} 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings},
      series = {Lecture Notes in Computer Science},
      volume = {12136},
      pages = {39--58},
      publisher = {Springer},
      year = {2020},
      url = {https://doi.org/10.1007/978-3-030-50086-3\_3},
      doi = {10.1007/978-3-030-50086-3\_3},
      timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
      biburl = {https://dblp.org/rec/conf/forte/BilaDDDSW20.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    S. Beringer und H. Wehrheim, "Consistency Analysis of AUTOSAR Timing Requirements" in Proc. Proceedings of the 15th International Conference on Software Technologies, ICSOFT 2020, Lieusaint, Paris, France, July 7-9, 2020, 2020, pp. 15-26.
    @inproceedings{DBLP:conf/icsoft/BeringerW20,
      author = {Steffen Beringer and Heike Wehrheim},
      editor = {Marten van Sinderen and Hans{-}Georg Fill and Leszek A. Maciaszek},
      title = {Consistency Analysis of {AUTOSAR} Timing Requirements},
      booktitle = {Proceedings of the 15th International Conference on Software Technologies, {ICSOFT} 2020, Lieusaint, Paris, France, July 7-9, 2020},
      pages = {15--26},
      publisher = {ScitePress},
      year = {2020},
      url = {https://doi.org/10.5220/0009766600150026},
      doi = {10.5220/0009766600150026},
      timestamp = {Wed, 29 Jul 2020 18:51:08 +0200},
      biburl = {https://dblp.org/rec/conf/icsoft/BeringerW20.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    D. Beyer und H. Wehrheim, "Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework" in Proc. Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part I, 2020, pp. 143-167.
    @inproceedings{DBLP:conf/isola/0001W20,
      author = {Dirk Beyer and Heike Wehrheim},
      editor = {Tiziana Margaria and Bernhard Steffen},
      title = {Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework},
      booktitle = {Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part {I}},
      series = {Lecture Notes in Computer Science},
      volume = {12476},
      pages = {143--167},
      publisher = {Springer},
      year = {2020},
      url = {https://doi.org/10.1007/978-3-030-61362-4\_8},
      doi = {10.1007/978-3-030-61362-4\_8},
      timestamp = {Sat, 14 Nov 2020 00:00:00 +0100},
      biburl = {https://dblp.org/rec/conf/isola/0001W20.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    A. Sharma und H. Wehrheim, "Higher income, larger loan? monotonicity testing of machine learning models" in Proc. ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, USA, July 18-22, 2020, 2020, pp. 200-210.
    @inproceedings{DBLP:conf/issta/SharmaW20,
      author = {Arnab Sharma and Heike Wehrheim},
      editor = {Sarfraz Khurshid and Corina S. Pasareanu},
      title = {Higher income, larger loan? monotonicity testing of machine learning models},
      booktitle = {{ISSTA} '20: 29th {ACM} {SIGSOFT} International Symposium on Software Testing and Analysis, Virtual Event, USA, July 18-22, 2020},
      pages = {200--210},
      publisher = {{ACM}},
      year = {2020},
      url = {https://doi.org/10.1145/3395363.3397352},
      doi = {10.1145/3395363.3397352},
      timestamp = {Wed, 15 Jul 2020 15:59:31 +0200},
      biburl = {https://dblp.org/rec/conf/issta/SharmaW20.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    C. Richter und H. Wehrheim, "Attend and Represent: A Novel View on Algorithm Selection for Software Verification" in Proc. 35th IEEE/ACM International Conference on Automated Software Engineering, ASE 2020, Melbourne, Australia, September 21-25, 2020, 2020, pp. 1016-1028.
    @inproceedings{DBLP:conf/kbse/RichterW20,
      author = {Cedric Richter and Heike Wehrheim},
      title = {Attend and Represent: {A} Novel View on Algorithm Selection for Software Verification},
      booktitle = {35th {IEEE/ACM} International Conference on Automated Software Engineering, {ASE} 2020, Melbourne, Australia, September 21-25, 2020},
      pages = {1016--1028},
      publisher = {{IEEE}},
      year = {2020},
      url = {https://doi.org/10.1145/3324884.3416633},
      doi = {10.1145/3324884.3416633},
      timestamp = {Fri, 12 Feb 2021 13:04:43 +0100},
      biburl = {https://dblp.org/rec/conf/kbse/RichterW20.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    A. Sharma und H. Wehrheim, "Automatic Fairness Testing of Machine Learning Models" in Proc. Testing Software and Systems - 32nd IFIP WG 6.1 International Conference, ICTSS 2020, Naples, Italy, December 9-11, 2020, Proceedings, 2020, pp. 255-271.
    @inproceedings{DBLP:conf/pts/SharmaW20,
      author = {Arnab Sharma and Heike Wehrheim},
      editor = {Valentina Casola and Alessandra De Benedictis and Massimiliano Rak},
      title = {Automatic Fairness Testing of Machine Learning Models},
      booktitle = {Testing Software and Systems - 32nd {IFIP} {WG} 6.1 International Conference, {ICTSS} 2020, Naples, Italy, December 9-11, 2020, Proceedings},
      series = {Lecture Notes in Computer Science},
      volume = {12543},
      pages = {255--271},
      publisher = {Springer},
      year = {2020},
      url = {https://doi.org/10.1007/978-3-030-64881-7\_16},
      doi = {10.1007/978-3-030-64881-7\_16},
      timestamp = {Tue, 08 Dec 2020 15:44:14 +0100},
      biburl = {https://dblp.org/rec/conf/pts/SharmaW20.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    F. Pauck, E. Bodden, und H. Wehrheim, "Reproducing Taint-Analysis Results with ReproDroid" in Proc. Software Engineering 2020, Fachtagung des GI-Fachbereichs Softwaretechnik, 24.-28. Februar 2020, Innsbruck, Austria, 2020, pp. 123-124.
    @inproceedings{DBLP:conf/se/PauckBW20,
      author = {Felix Pauck and Eric Bodden and Heike Wehrheim},
      editor = {Michael Felderer and Wilhelm Hasselbring and Rick Rabiser and Reiner Jung},
      title = {Reproducing Taint-Analysis Results with ReproDroid},
      booktitle = {Software Engineering 2020, Fachtagung des GI-Fachbereichs Softwaretechnik, 24.-28. Februar 2020, Innsbruck, Austria},
      series = {{LNI}},
      volume = {{P-300}},
      pages = {123--124},
      publisher = {Gesellschaft f{\"{u}}r Informatik e.V.},
      year = {2020},
      url = {https://dl.gi.de/20.500.12116/31714},
      timestamp = {Thu, 06 Feb 2020 13:42:01 +0100},
      biburl = {https://dblp.org/rec/conf/se/PauckBW20.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [proceedings] bibtex | Dokument aufrufen Dokument aufrufen
    Fundamental Approaches to Software Engineering - 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, ProceedingsSpringer, 2020.
    @proceedings{DBLP:conf/fase/2020, editor = {Heike Wehrheim and Jordi Cabot},
      title = {Fundamental Approaches to Software Engineering - 23rd International Conference, {FASE} 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2020, Dublin, Ireland, April 25-30, 2020, Proceedings},
      series = {Lecture Notes in Computer Science},
      volume = {12076},
      publisher = {Springer},
      year = {2020},
      url = {https://doi.org/10.1007/978-3-030-45234-6},
      doi = {10.1007/978-3-030-45234-6},
      isbn = {978-3-030-45233-9},
      timestamp = {Tue, 21 Apr 2020 01:00:00 +0200},
      biburl = {https://dblp.org/rec/conf/fase/2020.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [proceedings] bibtex | Dokument aufrufen Dokument aufrufen
    Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [postponed]Springer, 2020.
    @proceedings{DBLP:conf/tap/2020, editor = {Wolfgang Ahrendt and Heike Wehrheim},
      title = {Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [postponed]},
      series = {Lecture Notes in Computer Science},
      volume = {12165},
      publisher = {Springer},
      year = {2020},
      url = {https://doi.org/10.1007/978-3-030-50995-8},
      doi = {10.1007/978-3-030-50995-8},
      isbn = {978-3-030-50994-1},
      timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
      biburl = {https://dblp.org/rec/conf/tap/2020.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • A. Sharma und H. Wehrheim, "Testing Monotonicity of Machine Learning Models" CoRR, vol. abs/2002.12278, 2020.
    @article{DBLP:journals/corr/abs-2002-12278,
      author = {Arnab Sharma and Heike Wehrheim},
      title = {Testing Monotonicity of Machine Learning Models},
      journal = {CoRR},
      volume = {abs/2002.12278},
      year = {2020},
      url = {https://arxiv.org/abs/2002.12278},
      archivePrefix = {arXiv},
      eprint = {2002.12278},
      timestamp = {Tue, 03 Mar 2020 00:00:00 +0100},
      biburl = {https://dblp.org/rec/journals/corr/abs-2002-12278.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • E. Bila, S. Doherty, B. Dongol, J. Derrick, G. Schellhorn, und H. Wehrheim, "Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory" CoRR, vol. abs/2004.08200, 2020.
    @article{DBLP:journals/corr/abs-2004-08200,
      author = {Eleni Bila and Simon Doherty and Brijesh Dongol and John Derrick and Gerhard Schellhorn and Heike Wehrheim},
      title = {Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory},
      journal = {CoRR},
      volume = {abs/2004.08200},
      year = {2020},
      url = {https://arxiv.org/abs/2004.08200},
      archivePrefix = {arXiv},
      eprint = {2004.08200},
      timestamp = {Tue, 21 Apr 2020 01:00:00 +0200},
      biburl = {https://dblp.org/rec/journals/corr/abs-2004-08200.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • J. Haltermann und H. Wehrheim, "Cooperative Verification via Collective Invariant Generation" CoRR, vol. abs/2008.04551, 2020.
    @article{DBLP:journals/corr/abs-2008-04551,
      author = {Jan Haltermann and Heike Wehrheim},
      title = {Cooperative Verification via Collective Invariant Generation},
      journal = {CoRR},
      volume = {abs/2008.04551},
      year = {2020},
      url = {https://arxiv.org/abs/2008.04551},
      archivePrefix = {arXiv},
      eprint = {2008.04551},
      timestamp = {Fri, 14 Aug 2020 01:00:00 +0200},
      biburl = {https://dblp.org/rec/journals/corr/abs-2008-04551.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • E. Bila, J. Derrick, S. Doherty, B. Dongol, G. Schellhorn, und H. Wehrheim, "Modularising Verification Of Durable Opacity" CoRR, vol. abs/2011.15013, 2020.
    @article{DBLP:journals/corr/abs-2011-15013,
      author = {Eleni Bila and John Derrick and Simon Doherty and Brijesh Dongol and Gerhard Schellhorn and Heike Wehrheim},
      title = {Modularising Verification Of Durable Opacity},
      journal = {CoRR},
      volume = {abs/2011.15013},
      year = {2020},
      url = {https://arxiv.org/abs/2011.15013},
      archivePrefix = {arXiv},
      eprint = {2011.15013},
      timestamp = {Tue, 01 Dec 2020 00:00:00 +0100},
      biburl = {https://dblp.org/rec/journals/corr/abs-2011-15013.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • M. Fränzle, D. Kapur, H. Wehrheim, und N. Zhan, "Editorial" Formal Aspects Comput., vol. 31, iss. 1, p. 1, 2019.
    @article{DBLP:journals/fac/FranzleKWZ19,
      author = {Martin Fr{\"{a}}nzle and Deepak Kapur and Heike Wehrheim and Naijun Zhan},
      title = {Editorial},
      journal = {Formal Aspects Comput.},
      volume = {31},
      number = {1},
      pages = {1},
      year = {2019},
      url = {https://doi.org/10.1007/s00165-018-00477-6},
      doi = {10.1007/s00165-018-00477-6},
      timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
      biburl = {https://dblp.org/rec/journals/fac/FranzleKWZ19.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • A. Russo, A. Schürr, und H. Wehrheim, "Editorial" Formal Aspects Comput., vol. 31, iss. 5, pp. 457-458, 2019.
    @article{DBLP:journals/fac/RussoSW19,
      author = {Alessandra Russo and Andy Sch{\"{u}}rr and Heike Wehrheim},
      title = {Editorial},
      journal = {Formal Aspects Comput.},
      volume = {31},
      number = {5},
      pages = {457--458},
      year = {2019},
      url = {https://doi.org/10.1007/s00165-019-00495-y},
      doi = {10.1007/s00165-019-00495-y},
      timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
      biburl = {https://dblp.org/rec/journals/fac/RussoSW19.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    J. Derrick, S. Doherty, B. Dongol, G. Schellhorn, und H. Wehrheim, "Verifying Correctness of Persistent Concurrent Data Structures" in Proc. Formal Methods - The Next 30 Years - Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings, 2019, pp. 179-195.
    @inproceedings{DBLP:conf/fm/DerrickDDSW19,
      author = {John Derrick and Simon Doherty and Brijesh Dongol and Gerhard Schellhorn and Heike Wehrheim},
      editor = {Maurice H. ter Beek and Annabelle McIver and Jos{\'{e}} N. Oliveira},
      title = {Verifying Correctness of Persistent Concurrent Data Structures},
      booktitle = {Formal Methods - The Next 30 Years - Third World Congress, {FM} 2019, Porto, Portugal, October 7-11, 2019, Proceedings},
      series = {Lecture Notes in Computer Science},
      volume = {11800},
      pages = {179--195},
      publisher = {Springer},
      year = {2019},
      url = {https://doi.org/10.1007/978-3-030-30942-8\_12},
      doi = {10.1007/978-3-030-30942-8\_12},
      timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
      biburl = {https://dblp.org/rec/conf/fm/DerrickDDSW19.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    A. Sharma und H. Wehrheim, "Testing Machine Learning Algorithms for Balanced Data Usage" in Proc. 12th IEEE Conference on Software Testing, Validation and Verification, ICST 2019, Xi'an, China, April 22-27, 2019, 2019, pp. 125-135.
    @inproceedings{DBLP:conf/icst/SharmaW19,
      author = {Arnab Sharma and Heike Wehrheim},
      title = {Testing Machine Learning Algorithms for Balanced Data Usage},
      booktitle = {12th {IEEE} Conference on Software Testing, Validation and Verification, {ICST} 2019, Xi'an, China, April 22-27, 2019},
      pages = {125--135},
      publisher = {{IEEE}},
      year = {2019},
      url = {https://doi.org/10.1109/ICST.2019.00022},
      doi = {10.1109/ICST.2019.00022},
      timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
      biburl = {https://dblp.org/rec/conf/icst/SharmaW19.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    S. Schneider, A. Sharma, H. Karl, und H. Wehrheim, "Specifying and Analyzing Virtual Network Services Using Queuing Petri Nets" in Proc. IFIP/IEEE International Symposium on Integrated Network Management, IM 2019, Washington, DC, USA, April 09-11, 2019, 2019, pp. 116-124.
    @inproceedings{DBLP:conf/im/SchneiderSKW19,
      author = {Stefan Schneider and Arnab Sharma and Holger Karl and Heike Wehrheim},
      editor = {Joe Betser and Carol J. Fung and Alex Clemm and J{\'{e}}r{\^{o}}me Fran{\c{c}}ois and Shingo Ata},
      title = {Specifying and Analyzing Virtual Network Services Using Queuing Petri Nets},
      booktitle = {{IFIP/IEEE} International Symposium on Integrated Network Management, {IM} 2019, Washington, DC, USA, April 09-11, 2019},
      pages = {116--124},
      publisher = {{IFIP}},
      year = {2019},
      url = {http://dl.ifip.org/db/conf/im/im2019/188490.pdf},
      timestamp = {Wed, 25 Nov 2020 00:00:00 +0100},
      biburl = {https://dblp.org/rec/conf/im/SchneiderSKW19.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    J. König und H. Wehrheim, "Data Independence for Software Transactional Memory" in Proc. NASA Formal Methods - 11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019, Proceedings, 2019, pp. 263-279.
    @inproceedings{DBLP:conf/nfm/KonigW19,
      author = {J{\"{u}}rgen K{\"{o}}nig and Heike Wehrheim},
      editor = {Julia M. Badger and Kristin Yvonne Rozier},
      title = {Data Independence for Software Transactional Memory},
      booktitle = {{NASA} Formal Methods - 11th International Symposium, {NFM} 2019, Houston, TX, USA, May 7-9, 2019, Proceedings},
      series = {Lecture Notes in Computer Science},
      volume = {11460},
      pages = {263--279},
      publisher = {Springer},
      year = {2019},
      url = {https://doi.org/10.1007/978-3-030-20652-9\_18},
      doi = {10.1007/978-3-030-20652-9\_18},
      timestamp = {Tue, 28 May 2019 13:48:14 +0200},
      biburl = {https://dblp.org/rec/conf/nfm/KonigW19.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    S. Doherty, B. Dongol, H. Wehrheim, und J. Derrick, "Verifying C11 programs operationally" in Proc. Proceedings of the 24th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP 2019, Washington, DC, USA, February 16-20, 2019, 2019, pp. 355-365.
    @inproceedings{DBLP:conf/ppopp/DohertyDWD19,
      author = {Simon Doherty and Brijesh Dongol and Heike Wehrheim and John Derrick},
      editor = {Jeffrey K. Hollingsworth and Idit Keidar},
      title = {Verifying {C11} programs operationally},
      booktitle = {Proceedings of the 24th {ACM} {SIGPLAN} Symposium on Principles and Practice of Parallel Programming, PPoPP 2019, Washington, DC, USA, February 16-20, 2019},
      pages = {355--365},
      publisher = {{ACM}},
      year = {2019},
      url = {https://doi.org/10.1145/3293883.3295702},
      doi = {10.1145/3293883.3295702},
      timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
      biburl = {https://dblp.org/rec/conf/ppopp/DohertyDWD19.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    D. Beyer, M. C. Jakobs, T. Lemberger, und H. Wehrheim, "Combining Verifiers in Conditional Model Checking via Reducers" in Proc. Software Engineering and Software Management, SE/SWM 2019, Stuttgart, Germany, February 18-22, 2019, 2019, pp. 151-152.
    @inproceedings{DBLP:conf/se/0001J0W19,
      author = {Dirk Beyer and Marie Christine Jakobs and Thomas Lemberger and Heike Wehrheim},
      editor = {Steffen Becker and Ivan Bogicevic and Georg Herzwurm and Stefan Wagner},
      title = {Combining Verifiers in Conditional Model Checking via Reducers},
      booktitle = {Software Engineering and Software Management, {SE/SWM} 2019, Stuttgart, Germany, February 18-22, 2019},
      series = {{LNI}},
      volume = {{P-292}},
      pages = {151--152},
      publisher = {{GI}},
      year = {2019},
      url = {https://doi.org/10.18420/se2019-46},
      doi = {10.18420/se2019-46},
      timestamp = {Wed, 13 Jan 2021 00:00:00 +0100},
      biburl = {https://dblp.org/rec/conf/se/0001J0W19.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    A. Sharma und H. Wehrheim, "Testing Balancedness of ML Algorithms" in Proc. Software Engineering and Software Management, SE/SWM 2019, Stuttgart, Germany, February 18-22, 2019, 2019, pp. 157-158.
    @inproceedings{DBLP:conf/se/SharmaW19,
      author = {Arnab Sharma and Heike Wehrheim},
      editor = {Steffen Becker and Ivan Bogicevic and Georg Herzwurm and Stefan Wagner},
      title = {Testing Balancedness of {ML} Algorithms},
      booktitle = {Software Engineering and Software Management, {SE/SWM} 2019, Stuttgart, Germany, February 18-22, 2019},
      series = {{LNI}},
      volume = {{P-292}},
      pages = {157--158},
      publisher = {{GI}},
      year = {2019},
      url = {https://doi.org/10.18420/se2019-48},
      doi = {10.18420/se2019-48},
      timestamp = {Wed, 13 Jan 2021 00:00:00 +0100},
      biburl = {https://dblp.org/rec/conf/se/SharmaW19.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    F. Pauck und H. Wehrheim, "Together strong: cooperative Android app analysis" in Proc. Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/SIGSOFT FSE 2019, Tallinn, Estonia, August 26-30, 2019, 2019, pp. 374-384.
    @inproceedings{DBLP:conf/sigsoft/PauckW19,
      author = {Felix Pauck and Heike Wehrheim},
      editor = {Marlon Dumas and Dietmar Pfahl and Sven Apel and Alessandra Russo},
      title = {Together strong: cooperative Android app analysis},
      booktitle = {Proceedings of the {ACM} Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, {ESEC/SIGSOFT} {FSE} 2019, Tallinn, Estonia, August 26-30, 2019},
      pages = {374--384},
      publisher = {{ACM}},
      year = {2019},
      url = {https://doi.org/10.1145/3338906.3338915},
      doi = {10.1145/3338906.3338915},
      timestamp = {Fri, 09 Aug 2019 14:12:27 +0200},
      biburl = {https://dblp.org/rec/conf/sigsoft/PauckW19.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    C. Richter und H. Wehrheim, "PeSCo: Predicting Sequential Combinations of Verifiers - (Competition Contribution)" in Proc. Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part III, 2019, pp. 229-233.
    @inproceedings{DBLP:conf/tacas/RichterW19,
      author = {Cedric Richter and Heike Wehrheim},
      editor = {Dirk Beyer and Marieke Huisman and Fabrice Kordon and Bernhard Steffen},
      title = {PeSCo: Predicting Sequential Combinations of Verifiers - (Competition Contribution)},
      booktitle = {Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of {TACAS:} TOOLympics, Held as Part of {ETAPS} 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part {III}},
      series = {Lecture Notes in Computer Science},
      volume = {11429},
      pages = {229--233},
      publisher = {Springer},
      year = {2019},
      url = {https://doi.org/10.1007/978-3-030-17502-3\_19},
      doi = {10.1007/978-3-030-17502-3\_19},
      timestamp = {Fri, 09 Apr 2021 18:45:37 +0200},
      biburl = {https://dblp.org/rec/conf/tacas/RichterW19.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    T. Isenberg, M. C. Jakobs, F. Pauck, und H. Wehrheim, "When Are Software Verification Results Valid for Approximate Hardware?" in Proc. Tests and Proofs - 13th International Conference, TAP@FM 2019, Porto, Portugal, October 9-11, 2019, Proceedings, 2019, pp. 3-20.
    @inproceedings{DBLP:conf/tap/0002JPW19,
      author = {Tobias Isenberg and Marie Christine Jakobs and Felix Pauck and Heike Wehrheim},
      editor = {Dirk Beyer and Chantal Keller},
      title = {When Are Software Verification Results Valid for Approximate Hardware?},
      booktitle = {Tests and Proofs - 13th International Conference, TAP@FM 2019, Porto, Portugal, October 9-11, 2019, Proceedings},
      series = {Lecture Notes in Computer Science},
      volume = {11823},
      pages = {3--20},
      publisher = {Springer},
      year = {2019},
      url = {https://doi.org/10.1007/978-3-030-31157-5\_1},
      doi = {10.1007/978-3-030-31157-5\_1},
      timestamp = {Tue, 23 Jun 2020 17:50:04 +0200},
      biburl = {https://dblp.org/rec/conf/tap/0002JPW19.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • D. Beyer und H. Wehrheim, "Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework" CoRR, vol. abs/1905.08505, 2019.
    @article{DBLP:journals/corr/abs-1905-08505,
      author = {Dirk Beyer and Heike Wehrheim},
      title = {Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework},
      journal = {CoRR},
      volume = {abs/1905.08505},
      year = {2019},
      url = {http://arxiv.org/abs/1905.08505},
      archivePrefix = {arXiv},
      eprint = {1905.08505},
      timestamp = {Wed, 29 May 2019 01:00:00 +0200},
      biburl = {https://dblp.org/rec/journals/corr/abs-1905-08505.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • T. Isenberg, M. C. Jakobs, F. Pauck, und H. Wehrheim, "Validity of Software Verification Results on Approximate Hardware" IEEE Embed. Syst. Lett., vol. 10, iss. 1, pp. 22-25, 2018.
    @article{DBLP:journals/esl/IsenbergJPW18,
      author = {Tobias Isenberg and Marie Christine Jakobs and Felix Pauck and Heike Wehrheim},
      title = {Validity of Software Verification Results on Approximate Hardware},
      journal = {{IEEE} Embed. Syst. Lett.},
      volume = {10},
      number = {1},
      pages = {22--25},
      year = {2018},
      url = {https://doi.org/10.1109/LES.2017.2758200},
      doi = {10.1109/LES.2017.2758200},
      timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
      biburl = {https://dblp.org/rec/journals/esl/IsenbergJPW18.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • J. Derrick, S. Doherty, B. Dongol, G. Schellhorn, O. Travkin, und H. Wehrheim, "Mechanized proofs of opacity: a comparison of two techniques" Formal Aspects Comput., vol. 30, iss. 5, pp. 597-625, 2018.
    @article{DBLP:journals/fac/DerrickDDSTW18,
      author = {John Derrick and Simon Doherty and Brijesh Dongol and Gerhard Schellhorn and Oleg Travkin and Heike Wehrheim},
      title = {Mechanized proofs of opacity: a comparison of two techniques},
      journal = {Formal Aspects Comput.},
      volume = {30},
      number = {5},
      pages = {597--625},
      year = {2018},
      url = {https://doi.org/10.1007/s00165-017-0433-3},
      doi = {10.1007/s00165-017-0433-3},
      timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
      biburl = {https://dblp.org/rec/journals/fac/DerrickDDSTW18.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    D. Beyer, M. C. Jakobs, T. Lemberger, und H. Wehrheim, "Reducer-based construction of conditional verifiers" in Proc. Proceedings of the 40th International Conference on Software Engineering, ICSE 2018, Gothenburg, Sweden, May 27 - June 03, 2018, 2018, pp. 1182-1193.
    @inproceedings{DBLP:conf/icse/BeyerJLW18,
      author = {Dirk Beyer and Marie Christine Jakobs and Thomas Lemberger and Heike Wehrheim},
      editor = {Michel Chaudron and Ivica Crnkovic and Marsha Chechik and Mark Harman},
      title = {Reducer-based construction of conditional verifiers},
      booktitle = {Proceedings of the 40th International Conference on Software Engineering, {ICSE} 2018, Gothenburg, Sweden, May 27 - June 03, 2018},
      pages = {1182--1193},
      publisher = {{ACM}},
      year = {2018},
      url = {https://doi.org/10.1145/3180155.3180259},
      doi = {10.1145/3180155.3180259},
      timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
      biburl = {https://dblp.org/rec/conf/icse/BeyerJLW18.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    M. Töws und H. Wehrheim, "Information Flow Certificates" in Proc. Theoretical Aspects of Computing - ICTAC 2018 - 15th International Colloquium, Stellenbosch, South Africa, October 16-19, 2018, Proceedings, 2018, pp. 435-454.
    @inproceedings{DBLP:conf/ictac/TowsW18,
      author = {Manuel T{\"{o}}ws and Heike Wehrheim},
      editor = {Bernd Fischer and Tarmo Uustalu},
      title = {Information Flow Certificates},
      booktitle = {Theoretical Aspects of Computing - {ICTAC} 2018 - 15th International Colloquium, Stellenbosch, South Africa, October 16-19, 2018, Proceedings},
      series = {Lecture Notes in Computer Science},
      volume = {11187},
      pages = {435--454},
      publisher = {Springer},
      year = {2018},
      url = {https://doi.org/10.1007/978-3-030-02508-3\_23},
      doi = {10.1007/978-3-030-02508-3\_23},
      timestamp = {Mon, 16 Sep 2019 15:27:43 +0200},
      biburl = {https://dblp.org/rec/conf/ictac/TowsW18.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    S. Doherty, B. Dongol, H. Wehrheim, und J. Derrick, "Making Linearizability Compositional for Partially Ordered Executions" in Proc. Integrated Formal Methods - 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings, 2018, pp. 110-129.
    @inproceedings{DBLP:conf/ifm/DohertyDWD18,
      author = {Simon Doherty and Brijesh Dongol and Heike Wehrheim and John Derrick},
      editor = {Carlo A. Furia and Kirsten Winter},
      title = {Making Linearizability Compositional for Partially Ordered Executions},
      booktitle = {Integrated Formal Methods - 14th International Conference, {IFM} 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings},
      series = {Lecture Notes in Computer Science},
      volume = {11023},
      pages = {110--129},
      publisher = {Springer},
      year = {2018},
      url = {https://doi.org/10.1007/978-3-319-98938-9\_7},
      doi = {10.1007/978-3-319-98938-9\_7},
      timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
      biburl = {https://dblp.org/rec/conf/ifm/DohertyDWD18.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    P. Börding, J. Haltermann, M. C. Jakobs, und H. Wehrheim, "JMCTest: Automatically Testing Inter-Method Contracts in Java" in Proc. Testing Software and Systems - 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, Proceedings, 2018, pp. 39-55.
    @inproceedings{DBLP:conf/pts/BordingHJW18,
      author = {Paul B{\"{o}}rding and Jan Haltermann and Marie Christine Jakobs and Heike Wehrheim},
      editor = {Inmaculada Medina{-}Bulo and Mercedes G. Merayo and Robert M. Hierons},
      title = {JMCTest: Automatically Testing Inter-Method Contracts in Java},
      booktitle = {Testing Software and Systems - 30th {IFIP} {WG} 6.1 International Conference, {ICTSS} 2018, C{\'{a}}diz, Spain, October 1-3, 2018, Proceedings},
      series = {Lecture Notes in Computer Science},
      volume = {11146},
      pages = {39--55},
      publisher = {Springer},
      year = {2018},
      url = {https://doi.org/10.1007/978-3-319-99927-2\_4},
      doi = {10.1007/978-3-319-99927-2\_4},
      timestamp = {Tue, 14 May 2019 10:00:53 +0200},
      biburl = {https://dblp.org/rec/conf/pts/BordingHJW18.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    G. Schellhorn, M. Wedel, O. Travkin, J. König, und H. Wehrheim, "FastLane Is Opaque - a Case Study in Mechanized Proofs of Opacity" in Proc. Software Engineering and Formal Methods - 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings, 2018, pp. 105-120.
    @inproceedings{DBLP:conf/sefm/SchellhornWTKW18,
      author = {Gerhard Schellhorn and Monika Wedel and Oleg Travkin and J{\"{u}}rgen K{\"{o}}nig and Heike Wehrheim},
      editor = {Einar Broch Johnsen and Ina Schaefer},
      title = {FastLane Is Opaque - a Case Study in Mechanized Proofs of Opacity},
      booktitle = {Software Engineering and Formal Methods - 16th International Conference, {SEFM} 2018, Held as Part of {STAF} 2018, Toulouse, France, June 27-29, 2018, Proceedings},
      series = {Lecture Notes in Computer Science},
      volume = {10886},
      pages = {105--120},
      publisher = {Springer},
      year = {2018},
      url = {https://doi.org/10.1007/978-3-319-92970-5\_7},
      doi = {10.1007/978-3-319-92970-5\_7},
      timestamp = {Tue, 14 May 2019 10:00:54 +0200},
      biburl = {https://dblp.org/rec/conf/sefm/SchellhornWTKW18.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    F. Pauck, E. Bodden, und H. Wehrheim, "Do Android taint analysis tools keep their promises?" in Proc. Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/SIGSOFT FSE 2018, Lake Buena Vista, FL, USA, November 04-09, 2018, 2018, pp. 331-341.
    @inproceedings{DBLP:conf/sigsoft/PauckBW18,
      author = {Felix Pauck and Eric Bodden and Heike Wehrheim},
      editor = {Gary T. Leavens and Alessandro Garcia and Corina S. Pasareanu},
      title = {Do Android taint analysis tools keep their promises?},
      booktitle = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, {ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09, 2018},
      pages = {331--341},
      publisher = {{ACM}},
      year = {2018},
      url = {https://doi.org/10.1145/3236024.3236029},
      doi = {10.1145/3236024.3236029},
      timestamp = {Fri, 06 Nov 2020 10:10:15 +0100},
      biburl = {https://dblp.org/rec/conf/sigsoft/PauckBW18.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    S. Doherty, B. Dongol, H. Wehrheim, und J. Derrick, "Brief Announcement: Generalising Concurrent Correctness to Weak Memory" in Proc. 32nd International Symposium on Distributed Computing, DISC 2018, New Orleans, LA, USA, October 15-19, 2018, 2018, p. 45:1-45:3.
    @inproceedings{DBLP:conf/wdag/DohertyDWD18,
      author = {Simon Doherty and Brijesh Dongol and Heike Wehrheim and John Derrick},
      editor = {Ulrich Schmid and Josef Widder},
      title = {Brief Announcement: Generalising Concurrent Correctness to Weak Memory},
      booktitle = {32nd International Symposium on Distributed Computing, {DISC} 2018, New Orleans, LA, USA, October 15-19, 2018},
      series = {LIPIcs},
      volume = {121},
      pages = {45:1--45:3},
      publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
      year = {2018},
      url = {https://doi.org/10.4230/LIPIcs.DISC.2018.45},
      doi = {10.4230/LIPIcs.DISC.2018.45},
      timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
      biburl = {https://dblp.org/rec/conf/wdag/DohertyDWD18.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • S. Doherty, J. Derrick, B. Dongol, und H. Wehrheim, "Causal Linearizability: Compositionality for Partially Ordered Executions" CoRR, vol. abs/1802.01866, 2018.
    @article{DBLP:journals/corr/abs-1802-01866,
      author = {Simon Doherty and John Derrick and Brijesh Dongol and Heike Wehrheim},
      title = {Causal Linearizability: Compositionality for Partially Ordered Executions},
      journal = {CoRR},
      volume = {abs/1802.01866},
      year = {2018},
      url = {http://arxiv.org/abs/1802.01866},
      archivePrefix = {arXiv},
      eprint = {1802.01866},
      timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
      biburl = {https://dblp.org/rec/journals/corr/abs-1802-01866.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • S. Schneider, A. Sharma, H. Karl, und H. Wehrheim, "Specifying and Analyzing Virtual Network Services Using Queuing Petri Nets" CoRR, vol. abs/1803.07007, 2018.
    @article{DBLP:journals/corr/abs-1803-07007,
      author = {Stefan Schneider and Arnab Sharma and Holger Karl and Heike Wehrheim},
      title = {Specifying and Analyzing Virtual Network Services Using Queuing Petri Nets},
      journal = {CoRR},
      volume = {abs/1803.07007},
      year = {2018},
      url = {http://arxiv.org/abs/1803.07007},
      archivePrefix = {arXiv},
      eprint = {1803.07007},
      timestamp = {Wed, 25 Nov 2020 00:00:00 +0100},
      biburl = {https://dblp.org/rec/journals/corr/abs-1803-07007.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • F. Pauck, E. Bodden, und H. Wehrheim, "Do Android Taint Analysis Tools Keep their Promises?" CoRR, vol. abs/1804.02903, 2018.
    @article{DBLP:journals/corr/abs-1804-02903,
      author = {Felix Pauck and Eric Bodden and Heike Wehrheim},
      title = {Do Android Taint Analysis Tools Keep their Promises?},
      journal = {CoRR},
      volume = {abs/1804.02903},
      year = {2018},
      url = {http://arxiv.org/abs/1804.02903},
      archivePrefix = {arXiv},
      eprint = {1804.02903},
      timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
      biburl = {https://dblp.org/rec/journals/corr/abs-1804-02903.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • S. Doherty, B. Dongol, H. Wehrheim, und J. Derrick, "Verifying C11 Programs Operationally" CoRR, vol. abs/1811.09143, 2018.
    @article{DBLP:journals/corr/abs-1811-09143,
      author = {Simon Doherty and Brijesh Dongol and Heike Wehrheim and John Derrick},
      title = {Verifying {C11} Programs Operationally},
      journal = {CoRR},
      volume = {abs/1811.09143},
      year = {2018},
      url = {http://arxiv.org/abs/1811.09143},
      archivePrefix = {arXiv},
      eprint = {1811.09143},
      timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
      biburl = {https://dblp.org/rec/journals/corr/abs-1811-09143.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • T. Isenberg, M. Platzner, H. Wehrheim, und T. Wiersema, "Proof-Carrying Hardware via Inductive Invariants" ACM Trans. Design Autom. Electr. Syst., vol. 22, iss. 4, p. 61:1-61:23, 2017.
    @article{DBLP:journals/todaes/IsenbergPWW17,
      author = {Tobias Isenberg and Marco Platzner and Heike Wehrheim and Tobias Wiersema},
      title = {Proof-Carrying Hardware via Inductive Invariants},
      journal = {{ACM} Trans. Design Autom. Electr. Syst.},
      volume = {22},
      number = {4},
      pages = {61:1--61:23},
      year = {2017},
      url = {https://doi.org/10.1145/3054743},
      doi = {10.1145/3054743},
      timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
      biburl = {https://dblp.org/rec/journals/todaes/IsenbergPWW17.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • M. C. Jakobs und H. Wehrheim, "Programs from Proofs: A Framework for the Safe Execution of Untrusted Software" ACM Trans. Program. Lang. Syst., vol. 39, iss. 2, p. 7:1-7:56, 2017.
    @article{DBLP:journals/toplas/JakobsW17,
      author = {Marie Christine Jakobs and Heike Wehrheim},
      title = {Programs from Proofs: {A} Framework for the Safe Execution of Untrusted Software},
      journal = {{ACM} Trans. Program. Lang. Syst.},
      volume = {39},
      number = {2},
      pages = {7:1--7:56},
      year = {2017},
      url = {https://doi.org/10.1145/3014427},
      doi = {10.1145/3014427},
      timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
      biburl = {https://dblp.org/rec/journals/toplas/JakobsW17.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    H. Wehrheim, "Fault Localization in Service Compositions" in Proc. Formal Aspects of Component Software - 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings, 2017, pp. 216-232.
    @inproceedings{DBLP:conf/facs2/Wehrheim17,
      author = {Heike Wehrheim},
      editor = {Jos{\'{e}} Proen{\c{c}}a and Markus Lumpe},
      title = {Fault Localization in Service Compositions},
      booktitle = {Formal Aspects of Component Software - 14th International Conference, {FACS} 2017, Braga, Portugal, October 10-13, 2017, Proceedings},
      series = {Lecture Notes in Computer Science},
      volume = {10487},
      pages = {216--232},
      publisher = {Springer},
      year = {2017},
      url = {https://doi.org/10.1007/978-3-319-68034-7\_13},
      doi = {10.1007/978-3-319-68034-7\_13},
      timestamp = {Tue, 14 May 2019 10:00:42 +0200},
      biburl = {https://dblp.org/rec/conf/facs2/Wehrheim17.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    M. Töws und H. Wehrheim, "Policy Dependent and Independent Information Flow Analyses" in Proc. Formal Methods and Software Engineering - 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings, 2017, pp. 362-378.
    @inproceedings{DBLP:conf/icfem/TowsW17,
      author = {Manuel T{\"{o}}ws and Heike Wehrheim},
      editor = {Zhenhua Duan and Luke Ong},
      title = {Policy Dependent and Independent Information Flow Analyses},
      booktitle = {Formal Methods and Software Engineering - 19th International Conference on Formal Engineering Methods, {ICFEM} 2017, Xi'an, China, November 13-17, 2017, Proceedings},
      series = {Lecture Notes in Computer Science},
      volume = {10610},
      pages = {362--378},
      publisher = {Springer},
      year = {2017},
      url = {https://doi.org/10.1007/978-3-319-68690-5\_22},
      doi = {10.1007/978-3-319-68690-5\_22},
      timestamp = {Tue, 14 May 2019 10:00:50 +0200},
      biburl = {https://dblp.org/rec/conf/icfem/TowsW17.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    J. König und H. Wehrheim, "Value-Based or Conflict-Based? Opacity Definitions for STMs" in Proc. Theoretical Aspects of Computing - ICTAC 2017 - 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings, 2017, pp. 118-135.
    @inproceedings{DBLP:conf/ictac/KonigW17,
      author = {J{\"{u}}rgen K{\"{o}}nig and Heike Wehrheim},
      editor = {Dang Van Hung and Deepak Kapur},
      title = {Value-Based or Conflict-Based? Opacity Definitions for STMs},
      booktitle = {Theoretical Aspects of Computing - {ICTAC} 2017 - 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings},
      series = {Lecture Notes in Computer Science},
      volume = {10580},
      pages = {118--135},
      publisher = {Springer},
      year = {2017},
      url = {https://doi.org/10.1007/978-3-319-67729-3\_8},
      doi = {10.1007/978-3-319-67729-3\_8},
      timestamp = {Tue, 14 May 2019 10:00:38 +0200},
      biburl = {https://dblp.org/rec/conf/ictac/KonigW17.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    M. C. Jakobs und H. Wehrheim, "Compact Proof Witnesses" in Proc. NASA Formal Methods - 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings, 2017, pp. 389-403.
    @inproceedings{DBLP:conf/nfm/JakobsW17,
      author = {Marie Christine Jakobs and Heike Wehrheim},
      editor = {Clark W. Barrett and Misty Davies and Temesghen Kahsai},
      title = {Compact Proof Witnesses},
      booktitle = {{NASA} Formal Methods - 9th International Symposium, {NFM} 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings},
      series = {Lecture Notes in Computer Science},
      volume = {10227},
      pages = {389--403},
      year = {2017},
      url = {https://doi.org/10.1007/978-3-319-57288-8\_28},
      doi = {10.1007/978-3-319-57288-8\_28},
      timestamp = {Wed, 25 Sep 2019 18:06:25 +0200},
      biburl = {https://dblp.org/rec/conf/nfm/JakobsW17.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    M. Czech, E. Hüllermeier, M. C. Jakobs, und H. Wehrheim, "Predicting rankings of software verification tools" in Proc. Proceedings of the 3rd ACM SIGSOFT International Workshop on Software Analytics, SWAN@ESEC/SIGSOFT FSE 2017, Paderborn, Germany, September 4, 2017, 2017, pp. 23-26.
    @inproceedings{DBLP:conf/sigsoft/CzechHJW17,
      author = {Mike Czech and Eyke H{\"{u}}llermeier and Marie Christine Jakobs and Heike Wehrheim},
      editor = {Olga Baysal and Tim Menzies},
      title = {Predicting rankings of software verification tools},
      booktitle = {Proceedings of the 3rd {ACM} {SIGSOFT} International Workshop on Software Analytics, SWAN@ESEC/SIGSOFT {FSE} 2017, Paderborn, Germany, September 4, 2017},
      pages = {23--26},
      publisher = {{ACM}},
      year = {2017},
      url = {https://doi.org/10.1145/3121257.3121262},
      doi = {10.1145/3121257.3121262},
      timestamp = {Tue, 06 Nov 2018 16:59:23 +0100},
      biburl = {https://dblp.org/rec/conf/sigsoft/CzechHJW17.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • M. Czech, E. Hüllermeier, M. C. Jakobs, und H. Wehrheim, "Predicting Rankings of Software Verification Competitions" CoRR, vol. abs/1703.00757, 2017.
    @article{DBLP:journals/corr/CzechHJW17,
      author = {Mike Czech and Eyke H{\"{u}}llermeier and Marie Christine Jakobs and Heike Wehrheim},
      title = {Predicting Rankings of Software Verification Competitions},
      journal = {CoRR},
      volume = {abs/1703.00757},
      year = {2017},
      url = {http://arxiv.org/abs/1703.00757},
      archivePrefix = {arXiv},
      eprint = {1703.00757},
      timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
      biburl = {https://dblp.org/rec/journals/corr/CzechHJW17.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • S. Walther und H. Wehrheim, "On-the-fly construction of provably correct service compositions - templates and proofs" Sci. Comput. Program., vol. 127, pp. 2-23, 2016.
    @article{DBLP:journals/scp/WaltherW16,
      author = {Sven Walther and Heike Wehrheim},
      title = {On-the-fly construction of provably correct service compositions - templates and proofs},
      journal = {Sci. Comput. Program.},
      volume = {127},
      pages = {2--23},
      year = {2016},
      url = {https://doi.org/10.1016/j.scico.2016.04.002},
      doi = {10.1016/j.scico.2016.04.002},
      timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
      biburl = {https://dblp.org/rec/journals/scp/WaltherW16.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    J. Krämer und H. Wehrheim, "A Short Survey on Using Software Error Localization for Service Compositions" in Proc. Service-Oriented and Cloud Computing - 5th IFIP WG 2.14 European Conference, ESOCC 2016, Vienna, Austria, September 5-7, 2016, Proceedings, 2016, pp. 248-262.
    @inproceedings{DBLP:conf/esocc/KramerW16,
      author = {Julia Kr{\"{a}}mer and Heike Wehrheim},
      editor = {Marco Aiello and Einar Broch Johnsen and Schahram Dustdar and Ilche Georgievski},
      title = {A Short Survey on Using Software Error Localization for Service Compositions},
      booktitle = {Service-Oriented and Cloud Computing - 5th {IFIP} {WG} 2.14 European Conference, {ESOCC} 2016, Vienna, Austria, September 5-7, 2016, Proceedings},
      series = {Lecture Notes in Computer Science},
      volume = {9846},
      pages = {248--262},
      publisher = {Springer},
      year = {2016},
      url = {https://doi.org/10.1007/978-3-319-44482-6\_16},
      doi = {10.1007/978-3-319-44482-6\_16},
      timestamp = {Wed, 25 Sep 2019 18:01:58 +0200},
      biburl = {https://dblp.org/rec/conf/esocc/KramerW16.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    S. Beringer und H. Wehrheim, "Verification of AUTOSAR Software Architectures with Timed Automata" in Proc. Critical Systems: Formal Methods and Automated Verification - Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings, 2016, pp. 189-204.
    @inproceedings{DBLP:conf/fmics/BeringerW16,
      author = {Steffen Beringer and Heike Wehrheim},
      editor = {Maurice H. ter Beek and Stefania Gnesi and Alexander Knapp},
      title = {Verification of {AUTOSAR} Software Architectures with Timed Automata},
      booktitle = {Critical Systems: Formal Methods and Automated Verification - Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings},
      series = {Lecture Notes in Computer Science},
      volume = {9933},
      pages = {189--204},
      publisher = {Springer},
      year = {2016},
      url = {https://doi.org/10.1007/978-3-319-45943-1\_13},
      doi = {10.1007/978-3-319-45943-1\_13},
      timestamp = {Tue, 14 May 2019 10:00:54 +0200},
      biburl = {https://dblp.org/rec/conf/fmics/BeringerW16.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    M. Töws und H. Wehrheim, "A CEGAR Scheme for Information Flow Analysis" in Proc. Formal Methods and Software Engineering - 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings, 2016, pp. 466-483.
    @inproceedings{DBLP:conf/icfem/TowsW16,
      author = {Manuel T{\"{o}}ws and Heike Wehrheim},
      editor = {Kazuhiro Ogata and Mark Lawford and Shaoying Liu},
      title = {A {CEGAR} Scheme for Information Flow Analysis},
      booktitle = {Formal Methods and Software Engineering - 18th International Conference on Formal Engineering Methods, {ICFEM} 2016, Tokyo, Japan, November 14-18, 2016, Proceedings},
      series = {Lecture Notes in Computer Science},
      volume = {10009},
      pages = {466--483},
      year = {2016},
      url = {https://doi.org/10.1007/978-3-319-47846-3\_29},
      doi = {10.1007/978-3-319-47846-3\_29},
      timestamp = {Tue, 14 May 2019 10:00:50 +0200},
      biburl = {https://dblp.org/rec/conf/icfem/TowsW16.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    O. Travkin und H. Wehrheim, "Verification of Concurrent Programs on Weak Memory Models" in Proc. Theoretical Aspects of Computing - ICTAC 2016 - 13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings, 2016, pp. 3-24.
    @inproceedings{DBLP:conf/ictac/TravkinW16,
      author = {Oleg Travkin and Heike Wehrheim},
      editor = {Augusto Sampaio and Farn Wang},
      title = {Verification of Concurrent Programs on Weak Memory Models},
      booktitle = {Theoretical Aspects of Computing - {ICTAC} 2016 - 13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings},
      series = {Lecture Notes in Computer Science},
      volume = {9965},
      pages = {3--24},
      year = {2016},
      url = {https://doi.org/10.1007/978-3-319-46750-4\_1},
      doi = {10.1007/978-3-319-46750-4\_1},
      timestamp = {Tue, 14 May 2019 10:00:38 +0200},
      biburl = {https://dblp.org/rec/conf/ictac/TravkinW16.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    G. Schellhorn, O. Travkin, und H. Wehrheim, "Towards a Thread-Local Proof Technique for Starvation Freedom" in Proc. Integrated Formal Methods - 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings, 2016, pp. 193-209.
    @inproceedings{DBLP:conf/ifm/SchellhornTW16,
      author = {Gerhard Schellhorn and Oleg Travkin and Heike Wehrheim},
      editor = {Erika {\'{A}}brah{\'{a}}m and Marieke Huisman},
      title = {Towards a Thread-Local Proof Technique for Starvation Freedom},
      booktitle = {Integrated Formal Methods - 12th International Conference, {IFM} 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings},
      series = {Lecture Notes in Computer Science},
      volume = {9681},
      pages = {193--209},
      publisher = {Springer},
      year = {2016},
      url = {https://doi.org/10.1007/978-3-319-33693-0\_13},
      doi = {10.1007/978-3-319-33693-0\_13},
      timestamp = {Fri, 09 Apr 2021 18:43:38 +0200},
      biburl = {https://dblp.org/rec/conf/ifm/SchellhornTW16.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    S. Doherty, B. Dongol, J. Derrick, G. Schellhorn, und H. Wehrheim, "Proving Opacity of a Pessimistic STM" in Proc. 20th International Conference on Principles of Distributed Systems, OPODIS 2016, December 13-16, 2016, Madrid, Spain, 2016, p. 35:1-35:17.
    @inproceedings{DBLP:conf/opodis/DohertyDDSW16,
      author = {Simon Doherty and Brijesh Dongol and John Derrick and Gerhard Schellhorn and Heike Wehrheim},
      editor = {Panagiota Fatourou and Ernesto Jim{\'{e}}nez and Fernando Pedone},
      title = {Proving Opacity of a Pessimistic {STM}},
      booktitle = {20th International Conference on Principles of Distributed Systems, {OPODIS} 2016, December 13-16, 2016, Madrid, Spain},
      series = {LIPIcs},
      volume = {70},
      pages = {35:1--35:17},
      publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
      year = {2016},
      url = {https://doi.org/10.4230/LIPIcs.OPODIS.2016.35},
      doi = {10.4230/LIPIcs.OPODIS.2016.35},
      timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
      biburl = {https://dblp.org/rec/conf/opodis/DohertyDDSW16.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    M. Czech, M. C. Jakobs, und H. Wehrheim, "Just test what you cannot verify!" in Proc. Software Engineering 2016, Fachtagung des GI-Fachbereichs Softwaretechnik, 23.-26. Februar 2016, Wien, Österreich, 2016, pp. 17-18.
    @inproceedings{DBLP:conf/se/CzechJW16,
      author = {Mike Czech and Marie Christine Jakobs and Heike Wehrheim},
      editor = {Jens Knoop and Uwe Zdun},
      title = {Just test what you cannot verify!},
      booktitle = {Software Engineering 2016, Fachtagung des GI-Fachbereichs Softwaretechnik, 23.-26. Februar 2016, Wien, {\"{O}}sterreich},
      series = {{LNI}},
      volume = {{P-252}},
      pages = {17--18},
      publisher = {{GI}},
      year = {2016},
      url = {https://dl.gi.de/20.500.12116/718},
      timestamp = {Wed, 13 Jan 2021 11:09:11 +0100},
      biburl = {https://dblp.org/rec/conf/se/CzechJW16.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    J. Krämer und H. Wehrheim, "A Formal Approach to Error Localization and Correction in Service Compositions" in Proc. Software Technologies: Applications and Foundations - STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna, Austria, July 4-8, 2016, Revised Selected Papers, 2016, pp. 445-457.
    @inproceedings{DBLP:conf/staf/KramerW16,
      author = {Julia Kr{\"{a}}mer and Heike Wehrheim},
      editor = {Paolo Milazzo and D{\'{a}}niel Varr{\'{o}} and Manuel Wimmer},
      title = {A Formal Approach to Error Localization and Correction in Service Compositions},
      booktitle = {Software Technologies: Applications and Foundations - {STAF} 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna, Austria, July 4-8, 2016, Revised Selected Papers},
      series = {Lecture Notes in Computer Science},
      volume = {9946},
      pages = {445--457},
      publisher = {Springer},
      year = {2016},
      url = {https://doi.org/10.1007/978-3-319-50230-4\_35},
      doi = {10.1007/978-3-319-50230-4\_35},
      timestamp = {Tue, 14 May 2019 10:00:51 +0200},
      biburl = {https://dblp.org/rec/conf/staf/KramerW16.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • T. Isenberg, M. C. Jakobs, F. Pauck, und H. Wehrheim, "Deriving approximation tolerance constraints from verification runs" CoRR, vol. abs/1604.08784, 2016.
    @article{DBLP:journals/corr/0002JPW16,
      author = {Tobias Isenberg and Marie Christine Jakobs and Felix Pauck and Heike Wehrheim},
      title = {Deriving approximation tolerance constraints from verification runs},
      journal = {CoRR},
      volume = {abs/1604.08784},
      year = {2016},
      url = {http://arxiv.org/abs/1604.08784},
      archivePrefix = {arXiv},
      eprint = {1604.08784},
      timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
      biburl = {https://dblp.org/rec/journals/corr/0002JPW16.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • G. Besova, D. Steenken, und H. Wehrheim, "Grammar-based model transformations: Definition, execution, and quality properties" Comput. Lang. Syst. Struct., vol. 43, pp. 116-138, 2015.
    @article{DBLP:journals/cl/BesovaSW15,
      author = {Galina Besova and Dominik Steenken and Heike Wehrheim},
      title = {Grammar-based model transformations: Definition, execution, and quality properties},
      journal = {Comput. Lang. Syst. Struct.},
      volume = {43},
      pages = {116--138},
      year = {2015},
      url = {https://doi.org/10.1016/j.cl.2015.05.003},
      doi = {10.1016/j.cl.2015.05.003},
      timestamp = {Tue, 11 Feb 2020 00:00:00 +0100},
      biburl = {https://dblp.org/rec/journals/cl/BesovaSW15.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • S. Ziegert und H. Wehrheim, "Temporal plans for software architecture reconfiguration" Comput. Sci. Res. Dev., vol. 30, iss. 3-4, pp. 303-320, 2015.
    @article{DBLP:journals/ife/ZiegertW15,
      author = {Steffen Ziegert and Heike Wehrheim},
      title = {Temporal plans for software architecture reconfiguration},
      journal = {Comput. Sci. Res. Dev.},
      volume = {30},
      number = {3-4},
      pages = {303--320},
      year = {2015},
      url = {https://doi.org/10.1007/s00450-014-0259-7},
      doi = {10.1007/s00450-014-0259-7},
      timestamp = {Wed, 04 Mar 2020 00:00:00 +0100},
      biburl = {https://dblp.org/rec/journals/ife/ZiegertW15.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    R. Meyer und H. Wehrheim, "From Program Verification to Time and Space: The Scientific Life of Ernst-Rüdiger Olderog" in Proc. 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, 2015, pp. 3-4.
    @inproceedings{DBLP:conf/birthday/MeyerW15,
      author = {Roland Meyer and Heike Wehrheim},
      editor = {Roland Meyer and Andr{\'{e}} Platzer and Heike Wehrheim},
      title = {From Program Verification to Time and Space: The Scientific Life of Ernst-R{\"{u}}diger Olderog},
      booktitle = {Correct System Design - Symposium in Honor of Ernst-R{\"{u}}diger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015. Proceedings},
      series = {Lecture Notes in Computer Science},
      volume = {9360},
      pages = {3--4},
      publisher = {Springer},
      year = {2015},
      url = {https://doi.org/10.1007/978-3-319-23506-6\_1},
      doi = {10.1007/978-3-319-23506-6\_1},
      timestamp = {Mon, 02 Sep 2019 16:45:58 +0200},
      biburl = {https://dblp.org/rec/conf/birthday/MeyerW15.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    M. Czech, M. C. Jakobs, und H. Wehrheim, "Just Test What You Cannot Verify!" in Proc. Fundamental Approaches to Software Engineering - 18th International Conference, FASE 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. Proceedings, 2015, pp. 100-114.
    @inproceedings{DBLP:conf/fase/CzechJW15,
      author = {Mike Czech and Marie Christine Jakobs and Heike Wehrheim},
      editor = {Alexander Egyed and Ina Schaefer},
      title = {Just Test What You Cannot Verify!},
      booktitle = {Fundamental Approaches to Software Engineering - 18th International Conference, {FASE} 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2015, London, UK, April 11-18, 2015. Proceedings},
      series = {Lecture Notes in Computer Science},
      volume = {9033},
      pages = {100--114},
      publisher = {Springer},
      year = {2015},
      url = {https://doi.org/10.1007/978-3-662-46675-9\_7},
      doi = {10.1007/978-3-662-46675-9\_7},
      timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
      biburl = {https://dblp.org/rec/conf/fase/CzechJW15.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    J. Derrick, B. Dongol, G. Schellhorn, O. Travkin, und H. Wehrheim, "Verifying Opacity of a Transactional Mutex Lock" in Proc. FM 2015: Formal Methods - 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings, 2015, pp. 161-177.
    @inproceedings{DBLP:conf/fm/DerrickDSTW15,
      author = {John Derrick and Brijesh Dongol and Gerhard Schellhorn and Oleg Travkin and Heike Wehrheim},
      editor = {Nikolaj Bj{\o}rner and Frank S. de Boer},
      title = {Verifying Opacity of a Transactional Mutex Lock},
      booktitle = {{FM} 2015: Formal Methods - 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings},
      series = {Lecture Notes in Computer Science},
      volume = {9109},
      pages = {161--177},
      publisher = {Springer},
      year = {2015},
      url = {https://doi.org/10.1007/978-3-319-19249-9\_11},
      doi = {10.1007/978-3-319-19249-9\_11},
      timestamp = {Tue, 14 May 2019 10:00:46 +0200},
      biburl = {https://dblp.org/rec/conf/fm/DerrickDSTW15.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    H. Wehrheim und O. Travkin, "TSO to SC via Symbolic Execution" in Proc. Hardware and Software: Verification and Testing - 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings, 2015, pp. 104-119.
    @inproceedings{DBLP:conf/hvc/WehrheimT15,
      author = {Heike Wehrheim and Oleg Travkin},
      editor = {Nir Piterman},
      title = {{TSO} to {SC} via Symbolic Execution},
      booktitle = {Hardware and Software: Verification and Testing - 11th International Haifa Verification Conference, {HVC} 2015, Haifa, Israel, November 17-19, 2015, Proceedings},
      series = {Lecture Notes in Computer Science},
      volume = {9434},
      pages = {104--119},
      publisher = {Springer},
      year = {2015},
      url = {https://doi.org/10.1007/978-3-319-26287-1\_7},
      doi = {10.1007/978-3-319-26287-1\_7},
      timestamp = {Tue, 14 May 2019 10:00:42 +0200},
      biburl = {https://dblp.org/rec/conf/hvc/WehrheimT15.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    M. C. Jakobs und H. Wehrheim, "Programs from proofs of predicated dataflow analyses" in Proc. Proceedings of the 30th Annual ACM Symposium on Applied Computing, Salamanca, Spain, April 13-17, 2015, 2015, pp. 1729-1736.
    @inproceedings{DBLP:conf/sac/JakobsW15,
      author = {Marie Christine Jakobs and Heike Wehrheim},
      editor = {Roger L. Wainwright and Juan Manuel Corchado and Alessio Bechini and Jiman Hong},
      title = {Programs from proofs of predicated dataflow analyses},
      booktitle = {Proceedings of the 30th Annual {ACM} Symposium on Applied Computing, Salamanca, Spain, April 13-17, 2015},
      pages = {1729--1736},
      publisher = {{ACM}},
      year = {2015},
      url = {https://doi.org/10.1145/2695664.2695690},
      doi = {10.1145/2695664.2695690},
      timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
      biburl = {https://dblp.org/rec/conf/sac/JakobsW15.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [proceedings] bibtex | Dokument aufrufen Dokument aufrufen
    Correct System Design - Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015. ProceedingsSpringer, 2015.
    @proceedings{DBLP:conf/birthday/2015olderog, editor = {Roland Meyer and Andr{\'{e}} Platzer and Heike Wehrheim},
      title = {Correct System Design - Symposium in Honor of Ernst-R{\"{u}}diger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015. Proceedings},
      series = {Lecture Notes in Computer Science},
      volume = {9360},
      publisher = {Springer},
      year = {2015},
      url = {https://doi.org/10.1007/978-3-319-23506-6},
      doi = {10.1007/978-3-319-23506-6},
      isbn = {978-3-319-23505-9},
      timestamp = {Mon, 02 Sep 2019 01:00:00 +0200},
      biburl = {https://dblp.org/rec/conf/birthday/2015olderog.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • S. A. Schneider, H. Treharne, und H. Wehrheim, "The behavioural semantics of Event-B refinement" Formal Aspects Comput., vol. 26, iss. 2, pp. 251-280, 2014.
    @article{DBLP:journals/fac/SchneiderTW14,
      author = {Steve A. Schneider and Helen Treharne and Heike Wehrheim},
      title = {The behavioural semantics of Event-B refinement},
      journal = {Formal Aspects Comput.},
      volume = {26},
      number = {2},
      pages = {251--280},
      year = {2014},
      url = {https://doi.org/10.1007/s00165-012-0265-0},
      doi = {10.1007/s00165-012-0265-0},
      timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
      biburl = {https://dblp.org/rec/journals/fac/SchneiderTW14.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • B. Tofan, O. Travkin, G. Schellhorn, und H. Wehrheim, "Two approaches for proving linearizability of multiset" Sci. Comput. Program., vol. 96, pp. 297-314, 2014.
    @article{DBLP:journals/scp/TofanTSW14,
      author = {Bogdan Tofan and Oleg Travkin and Gerhard Schellhorn and Heike Wehrheim},
      title = {Two approaches for proving linearizability of multiset},
      journal = {Sci. Comput. Program.},
      volume = {96},
      pages = {297--314},
      year = {2014},
      url = {https://doi.org/10.1016/j.scico.2014.04.001},
      doi = {10.1016/j.scico.2014.04.001},
      timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
      biburl = {https://dblp.org/rec/journals/scp/TofanTSW14.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • G. Schellhorn, J. Derrick, und H. Wehrheim, "A Sound and Complete Proof Technique for Linearizability of Concurrent Data Structures" ACM Trans. Comput. Log., vol. 15, iss. 4, p. 31:1-31:37, 2014.
    @article{DBLP:journals/tocl/SchellhornDW14,
      author = {Gerhard Schellhorn and John Derrick and Heike Wehrheim},
      title = {A Sound and Complete Proof Technique for Linearizability of Concurrent Data Structures},
      journal = {{ACM} Trans. Comput. Log.},
      volume = {15},
      number = {4},
      pages = {31:1--31:37},
      year = {2014},
      url = {https://doi.org/10.1145/2629496},
      doi = {10.1145/2629496},
      timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
      biburl = {https://dblp.org/rec/journals/tocl/SchellhornDW14.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    S. Walther und H. Wehrheim, "Verified Service Compositions by Template-Based Construction" in Proc. Formal Aspects of Component Software - 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers, 2014, pp. 31-48.
    @inproceedings{DBLP:conf/facs2/WaltherW14,
      author = {Sven Walther and Heike Wehrheim},
      editor = {Ivan Lanese and Eric Madelaine},
      title = {Verified Service Compositions by Template-Based Construction},
      booktitle = {Formal Aspects of Component Software - 11th International Symposium, {FACS} 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers},
      series = {Lecture Notes in Computer Science},
      volume = {8997},
      pages = {31--48},
      publisher = {Springer},
      year = {2014},
      url = {https://doi.org/10.1007/978-3-319-15317-9\_3},
      doi = {10.1007/978-3-319-15317-9\_3},
      timestamp = {Tue, 14 May 2019 10:00:42 +0200},
      biburl = {https://dblp.org/rec/conf/facs2/WaltherW14.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    G. Besova, D. Steenken, und H. Wehrheim, "Grammar-Based Model Transformations" in Proc. Proceedings of the 2014 Federated Conference on Computer Science and Information Systems, Warsaw, Poland, September 7-10, 2014, 2014, pp. 1601-1610.
    @inproceedings{DBLP:conf/fedcsis/BesovaSW14,
      author = {Galina Besova and Dominik Steenken and Heike Wehrheim},
      editor = {Maria Ganzha and Leszek A. Maciaszek and Marcin Paprzycki},
      title = {Grammar-Based Model Transformations},
      booktitle = {Proceedings of the 2014 Federated Conference on Computer Science and Information Systems, Warsaw, Poland, September 7-10, 2014},
      series = {Annals of Computer Science and Information Systems},
      volume = {2},
      pages = {1601--1610},
      year = {2014},
      url = {https://doi.org/10.15439/2014F144},
      doi = {10.15439/2014F144},
      timestamp = {Tue, 08 Oct 2019 12:13:25 +0200},
      biburl = {https://dblp.org/rec/conf/fedcsis/BesovaSW14.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    J. Derrick, B. Dongol, G. Schellhorn, B. Tofan, O. Travkin, und H. Wehrheim, "Quiescent Consistency: Defining and Verifying Relaxed Linearizability" in Proc. FM 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings, 2014, pp. 200-214.
    @inproceedings{DBLP:conf/fm/DerrickDSTTW14,
      author = {John Derrick and Brijesh Dongol and Gerhard Schellhorn and Bogdan Tofan and Oleg Travkin and Heike Wehrheim},
      editor = {Cliff B. Jones and Pekka Pihlajasaari and Jun Sun},
      title = {Quiescent Consistency: Defining and Verifying Relaxed Linearizability},
      booktitle = {{FM} 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings},
      series = {Lecture Notes in Computer Science},
      volume = {8442},
      pages = {200--214},
      publisher = {Springer},
      year = {2014},
      url = {https://doi.org/10.1007/978-3-319-06410-9\_15},
      doi = {10.1007/978-3-319-06410-9\_15},
      timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
      biburl = {https://dblp.org/rec/conf/fm/DerrickDSTTW14.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    O. Travkin und H. Wehrheim, "Handling TSO in Mechanized Linearizability Proofs" in Proc. Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014. Proceedings, 2014, pp. 132-147.
    @inproceedings{DBLP:conf/hvc/TravkinW14,
      author = {Oleg Travkin and Heike Wehrheim},
      editor = {Eran Yahav},
      title = {Handling {TSO} in Mechanized Linearizability Proofs},
      booktitle = {Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference, {HVC} 2014, Haifa, Israel, November 18-20, 2014. Proceedings},
      series = {Lecture Notes in Computer Science},
      volume = {8855},
      pages = {132--147},
      publisher = {Springer},
      year = {2014},
      url = {https://doi.org/10.1007/978-3-319-13338-6\_11},
      doi = {10.1007/978-3-319-13338-6\_11},
      timestamp = {Tue, 14 May 2019 10:00:42 +0200},
      biburl = {https://dblp.org/rec/conf/hvc/TravkinW14.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    T. Isenberg und H. Wehrheim, "Timed Automata Verification via IC3 with Zones" in Proc. Formal Methods and Software Engineering - 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings, 2014, pp. 203-218.
    @inproceedings{DBLP:conf/icfem/0002W14,
      author = {Tobias Isenberg and Heike Wehrheim},
      editor = {Stephan Merz and Jun Pang},
      title = {Timed Automata Verification via {IC3} with Zones},
      booktitle = {Formal Methods and Software Engineering - 16th International Conference on Formal Engineering Methods, {ICFEM} 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings},
      series = {Lecture Notes in Computer Science},
      volume = {8829},
      pages = {203--218},
      publisher = {Springer},
      year = {2014},
      url = {https://doi.org/10.1007/978-3-319-11737-9\_14},
      doi = {10.1007/978-3-319-11737-9\_14},
      timestamp = {Sat, 31 Aug 2019 23:49:22 +0200},
      biburl = {https://dblp.org/rec/conf/icfem/0002W14.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    S. A. Schneider, H. Treharne, H. Wehrheim, und D. M. Williams, "Managing LTL Properties in Event-B Refinement" in Proc. Integrated Formal Methods - 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings, 2014, pp. 221-237.
    @inproceedings{DBLP:conf/ifm/SchneiderTWW14,
      author = {Steve A. Schneider and Helen Treharne and Heike Wehrheim and David M. Williams},
      editor = {Elvira Albert and Emil Sekerinski},
      title = {Managing {LTL} Properties in Event-B Refinement},
      booktitle = {Integrated Formal Methods - 11th International Conference, {IFM} 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings},
      series = {Lecture Notes in Computer Science},
      volume = {8739},
      pages = {221--237},
      publisher = {Springer},
      year = {2014},
      url = {https://doi.org/10.1007/978-3-319-10181-1\_14},
      doi = {10.1007/978-3-319-10181-1\_14},
      timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
      biburl = {https://dblp.org/rec/conf/ifm/SchneiderTWW14.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    M. C. Jakobs, M. Platzner, H. Wehrheim, und T. Wiersema, "Integrating Software and Hardware Verification" in Proc. Integrated Formal Methods - 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings, 2014, pp. 307-322.
    @inproceedings{DBLP:conf/ifm/JakobsPWW14,
      author = {Marie Christine Jakobs and Marco Platzner and Heike Wehrheim and Tobias Wiersema},
      editor = {Elvira Albert and Emil Sekerinski},
      title = {Integrating Software and Hardware Verification},
      booktitle = {Integrated Formal Methods - 11th International Conference, {IFM} 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings},
      series = {Lecture Notes in Computer Science},
      volume = {8739},
      pages = {307--322},
      publisher = {Springer},
      year = {2014},
      url = {https://doi.org/10.1007/978-3-319-10181-1\_19},
      doi = {10.1007/978-3-319-10181-1\_19},
      timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
      biburl = {https://dblp.org/rec/conf/ifm/JakobsPWW14.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    D. Wonisch, A. Schremmer, und H. Wehrheim, "Programs from Proofs - Approach and Applications" in Proc. Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik, 25. Februar - 28. Februar 2014, Kiel, Germany, 2014, pp. 67-68.
    @inproceedings{DBLP:conf/se/WonischSW14,
      author = {Daniel Wonisch and Alexander Schremmer and Heike Wehrheim},
      editor = {Wilhelm Hasselbring and Nils Christian Ehmke},
      title = {Programs from Proofs - Approach and Applications},
      booktitle = {Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik, 25. Februar - 28. Februar 2014, Kiel, Germany},
      series = {{LNI}},
      volume = {{P-227}},
      pages = {67--68},
      publisher = {{GI}},
      year = {2014},
      url = {https://dl.gi.de/20.500.12116/30963},
      timestamp = {Wed, 13 Jan 2021 11:09:09 +0100},
      biburl = {https://dblp.org/rec/conf/se/WonischSW14.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    M. C. Jakobs und H. Wehrheim, "Certification for configurable program analysis" in Proc. 2014 International Symposium on Model Checking of Software, SPIN 2014, Proceedings, San Jose, CA, USA, July 21-23, 2014, 2014, pp. 30-39.
    @inproceedings{DBLP:conf/spin/JakobsW14,
      author = {Marie Christine Jakobs and Heike Wehrheim},
      editor = {Neha Rungta and Oksana Tkachuk},
      title = {Certification for configurable program analysis},
      booktitle = {2014 International Symposium on Model Checking of Software, {SPIN} 2014, Proceedings, San Jose, CA, USA, July 21-23, 2014},
      pages = {30--39},
      publisher = {{ACM}},
      year = {2014},
      url = {https://doi.org/10.1145/2632362.2632372},
      doi = {10.1145/2632362.2632372},
      timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
      biburl = {https://dblp.org/rec/conf/spin/JakobsW14.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • S. A. Schneider, H. Treharne, H. Wehrheim, und D. M. Williams, "Managing LTL properties in Event-B refinement" CoRR, vol. abs/1406.6622, 2014.
    @article{DBLP:journals/corr/SchneiderTWW14,
      author = {Steve A. Schneider and Helen Treharne and Heike Wehrheim and David M. Williams},
      title = {Managing {LTL} properties in Event-B refinement},
      journal = {CoRR},
      volume = {abs/1406.6622},
      year = {2014},
      url = {http://arxiv.org/abs/1406.6622},
      archivePrefix = {arXiv},
      eprint = {1406.6622},
      timestamp = {Fri, 07 Aug 2020 01:00:00 +0200},
      biburl = {https://dblp.org/rec/journals/corr/SchneiderTWW14.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • T. Isenberg und H. Wehrheim, "Proof-Carrying Hardware via IC3" CoRR, vol. abs/1410.4507, 2014.
    @article{DBLP:journals/corr/0002W14a,
      author = {Tobias Isenberg and Heike Wehrheim},
      title = {Proof-Carrying Hardware via {IC3}},
      journal = {CoRR},
      volume = {abs/1410.4507},
      year = {2014},
      url = {http://arxiv.org/abs/1410.4507},
      archivePrefix = {arXiv},
      eprint = {1410.4507},
      timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
      biburl = {https://dblp.org/rec/journals/corr/0002W14a.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    D. Wonisch, A. Schremmer, und H. Wehrheim, "Programs from Proofs - A PCC Alternative" in Proc. Computer Aided Verification - 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings, 2013, pp. 912-927.
    @inproceedings{DBLP:conf/cav/WonischSW13,
      author = {Daniel Wonisch and Alexander Schremmer and Heike Wehrheim},
      editor = {Natasha Sharygina and Helmut Veith},
      title = {Programs from Proofs - {A} {PCC} Alternative},
      booktitle = {Computer Aided Verification - 25th International Conference, {CAV} 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings},
      series = {Lecture Notes in Computer Science},
      volume = {8044},
      pages = {912--927},
      publisher = {Springer},
      year = {2013},
      url = {https://doi.org/10.1007/978-3-642-39799-8\_65},
      doi = {10.1007/978-3-642-39799-8\_65},
      timestamp = {Tue, 14 May 2019 10:00:43 +0200},
      biburl = {https://dblp.org/rec/conf/cav/WonischSW13.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    T. Isenberg, D. Steenken, und H. Wehrheim, "Bounded Model Checking of Graph Transformation Systems via SMT Solving" in Proc. Formal Techniques for Distributed Systems - Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings, 2013, pp. 178-192.
    @inproceedings{DBLP:conf/forte/IsenbergSW13,
      author = {Tobias Isenberg and Dominik Steenken and Heike Wehrheim},
      editor = {Dirk Beyer and Michele Boreale},
      title = {Bounded Model Checking of Graph Transformation Systems via {SMT} Solving},
      booktitle = {Formal Techniques for Distributed Systems - Joint {IFIP} {WG} 6.1 International Conference, {FMOODS/FORTE} 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings},
      series = {Lecture Notes in Computer Science},
      volume = {7892},
      pages = {178--192},
      publisher = {Springer},
      year = {2013},
      url = {https://doi.org/10.1007/978-3-642-38592-6\_13},
      doi = {10.1007/978-3-642-38592-6\_13},
      timestamp = {Tue, 14 May 2019 10:00:50 +0200},
      biburl = {https://dblp.org/rec/conf/forte/IsenbergSW13.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    O. Travkin, A. Mütze, und H. Wehrheim, "SPIN as a Linearizability Checker under Weak Memory Models" in Proc. Hardware and Software: Verification and Testing - 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings, 2013, pp. 311-326.
    @inproceedings{DBLP:conf/hvc/TravkinMW13,
      author = {Oleg Travkin and Annika M{\"{u}}tze and Heike Wehrheim},
      editor = {Valeria Bertacco and Axel Legay},
      title = {{SPIN} as a Linearizability Checker under Weak Memory Models},
      booktitle = {Hardware and Software: Verification and Testing - 9th International Haifa Verification Conference, {HVC} 2013, Haifa, Israel, November 5-7, 2013, Proceedings},
      series = {Lecture Notes in Computer Science},
      volume = {8244},
      pages = {311--326},
      publisher = {Springer},
      year = {2013},
      url = {https://doi.org/10.1007/978-3-319-03077-7\_21},
      doi = {10.1007/978-3-319-03077-7\_21},
      timestamp = {Tue, 14 May 2019 10:00:42 +0200},
      biburl = {https://dblp.org/rec/conf/hvc/TravkinMW13.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    S. Walther und H. Wehrheim, "Knowledge-Based Verification of Service Compositions - An SMT Approach" in Proc. 2013 18th International Conference on Engineering of Complex Computer Systems, Singapore, July 17-19, 2013, 2013, pp. 24-32.
    @inproceedings{DBLP:conf/iceccs/WaltherW13,
      author = {Sven Walther and Heike Wehrheim},
      title = {Knowledge-Based Verification of Service Compositions - An {SMT} Approach},
      booktitle = {2013 18th International Conference on Engineering of Complex Computer Systems, Singapore, July 17-19, 2013},
      pages = {24--32},
      publisher = {{IEEE} Computer Society},
      year = {2013},
      url = {https://doi.org/10.1109/ICECCS.2013.14},
      doi = {10.1109/ICECCS.2013.14},
      timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
      biburl = {https://dblp.org/rec/conf/iceccs/WaltherW13.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    B. Dongol, O. Travkin, J. Derrick, und H. Wehrheim, "A High-Level Semantics for Program Execution under Total Store Order Memory" in Proc. Theoretical Aspects of Computing - ICTAC 2013 - 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings, 2013, pp. 177-194.
    @inproceedings{DBLP:conf/ictac/DongolTDW13,
      author = {Brijesh Dongol and Oleg Travkin and John Derrick and Heike Wehrheim},
      editor = {Zhiming Liu and Jim Woodcock and Huibiao Zhu},
      title = {A High-Level Semantics for Program Execution under Total Store Order Memory},
      booktitle = {Theoretical Aspects of Computing - {ICTAC} 2013 - 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings},
      series = {Lecture Notes in Computer Science},
      volume = {8049},
      pages = {177--194},
      publisher = {Springer},
      year = {2013},
      url = {https://doi.org/10.1007/978-3-642-39718-9\_11},
      doi = {10.1007/978-3-642-39718-9\_11},
      timestamp = {Tue, 14 May 2019 10:00:38 +0200},
      biburl = {https://dblp.org/rec/conf/ictac/DongolTDW13.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    S. Ziegert und H. Wehrheim, "Temporal Reconfiguration Plans for Self-Adaptive Systems" in Proc. Software Engineering 2013: Fachtagung des GI-Fachbereichs Softwaretechnik, 26. Februar - 2. März 2013 in Aachen, 2013, pp. 271-284.
    @inproceedings{DBLP:conf/se/ZiegertW13,
      author = {Steffen Ziegert and Heike Wehrheim},
      editor = {Stefan Kowalewski and Bernhard Rumpe},
      title = {Temporal Reconfiguration Plans for Self-Adaptive Systems},
      booktitle = {Software Engineering 2013: Fachtagung des GI-Fachbereichs Softwaretechnik, 26. Februar - 2. M{\"{a}}rz 2013 in Aachen},
      series = {{LNI}},
      volume = {{P-213}},
      pages = {271--284},
      publisher = {{GI}},
      year = {2013},
      url = {https://dl.gi.de/20.500.12116/17711},
      timestamp = {Wed, 13 Jan 2021 11:09:07 +0100},
      biburl = {https://dblp.org/rec/conf/se/ZiegertW13.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    D. Wonisch, A. Schremmer, und H. Wehrheim, "Zero Overhead Runtime Monitoring" in Proc. Software Engineering and Formal Methods - 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings, 2013, pp. 244-258.
    @inproceedings{DBLP:conf/sefm/WonischSW13,
      author = {Daniel Wonisch and Alexander Schremmer and Heike Wehrheim},
      editor = {Robert M. Hierons and Mercedes G. Merayo and Mario Bravetti},
      title = {Zero Overhead Runtime Monitoring},
      booktitle = {Software Engineering and Formal Methods - 11th International Conference, {SEFM} 2013, Madrid, Spain, September 25-27, 2013. Proceedings},
      series = {Lecture Notes in Computer Science},
      volume = {8137},
      pages = {244--258},
      publisher = {Springer},
      year = {2013},
      url = {https://doi.org/10.1007/978-3-642-40561-7\_17},
      doi = {10.1007/978-3-642-40561-7\_17},
      timestamp = {Tue, 14 May 2019 10:00:54 +0200},
      biburl = {https://dblp.org/rec/conf/sefm/WonischSW13.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • O. Travkin, H. Wehrheim, und G. Schellhorn, "Proving Linearizability of Multiset with Local Proof Obligations" Electron. Commun. Eur. Assoc. Softw. Sci. Technol., vol. 53, 2012.
    @article{DBLP:journals/eceasst/TravkinWS12,
      author = {Oleg Travkin and Heike Wehrheim and Gerhard Schellhorn},
      title = {Proving Linearizability of Multiset with Local Proof Obligations},
      journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
      volume = {53},
      year = {2012},
      url = {https://doi.org/10.14279/tuj.eceasst.53.795},
      doi = {10.14279/tuj.eceasst.53.795},
      timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
      biburl = {https://dblp.org/rec/journals/eceasst/TravkinWS12.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • T. Ruhroth und H. Wehrheim, "Model evolution and refinement" Sci. Comput. Program., vol. 77, iss. 3, pp. 270-289, 2012.
    @article{DBLP:journals/scp/RuhrothW12,
      author = {Thomas Ruhroth and Heike Wehrheim},
      title = {Model evolution and refinement},
      journal = {Sci. Comput. Program.},
      volume = {77},
      number = {3},
      pages = {270--289},
      year = {2012},
      url = {https://doi.org/10.1016/j.scico.2011.04.007},
      doi = {10.1016/j.scico.2011.04.007},
      timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
      biburl = {https://dblp.org/rec/journals/scp/RuhrothW12.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    G. Schellhorn, H. Wehrheim, und J. Derrick, "How to Prove Algorithms Linearisable" in Proc. Computer Aided Verification - 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings, 2012, pp. 243-259.
    @inproceedings{DBLP:conf/cav/SchellhornWD12,
      author = {Gerhard Schellhorn and Heike Wehrheim and John Derrick},
      editor = {P. Madhusudan and Sanjit A. Seshia},
      title = {How to Prove Algorithms Linearisable},
      booktitle = {Computer Aided Verification - 24th International Conference, {CAV} 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings},
      series = {Lecture Notes in Computer Science},
      volume = {7358},
      pages = {243--259},
      publisher = {Springer},
      year = {2012},
      url = {https://doi.org/10.1007/978-3-642-31424-7\_21},
      doi = {10.1007/978-3-642-31424-7\_21},
      timestamp = {Tue, 14 May 2019 10:00:43 +0200},
      biburl = {https://dblp.org/rec/conf/cav/SchellhornWD12.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    D. Wonisch und H. Wehrheim, "Predicate Analysis with Block-Abstraction Memoization" in Proc. Formal Methods and Software Engineering - 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012. Proceedings, 2012, pp. 332-347.
    @inproceedings{DBLP:conf/icfem/WonischW12,
      author = {Daniel Wonisch and Heike Wehrheim},
      editor = {Toshiaki Aoki and Kenji Taguchi},
      title = {Predicate Analysis with Block-Abstraction Memoization},
      booktitle = {Formal Methods and Software Engineering - 14th International Conference on Formal Engineering Methods, {ICFEM} 2012, Kyoto, Japan, November 12-16, 2012. Proceedings},
      series = {Lecture Notes in Computer Science},
      volume = {7635},
      pages = {332--347},
      publisher = {Springer},
      year = {2012},
      url = {https://doi.org/10.1007/978-3-642-34281-3\_24},
      doi = {10.1007/978-3-642-34281-3\_24},
      timestamp = {Tue, 14 May 2019 10:00:50 +0200},
      biburl = {https://dblp.org/rec/conf/icfem/WonischW12.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    N. Timm, H. Wehrheim, und M. Czech, "Heuristic-Guided Abstraction Refinement for Concurrent Systems" in Proc. Formal Methods and Software Engineering - 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012. Proceedings, 2012, pp. 348-363.
    @inproceedings{DBLP:conf/icfem/TimmWC12,
      author = {Nils Timm and Heike Wehrheim and Mike Czech},
      editor = {Toshiaki Aoki and Kenji Taguchi},
      title = {Heuristic-Guided Abstraction Refinement for Concurrent Systems},
      booktitle = {Formal Methods and Software Engineering - 14th International Conference on Formal Engineering Methods, {ICFEM} 2012, Kyoto, Japan, November 12-16, 2012. Proceedings},
      series = {Lecture Notes in Computer Science},
      volume = {7635},
      pages = {348--363},
      publisher = {Springer},
      year = {2012},
      url = {https://doi.org/10.1007/978-3-642-34281-3\_25},
      doi = {10.1007/978-3-642-34281-3\_25},
      timestamp = {Sun, 21 May 2017 01:00:00 +0200},
      biburl = {https://dblp.org/rec/conf/icfem/TimmWC12.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    G. Besova, S. Walther, H. Wehrheim, und S. Becker, "Weaving-Based Configuration and Modular Transformation of Multi-layer Systems" in Proc. Model Driven Engineering Languages and Systems - 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30-October 5, 2012. Proceedings, 2012, pp. 776-792.
    @inproceedings{DBLP:conf/models/BesovaWWB12,
      author = {Galina Besova and Sven Walther and Heike Wehrheim and Steffen Becker},
      editor = {Robert B. France and J{\"{u}}rgen Kazmeier and Ruth Breu and Colin Atkinson},
      title = {Weaving-Based Configuration and Modular Transformation of Multi-layer Systems},
      booktitle = {Model Driven Engineering Languages and Systems - 15th International Conference, {MODELS} 2012, Innsbruck, Austria, September 30-October 5, 2012. Proceedings},
      series = {Lecture Notes in Computer Science},
      volume = {7590},
      pages = {776--792},
      publisher = {Springer},
      year = {2012},
      url = {https://doi.org/10.1007/978-3-642-33666-9\_49},
      doi = {10.1007/978-3-642-33666-9\_49},
      timestamp = {Tue, 14 May 2019 10:00:45 +0200},
      biburl = {https://dblp.org/rec/conf/models/BesovaWWB12.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • G. Besova, H. Wehrheim, und A. Wagner, "Reputation-based Reliability Prediction of Service Compositions" Electron. Notes Theor. Comput. Sci., vol. 279, iss. 2, pp. 3-16, 2011.
    @article{DBLP:journals/entcs/BesovaWW11,
      author = {Galina Besova and Heike Wehrheim and Annika Wagner},
      title = {Reputation-based Reliability Prediction of Service Compositions},
      journal = {Electron. Notes Theor. Comput. Sci.},
      volume = {279},
      number = {2},
      pages = {3--16},
      year = {2011},
      url = {https://doi.org/10.1016/j.entcs.2011.11.008},
      doi = {10.1016/j.entcs.2011.11.008},
      timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
      biburl = {https://dblp.org/rec/journals/entcs/BesovaWW11.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • S. A. Schneider, H. Treharne, und H. Wehrheim, "Bounded Retransmission in Event-B\(\parallel\)CSP: a Case Study" Electron. Notes Theor. Comput. Sci., vol. 280, pp. 69-80, 2011.
    @article{DBLP:journals/entcs/SchneiderTW11,
      author = {Steve A. Schneider and Helen Treharne and Heike Wehrheim},
      title = {Bounded Retransmission in Event-B{\(\parallel\)}CSP: a Case Study},
      journal = {Electron. Notes Theor. Comput. Sci.},
      volume = {280},
      pages = {69--80},
      year = {2011},
      url = {https://doi.org/10.1016/j.entcs.2011.11.019},
      doi = {10.1016/j.entcs.2011.11.019},
      timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
      biburl = {https://dblp.org/rec/journals/entcs/SchneiderTW11.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • M. Leuschel und H. Wehrheim, "Selected papers on Integrated Formal Methods (iFM09)" Sci. Comput. Program., vol. 76, iss. 10, pp. 835-836, 2011.
    @article{DBLP:journals/scp/LeuschelW11,
      author = {Michael Leuschel and Heike Wehrheim},
      title = {Selected papers on Integrated Formal Methods (iFM09)},
      journal = {Sci. Comput. Program.},
      volume = {76},
      number = {10},
      pages = {835--836},
      year = {2011},
      url = {https://doi.org/10.1016/j.scico.2011.01.009},
      doi = {10.1016/j.scico.2011.01.009},
      timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
      biburl = {https://dblp.org/rec/journals/scp/LeuschelW11.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • J. Derrick, G. Schellhorn, und H. Wehrheim, "Mechanically verified proof obligations for linearizability" ACM Trans. Program. Lang. Syst., vol. 33, iss. 1, p. 4:1-4:43, 2011.
    @article{DBLP:journals/toplas/DerrickSW11,
      author = {John Derrick and Gerhard Schellhorn and Heike Wehrheim},
      title = {Mechanically verified proof obligations for linearizability},
      journal = {{ACM} Trans. Program. Lang. Syst.},
      volume = {33},
      number = {1},
      pages = {4:1--4:43},
      year = {2011},
      url = {https://doi.org/10.1145/1889997.1890001},
      doi = {10.1145/1889997.1890001},
      timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
      biburl = {https://dblp.org/rec/journals/toplas/DerrickSW11.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    T. Ruhroth, H. Wehrheim, und S. Ziegert, "ReL: A Generic Refactoring Language for Specification and Execution" in Proc. 37th EUROMICRO Conference on Software Engineering and Advanced Applications, SEAA 2011, Oulu, Finland, August 30 - September 2, 2011, 2011, pp. 83-90.
    @inproceedings{DBLP:conf/euromicro/RuhrothWZ11,
      author = {Thomas Ruhroth and Heike Wehrheim and Steffen Ziegert},
      title = {ReL: {A} Generic Refactoring Language for Specification and Execution},
      booktitle = {37th {EUROMICRO} Conference on Software Engineering and Advanced Applications, {SEAA} 2011, Oulu, Finland, August 30 - September 2, 2011},
      pages = {83--90},
      publisher = {{IEEE} Computer Society},
      year = {2011},
      url = {https://doi.org/10.1109/SEAA.2011.22},
      doi = {10.1109/SEAA.2011.22},
      timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
      biburl = {https://dblp.org/rec/conf/euromicro/RuhrothWZ11.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    J. Derrick, G. Schellhorn, und H. Wehrheim, "Verifying Linearisability with Potential Linearisation Points" in Proc. FM 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings, 2011, pp. 323-337.
    @inproceedings{DBLP:conf/fm/DerrickSW11,
      author = {John Derrick and Gerhard Schellhorn and Heike Wehrheim},
      editor = {Michael J. Butler and Wolfram Schulte},
      title = {Verifying Linearisability with Potential Linearisation Points},
      booktitle = {{FM} 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings},
      series = {Lecture Notes in Computer Science},
      volume = {6664},
      pages = {323--337},
      publisher = {Springer},
      year = {2011},
      url = {https://doi.org/10.1007/978-3-642-21437-0\_25},
      doi = {10.1007/978-3-642-21437-0\_25},
      timestamp = {Tue, 14 May 2019 10:00:46 +0200},
      biburl = {https://dblp.org/rec/conf/fm/DerrickSW11.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    D. Steenken, H. Wehrheim, und D. Wonisch, "Sound and Complete Abstract Graph Transformation" in Proc. Formal Methods, Foundations and Applications - 14th Brazilian Symposium, SBMF 2011, São Paulo, Brazil, September 26-30, 2011, Revised Selected Papers, 2011, pp. 92-107.
    @inproceedings{DBLP:conf/sbmf/SteenkenWW11,
      author = {Dominik Steenken and Heike Wehrheim and Daniel Wonisch},
      editor = {Adenilso da Silva Sim{\~{a}}o and Carroll Morgan},
      title = {Sound and Complete Abstract Graph Transformation},
      booktitle = {Formal Methods, Foundations and Applications - 14th Brazilian Symposium, {SBMF} 2011, S{\~{a}}o Paulo, Brazil, September 26-30, 2011, Revised Selected Papers},
      series = {Lecture Notes in Computer Science},
      volume = {7021},
      pages = {92--107},
      publisher = {Springer},
      year = {2011},
      url = {https://doi.org/10.1007/978-3-642-25032-3\_7},
      doi = {10.1007/978-3-642-25032-3\_7},
      timestamp = {Mon, 15 Jun 2020 17:10:39 +0200},
      biburl = {https://dblp.org/rec/conf/sbmf/SteenkenWW11.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    S. A. Schneider, H. Treharne, und H. Wehrheim, "A CSP Account of Event-B Refinement" in Proc. Proceedings 15th International Refinement Workshop, Refine@FM 2011, Limerick, Ireland, 20th June 2011, 2011, pp. 139-154.
    @inproceedings{DBLP:journals/corr/abs-1106-4098,
      author = {Steve A. Schneider and Helen Treharne and Heike Wehrheim},
      editor = {John Derrick and Eerke A. Boiten and Steve Reeves},
      title = {A {CSP} Account of Event-B Refinement},
      booktitle = {Proceedings 15th International Refinement Workshop, Refine@FM 2011, Limerick, Ireland, 20th June 2011},
      series = {{EPTCS}},
      volume = {55},
      pages = {139--154},
      year = {2011},
      url = {https://doi.org/10.4204/EPTCS.55.9},
      doi = {10.4204/EPTCS.55.9},
      timestamp = {Fri, 07 Aug 2020 01:00:00 +0200},
      biburl = {https://dblp.org/rec/journals/corr/abs-1106-4098.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • J. Derrick und H. Wehrheim, "Model transformations across views" Sci. Comput. Program., vol. 75, iss. 3, pp. 192-210, 2010.
    @article{DBLP:journals/scp/DerrickW10,
      author = {John Derrick and Heike Wehrheim},
      title = {Model transformations across views},
      journal = {Sci. Comput. Program.},
      volume = {75},
      number = {3},
      pages = {192--210},
      year = {2010},
      url = {https://doi.org/10.1016/j.scico.2009.11.004},
      doi = {10.1016/j.scico.2009.11.004},
      timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
      biburl = {https://dblp.org/rec/journals/scp/DerrickW10.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    W. Schäfer und H. Wehrheim, "Model-Driven Development with Mechatronic UML" in Proc. Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday, 2010, pp. 533-554.
    @inproceedings{DBLP:conf/birthday/SchaferW10,
      author = {Wilhelm Sch{\"{a}}fer and Heike Wehrheim},
      editor = {Gregor Engels and Claus Lewerentz and Wilhelm Sch{\"{a}}fer and Andy Sch{\"{u}}rr and Bernhard Westfechtel},
      title = {Model-Driven Development with Mechatronic {UML}},
      booktitle = {Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday},
      series = {Lecture Notes in Computer Science},
      volume = {5765},
      pages = {533--554},
      publisher = {Springer},
      year = {2010},
      url = {https://doi.org/10.1007/978-3-642-17322-6\_23},
      doi = {10.1007/978-3-642-17322-6\_23},
      timestamp = {Tue, 14 May 2019 10:00:52 +0200},
      biburl = {https://dblp.org/rec/conf/birthday/SchaferW10.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    N. Timm und H. Wehrheim, "On Symmetries and Spotlights - Verifying Parameterised Systems" in Proc. Formal Methods and Software Engineering - 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings, 2010, pp. 534-548.
    @inproceedings{DBLP:conf/icfem/TimmW10,
      author = {Nils Timm and Heike Wehrheim},
      editor = {Jin Song Dong and Huibiao Zhu},
      title = {On Symmetries and Spotlights - Verifying Parameterised Systems},
      booktitle = {Formal Methods and Software Engineering - 12th International Conference on Formal Engineering Methods, {ICFEM} 2010, Shanghai, China, November 17-19, 2010. Proceedings},
      series = {Lecture Notes in Computer Science},
      volume = {6447},
      pages = {534--548},
      publisher = {Springer},
      year = {2010},
      url = {https://doi.org/10.1007/978-3-642-16901-4\_35},
      doi = {10.1007/978-3-642-16901-4\_35},
      timestamp = {Tue, 14 May 2019 10:00:50 +0200},
      biburl = {https://dblp.org/rec/conf/icfem/TimmW10.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    M. Hülsbusch, B. König, A. Rensink, M. Semenyak, C. Soltenborn, und H. Wehrheim, "Showing Full Semantics Preservation in Model Transformation - A Comparison of Techniques" in Proc. Integrated Formal Methods - 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings, 2010, pp. 183-198.
    @inproceedings{DBLP:conf/ifm/HulsbuschKRSSW10,
      author = {Mathias H{\"{u}}lsbusch and Barbara K{\"{o}}nig and Arend Rensink and Maria Semenyak and Christian Soltenborn and Heike Wehrheim},
      editor = {Dominique M{\'{e}}ry and Stephan Merz},
      title = {Showing Full Semantics Preservation in Model Transformation - {A} Comparison of Techniques},
      booktitle = {Integrated Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings},
      series = {Lecture Notes in Computer Science},
      volume = {6396},
      pages = {183--198},
      publisher = {Springer},
      year = {2010},
      url = {https://doi.org/10.1007/978-3-642-16265-7\_14},
      doi = {10.1007/978-3-642-16265-7\_14},
      timestamp = {Tue, 14 May 2019 10:00:51 +0200},
      biburl = {https://dblp.org/rec/conf/ifm/HulsbuschKRSSW10.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    S. A. Schneider, H. Treharne, und H. Wehrheim, "A CSP Approach to Control in Event-B" in Proc. Integrated Formal Methods - 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings, 2010, pp. 260-274.
    @inproceedings{DBLP:conf/ifm/SchneiderTW10,
      author = {Steve A. Schneider and Helen Treharne and Heike Wehrheim},
      editor = {Dominique M{\'{e}}ry and Stephan Merz},
      title = {A {CSP} Approach to Control in Event-B},
      booktitle = {Integrated Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings},
      series = {Lecture Notes in Computer Science},
      volume = {6396},
      pages = {260--274},
      publisher = {Springer},
      year = {2010},
      url = {https://doi.org/10.1007/978-3-642-16265-7\_19},
      doi = {10.1007/978-3-642-16265-7\_19},
      timestamp = {Fri, 07 Aug 2020 01:00:00 +0200},
      biburl = {https://dblp.org/rec/conf/ifm/SchneiderTW10.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    K. Dräger, A. Kupriyanov, B. Finkbeiner, und H. Wehrheim, "SLAB: A Certifying Model Checker for Infinite-State Concurrent Systems" in Proc. Tools and Algorithms for the Construction and Analysis of Systems, 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings, 2010, pp. 271-274.
    @inproceedings{DBLP:conf/tacas/DragerKFW10,
      author = {Klaus Dr{\"{a}}ger and Andrey Kupriyanov and Bernd Finkbeiner and Heike Wehrheim},
      editor = {Javier Esparza and Rupak Majumdar},
      title = {{SLAB:} {A} Certifying Model Checker for Infinite-State Concurrent Systems},
      booktitle = {Tools and Algorithms for the Construction and Analysis of Systems, 16th International Conference, {TACAS} 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings},
      series = {Lecture Notes in Computer Science},
      volume = {6015},
      pages = {271--274},
      publisher = {Springer},
      year = {2010},
      url = {https://doi.org/10.1007/978-3-642-12002-2\_22},
      doi = {10.1007/978-3-642-12002-2\_22},
      timestamp = {Tue, 14 May 2019 10:00:53 +0200},
      biburl = {https://dblp.org/rec/conf/tacas/DragerKFW10.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • D. Steenken, H. Wehrheim, und D. Wonisch, "Towards A Shape Analysis for Graph Transformation Systems" CoRR, vol. abs/1010.4423, 2010.
    @article{DBLP:journals/corr/abs-1010-4423,
      author = {Dominik Steenken and Heike Wehrheim and Daniel Wonisch},
      title = {Towards {A} Shape Analysis for Graph Transformation Systems},
      journal = {CoRR},
      volume = {abs/1010.4423},
      year = {2010},
      url = {http://arxiv.org/abs/1010.4423},
      archivePrefix = {arXiv},
      eprint = {1010.4423},
      timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
      biburl = {https://dblp.org/rec/journals/corr/abs-1010-4423.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • H. Wehrheim und D. Wonisch, "Compositional CSP Traces Refinement Checking" Electron. Notes Theor. Comput. Sci., vol. 250, iss. 2, pp. 135-151, 2009.
    @article{DBLP:journals/entcs/WehrheimW09,
      author = {Heike Wehrheim and Daniel Wonisch},
      title = {Compositional {CSP} Traces Refinement Checking},
      journal = {Electron. Notes Theor. Comput. Sci.},
      volume = {250},
      number = {2},
      pages = {135--151},
      year = {2009},
      url = {https://doi.org/10.1016/j.entcs.2009.08.022},
      doi = {10.1016/j.entcs.2009.08.022},
      timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
      biburl = {https://dblp.org/rec/journals/entcs/WehrheimW09.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • T. Ruhroth und H. Wehrheim, "Static Class Elements for Object-Z" Electron. Notes Theor. Comput. Sci., vol. 259, pp. 193-205, 2009.
    @article{DBLP:journals/entcs/RuhrothW09,
      author = {Thomas Ruhroth and Heike Wehrheim},
      title = {Static Class Elements for Object-Z},
      journal = {Electron. Notes Theor. Comput. Sci.},
      volume = {259},
      pages = {193--205},
      year = {2009},
      url = {https://doi.org/10.1016/j.entcs.2009.12.025},
      doi = {10.1016/j.entcs.2009.12.025},
      timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
      biburl = {https://dblp.org/rec/journals/entcs/RuhrothW09.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    T. Ruhroth, H. Voigt, und H. Wehrheim, "Measure, Diagnose, Refactor: A Formal Quality Cycle for Software Models" in Proc. 35th Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2009, Patras, Greece, August 27-29, 2009, Proceedings, 2009, pp. 360-367.
    @inproceedings{DBLP:conf/euromicro/RuhrothVW09,
      author = {Thomas Ruhroth and Hendrik Voigt and Heike Wehrheim},
      title = {Measure, Diagnose, Refactor: {A} Formal Quality Cycle for Software Models},
      booktitle = {35th Euromicro Conference on Software Engineering and Advanced Applications, {SEAA} 2009, Patras, Greece, August 27-29, 2009, Proceedings},
      pages = {360--367},
      publisher = {{IEEE} Computer Society},
      year = {2009},
      url = {https://doi.org/10.1109/SEAA.2009.39},
      doi = {10.1109/SEAA.2009.39},
      timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
      biburl = {https://dblp.org/rec/conf/euromicro/RuhrothVW09.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    J. Schrieb, H. Wehrheim, und D. Wonisch, "Three-Valued Spotlight Abstractions" in Proc. FM 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings, 2009, pp. 106-122.
    @inproceedings{DBLP:conf/fm/SchriebWW09,
      author = {Jonas Schrieb and Heike Wehrheim and Daniel Wonisch},
      editor = {Ana Cavalcanti and Dennis Dams},
      title = {Three-Valued Spotlight Abstractions},
      booktitle = {{FM} 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings},
      series = {Lecture Notes in Computer Science},
      volume = {5850},
      pages = {106--122},
      publisher = {Springer},
      year = {2009},
      url = {https://doi.org/10.1007/978-3-642-05089-3\_8},
      doi = {10.1007/978-3-642-05089-3\_8},
      timestamp = {Tue, 14 May 2019 10:00:46 +0200},
      biburl = {https://dblp.org/rec/conf/fm/SchriebWW09.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    T. Ruhroth und H. Wehrheim, "Refinement-Preserving Co-evolution" in Proc. Formal Methods and Software Engineering, 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings, 2009, pp. 620-638.
    @inproceedings{DBLP:conf/icfem/RuhrothW09,
      author = {Thomas Ruhroth and Heike Wehrheim},
      editor = {Karin K. Breitman and Ana Cavalcanti},
      title = {Refinement-Preserving Co-evolution},
      booktitle = {Formal Methods and Software Engineering, 11th International Conference on Formal Engineering Methods, {ICFEM} 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings},
      series = {Lecture Notes in Computer Science},
      volume = {5885},
      pages = {620--638},
      publisher = {Springer},
      year = {2009},
      url = {https://doi.org/10.1007/978-3-642-10373-5\_32},
      doi = {10.1007/978-3-642-10373-5\_32},
      timestamp = {Tue, 14 May 2019 10:00:50 +0200},
      biburl = {https://dblp.org/rec/conf/icfem/RuhrothW09.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [proceedings] bibtex | Dokument aufrufen Dokument aufrufen
    Integrated Formal Methods, 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. ProceedingsSpringer, 2009.
    @proceedings{DBLP:conf/ifm/2009, editor = {Michael Leuschel and Heike Wehrheim},
      title = {Integrated Formal Methods, 7th International Conference, {IFM} 2009, D{\"{u}}sseldorf, Germany, February 16-19, 2009. Proceedings},
      series = {Lecture Notes in Computer Science},
      volume = {5423},
      publisher = {Springer},
      year = {2009},
      url = {https://doi.org/10.1007/978-3-642-00255-7},
      doi = {10.1007/978-3-642-00255-7},
      isbn = {978-3-642-00254-0},
      timestamp = {Tue, 14 May 2019 01:00:00 +0200},
      biburl = {https://dblp.org/rec/conf/ifm/2009.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • H. Wehrheim, "Refinement in the Presence of Unknowns" Electron. Notes Theor. Comput. Sci., vol. 201, pp. 255-264, 2008.
    @article{DBLP:journals/entcs/Wehrheim08,
      author = {Heike Wehrheim},
      title = {Refinement in the Presence of Unknowns},
      journal = {Electron. Notes Theor. Comput. Sci.},
      volume = {201},
      pages = {255--264},
      year = {2008},
      url = {https://doi.org/10.1016/j.entcs.2008.02.023},
      doi = {10.1016/j.entcs.2008.02.023},
      timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
      biburl = {https://dblp.org/rec/journals/entcs/Wehrheim08.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • H. - und H. Wehrheim, "Alloy as a Refactoring Checker?" Electron. Notes Theor. Comput. Sci., vol. 214, pp. 331-357, 2008.
    @article{DBLP:journals/entcs/EstlerW08,
      author = {H.{-}Christian Estler and Heike Wehrheim},
      title = {Alloy as a Refactoring Checker?},
      journal = {Electron. Notes Theor. Comput. Sci.},
      volume = {214},
      pages = {331--357},
      year = {2008},
      url = {https://doi.org/10.1016/j.entcs.2008.06.015},
      doi = {10.1016/j.entcs.2008.06.015},
      timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
      biburl = {https://dblp.org/rec/journals/entcs/EstlerW08.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • M. Möller, E. -, H. Rasch, und H. Wehrheim, "Integrating a formal method into a software engineering process with UML and Java" Formal Aspects Comput., vol. 20, iss. 2, pp. 161-204, 2008.
    @article{DBLP:journals/fac/MollerORW08,
      author = {Michael M{\"{o}}ller and Ernst{-}R{\"{u}}diger Olderog and Holger Rasch and Heike Wehrheim},
      title = {Integrating a formal method into a software engineering process with {UML} and Java},
      journal = {Formal Aspects Comput.},
      volume = {20},
      number = {2},
      pages = {161--204},
      year = {2008},
      url = {https://doi.org/10.1007/s00165-007-0042-7},
      doi = {10.1007/s00165-007-0042-7},
      timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
      biburl = {https://dblp.org/rec/journals/fac/MollerORW08.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • I. Brückner, K. Dräger, B. Finkbeiner, und H. Wehrheim, "Slicing Abstractions" Fundam. Informaticae, vol. 89, iss. 4, pp. 369-392, 2008.
    @article{DBLP:journals/fuin/BrucknerDFW08,
      author = {Ingo Br{\"{u}}ckner and Klaus Dr{\"{a}}ger and Bernd Finkbeiner and Heike Wehrheim},
      title = {Slicing Abstractions},
      journal = {Fundam. Informaticae},
      volume = {89},
      number = {4},
      pages = {369--392},
      year = {2008},
      url = {http://content.iospress.com/articles/fundamenta-informaticae/fi89-4-02},
      timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
      biburl = {https://dblp.org/rec/journals/fuin/BrucknerDFW08.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    G. Engels, A. Kleppe, A. Rensink, M. Semenyak, C. Soltenborn, und H. Wehrheim, "From UML Activities to TAAL - Towards Behaviour-Preserving Model Transformations" in Proc. Model Driven Architecture - Foundations and Applications, 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008. Proceedings, 2008, pp. 94-109.
    @inproceedings{DBLP:conf/ecmdafa/EngelsKRSSW08,
      author = {Gregor Engels and Anneke Kleppe and Arend Rensink and Maria Semenyak and Christian Soltenborn and Heike Wehrheim},
      editor = {Ina Schieferdecker and Alan Hartman},
      title = {From {UML} Activities to {TAAL} - Towards Behaviour-Preserving Model Transformations},
      booktitle = {Model Driven Architecture - Foundations and Applications, 4th European Conference, {ECMDA-FA} 2008, Berlin, Germany, June 9-13, 2008. Proceedings},
      series = {Lecture Notes in Computer Science},
      volume = {5095},
      pages = {94--109},
      publisher = {Springer},
      year = {2008},
      url = {https://doi.org/10.1007/978-3-540-69100-6\_7},
      doi = {10.1007/978-3-540-69100-6\_7},
      timestamp = {Tue, 14 May 2019 10:00:41 +0200},
      biburl = {https://dblp.org/rec/conf/ecmdafa/EngelsKRSSW08.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    J. Derrick, G. Schellhorn, und H. Wehrheim, "Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack" in Proc. 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.
    @inproceedings{DBLP:conf/fmoods/DerrickSW08,
      author = {John Derrick and Gerhard Schellhorn and Heike Wehrheim},
      editor = {Gilles Barthe and Frank S. de Boer},
      title = {Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack},
      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},
      series = {Lecture Notes in Computer Science},
      volume = {5051},
      pages = {78--95},
      publisher = {Springer},
      year = {2008},
      url = {https://doi.org/10.1007/978-3-540-68863-1\_6},
      doi = {10.1007/978-3-540-68863-1\_6},
      timestamp = {Sat, 19 Oct 2019 20:16:59 +0200},
      biburl = {https://dblp.org/rec/conf/fmoods/DerrickSW08.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    B. Metzler, H. Wehrheim, und D. Wonisch, "Decomposition for Compositional Verification" in Proc. 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.
    @inproceedings{DBLP:conf/icfem/MetzlerWW08,
      author = {Bj{\"{o}}rn Metzler and Heike Wehrheim and Daniel Wonisch},
      editor = {Shaoying Liu and T. S. E. Maibaum and Keijiro Araki},
      title = {Decomposition for Compositional Verification},
      booktitle = {Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, {ICFEM} 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings},
      series = {Lecture Notes in Computer Science},
      volume = {5256},
      pages = {105--125},
      publisher = {Springer},
      year = {2008},
      url = {https://doi.org/10.1007/978-3-540-88194-0\_9},
      doi = {10.1007/978-3-540-88194-0\_9},
      timestamp = {Tue, 14 May 2019 10:00:50 +0200},
      biburl = {https://dblp.org/rec/conf/icfem/MetzlerWW08.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    H. Wehrheim, "Bounded Model Checking for Partial Kripke Structures" in Proc. Theoretical Aspects of Computing - ICTAC 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings, 2008, pp. 380-394.
    @inproceedings{DBLP:conf/ictac/Wehrheim08,
      author = {Heike Wehrheim},
      editor = {John S. Fitzgerald and Anne E. Haxthausen and H{\"{u}}sn{\"{u}} Yenig{\"{u}}n},
      title = {Bounded Model Checking for Partial Kripke Structures},
      booktitle = {Theoretical Aspects of Computing - {ICTAC} 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings},
      series = {Lecture Notes in Computer Science},
      volume = {5160},
      pages = {380--394},
      publisher = {Springer},
      year = {2008},
      url = {https://doi.org/10.1007/978-3-540-85762-4\_26},
      doi = {10.1007/978-3-540-85762-4\_26},
      timestamp = {Fri, 28 Feb 2020 14:02:33 +0100},
      biburl = {https://dblp.org/rec/conf/ictac/Wehrheim08.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • J. Derrick und H. Wehrheim, "On using data abstractions for model checking refinements" Acta Informatica, vol. 44, iss. 1, pp. 41-71, 2007.
    @article{DBLP:journals/acta/DerrickW07,
      author = {John Derrick and Heike Wehrheim},
      title = {On using data abstractions for model checking refinements},
      journal = {Acta Informatica},
      volume = {44},
      number = {1},
      pages = {41--71},
      year = {2007},
      url = {https://doi.org/10.1007/s00236-007-0042-3},
      doi = {10.1007/s00236-007-0042-3},
      timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
      biburl = {https://dblp.org/rec/journals/acta/DerrickW07.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • B. Metzler und H. Wehrheim, "Extending a Component Specification Language with Time" Electron. Notes Theor. Comput. Sci., vol. 176, iss. 2, pp. 47-67, 2007.
    @article{DBLP:journals/entcs/MetzlerW07,
      author = {Bj{\"{o}}rn Metzler and Heike Wehrheim},
      title = {Extending a Component Specification Language with Time},
      journal = {Electron. Notes Theor. Comput. Sci.},
      volume = {176},
      number = {2},
      pages = {47--67},
      year = {2007},
      url = {https://doi.org/10.1016/j.entcs.2006.02.031},
      doi = {10.1016/j.entcs.2006.02.031},
      timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
      biburl = {https://dblp.org/rec/journals/entcs/MetzlerW07.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • H. -, T. Ruhroth, und H. Wehrheim, "Modelchecking Correctness of Refactorings - Some Experiments" Electron. Notes Theor. Comput. Sci., vol. 187, pp. 3-17, 2007.
    @article{DBLP:journals/entcs/EstlerRW07,
      author = {H.{-}Christian Estler and Thomas Ruhroth and Heike Wehrheim},
      title = {Modelchecking Correctness of Refactorings - Some Experiments},
      journal = {Electron. Notes Theor. Comput. Sci.},
      volume = {187},
      pages = {3--17},
      year = {2007},
      url = {https://doi.org/10.1016/j.entcs.2006.08.041},
      doi = {10.1016/j.entcs.2006.08.041},
      timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
      biburl = {https://dblp.org/rec/journals/entcs/EstlerRW07.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    G. Engels, B. Güldali, C. Soltenborn, und H. Wehrheim, "Assuring Consistency of Business Process Models and Web Services Using Visual Contracts" in Proc. 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.
    @inproceedings{DBLP:conf/agtive/EngelsGSW07,
      author = {Gregor Engels and Baris G{\"{u}}ldali and Christian Soltenborn and Heike Wehrheim},
      editor = {Andy Sch{\"{u}}rr and Manfred Nagl and Albert Z{\"{u}}ndorf},
      title = {Assuring Consistency of Business Process Models and Web Services Using Visual Contracts},
      booktitle = {Applications of Graph Transformations with Industrial Relevance, Third International Symposium, {AGTIVE} 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers},
      series = {Lecture Notes in Computer Science},
      volume = {5088},
      pages = {17--31},
      publisher = {Springer},
      year = {2007},
      url = {https://doi.org/10.1007/978-3-540-89020-1\_2},
      doi = {10.1007/978-3-540-89020-1\_2},
      timestamp = {Tue, 14 May 2019 10:00:49 +0200},
      biburl = {https://dblp.org/rec/conf/agtive/EngelsGSW07.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    G. Engels, C. Soltenborn, und H. Wehrheim, "Analysis of UML Activities Using Dynamic Meta Modeling" in Proc. 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.
    @inproceedings{DBLP:conf/fmoods/EngelsSW07,
      author = {Gregor Engels and Christian Soltenborn and Heike Wehrheim},
      editor = {Marcello M. Bonsangue and Einar Broch Johnsen},
      title = {Analysis of {UML} Activities Using Dynamic Meta Modeling},
      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},
      series = {Lecture Notes in Computer Science},
      volume = {4468},
      pages = {76--90},
      publisher = {Springer},
      year = {2007},
      url = {https://doi.org/10.1007/978-3-540-72952-5\_5},
      doi = {10.1007/978-3-540-72952-5\_5},
      timestamp = {Tue, 14 May 2019 10:00:40 +0200},
      biburl = {https://dblp.org/rec/conf/fmoods/EngelsSW07.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    T. Ruhroth und H. Wehrheim, "Refactoring Object-Oriented Specifications with Data and Processes" in Proc. 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.
    @inproceedings{DBLP:conf/fmoods/RuhrothW07,
      author = {Thomas Ruhroth and Heike Wehrheim},
      editor = {Marcello M. Bonsangue and Einar Broch Johnsen},
      title = {Refactoring Object-Oriented Specifications with Data and Processes},
      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},
      series = {Lecture Notes in Computer Science},
      volume = {4468},
      pages = {236--251},
      publisher = {Springer},
      year = {2007},
      url = {https://doi.org/10.1007/978-3-540-72952-5\_15},
      doi = {10.1007/978-3-540-72952-5\_15},
      timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
      biburl = {https://dblp.org/rec/conf/fmoods/RuhrothW07.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    I. Brückner, K. Dräger, B. Finkbeiner, und H. Wehrheim, "Slicing Abstractions" in Proc. International Symposium on Fundamentals of Software Engineering, International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings, 2007, pp. 17-32.
    @inproceedings{DBLP:conf/fsen/BrucknerDFW07,
      author = {Ingo Br{\"{u}}ckner and Klaus Dr{\"{a}}ger and Bernd Finkbeiner and Heike Wehrheim},
      editor = {Farhad Arbab and Marjan Sirjani},
      title = {Slicing Abstractions},
      booktitle = {International Symposium on Fundamentals of Software Engineering, International Symposium, {FSEN} 2007, Tehran, Iran, April 17-19, 2007, Proceedings},
      series = {Lecture Notes in Computer Science},
      volume = {4767},
      pages = {17--32},
      publisher = {Springer},
      year = {2007},
      url = {https://doi.org/10.1007/978-3-540-75698-9\_2},
      doi = {10.1007/978-3-540-75698-9\_2},
      timestamp = {Tue, 14 May 2019 10:00:43 +0200},
      biburl = {https://dblp.org/rec/conf/fsen/BrucknerDFW07.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    W. Schäfer und H. Wehrheim, "The Challenges of Building Advanced Mechatronic Systems" in Proc. 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.
    @inproceedings{DBLP:conf/icse/SchaferW07,
      author = {Wilhelm Sch{\"{a}}fer and Heike Wehrheim},
      editor = {Lionel C. Briand and Alexander L. Wolf},
      title = {The Challenges of Building Advanced Mechatronic Systems},
      booktitle = {International Conference on Software Engineering, {ISCE} 2007, Workshop on the Future of Software Engineering, {FOSE} 2007, May 23-25, 2007, Minneapolis, MN, {USA}},
      pages = {72--84},
      publisher = {{IEEE} Computer Society},
      year = {2007},
      url = {https://doi.org/10.1109/FOSE.2007.28},
      doi = {10.1109/FOSE.2007.28},
      timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
      biburl = {https://dblp.org/rec/conf/icse/SchaferW07.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    J. Derrick, G. Schellhorn, und H. Wehrheim, "Proving Linearizability Via Non-atomic Refinement" in Proc. Integrated Formal Methods, 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings, 2007, pp. 195-214.
    @inproceedings{DBLP:conf/ifm/DerrickSW07,
      author = {John Derrick and Gerhard Schellhorn and Heike Wehrheim},
      editor = {Jim Davies and Jeremy Gibbons},
      title = {Proving Linearizability Via Non-atomic Refinement},
      booktitle = {Integrated Formal Methods, 6th International Conference, {IFM} 2007, Oxford, UK, July 2-5, 2007, Proceedings},
      series = {Lecture Notes in Computer Science},
      volume = {4591},
      pages = {195--214},
      publisher = {Springer},
      year = {2007},
      url = {https://doi.org/10.1007/978-3-540-73210-5\_11},
      doi = {10.1007/978-3-540-73210-5\_11},
      timestamp = {Tue, 14 May 2019 10:00:51 +0200},
      biburl = {https://dblp.org/rec/conf/ifm/DerrickSW07.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [article] bibtex
    I. Brückner, B. Metzler, und H. Wehrheim, "Optimizing Slicing of Formal Specifications by Deductive Verification" Nord. J. Comput., vol. 13, iss. 1-2, pp. 22-45, 2006.
    @article{DBLP:journals/njc/BrucknerMW06,
      author = {Ingo Br{\"{u}}ckner and Bj{\"{o}}rn Metzler and Heike Wehrheim},
      title = {Optimizing Slicing of Formal Specifications by Deductive Verification},
      journal = {Nord. J. Comput.},
      volume = {13},
      number = {1-2},
      pages = {22--45},
      year = {2006},
      timestamp = {Tue, 29 Jan 2008 00:00:00 +0100},
      biburl = {https://dblp.org/rec/journals/njc/BrucknerMW06.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    J. Derrick und H. Wehrheim, "Model Transformations Incorporating Multiple Views" in Proc. Algebraic Methodology and Software Technology, 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings, 2006, pp. 111-126.
    @inproceedings{DBLP:conf/amast/DerrickW06,
      author = {John Derrick and Heike Wehrheim},
      editor = {Michael Johnson and Varmo Vene},
      title = {Model Transformations Incorporating Multiple Views},
      booktitle = {Algebraic Methodology and Software Technology, 11th International Conference, {AMAST} 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings},
      series = {Lecture Notes in Computer Science},
      volume = {4019},
      pages = {111--126},
      publisher = {Springer},
      year = {2006},
      url = {https://doi.org/10.1007/11784180\_11},
      doi = {10.1007/11784180\_11},
      timestamp = {Sun, 25 Oct 2020 23:16:26 +0100},
      biburl = {https://dblp.org/rec/conf/amast/DerrickW06.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    H. Wehrheim, "Incremental Slicing" in Proc. 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.
    @inproceedings{DBLP:conf/icfem/Wehrheim06,
      author = {Heike Wehrheim},
      editor = {Zhiming Liu and Jifeng He},
      title = {Incremental Slicing},
      booktitle = {Formal Methods and Software Engineering, 8th International Conference on Formal Engineering Methods, {ICFEM} 2006, Macao, China, November 1-3, 2006, Proceedings},
      series = {Lecture Notes in Computer Science},
      volume = {4260},
      pages = {514--528},
      publisher = {Springer},
      year = {2006},
      url = {https://doi.org/10.1007/11901433\_28},
      doi = {10.1007/11901433\_28},
      timestamp = {Tue, 14 May 2019 10:00:50 +0200},
      biburl = {https://dblp.org/rec/conf/icfem/Wehrheim06.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [proceedings] bibtex | Dokument aufrufen Dokument aufrufen
    Formal Methods for Open Object-Based Distributed Systems, 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, ProceedingsSpringer, 2006.
    @proceedings{DBLP:conf/fmoods/2006, editor = {Roberto Gorrieri and Heike Wehrheim},
      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},
      series = {Lecture Notes in Computer Science},
      volume = {4037},
      publisher = {Springer},
      year = {2006},
      url = {https://doi.org/10.1007/11768869},
      doi = {10.1007/11768869},
      isbn = {3-540-34893-X},
      timestamp = {Tue, 14 May 2019 01:00:00 +0200},
      biburl = {https://dblp.org/rec/conf/fmoods/2006.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • E. - und H. Wehrheim, "Specification and (property) inheritance in CSP-OZ" Sci. Comput. Program., vol. 55, iss. 1-3, pp. 227-257, 2005.
    @article{DBLP:journals/scp/OlderogW05,
      author = {Ernst{-}R{\"{u}}diger Olderog and Heike Wehrheim},
      title = {Specification and (property) inheritance in {CSP-OZ}},
      journal = {Sci. Comput. Program.},
      volume = {55},
      number = {1-3},
      pages = {227--257},
      year = {2005},
      url = {https://doi.org/10.1016/j.scico.2004.05.017},
      doi = {10.1016/j.scico.2004.05.017},
      timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
      biburl = {https://dblp.org/rec/journals/scp/OlderogW05.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • H. Wehrheim, "Slicing techniques for verification re-use" Theor. Comput. Sci., vol. 343, iss. 3, pp. 509-528, 2005.
    @article{DBLP:journals/tcs/Wehrheim05,
      author = {Heike Wehrheim},
      title = {Slicing techniques for verification re-use},
      journal = {Theor. Comput. Sci.},
      volume = {343},
      number = {3},
      pages = {509--528},
      year = {2005},
      url = {https://doi.org/10.1016/j.tcs.2005.06.020},
      doi = {10.1016/j.tcs.2005.06.020},
      timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
      biburl = {https://dblp.org/rec/journals/tcs/Wehrheim05.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    H. Rasch und H. Wehrheim, "Checking the Validity of Scenarios in UML Models" in Proc. Formal Methods for Open Object-Based Distributed Systems, 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings, 2005, pp. 67-82.
    @inproceedings{DBLP:conf/fmoods/RaschW05,
      author = {Holger Rasch and Heike Wehrheim},
      editor = {Martin Steffen and Gianluigi Zavattaro},
      title = {Checking the Validity of Scenarios in {UML} Models},
      booktitle = {Formal Methods for Open Object-Based Distributed Systems, 7th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2005, Athens, Greece, June 15-17, 2005, Proceedings},
      series = {Lecture Notes in Computer Science},
      volume = {3535},
      pages = {67--82},
      publisher = {Springer},
      year = {2005},
      url = {https://doi.org/10.1007/11494881\_5},
      doi = {10.1007/11494881\_5},
      timestamp = {Tue, 14 May 2019 10:00:40 +0200},
      biburl = {https://dblp.org/rec/conf/fmoods/RaschW05.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    I. Brückner und H. Wehrheim, "Slicing an Integrated Formal Method for Verification" in Proc. Formal Methods and Software Engineering, 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings, 2005, pp. 360-374.
    @inproceedings{DBLP:conf/icfem/BrucknerW05,
      author = {Ingo Br{\"{u}}ckner and Heike Wehrheim},
      editor = {Kung{-}Kiu Lau and Richard Banach},
      title = {Slicing an Integrated Formal Method for Verification},
      booktitle = {Formal Methods and Software Engineering, 7th International Conference on Formal Engineering Methods, {ICFEM} 2005, Manchester, UK, November 1-4, 2005, Proceedings},
      series = {Lecture Notes in Computer Science},
      volume = {3785},
      pages = {360--374},
      publisher = {Springer},
      year = {2005},
      url = {https://doi.org/10.1007/11576280\_25},
      doi = {10.1007/11576280\_25},
      timestamp = {Tue, 14 May 2019 10:00:50 +0200},
      biburl = {https://dblp.org/rec/conf/icfem/BrucknerW05.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    J. Derrick und H. Wehrheim, "Non-atomic Refinement in Z and CSP" in Proc. ZB 2005: Formal Specification and Development in Z and B, 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings, 2005, pp. 24-44.
    @inproceedings{DBLP:conf/zum/DerrickW05,
      author = {John Derrick and Heike Wehrheim},
      editor = {Helen Treharne and Steve King and Martin C. Henson and Steve A. Schneider},
      title = {Non-atomic Refinement in {Z} and {CSP}},
      booktitle = {{ZB} 2005: Formal Specification and Development in {Z} and B, 4th International Conference of {B} and {Z} Users, Guildford, UK, April 13-15, 2005, Proceedings},
      series = {Lecture Notes in Computer Science},
      volume = {3455},
      pages = {24--44},
      publisher = {Springer},
      year = {2005},
      url = {https://doi.org/10.1007/11415787\_3},
      doi = {10.1007/11415787\_3},
      timestamp = {Tue, 14 May 2019 10:00:53 +0200},
      biburl = {https://dblp.org/rec/conf/zum/DerrickW05.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    I. Brückner und H. Wehrheim, "Slicing Object-Z Specifications for Verification" in Proc. ZB 2005: Formal Specification and Development in Z and B, 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings, 2005, pp. 414-433.
    @inproceedings{DBLP:conf/zum/BrucknerW05,
      author = {Ingo Br{\"{u}}ckner and Heike Wehrheim},
      editor = {Helen Treharne and Steve King and Martin C. Henson and Steve A. Schneider},
      title = {Slicing Object-Z Specifications for Verification},
      booktitle = {{ZB} 2005: Formal Specification and Development in {Z} and B, 4th International Conference of {B} and {Z} Users, Guildford, UK, April 13-15, 2005, Proceedings},
      series = {Lecture Notes in Computer Science},
      volume = {3455},
      pages = {414--433},
      publisher = {Springer},
      year = {2005},
      url = {https://doi.org/10.1007/11415787\_24},
      doi = {10.1007/11415787\_24},
      timestamp = {Sun, 21 May 2017 01:00:00 +0200},
      biburl = {https://dblp.org/rec/conf/zum/BrucknerW05.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    H. Wehrheim, "Refinement and Consistency in Component Models with Multiple Views" in Proc. Architecting Systems with Trustworthy Components, International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers, 2004, pp. 84-102.
    @inproceedings{DBLP:conf/dagstuhl/Wehrheim04a,
      author = {Heike Wehrheim},
      editor = {Ralf H. Reussner and Judith A. Stafford and Clemens A. Szyperski},
      title = {Refinement and Consistency in Component Models with Multiple Views},
      booktitle = {Architecting Systems with Trustworthy Components, International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers},
      series = {Lecture Notes in Computer Science},
      volume = {3938},
      pages = {84--102},
      publisher = {Springer},
      year = {2004},
      url = {https://doi.org/10.1007/11786160\_5},
      doi = {10.1007/11786160\_5},
      timestamp = {Tue, 14 May 2019 10:00:51 +0200},
      biburl = {https://dblp.org/rec/conf/dagstuhl/Wehrheim04a.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    M. Möller, E. -, H. Rasch, und H. Wehrheim, "Linking CSP-OZ with UML and Java: A Case Study" in Proc. Integrated Formal Methods, 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings, 2004, pp. 267-286.
    @inproceedings{DBLP:conf/ifm/MollerORW04,
      author = {Michael M{\"{o}}ller and Ernst{-}R{\"{u}}diger Olderog and Holger Rasch and Heike Wehrheim},
      editor = {Eerke A. Boiten and John Derrick and Graeme Smith},
      title = {Linking {CSP-OZ} with {UML} and Java: {A} Case Study},
      booktitle = {Integrated Formal Methods, 4th International Conference, {IFM} 2004, Canterbury, UK, April 4-7, 2004, Proceedings},
      series = {Lecture Notes in Computer Science},
      volume = {2999},
      pages = {267--286},
      publisher = {Springer},
      year = {2004},
      url = {https://doi.org/10.1007/978-3-540-24756-2\_15},
      doi = {10.1007/978-3-540-24756-2\_15},
      timestamp = {Tue, 14 May 2019 10:00:51 +0200},
      biburl = {https://dblp.org/rec/conf/ifm/MollerORW04.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    H. Wehrheim, "Refinement and Consistency in Multiview Models" in Proc. Language Engineering for Model-Driven Software Development, 29. February - 5. March 2004, 2004.
    @inproceedings{DBLP:conf/dagstuhl/Wehrheim04,
      author = {Heike Wehrheim},
      editor = {Jean B{\'{e}}zivin and Reiko Heckel},
      title = {Refinement and Consistency in Multiview Models},
      booktitle = {Language Engineering for Model-Driven Software Development, 29. February - 5. March 2004},
      series = {Dagstuhl Seminar Proceedings},
      volume = {04101},
      publisher = {Internationales Begegnungs- und Forschungszentrum f{\"{u}}r Informatik (IBFI), Schloss Dagstuhl, Germany},
      year = {2004},
      url = {http://drops.dagstuhl.de/opus/volltexte/2005/19},
      timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
      biburl = {https://dblp.org/rec/conf/dagstuhl/Wehrheim04.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • H. Wehrheim, "Behavioral Subtyping Relations for Active Objects" Formal Methods Syst. Des., vol. 23, iss. 2, pp. 143-170, 2003.
    @article{DBLP:journals/fmsd/Wehrheim03,
      author = {Heike Wehrheim},
      title = {Behavioral Subtyping Relations for Active Objects},
      journal = {Formal Methods Syst. Des.},
      volume = {23},
      number = {2},
      pages = {143--170},
      year = {2003},
      url = {https://doi.org/10.1023/A:1024764232069},
      doi = {10.1023/A:1024764232069},
      timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
      biburl = {https://dblp.org/rec/journals/fmsd/Wehrheim03.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    H. Wehrheim, "Preserving Properties Under Change" in Proc. Formal Methods for Components and Objects, Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003, Revised Lectures, 2003, pp. 330-343.
    @inproceedings{DBLP:conf/fmco/Wehrheim03,
      author = {Heike Wehrheim},
      editor = {Frank S. de Boer and Marcello M. Bonsangue and Susanne Graf and Willem P. de Roever},
      title = {Preserving Properties Under Change},
      booktitle = {Formal Methods for Components and Objects, Second International Symposium, {FMCO} 2003, Leiden, The Netherlands, November 4-7, 2003, Revised Lectures},
      series = {Lecture Notes in Computer Science},
      volume = {3188},
      pages = {330--343},
      publisher = {Springer},
      year = {2003},
      url = {https://doi.org/10.1007/978-3-540-30101-1\_16},
      doi = {10.1007/978-3-540-30101-1\_16},
      timestamp = {Tue, 14 May 2019 10:00:53 +0200},
      biburl = {https://dblp.org/rec/conf/fmco/Wehrheim03.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    H. Wehrheim, "Inheritance of Temporal Logic Properties" in Proc. 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. 79-93.
    @inproceedings{DBLP:conf/fmoods/Wehrheim03,
      author = {Heike Wehrheim},
      editor = {Elie Najm and Uwe Nestmann and Perdita Stevens},
      title = {Inheritance of Temporal Logic Properties},
      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},
      series = {Lecture Notes in Computer Science},
      volume = {2884},
      pages = {79--93},
      publisher = {Springer},
      year = {2003},
      url = {https://doi.org/10.1007/978-3-540-39958-2\_6},
      doi = {10.1007/978-3-540-39958-2\_6},
      timestamp = {Tue, 14 May 2019 10:00:40 +0200},
      biburl = {https://dblp.org/rec/conf/fmoods/Wehrheim03.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    H. Rasch und H. Wehrheim, "Checking Consistency in UML Diagramms: Classes and State Machines" in Proc. 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.
    @inproceedings{DBLP:conf/fmoods/RaschW03,
      author = {Holger Rasch and Heike Wehrheim},
      editor = {Elie Najm and Uwe Nestmann and Perdita Stevens},
      title = {Checking Consistency in {UML} Diagramms: Classes and State Machines},
      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},
      series = {Lecture Notes in Computer Science},
      volume = {2884},
      pages = {229--243},
      publisher = {Springer},
      year = {2003},
      url = {https://doi.org/10.1007/978-3-540-39958-2\_16},
      doi = {10.1007/978-3-540-39958-2\_16},
      timestamp = {Fri, 19 May 2017 01:00:00 +0200},
      biburl = {https://dblp.org/rec/conf/fmoods/RaschW03.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    J. Derrick und H. Wehrheim, "Using Coupled Simulations in Non-atomic Refinement" in Proc. 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.
    @inproceedings{DBLP:conf/zum/DerrickW03,
      author = {John Derrick and Heike Wehrheim},
      editor = {Didier Bert and Jonathan P. Bowen and Steve King and Marina Wald{\'{e}}n},
      title = {Using Coupled Simulations in Non-atomic Refinement},
      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},
      series = {Lecture Notes in Computer Science},
      volume = {2651},
      pages = {127--147},
      publisher = {Springer},
      year = {2003},
      url = {https://doi.org/10.1007/3-540-44880-2\_10},
      doi = {10.1007/3-540-44880-2\_10},
      timestamp = {Tue, 14 May 2019 10:00:53 +0200},
      biburl = {https://dblp.org/rec/conf/zum/DerrickW03.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [article] bibtex
    H. Wehrheim, "Relating State-based and Behaviour-oriented Subtyping" Nord. J. Comput., vol. 9, iss. 4, pp. 405-435, 2002.
    @article{DBLP:journals/njc/Wehrheim02,
      author = {Heike Wehrheim},
      title = {Relating State-based and Behaviour-oriented Subtyping},
      journal = {Nord. J. Comput.},
      volume = {9},
      number = {4},
      pages = {405--435},
      year = {2002},
      timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
      biburl = {https://dblp.org/rec/journals/njc/Wehrheim02.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    E. - und H. Wehrheim, "Specification and Inheritance in CSP-OZ" in Proc. Formal Methods for Components and Objects, First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures, 2002, pp. 361-379.
    @inproceedings{DBLP:conf/fmco/OlderogW02,
      author = {Ernst{-}R{\"{u}}diger Olderog and Heike Wehrheim},
      editor = {Frank S. de Boer and Marcello M. Bonsangue and Susanne Graf and Willem P. de Roever},
      title = {Specification and Inheritance in {CSP-OZ}},
      booktitle = {Formal Methods for Components and Objects, First International Symposium, {FMCO} 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures},
      series = {Lecture Notes in Computer Science},
      volume = {2852},
      pages = {361--379},
      publisher = {Springer},
      year = {2002},
      url = {https://doi.org/10.1007/978-3-540-39656-7\_15},
      doi = {10.1007/978-3-540-39656-7\_15},
      timestamp = {Sun, 02 Jun 2019 21:14:42 +0200},
      biburl = {https://dblp.org/rec/conf/fmco/OlderogW02.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex
    H. Wehrheim, "Checking Behavioural Subtypes via Refinement" in Proc. 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.
    @inproceedings{DBLP:conf/fmoods/Wehrheim02,
      author = {Heike Wehrheim},
      editor = {Bart Jacobs and Arend Rensink},
      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},
      series = {{IFIP} Conference Proceedings},
      volume = {209},
      pages = {79--93},
      publisher = {Kluwer},
      year = {2002},
      timestamp = {Thu, 09 Jul 2015 16:49:48 +0200},
      biburl = {https://dblp.org/rec/conf/fmoods/Wehrheim02.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • A. Rensink und H. Wehrheim, "Process algebra with action dependencies" Acta Informatica, vol. 38, iss. 3, pp. 155-234, 2001.
    @article{DBLP:journals/acta/RensinkW01,
      author = {Arend Rensink and Heike Wehrheim},
      title = {Process algebra with action dependencies},
      journal = {Acta Informatica},
      volume = {38},
      number = {3},
      pages = {155--234},
      year = {2001},
      url = {https://doi.org/10.1007/s002360100070},
      doi = {10.1007/s002360100070},
      timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
      biburl = {https://dblp.org/rec/journals/acta/RensinkW01.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • D. Bartetzko, C. Fischer, M. Möller, und H. Wehrheim, "Jass - Java with Assertions" Electron. Notes Theor. Comput. Sci., vol. 55, iss. 2, pp. 103-117, 2001.
    @article{DBLP:journals/entcs/BartetzkoFMW01,
      author = {Detlef Bartetzko and Clemens Fischer and Michael M{\"{o}}ller and Heike Wehrheim},
      title = {Jass - Java with Assertions},
      journal = {Electron. Notes Theor. Comput. Sci.},
      volume = {55},
      number = {2},
      pages = {103--117},
      year = {2001},
      url = {https://doi.org/10.1016/S1571-0661(04)00247-6},
      doi = {10.1016/S1571-0661(04)00247-6},
      timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
      biburl = {https://dblp.org/rec/journals/entcs/BartetzkoFMW01.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    C. Fischer, E. -, und H. Wehrheim, "A CSP View on UML-RT Structure Diagrams" in Proc. 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.
    @inproceedings{DBLP:conf/fase/FischerOW01,
      author = {Clemens Fischer and Ernst{-}R{\"{u}}diger Olderog and Heike Wehrheim},
      editor = {Heinrich Hu{\ss}mann},
      title = {A {CSP} View on {UML-RT} Structure Diagrams},
      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},
      series = {Lecture Notes in Computer Science},
      volume = {2029},
      pages = {91--108},
      publisher = {Springer},
      year = {2001},
      url = {https://doi.org/10.1007/3-540-45314-8\_8},
      doi = {10.1007/3-540-45314-8\_8},
      timestamp = {Tue, 14 May 2019 10:00:54 +0200},
      biburl = {https://dblp.org/rec/conf/fase/FischerOW01.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex
    H. Wehrheim, "Patterns and Rules for Behavioural Subtyping" in Proc. Formal Techniques for Networked and Distributed Systems, FORTE 2001, IFIP TC6/WG6.1 - 21\(^\mboxst\) International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea, 2001, pp. 335-352.
    @inproceedings{DBLP:conf/forte/Wehrheim01,
      author = {Heike Wehrheim},
      editor = {Myungchul Kim and Byoungmoon Chin and Sungwon Kang and Danhyung Lee},
      title = {Patterns and Rules for Behavioural Subtyping},
      booktitle = {Formal Techniques for Networked and Distributed Systems, {FORTE} 2001, {IFIP} {TC6/WG6.1} - 21\({}^{\mbox{st}}\) International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea},
      series = {{IFIP} Conference Proceedings},
      volume = {197},
      pages = {335--352},
      publisher = {Kluwer},
      year = {2001},
      timestamp = {Mon, 05 Oct 2020 12:53:08 +0200},
      biburl = {https://dblp.org/rec/conf/forte/Wehrheim01.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [article] bibtex
    C. Fischer und H. Wehrheim, "Failure-Divergence Semantics as a Formal Basis for an Object-Oriented Integrated Formal Method" Bull. EATCS, vol. 71, pp. 92-101, 2000.
    @article{DBLP:journals/eatcs/FischerW00,
      author = {Clemens Fischer and Heike Wehrheim},
      title = {Failure-Divergence Semantics as a Formal Basis for an Object-Oriented Integrated Formal Method},
      journal = {Bull. {EATCS}},
      volume = {71},
      pages = {92--101},
      year = {2000},
      timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
      biburl = {https://dblp.org/rec/journals/eatcs/FischerW00.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • H. Wehrheim, "Data Abstraction Techniques in the Validation of CSP-OZ Specifications" Formal Aspects Comput., vol. 12, iss. 3, pp. 147-164, 2000.
    @article{DBLP:journals/fac/Wehrheim00,
      author = {Heike Wehrheim},
      title = {Data Abstraction Techniques in the Validation of {CSP-OZ} Specifications},
      journal = {Formal Aspects Comput.},
      volume = {12},
      number = {3},
      pages = {147--164},
      year = {2000},
      url = {https://doi.org/10.1007/s001650070026},
      doi = {10.1007/s001650070026},
      timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
      biburl = {https://dblp.org/rec/journals/fac/Wehrheim00.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    C. Fischer und H. Wehrheim, "Behavioural Subtyping Relations for Object-Oriented Formalisms" in Proc. Algebraic Methodology and Software Technology. 8th International Conference, AMAST 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings, 2000, pp. 469-483.
    @inproceedings{DBLP:conf/amast/FischerW00,
      author = {Clemens Fischer and Heike Wehrheim},
      editor = {Teodor Rus},
      title = {Behavioural Subtyping Relations for Object-Oriented Formalisms},
      booktitle = {Algebraic Methodology and Software Technology. 8th International Conference, {AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings},
      series = {Lecture Notes in Computer Science},
      volume = {1816},
      pages = {469--483},
      publisher = {Springer},
      year = {2000},
      url = {https://doi.org/10.1007/3-540-45499-3\_33},
      doi = {10.1007/3-540-45499-3\_33},
      timestamp = {Tue, 14 May 2019 10:00:38 +0200},
      biburl = {https://dblp.org/rec/conf/amast/FischerW00.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    H. Wehrheim, "Specification of an Automatic Manufacturing System: A Case Study in Using Integrated Formal Methods" in Proc. 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.
    @inproceedings{DBLP:conf/fase/Wehrheim00,
      author = {Heike Wehrheim},
      editor = {T. S. E. Maibaum},
      title = {Specification of an Automatic Manufacturing System: {A} Case Study in Using Integrated Formal Methods},
      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},
      series = {Lecture Notes in Computer Science},
      volume = {1783},
      pages = {334--348},
      publisher = {Springer},
      year = {2000},
      url = {https://doi.org/10.1007/3-540-46428-X\_23},
      doi = {10.1007/3-540-46428-X\_23},
      timestamp = {Tue, 14 May 2019 10:00:54 +0200},
      biburl = {https://dblp.org/rec/conf/fase/Wehrheim00.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    H. Wehrheim, "Behavioural Subtyping and Property Preservation" in Proc. 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.
    @inproceedings{DBLP:conf/fmoods/Wehrheim00,
      author = {Heike Wehrheim},
      editor = {Scott F. Smith and Carolyn L. Talcott},
      title = {Behavioural Subtyping and Property Preservation},
      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}},
      series = {{IFIP} Conference Proceedings},
      volume = {177},
      pages = {213--231},
      publisher = {Kluwer},
      year = {2000},
      url = {https://doi.org/10.1007/978-0-387-35520-7\_11},
      doi = {10.1007/978-0-387-35520-7\_11},
      timestamp = {Thu, 21 Dec 2017 23:26:00 +0100},
      biburl = {https://dblp.org/rec/conf/fmoods/Wehrheim00.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    H. Wehrheim, "Data Abstraction for CSP-OZ" in Proc. 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.
    @inproceedings{DBLP:conf/fm/Wehrheim99,
      author = {Heike Wehrheim},
      editor = {Jeannette M. Wing and Jim Woodcock and Jim Davies},
      title = {Data Abstraction for {CSP-OZ}},
      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}},
      series = {Lecture Notes in Computer Science},
      volume = {1709},
      pages = {1028--1047},
      publisher = {Springer},
      year = {1999},
      url = {https://doi.org/10.1007/3-540-48118-4\_5},
      doi = {10.1007/3-540-48118-4\_5},
      timestamp = {Sun, 25 Oct 2020 23:09:15 +0100},
      biburl = {https://dblp.org/rec/conf/fm/Wehrheim99.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    C. Fischer und H. Wehrheim, "Model-Checking CSP-OZ Specifications with FDR" in Proc. 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.
    @inproceedings{DBLP:conf/ifm/FischerW99,
      author = {Clemens Fischer and Heike Wehrheim},
      editor = {Keijiro Araki and Andy Galloway and Kenji Taguchi},
      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},
      pages = {315--334},
      publisher = {Springer},
      year = {1999},
      url = {https://doi.org/10.1007/978-1-4471-0851-1\_17},
      doi = {10.1007/978-1-4471-0851-1\_17},
      timestamp = {Fri, 21 Jun 2019 13:08:59 +0200},
      biburl = {https://dblp.org/rec/conf/ifm/FischerW99.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    H. Wehrheim, "Partial order reductions for failures refinement" in Proc. 6th International Workshop on Expressiveness in Concurrency, EXPRESS 1999, Eindhoven, The Netherlands, August 23, 1999, 1999, pp. 71-84.
    @inproceedings{DBLP:journals/entcs/Wehrheim99,
      author = {Heike Wehrheim},
      editor = {Ilaria Castellani and Bj{\"{o}}rn Victor},
      title = {Partial order reductions for failures refinement},
      booktitle = {6th International Workshop on Expressiveness in Concurrency, {EXPRESS} 1999, Eindhoven, The Netherlands, August 23, 1999},
      series = {Electronic Notes in Theoretical Computer Science},
      volume = {27},
      pages = {71--84},
      publisher = {Elsevier},
      year = {1999},
      url = {https://doi.org/10.1016/S1571-0661(05)80296-8},
      doi = {10.1016/S1571-0661(05)80296-8},
      timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
      biburl = {https://dblp.org/rec/journals/entcs/Wehrheim99.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex
    T. Gehrke, M. Huhn, P. Niebert, A. Rensink, und H. Wehrheim, "A Process Algebra Semantics for MSC Including Conditions" in Proc. Formale Beschreibungstechniken für verteilte Systeme, 8. GI/ITG-Fachgespräch, Cottbus, 4. und 5. Juni 1998, 1998, pp. 185-196.
    @inproceedings{DBLP:conf/fbt/GehrkeHNRW98,
      author = {Thomas Gehrke and Michaela Huhn and Peter Niebert and Arend Rensink and Heike Wehrheim},
      editor = {Hartmut K{\"{o}}nig and Peter Langend{\"{o}}rfer},
      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},
      pages = {185--196},
      publisher = {Verlag Shaker},
      year = {1998},
      timestamp = {Tue, 19 Jul 2005 12:16:22 +0200},
      biburl = {https://dblp.org/rec/conf/fbt/GehrkeHNRW98.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex
    T. Gehrke, M. Huhn, A. Rensink, und H. Wehrheim, "An Algebraic Semantics for Message Sequence Chart Documents" in Proc. 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.
    @inproceedings{DBLP:conf/forte/GehrkeHRW98,
      author = {Thomas Gehrke and Michaela Huhn and Arend Rensink and Heike Wehrheim},
      editor = {Stanislaw Budkowski and Ana R. Cavalli and Elie Najm},
      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},
      series = {{IFIP} Conference Proceedings},
      volume = {135},
      pages = {3--18},
      publisher = {Kluwer},
      year = {1998},
      timestamp = {Thu, 03 Jan 2002 11:58:39 +0100},
      biburl = {https://dblp.org/rec/conf/forte/GehrkeHRW98.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    M. Huhn, P. Niebert, und H. Wehrheim, "Partial Order Reductions for Bisimulation Checking" in Proc. Foundations of Software Technology and Theoretical Computer Science, 18th Conference, Chennai, India, December 17-19, 1998, Proceedings, 1998, pp. 271-282.
    @inproceedings{DBLP:conf/fsttcs/HuhnNW98,
      author = {Michaela Huhn and Peter Niebert and Heike Wehrheim},
      editor = {Vikraman Arvind and Ramaswamy Ramanujam},
      title = {Partial Order Reductions for Bisimulation Checking},
      booktitle = {Foundations of Software Technology and Theoretical Computer Science, 18th Conference, Chennai, India, December 17-19, 1998, Proceedings},
      series = {Lecture Notes in Computer Science},
      volume = {1530},
      pages = {271--282},
      publisher = {Springer},
      year = {1998},
      url = {https://doi.org/10.1007/978-3-540-49382-2\_26},
      doi = {10.1007/978-3-540-49382-2\_26},
      timestamp = {Tue, 14 May 2019 10:00:51 +0200},
      biburl = {https://dblp.org/rec/conf/fsttcs/HuhnNW98.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    A. Rensink und H. Wehrheim, "Dependency-Based Action Refinement" in Proc. Mathematical Foundations of Computer Science 1997, 22nd International Symposium, MFCS'97, Bratislava, Slovakia, August 25-29, 1997, Proceedings, 1997, pp. 468-477.
    @inproceedings{DBLP:conf/mfcs/RensinkW97,
      author = {Arend Rensink and Heike Wehrheim},
      editor = {Igor Pr{\'{\i}}vara and Peter Ruzicka},
      title = {Dependency-Based Action Refinement},
      booktitle = {Mathematical Foundations of Computer Science 1997, 22nd International Symposium, MFCS'97, Bratislava, Slovakia, August 25-29, 1997, Proceedings},
      series = {Lecture Notes in Computer Science},
      volume = {1295},
      pages = {468--477},
      publisher = {Springer},
      year = {1997},
      url = {https://doi.org/10.1007/BFb0029990},
      doi = {10.1007/BFb0029990},
      timestamp = {Tue, 14 May 2019 10:00:37 +0200},
      biburl = {https://dblp.org/rec/conf/mfcs/RensinkW97.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • H. Wehrheim, "Specifying reactive systems with action dependencies: modelling and hierarchical design" PhD Thesis , 1996.
    @phdthesis{DBLP:phd/dnb/Wehrheim96,
      author = {Heike Wehrheim},
      title = {Specifying reactive systems with action dependencies: modelling and hierarchical design},
      school = {University of Hildesheim, Germany},
      year = {1996},
      url = {http://d-nb.info/951026836},
      timestamp = {Wed, 05 Oct 2016 01:00:00 +0200},
      biburl = {https://dblp.org/rec/phd/dnb/Wehrheim96.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • U. Goltz und H. Wehrheim, "Modelling Causality via Action Dependencies in Branching Time Semantics" Inf. Process. Lett., vol. 59, iss. 4, pp. 179-184, 1996.
    @article{DBLP:journals/ipl/GoltzW96,
      author = {Ursula Goltz and Heike Wehrheim},
      title = {Modelling Causality via Action Dependencies in Branching Time Semantics},
      journal = {Inf. Process. Lett.},
      volume = {59},
      number = {4},
      pages = {179--184},
      year = {1996},
      url = {https://doi.org/10.1016/0020-0190(96)00111-1},
      doi = {10.1016/0020-0190(96)00111-1},
      timestamp = {Fri, 26 May 2017 01:00:00 +0200},
      biburl = {https://dblp.org/rec/journals/ipl/GoltzW96.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    U. Goltz und H. Wehrheim, "Causal Testing" in Proc. Mathematical Foundations of Computer Science 1996, 21st International Symposium, MFCS'96, Cracow, Poland, September 2-6, 1996, Proceedings, 1996, pp. 394-406.
    @inproceedings{DBLP:conf/mfcs/GoltzW96,
      author = {Ursula Goltz and Heike Wehrheim},
      editor = {Wojciech Penczek and Andrzej Szalas},
      title = {Causal Testing},
      booktitle = {Mathematical Foundations of Computer Science 1996, 21st International Symposium, MFCS'96, Cracow, Poland, September 2-6, 1996, Proceedings},
      series = {Lecture Notes in Computer Science},
      volume = {1113},
      pages = {394--406},
      publisher = {Springer},
      year = {1996},
      url = {https://doi.org/10.1007/3-540-61550-4\_165},
      doi = {10.1007/3-540-61550-4\_165},
      timestamp = {Tue, 14 May 2019 10:00:37 +0200},
      biburl = {https://dblp.org/rec/conf/mfcs/GoltzW96.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    A. Rensink und H. Wehrheim, "Weak Sequential Composition in Process Algebras" in Proc. CONCUR '94, Concurrency Theory, 5th International Conference, Uppsala, Sweden, August 22-25, 1994, Proceedings, 1994, pp. 226-241.
    @inproceedings{DBLP:conf/concur/RensinkW94,
      author = {Arend Rensink and Heike Wehrheim},
      editor = {Bengt Jonsson and Joachim Parrow},
      title = {Weak Sequential Composition in Process Algebras},
      booktitle = {{CONCUR} '94, Concurrency Theory, 5th International Conference, Uppsala, Sweden, August 22-25, 1994, Proceedings},
      series = {Lecture Notes in Computer Science},
      volume = {836},
      pages = {226--241},
      publisher = {Springer},
      year = {1994},
      url = {https://doi.org/10.1007/978-3-540-48654-1\_20},
      doi = {10.1007/978-3-540-48654-1\_20},
      timestamp = {Tue, 14 May 2019 10:00:43 +0200},
      biburl = {https://dblp.org/rec/conf/concur/RensinkW94.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex
    H. Wehrheim, "Parametric Action Refinement" in Proc. Programming Concepts, Methods and Calculi, Proceedings of the IFIP TC2/WG2.1/WG2.2/WG2.3 Working Conference on Programming Concepts, Methods and Calculi (PROCOMET '94) San Miniato, Italy, 6-10 June, 1994, 1994, pp. 247-266.
    @inproceedings{DBLP:conf/procomet/Wehrheim94,
      author = {Heike Wehrheim},
      editor = {Ernst{-}R{\"{u}}diger Olderog},
      title = {Parametric Action Refinement},
      booktitle = {Programming Concepts, Methods and Calculi, Proceedings of the {IFIP} {TC2/WG2.1/WG2.2/WG2.3} Working Conference on Programming Concepts, Methods and Calculi {(PROCOMET} '94) San Miniato, Italy, 6-10 June, 1994},
      series = {{IFIP} Transactions},
      volume = {{A-56}},
      pages = {247--266},
      publisher = {North-Holland},
      year = {1994},
      timestamp = {Thu, 03 Jan 2002 12:07:43 +0100},
      biburl = {https://dblp.org/rec/conf/procomet/Wehrheim94.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
(Stand: 09.06.2021)