Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

205 Publications


2011 | Journal Article | LibreCat-ID: 3183
@article{Schneider_Treharne_Wehrheim_2011, title={Bounded Retransmission in Event-B{\(\parallel\)}CSP: a Case Study}, DOI={10.1016/j.entcs.2011.11.019}, journal={Electr. Notes Theor. Comput. Sci.}, author={Schneider, Steve and Treharne, Helen and Wehrheim, Heike}, year={2011}, pages={69--80} }
LibreCat | DOI
 

2011 | Conference Paper | LibreCat-ID: 3188
@inproceedings{Schneider_Treharne_Wehrheim_2011, series={{EPTCS}}, title={A {CSP} Account of Event-B Refinement}, DOI={10.4204/EPTCS.55.9}, booktitle={Proceedings 15th International Refinement Workshop, Refine@FM 2011, Limerick, Ireland, 20th June 2011.}, author={Schneider, Steve and Treharne, Helen and Wehrheim, Heike}, editor={Derrick, John and A. Boiten, Eerke and Reeves, SteveEditors}, year={2011}, pages={139--154}, collection={{EPTCS}} }
LibreCat | DOI
 

2011 | Journal Article | LibreCat-ID: 3184
@article{Derrick_Schellhorn_Wehrheim_2011, title={Mechanically verified proof obligations for linearizability}, DOI={10.1145/1889997.1890001}, number={1}, journal={{ACM} Trans. Program. Lang. Syst.}, author={Derrick, John and Schellhorn, Gerhard and Wehrheim, Heike}, year={2011}, pages={4:1--4:43} }
LibreCat | DOI
 

2011 | Mastersthesis | LibreCat-ID: 658
@book{Schremmer_2011, title={Function Specification Inference Using Craig Interpolation}, publisher={Universität Paderborn}, author={Schremmer, Alexander}, year={2011} }
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 3185
@inproceedings{Ruhroth_Wehrheim_Ziegert_2011, title={ReL: {A} Generic Refactoring Language for Specification and Execution}, DOI={10.1109/SEAA.2011.22}, booktitle={37th {EUROMICRO} Conference on Software Engineering and Advanced Applications, {SEAA} 2011, Oulu, Finland, August 30 - September 2, 2011}, author={Ruhroth, Thomas and Wehrheim, Heike and Ziegert, Steffen}, year={2011}, pages={83--90} }
LibreCat | DOI
 

2011 | Journal Article | LibreCat-ID: 647
@article{Leuschel_Wehrheim_2011, title={Selected papers on Integrated Formal Methods (iFM09)}, DOI={10.1016/j.scico.2011.01.009}, number={10}, journal={Science of Computer Programming}, publisher={Elsevier}, author={Leuschel, Michael and Wehrheim, Heike}, year={2011}, pages={835--836} }
LibreCat | Files available | DOI
 

2010 | Conference Paper | LibreCat-ID: 3193
@inproceedings{Timm_Wehrheim_2010, series={Lecture Notes in Computer Science}, title={On Symmetries and Spotlights - Verifying Parameterised Systems}, DOI={10.1007/978-3-642-16901-4_35}, booktitle={Formal Methods and Software Engineering - 12th International Conference on Formal Engineering Methods, {ICFEM} 2010, Shanghai, China, November 17-19, 2010. Proceedings}, author={Timm, Nils and Wehrheim, Heike}, editor={Song Dong, Jin and Zhu, HuibiaoEditors}, year={2010}, pages={534--548}, collection={Lecture Notes in Computer Science} }
LibreCat | DOI
 

2010 | Journal Article | LibreCat-ID: 3198
@article{Steenken_Wehrheim_Wonisch_2010, title={Towards {A} Shape Analysis for Graph Transformation Systems}, journal={CoRR}, author={Steenken, Dominik and Wehrheim, Heike and Wonisch, Daniel}, year={2010} }
LibreCat
 

2010 | Conference Paper | LibreCat-ID: 3194
@inproceedings{Hülsbusch_König_Rensink_Semenyak_Soltenborn_Wehrheim_2010, series={Lecture Notes in Computer Science}, title={Showing Full Semantics Preservation in Model Transformation - {A} Comparison of Techniques}, DOI={10.1007/978-3-642-16265-7_14}, booktitle={Integrated Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings}, author={Hülsbusch, Mathias and König, Barbara and Rensink, Arend and Semenyak, Maria and Soltenborn, Christian and Wehrheim, Heike}, editor={M{\’{e}}ry, Dominique and Merz, StephanEditors}, year={2010}, pages={183--198}, collection={Lecture Notes in Computer Science} }
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 3195
@inproceedings{Schneider_Treharne_Wehrheim_2010, series={Lecture Notes in Computer Science}, title={A {CSP} Approach to Control in Event-B}, DOI={10.1007/978-3-642-16265-7_19}, booktitle={Integrated Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings}, author={Schneider, Steve and Treharne, Helen and Wehrheim, Heike}, editor={M{\’{e}}ry, Dominique and Merz, StephanEditors}, year={2010}, pages={260--274}, collection={Lecture Notes in Computer Science} }
LibreCat | DOI
 

Filters and Search Terms

department=77

Search

Filter Publications

Display / Sort

Citation Style: BibTeX

Export / Embed