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.
189 Publications
2015 | Conference Paper | LibreCat-ID: 3164
@inproceedings{Derrick_Dongol_Schellhorn_Travkin_Wehrheim_2015, series={Lecture Notes in Computer Science}, title={Verifying Opacity of a Transactional Mutex Lock}, DOI={10.1007/978-3-319-19249-9_11}, booktitle={{FM} 2015: Formal Methods - 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings}, author={Derrick, John and Dongol, Brijesh and Schellhorn, Gerhard and Travkin, Oleg and Wehrheim, Heike}, editor={Bj{\o}rner, Nikolaj and S. de Boer, FrankEditors}, year={2015}, pages={161--177}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2015 | Conference Paper | LibreCat-ID: 3165
@inproceedings{Wehrheim_Travkin_2015, series={Lecture Notes in Computer Science}, title={{TSO} to {SC} via Symbolic Execution}, DOI={10.1007/978-3-319-26287-1_7}, booktitle={Hardware and Software: Verification and Testing - 11th International Haifa Verification Conference, {HVC} 2015, Haifa, Israel, November 17-19, 2015, Proceedings}, author={Wehrheim, Heike and Travkin, Oleg}, editor={Piterman, NirEditor}, year={2015}, pages={104--119}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2014 | Book Chapter | LibreCat-ID: 25177
@inbook{Flaßkamp_Grösbrink_Hartmann_Heinzemann_Kleinjohann_Kleinjohann_Krüger_Ober-Blöbaum_Priesterjahn_Rasche_et al._2014, place={Heidelberg, Germany}, title={Development of the RailCab Vehicle}, booktitle={Dependability of Self-Optimizing Mechatronic Systems}, publisher={Springer-Verlag }, author={Flaßkamp, Kathrin and Grösbrink, Stefan and Hartmann, Philip and Heinzemann, Christian and Kleinjohann, Bernd and Kleinjohann, Lisa and Krüger, Martin and Ober-Blöbaum, Sina and Priesterjahn, Claudia and Rasche, Christoph and et al.}, year={2014}, pages={184–190} }
LibreCat
2014 | Book Chapter | LibreCat-ID: 25775
@inbook{Fla{\ss}kamp_ Gr{\"o}sbrink_Hartmann_Heinzemann_Kleinjohann_Kleinjohann_ Kr{\"u}ger_ Ober-Bl{\"o}baum_Priesterjahn_Rasche_et al._2014, title={Development of the RailCab Vehicle}, booktitle={Dependability of Self-Optimizing Mechatronic Systems}, publisher={Springer-Verlag, Heidelberg, Germany}, author={Fla{\ss}kamp, Kathrin and Gr{\"o}sbrink, Stefan and Hartmann, Philip and Heinzemann, Christian and Kleinjohann, Bernd and Kleinjohann, Lisa and Kr{\"u}ger, Martin and Ober-Bl{\"o}baum, Sina and Priesterjahn, Claudia and Rasche, Christoph and et al.}, year={2014}, pages={184–190} }
LibreCat
2014 | Conference Paper | LibreCat-ID: 336
@inproceedings{Walther_Wehrheim_2014, series={LNCS}, title={Verified Service Compositions by Template-Based Construction}, DOI={10.1007/978-3-319-15317-9_3}, booktitle={Proceedings of the 11th International Symposium on Formal Aspects of Component Software (FACS)}, author={Walther, Sven and Wehrheim, Heike}, editor={Lanese, Ivan and Madelaine, EricEditors}, year={2014}, pages={31–48}, collection={LNCS} }
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 344
@inproceedings{Becker_Becker_Besova_Walther_Wehrheim_2014, title={Towards Systematic Configuration for Architecture Validation}, booktitle={Proceedings of the 40th Euromicro Conference on Software Engineering and Advanced Applications (Work in Progress Session)}, author={Becker, Matthias and Becker, Steffen and Besova, Galina and Walther, Sven and Wehrheim, Heike}, year={2014} }
LibreCat
| Files available
2014 | Conference Paper | LibreCat-ID: 383
@inproceedings{Wonisch_Schremmer_Wehrheim_2014, series={Lecture Notes in Informatics (LNI)}, title={Programs from Proofs -- Approach and Applications}, booktitle={Proceedings of the Software Engineering Conference (SE)}, author={Wonisch, Daniel and Schremmer, Alexander and Wehrheim, Heike}, year={2014}, pages={67–68}, collection={Lecture Notes in Informatics (LNI)} }
LibreCat
| Files available
| Download (ext.)
2014 | Journal Article | LibreCat-ID: 3167
@article{Schneider_Treharne_Wehrheim_2014, title={The behavioural semantics of Event-B refinement}, DOI={10.1007/s00165-012-0265-0}, number={2}, journal={Formal Asp. Comput.}, author={Schneider, Steve and Treharne, Helen and Wehrheim, Heike}, year={2014}, pages={251--280} }
LibreCat
| DOI
2014 | Journal Article | LibreCat-ID: 3168
@article{Tofan_Travkin_Schellhorn_Wehrheim_2014, title={Two approaches for proving linearizability of multiset}, DOI={10.1016/j.scico.2014.04.001}, journal={Sci. Comput. Program.}, author={Tofan, Bogdan and Travkin, Oleg and Schellhorn, Gerhard and Wehrheim, Heike}, year={2014}, pages={297--314} }
LibreCat
| DOI
2014 | Journal Article | LibreCat-ID: 3169
@article{Schellhorn_Derrick_Wehrheim_2014, title={A Sound and Complete Proof Technique for Linearizability of Concurrent Data Structures}, DOI={10.1145/2629496}, number={4}, journal={{ACM} Trans. Comput. Log.}, author={Schellhorn, Gerhard and Derrick, John and Wehrheim, Heike}, year={2014}, pages={31:1--31:37} }
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 3170
@inproceedings{Derrick_Dongol_Schellhorn_Tofan_Travkin_Wehrheim_2014, series={Lecture Notes in Computer Science}, title={Quiescent Consistency: Defining and Verifying Relaxed Linearizability}, DOI={10.1007/978-3-319-06410-9_15}, booktitle={{FM} 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings}, author={Derrick, John and Dongol, Brijesh and Schellhorn, Gerhard and Tofan, Bogdan and Travkin, Oleg and Wehrheim, Heike}, editor={B. Jones, Cliff and Pihlajasaari, Pekka and Sun, JunEditors}, year={2014}, pages={200--214}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 3171
@inproceedings{Travkin_Wehrheim_2014, series={Lecture Notes in Computer Science}, title={Handling {TSO} in Mechanized Linearizability Proofs}, DOI={10.1007/978-3-319-13338-6_11}, booktitle={Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference, {HVC} 2014, Haifa, Israel, November 18-20, 2014. Proceedings}, author={Travkin, Oleg and Wehrheim, Heike}, editor={Yahav, EranEditor}, year={2014}, pages={132--147}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 3172
@inproceedings{Isenberg_Wehrheim_2014, series={Lecture Notes in Computer Science}, title={Timed Automata Verification via {IC3} with Zones}, DOI={10.1007/978-3-319-11737-9_14}, booktitle={Formal Methods and Software Engineering - 16th International Conference on Formal Engineering Methods, {ICFEM} 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings}, author={Isenberg, Tobias and Wehrheim, Heike}, editor={Merz, Stephan and Pang, JunEditors}, year={2014}, pages={203--218}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 3173
@inproceedings{A. Schneider_Treharne_Wehrheim_M. Williams_2014, series={Lecture Notes in Computer Science}, title={Managing {LTL} Properties in Event-B Refinement}, DOI={10.1007/978-3-319-10181-1_14}, booktitle={Integrated Formal Methods - 11th International Conference, {IFM} 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings}, author={A. Schneider, Steve and Treharne, Helen and Wehrheim, Heike and M. Williams, David}, editor={Albert, Elvira and Sekerinski, EmilEditors}, year={2014}, pages={221--237}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2014 | Journal Article | LibreCat-ID: 3174
@article{Schneider_Treharne_Wehrheim_M. Williams_2014, title={Managing {LTL} properties in Event-B refinement}, journal={CoRR}, author={Schneider, Steve and Treharne, Helen and Wehrheim, Heike and M. Williams, David}, year={2014} }
LibreCat
2014 | Journal Article | LibreCat-ID: 3175
@article{Isenberg_Wehrheim_2014, title={Proof-Carrying Hardware via {IC3}}, journal={CoRR}, author={Isenberg, Tobias and Wehrheim, Heike}, year={2014} }
LibreCat
2014 | Conference Paper | LibreCat-ID: 450
@inproceedings{Jakobs_Wehrheim_2014, series={SPIN 2014}, title={Certification for Configurable Program Analysis}, DOI={10.1145/2632362.2632372}, booktitle={Proceedings of the 21st International Symposium on Model Checking of Software (SPIN)}, author={Jakobs, Marie-Christine and Wehrheim, Heike}, year={2014}, pages={30–39}, collection={SPIN 2014} }
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 408
@inproceedings{Jakobs_Platzner_Wiersema_Wehrheim_2014, series={LNCS}, title={Integrating Software and Hardware Verification}, DOI={10.1007/978-3-319-10181-1_19}, booktitle={Proceedings of the 11th International Conference on Integrated Formal Methods (iFM)}, author={Jakobs, Marie-Christine and Platzner, Marco and Wiersema, Tobias and Wehrheim, Heike}, editor={Albert, Elvira and Sekerinski, EmilEditors}, year={2014}, pages={307–322}, collection={LNCS} }
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 417
@inproceedings{Besova_Steenke_Wehrheim_2014, title={Grammar-based model transformations}, DOI={10.1016/j.cl.2015.05.003}, booktitle={Proceedings 3rd Workshop on Model Driven Approaches in System Development (MDASD)}, author={Besova, Galina and Steenke, Dominik and Wehrheim, Heike}, year={2014}, pages={1601–1610} }
LibreCat
| Files available
| DOI
2014 | Book Chapter | LibreCat-ID: 25773
@inbook{Fla{\ss}kamp_Gr{\"o}sbrink_Hartmann_Heinzemann_Kleinjohann_Kleinjohann_Kr{\"u}ger_Ober-Bl{\"o}baum_Priesterjahn_Rasche_et al._2014, title={Development of the RailCab Vehicle}, booktitle={Dependability of Self-Optimizing Mechatronic Systems}, publisher={Springer-Verlag, Heidelberg, Germany}, author={Fla{\ss}kamp, Kathrin and Gr{\"o}sbrink, Stefan and Hartmann, Philip and Heinzemann, Christian and Kleinjohann, Bernd and Kleinjohann, Lisa and Kr{\"u}ger, Martin and Ober-Bl{\"o}baum, Sina and Priesterjahn, Claudia and Rasche, Christoph and et al.}, year={2014}, pages={184–190} }
LibreCat