@article{3205, author = {{Möller, Michael and Olderog, Ernst-Rüdiger and Rasch, Holger and Wehrheim, Heike}}, journal = {{Formal Asp. Comput.}}, number = {{2}}, pages = {{161----204}}, title = {{{Integrating a formal method into a software engineering process with {UML} and Java}}}, doi = {{10.1007/s00165-007-0042-7}}, year = {{2008}}, } @article{3206, author = {{Brückner, Ingo and Dräger, Klaus and Finkbeiner, Bernd and Wehrheim, Heike}}, journal = {{Fundam. Inform.}}, number = {{4}}, pages = {{369----392}}, title = {{{Slicing Abstractions}}}, year = {{2008}}, } @inproceedings{3207, author = {{Engels, Gregor and Kleppe, Anneke and Rensink, Arend and Semenyak, Maria and Soltenborn, Christian and Wehrheim, Heike}}, booktitle = {{Model Driven Architecture - Foundations and Applications, 4th European Conference, {ECMDA-FA} 2008, Berlin, Germany, June 9-13, 2008. Proceedings}}, editor = {{Schieferdecker, Ina and Hartman, Alan}}, pages = {{94----109}}, title = {{{From {UML} Activities to {TAAL} - Towards Behaviour-Preserving Model Transformations}}}, doi = {{10.1007/978-3-540-69100-6_7}}, year = {{2008}}, } @inproceedings{3208, author = {{Derrick, John and Schellhorn, Gerhard and Wehrheim, Heike}}, 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}}, editor = {{Barthe, Gilles and S. de Boer, Frank}}, pages = {{78----95}}, title = {{{Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack}}}, doi = {{10.1007/978-3-540-68863-1_6}}, year = {{2008}}, } @inproceedings{3209, author = {{Metzler, Björn and Wehrheim, Heike and Wonisch, Daniel}}, booktitle = {{Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, {ICFEM} 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings}}, editor = {{Liu, Shaoying and S. E. Maibaum, T. and Araki, Keijiro}}, pages = {{105----125}}, title = {{{Decomposition for Compositional Verification}}}, doi = {{10.1007/978-3-540-88194-0_9}}, year = {{2008}}, } @inproceedings{3210, author = {{Wehrheim, Heike}}, booktitle = {{Theoretical Aspects of Computing - {ICTAC} 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings}}, editor = {{S. Fitzgerald, John and Elisabeth Haxthausen, Anne and Yenig{\"{u}}n, H{\"{u}}sn{\"{u}}}}, pages = {{380----394}}, title = {{{Bounded Model Checking for Partial Kripke Structures}}}, doi = {{10.1007/978-3-540-85762-4_26}}, year = {{2008}}, } @article{3211, author = {{Derrick, John and Wehrheim, Heike}}, journal = {{Acta Inf.}}, number = {{1}}, pages = {{41----71}}, title = {{{On using data abstractions for model checking refinements}}}, doi = {{10.1007/s00236-007-0042-3}}, year = {{2007}}, } @article{3212, author = {{Metzler, Björn and Wehrheim, Heike}}, journal = {{Electr. Notes Theor. Comput. Sci.}}, number = {{2}}, pages = {{47----67}}, title = {{{Extending a Component Specification Language with Time}}}, doi = {{10.1016/j.entcs.2006.02.031}}, year = {{2007}}, } @article{3213, author = {{Estler, H.{-}Christian and Ruhroth, Thomas and Wehrheim, Heike}}, journal = {{Electr. Notes Theor. Comput. Sci.}}, pages = {{3----17}}, title = {{{Modelchecking Correctness of Refactorings - Some Experiments}}}, doi = {{10.1016/j.entcs.2006.08.041}}, year = {{2007}}, } @inproceedings{3214, author = {{Engels, Gregor and Güldali, Baris and Soltenborn, Christian and Wehrheim, Heike}}, booktitle = {{Applications of Graph Transformations with Industrial Relevance, Third International Symposium, {AGTIVE} 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers}}, editor = {{Sch{\"{u}}rr, Andy and Nagl, Manfred and Z{\"{u}}ndorf, Albert}}, pages = {{17----31}}, title = {{{Assuring Consistency of Business Process Models and Web Services Using Visual Contracts}}}, doi = {{10.1007/978-3-540-89020-1_2}}, year = {{2007}}, } @inproceedings{3215, author = {{Engels, Gregor and Soltenborn, Christian and Wehrheim, Heike}}, 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}}, editor = {{M. Bonsangue, Marcello and Broch Johnsen, Einar}}, pages = {{76----90}}, title = {{{Analysis of {UML} Activities Using Dynamic Meta Modeling}}}, doi = {{10.1007/978-3-540-72952-5_5}}, year = {{2007}}, } @inproceedings{3216, author = {{Ruhroth, Thomas and Wehrheim, Heike}}, 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}}, editor = {{M. Bonsangue, Marcello and Broch Johnsen, Einar}}, pages = {{236----251}}, title = {{{Refactoring Object-Oriented Specifications with Data and Processes}}}, doi = {{10.1007/978-3-540-72952-5_15}}, year = {{2007}}, } @inproceedings{3221, author = {{Schäfer, Wilhelm and Wehrheim, Heike}}, booktitle = {{International Conference on Software Engineering, {ISCE} 2007, Workshop on the Future of Software Engineering, {FOSE} 2007, May 23-25, 2007, Minneapolis, MN, {USA}}}, editor = {{C. Briand, Lionel and L. Wolf, Alexander}}, pages = {{72----84}}, title = {{{The Challenges of Building Advanced Mechatronic Systems}}}, doi = {{10.1109/FOSE.2007.28}}, year = {{2007}}, } @inproceedings{3222, author = {{Derrick, John and Schellhorn, Gerhard and Wehrheim, Heike}}, booktitle = {{Integrated Formal Methods, 6th International Conference, {IFM} 2007, Oxford, UK, July 2-5, 2007, Proceedings}}, editor = {{Davies, Jim and Gibbons, Jeremy}}, pages = {{195----214}}, title = {{{Proving Linearizability Via Non-atomic Refinement}}}, doi = {{10.1007/978-3-540-73210-5_11}}, year = {{2007}}, } @article{3223, author = {{Brückner, Ingo and Metzler, Björn and Wehrheim, Heike}}, journal = {{Nord. J. Comput.}}, number = {{1-2}}, pages = {{22----45}}, title = {{{Optimizing Slicing of Formal Specifications by Deductive Verification}}}, year = {{2006}}, } @inproceedings{3224, author = {{Derrick, John and Wehrheim, Heike}}, booktitle = {{Algebraic Methodology and Software Technology, 11th International Conference, {AMAST} 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings}}, editor = {{Johnson, Michael and Vene, Varmo}}, pages = {{111----126}}, title = {{{Model Transformations Incorporating Multiple Views}}}, doi = {{10.1007/11784180_11}}, year = {{2006}}, } @inproceedings{3225, author = {{Wehrheim, Heike}}, booktitle = {{Formal Methods and Software Engineering, 8th International Conference on Formal Engineering Methods, {ICFEM} 2006, Macao, China, November 1-3, 2006, Proceedings}}, editor = {{Liu, Zhiming and He, Jifeng}}, pages = {{514----528}}, title = {{{Incremental Slicing}}}, doi = {{10.1007/11901433_28}}, year = {{2006}}, } @proceedings{3226, editor = {{Gorrieri, Roberto and Wehrheim, Heike}}, isbn = {{3-540-34893-X}}, 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}}}, doi = {{10.1007/11768869}}, year = {{2006}}, } @article{3227, author = {{Olderog, Ernst-Rüdiger and Wehrheim, Heike}}, journal = {{Sci. Comput. Program.}}, number = {{1-3}}, pages = {{227----257}}, title = {{{Specification and (property) inheritance in {CSP-OZ}}}}, doi = {{10.1016/j.scico.2004.05.017}}, year = {{2005}}, } @article{3228, author = {{Wehrheim, Heike}}, journal = {{Theor. Comput. Sci.}}, number = {{3}}, pages = {{509----528}}, title = {{{Slicing techniques for verification re-use}}}, doi = {{10.1016/j.tcs.2005.06.020}}, year = {{2005}}, }