[{"title":"Android App Analysis Benchmark Case Generation","date_created":"2021-06-09T06:04:12Z","author":[{"full_name":"Schott, Stefan","id":"54847","last_name":"Schott","first_name":"Stefan"}],"supervisor":[{"first_name":"Heike","last_name":"Wehrheim","full_name":"Wehrheim, Heike","id":"573"}],"date_updated":"2022-01-06T06:55:31Z","oa":"1","citation":{"ama":"Schott S. <i>Android App Analysis Benchmark Case Generation</i>. Paderborn; 2021.","chicago":"Schott, Stefan. <i>Android App Analysis Benchmark Case Generation</i>. Paderborn, 2021.","ieee":"S. Schott, <i>Android App Analysis Benchmark Case Generation</i>. Paderborn, 2021.","apa":"Schott, S. (2021). <i>Android App Analysis Benchmark Case Generation</i>. Paderborn.","mla":"Schott, Stefan. <i>Android App Analysis Benchmark Case Generation</i>. 2021.","short":"S. Schott, Android App Analysis Benchmark Case Generation, Paderborn, 2021.","bibtex":"@book{Schott_2021, place={Paderborn}, title={Android App Analysis Benchmark Case Generation}, author={Schott, Stefan}, year={2021} }"},"year":"2021","place":"Paderborn","has_accepted_license":"1","extern":"1","file_date_updated":"2021-06-09T06:01:45Z","language":[{"iso":"eng"}],"ddc":["000"],"department":[{"_id":"77"}],"user_id":"477","_id":"22304","project":[{"name":"SFB 901","_id":"1"},{"_id":"12","name":"SFB 901 - Subproject B4"},{"_id":"3","name":"SFB 901 - Project Area B"}],"status":"public","file":[{"content_type":"application/pdf","relation":"main_file","date_created":"2021-06-09T06:01:45Z","creator":"fpauck","date_updated":"2021-06-09T06:01:45Z","access_level":"open_access","file_id":"22305","file_name":"Masters_Thesis_Stefan_Schott_unsigned.pdf","file_size":1918444}],"type":"mastersthesis"},{"publication":"2021 IEEE 21st International Working Conference on Source Code Analysis and Manipulation (SCAM)","type":"conference","status":"public","_id":"28199","project":[{"_id":"12","name":"SFB 901 - Subproject B4"},{"name":"SFB 901: SFB 901","_id":"1"},{"_id":"3","name":"SFB 901 - B: SFB 901 - Project Area B"}],"department":[{"_id":"77"}],"user_id":"477","language":[{"iso":"eng"}],"publication_status":"published","year":"2021","citation":{"ama":"Pauck F, Wehrheim H. Jicer: Simplifying Cooperative Android App Analysis Tasks. In: <i>2021 IEEE 21st International Working Conference on Source Code Analysis and Manipulation (SCAM)</i>. ; 2021. doi:<a href=\"https://doi.org/10.1109/scam52516.2021.00031\">10.1109/scam52516.2021.00031</a>","ieee":"F. Pauck and H. Wehrheim, “Jicer: Simplifying Cooperative Android App Analysis Tasks,” 2021, doi: <a href=\"https://doi.org/10.1109/scam52516.2021.00031\">10.1109/scam52516.2021.00031</a>.","chicago":"Pauck, Felix, and Heike Wehrheim. “Jicer: Simplifying Cooperative Android App Analysis Tasks.” In <i>2021 IEEE 21st International Working Conference on Source Code Analysis and Manipulation (SCAM)</i>, 2021. <a href=\"https://doi.org/10.1109/scam52516.2021.00031\">https://doi.org/10.1109/scam52516.2021.00031</a>.","apa":"Pauck, F., &#38; Wehrheim, H. (2021). Jicer: Simplifying Cooperative Android App Analysis Tasks. <i>2021 IEEE 21st International Working Conference on Source Code Analysis and Manipulation (SCAM)</i>. <a href=\"https://doi.org/10.1109/scam52516.2021.00031\">https://doi.org/10.1109/scam52516.2021.00031</a>","mla":"Pauck, Felix, and Heike Wehrheim. “Jicer: Simplifying Cooperative Android App Analysis Tasks.” <i>2021 IEEE 21st International Working Conference on Source Code Analysis and Manipulation (SCAM)</i>, 2021, doi:<a href=\"https://doi.org/10.1109/scam52516.2021.00031\">10.1109/scam52516.2021.00031</a>.","short":"F. Pauck, H. Wehrheim, in: 2021 IEEE 21st International Working Conference on Source Code Analysis and Manipulation (SCAM), 2021.","bibtex":"@inproceedings{Pauck_Wehrheim_2021, title={Jicer: Simplifying Cooperative Android App Analysis Tasks}, DOI={<a href=\"https://doi.org/10.1109/scam52516.2021.00031\">10.1109/scam52516.2021.00031</a>}, booktitle={2021 IEEE 21st International Working Conference on Source Code Analysis and Manipulation (SCAM)}, author={Pauck, Felix and Wehrheim, Heike}, year={2021} }"},"date_updated":"2022-11-17T14:26:19Z","author":[{"first_name":"Felix","id":"22398","full_name":"Pauck, Felix","last_name":"Pauck"},{"last_name":"Wehrheim","full_name":"Wehrheim, Heike","id":"573","first_name":"Heike"}],"date_created":"2021-12-01T08:53:29Z","title":"Jicer: Simplifying Cooperative Android App Analysis Tasks","doi":"10.1109/scam52516.2021.00031"},{"type":"conference","publication":"Software Engineering 2021","editor":[{"full_name":"Koziolek, Anne","last_name":"Koziolek","first_name":"Anne"},{"last_name":"Schaefer","full_name":"Schaefer, Ina","first_name":"Ina"},{"first_name":"Christoph","last_name":"Seidl","full_name":"Seidl, Christoph"}],"status":"public","project":[{"_id":"1","name":"SFB 901"},{"name":"SFB 901 - Project Area B","_id":"3"},{"_id":"12","name":"SFB 901 - Subproject B4"}],"_id":"21238","user_id":"22398","department":[{"_id":"77"}],"language":[{"iso":"eng"}],"publication_status":"published","place":"Bonn","year":"2021","citation":{"ama":"Pauck F, Wehrheim H. Cooperative Android App Analysis with CoDiDroid. In: Koziolek A, Schaefer I, Seidl C, eds. <i>Software Engineering 2021</i>. Gesellschaft für Informatik e.V.; 2021:83-84. doi:<a href=\"https://doi.org/10.18420/SE2021_30 \">10.18420/SE2021_30 </a>","chicago":"Pauck, Felix, and Heike Wehrheim. “Cooperative Android App Analysis with CoDiDroid.” In <i>Software Engineering 2021</i>, edited by Anne Koziolek, Ina Schaefer, and Christoph Seidl, 83–84. Bonn: Gesellschaft für Informatik e.V., 2021. <a href=\"https://doi.org/10.18420/SE2021_30 \">https://doi.org/10.18420/SE2021_30 </a>.","ieee":"F. Pauck and H. Wehrheim, “Cooperative Android App Analysis with CoDiDroid,” in <i>Software Engineering 2021</i>, 2021, pp. 83–84, doi: <a href=\"https://doi.org/10.18420/SE2021_30 \">10.18420/SE2021_30 </a>.","bibtex":"@inproceedings{Pauck_Wehrheim_2021, place={Bonn}, title={Cooperative Android App Analysis with CoDiDroid}, DOI={<a href=\"https://doi.org/10.18420/SE2021_30 \">10.18420/SE2021_30 </a>}, booktitle={Software Engineering 2021}, publisher={Gesellschaft für Informatik e.V.}, author={Pauck, Felix and Wehrheim, Heike}, editor={Koziolek, Anne and Schaefer, Ina and Seidl, Christoph}, year={2021}, pages={83–84} }","short":"F. Pauck, H. Wehrheim, in: A. Koziolek, I. Schaefer, C. Seidl (Eds.), Software Engineering 2021, Gesellschaft für Informatik e.V., Bonn, 2021, pp. 83–84.","mla":"Pauck, Felix, and Heike Wehrheim. “Cooperative Android App Analysis with CoDiDroid.” <i>Software Engineering 2021</i>, edited by Anne Koziolek et al., Gesellschaft für Informatik e.V., 2021, pp. 83–84, doi:<a href=\"https://doi.org/10.18420/SE2021_30 \">10.18420/SE2021_30 </a>.","apa":"Pauck, F., &#38; Wehrheim, H. (2021). Cooperative Android App Analysis with CoDiDroid. In A. Koziolek, I. Schaefer, &#38; C. Seidl (Eds.), <i>Software Engineering 2021</i> (pp. 83–84). Gesellschaft für Informatik e.V. <a href=\"https://doi.org/10.18420/SE2021_30 \">https://doi.org/10.18420/SE2021_30 </a>"},"page":" 83-84 ","publisher":"Gesellschaft für Informatik e.V.","date_updated":"2023-01-18T08:35:20Z","author":[{"first_name":"Felix","full_name":"Pauck, Felix","id":"22398","last_name":"Pauck"},{"first_name":"Heike","id":"573","full_name":"Wehrheim, Heike","last_name":"Wehrheim"}],"date_created":"2021-02-16T09:28:49Z","title":"Cooperative Android App Analysis with CoDiDroid","doi":"10.18420/SE2021_30 "},{"language":[{"iso":"eng"}],"_id":"19656","project":[{"name":"SFB 901","_id":"1"},{"_id":"11","name":"SFB 901 - Subproject B3"},{"name":"SFB 901 - Project Area B","_id":"3"}],"department":[{"_id":"7"},{"_id":"77"}],"series_title":"LNCS","user_id":"477","status":"public","publication":"Proceedings of the 32th IFIP International Conference on Testing Software and Systems (ICTSS)","type":"conference","title":"Automatic Fairness Testing of Machine Learning Models","publisher":"Springer","date_updated":"2022-01-06T06:54:09Z","date_created":"2020-09-24T12:53:02Z","author":[{"id":"67200","full_name":"Sharma, Arnab","last_name":"Sharma","first_name":"Arnab"},{"first_name":"Heike","last_name":"Wehrheim","full_name":"Wehrheim, Heike","id":"573"}],"year":"2020","citation":{"apa":"Sharma, A., &#38; Wehrheim, H. (n.d.). Automatic Fairness Testing of Machine Learning Models. In <i>Proceedings of the 32th IFIP International Conference on Testing Software and Systems (ICTSS)</i>. Springer.","mla":"Sharma, Arnab, and Heike Wehrheim. “Automatic Fairness Testing of Machine Learning Models.” <i>Proceedings of the 32th IFIP International Conference on Testing Software and Systems (ICTSS)</i>, Springer.","bibtex":"@inproceedings{Sharma_Wehrheim, series={LNCS}, title={Automatic Fairness Testing of Machine Learning Models}, booktitle={Proceedings of the 32th IFIP International Conference on Testing Software and Systems (ICTSS)}, publisher={Springer}, author={Sharma, Arnab and Wehrheim, Heike}, collection={LNCS} }","short":"A. Sharma, H. Wehrheim, in: Proceedings of the 32th IFIP International Conference on Testing Software and Systems (ICTSS), Springer, n.d.","chicago":"Sharma, Arnab, and Heike Wehrheim. “Automatic Fairness Testing of Machine Learning Models.” In <i>Proceedings of the 32th IFIP International Conference on Testing Software and Systems (ICTSS)</i>. LNCS. Springer, n.d.","ieee":"A. Sharma and H. Wehrheim, “Automatic Fairness Testing of Machine Learning Models,” in <i>Proceedings of the 32th IFIP International Conference on Testing Software and Systems (ICTSS)</i>.","ama":"Sharma A, Wehrheim H. Automatic Fairness Testing of Machine Learning Models. In: <i>Proceedings of the 32th IFIP International Conference on Testing Software and Systems (ICTSS)</i>. LNCS. Springer."},"publication_status":"accepted"},{"language":[{"iso":"eng"}],"project":[{"name":"SFB 901","_id":"1"},{"_id":"3","name":"SFB 901 - Project Area B"},{"_id":"11","name":"SFB 901 - Subproject B3"}],"_id":"19999","user_id":"477","department":[{"_id":"7"},{"_id":"77"}],"status":"public","type":"bachelorsthesis","title":"Optimierung von JMCTest beim Testen von Inter Method Contracts","date_updated":"2022-01-06T06:54:18Z","publisher":"Universität Paderborn","supervisor":[{"last_name":"Wehrheim","full_name":"Wehrheim, Heike","id":"573","first_name":"Heike"}],"author":[{"first_name":"Stefan","full_name":"Mayer, Stefan","last_name":"Mayer"}],"date_created":"2020-10-15T05:15:46Z","year":"2020","citation":{"bibtex":"@book{Mayer_2020, title={Optimierung von JMCTest beim Testen von Inter Method Contracts}, publisher={Universität Paderborn}, author={Mayer, Stefan}, year={2020} }","mla":"Mayer, Stefan. <i>Optimierung von JMCTest Beim Testen von Inter Method Contracts</i>. Universität Paderborn, 2020.","short":"S. Mayer, Optimierung von JMCTest Beim Testen von Inter Method Contracts, Universität Paderborn, 2020.","apa":"Mayer, S. (2020). <i>Optimierung von JMCTest beim Testen von Inter Method Contracts</i>. Universität Paderborn.","ama":"Mayer S. <i>Optimierung von JMCTest Beim Testen von Inter Method Contracts</i>. Universität Paderborn; 2020.","chicago":"Mayer, Stefan. <i>Optimierung von JMCTest Beim Testen von Inter Method Contracts</i>. Universität Paderborn, 2020.","ieee":"S. Mayer, <i>Optimierung von JMCTest beim Testen von Inter Method Contracts</i>. Universität Paderborn, 2020."}},{"title":"Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory","doi":"10.1007/978-3-030-50086-3\\_3","date_updated":"2022-01-06T06:54:25Z","publisher":"Springer","volume":12136,"date_created":"2020-11-04T08:27:09Z","author":[{"full_name":"Bila, Eleni","last_name":"Bila","first_name":"Eleni"},{"first_name":"Simon","full_name":"Doherty, Simon","last_name":"Doherty"},{"last_name":"Dongol","full_name":"Dongol, Brijesh","first_name":"Brijesh"},{"full_name":"Derrick, John","last_name":"Derrick","first_name":"John"},{"first_name":"Gerhard","full_name":"Schellhorn, Gerhard","last_name":"Schellhorn"},{"first_name":"Heike","full_name":"Wehrheim, Heike","id":"573","last_name":"Wehrheim"}],"year":"2020","page":"39-58","intvolume":"     12136","citation":{"apa":"Bila, E., Doherty, S., Dongol, B., Derrick, J., Schellhorn, G., &#38; Wehrheim, H. (2020). Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory. In A. Gotsman &#38; A. Sokolova (Eds.), <i>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</i> (Vol. 12136, pp. 39–58). Springer. <a href=\"https://doi.org/10.1007/978-3-030-50086-3\\_3\">https://doi.org/10.1007/978-3-030-50086-3\\_3</a>","short":"E. Bila, S. Doherty, B. Dongol, J. Derrick, G. Schellhorn, H. Wehrheim, in: A. Gotsman, A. Sokolova (Eds.), 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, Springer, 2020, pp. 39–58.","mla":"Bila, Eleni, et al. “Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory.” <i>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</i>, edited by Alexey Gotsman and Ana Sokolova, vol. 12136, Springer, 2020, pp. 39–58, doi:<a href=\"https://doi.org/10.1007/978-3-030-50086-3\\_3\">10.1007/978-3-030-50086-3\\_3</a>.","bibtex":"@inproceedings{Bila_Doherty_Dongol_Derrick_Schellhorn_Wehrheim_2020, series={Lecture Notes in Computer Science}, title={Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory}, volume={12136}, DOI={<a href=\"https://doi.org/10.1007/978-3-030-50086-3\\_3\">10.1007/978-3-030-50086-3\\_3</a>}, 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}, publisher={Springer}, author={Bila, Eleni and Doherty, Simon and Dongol, Brijesh and Derrick, John and Schellhorn, Gerhard and Wehrheim, Heike}, editor={Gotsman, Alexey and Sokolova, AnaEditors}, year={2020}, pages={39–58}, collection={Lecture Notes in Computer Science} }","chicago":"Bila, Eleni, Simon Doherty, Brijesh Dongol, John Derrick, Gerhard Schellhorn, and Heike Wehrheim. “Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory.” In <i>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</i>, edited by Alexey Gotsman and Ana Sokolova, 12136:39–58. Lecture Notes in Computer Science. Springer, 2020. <a href=\"https://doi.org/10.1007/978-3-030-50086-3\\_3\">https://doi.org/10.1007/978-3-030-50086-3\\_3</a>.","ieee":"E. Bila, S. Doherty, B. Dongol, J. Derrick, G. Schellhorn, and H. Wehrheim, “Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory,” in <i>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</i>, 2020, vol. 12136, pp. 39–58.","ama":"Bila E, Doherty S, Dongol B, Derrick J, Schellhorn G, Wehrheim H. Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory. In: Gotsman A, Sokolova A, eds. <i>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</i>. Vol 12136. Lecture Notes in Computer Science. Springer; 2020:39-58. doi:<a href=\"https://doi.org/10.1007/978-3-030-50086-3\\_3\">10.1007/978-3-030-50086-3\\_3</a>"},"language":[{"iso":"eng"}],"_id":"20274","project":[{"_id":"78","name":"Validation of Software Transactional Memory"}],"department":[{"_id":"77"}],"user_id":"29719","series_title":"Lecture Notes in Computer Science","editor":[{"first_name":"Alexey","full_name":"Gotsman, Alexey","last_name":"Gotsman"},{"full_name":"Sokolova, Ana","last_name":"Sokolova","first_name":"Ana"}],"status":"public","publication":"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","type":"conference"},{"date_created":"2020-11-04T08:31:37Z","author":[{"last_name":"Beringer","full_name":"Beringer, Steffen","first_name":"Steffen"},{"id":"573","full_name":"Wehrheim, Heike","last_name":"Wehrheim","first_name":"Heike"}],"publisher":"ScitePress","date_updated":"2022-01-06T06:54:25Z","doi":"10.5220/0009766600150026","title":"Consistency Analysis of AUTOSAR Timing Requirements","page":"15-26","citation":{"apa":"Beringer, S., &#38; Wehrheim, H. (2020). Consistency Analysis of AUTOSAR Timing Requirements. In M. van Sinderen, H.-}Georg Fill, &#38; L. A. Maciaszek (Eds.), <i>Proceedings of the 15th International Conference on Software Technologies, {ICSOFT} 2020, Lieusaint, Paris, France, July 7-9, 2020</i> (pp. 15–26). ScitePress. <a href=\"https://doi.org/10.5220/0009766600150026\">https://doi.org/10.5220/0009766600150026</a>","bibtex":"@inproceedings{Beringer_Wehrheim_2020, title={Consistency Analysis of AUTOSAR Timing Requirements}, DOI={<a href=\"https://doi.org/10.5220/0009766600150026\">10.5220/0009766600150026</a>}, booktitle={Proceedings of the 15th International Conference on Software Technologies, {ICSOFT} 2020, Lieusaint, Paris, France, July 7-9, 2020}, publisher={ScitePress}, author={Beringer, Steffen and Wehrheim, Heike}, editor={van Sinderen, Marten and Fill, Hans{-}Georg and A. Maciaszek, LeszekEditors}, year={2020}, pages={15–26} }","short":"S. Beringer, H. Wehrheim, in: M. van Sinderen, H.-}Georg Fill, L. A. Maciaszek (Eds.), Proceedings of the 15th International Conference on Software Technologies, {ICSOFT} 2020, Lieusaint, Paris, France, July 7-9, 2020, ScitePress, 2020, pp. 15–26.","mla":"Beringer, Steffen, and Heike Wehrheim. “Consistency Analysis of AUTOSAR Timing Requirements.” <i>Proceedings of the 15th International Conference on Software Technologies, {ICSOFT} 2020, Lieusaint, Paris, France, July 7-9, 2020</i>, edited by Marten van Sinderen et al., ScitePress, 2020, pp. 15–26, doi:<a href=\"https://doi.org/10.5220/0009766600150026\">10.5220/0009766600150026</a>.","ieee":"S. Beringer and H. Wehrheim, “Consistency Analysis of AUTOSAR Timing Requirements,” in <i>Proceedings of the 15th International Conference on Software Technologies, {ICSOFT} 2020, Lieusaint, Paris, France, July 7-9, 2020</i>, 2020, pp. 15–26.","chicago":"Beringer, Steffen, and Heike Wehrheim. “Consistency Analysis of AUTOSAR Timing Requirements.” In <i>Proceedings of the 15th International Conference on Software Technologies, {ICSOFT} 2020, Lieusaint, Paris, France, July 7-9, 2020</i>, edited by Marten van Sinderen, Hans{-}Georg Fill, and Leszek A. Maciaszek, 15–26. ScitePress, 2020. <a href=\"https://doi.org/10.5220/0009766600150026\">https://doi.org/10.5220/0009766600150026</a>.","ama":"Beringer S, Wehrheim H. Consistency Analysis of AUTOSAR Timing Requirements. In: van Sinderen M, Fill H-}Georg, A. Maciaszek L, eds. <i>Proceedings of the 15th International Conference on Software Technologies, {ICSOFT} 2020, Lieusaint, Paris, France, July 7-9, 2020</i>. ScitePress; 2020:15-26. doi:<a href=\"https://doi.org/10.5220/0009766600150026\">10.5220/0009766600150026</a>"},"year":"2020","department":[{"_id":"77"}],"user_id":"29719","_id":"20275","language":[{"iso":"eng"}],"publication":"Proceedings of the 15th International Conference on Software Technologies, {ICSOFT} 2020, Lieusaint, Paris, France, July 7-9, 2020","type":"conference","status":"public","editor":[{"full_name":"van Sinderen, Marten","last_name":"van Sinderen","first_name":"Marten"},{"first_name":"Hans{-}Georg","full_name":"Fill, Hans{-}Georg","last_name":"Fill"},{"last_name":"A. Maciaszek","full_name":"A. Maciaszek, Leszek","first_name":"Leszek"}]},{"page":"143-167","intvolume":"     12476","citation":{"ama":"Beyer D, Wehrheim H. Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework. In: Margaria T, Steffen B, eds. <i>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}</i>. Vol 12476. Lecture Notes in Computer Science. Springer; 2020:143-167. doi:<a href=\"https://doi.org/10.1007/978-3-030-61362-4\\_8\">10.1007/978-3-030-61362-4\\_8</a>","ieee":"D. Beyer and H. Wehrheim, “Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework,” in <i>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}</i>, 2020, vol. 12476, pp. 143–167.","chicago":"Beyer, Dirk, and Heike Wehrheim. “Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework.” In <i>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}</i>, edited by Tiziana Margaria and Bernhard Steffen, 12476:143–67. Lecture Notes in Computer Science. Springer, 2020. <a href=\"https://doi.org/10.1007/978-3-030-61362-4\\_8\">https://doi.org/10.1007/978-3-030-61362-4\\_8</a>.","apa":"Beyer, D., &#38; Wehrheim, H. (2020). Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework. In T. Margaria &#38; B. Steffen (Eds.), <i>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}</i> (Vol. 12476, pp. 143–167). Springer. <a href=\"https://doi.org/10.1007/978-3-030-61362-4\\_8\">https://doi.org/10.1007/978-3-030-61362-4\\_8</a>","bibtex":"@inproceedings{Beyer_Wehrheim_2020, series={Lecture Notes in Computer Science}, title={Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework}, volume={12476}, DOI={<a href=\"https://doi.org/10.1007/978-3-030-61362-4\\_8\">10.1007/978-3-030-61362-4\\_8</a>}, 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}}, publisher={Springer}, author={Beyer, Dirk and Wehrheim, Heike}, editor={Margaria, Tiziana and Steffen, BernhardEditors}, year={2020}, pages={143–167}, collection={Lecture Notes in Computer Science} }","short":"D. Beyer, H. Wehrheim, in: T. Margaria, B. Steffen (Eds.), 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}, Springer, 2020, pp. 143–167.","mla":"Beyer, Dirk, and Heike Wehrheim. “Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework.” <i>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}</i>, edited by Tiziana Margaria and Bernhard Steffen, vol. 12476, Springer, 2020, pp. 143–67, doi:<a href=\"https://doi.org/10.1007/978-3-030-61362-4\\_8\">10.1007/978-3-030-61362-4\\_8</a>."},"year":"2020","volume":12476,"date_created":"2020-11-04T08:36:22Z","author":[{"first_name":"Dirk","full_name":"Beyer, Dirk","last_name":"Beyer"},{"first_name":"Heike","last_name":"Wehrheim","full_name":"Wehrheim, Heike","id":"573"}],"publisher":"Springer","date_updated":"2022-01-06T06:54:25Z","doi":"10.1007/978-3-030-61362-4\\_8","title":"Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework","publication":"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}","type":"conference","status":"public","editor":[{"last_name":"Margaria","full_name":"Margaria, Tiziana","first_name":"Tiziana"},{"first_name":"Bernhard","last_name":"Steffen","full_name":"Steffen, Bernhard"}],"department":[{"_id":"77"}],"series_title":"Lecture Notes in Computer Science","user_id":"29719","_id":"20276","project":[{"_id":"85","name":"Kooperative Softwareverifikation"}],"language":[{"iso":"eng"}]},{"intvolume":"     12076","citation":{"apa":"Wehrheim, H., &#38; Cabot, J. (Eds.). (2020). <i>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</i> (Vol. 12076). Springer. <a href=\"https://doi.org/10.1007/978-3-030-45234-6\">https://doi.org/10.1007/978-3-030-45234-6</a>","short":"H. Wehrheim, J. Cabot, eds., 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, Springer, 2020.","bibtex":"@book{Wehrheim_Cabot_2020, series={Lecture Notes in Computer Science}, 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}, volume={12076}, DOI={<a href=\"https://doi.org/10.1007/978-3-030-45234-6\">10.1007/978-3-030-45234-6</a>}, publisher={Springer}, year={2020}, collection={Lecture Notes in Computer Science} }","mla":"Wehrheim, Heike, and Jordi Cabot, editors. <i>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</i>. Vol. 12076, Springer, 2020, doi:<a href=\"https://doi.org/10.1007/978-3-030-45234-6\">10.1007/978-3-030-45234-6</a>.","ama":"Wehrheim H, Cabot J, eds. <i>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</i>. Vol 12076. Springer; 2020. doi:<a href=\"https://doi.org/10.1007/978-3-030-45234-6\">10.1007/978-3-030-45234-6</a>","ieee":"H. Wehrheim and J. Cabot, Eds., <i>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</i>, vol. 12076. Springer, 2020.","chicago":"Wehrheim, Heike, and Jordi Cabot, eds. <i>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</i>. Vol. 12076. Lecture Notes in Computer Science. Springer, 2020. <a href=\"https://doi.org/10.1007/978-3-030-45234-6\">https://doi.org/10.1007/978-3-030-45234-6</a>."},"year":"2020","publication_identifier":{"isbn":["978-3-030-45233-9"]},"doi":"10.1007/978-3-030-45234-6","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","volume":12076,"date_created":"2020-11-04T08:42:19Z","publisher":"Springer","date_updated":"2022-01-06T06:54:25Z","status":"public","editor":[{"first_name":"Heike","last_name":"Wehrheim","full_name":"Wehrheim, Heike","id":"573"},{"last_name":"Cabot","full_name":"Cabot, Jordi","first_name":"Jordi"}],"type":"conference_editor","language":[{"iso":"eng"}],"department":[{"_id":"77"}],"user_id":"29719","series_title":"Lecture Notes in Computer Science","_id":"20277"},{"type":"conference_editor","editor":[{"first_name":"Wolfgang","last_name":"Ahrendt","full_name":"Ahrendt, Wolfgang"},{"last_name":"Wehrheim","full_name":"Wehrheim, Heike","id":"573","first_name":"Heike"}],"status":"public","_id":"20278","department":[{"_id":"77"}],"series_title":"Lecture Notes in Computer Science","user_id":"29719","language":[{"iso":"eng"}],"publication_identifier":{"isbn":["978-3-030-50994-1"]},"year":"2020","intvolume":"     12165","citation":{"bibtex":"@book{Ahrendt_Wehrheim_2020, series={Lecture Notes in Computer Science}, title={Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [postponed]}, volume={12165}, DOI={<a href=\"https://doi.org/10.1007/978-3-030-50995-8\">10.1007/978-3-030-50995-8</a>}, publisher={Springer}, year={2020}, collection={Lecture Notes in Computer Science} }","short":"W. Ahrendt, H. Wehrheim, eds., Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [Postponed], Springer, 2020.","mla":"Ahrendt, Wolfgang, and Heike Wehrheim, editors. <i>Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [Postponed]</i>. Vol. 12165, Springer, 2020, doi:<a href=\"https://doi.org/10.1007/978-3-030-50995-8\">10.1007/978-3-030-50995-8</a>.","apa":"Ahrendt, W., &#38; Wehrheim, H. (Eds.). (2020). <i>Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [postponed]</i> (Vol. 12165). Springer. <a href=\"https://doi.org/10.1007/978-3-030-50995-8\">https://doi.org/10.1007/978-3-030-50995-8</a>","ieee":"W. Ahrendt and H. Wehrheim, Eds., <i>Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [postponed]</i>, vol. 12165. Springer, 2020.","chicago":"Ahrendt, Wolfgang, and Heike Wehrheim, eds. <i>Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [Postponed]</i>. Vol. 12165. Lecture Notes in Computer Science. Springer, 2020. <a href=\"https://doi.org/10.1007/978-3-030-50995-8\">https://doi.org/10.1007/978-3-030-50995-8</a>.","ama":"Ahrendt W, Wehrheim H, eds. <i>Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [Postponed]</i>. Vol 12165. Springer; 2020. doi:<a href=\"https://doi.org/10.1007/978-3-030-50995-8\">10.1007/978-3-030-50995-8</a>"},"date_updated":"2022-01-06T06:54:25Z","publisher":"Springer","volume":12165,"date_created":"2020-11-04T08:44:33Z","title":"Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [postponed]","doi":"10.1007/978-3-030-50995-8"},{"citation":{"ama":"Sharma A, Wehrheim H. Testing Monotonicity of Machine Learning Models. <i>CoRR</i>. 2020;abs/2002.12278.","ieee":"A. Sharma and H. Wehrheim, “Testing Monotonicity of Machine Learning Models,” <i>CoRR</i>, vol. abs/2002.12278, 2020.","chicago":"Sharma, Arnab, and Heike Wehrheim. “Testing Monotonicity of Machine Learning Models.” <i>CoRR</i> abs/2002.12278 (2020).","mla":"Sharma, Arnab, and Heike Wehrheim. “Testing Monotonicity of Machine Learning Models.” <i>CoRR</i>, vol. abs/2002.12278, 2020.","short":"A. Sharma, H. Wehrheim, CoRR abs/2002.12278 (2020).","bibtex":"@article{Sharma_Wehrheim_2020, title={Testing Monotonicity of Machine Learning Models}, volume={abs/2002.12278}, journal={CoRR}, author={Sharma, Arnab and Wehrheim, Heike}, year={2020} }","apa":"Sharma, A., &#38; Wehrheim, H. (2020). Testing Monotonicity of Machine Learning Models. <i>CoRR</i>, <i>abs/2002.12278</i>."},"year":"2020","volume":"abs/2002.12278","author":[{"first_name":"Arnab","id":"67200","full_name":"Sharma, Arnab","last_name":"Sharma"},{"last_name":"Wehrheim","id":"573","full_name":"Wehrheim, Heike","first_name":"Heike"}],"date_created":"2020-11-04T08:48:04Z","date_updated":"2022-01-06T06:54:25Z","title":"Testing Monotonicity of Machine Learning Models","publication":"CoRR","type":"journal_article","status":"public","department":[{"_id":"77"}],"user_id":"29719","_id":"20279","language":[{"iso":"eng"}]},{"language":[{"iso":"eng"}],"department":[{"_id":"77"}],"user_id":"29719","_id":"21016","status":"public","publication":"Dagstuhl Artifacts Ser.","type":"journal_article","doi":"10.4230/DARTS.6.2.15","title":"Owicki-Gries Reasoning for C11 RAR (Artifact)","volume":6,"date_created":"2021-01-19T10:25:27Z","author":[{"first_name":"Sadegh","full_name":"Dalvandi, Sadegh","last_name":"Dalvandi"},{"last_name":"Doherty","full_name":"Doherty, Simon","first_name":"Simon"},{"last_name":"Dongol","full_name":"Dongol, Brijesh","first_name":"Brijesh"},{"last_name":"Wehrheim","full_name":"Wehrheim, Heike","id":"573","first_name":"Heike"}],"date_updated":"2022-01-06T06:54:42Z","intvolume":"         6","page":"15:1-15:2","citation":{"chicago":"Dalvandi, Sadegh, Simon Doherty, Brijesh Dongol, and Heike Wehrheim. “Owicki-Gries Reasoning for C11 RAR (Artifact).” <i>Dagstuhl Artifacts Ser.</i> 6, no. 2 (2020): 15:1-15:2. <a href=\"https://doi.org/10.4230/DARTS.6.2.15\">https://doi.org/10.4230/DARTS.6.2.15</a>.","ieee":"S. Dalvandi, S. Doherty, B. Dongol, and H. Wehrheim, “Owicki-Gries Reasoning for C11 RAR (Artifact),” <i>Dagstuhl Artifacts Ser.</i>, vol. 6, no. 2, pp. 15:1-15:2, 2020.","ama":"Dalvandi S, Doherty S, Dongol B, Wehrheim H. Owicki-Gries Reasoning for C11 RAR (Artifact). <i>Dagstuhl Artifacts Ser</i>. 2020;6(2):15:1-15:2. doi:<a href=\"https://doi.org/10.4230/DARTS.6.2.15\">10.4230/DARTS.6.2.15</a>","apa":"Dalvandi, S., Doherty, S., Dongol, B., &#38; Wehrheim, H. (2020). Owicki-Gries Reasoning for C11 RAR (Artifact). <i>Dagstuhl Artifacts Ser.</i>, <i>6</i>(2), 15:1-15:2. <a href=\"https://doi.org/10.4230/DARTS.6.2.15\">https://doi.org/10.4230/DARTS.6.2.15</a>","bibtex":"@article{Dalvandi_Doherty_Dongol_Wehrheim_2020, title={Owicki-Gries Reasoning for C11 RAR (Artifact)}, volume={6}, DOI={<a href=\"https://doi.org/10.4230/DARTS.6.2.15\">10.4230/DARTS.6.2.15</a>}, number={2}, journal={Dagstuhl Artifacts Ser.}, author={Dalvandi, Sadegh and Doherty, Simon and Dongol, Brijesh and Wehrheim, Heike}, year={2020}, pages={15:1-15:2} }","mla":"Dalvandi, Sadegh, et al. “Owicki-Gries Reasoning for C11 RAR (Artifact).” <i>Dagstuhl Artifacts Ser.</i>, vol. 6, no. 2, 2020, pp. 15:1-15:2, doi:<a href=\"https://doi.org/10.4230/DARTS.6.2.15\">10.4230/DARTS.6.2.15</a>.","short":"S. Dalvandi, S. Doherty, B. Dongol, H. Wehrheim, Dagstuhl Artifacts Ser. 6 (2020) 15:1-15:2."},"year":"2020","issue":"2"},{"status":"public","editor":[{"last_name":"Hirschfeld","full_name":"Hirschfeld, Robert","first_name":"Robert"},{"first_name":"Tobias","full_name":"Pape, Tobias","last_name":"Pape"}],"type":"conference","publication":"34th European Conference on Object-Oriented Programming, {ECOOP} 2020, November 15-17, 2020, Berlin, Germany (Virtual Conference)","language":[{"iso":"eng"}],"series_title":"LIPIcs","user_id":"29719","department":[{"_id":"77"}],"_id":"21017","citation":{"ieee":"S. Dalvandi, S. Doherty, B. Dongol, and H. Wehrheim, “Owicki-Gries Reasoning for C11 RAR,” in <i>34th European Conference on Object-Oriented Programming, {ECOOP} 2020, November 15-17, 2020, Berlin, Germany (Virtual Conference)</i>, 2020, vol. 166, pp. 11:1-11:26.","chicago":"Dalvandi, Sadegh, Simon Doherty, Brijesh Dongol, and Heike Wehrheim. “Owicki-Gries Reasoning for C11 RAR.” In <i>34th European Conference on Object-Oriented Programming, {ECOOP} 2020, November 15-17, 2020, Berlin, Germany (Virtual Conference)</i>, edited by Robert Hirschfeld and Tobias Pape, 166:11:1-11:26. LIPIcs. Schloss Dagstuhl - Leibniz-Zentrum f{\\\"{u}}r Informatik, 2020. <a href=\"https://doi.org/10.4230/LIPIcs.ECOOP.2020.11\">https://doi.org/10.4230/LIPIcs.ECOOP.2020.11</a>.","ama":"Dalvandi S, Doherty S, Dongol B, Wehrheim H. Owicki-Gries Reasoning for C11 RAR. In: Hirschfeld R, Pape T, eds. <i>34th European Conference on Object-Oriented Programming, {ECOOP} 2020, November 15-17, 2020, Berlin, Germany (Virtual Conference)</i>. Vol 166. LIPIcs. Schloss Dagstuhl - Leibniz-Zentrum f{\\\"{u}}r Informatik; 2020:11:1-11:26. doi:<a href=\"https://doi.org/10.4230/LIPIcs.ECOOP.2020.11\">10.4230/LIPIcs.ECOOP.2020.11</a>","short":"S. Dalvandi, S. Doherty, B. Dongol, H. Wehrheim, in: R. Hirschfeld, T. Pape (Eds.), 34th European Conference on Object-Oriented Programming, {ECOOP} 2020, November 15-17, 2020, Berlin, Germany (Virtual Conference), Schloss Dagstuhl - Leibniz-Zentrum f{\\\"{u}}r Informatik, 2020, pp. 11:1-11:26.","bibtex":"@inproceedings{Dalvandi_Doherty_Dongol_Wehrheim_2020, series={LIPIcs}, title={Owicki-Gries Reasoning for C11 RAR}, volume={166}, DOI={<a href=\"https://doi.org/10.4230/LIPIcs.ECOOP.2020.11\">10.4230/LIPIcs.ECOOP.2020.11</a>}, booktitle={34th European Conference on Object-Oriented Programming, {ECOOP} 2020, November 15-17, 2020, Berlin, Germany (Virtual Conference)}, publisher={Schloss Dagstuhl - Leibniz-Zentrum f{\\\"{u}}r Informatik}, author={Dalvandi, Sadegh and Doherty, Simon and Dongol, Brijesh and Wehrheim, Heike}, editor={Hirschfeld, Robert and Pape, TobiasEditors}, year={2020}, pages={11:1-11:26}, collection={LIPIcs} }","mla":"Dalvandi, Sadegh, et al. “Owicki-Gries Reasoning for C11 RAR.” <i>34th European Conference on Object-Oriented Programming, {ECOOP} 2020, November 15-17, 2020, Berlin, Germany (Virtual Conference)</i>, edited by Robert Hirschfeld and Tobias Pape, vol. 166, Schloss Dagstuhl - Leibniz-Zentrum f{\\\"{u}}r Informatik, 2020, pp. 11:1-11:26, doi:<a href=\"https://doi.org/10.4230/LIPIcs.ECOOP.2020.11\">10.4230/LIPIcs.ECOOP.2020.11</a>.","apa":"Dalvandi, S., Doherty, S., Dongol, B., &#38; Wehrheim, H. (2020). Owicki-Gries Reasoning for C11 RAR. In R. Hirschfeld &#38; T. Pape (Eds.), <i>34th European Conference on Object-Oriented Programming, {ECOOP} 2020, November 15-17, 2020, Berlin, Germany (Virtual Conference)</i> (Vol. 166, pp. 11:1-11:26). Schloss Dagstuhl - Leibniz-Zentrum f{\\\"{u}}r Informatik. <a href=\"https://doi.org/10.4230/LIPIcs.ECOOP.2020.11\">https://doi.org/10.4230/LIPIcs.ECOOP.2020.11</a>"},"page":"11:1-11:26","intvolume":"       166","year":"2020","doi":"10.4230/LIPIcs.ECOOP.2020.11","title":"Owicki-Gries Reasoning for C11 RAR","date_created":"2021-01-19T10:29:44Z","author":[{"last_name":"Dalvandi","full_name":"Dalvandi, Sadegh","first_name":"Sadegh"},{"full_name":"Doherty, Simon","last_name":"Doherty","first_name":"Simon"},{"last_name":"Dongol","full_name":"Dongol, Brijesh","first_name":"Brijesh"},{"id":"573","full_name":"Wehrheim, Heike","last_name":"Wehrheim","first_name":"Heike"}],"volume":166,"date_updated":"2022-01-06T06:54:42Z","publisher":"Schloss Dagstuhl - Leibniz-Zentrum f{\\\"{u}}r Informatik"},{"year":"2020","citation":{"bibtex":"@inproceedings{Richter_Wehrheim_2020, 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}, publisher={{IEEE}}, author={Richter, Cedric and Wehrheim, Heike}, year={2020}, pages={1016–1028} }","mla":"Richter, Cedric, and Heike Wehrheim. “Attend and Represent: A Novel View on Algorithm Selection for Software Verification.” <i>35th {IEEE/ACM} International Conference on Automated Software Engineering, {ASE} 2020, Melbourne, Australia, September 21-25, 2020</i>, {IEEE}, 2020, pp. 1016–28.","short":"C. Richter, H. Wehrheim, in: 35th {IEEE/ACM} International Conference on Automated Software Engineering, {ASE} 2020, Melbourne, Australia, September 21-25, 2020, {IEEE}, 2020, pp. 1016–1028.","apa":"Richter, C., &#38; Wehrheim, H. (2020). Attend and Represent: A Novel View on Algorithm Selection for Software Verification. In <i>35th {IEEE/ACM} International Conference on Automated Software Engineering, {ASE} 2020, Melbourne, Australia, September 21-25, 2020</i> (pp. 1016–1028). {IEEE}.","ieee":"C. Richter and H. Wehrheim, “Attend and Represent: A Novel View on Algorithm Selection for Software Verification,” in <i>35th {IEEE/ACM} International Conference on Automated Software Engineering, {ASE} 2020, Melbourne, Australia, September 21-25, 2020</i>, 2020, pp. 1016–1028.","chicago":"Richter, Cedric, and Heike Wehrheim. “Attend and Represent: A Novel View on Algorithm Selection for Software Verification.” In <i>35th {IEEE/ACM} International Conference on Automated Software Engineering, {ASE} 2020, Melbourne, Australia, September 21-25, 2020</i>, 1016–28. {IEEE}, 2020.","ama":"Richter C, Wehrheim H. Attend and Represent: A Novel View on Algorithm Selection for Software Verification. In: <i>35th {IEEE/ACM} International Conference on Automated Software Engineering, {ASE} 2020, Melbourne, Australia, September 21-25, 2020</i>. {IEEE}; 2020:1016-1028."},"page":"1016-1028","date_updated":"2022-01-06T06:54:42Z","publisher":"{IEEE}","author":[{"last_name":"Richter","full_name":"Richter, Cedric","id":"50003","first_name":"Cedric"},{"last_name":"Wehrheim","full_name":"Wehrheim, Heike","id":"573","first_name":"Heike"}],"date_created":"2021-01-19T10:32:17Z","title":"Attend and Represent: A Novel View on Algorithm Selection for Software Verification","type":"conference","publication":"35th {IEEE/ACM} International Conference on Automated Software Engineering, {ASE} 2020, Melbourne, Australia, September 21-25, 2020","status":"public","_id":"21018","user_id":"29719","department":[{"_id":"77"}],"language":[{"iso":"eng"}]},{"status":"public","editor":[{"first_name":"Wolfgang","last_name":"Ahrendt","full_name":"Ahrendt, Wolfgang"},{"first_name":"Heike","last_name":"Wehrheim","full_name":"Wehrheim, Heike","id":"573"}],"type":"conference_editor","language":[{"iso":"eng"}],"department":[{"_id":"77"}],"user_id":"29719","series_title":"Lecture Notes in Computer Science","_id":"21019","intvolume":"     12165","citation":{"apa":"Ahrendt, W., &#38; Wehrheim, H. (Eds.). (2020). <i>Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [postponed]</i> (Vol. 12165). Springer. <a href=\"https://doi.org/10.1007/978-3-030-50995-8\">https://doi.org/10.1007/978-3-030-50995-8</a>","bibtex":"@book{Ahrendt_Wehrheim_2020, series={Lecture Notes in Computer Science}, title={Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [postponed]}, volume={12165}, DOI={<a href=\"https://doi.org/10.1007/978-3-030-50995-8\">10.1007/978-3-030-50995-8</a>}, publisher={Springer}, year={2020}, collection={Lecture Notes in Computer Science} }","mla":"Ahrendt, Wolfgang, and Heike Wehrheim, editors. <i>Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [Postponed]</i>. Vol. 12165, Springer, 2020, doi:<a href=\"https://doi.org/10.1007/978-3-030-50995-8\">10.1007/978-3-030-50995-8</a>.","short":"W. Ahrendt, H. Wehrheim, eds., Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [Postponed], Springer, 2020.","ieee":"W. Ahrendt and H. Wehrheim, Eds., <i>Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [postponed]</i>, vol. 12165. Springer, 2020.","chicago":"Ahrendt, Wolfgang, and Heike Wehrheim, eds. <i>Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [Postponed]</i>. Vol. 12165. Lecture Notes in Computer Science. Springer, 2020. <a href=\"https://doi.org/10.1007/978-3-030-50995-8\">https://doi.org/10.1007/978-3-030-50995-8</a>.","ama":"Ahrendt W, Wehrheim H, eds. <i>Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [Postponed]</i>. Vol 12165. Springer; 2020. doi:<a href=\"https://doi.org/10.1007/978-3-030-50995-8\">10.1007/978-3-030-50995-8</a>"},"year":"2020","publication_identifier":{"isbn":["978-3-030-50994-1"]},"doi":"10.1007/978-3-030-50995-8","title":"Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [postponed]","volume":12165,"date_created":"2021-01-19T10:35:37Z","publisher":"Springer","date_updated":"2022-01-06T06:54:42Z"},{"citation":{"chicago":"Haltermann, Jan Frederik, and Heike Wehrheim. “Cooperative Verification via Collective Invariant Generation.” <i>ArXiv:2008.04551</i>, 2020.","ieee":"J. F. Haltermann and H. Wehrheim, “Cooperative Verification via Collective Invariant Generation,” <i>arXiv:2008.04551</i>. 2020.","ama":"Haltermann JF, Wehrheim H. Cooperative Verification via Collective Invariant Generation. <i>arXiv:200804551</i>. 2020.","apa":"Haltermann, J. F., &#38; Wehrheim, H. (2020). Cooperative Verification via Collective Invariant Generation. <i>ArXiv:2008.04551</i>.","bibtex":"@article{Haltermann_Wehrheim_2020, title={Cooperative Verification via Collective Invariant Generation}, journal={arXiv:2008.04551}, author={Haltermann, Jan Frederik and Wehrheim, Heike}, year={2020} }","mla":"Haltermann, Jan Frederik, and Heike Wehrheim. “Cooperative Verification via Collective Invariant Generation.” <i>ArXiv:2008.04551</i>, 2020.","short":"J.F. Haltermann, H. Wehrheim, ArXiv:2008.04551 (2020)."},"year":"2020","title":"Cooperative Verification via Collective Invariant Generation","date_created":"2020-08-12T06:49:18Z","author":[{"last_name":"Haltermann","id":"44413","full_name":"Haltermann, Jan Frederik","first_name":"Jan Frederik"},{"first_name":"Heike","last_name":"Wehrheim","full_name":"Wehrheim, Heike","id":"573"}],"date_updated":"2022-01-06T06:53:20Z","status":"public","abstract":[{"lang":"eng","text":"Software verification has recently made enormous progress due to the\r\ndevelopment of novel verification methods and the speed-up of supporting\r\ntechnologies like SMT solving. To keep software verification tools up to date\r\nwith these advances, tool developers keep on integrating newly designed methods\r\ninto their tools, almost exclusively by re-implementing the method within their\r\nown framework. While this allows for a conceptual re-use of methods, it\r\nrequires novel implementations for every new technique.\r\n  In this paper, we employ cooperative verification in order to avoid\r\nreimplementation and enable usage of novel tools as black-box components in\r\nverification. Specifically, cooperation is employed for the core ingredient of\r\nsoftware verification which is invariant generation. Finding an adequate loop\r\ninvariant is key to the success of a verification run. Our framework named\r\nCoVerCIG allows a master verification tool to delegate the task of invariant\r\ngeneration to one or several specialized helper invariant generators. Their\r\nresults are then utilized within the verification run of the master verifier,\r\nallowing in particular for crosschecking the validity of the invariant. We\r\nexperimentally evaluate our framework on an instance with two masters and three\r\ndifferent invariant generators using a number of benchmarks from SV-COMP 2020.\r\nThe experiments show that the use of CoVerCIG can increase the number of\r\ncorrectly verified tasks without increasing the used resources"}],"publication":"arXiv:2008.04551","type":"preprint","language":[{"iso":"eng"}],"department":[{"_id":"77"}],"user_id":"44413","_id":"17825","project":[{"name":"Kooperative Softwareverifikation","_id":"85"}]},{"author":[{"first_name":"Arnab","last_name":"Sharma","full_name":"Sharma, Arnab","id":"67200"},{"first_name":"Heike","full_name":"Wehrheim, Heike","id":"573","last_name":"Wehrheim"}],"date_created":"2020-04-19T14:01:53Z","publisher":"ACM","date_updated":"2022-01-06T06:52:55Z","title":"Higher Income, Larger Loan? Monotonicity Testing of Machine Learning Models","publication_status":"accepted","citation":{"ieee":"A. Sharma and H. Wehrheim, “Higher Income, Larger Loan? Monotonicity Testing of Machine Learning Models,” in <i>Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA).</i>","chicago":"Sharma, Arnab, and Heike Wehrheim. “Higher Income, Larger Loan? Monotonicity Testing of Machine Learning Models.” In <i>Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA).</i> ACM, n.d.","ama":"Sharma A, Wehrheim H. Higher Income, Larger Loan? Monotonicity Testing of Machine Learning Models. In: <i>Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA).</i> ACM.","apa":"Sharma, A., &#38; Wehrheim, H. (n.d.). Higher Income, Larger Loan? Monotonicity Testing of Machine Learning Models. In <i>Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA).</i> ACM.","bibtex":"@inproceedings{Sharma_Wehrheim, title={Higher Income, Larger Loan? Monotonicity Testing of Machine Learning Models}, booktitle={Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA).}, publisher={ACM}, author={Sharma, Arnab and Wehrheim, Heike} }","mla":"Sharma, Arnab, and Heike Wehrheim. “Higher Income, Larger Loan? Monotonicity Testing of Machine Learning Models.” <i>Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA).</i>, ACM.","short":"A. Sharma, H. Wehrheim, in: Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA)., ACM, n.d."},"year":"2020","department":[{"_id":"7"},{"_id":"77"}],"user_id":"477","_id":"16724","project":[{"_id":"1","name":"SFB 901"},{"name":"SFB 901 - Project Area B","_id":"3"},{"_id":"11","name":"SFB 901 - Subproject B3"}],"language":[{"iso":"eng"}],"publication":"Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA).","type":"conference","status":"public"},{"citation":{"apa":"Richter, C., Hüllermeier, E., Jakobs, M.-C., &#38; Wehrheim, H. (n.d.). Algorithm Selection for Software Validation Based on Graph Kernels. <i>Journal of Automated Software Engineering</i>.","short":"C. Richter, E. Hüllermeier, M.-C. Jakobs, H. Wehrheim, Journal of Automated Software Engineering (n.d.).","mla":"Richter, Cedric, et al. “Algorithm Selection for Software Validation Based on Graph Kernels.” <i>Journal of Automated Software Engineering</i>, Springer.","bibtex":"@article{Richter_Hüllermeier_Jakobs_Wehrheim, title={Algorithm Selection for Software Validation Based on Graph Kernels}, journal={Journal of Automated Software Engineering}, publisher={Springer}, author={Richter, Cedric and Hüllermeier, Eyke and Jakobs, Marie-Christine and Wehrheim, Heike} }","chicago":"Richter, Cedric, Eyke Hüllermeier, Marie-Christine Jakobs, and Heike Wehrheim. “Algorithm Selection for Software Validation Based on Graph Kernels.” <i>Journal of Automated Software Engineering</i>, n.d.","ieee":"C. Richter, E. Hüllermeier, M.-C. Jakobs, and H. Wehrheim, “Algorithm Selection for Software Validation Based on Graph Kernels,” <i>Journal of Automated Software Engineering</i>.","ama":"Richter C, Hüllermeier E, Jakobs M-C, Wehrheim H. Algorithm Selection for Software Validation Based on Graph Kernels. <i>Journal of Automated Software Engineering</i>."},"year":"2020","publication_status":"accepted","title":"Algorithm Selection for Software Validation Based on Graph Kernels","author":[{"full_name":"Richter, Cedric","id":"50003","last_name":"Richter","first_name":"Cedric"},{"last_name":"Hüllermeier","id":"48129","full_name":"Hüllermeier, Eyke","first_name":"Eyke"},{"first_name":"Marie-Christine","last_name":"Jakobs","full_name":"Jakobs, Marie-Christine"},{"first_name":"Heike","full_name":"Wehrheim, Heike","id":"573","last_name":"Wehrheim"}],"date_created":"2020-04-19T14:08:06Z","date_updated":"2022-01-06T06:52:55Z","publisher":"Springer","status":"public","type":"journal_article","publication":"Journal of Automated Software Engineering","language":[{"iso":"eng"}],"user_id":"477","department":[{"_id":"7"},{"_id":"77"},{"_id":"355"}],"project":[{"_id":"1","name":"SFB 901"},{"name":"SFB 901 - Project Area B","_id":"3"},{"_id":"11","name":"SFB 901 - Subproject B3"},{"name":"SFB 901 - Subproject B4","_id":"12"}],"_id":"16725"},{"file":[{"relation":"main_file","success":1,"content_type":"application/pdf","access_level":"closed","file_id":"15311","file_name":"Karl2019_Article_ACaseForANewITEcosystemOn-The-.pdf","file_size":454532,"creator":"ups","date_created":"2019-12-12T10:24:47Z","date_updated":"2019-12-12T10:24:47Z"}],"publication":"Business & Information Systems Engineering","language":[{"iso":"eng"}],"ddc":["004"],"year":"2020","issue":"6","title":"A Case for a New IT Ecosystem: On-The-Fly Computing","date_created":"2019-10-10T13:41:06Z","publisher":"Springer","status":"public","type":"journal_article","file_date_updated":"2019-12-12T10:24:47Z","user_id":"477","department":[{"_id":"276"},{"_id":"75"},{"_id":"63"},{"_id":"77"}],"project":[{"_id":"1","name":"SFB 901"},{"_id":"2","name":"SFB 901 - Project Area A"},{"name":"SFB 901 - Project Area B","_id":"3"},{"name":"SFB 901 - Project Area C","_id":"4"},{"name":"SFB 901 - Project Area T","_id":"82"},{"name":"SFB 901 - Subproject A1","_id":"5"},{"_id":"6","name":"SFB 901 - Subproject A2"},{"_id":"7","name":"SFB 901 - Subproject A3"},{"name":"SFB 901 - Subproject A4","_id":"8"},{"_id":"9","name":"SFB 901 - Subproject B1"},{"name":"SFB 901 - Subproject B2","_id":"10"},{"name":"SFB 901 - Subproject B3","_id":"11"},{"name":"SFB 901 - Subproject B4","_id":"12"},{"name":"SFB 901 - Subproject C1","_id":"13"},{"name":"SFB 901 - Subproject C2","_id":"14"},{"_id":"15","name":"SFB 901 - Subproject C3"},{"_id":"16","name":"SFB 901 - Subproject C4"},{"name":"SFB 901 - Subproject C5","_id":"17"},{"_id":"83","name":"SFB 901 -Subproject T1"},{"_id":"84","name":"SFB 901 -Subproject T2"},{"name":"SFB 901 -Subproject T3","_id":"107"},{"name":"SFB 901 - T4: SFB 901 -Subproject T4","_id":"158"}],"_id":"13770","citation":{"apa":"Karl, H., Kundisch, D., Meyer auf der Heide, F., &#38; Wehrheim, H. (2020). A Case for a New IT Ecosystem: On-The-Fly Computing. <i>Business &#38; Information Systems Engineering</i>, <i>62</i>(6), 467–481. <a href=\"https://doi.org/10.1007/s12599-019-00627-x\">https://doi.org/10.1007/s12599-019-00627-x</a>","bibtex":"@article{Karl_Kundisch_Meyer auf der Heide_Wehrheim_2020, title={A Case for a New IT Ecosystem: On-The-Fly Computing}, volume={62}, DOI={<a href=\"https://doi.org/10.1007/s12599-019-00627-x\">10.1007/s12599-019-00627-x</a>}, number={6}, journal={Business &#38; Information Systems Engineering}, publisher={Springer}, author={Karl, Holger and Kundisch, Dennis and Meyer auf der Heide, Friedhelm and Wehrheim, Heike}, year={2020}, pages={467–481} }","mla":"Karl, Holger, et al. “A Case for a New IT Ecosystem: On-The-Fly Computing.” <i>Business &#38; Information Systems Engineering</i>, vol. 62, no. 6, Springer, 2020, pp. 467–81, doi:<a href=\"https://doi.org/10.1007/s12599-019-00627-x\">10.1007/s12599-019-00627-x</a>.","short":"H. Karl, D. Kundisch, F. Meyer auf der Heide, H. Wehrheim, Business &#38; Information Systems Engineering 62 (2020) 467–481.","ama":"Karl H, Kundisch D, Meyer auf der Heide F, Wehrheim H. A Case for a New IT Ecosystem: On-The-Fly Computing. <i>Business &#38; Information Systems Engineering</i>. 2020;62(6):467-481. doi:<a href=\"https://doi.org/10.1007/s12599-019-00627-x\">10.1007/s12599-019-00627-x</a>","ieee":"H. Karl, D. Kundisch, F. Meyer auf der Heide, and H. Wehrheim, “A Case for a New IT Ecosystem: On-The-Fly Computing,” <i>Business &#38; Information Systems Engineering</i>, vol. 62, no. 6, pp. 467–481, 2020, doi: <a href=\"https://doi.org/10.1007/s12599-019-00627-x\">10.1007/s12599-019-00627-x</a>.","chicago":"Karl, Holger, Dennis Kundisch, Friedhelm Meyer auf der Heide, and Heike Wehrheim. “A Case for a New IT Ecosystem: On-The-Fly Computing.” <i>Business &#38; Information Systems Engineering</i> 62, no. 6 (2020): 467–81. <a href=\"https://doi.org/10.1007/s12599-019-00627-x\">https://doi.org/10.1007/s12599-019-00627-x</a>."},"intvolume":"        62","page":"467-481","publication_status":"published","has_accepted_license":"1","doi":"10.1007/s12599-019-00627-x","author":[{"first_name":"Holger","last_name":"Karl","full_name":"Karl, Holger","id":"126"},{"last_name":"Kundisch","id":"21117","full_name":"Kundisch, Dennis","first_name":"Dennis"},{"first_name":"Friedhelm","id":"15523","full_name":"Meyer auf der Heide, Friedhelm","last_name":"Meyer auf der Heide"},{"first_name":"Heike","last_name":"Wehrheim","id":"573","full_name":"Wehrheim, Heike"}],"volume":62,"date_updated":"2022-12-02T09:27:17Z"},{"title":"Reproducing Taint-Analysis Results with ReproDroid","doi":"10.18420/SE2020_36","date_updated":"2023-01-18T08:39:53Z","publisher":"Gesellschaft f{\\\"{u}}r Informatik e.V.","date_created":"2020-03-03T08:10:33Z","author":[{"first_name":"Felix","last_name":"Pauck","full_name":"Pauck, Felix","id":"22398"},{"first_name":"Eric","id":"59256","full_name":"Bodden, Eric","last_name":"Bodden","orcid":"0000-0003-3470-3647"},{"first_name":"Heike","full_name":"Wehrheim, Heike","id":"573","last_name":"Wehrheim"}],"year":"2020","page":"123-124","citation":{"apa":"Pauck, F., Bodden, E., &#38; Wehrheim, H. (2020). Reproducing Taint-Analysis Results with ReproDroid. In M. Felderer, W. Hasselbring, R. Rabiser, &#38; R. Jung (Eds.), <i>Software Engineering 2020, Fachtagung des GI-Fachbereichs Softwaretechnik, 24.-28. Februar 2020, Innsbruck, Austria</i> (pp. 123–124). Gesellschaft f{\\\"{u}}r Informatik e.V. <a href=\"https://doi.org/10.18420/SE2020_36\">https://doi.org/10.18420/SE2020_36</a>","ama":"Pauck F, Bodden E, Wehrheim H. Reproducing Taint-Analysis Results with ReproDroid. In: Felderer M, Hasselbring W, Rabiser R, Jung R, eds. <i>Software Engineering 2020, Fachtagung Des GI-Fachbereichs Softwaretechnik, 24.-28. Februar 2020, Innsbruck, Austria</i>. {LNI}. Gesellschaft f{\\\"{u}}r Informatik e.V.; 2020:123-124. doi:<a href=\"https://doi.org/10.18420/SE2020_36\">10.18420/SE2020_36</a>","bibtex":"@inproceedings{Pauck_Bodden_Wehrheim_2020, series={{LNI}}, title={Reproducing Taint-Analysis Results with ReproDroid}, DOI={<a href=\"https://doi.org/10.18420/SE2020_36\">10.18420/SE2020_36</a>}, booktitle={Software Engineering 2020, Fachtagung des GI-Fachbereichs Softwaretechnik, 24.-28. Februar 2020, Innsbruck, Austria}, publisher={Gesellschaft f{\\\"{u}}r Informatik e.V.}, author={Pauck, Felix and Bodden, Eric and Wehrheim, Heike}, editor={Felderer, Michael and Hasselbring, Wilhelm and Rabiser, Rick and Jung, Reiner}, year={2020}, pages={123–124}, collection={{LNI}} }","short":"F. Pauck, E. Bodden, H. Wehrheim, in: M. Felderer, W. Hasselbring, R. Rabiser, R. Jung (Eds.), Software Engineering 2020, Fachtagung Des GI-Fachbereichs Softwaretechnik, 24.-28. Februar 2020, Innsbruck, Austria, Gesellschaft f{\\\"{u}}r Informatik e.V., 2020, pp. 123–124.","mla":"Pauck, Felix, et al. “Reproducing Taint-Analysis Results with ReproDroid.” <i>Software Engineering 2020, Fachtagung Des GI-Fachbereichs Softwaretechnik, 24.-28. Februar 2020, Innsbruck, Austria</i>, edited by Michael Felderer et al., Gesellschaft f{\\\"{u}}r Informatik e.V., 2020, pp. 123–24, doi:<a href=\"https://doi.org/10.18420/SE2020_36\">10.18420/SE2020_36</a>.","ieee":"F. Pauck, E. Bodden, and H. Wehrheim, “Reproducing Taint-Analysis Results with ReproDroid,” in <i>Software Engineering 2020, Fachtagung des GI-Fachbereichs Softwaretechnik, 24.-28. Februar 2020, Innsbruck, Austria</i>, 2020, pp. 123–124, doi: <a href=\"https://doi.org/10.18420/SE2020_36\">10.18420/SE2020_36</a>.","chicago":"Pauck, Felix, Eric Bodden, and Heike Wehrheim. “Reproducing Taint-Analysis Results with ReproDroid.” In <i>Software Engineering 2020, Fachtagung Des GI-Fachbereichs Softwaretechnik, 24.-28. Februar 2020, Innsbruck, Austria</i>, edited by Michael Felderer, Wilhelm Hasselbring, Rick Rabiser, and Reiner Jung, 123–24. {LNI}. Gesellschaft f{\\\"{u}}r Informatik e.V., 2020. <a href=\"https://doi.org/10.18420/SE2020_36\">https://doi.org/10.18420/SE2020_36</a>."},"publication_status":"published","language":[{"iso":"eng"}],"_id":"16214","department":[{"_id":"34"},{"_id":"77"}],"user_id":"22398","series_title":"{LNI}","editor":[{"full_name":"Felderer, Michael","last_name":"Felderer","first_name":"Michael"},{"full_name":"Hasselbring, Wilhelm","last_name":"Hasselbring","first_name":"Wilhelm"},{"first_name":"Rick","last_name":"Rabiser","full_name":"Rabiser, Rick"},{"full_name":"Jung, Reiner","last_name":"Jung","first_name":"Reiner"}],"status":"public","publication":"Software Engineering 2020, Fachtagung des GI-Fachbereichs Softwaretechnik, 24.-28. Februar 2020, Innsbruck, Austria","type":"conference"}]