[{"doi":"10.1016/j.entcs.2008.02.023","user_id":"29719","page":"255--264","_id":"3203","date_updated":"2022-01-06T06:59:04Z","title":"Refinement in the Presence of Unknowns","year":"2008","status":"public","author":[{"full_name":"Wehrheim, Heike","last_name":"Wehrheim","first_name":"Heike","id":"573"}],"type":"journal_article","department":[{"_id":"77"}],"date_created":"2018-06-13T09:45:42Z","publication":"Electr. Notes Theor. Comput. Sci.","citation":{"bibtex":"@article{Wehrheim_2008, title={Refinement in the Presence of Unknowns}, DOI={<a href=\"https://doi.org/10.1016/j.entcs.2008.02.023\">10.1016/j.entcs.2008.02.023</a>}, journal={Electr. Notes Theor. Comput. Sci.}, author={Wehrheim, Heike}, year={2008}, pages={255--264} }","ama":"Wehrheim H. Refinement in the Presence of Unknowns. <i>Electr Notes Theor Comput Sci</i>. 2008:255--264. doi:<a href=\"https://doi.org/10.1016/j.entcs.2008.02.023\">10.1016/j.entcs.2008.02.023</a>","mla":"Wehrheim, Heike. “Refinement in the Presence of Unknowns.” <i>Electr. Notes Theor. Comput. Sci.</i>, 2008, pp. 255--264, doi:<a href=\"https://doi.org/10.1016/j.entcs.2008.02.023\">10.1016/j.entcs.2008.02.023</a>.","short":"H. Wehrheim, Electr. Notes Theor. Comput. Sci. (2008) 255--264.","chicago":"Wehrheim, Heike. “Refinement in the Presence of Unknowns.” <i>Electr. Notes Theor. Comput. Sci.</i>, 2008, 255--264. <a href=\"https://doi.org/10.1016/j.entcs.2008.02.023\">https://doi.org/10.1016/j.entcs.2008.02.023</a>.","ieee":"H. Wehrheim, “Refinement in the Presence of Unknowns,” <i>Electr. Notes Theor. Comput. Sci.</i>, pp. 255--264, 2008.","apa":"Wehrheim, H. (2008). Refinement in the Presence of Unknowns. <i>Electr. Notes Theor. Comput. Sci.</i>, 255--264. <a href=\"https://doi.org/10.1016/j.entcs.2008.02.023\">https://doi.org/10.1016/j.entcs.2008.02.023</a>"}},{"doi":"10.1016/j.entcs.2008.06.015","user_id":"29719","page":"331--357","_id":"3204","date_updated":"2022-01-06T06:59:04Z","title":"Alloy as a Refactoring Checker?","status":"public","year":"2008","author":[{"first_name":"H.{-}Christian","last_name":"Estler","full_name":"Estler, H.{-}Christian"},{"last_name":"Wehrheim","first_name":"Heike","full_name":"Wehrheim, Heike","id":"573"}],"type":"journal_article","department":[{"_id":"77"}],"date_created":"2018-06-13T09:47:06Z","publication":"Electr. Notes Theor. Comput. Sci.","citation":{"short":"H..-}Christian Estler, H. Wehrheim, Electr. Notes Theor. Comput. Sci. (2008) 331--357.","chicago":"Estler, H.{-}Christian, and Heike Wehrheim. “Alloy as a Refactoring Checker?” <i>Electr. Notes Theor. Comput. Sci.</i>, 2008, 331--357. <a href=\"https://doi.org/10.1016/j.entcs.2008.06.015\">https://doi.org/10.1016/j.entcs.2008.06.015</a>.","ieee":"H. .-}Christian Estler and H. Wehrheim, “Alloy as a Refactoring Checker?,” <i>Electr. Notes Theor. Comput. Sci.</i>, pp. 331--357, 2008.","apa":"Estler, H. .-}Christian, &#38; Wehrheim, H. (2008). Alloy as a Refactoring Checker? <i>Electr. Notes Theor. Comput. Sci.</i>, 331--357. <a href=\"https://doi.org/10.1016/j.entcs.2008.06.015\">https://doi.org/10.1016/j.entcs.2008.06.015</a>","bibtex":"@article{Estler_Wehrheim_2008, title={Alloy as a Refactoring Checker?}, DOI={<a href=\"https://doi.org/10.1016/j.entcs.2008.06.015\">10.1016/j.entcs.2008.06.015</a>}, journal={Electr. Notes Theor. Comput. Sci.}, author={Estler, H.{-}Christian and Wehrheim, Heike}, year={2008}, pages={331--357} }","ama":"Estler H.-}Christian, Wehrheim H. Alloy as a Refactoring Checker? <i>Electr Notes Theor Comput Sci</i>. 2008:331--357. doi:<a href=\"https://doi.org/10.1016/j.entcs.2008.06.015\">10.1016/j.entcs.2008.06.015</a>","mla":"Estler, H. .. }Christian, and Heike Wehrheim. “Alloy as a Refactoring Checker?” <i>Electr. Notes Theor. Comput. Sci.</i>, 2008, pp. 331--357, doi:<a href=\"https://doi.org/10.1016/j.entcs.2008.06.015\">10.1016/j.entcs.2008.06.015</a>."}},{"_id":"3205","page":"161--204","doi":"10.1007/s00165-007-0042-7","user_id":"29719","author":[{"first_name":"Michael","last_name":"Möller","full_name":"Möller, Michael"},{"first_name":"Ernst-Rüdiger","last_name":"Olderog","full_name":"Olderog, Ernst-Rüdiger"},{"last_name":"Rasch","first_name":"Holger","full_name":"Rasch, Holger"},{"id":"573","first_name":"Heike","last_name":"Wehrheim","full_name":"Wehrheim, Heike"}],"title":"Integrating a formal method into a software engineering process with {UML} and Java","status":"public","year":"2008","date_updated":"2022-01-06T06:59:04Z","date_created":"2018-06-13T09:48:29Z","department":[{"_id":"77"}],"type":"journal_article","citation":{"apa":"Möller, M., Olderog, E.-R., Rasch, H., &#38; Wehrheim, H. (2008). Integrating a formal method into a software engineering process with {UML} and Java. <i>Formal Asp. Comput.</i>, (2), 161--204. <a href=\"https://doi.org/10.1007/s00165-007-0042-7\">https://doi.org/10.1007/s00165-007-0042-7</a>","ieee":"M. Möller, E.-R. Olderog, H. Rasch, and H. Wehrheim, “Integrating a formal method into a software engineering process with {UML} and Java,” <i>Formal Asp. Comput.</i>, no. 2, pp. 161--204, 2008.","chicago":"Möller, Michael, Ernst-Rüdiger Olderog, Holger Rasch, and Heike Wehrheim. “Integrating a Formal Method into a Software Engineering Process with {UML} and Java.” <i>Formal Asp. Comput.</i>, no. 2 (2008): 161--204. <a href=\"https://doi.org/10.1007/s00165-007-0042-7\">https://doi.org/10.1007/s00165-007-0042-7</a>.","short":"M. Möller, E.-R. Olderog, H. Rasch, H. Wehrheim, Formal Asp. Comput. (2008) 161--204.","mla":"Möller, Michael, et al. “Integrating a Formal Method into a Software Engineering Process with {UML} and Java.” <i>Formal Asp. Comput.</i>, no. 2, 2008, pp. 161--204, doi:<a href=\"https://doi.org/10.1007/s00165-007-0042-7\">10.1007/s00165-007-0042-7</a>.","ama":"Möller M, Olderog E-R, Rasch H, Wehrheim H. Integrating a formal method into a software engineering process with {UML} and Java. <i>Formal Asp Comput</i>. 2008;(2):161--204. doi:<a href=\"https://doi.org/10.1007/s00165-007-0042-7\">10.1007/s00165-007-0042-7</a>","bibtex":"@article{Möller_Olderog_Rasch_Wehrheim_2008, title={Integrating a formal method into a software engineering process with {UML} and Java}, DOI={<a href=\"https://doi.org/10.1007/s00165-007-0042-7\">10.1007/s00165-007-0042-7</a>}, number={2}, journal={Formal Asp. Comput.}, author={Möller, Michael and Olderog, Ernst-Rüdiger and Rasch, Holger and Wehrheim, Heike}, year={2008}, pages={161--204} }"},"publication":"Formal Asp. Comput.","issue":"2"},{"citation":{"short":"I. Brückner, K. Dräger, B. Finkbeiner, H. Wehrheim, Fundam. Inform. (2008) 369--392.","chicago":"Brückner, Ingo, Klaus Dräger, Bernd Finkbeiner, and Heike Wehrheim. “Slicing Abstractions.” <i>Fundam. Inform.</i>, no. 4 (2008): 369--392.","apa":"Brückner, I., Dräger, K., Finkbeiner, B., &#38; Wehrheim, H. (2008). Slicing Abstractions. <i>Fundam. Inform.</i>, (4), 369--392.","ieee":"I. Brückner, K. Dräger, B. Finkbeiner, and H. Wehrheim, “Slicing Abstractions,” <i>Fundam. Inform.</i>, no. 4, pp. 369--392, 2008.","ama":"Brückner I, Dräger K, Finkbeiner B, Wehrheim H. Slicing Abstractions. <i>Fundam Inform</i>. 2008;(4):369--392.","bibtex":"@article{Brückner_Dräger_Finkbeiner_Wehrheim_2008, title={Slicing Abstractions}, number={4}, journal={Fundam. Inform.}, author={Brückner, Ingo and Dräger, Klaus and Finkbeiner, Bernd and Wehrheim, Heike}, year={2008}, pages={369--392} }","mla":"Brückner, Ingo, et al. “Slicing Abstractions.” <i>Fundam. Inform.</i>, no. 4, 2008, pp. 369--392."},"publication":"Fundam. Inform.","issue":"4","date_created":"2018-06-13T09:50:07Z","department":[{"_id":"77"}],"type":"journal_article","author":[{"last_name":"Brückner","first_name":"Ingo","full_name":"Brückner, Ingo"},{"first_name":"Klaus","last_name":"Dräger","full_name":"Dräger, Klaus"},{"last_name":"Finkbeiner","first_name":"Bernd","full_name":"Finkbeiner, Bernd"},{"first_name":"Heike","last_name":"Wehrheim","full_name":"Wehrheim, Heike","id":"573"}],"status":"public","title":"Slicing Abstractions","year":"2008","date_updated":"2022-01-06T06:59:04Z","_id":"3206","page":"369--392","user_id":"29719"},{"date_created":"2018-06-13T09:51:29Z","department":[{"_id":"77"}],"type":"conference","citation":{"chicago":"Engels, Gregor, Anneke Kleppe, Arend Rensink, Maria Semenyak, Christian Soltenborn, and Heike Wehrheim. “From {UML} Activities to {TAAL} - Towards Behaviour-Preserving Model Transformations.” In <i>Model Driven Architecture - Foundations and Applications, 4th European Conference, {ECMDA-FA} 2008, Berlin, Germany, June 9-13, 2008. Proceedings</i>, edited by Ina Schieferdecker and Alan Hartman, 94--109. Lecture Notes in Computer Science, 2008. <a href=\"https://doi.org/10.1007/978-3-540-69100-6_7\">https://doi.org/10.1007/978-3-540-69100-6_7</a>.","short":"G. Engels, A. Kleppe, A. Rensink, M. Semenyak, C. Soltenborn, H. Wehrheim, in: I. Schieferdecker, A. Hartman (Eds.), Model Driven Architecture - Foundations and Applications, 4th European Conference, {ECMDA-FA} 2008, Berlin, Germany, June 9-13, 2008. Proceedings, 2008, pp. 94--109.","ama":"Engels G, Kleppe A, Rensink A, Semenyak M, Soltenborn C, Wehrheim H. From {UML} Activities to {TAAL} - Towards Behaviour-Preserving Model Transformations. In: Schieferdecker I, Hartman A, eds. <i>Model Driven Architecture - Foundations and Applications, 4th European Conference, {ECMDA-FA} 2008, Berlin, Germany, June 9-13, 2008. Proceedings</i>. Lecture Notes in Computer Science. ; 2008:94--109. doi:<a href=\"https://doi.org/10.1007/978-3-540-69100-6_7\">10.1007/978-3-540-69100-6_7</a>","bibtex":"@inproceedings{Engels_Kleppe_Rensink_Semenyak_Soltenborn_Wehrheim_2008, series={Lecture Notes in Computer Science}, title={From {UML} Activities to {TAAL} - Towards Behaviour-Preserving Model Transformations}, DOI={<a href=\"https://doi.org/10.1007/978-3-540-69100-6_7\">10.1007/978-3-540-69100-6_7</a>}, booktitle={Model Driven Architecture - Foundations and Applications, 4th European Conference, {ECMDA-FA} 2008, Berlin, Germany, June 9-13, 2008. Proceedings}, author={Engels, Gregor and Kleppe, Anneke and Rensink, Arend and Semenyak, Maria and Soltenborn, Christian and Wehrheim, Heike}, editor={Schieferdecker, Ina and Hartman, AlanEditors}, year={2008}, pages={94--109}, collection={Lecture Notes in Computer Science} }","mla":"Engels, Gregor, et al. “From {UML} Activities to {TAAL} - Towards Behaviour-Preserving Model Transformations.” <i>Model Driven Architecture - Foundations and Applications, 4th European Conference, {ECMDA-FA} 2008, Berlin, Germany, June 9-13, 2008. Proceedings</i>, edited by Ina Schieferdecker and Alan Hartman, 2008, pp. 94--109, doi:<a href=\"https://doi.org/10.1007/978-3-540-69100-6_7\">10.1007/978-3-540-69100-6_7</a>.","apa":"Engels, G., Kleppe, A., Rensink, A., Semenyak, M., Soltenborn, C., &#38; Wehrheim, H. (2008). From {UML} Activities to {TAAL} - Towards Behaviour-Preserving Model Transformations. In I. Schieferdecker &#38; A. Hartman (Eds.), <i>Model Driven Architecture - Foundations and Applications, 4th European Conference, {ECMDA-FA} 2008, Berlin, Germany, June 9-13, 2008. Proceedings</i> (pp. 94--109). <a href=\"https://doi.org/10.1007/978-3-540-69100-6_7\">https://doi.org/10.1007/978-3-540-69100-6_7</a>","ieee":"G. Engels, A. Kleppe, A. Rensink, M. Semenyak, C. Soltenborn, and H. Wehrheim, “From {UML} Activities to {TAAL} - Towards Behaviour-Preserving Model Transformations,” in <i>Model Driven Architecture - Foundations and Applications, 4th European Conference, {ECMDA-FA} 2008, Berlin, Germany, June 9-13, 2008. Proceedings</i>, 2008, pp. 94--109."},"publication":"Model Driven Architecture - Foundations and Applications, 4th European Conference, {ECMDA-FA} 2008, Berlin, Germany, June 9-13, 2008. Proceedings","_id":"3207","language":[{"iso":"eng"}],"series_title":"Lecture Notes in Computer Science","page":"94--109","editor":[{"first_name":"Ina","last_name":"Schieferdecker","full_name":"Schieferdecker, Ina"},{"full_name":"Hartman, Alan","last_name":"Hartman","first_name":"Alan"}],"user_id":"14955","doi":"10.1007/978-3-540-69100-6_7","author":[{"id":"107","full_name":"Engels, Gregor","last_name":"Engels","first_name":"Gregor"},{"last_name":"Kleppe","first_name":"Anneke","full_name":"Kleppe, Anneke"},{"last_name":"Rensink","first_name":"Arend","full_name":"Rensink, Arend"},{"first_name":"Maria","last_name":"Semenyak","full_name":"Semenyak, Maria"},{"last_name":"Soltenborn","first_name":"Christian","orcid":"0000-0002-0342-8227","full_name":"Soltenborn, Christian","id":"1737"},{"full_name":"Wehrheim, Heike","first_name":"Heike","last_name":"Wehrheim","id":"573"}],"year":"2008","status":"public","title":"From {UML} Activities to {TAAL} - Towards Behaviour-Preserving Model Transformations","date_updated":"2022-01-06T06:59:04Z"},{"year":"2008","status":"public","title":"Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack","author":[{"first_name":"John","last_name":"Derrick","full_name":"Derrick, John"},{"first_name":"Gerhard","last_name":"Schellhorn","full_name":"Schellhorn, Gerhard"},{"id":"573","full_name":"Wehrheim, Heike","first_name":"Heike","last_name":"Wehrheim"}],"date_updated":"2022-01-06T06:59:04Z","page":"78--95","_id":"3208","series_title":"Lecture Notes in Computer Science","user_id":"29719","doi":"10.1007/978-3-540-68863-1_6","editor":[{"full_name":"Barthe, Gilles","last_name":"Barthe","first_name":"Gilles"},{"full_name":"S. de Boer, Frank","first_name":"Frank","last_name":"S. de Boer"}],"publication":"Formal Methods for Open Object-Based Distributed Systems, 10th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2008, Oslo, Norway, June 4-6, 2008, Proceedings","citation":{"mla":"Derrick, John, et al. “Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack.” <i>Formal Methods for Open Object-Based Distributed Systems, 10th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2008, Oslo, Norway, June 4-6, 2008, Proceedings</i>, edited by Gilles Barthe and Frank S. de Boer, 2008, pp. 78--95, doi:<a href=\"https://doi.org/10.1007/978-3-540-68863-1_6\">10.1007/978-3-540-68863-1_6</a>.","ama":"Derrick J, Schellhorn G, Wehrheim H. Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack. In: Barthe G, S. de Boer F, eds. <i>Formal Methods for Open Object-Based Distributed Systems, 10th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2008, Oslo, Norway, June 4-6, 2008, Proceedings</i>. Lecture Notes in Computer Science. ; 2008:78--95. doi:<a href=\"https://doi.org/10.1007/978-3-540-68863-1_6\">10.1007/978-3-540-68863-1_6</a>","bibtex":"@inproceedings{Derrick_Schellhorn_Wehrheim_2008, series={Lecture Notes in Computer Science}, title={Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack}, DOI={<a href=\"https://doi.org/10.1007/978-3-540-68863-1_6\">10.1007/978-3-540-68863-1_6</a>}, 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}, author={Derrick, John and Schellhorn, Gerhard and Wehrheim, Heike}, editor={Barthe, Gilles and S. de Boer, FrankEditors}, year={2008}, pages={78--95}, collection={Lecture Notes in Computer Science} }","apa":"Derrick, J., Schellhorn, G., &#38; Wehrheim, H. (2008). Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack. In G. Barthe &#38; F. S. de Boer (Eds.), <i>Formal Methods for Open Object-Based Distributed Systems, 10th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2008, Oslo, Norway, June 4-6, 2008, Proceedings</i> (pp. 78--95). <a href=\"https://doi.org/10.1007/978-3-540-68863-1_6\">https://doi.org/10.1007/978-3-540-68863-1_6</a>","ieee":"J. Derrick, G. Schellhorn, and H. Wehrheim, “Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack,” in <i>Formal Methods for Open Object-Based Distributed Systems, 10th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2008, Oslo, Norway, June 4-6, 2008, Proceedings</i>, 2008, pp. 78--95.","chicago":"Derrick, John, Gerhard Schellhorn, and Heike Wehrheim. “Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack.” In <i>Formal Methods for Open Object-Based Distributed Systems, 10th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2008, Oslo, Norway, June 4-6, 2008, Proceedings</i>, edited by Gilles Barthe and Frank S. de Boer, 78--95. Lecture Notes in Computer Science, 2008. <a href=\"https://doi.org/10.1007/978-3-540-68863-1_6\">https://doi.org/10.1007/978-3-540-68863-1_6</a>.","short":"J. Derrick, G. Schellhorn, H. Wehrheim, in: G. Barthe, F. S. de Boer (Eds.), 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."},"date_created":"2018-06-13T09:52:29Z","type":"conference","department":[{"_id":"77"}]},{"department":[{"_id":"77"}],"type":"conference","date_created":"2018-06-13T09:53:43Z","citation":{"mla":"Metzler, Björn, et al. “Decomposition for Compositional Verification.” <i>Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, {ICFEM} 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings</i>, edited by Shaoying Liu et al., 2008, pp. 105--125, doi:<a href=\"https://doi.org/10.1007/978-3-540-88194-0_9\">10.1007/978-3-540-88194-0_9</a>.","bibtex":"@inproceedings{Metzler_Wehrheim_Wonisch_2008, series={Lecture Notes in Computer Science}, title={Decomposition for Compositional Verification}, DOI={<a href=\"https://doi.org/10.1007/978-3-540-88194-0_9\">10.1007/978-3-540-88194-0_9</a>}, booktitle={Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, {ICFEM} 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings}, author={Metzler, Björn and Wehrheim, Heike and Wonisch, Daniel}, editor={Liu, Shaoying and S. E. Maibaum, T. and Araki, KeijiroEditors}, year={2008}, pages={105--125}, collection={Lecture Notes in Computer Science} }","ama":"Metzler B, Wehrheim H, Wonisch D. Decomposition for Compositional Verification. In: Liu S, S. E. Maibaum T, Araki K, eds. <i>Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, {ICFEM} 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings</i>. Lecture Notes in Computer Science. ; 2008:105--125. doi:<a href=\"https://doi.org/10.1007/978-3-540-88194-0_9\">10.1007/978-3-540-88194-0_9</a>","ieee":"B. Metzler, H. Wehrheim, and D. Wonisch, “Decomposition for Compositional Verification,” in <i>Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, {ICFEM} 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings</i>, 2008, pp. 105--125.","apa":"Metzler, B., Wehrheim, H., &#38; Wonisch, D. (2008). Decomposition for Compositional Verification. In S. Liu, T. S. E. Maibaum, &#38; K. Araki (Eds.), <i>Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, {ICFEM} 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings</i> (pp. 105--125). <a href=\"https://doi.org/10.1007/978-3-540-88194-0_9\">https://doi.org/10.1007/978-3-540-88194-0_9</a>","short":"B. Metzler, H. Wehrheim, D. Wonisch, in: S. Liu, T. S. E. Maibaum, K. Araki (Eds.), 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.","chicago":"Metzler, Björn, Heike Wehrheim, and Daniel Wonisch. “Decomposition for Compositional Verification.” In <i>Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, {ICFEM} 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings</i>, edited by Shaoying Liu, T. S. E. Maibaum, and Keijiro Araki, 105--125. Lecture Notes in Computer Science, 2008. <a href=\"https://doi.org/10.1007/978-3-540-88194-0_9\">https://doi.org/10.1007/978-3-540-88194-0_9</a>."},"publication":"Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, {ICFEM} 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings","editor":[{"first_name":"Shaoying","last_name":"Liu","full_name":"Liu, Shaoying"},{"full_name":"S. E. Maibaum, T.","first_name":"T.","last_name":"S. E. Maibaum"},{"first_name":"Keijiro","last_name":"Araki","full_name":"Araki, Keijiro"}],"doi":"10.1007/978-3-540-88194-0_9","user_id":"29719","_id":"3209","series_title":"Lecture Notes in Computer Science","page":"105--125","date_updated":"2022-01-06T06:59:04Z","author":[{"full_name":"Metzler, Björn","last_name":"Metzler","first_name":"Björn"},{"id":"573","first_name":"Heike","last_name":"Wehrheim","full_name":"Wehrheim, Heike"},{"first_name":"Daniel","last_name":"Wonisch","full_name":"Wonisch, Daniel"}],"year":"2008","status":"public","title":"Decomposition for Compositional Verification"},{"_id":"3210","series_title":"Lecture Notes in Computer Science","page":"380--394","editor":[{"full_name":"S. Fitzgerald, John","first_name":"John","last_name":"S. Fitzgerald"},{"last_name":"Elisabeth Haxthausen","first_name":"Anne","full_name":"Elisabeth Haxthausen, Anne"},{"full_name":"Yenig{\\\"{u}}n, H{\\\"{u}}sn{\\\"{u}}","first_name":"H{\\\"{u}}sn{\\\"{u}}","last_name":"Yenig{\\\"{u}}n"}],"doi":"10.1007/978-3-540-85762-4_26","user_id":"29719","author":[{"full_name":"Wehrheim, Heike","first_name":"Heike","last_name":"Wehrheim","id":"573"}],"status":"public","title":"Bounded Model Checking for Partial Kripke Structures","year":"2008","date_updated":"2022-01-06T06:59:05Z","date_created":"2018-06-13T09:54:58Z","department":[{"_id":"77"}],"type":"conference","citation":{"bibtex":"@inproceedings{Wehrheim_2008, series={Lecture Notes in Computer Science}, title={Bounded Model Checking for Partial Kripke Structures}, DOI={<a href=\"https://doi.org/10.1007/978-3-540-85762-4_26\">10.1007/978-3-540-85762-4_26</a>}, booktitle={Theoretical Aspects of Computing - {ICTAC} 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings}, author={Wehrheim, Heike}, editor={S. Fitzgerald, John and Elisabeth Haxthausen, Anne and Yenig{\\\"{u}}n, H{\\\"{u}}sn{\\\"{u}}Editors}, year={2008}, pages={380--394}, collection={Lecture Notes in Computer Science} }","ama":"Wehrheim H. Bounded Model Checking for Partial Kripke Structures. In: S. Fitzgerald J, Elisabeth Haxthausen A, Yenig{\\\"{u}}n H, eds. <i>Theoretical Aspects of Computing - {ICTAC} 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings</i>. Lecture Notes in Computer Science. ; 2008:380--394. doi:<a href=\"https://doi.org/10.1007/978-3-540-85762-4_26\">10.1007/978-3-540-85762-4_26</a>","mla":"Wehrheim, Heike. “Bounded Model Checking for Partial Kripke Structures.” <i>Theoretical Aspects of Computing - {ICTAC} 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings</i>, edited by John S. Fitzgerald et al., 2008, pp. 380--394, doi:<a href=\"https://doi.org/10.1007/978-3-540-85762-4_26\">10.1007/978-3-540-85762-4_26</a>.","short":"H. Wehrheim, in: J. S. Fitzgerald, A. Elisabeth Haxthausen, H. Yenig{\\\"{u}}n (Eds.), Theoretical Aspects of Computing - {ICTAC} 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings, 2008, pp. 380--394.","chicago":"Wehrheim, Heike. “Bounded Model Checking for Partial Kripke Structures.” In <i>Theoretical Aspects of Computing - {ICTAC} 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings</i>, edited by John S. Fitzgerald, Anne Elisabeth Haxthausen, and H{\\\"{u}}sn{\\\"{u}} Yenig{\\\"{u}}n, 380--394. Lecture Notes in Computer Science, 2008. <a href=\"https://doi.org/10.1007/978-3-540-85762-4_26\">https://doi.org/10.1007/978-3-540-85762-4_26</a>.","ieee":"H. Wehrheim, “Bounded Model Checking for Partial Kripke Structures,” in <i>Theoretical Aspects of Computing - {ICTAC} 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings</i>, 2008, pp. 380--394.","apa":"Wehrheim, H. (2008). Bounded Model Checking for Partial Kripke Structures. In J. S. Fitzgerald, A. Elisabeth Haxthausen, &#38; H. Yenig{\\\"{u}}n (Eds.), <i>Theoretical Aspects of Computing - {ICTAC} 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings</i> (pp. 380--394). <a href=\"https://doi.org/10.1007/978-3-540-85762-4_26\">https://doi.org/10.1007/978-3-540-85762-4_26</a>"},"publication":"Theoretical Aspects of Computing - {ICTAC} 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings"},{"type":"conference","department":[{"_id":"64"},{"_id":"70"}],"date_created":"2018-06-05T08:10:19Z","publication":"Fourth International Conference on Networking and Services (icns 2008)","citation":{"ama":"Stern C, Adelt P, Krummel V, Ackermann MR. Reliable Evidence of Data Integrity from an Untrusted Storage Service. In: <i>Fourth International Conference on Networking and Services (Icns 2008)</i>. IEEE; 2008. doi:<a href=\"https://doi.org/10.1109/icns.2008.28\">10.1109/icns.2008.28</a>","bibtex":"@inproceedings{Stern_Adelt_Krummel_Ackermann_2008, title={Reliable Evidence of Data Integrity from an Untrusted Storage Service}, DOI={<a href=\"https://doi.org/10.1109/icns.2008.28\">10.1109/icns.2008.28</a>}, booktitle={Fourth International Conference on Networking and Services (icns 2008)}, publisher={IEEE}, author={Stern, Claudius and Adelt, Philipp and Krummel, Volker and Ackermann, Marcel Rudolf}, year={2008} }","mla":"Stern, Claudius, et al. “Reliable Evidence of Data Integrity from an Untrusted Storage Service.” <i>Fourth International Conference on Networking and Services (Icns 2008)</i>, IEEE, 2008, doi:<a href=\"https://doi.org/10.1109/icns.2008.28\">10.1109/icns.2008.28</a>.","short":"C. Stern, P. Adelt, V. Krummel, M.R. Ackermann, in: Fourth International Conference on Networking and Services (Icns 2008), IEEE, 2008.","chicago":"Stern, Claudius, Philipp Adelt, Volker Krummel, and Marcel Rudolf Ackermann. “Reliable Evidence of Data Integrity from an Untrusted Storage Service.” In <i>Fourth International Conference on Networking and Services (Icns 2008)</i>. IEEE, 2008. <a href=\"https://doi.org/10.1109/icns.2008.28\">https://doi.org/10.1109/icns.2008.28</a>.","apa":"Stern, C., Adelt, P., Krummel, V., &#38; Ackermann, M. R. (2008). Reliable Evidence of Data Integrity from an Untrusted Storage Service. In <i>Fourth International Conference on Networking and Services (icns 2008)</i>. IEEE. <a href=\"https://doi.org/10.1109/icns.2008.28\">https://doi.org/10.1109/icns.2008.28</a>","ieee":"C. Stern, P. Adelt, V. Krummel, and M. R. Ackermann, “Reliable Evidence of Data Integrity from an Untrusted Storage Service,” in <i>Fourth International Conference on Networking and Services (icns 2008)</i>, 2008."},"doi":"10.1109/icns.2008.28","user_id":"25078","_id":"3001","publisher":"IEEE","date_updated":"2022-01-06T06:58:50Z","publication_status":"published","year":"2008","status":"public","title":"Reliable Evidence of Data Integrity from an Untrusted Storage Service","author":[{"full_name":"Stern, Claudius","last_name":"Stern","first_name":"Claudius"},{"full_name":"Adelt, Philipp","first_name":"Philipp","last_name":"Adelt"},{"full_name":"Krummel, Volker","last_name":"Krummel","first_name":"Volker"},{"last_name":"Ackermann","first_name":"Marcel Rudolf","full_name":"Ackermann, Marcel Rudolf"}],"publication_identifier":{"isbn":["9780769530949"]}},{"date_updated":"2022-01-06T06:58:58Z","status":"public","title":"A Browser-Based Kerberos Authentication Scheme","year":"2008","author":[{"full_name":"Gajek, Sebastian","first_name":"Sebastian","last_name":"Gajek"},{"full_name":"Jager, Tibor","first_name":"Tibor","last_name":"Jager","id":"64669"},{"first_name":"Mark","last_name":"Manulis","full_name":"Manulis, Mark"},{"first_name":"Jörg","last_name":"Schwenk","full_name":"Schwenk, Jörg"}],"doi":"10.1007/978-3-540-88313-5_8","user_id":"38235","page":"115--129","_id":"3143","extern":"1","publication":"Computer Security - ESORICS 2008, 13th European Symposium on Research in Computer Security, Málaga, Spain, October 6-8, 2008. Proceedings","citation":{"short":"S. Gajek, T. Jager, M. Manulis, J. Schwenk, in: Computer Security - ESORICS 2008, 13th European Symposium on Research in Computer Security, Málaga, Spain, October 6-8, 2008. Proceedings, 2008, pp. 115--129.","chicago":"Gajek, Sebastian, Tibor Jager, Mark Manulis, and Jörg Schwenk. “A Browser-Based Kerberos Authentication Scheme.” In <i>Computer Security - ESORICS 2008, 13th European Symposium on Research in Computer Security, Málaga, Spain, October 6-8, 2008. Proceedings</i>, 115--129, 2008. <a href=\"https://doi.org/10.1007/978-3-540-88313-5_8\">https://doi.org/10.1007/978-3-540-88313-5_8</a>.","ieee":"S. Gajek, T. Jager, M. Manulis, and J. Schwenk, “A Browser-Based Kerberos Authentication Scheme,” in <i>Computer Security - ESORICS 2008, 13th European Symposium on Research in Computer Security, Málaga, Spain, October 6-8, 2008. Proceedings</i>, 2008, pp. 115--129.","apa":"Gajek, S., Jager, T., Manulis, M., &#38; Schwenk, J. (2008). A Browser-Based Kerberos Authentication Scheme. In <i>Computer Security - ESORICS 2008, 13th European Symposium on Research in Computer Security, Málaga, Spain, October 6-8, 2008. Proceedings</i> (pp. 115--129). <a href=\"https://doi.org/10.1007/978-3-540-88313-5_8\">https://doi.org/10.1007/978-3-540-88313-5_8</a>","bibtex":"@inproceedings{Gajek_Jager_Manulis_Schwenk_2008, title={A Browser-Based Kerberos Authentication Scheme}, DOI={<a href=\"https://doi.org/10.1007/978-3-540-88313-5_8\">10.1007/978-3-540-88313-5_8</a>}, booktitle={Computer Security - ESORICS 2008, 13th European Symposium on Research in Computer Security, Málaga, Spain, October 6-8, 2008. Proceedings}, author={Gajek, Sebastian and Jager, Tibor and Manulis, Mark and Schwenk, Jörg}, year={2008}, pages={115--129} }","ama":"Gajek S, Jager T, Manulis M, Schwenk J. A Browser-Based Kerberos Authentication Scheme. In: <i>Computer Security - ESORICS 2008, 13th European Symposium on Research in Computer Security, Málaga, Spain, October 6-8, 2008. Proceedings</i>. ; 2008:115--129. doi:<a href=\"https://doi.org/10.1007/978-3-540-88313-5_8\">10.1007/978-3-540-88313-5_8</a>","mla":"Gajek, Sebastian, et al. “A Browser-Based Kerberos Authentication Scheme.” <i>Computer Security - ESORICS 2008, 13th European Symposium on Research in Computer Security, Málaga, Spain, October 6-8, 2008. Proceedings</i>, 2008, pp. 115--129, doi:<a href=\"https://doi.org/10.1007/978-3-540-88313-5_8\">10.1007/978-3-540-88313-5_8</a>."},"type":"conference","department":[{"_id":"558"}],"date_created":"2018-06-07T09:30:48Z"},{"author":[{"full_name":"Altmann, Kristina","last_name":"Altmann","first_name":"Kristina"},{"last_name":"Jager","first_name":"Tibor","full_name":"Jager, Tibor","id":"64669"},{"full_name":"Rupp, Andy","first_name":"Andy","last_name":"Rupp"}],"title":"On Black-Box Ring Extraction and Integer Factorization","year":"2008","status":"public","date_updated":"2022-01-06T06:58:58Z","_id":"3144","page":"437--448","user_id":"38235","doi":"10.1007/978-3-540-70583-3_36","citation":{"chicago":"Altmann, Kristina, Tibor Jager, and Andy Rupp. “On Black-Box Ring Extraction and Integer Factorization.” In <i>Automata, Languages and Programming, 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II - Track B: Logic, Semantics, and Theory of Programming &#38; Track C: Security and Cryptography Foundations</i>, 437--448, 2008. <a href=\"https://doi.org/10.1007/978-3-540-70583-3_36\">https://doi.org/10.1007/978-3-540-70583-3_36</a>.","short":"K. Altmann, T. Jager, A. Rupp, in: Automata, Languages and Programming, 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II - Track B: Logic, Semantics, and Theory of Programming &#38; Track C: Security and Cryptography Foundations, 2008, pp. 437--448.","apa":"Altmann, K., Jager, T., &#38; Rupp, A. (2008). On Black-Box Ring Extraction and Integer Factorization. In <i>Automata, Languages and Programming, 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II - Track B: Logic, Semantics, and Theory of Programming &#38; Track C: Security and Cryptography Foundations</i> (pp. 437--448). <a href=\"https://doi.org/10.1007/978-3-540-70583-3_36\">https://doi.org/10.1007/978-3-540-70583-3_36</a>","ieee":"K. Altmann, T. Jager, and A. Rupp, “On Black-Box Ring Extraction and Integer Factorization,” in <i>Automata, Languages and Programming, 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II - Track B: Logic, Semantics, and Theory of Programming &#38; Track C: Security and Cryptography Foundations</i>, 2008, pp. 437--448.","ama":"Altmann K, Jager T, Rupp A. On Black-Box Ring Extraction and Integer Factorization. In: <i>Automata, Languages and Programming, 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II - Track B: Logic, Semantics, and Theory of Programming &#38; Track C: Security and Cryptography Foundations</i>. ; 2008:437--448. doi:<a href=\"https://doi.org/10.1007/978-3-540-70583-3_36\">10.1007/978-3-540-70583-3_36</a>","bibtex":"@inproceedings{Altmann_Jager_Rupp_2008, title={On Black-Box Ring Extraction and Integer Factorization}, DOI={<a href=\"https://doi.org/10.1007/978-3-540-70583-3_36\">10.1007/978-3-540-70583-3_36</a>}, booktitle={Automata, Languages and Programming, 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II - Track B: Logic, Semantics, and Theory of Programming &#38; Track C: Security and Cryptography Foundations}, author={Altmann, Kristina and Jager, Tibor and Rupp, Andy}, year={2008}, pages={437--448} }","mla":"Altmann, Kristina, et al. “On Black-Box Ring Extraction and Integer Factorization.” <i>Automata, Languages and Programming, 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II - Track B: Logic, Semantics, and Theory of Programming &#38; Track C: Security and Cryptography Foundations</i>, 2008, pp. 437--448, doi:<a href=\"https://doi.org/10.1007/978-3-540-70583-3_36\">10.1007/978-3-540-70583-3_36</a>."},"publication":"Automata, Languages and Programming, 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II - Track B: Logic, Semantics, and Theory of Programming & Track C: Security and Cryptography Foundations","extern":"1","date_created":"2018-06-07T09:32:07Z","department":[{"_id":"558"}],"type":"conference"},{"author":[{"id":"64669","full_name":"Jager, Tibor","first_name":"Tibor","last_name":"Jager"},{"full_name":"Schwenk, Jörg","first_name":"Jörg","last_name":"Schwenk"}],"year":"2008","title":"On the Equivalence of Generic Group Models","status":"public","date_updated":"2022-01-06T06:58:58Z","_id":"3145","page":"200--209","user_id":"38235","doi":"10.1007/978-3-540-88733-1_14","citation":{"apa":"Jager, T., &#38; Schwenk, J. (2008). On the Equivalence of Generic Group Models. In <i>Provable Security, Second International Conference, ProvSec 2008, Shanghai, China, October 30 - November 1, 2008. Proceedings</i> (pp. 200--209). <a href=\"https://doi.org/10.1007/978-3-540-88733-1_14\">https://doi.org/10.1007/978-3-540-88733-1_14</a>","ieee":"T. Jager and J. Schwenk, “On the Equivalence of Generic Group Models,” in <i>Provable Security, Second International Conference, ProvSec 2008, Shanghai, China, October 30 - November 1, 2008. Proceedings</i>, 2008, pp. 200--209.","chicago":"Jager, Tibor, and Jörg Schwenk. “On the Equivalence of Generic Group Models.” In <i>Provable Security, Second International Conference, ProvSec 2008, Shanghai, China, October 30 - November 1, 2008. Proceedings</i>, 200--209, 2008. <a href=\"https://doi.org/10.1007/978-3-540-88733-1_14\">https://doi.org/10.1007/978-3-540-88733-1_14</a>.","short":"T. Jager, J. Schwenk, in: Provable Security, Second International Conference, ProvSec 2008, Shanghai, China, October 30 - November 1, 2008. Proceedings, 2008, pp. 200--209.","mla":"Jager, Tibor, and Jörg Schwenk. “On the Equivalence of Generic Group Models.” <i>Provable Security, Second International Conference, ProvSec 2008, Shanghai, China, October 30 - November 1, 2008. Proceedings</i>, 2008, pp. 200--209, doi:<a href=\"https://doi.org/10.1007/978-3-540-88733-1_14\">10.1007/978-3-540-88733-1_14</a>.","ama":"Jager T, Schwenk J. On the Equivalence of Generic Group Models. In: <i>Provable Security, Second International Conference, ProvSec 2008, Shanghai, China, October 30 - November 1, 2008. Proceedings</i>. ; 2008:200--209. doi:<a href=\"https://doi.org/10.1007/978-3-540-88733-1_14\">10.1007/978-3-540-88733-1_14</a>","bibtex":"@inproceedings{Jager_Schwenk_2008, title={On the Equivalence of Generic Group Models}, DOI={<a href=\"https://doi.org/10.1007/978-3-540-88733-1_14\">10.1007/978-3-540-88733-1_14</a>}, booktitle={Provable Security, Second International Conference, ProvSec 2008, Shanghai, China, October 30 - November 1, 2008. Proceedings}, author={Jager, Tibor and Schwenk, Jörg}, year={2008}, pages={200--209} }"},"publication":"Provable Security, Second International Conference, ProvSec 2008, Shanghai, China, October 30 - November 1, 2008. Proceedings","extern":"1","date_created":"2018-06-07T09:32:53Z","department":[{"_id":"558"}],"type":"conference"},{"date_updated":"2022-01-06T06:58:58Z","author":[{"first_name":"Tibor","last_name":"Jager","full_name":"Jager, Tibor","id":"64669"},{"full_name":"Jäkel, Heiko","last_name":"Jäkel","first_name":"Heiko"},{"full_name":"Schwenk, Jörg","last_name":"Schwenk","first_name":"Jörg"}],"status":"public","title":"Nutzung von selbstsignierten Client-Zertifikaten zur Authentifikation bei SSL/TLS","year":"2008","user_id":"38235","_id":"3146","page":"127--136","extern":"1","citation":{"ieee":"T. Jager, H. Jäkel, and J. Schwenk, “Nutzung von selbstsignierten Client-Zertifikaten zur Authentifikation bei SSL/TLS,” in <i>Sicherheit 2008: Sicherheit, Schutz und Zuverlässigkeit. Konferenzband der 4. Jahrestagung des Fachbereichs Sicherheit der Gesellschaft für Informatik e.V. (GI), 2.-4. April 2008 im Saarbrücker Schloss.</i>, 2008, pp. 127--136.","apa":"Jager, T., Jäkel, H., &#38; Schwenk, J. (2008). Nutzung von selbstsignierten Client-Zertifikaten zur Authentifikation bei SSL/TLS. In <i>Sicherheit 2008: Sicherheit, Schutz und Zuverlässigkeit. Konferenzband der 4. Jahrestagung des Fachbereichs Sicherheit der Gesellschaft für Informatik e.V. (GI), 2.-4. April 2008 im Saarbrücker Schloss.</i> (pp. 127--136).","chicago":"Jager, Tibor, Heiko Jäkel, and Jörg Schwenk. “Nutzung von Selbstsignierten Client-Zertifikaten Zur Authentifikation Bei SSL/TLS.” In <i>Sicherheit 2008: Sicherheit, Schutz Und Zuverlässigkeit. Konferenzband Der 4. Jahrestagung Des Fachbereichs Sicherheit Der Gesellschaft Für Informatik e.V. (GI), 2.-4. April 2008 Im Saarbrücker Schloss.</i>, 127--136, 2008.","short":"T. Jager, H. Jäkel, J. Schwenk, in: Sicherheit 2008: Sicherheit, Schutz Und Zuverlässigkeit. Konferenzband Der 4. Jahrestagung Des Fachbereichs Sicherheit Der Gesellschaft Für Informatik e.V. (GI), 2.-4. April 2008 Im Saarbrücker Schloss., 2008, pp. 127--136.","mla":"Jager, Tibor, et al. “Nutzung von Selbstsignierten Client-Zertifikaten Zur Authentifikation Bei SSL/TLS.” <i>Sicherheit 2008: Sicherheit, Schutz Und Zuverlässigkeit. Konferenzband Der 4. Jahrestagung Des Fachbereichs Sicherheit Der Gesellschaft Für Informatik e.V. (GI), 2.-4. April 2008 Im Saarbrücker Schloss.</i>, 2008, pp. 127--136.","bibtex":"@inproceedings{Jager_Jäkel_Schwenk_2008, title={Nutzung von selbstsignierten Client-Zertifikaten zur Authentifikation bei SSL/TLS}, booktitle={Sicherheit 2008: Sicherheit, Schutz und Zuverlässigkeit. Konferenzband der 4. Jahrestagung des Fachbereichs Sicherheit der Gesellschaft für Informatik e.V. (GI), 2.-4. April 2008 im Saarbrücker Schloss.}, author={Jager, Tibor and Jäkel, Heiko and Schwenk, Jörg}, year={2008}, pages={127--136} }","ama":"Jager T, Jäkel H, Schwenk J. Nutzung von selbstsignierten Client-Zertifikaten zur Authentifikation bei SSL/TLS. In: <i>Sicherheit 2008: Sicherheit, Schutz Und Zuverlässigkeit. Konferenzband Der 4. Jahrestagung Des Fachbereichs Sicherheit Der Gesellschaft Für Informatik e.V. (GI), 2.-4. April 2008 Im Saarbrücker Schloss.</i> ; 2008:127--136."},"publication":"Sicherheit 2008: Sicherheit, Schutz und Zuverlässigkeit. Konferenzband der 4. Jahrestagung des Fachbereichs Sicherheit der Gesellschaft für Informatik e.V. (GI), 2.-4. April 2008 im Saarbrücker Schloss.","department":[{"_id":"558"}],"type":"conference","date_created":"2018-06-07T09:33:24Z"},{"user_id":"5786","language":[{"iso":"eng"}],"_id":"20938","date_updated":"2022-01-06T06:54:41Z","author":[{"first_name":"Matthias","last_name":"Tichy","full_name":"Tichy, Matthias"},{"last_name":"Henkler","first_name":"Stefan","full_name":"Henkler, Stefan"},{"id":"683","first_name":"Matthias","last_name":"Meyer","full_name":"Meyer, Matthias"},{"full_name":"von Detten, Markus","first_name":"Markus","last_name":"von Detten"}],"title":"Safety of Component-Based Systems: Analysis and Improvement using Fujaba4Eclipse","status":"public","year":"2008","department":[{"_id":"76"}],"type":"conference","date_created":"2021-01-13T10:04:58Z","citation":{"chicago":"Tichy, Matthias, Stefan Henkler, Matthias Meyer, and Markus von Detten. “Safety of Component-Based Systems: Analysis and Improvement Using Fujaba4Eclipse.” In <i>Companion Proceedings of the 30th International Conference on Software Engineering (ICSE), Leipzig, Germany</i>, 2008.","short":"M. Tichy, S. Henkler, M. Meyer, M. von Detten, in: Companion Proceedings of the 30th International Conference on Software Engineering (ICSE), Leipzig, Germany, 2008.","apa":"Tichy, M., Henkler, S., Meyer, M., &#38; von Detten, M. (2008). Safety of Component-Based Systems: Analysis and Improvement using Fujaba4Eclipse. <i>Companion Proceedings of the 30th International Conference on Software Engineering (ICSE), Leipzig, Germany</i>.","ieee":"M. Tichy, S. Henkler, M. Meyer, and M. von Detten, “Safety of Component-Based Systems: Analysis and Improvement using Fujaba4Eclipse,” 2008.","ama":"Tichy M, Henkler S, Meyer M, von Detten M. Safety of Component-Based Systems: Analysis and Improvement using Fujaba4Eclipse. In: <i>Companion Proceedings of the 30th International Conference on Software Engineering (ICSE), Leipzig, Germany</i>. ; 2008.","bibtex":"@inproceedings{Tichy_Henkler_Meyer_von Detten_2008, title={Safety of Component-Based Systems: Analysis and Improvement using Fujaba4Eclipse}, booktitle={Companion Proceedings of the 30th International Conference on Software Engineering (ICSE), Leipzig, Germany}, author={Tichy, Matthias and Henkler, Stefan and Meyer, Matthias and von Detten, Markus}, year={2008} }","mla":"Tichy, Matthias, et al. “Safety of Component-Based Systems: Analysis and Improvement Using Fujaba4Eclipse.” <i>Companion Proceedings of the 30th International Conference on Software Engineering (ICSE), Leipzig, Germany</i>, 2008."},"publication":"Companion Proceedings of the 30th International Conference on Software Engineering (ICSE), Leipzig, Germany"},{"department":[{"_id":"76"}],"type":"conference","date_created":"2021-01-13T10:48:57Z","abstract":[{"text":"In this paper, we report on a new approach of aspect-oriented modelling, which is particularly suited for domains with naturally born aspects as part of that domain: MoDowA for Modelling Domains with Aspects. Though these models are on a very high level of abstraction and could be made early in the development process, these models are fully operational in that they can be executed by an interpreter. This way, we shed a light on Aspect-oriented Modelling from a new, different angle.","lang":"eng"}],"citation":{"ieee":"E. Kindler and D. Schmelter, “Aspect-oriented modelling from a different angle,” 2008, doi: <a href=\"https://doi.org/10.1145/1404920.1404922\">10.1145/1404920.1404922</a>.","apa":"Kindler, E., &#38; Schmelter, D. (2008). Aspect-oriented modelling from a different angle. <i>Proceedings of the 2008 AOSD Workshop on Aspect-Oriented Modeling - AOM ’08</i>. <a href=\"https://doi.org/10.1145/1404920.1404922\">https://doi.org/10.1145/1404920.1404922</a>","short":"E. Kindler, D. Schmelter, in: Proceedings of the 2008 AOSD Workshop on Aspect-Oriented Modeling - AOM ’08, 2008.","chicago":"Kindler, Ekkart, and David Schmelter. “Aspect-Oriented Modelling from a Different Angle.” In <i>Proceedings of the 2008 AOSD Workshop on Aspect-Oriented Modeling - AOM ’08</i>, 2008. <a href=\"https://doi.org/10.1145/1404920.1404922\">https://doi.org/10.1145/1404920.1404922</a>.","mla":"Kindler, Ekkart, and David Schmelter. “Aspect-Oriented Modelling from a Different Angle.” <i>Proceedings of the 2008 AOSD Workshop on Aspect-Oriented Modeling - AOM ’08</i>, 2008, doi:<a href=\"https://doi.org/10.1145/1404920.1404922\">10.1145/1404920.1404922</a>.","bibtex":"@inproceedings{Kindler_Schmelter_2008, title={Aspect-oriented modelling from a different angle}, DOI={<a href=\"https://doi.org/10.1145/1404920.1404922\">10.1145/1404920.1404922</a>}, booktitle={Proceedings of the 2008 AOSD workshop on Aspect-oriented modeling - AOM ’08}, author={Kindler, Ekkart and Schmelter, David}, year={2008} }","ama":"Kindler E, Schmelter D. Aspect-oriented modelling from a different angle. In: <i>Proceedings of the 2008 AOSD Workshop on Aspect-Oriented Modeling - AOM ’08</i>. ; 2008. doi:<a href=\"https://doi.org/10.1145/1404920.1404922\">10.1145/1404920.1404922</a>"},"publication":"Proceedings of the 2008 AOSD workshop on Aspect-oriented modeling - AOM '08","user_id":"5786","doi":"10.1145/1404920.1404922","language":[{"iso":"eng"}],"_id":"20957","publication_status":"published","date_updated":"2022-01-06T06:54:42Z","author":[{"full_name":"Kindler, Ekkart","first_name":"Ekkart","last_name":"Kindler"},{"id":"40982","orcid":"0000-0001-7787-5380","last_name":"Schmelter","first_name":"David","full_name":"Schmelter, David"}],"publication_identifier":{"isbn":["9781605581453"]},"status":"public","title":"Aspect-oriented modelling from a different angle","year":"2008"},{"abstract":[{"text":"A current trend in Software Engineering is the development of self-adaptive component-based software architectures. Our modeling approach for component-based software systems Mechatronic UML, integrated in the Fujaba Real-Time Tool Suite plugin for Fujaba4Eclipse, supports self-adaptiveness only to a certain degree. This paper presents tool support for an extension of Mechatronic UML, which facilitates initialization and recon\fguration of a Mechatronic UML system based on Story Diagrams and thus enables a step towards self-adaptiveness on a structural level.","lang":"eng"}],"publication":"Proc. of the 6th International Fujaba Days 2008, Dresden, Germany","citation":{"mla":"Holtmann, Jörg, and Matthias Tichy. “Component Story Diagrams in Fujaba4Eclipse.” <i>Proc. of the 6th International Fujaba Days 2008, Dresden, Germany</i>, 2008, pp. 44–47.","ama":"Holtmann J, Tichy M. Component Story Diagrams in Fujaba4Eclipse. In: <i>Proc. of the 6th International Fujaba Days 2008, Dresden, Germany</i>. ; 2008:44-47.","bibtex":"@inproceedings{Holtmann_Tichy_2008, title={Component Story Diagrams in Fujaba4Eclipse}, booktitle={Proc. of the 6th International Fujaba Days 2008, Dresden, Germany}, author={Holtmann, Jörg and Tichy, Matthias}, year={2008}, pages={44–47} }","apa":"Holtmann, J., &#38; Tichy, M. (2008). Component Story Diagrams in Fujaba4Eclipse. <i>Proc. of the 6th International Fujaba Days 2008, Dresden, Germany</i>, 44–47.","ieee":"J. Holtmann and M. Tichy, “Component Story Diagrams in Fujaba4Eclipse,” in <i>Proc. of the 6th International Fujaba Days 2008, Dresden, Germany</i>, 2008, pp. 44–47.","chicago":"Holtmann, Jörg, and Matthias Tichy. “Component Story Diagrams in Fujaba4Eclipse.” In <i>Proc. of the 6th International Fujaba Days 2008, Dresden, Germany</i>, 44–47, 2008.","short":"J. Holtmann, M. Tichy, in: Proc. of the 6th International Fujaba Days 2008, Dresden, Germany, 2008, pp. 44–47."},"type":"conference","department":[{"_id":"76"}],"date_created":"2021-01-13T10:56:37Z","date_updated":"2022-01-06T06:54:42Z","title":"Component Story Diagrams in Fujaba4Eclipse","year":"2008","status":"public","author":[{"id":"3875","orcid":"0000-0001-6141-4571","first_name":"Jörg","last_name":"Holtmann","full_name":"Holtmann, Jörg"},{"full_name":"Tichy, Matthias","last_name":"Tichy","first_name":"Matthias"}],"user_id":"5786","page":"44-47","_id":"20964","language":[{"iso":"eng"}]},{"date_created":"2021-01-13T10:57:22Z","department":[{"_id":"76"}],"type":"mastersthesis","citation":{"apa":"Holtmann, J. (2008). <i>Graphtransformationen für komponentenbasierte Softwarearchitekturen</i>. Software Engineering Group, University of Paderborn.","ieee":"J. Holtmann, <i>Graphtransformationen für komponentenbasierte Softwarearchitekturen</i>. Software Engineering Group, University of Paderborn, 2008.","short":"J. Holtmann, Graphtransformationen Für Komponentenbasierte Softwarearchitekturen, Software Engineering Group, University of Paderborn, 2008.","chicago":"Holtmann, Jörg. <i>Graphtransformationen Für Komponentenbasierte Softwarearchitekturen</i>. Software Engineering Group, University of Paderborn, 2008.","mla":"Holtmann, Jörg. <i>Graphtransformationen Für Komponentenbasierte Softwarearchitekturen</i>. Software Engineering Group, University of Paderborn, 2008.","ama":"Holtmann J. <i>Graphtransformationen Für Komponentenbasierte Softwarearchitekturen</i>. Software Engineering Group, University of Paderborn; 2008.","bibtex":"@book{Holtmann_2008, title={Graphtransformationen für komponentenbasierte Softwarearchitekturen}, publisher={Software Engineering Group, University of Paderborn}, author={Holtmann, Jörg}, year={2008} }"},"publisher":"Software Engineering Group, University of Paderborn","_id":"20965","language":[{"iso":"eng"}],"user_id":"5786","author":[{"full_name":"Holtmann, Jörg","first_name":"Jörg","last_name":"Holtmann"}],"year":"2008","status":"public","title":"Graphtransformationen für komponentenbasierte Softwarearchitekturen","date_updated":"2022-01-06T06:54:42Z"},{"department":[{"_id":"76"}],"type":"conference","date_created":"2021-01-13T10:58:31Z","abstract":[{"lang":"eng","text":"To cope with the high complexity of software in advanced technical systems, the software of these systems is often built in a component-based fashion. The growing usage of self-adaptive techniques leads to sophisticated reconfigurations of the software component structures during runtime. Current modeling approaches for component-based software systems do not include a transformation language for the specification of component structure reconfigurations. In this paper we therefore introduce an extension of a component-based modeling approach. This extension enables (1) the specification of hierarchical component structures and (2) the specification of structural transformations based on the specified hierarchical component structures. Further, as we consider mechatronic systems, we also show the predictable runtime behavior of the transformations."}],"citation":{"ieee":"M. Tichy, S. Henkler, J. Holtmann, and S. Oberthür, “Component Story Diagrams: A Transformation Language for Component Structures in Mechatronic Systems,” in <i>Proceedings of the 4th Workshop on Object-oriented Modeling of Embedded Real-Time Systems (OMER 4), Paderborn, Germany</i>, 2008, vol. 236, pp. 27–38.","apa":"Tichy, M., Henkler, S., Holtmann, J., &#38; Oberthür, S. (2008). Component Story Diagrams: A Transformation Language for Component Structures in Mechatronic Systems. <i>Proceedings of the 4th Workshop on Object-Oriented Modeling of Embedded Real-Time Systems (OMER 4), Paderborn, Germany</i>, <i>236</i>, 27–38.","chicago":"Tichy, Matthias, Stefan Henkler, Jörg Holtmann, and Simon Oberthür. “Component Story Diagrams: A Transformation Language for Component Structures in Mechatronic Systems.” In <i>Proceedings of the 4th Workshop on Object-Oriented Modeling of Embedded Real-Time Systems (OMER 4), Paderborn, Germany</i>, 236:27–38. Verlagsschriftenreihe Des Heinz Nixdorf Instituts, Paderborn. Heinz Nixdorf Institut, 2008.","short":"M. Tichy, S. Henkler, J. Holtmann, S. Oberthür, in: Proceedings of the 4th Workshop on Object-Oriented Modeling of Embedded Real-Time Systems (OMER 4), Paderborn, Germany, Heinz Nixdorf Institut, 2008, pp. 27–38.","mla":"Tichy, Matthias, et al. “Component Story Diagrams: A Transformation Language for Component Structures in Mechatronic Systems.” <i>Proceedings of the 4th Workshop on Object-Oriented Modeling of Embedded Real-Time Systems (OMER 4), Paderborn, Germany</i>, vol. 236, Heinz Nixdorf Institut, 2008, pp. 27–38.","bibtex":"@inproceedings{Tichy_Henkler_Holtmann_Oberthür_2008, series={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, title={Component Story Diagrams: A Transformation Language for Component Structures in Mechatronic Systems}, volume={236}, booktitle={Proceedings of the 4th Workshop on Object-oriented Modeling of Embedded Real-Time Systems (OMER 4), Paderborn, Germany}, publisher={Heinz Nixdorf Institut}, author={Tichy, Matthias and Henkler, Stefan and Holtmann, Jörg and Oberthür, Simon}, year={2008}, pages={27–38}, collection={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn} }","ama":"Tichy M, Henkler S, Holtmann J, Oberthür S. Component Story Diagrams: A Transformation Language for Component Structures in Mechatronic Systems. In: <i>Proceedings of the 4th Workshop on Object-Oriented Modeling of Embedded Real-Time Systems (OMER 4), Paderborn, Germany</i>. Vol 236. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn. Heinz Nixdorf Institut; 2008:27-38."},"publication":"Proceedings of the 4th Workshop on Object-oriented Modeling of Embedded Real-Time Systems (OMER 4), Paderborn, Germany","volume":236,"user_id":"5786","publisher":"Heinz Nixdorf Institut","_id":"20966","series_title":"Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn","language":[{"iso":"eng"}],"page":"27-38","intvolume":"       236","date_updated":"2022-01-06T06:54:42Z","author":[{"first_name":"Matthias","last_name":"Tichy","full_name":"Tichy, Matthias"},{"full_name":"Henkler, Stefan","last_name":"Henkler","first_name":"Stefan"},{"first_name":"Jörg","last_name":"Holtmann","orcid":"0000-0001-6141-4571","full_name":"Holtmann, Jörg","id":"3875"},{"full_name":"Oberthür, Simon","first_name":"Simon","last_name":"Oberthür"}],"status":"public","title":"Component Story Diagrams: A Transformation Language for Component Structures in Mechatronic Systems","year":"2008"},{"citation":{"chicago":"Holtmann, Jörg. <i>Graphtransformationen Für Komponentenbasierte Softwarearchitekturen</i>. Software Engineering Group, University of Paderborn, 2008.","short":"J. Holtmann, Graphtransformationen Für Komponentenbasierte Softwarearchitekturen, Software Engineering Group, University of Paderborn, 2008.","ama":"Holtmann J. <i>Graphtransformationen Für Komponentenbasierte Softwarearchitekturen</i>. Software Engineering Group, University of Paderborn; 2008.","bibtex":"@book{Holtmann_2008, title={Graphtransformationen für komponentenbasierte Softwarearchitekturen}, publisher={Software Engineering Group, University of Paderborn}, author={Holtmann, Jörg}, year={2008} }","mla":"Holtmann, Jörg. <i>Graphtransformationen Für Komponentenbasierte Softwarearchitekturen</i>. Software Engineering Group, University of Paderborn, 2008.","apa":"Holtmann, J. (2008). <i>Graphtransformationen für komponentenbasierte Softwarearchitekturen</i>. Software Engineering Group, University of Paderborn.","ieee":"J. Holtmann, <i>Graphtransformationen für komponentenbasierte Softwarearchitekturen</i>. Software Engineering Group, University of Paderborn, 2008."},"type":"mastersthesis","department":[{"_id":"76"}],"date_created":"2021-01-13T11:33:19Z","date_updated":"2022-01-06T06:54:42Z","year":"2008","title":"Graphtransformationen für komponentenbasierte Softwarearchitekturen","status":"public","author":[{"full_name":"Holtmann, Jörg","first_name":"Jörg","last_name":"Holtmann","orcid":"0000-0001-6141-4571","id":"3875"}],"user_id":"5786","publisher":"Software Engineering Group, University of Paderborn","_id":"20968","language":[{"iso":"eng"}]},{"citation":{"chicago":"Suess, Tim, Daniel Huber, Matthias Fischer, Christoph Laroque, and Wilhelm Dangelmaier. “A System for Aggregated Visualization of Multiple Parallel Discrete Event Simulations.” In <i>IEEE International Symposium on Parallel and Distributed Processing with Applications</i>, 2008. <a href=\"https://doi.org/10.1109/ispa.2008.30\">https://doi.org/10.1109/ispa.2008.30</a>.","short":"T. Suess, D. Huber, M. Fischer, C. Laroque, W. Dangelmaier, in: IEEE International Symposium on Parallel and Distributed Processing with Applications, 2008.","apa":"Suess, T., Huber, D., Fischer, M., Laroque, C., &#38; Dangelmaier, W. (2008). A System for Aggregated Visualization of Multiple Parallel Discrete Event Simulations. <i>IEEE International Symposium on Parallel and Distributed Processing with Applications</i>. <a href=\"https://doi.org/10.1109/ispa.2008.30\">https://doi.org/10.1109/ispa.2008.30</a>","ieee":"T. Suess, D. Huber, M. Fischer, C. Laroque, and W. Dangelmaier, “A System for Aggregated Visualization of Multiple Parallel Discrete Event Simulations,” 2008, doi: <a href=\"https://doi.org/10.1109/ispa.2008.30\">10.1109/ispa.2008.30</a>.","ama":"Suess T, Huber D, Fischer M, Laroque C, Dangelmaier W. A System for Aggregated Visualization of Multiple Parallel Discrete Event Simulations. In: <i>IEEE International Symposium on Parallel and Distributed Processing with Applications</i>. ; 2008. doi:<a href=\"https://doi.org/10.1109/ispa.2008.30\">10.1109/ispa.2008.30</a>","bibtex":"@inproceedings{Suess_Huber_Fischer_Laroque_Dangelmaier_2008, title={A System for Aggregated Visualization of Multiple Parallel Discrete Event Simulations}, DOI={<a href=\"https://doi.org/10.1109/ispa.2008.30\">10.1109/ispa.2008.30</a>}, booktitle={IEEE International Symposium on Parallel and Distributed Processing with Applications}, author={Suess, Tim and Huber, Daniel and Fischer, Matthias and Laroque, Christoph and Dangelmaier, Wilhelm}, year={2008} }","mla":"Suess, Tim, et al. “A System for Aggregated Visualization of Multiple Parallel Discrete Event Simulations.” <i>IEEE International Symposium on Parallel and Distributed Processing with Applications</i>, 2008, doi:<a href=\"https://doi.org/10.1109/ispa.2008.30\">10.1109/ispa.2008.30</a>."},"publication":"IEEE International Symposium on Parallel and Distributed Processing with Applications","abstract":[{"text":"In this paper we present a system for the simultaneous visualization of several parallel executed simulation replications. By aggregating the scenes of multiple similar simulations into one single scene it is possible to make a visual statistical analysis of a set of discrete event simulations as well as to easily compare different system parameterizations. The aim of our system is to enhance the model analysis, verification and validation process in terms of speed and ease. The parallel execution of several simulations of complex models and the visualization of these cannot be done on one computer, thus a parallel approach is necessary. Our system uses a thin-client and multiple processors on a PC-cluster. The rendering and the simulation execution are done on processors of the cluster. The client is used only for the visualization of the images transmitted by the cluster and for user interaction.\r\n","lang":"eng"}],"date_created":"2020-07-27T12:56:15Z","department":[{"_id":"63"}],"type":"conference","author":[{"first_name":"Tim","last_name":"Suess","full_name":"Suess, Tim"},{"full_name":"Huber, Daniel","first_name":"Daniel","last_name":"Huber"},{"last_name":"Fischer","first_name":"Matthias","full_name":"Fischer, Matthias","id":"146"},{"first_name":"Christoph","last_name":"Laroque","full_name":"Laroque, Christoph"},{"full_name":"Dangelmaier, Wilhelm","last_name":"Dangelmaier","first_name":"Wilhelm"}],"publication_identifier":{"isbn":["9780769534718"]},"title":"A System for Aggregated Visualization of Multiple Parallel Discrete Event Simulations","status":"public","year":"2008","date_updated":"2022-01-06T06:53:11Z","publication_status":"published","_id":"17416","language":[{"iso":"eng"}],"doi":"10.1109/ispa.2008.30","user_id":"15415"}]