[{"year":"2019","date_created":"2019-09-23T16:00:58Z","title":"Deep reinforcement learning for scheduling in large-scale networked control systems","publication":"Proceedings of the 8th IFAC Workshop on Distributed Estimation and Control in Networked Systems","file":[{"date_updated":"2019-09-23T16:21:16Z","creator":"aredder","date_created":"2019-09-23T15:48:33Z","file_size":371429,"file_id":"13444","file_name":"ifacconf.pdf","access_level":"local","content_type":"application/pdf","relation":"main_file"}],"abstract":[{"lang":"eng","text":"This work considers the problem of control and resource allocation in networked\r\nsystems. To this end, we present DIRA a Deep reinforcement learning based Iterative Resource\r\nAllocation algorithm, which is scalable and control-aware. Our algorithm is tailored towards\r\nlarge-scale problems where control and scheduling need to act jointly to optimize performance.\r\nDIRA can be used to schedule general time-domain optimization based controllers. In the present\r\nwork, we focus on control designs based on suitably adapted linear quadratic regulators. We\r\napply our algorithm to networked systems with correlated fading communication channels. Our\r\nsimulations show that DIRA scales well to large scheduling problems."}],"language":[{"iso":"eng"}],"keyword":["Networked control systems","deep reinforcement learning","large-scale systems","resource scheduling","stochastic control"],"ddc":["620"],"has_accepted_license":"1","publication_status":"published","citation":{"mla":"Redder, Adrian, et al. “Deep Reinforcement Learning for Scheduling in Large-Scale Networked Control Systems.” <i>Proceedings of the 8th IFAC Workshop on Distributed Estimation and Control in Networked Systems</i>, 2019.","short":"A. Redder, A. Ramaswamy, D. Quevedo, in: Proceedings of the 8th IFAC Workshop on Distributed Estimation and Control in Networked Systems, 2019.","bibtex":"@inproceedings{Redder_Ramaswamy_Quevedo_2019, title={Deep reinforcement learning for scheduling in large-scale networked control systems}, booktitle={Proceedings of the 8th IFAC Workshop on Distributed Estimation and Control in Networked Systems}, author={Redder, Adrian and Ramaswamy, Arunselvan and Quevedo, Daniel}, year={2019} }","apa":"Redder, A., Ramaswamy, A., &#38; Quevedo, D. (2019). Deep reinforcement learning for scheduling in large-scale networked control systems. In <i>Proceedings of the 8th IFAC Workshop on Distributed Estimation and Control in Networked Systems</i>. Chicago, USA.","ieee":"A. Redder, A. Ramaswamy, and D. Quevedo, “Deep reinforcement learning for scheduling in large-scale networked control systems,” in <i>Proceedings of the 8th IFAC Workshop on Distributed Estimation and Control in Networked Systems</i>, Chicago, USA, 2019.","chicago":"Redder, Adrian, Arunselvan Ramaswamy, and Daniel Quevedo. “Deep Reinforcement Learning for Scheduling in Large-Scale Networked Control Systems.” In <i>Proceedings of the 8th IFAC Workshop on Distributed Estimation and Control in Networked Systems</i>, 2019.","ama":"Redder A, Ramaswamy A, Quevedo D. Deep reinforcement learning for scheduling in large-scale networked control systems. In: <i>Proceedings of the 8th IFAC Workshop on Distributed Estimation and Control in Networked Systems</i>. ; 2019."},"author":[{"full_name":"Redder, Adrian","id":"52265","last_name":"Redder","orcid":"https://orcid.org/0000-0001-7391-4688","first_name":"Adrian"},{"first_name":"Arunselvan","last_name":"Ramaswamy","orcid":"https://orcid.org/ 0000-0001-7547-8111","full_name":"Ramaswamy, Arunselvan","id":"66937"},{"last_name":"Quevedo","full_name":"Quevedo, Daniel","first_name":"Daniel"}],"date_updated":"2022-01-06T06:51:36Z","oa":"1","conference":{"end_date":"2019-09-17","location":"Chicago, USA","name":"8th IFAC Workshop on Distributed Estimation and Control in Networked Systems - NECSYS 2019","start_date":"2019-09-16"},"main_file_link":[{"url":"https://arxiv.org/abs/1905.05992","open_access":"1"}],"type":"conference","status":"public","user_id":"52265","_id":"13443","project":[{"_id":"52","name":"Computing Resources Provided by the Paderborn Center for Parallel Computing"}],"file_date_updated":"2019-09-23T16:21:16Z"},{"type":"journal_article","publication":"Industrial Marketing Management","status":"public","user_id":"57352","department":[{"_id":"180"}],"_id":"13454","language":[{"iso":"eng"}],"citation":{"ama":"Eggert A, Kleinaltenkamp M, Kashyap V. Mapping Value in Business Markets: An Integrative Framework. <i>Industrial Marketing Management</i>. 2019;79:13--20.","chicago":"Eggert, Andreas, Michael Kleinaltenkamp, and Vishal Kashyap. “Mapping Value in Business Markets: An Integrative Framework.” <i>Industrial Marketing Management</i> 79 (2019): 13--20.","ieee":"A. Eggert, M. Kleinaltenkamp, and V. Kashyap, “Mapping Value in Business Markets: An Integrative Framework,” <i>Industrial Marketing Management</i>, vol. 79, pp. 13--20, 2019.","short":"A. Eggert, M. Kleinaltenkamp, V. Kashyap, Industrial Marketing Management 79 (2019) 13--20.","bibtex":"@article{Eggert_Kleinaltenkamp_Kashyap_2019, title={Mapping Value in Business Markets: An Integrative Framework}, volume={79}, journal={Industrial Marketing Management}, author={Eggert, Andreas and Kleinaltenkamp, Michael and Kashyap, Vishal}, year={2019}, pages={13--20} }","mla":"Eggert, Andreas, et al. “Mapping Value in Business Markets: An Integrative Framework.” <i>Industrial Marketing Management</i>, vol. 79, 2019, pp. 13--20.","apa":"Eggert, A., Kleinaltenkamp, M., &#38; Kashyap, V. (2019). Mapping Value in Business Markets: An Integrative Framework. <i>Industrial Marketing Management</i>, <i>79</i>, 13--20."},"intvolume":"        79","page":"13--20","year":"2019","author":[{"full_name":"Eggert, Andreas","last_name":"Eggert","first_name":"Andreas"},{"first_name":"Michael","full_name":"Kleinaltenkamp, Michael","last_name":"Kleinaltenkamp"},{"full_name":"Kashyap, Vishal","last_name":"Kashyap","first_name":"Vishal"}],"date_created":"2019-09-30T07:22:24Z","volume":79,"date_updated":"2022-01-06T06:51:36Z","title":"Mapping Value in Business Markets: An Integrative Framework"},{"language":[{"iso":"eng"}],"_id":"13455","user_id":"57352","department":[{"_id":"180"}],"status":"public","type":"journal_article","publication":"Journal of the Academy of Marketing Science","title":"Exploring the link between payment schemes and customer fraud: a mental accounting perspective","date_updated":"2022-01-06T06:51:36Z","date_created":"2019-09-30T07:27:46Z","author":[{"first_name":"Ina","last_name":"Garnefeld","full_name":"Garnefeld, Ina"},{"first_name":"Andreas","last_name":"Eggert","full_name":"Eggert, Andreas"},{"first_name":"Markus","full_name":"Husemann-Kopetzky, Markus","last_name":"Husemann-Kopetzky"},{"last_name":"Boehm","full_name":"Boehm, Eva","first_name":"Eva"}],"volume":47,"year":"2019","citation":{"short":"I. Garnefeld, A. Eggert, M. Husemann-Kopetzky, E. Boehm, Journal of the Academy of Marketing Science 47 (2019) 595--616.","bibtex":"@article{Garnefeld_Eggert_Husemann-Kopetzky_Boehm_2019, title={Exploring the link between payment schemes and customer fraud: a mental accounting perspective}, volume={47}, number={4}, journal={Journal of the Academy of Marketing Science}, author={Garnefeld, Ina and Eggert, Andreas and Husemann-Kopetzky, Markus and Boehm, Eva}, year={2019}, pages={595--616} }","mla":"Garnefeld, Ina, et al. “Exploring the Link between Payment Schemes and Customer Fraud: A Mental Accounting Perspective.” <i>Journal of the Academy of Marketing Science</i>, vol. 47, no. 4, 2019, pp. 595--616.","apa":"Garnefeld, I., Eggert, A., Husemann-Kopetzky, M., &#38; Boehm, E. (2019). Exploring the link between payment schemes and customer fraud: a mental accounting perspective. <i>Journal of the Academy of Marketing Science</i>, <i>47</i>(4), 595--616.","ama":"Garnefeld I, Eggert A, Husemann-Kopetzky M, Boehm E. Exploring the link between payment schemes and customer fraud: a mental accounting perspective. <i>Journal of the Academy of Marketing Science</i>. 2019;47(4):595--616.","chicago":"Garnefeld, Ina, Andreas Eggert, Markus Husemann-Kopetzky, and Eva Boehm. “Exploring the Link between Payment Schemes and Customer Fraud: A Mental Accounting Perspective.” <i>Journal of the Academy of Marketing Science</i> 47, no. 4 (2019): 595--616.","ieee":"I. Garnefeld, A. Eggert, M. Husemann-Kopetzky, and E. Boehm, “Exploring the link between payment schemes and customer fraud: a mental accounting perspective,” <i>Journal of the Academy of Marketing Science</i>, vol. 47, no. 4, pp. 595--616, 2019."},"intvolume":"        47","page":"595--616","issue":"4"},{"year":"2019","citation":{"apa":"Eggert, A., Boehm, E., Akalan, R., &#38; Gebauer, H. (2019). Service Growth by Acquisition – An Event Study.","bibtex":"@article{Eggert_Boehm_Akalan_Gebauer_2019, series={9th BMM-EMAC Biennial International Conference on Business Market Management}, title={Service Growth by Acquisition – An Event Study}, author={Eggert, Andreas and Boehm, Eva and Akalan, Rodi and Gebauer, Heiko}, year={2019}, collection={9th BMM-EMAC Biennial International Conference on Business Market Management} }","mla":"Eggert, Andreas, et al. <i>Service Growth by Acquisition – An Event Study</i>. 2019.","short":"A. Eggert, E. Boehm, R. Akalan, H. Gebauer, (2019).","ama":"Eggert A, Boehm E, Akalan R, Gebauer H. Service Growth by Acquisition – An Event Study. 2019.","ieee":"A. Eggert, E. Boehm, R. Akalan, and H. Gebauer, “Service Growth by Acquisition – An Event Study.” 2019.","chicago":"Eggert, Andreas, Eva Boehm, Rodi Akalan, and Heiko Gebauer. “Service Growth by Acquisition – An Event Study.” 9th BMM-EMAC Biennial International Conference on Business Market Management, 2019."},"title":"Service Growth by Acquisition – An Event Study","date_updated":"2022-01-06T06:51:36Z","date_created":"2019-09-30T07:35:33Z","author":[{"last_name":"Eggert","full_name":"Eggert, Andreas","first_name":"Andreas"},{"full_name":"Boehm, Eva","last_name":"Boehm","first_name":"Eva"},{"full_name":"Akalan, Rodi","last_name":"Akalan","first_name":"Rodi"},{"full_name":"Gebauer, Heiko","last_name":"Gebauer","first_name":"Heiko"}],"status":"public","type":"conference","language":[{"iso":"eng"}],"_id":"13456","user_id":"57352","series_title":"9th BMM-EMAC Biennial International Conference on Business Market Management","department":[{"_id":"19"},{"_id":"180"}]},{"citation":{"ama":"Eggert A, Steinhoff L, Witte C. Gift Purchases as Catalysts for Strengthening Customer–Brand Relationships. <i>Journal of Marketing</i>. 2019.","ieee":"A. Eggert, L. Steinhoff, and C. Witte, “Gift Purchases as Catalysts for Strengthening Customer–Brand Relationships,” <i>Journal of Marketing</i>, 2019.","chicago":"Eggert, Andreas, Lena Steinhoff, and Carina Witte. “Gift Purchases as Catalysts for Strengthening Customer–Brand Relationships.” <i>Journal of Marketing</i>, 2019.","bibtex":"@article{Eggert_Steinhoff_Witte_2019, title={Gift Purchases as Catalysts for Strengthening Customer–Brand Relationships}, journal={Journal of Marketing}, author={Eggert, Andreas and Steinhoff, Lena and Witte, Carina}, year={2019} }","mla":"Eggert, Andreas, et al. “Gift Purchases as Catalysts for Strengthening Customer–Brand Relationships.” <i>Journal of Marketing</i>, 2019.","short":"A. Eggert, L. Steinhoff, C. Witte, Journal of Marketing (2019).","apa":"Eggert, A., Steinhoff, L., &#38; Witte, C. (2019). Gift Purchases as Catalysts for Strengthening Customer–Brand Relationships. <i>Journal of Marketing</i>."},"year":"2019","title":"Gift Purchases as Catalysts for Strengthening Customer–Brand Relationships","date_created":"2019-09-30T07:42:15Z","author":[{"last_name":"Eggert","full_name":"Eggert, Andreas","first_name":"Andreas"},{"full_name":"Steinhoff, Lena","last_name":"Steinhoff","first_name":"Lena"},{"last_name":"Witte","full_name":"Witte, Carina","first_name":"Carina"}],"date_updated":"2022-01-06T06:51:36Z","status":"public","type":"journal_article","publication":"Journal of Marketing","language":[{"iso":"eng"}],"user_id":"57352","department":[{"_id":"180"}],"_id":"13457"},{"year":"2019","page":"67","citation":{"apa":"Sextro, W., &#38; Brökelmann, M. (2019). <i>Intelligente Herstellung zuverlässiger Kupferbondverbindungen</i> (Vol. VIII). Springer Verlag. <a href=\"https://doi.org/10.1007/978-3-662-55146-2\">https://doi.org/10.1007/978-3-662-55146-2</a>","short":"W. Sextro, M. Brökelmann, Intelligente Herstellung Zuverlässiger Kupferbondverbindungen, Springer Verlag, 2019.","mla":"Sextro, Walter, and Michael Brökelmann. <i>Intelligente Herstellung Zuverlässiger Kupferbondverbindungen</i>. Vol. VIII, Springer Verlag, 2019, doi:<a href=\"https://doi.org/10.1007/978-3-662-55146-2\">10.1007/978-3-662-55146-2</a>.","bibtex":"@book{Sextro_Brökelmann_2019, title={Intelligente Herstellung zuverlässiger Kupferbondverbindungen}, volume={VIII}, DOI={<a href=\"https://doi.org/10.1007/978-3-662-55146-2\">10.1007/978-3-662-55146-2</a>}, publisher={Springer Verlag}, author={Sextro, Walter and Brökelmann, Michael}, year={2019} }","ama":"Sextro W, Brökelmann M. <i>Intelligente Herstellung Zuverlässiger Kupferbondverbindungen</i>. Vol VIII. Springer Verlag; 2019. doi:<a href=\"https://doi.org/10.1007/978-3-662-55146-2\">10.1007/978-3-662-55146-2</a>","ieee":"W. Sextro and M. Brökelmann, <i>Intelligente Herstellung zuverlässiger Kupferbondverbindungen</i>, vol. VIII. Springer Verlag, 2019.","chicago":"Sextro, Walter, and Michael Brökelmann. <i>Intelligente Herstellung Zuverlässiger Kupferbondverbindungen</i>. Vol. VIII. Springer Verlag, 2019. <a href=\"https://doi.org/10.1007/978-3-662-55146-2\">https://doi.org/10.1007/978-3-662-55146-2</a>."},"title":"Intelligente Herstellung zuverlässiger Kupferbondverbindungen","doi":"10.1007/978-3-662-55146-2","date_updated":"2022-01-06T06:50:22Z","publisher":"Springer Verlag","volume":"VIII","author":[{"full_name":"Sextro, Walter","id":"21220","last_name":"Sextro","first_name":"Walter"},{"last_name":"Brökelmann","full_name":"Brökelmann, Michael","first_name":"Michael"}],"date_created":"2019-05-27T10:31:35Z","abstract":[{"lang":"ger","text":"Dieses Buch beschreibt basierend auf dem gleichnamigen Innovationsprojekt im Spitzencluster it’s OWL die Entwicklung intelligenter Verfahren und Systeme, um auch unter variablen Produktionsbedingungen eine zuverlässige Massenfertigung von Kupferbondverbindungen sicherzustellen.Dabei wird der gesamte Prozess der Ultraschall-Verbindungsbildung modelliert. Dies beinhaltet u. a. ein Reibmodell mit gekoppeltem Anbindungsmodell, den Ultraschall-Erweichungseffekt und den Verschleiß des Bondwerkzeugs. Zudem wird das Konzept einer selbstoptimierenden Bondmaschine vorgestellt, welche Prozessparameter in Abhängigkeit von Störgrößen wie Verschleiß anpasst.Das Ultraschallbonden mit Aluminiumdraht ist ein etabliertes Fertigungsverfahren zur Kontaktierung von Leistungshalbleitern. Zukünftige Leistungshalbleiterchips erfordern jedoch einen Technologiewechsel zu Kupferdraht. Die Prozessparameter unterscheiden sich dabei deutlich von den bekannten Aluminiumprozessen, ihre Wechselwirkungen sind weitestgehend unbekannt."}],"status":"public","type":"book","keyword":["Abschlussbericht zum Spitzenclusterprojekt InCuB"],"language":[{"iso":"eng"}],"_id":"10002","department":[{"_id":"151"}],"user_id":"55222"},{"issue":"1","year":"2019","citation":{"ama":"Fränzle M, Kapur D, Wehrheim H, Zhan N. Editorial. <i>Formal Asp Comput</i>. 2019;31(1):1. doi:<a href=\"https://doi.org/10.1007/s00165-018-00477-6\">10.1007/s00165-018-00477-6</a>","ieee":"M. Fränzle, D. Kapur, H. Wehrheim, and N. Zhan, “Editorial,” <i>Formal Asp. Comput.</i>, vol. 31, no. 1, p. 1, 2019.","chicago":"Fränzle, Martin, Deepak Kapur, Heike Wehrheim, and Naijun Zhan. “Editorial.” <i>Formal Asp. Comput.</i> 31, no. 1 (2019): 1. <a href=\"https://doi.org/10.1007/s00165-018-00477-6\">https://doi.org/10.1007/s00165-018-00477-6</a>.","apa":"Fränzle, M., Kapur, D., Wehrheim, H., &#38; Zhan, N. (2019). Editorial. <i>Formal Asp. Comput.</i>, <i>31</i>(1), 1. <a href=\"https://doi.org/10.1007/s00165-018-00477-6\">https://doi.org/10.1007/s00165-018-00477-6</a>","mla":"Fränzle, Martin, et al. “Editorial.” <i>Formal Asp. Comput.</i>, vol. 31, no. 1, 2019, p. 1, doi:<a href=\"https://doi.org/10.1007/s00165-018-00477-6\">10.1007/s00165-018-00477-6</a>.","bibtex":"@article{Fränzle_Kapur_Wehrheim_Zhan_2019, title={Editorial}, volume={31}, DOI={<a href=\"https://doi.org/10.1007/s00165-018-00477-6\">10.1007/s00165-018-00477-6</a>}, number={1}, journal={Formal Asp. Comput.}, author={Fränzle, Martin and Kapur, Deepak and Wehrheim, Heike and Zhan, Naijun}, year={2019}, pages={1} }","short":"M. Fränzle, D. Kapur, H. Wehrheim, N. Zhan, Formal Asp. Comput. 31 (2019) 1."},"intvolume":"        31","page":"1","date_updated":"2022-01-06T06:50:22Z","author":[{"last_name":"Fränzle","full_name":"Fränzle, Martin","first_name":"Martin"},{"last_name":"Kapur","full_name":"Kapur, Deepak","first_name":"Deepak"},{"last_name":"Wehrheim","id":"573","full_name":"Wehrheim, Heike","first_name":"Heike"},{"full_name":"Zhan, Naijun","last_name":"Zhan","first_name":"Naijun"}],"date_created":"2019-05-28T06:32:57Z","volume":31,"title":"Editorial","doi":"10.1007/s00165-018-00477-6","type":"journal_article","publication":"Formal Asp. Comput.","status":"public","_id":"10011","user_id":"29719","department":[{"_id":"77"}],"language":[{"iso":"eng"}]},{"publication":"Fortschritte der Akustik - DAGA 2019","type":"conference","editor":[{"last_name":"Gesellschaft für Akustik e.V.","full_name":"Gesellschaft für Akustik e.V., Deutsche","first_name":"Deutsche"}],"status":"public","_id":"10042","department":[{"_id":"49"}],"user_id":"29190","language":[{"iso":"ger"}],"publication_status":"published","place":"Rostock","year":"2019","intvolume":"        45","page":"1055-1058","citation":{"ama":"Johannesmann S, Springer D, Thiel C, Henning B. Störeffektunterdrückung in 2D-Messdaten mittels DiscoGAN. In: Gesellschaft für Akustik e.V. D, ed. <i>Fortschritte der Akustik - DAGA 2019</i>. Vol 45. Rostock: Deutsche Gesellschaft für Akustik; 2019:1055-1058.","chicago":"Johannesmann, Sarah, Dimitri Springer, Christian Thiel, and Bernd Henning. “Störeffektunterdrückung in 2D-Messdaten mittels DiscoGAN.” In <i>Fortschritte der Akustik - DAGA 2019</i>, edited by Deutsche Gesellschaft für Akustik e.V., 45:1055–58. Rostock: Deutsche Gesellschaft für Akustik, 2019.","ieee":"S. Johannesmann, D. Springer, C. Thiel, and B. Henning, “Störeffektunterdrückung in 2D-Messdaten mittels DiscoGAN,” in <i>Fortschritte der Akustik - DAGA 2019</i>, Rostock, 2019, vol. 45, pp. 1055–1058.","short":"S. Johannesmann, D. Springer, C. Thiel, B. Henning, in: D. Gesellschaft für Akustik e.V. (Ed.), Fortschritte der Akustik - DAGA 2019, Deutsche Gesellschaft für Akustik, Rostock, 2019, pp. 1055–1058.","bibtex":"@inproceedings{Johannesmann_Springer_Thiel_Henning_2019, place={Rostock}, title={Störeffektunterdrückung in 2D-Messdaten mittels DiscoGAN}, volume={45}, booktitle={Fortschritte der Akustik - DAGA 2019}, publisher={Deutsche Gesellschaft für Akustik}, author={Johannesmann, Sarah and Springer, Dimitri and Thiel, Christian and Henning, Bernd}, editor={Gesellschaft für Akustik e.V., DeutscheEditor}, year={2019}, pages={1055–1058} }","mla":"Johannesmann, Sarah, et al. “Störeffektunterdrückung in 2D-Messdaten mittels DiscoGAN.” <i>Fortschritte der Akustik - DAGA 2019</i>, edited by Deutsche Gesellschaft für Akustik e.V., vol. 45, Deutsche Gesellschaft für Akustik, 2019, pp. 1055–58.","apa":"Johannesmann, S., Springer, D., Thiel, C., &#38; Henning, B. (2019). Störeffektunterdrückung in 2D-Messdaten mittels DiscoGAN. In D. Gesellschaft für Akustik e.V. (Ed.), <i>Fortschritte der Akustik - DAGA 2019</i> (Vol. 45, pp. 1055–1058). Rostock: Deutsche Gesellschaft für Akustik."},"date_updated":"2022-01-06T06:50:27Z","publisher":"Deutsche Gesellschaft für Akustik","volume":45,"author":[{"full_name":"Johannesmann, Sarah","id":"29190","last_name":"Johannesmann","first_name":"Sarah"},{"first_name":"Dimitri","full_name":"Springer, Dimitri","last_name":"Springer"},{"full_name":"Thiel, Christian","last_name":"Thiel","first_name":"Christian"},{"first_name":"Bernd","full_name":"Henning, Bernd","id":"213","last_name":"Henning"}],"date_created":"2019-05-31T08:28:20Z","title":"Störeffektunterdrückung in 2D-Messdaten mittels DiscoGAN","conference":{"end_date":"2019-03-21","location":"Rostock","name":"45. Jahrestagung der Akustik","start_date":"2019-03-19"}},{"volume":11460,"date_created":"2019-06-03T07:51:26Z","author":[{"first_name":"Jürgen","last_name":"König","full_name":"König, Jürgen","id":"22358"},{"last_name":"Wehrheim","full_name":"Wehrheim, Heike","id":"573","first_name":"Heike"}],"date_updated":"2022-01-06T06:50:28Z","publisher":"Springer","doi":"10.1007/978-3-030-20652-9\\_18","title":"Data Independence for Software Transactional Memory","intvolume":"     11460","page":"263-279","citation":{"ama":"König J, Wehrheim H. Data Independence for Software Transactional Memory. In: M. Badger J, Yvonne Rozier K, eds. <i>{NASA} Formal Methods - 11th International Symposium, {NFM} 2019, Houston, TX, USA, May 7-9, 2019, Proceedings</i>. Vol 11460. Lecture Notes in Computer Science. Springer; 2019:263-279. doi:<a href=\"https://doi.org/10.1007/978-3-030-20652-9\\_18\">10.1007/978-3-030-20652-9\\_18</a>","chicago":"König, Jürgen, and Heike Wehrheim. “Data Independence for Software Transactional Memory.” In <i>{NASA} Formal Methods - 11th International Symposium, {NFM} 2019, Houston, TX, USA, May 7-9, 2019, Proceedings</i>, edited by Julia M. Badger and Kristin Yvonne Rozier, 11460:263–79. Lecture Notes in Computer Science. Springer, 2019. <a href=\"https://doi.org/10.1007/978-3-030-20652-9\\_18\">https://doi.org/10.1007/978-3-030-20652-9\\_18</a>.","ieee":"J. König and H. Wehrheim, “Data Independence for Software Transactional Memory,” in <i>{NASA} Formal Methods - 11th International Symposium, {NFM} 2019, Houston, TX, USA, May 7-9, 2019, Proceedings</i>, 2019, vol. 11460, pp. 263–279.","short":"J. König, H. Wehrheim, in: J. M. Badger, K. Yvonne Rozier (Eds.), {NASA} Formal Methods - 11th International Symposium, {NFM} 2019, Houston, TX, USA, May 7-9, 2019, Proceedings, Springer, 2019, pp. 263–279.","mla":"König, Jürgen, and Heike Wehrheim. “Data Independence for Software Transactional Memory.” <i>{NASA} Formal Methods - 11th International Symposium, {NFM} 2019, Houston, TX, USA, May 7-9, 2019, Proceedings</i>, edited by Julia M. Badger and Kristin Yvonne Rozier, vol. 11460, Springer, 2019, pp. 263–79, doi:<a href=\"https://doi.org/10.1007/978-3-030-20652-9\\_18\">10.1007/978-3-030-20652-9\\_18</a>.","bibtex":"@inproceedings{König_Wehrheim_2019, series={Lecture Notes in Computer Science}, title={Data Independence for Software Transactional Memory}, volume={11460}, DOI={<a href=\"https://doi.org/10.1007/978-3-030-20652-9\\_18\">10.1007/978-3-030-20652-9\\_18</a>}, booktitle={{NASA} Formal Methods - 11th International Symposium, {NFM} 2019, Houston, TX, USA, May 7-9, 2019, Proceedings}, publisher={Springer}, author={König, Jürgen and Wehrheim, Heike}, editor={M. Badger, Julia and Yvonne Rozier, KristinEditors}, year={2019}, pages={263–279}, collection={Lecture Notes in Computer Science} }","apa":"König, J., &#38; Wehrheim, H. (2019). Data Independence for Software Transactional Memory. In J. M. Badger &#38; K. Yvonne Rozier (Eds.), <i>{NASA} Formal Methods - 11th International Symposium, {NFM} 2019, Houston, TX, USA, May 7-9, 2019, Proceedings</i> (Vol. 11460, pp. 263–279). Springer. <a href=\"https://doi.org/10.1007/978-3-030-20652-9\\_18\">https://doi.org/10.1007/978-3-030-20652-9\\_18</a>"},"year":"2019","department":[{"_id":"77"}],"user_id":"22358","series_title":"Lecture Notes in Computer Science","_id":"10091","project":[{"_id":"78","name":"Validation of Software Transactional Memory"}],"language":[{"iso":"eng"}],"publication":"{NASA} Formal Methods - 11th International Symposium, {NFM} 2019, Houston, TX, USA, May 7-9, 2019, Proceedings","type":"conference","status":"public","editor":[{"first_name":"Julia","last_name":"M. Badger","full_name":"M. Badger, Julia"},{"last_name":"Yvonne Rozier","full_name":"Yvonne Rozier, Kristin","first_name":"Kristin"}]},{"author":[{"first_name":"Simon","last_name":"Doherty","full_name":"Doherty, Simon"},{"first_name":"Brijesh","full_name":"Dongol, Brijesh","last_name":"Dongol"},{"id":"573","full_name":"Wehrheim, Heike","last_name":"Wehrheim","first_name":"Heike"},{"first_name":"John","last_name":"Derrick","full_name":"Derrick, John"}],"date_created":"2019-06-03T07:59:36Z","publisher":"{ACM}","date_updated":"2022-01-06T06:50:28Z","doi":"10.1145/3293883.3295702","title":"Verifying C11 programs operationally","citation":{"apa":"Doherty, S., Dongol, B., Wehrheim, H., &#38; Derrick, J. (2019). Verifying C11 programs operationally. In J. K. Hollingsworth &#38; I. Keidar (Eds.), <i>Proceedings of the 24th {ACM} {SIGPLAN} Symposium on Principles and Practice of Parallel Programming, PPoPP 2019, Washington, DC, USA, February 16-20, 2019</i> (pp. 355–365). {ACM}. <a href=\"https://doi.org/10.1145/3293883.3295702\">https://doi.org/10.1145/3293883.3295702</a>","bibtex":"@inproceedings{Doherty_Dongol_Wehrheim_Derrick_2019, title={Verifying C11 programs operationally}, DOI={<a href=\"https://doi.org/10.1145/3293883.3295702\">10.1145/3293883.3295702</a>}, booktitle={Proceedings of the 24th {ACM} {SIGPLAN} Symposium on Principles and Practice of Parallel Programming, PPoPP 2019, Washington, DC, USA, February 16-20, 2019}, publisher={{ACM}}, author={Doherty, Simon and Dongol, Brijesh and Wehrheim, Heike and Derrick, John}, editor={K. Hollingsworth, Jeffrey and Keidar, IditEditors}, year={2019}, pages={355–365} }","mla":"Doherty, Simon, et al. “Verifying C11 Programs Operationally.” <i>Proceedings of the 24th {ACM} {SIGPLAN} Symposium on Principles and Practice of Parallel Programming, PPoPP 2019, Washington, DC, USA, February 16-20, 2019</i>, edited by Jeffrey K. Hollingsworth and Idit Keidar, {ACM}, 2019, pp. 355–65, doi:<a href=\"https://doi.org/10.1145/3293883.3295702\">10.1145/3293883.3295702</a>.","short":"S. Doherty, B. Dongol, H. Wehrheim, J. Derrick, in: J. K. Hollingsworth, I. Keidar (Eds.), Proceedings of the 24th {ACM} {SIGPLAN} Symposium on Principles and Practice of Parallel Programming, PPoPP 2019, Washington, DC, USA, February 16-20, 2019, {ACM}, 2019, pp. 355–365.","chicago":"Doherty, Simon, Brijesh Dongol, Heike Wehrheim, and John Derrick. “Verifying C11 Programs Operationally.” In <i>Proceedings of the 24th {ACM} {SIGPLAN} Symposium on Principles and Practice of Parallel Programming, PPoPP 2019, Washington, DC, USA, February 16-20, 2019</i>, edited by Jeffrey K. Hollingsworth and Idit Keidar, 355–65. {ACM}, 2019. <a href=\"https://doi.org/10.1145/3293883.3295702\">https://doi.org/10.1145/3293883.3295702</a>.","ieee":"S. Doherty, B. Dongol, H. Wehrheim, and J. Derrick, “Verifying C11 programs operationally,” in <i>Proceedings of the 24th {ACM} {SIGPLAN} Symposium on Principles and Practice of Parallel Programming, PPoPP 2019, Washington, DC, USA, February 16-20, 2019</i>, 2019, pp. 355–365.","ama":"Doherty S, Dongol B, Wehrheim H, Derrick J. Verifying C11 programs operationally. In: K. Hollingsworth J, Keidar I, eds. <i>Proceedings of the 24th {ACM} {SIGPLAN} Symposium on Principles and Practice of Parallel Programming, PPoPP 2019, Washington, DC, USA, February 16-20, 2019</i>. {ACM}; 2019:355-365. doi:<a href=\"https://doi.org/10.1145/3293883.3295702\">10.1145/3293883.3295702</a>"},"page":"355-365","year":"2019","user_id":"29719","department":[{"_id":"77"}],"project":[{"name":"Validation of Software Transactional Memory","_id":"78"}],"_id":"10092","language":[{"iso":"eng"}],"type":"conference","publication":"Proceedings of the 24th {ACM} {SIGPLAN} Symposium on Principles and Practice of Parallel Programming, PPoPP 2019, Washington, DC, USA, February 16-20, 2019","status":"public","editor":[{"first_name":"Jeffrey","full_name":"K. Hollingsworth, Jeffrey","last_name":"K. Hollingsworth"},{"last_name":"Keidar","full_name":"Keidar, Idit","first_name":"Idit"}]},{"year":"2019","title":"Combining Verifiers in Conditional Model Checking via Reducers","date_created":"2019-06-03T08:08:39Z","publisher":"GI","file":[{"content_type":"application/pdf","relation":"main_file","success":1,"creator":"ups","date_created":"2019-08-26T09:31:55Z","date_updated":"2019-08-26T09:31:55Z","access_level":"closed","file_id":"12956","file_name":"46.pdf","file_size":472426}],"publication":"Software Engineering and Software Management (SE/SWM 2019), Stuttgart, Germany, February 18-22, 2019","language":[{"iso":"eng"}],"ddc":["004"],"citation":{"ama":"Beyer D, Jakobs M-C, Lemberger T, Wehrheim H. Combining Verifiers in Conditional Model Checking via Reducers. In: Becker S, Bogicevic I, Herzwurm G, Wagner S, eds. <i>Software Engineering and Software Management (SE/SWM 2019), Stuttgart, Germany, February 18-22, 2019</i>. Vol P-292. LNI. GI; 2019:151--152. doi:<a href=\"https://doi.org/10.18420/se2019-46\">10.18420/se2019-46</a>","chicago":"Beyer, Dirk, Marie-Christine Jakobs, Thomas Lemberger, and Heike Wehrheim. “Combining Verifiers in Conditional Model Checking via Reducers.” In <i>Software Engineering and Software Management (SE/SWM 2019), Stuttgart, Germany, February 18-22, 2019</i>, edited by Steffen Becker, Ivan Bogicevic, Georg Herzwurm, and Stefan Wagner, P-292:151--152. LNI. GI, 2019. <a href=\"https://doi.org/10.18420/se2019-46\">https://doi.org/10.18420/se2019-46</a>.","ieee":"D. Beyer, M.-C. Jakobs, T. Lemberger, and H. Wehrheim, “Combining Verifiers in Conditional Model Checking via Reducers,” in <i>Software Engineering and Software Management (SE/SWM 2019), Stuttgart, Germany, February 18-22, 2019</i>, 2019, vol. P-292, pp. 151--152.","apa":"Beyer, D., Jakobs, M.-C., Lemberger, T., &#38; Wehrheim, H. (2019). Combining Verifiers in Conditional Model Checking via Reducers. In S. Becker, I. Bogicevic, G. Herzwurm, &#38; S. Wagner (Eds.), <i>Software Engineering and Software Management (SE/SWM 2019), Stuttgart, Germany, February 18-22, 2019</i> (Vol. P-292, pp. 151--152). GI. <a href=\"https://doi.org/10.18420/se2019-46\">https://doi.org/10.18420/se2019-46</a>","short":"D. Beyer, M.-C. Jakobs, T. Lemberger, H. Wehrheim, in: S. Becker, I. Bogicevic, G. Herzwurm, S. Wagner (Eds.), Software Engineering and Software Management (SE/SWM 2019), Stuttgart, Germany, February 18-22, 2019, GI, 2019, pp. 151--152.","bibtex":"@inproceedings{Beyer_Jakobs_Lemberger_Wehrheim_2019, series={LNI}, title={Combining Verifiers in Conditional Model Checking via Reducers}, volume={P-292}, DOI={<a href=\"https://doi.org/10.18420/se2019-46\">10.18420/se2019-46</a>}, booktitle={Software Engineering and Software Management (SE/SWM 2019), Stuttgart, Germany, February 18-22, 2019}, publisher={GI}, author={Beyer, Dirk and Jakobs, Marie-Christine and Lemberger, Thomas and Wehrheim, Heike}, editor={Becker, Steffen and Bogicevic, Ivan and Herzwurm, Georg and Wagner, StefanEditors}, year={2019}, pages={151--152}, collection={LNI} }","mla":"Beyer, Dirk, et al. “Combining Verifiers in Conditional Model Checking via Reducers.” <i>Software Engineering and Software Management (SE/SWM 2019), Stuttgart, Germany, February 18-22, 2019</i>, edited by Steffen Becker et al., vol. P-292, GI, 2019, pp. 151--152, doi:<a href=\"https://doi.org/10.18420/se2019-46\">10.18420/se2019-46</a>."},"page":"151--152","has_accepted_license":"1","doi":"10.18420/se2019-46","author":[{"first_name":"Dirk","last_name":"Beyer","full_name":"Beyer, Dirk"},{"first_name":"Marie-Christine","last_name":"Jakobs","full_name":"Jakobs, Marie-Christine"},{"full_name":"Lemberger, Thomas","last_name":"Lemberger","first_name":"Thomas"},{"last_name":"Wehrheim","id":"573","full_name":"Wehrheim, Heike","first_name":"Heike"}],"volume":"P-292","date_updated":"2022-01-06T06:50:28Z","status":"public","editor":[{"last_name":"Becker","full_name":"Becker, Steffen","first_name":"Steffen"},{"first_name":"Ivan","full_name":"Bogicevic, Ivan","last_name":"Bogicevic"},{"first_name":"Georg","full_name":"Herzwurm, Georg","last_name":"Herzwurm"},{"last_name":"Wagner","full_name":"Wagner, Stefan","first_name":"Stefan"}],"type":"conference","file_date_updated":"2019-08-26T09:31:55Z","series_title":"LNI","user_id":"477","department":[{"_id":"77"}],"project":[{"name":"SFB 901 - Subproject B4","_id":"12"},{"_id":"1","name":"SFB 901"},{"name":"SFB 901 - Project Area B","_id":"3"}],"_id":"10093"},{"type":"conference","publication":"Software Engineering and Software Management, {SE/SWM} 2019, Stuttgart, Germany, February 18-22, 2019","status":"public","editor":[{"full_name":"Becker, Steffen","last_name":"Becker","first_name":"Steffen"},{"full_name":"Bogicevic, Ivan","last_name":"Bogicevic","first_name":"Ivan"},{"full_name":"Herzwurm, Georg","last_name":"Herzwurm","first_name":"Georg"},{"last_name":"Wagner","full_name":"Wagner, Stefan","first_name":"Stefan"}],"series_title":"{LNI}","user_id":"29719","department":[{"_id":"77"}],"_id":"10094","language":[{"iso":"eng"}],"citation":{"ama":"Sharma A, Wehrheim H. Testing Balancedness of ML Algorithms. In: Becker S, Bogicevic I, Herzwurm G, Wagner S, eds. <i>Software Engineering and Software Management, {SE/SWM} 2019, Stuttgart, Germany, February 18-22, 2019</i>. Vol {P-292}. {LNI}. {GI}; 2019:157-158. doi:<a href=\"https://doi.org/10.18420/se2019-48\">10.18420/se2019-48</a>","ieee":"A. Sharma and H. Wehrheim, “Testing Balancedness of ML Algorithms,” in <i>Software Engineering and Software Management, {SE/SWM} 2019, Stuttgart, Germany, February 18-22, 2019</i>, 2019, vol. {P-292}, pp. 157–158.","chicago":"Sharma, Arnab, and Heike Wehrheim. “Testing Balancedness of ML Algorithms.” In <i>Software Engineering and Software Management, {SE/SWM} 2019, Stuttgart, Germany, February 18-22, 2019</i>, edited by Steffen Becker, Ivan Bogicevic, Georg Herzwurm, and Stefan Wagner, {P-292}:157–58. {LNI}. {GI}, 2019. <a href=\"https://doi.org/10.18420/se2019-48\">https://doi.org/10.18420/se2019-48</a>.","short":"A. Sharma, H. Wehrheim, in: S. Becker, I. Bogicevic, G. Herzwurm, S. Wagner (Eds.), Software Engineering and Software Management, {SE/SWM} 2019, Stuttgart, Germany, February 18-22, 2019, {GI}, 2019, pp. 157–158.","bibtex":"@inproceedings{Sharma_Wehrheim_2019, series={{LNI}}, title={Testing Balancedness of ML Algorithms}, volume={{P-292}}, DOI={<a href=\"https://doi.org/10.18420/se2019-48\">10.18420/se2019-48</a>}, booktitle={Software Engineering and Software Management, {SE/SWM} 2019, Stuttgart, Germany, February 18-22, 2019}, publisher={{GI}}, author={Sharma, Arnab and Wehrheim, Heike}, editor={Becker, Steffen and Bogicevic, Ivan and Herzwurm, Georg and Wagner, StefanEditors}, year={2019}, pages={157–158}, collection={{LNI}} }","mla":"Sharma, Arnab, and Heike Wehrheim. “Testing Balancedness of ML Algorithms.” <i>Software Engineering and Software Management, {SE/SWM} 2019, Stuttgart, Germany, February 18-22, 2019</i>, edited by Steffen Becker et al., vol. {P-292}, {GI}, 2019, pp. 157–58, doi:<a href=\"https://doi.org/10.18420/se2019-48\">10.18420/se2019-48</a>.","apa":"Sharma, A., &#38; Wehrheim, H. (2019). Testing Balancedness of ML Algorithms. In S. Becker, I. Bogicevic, G. Herzwurm, &#38; S. Wagner (Eds.), <i>Software Engineering and Software Management, {SE/SWM} 2019, Stuttgart, Germany, February 18-22, 2019</i> (Vol. {P-292}, pp. 157–158). {GI}. <a href=\"https://doi.org/10.18420/se2019-48\">https://doi.org/10.18420/se2019-48</a>"},"page":"157-158","year":"2019","author":[{"first_name":"Arnab","last_name":"Sharma","full_name":"Sharma, Arnab","id":"67200"},{"first_name":"Heike","last_name":"Wehrheim","full_name":"Wehrheim, Heike","id":"573"}],"date_created":"2019-06-03T08:10:55Z","volume":"{P-292}","publisher":"{GI}","date_updated":"2022-01-06T06:50:28Z","doi":"10.18420/se2019-48","title":"Testing Balancedness of ML Algorithms"},{"date_created":"2019-06-03T08:12:55Z","publisher":"Springer","title":"PeSCo: Predicting Sequential Combinations of Verifiers - (Competition Contribution)","year":"2019","language":[{"iso":"eng"}],"ddc":["004"],"publication":"Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of {TACAS:} TOOLympics, Held as Part of {ETAPS} 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part {III}","file":[{"content_type":"application/pdf","relation":"main_file","success":1,"date_created":"2019-08-26T11:01:00Z","creator":"ups","date_updated":"2019-08-26T11:01:00Z","file_name":"PeSCo.pdf","access_level":"closed","file_id":"12961","file_size":254772}],"volume":11429,"author":[{"id":"50003","full_name":"Richter, Cedric","last_name":"Richter","first_name":"Cedric"},{"first_name":"Heike","id":"573","full_name":"Wehrheim, Heike","last_name":"Wehrheim"}],"date_updated":"2022-01-06T06:50:29Z","doi":"10.1007/978-3-030-17502-3_19","has_accepted_license":"1","intvolume":"     11429","page":"229-233","citation":{"apa":"Richter, C., &#38; Wehrheim, H. (2019). PeSCo: Predicting Sequential Combinations of Verifiers - (Competition Contribution). In D. Beyer, M. Huisman, F. Kordon, &#38; B. Steffen (Eds.), <i>Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of {TACAS:} TOOLympics, Held as Part of {ETAPS} 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part {III}</i> (Vol. 11429, pp. 229–233). Springer. <a href=\"https://doi.org/10.1007/978-3-030-17502-3_19\">https://doi.org/10.1007/978-3-030-17502-3_19</a>","bibtex":"@inproceedings{Richter_Wehrheim_2019, series={Lecture Notes in Computer Science}, title={PeSCo: Predicting Sequential Combinations of Verifiers - (Competition Contribution)}, volume={11429}, DOI={<a href=\"https://doi.org/10.1007/978-3-030-17502-3_19\">10.1007/978-3-030-17502-3_19</a>}, booktitle={Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of {TACAS:} TOOLympics, Held as Part of {ETAPS} 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part {III}}, publisher={Springer}, author={Richter, Cedric and Wehrheim, Heike}, editor={Beyer, Dirk and Huisman, Marieke and Kordon, Fabrice and Steffen, BernhardEditors}, year={2019}, pages={229–233}, collection={Lecture Notes in Computer Science} }","short":"C. Richter, H. Wehrheim, in: D. Beyer, M. Huisman, F. Kordon, B. Steffen (Eds.), Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of {TACAS:} TOOLympics, Held as Part of {ETAPS} 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part {III}, Springer, 2019, pp. 229–233.","mla":"Richter, Cedric, and Heike Wehrheim. “PeSCo: Predicting Sequential Combinations of Verifiers - (Competition Contribution).” <i>Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of {TACAS:} TOOLympics, Held as Part of {ETAPS} 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part {III}</i>, edited by Dirk Beyer et al., vol. 11429, Springer, 2019, pp. 229–33, doi:<a href=\"https://doi.org/10.1007/978-3-030-17502-3_19\">10.1007/978-3-030-17502-3_19</a>.","chicago":"Richter, Cedric, and Heike Wehrheim. “PeSCo: Predicting Sequential Combinations of Verifiers - (Competition Contribution).” In <i>Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of {TACAS:} TOOLympics, Held as Part of {ETAPS} 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part {III}</i>, edited by Dirk Beyer, Marieke Huisman, Fabrice Kordon, and Bernhard Steffen, 11429:229–33. Lecture Notes in Computer Science. Springer, 2019. <a href=\"https://doi.org/10.1007/978-3-030-17502-3_19\">https://doi.org/10.1007/978-3-030-17502-3_19</a>.","ieee":"C. Richter and H. Wehrheim, “PeSCo: Predicting Sequential Combinations of Verifiers - (Competition Contribution),” in <i>Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of {TACAS:} TOOLympics, Held as Part of {ETAPS} 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part {III}</i>, 2019, vol. 11429, pp. 229–233.","ama":"Richter C, Wehrheim H. PeSCo: Predicting Sequential Combinations of Verifiers - (Competition Contribution). In: Beyer D, Huisman M, Kordon F, Steffen B, eds. <i>Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of {TACAS:} TOOLympics, Held as Part of {ETAPS} 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part {III}</i>. Vol 11429. Lecture Notes in Computer Science. Springer; 2019:229-233. doi:<a href=\"https://doi.org/10.1007/978-3-030-17502-3_19\">10.1007/978-3-030-17502-3_19</a>"},"department":[{"_id":"77"}],"series_title":"Lecture Notes in Computer Science","user_id":"29719","_id":"10095","project":[{"name":"SFB 901 - Subproject B4","_id":"12"},{"name":"SFB 901","_id":"1"},{"name":"SFB 901 - Project Area B","_id":"3"}],"file_date_updated":"2019-08-26T11:01:00Z","type":"conference","status":"public","editor":[{"first_name":"Dirk","full_name":"Beyer, Dirk","last_name":"Beyer"},{"last_name":"Huisman","full_name":"Huisman, Marieke","first_name":"Marieke"},{"first_name":"Fabrice","last_name":"Kordon","full_name":"Kordon, Fabrice"},{"first_name":"Bernhard","last_name":"Steffen","full_name":"Steffen, Bernhard"}]},{"date_updated":"2022-01-06T06:50:29Z","volume":"abs/1905.08505","date_created":"2019-06-03T08:17:07Z","author":[{"full_name":"Beyer, Dirk","last_name":"Beyer","first_name":"Dirk"},{"last_name":"Wehrheim","full_name":"Wehrheim, Heike","id":"573","first_name":"Heike"}],"title":"Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework","year":"2019","citation":{"ieee":"D. Beyer and H. Wehrheim, “Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework,” <i>CoRR</i>, vol. abs/1905.08505, 2019.","chicago":"Beyer, Dirk, and Heike Wehrheim. “Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework.” <i>CoRR</i> abs/1905.08505 (2019).","ama":"Beyer D, Wehrheim H. Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework. <i>CoRR</i>. 2019;abs/1905.08505.","mla":"Beyer, Dirk, and Heike Wehrheim. “Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework.” <i>CoRR</i>, vol. abs/1905.08505, 2019.","bibtex":"@article{Beyer_Wehrheim_2019, title={Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework}, volume={abs/1905.08505}, journal={CoRR}, author={Beyer, Dirk and Wehrheim, Heike}, year={2019} }","short":"D. Beyer, H. Wehrheim, CoRR abs/1905.08505 (2019).","apa":"Beyer, D., &#38; Wehrheim, H. (2019). Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework. <i>CoRR</i>, <i>abs/1905.08505</i>."},"_id":"10096","department":[{"_id":"34"}],"user_id":"29719","language":[{"iso":"eng"}],"publication":"CoRR","type":"journal_article","status":"public"},{"user_id":"21810","department":[{"_id":"186"},{"_id":"578"}],"_id":"10103","language":[{"iso":"eng"}],"article_type":"original","keyword":["Cryptocurrencies Bitcoin Trading Investor returns Demographics"],"type":"journal_article","publication":"Journal of Behavioral and Experimental Finance","status":"public","abstract":[{"lang":"eng","text":"We investigate the demographic characteristics, trading patterns, and performance of 465.926 brokerage accounts with respect to cryptocurrency trading. We find that cryptocurrency trading became increasingly popular across individuals of all different groups of age, gender, and trading patterns. Yet, men are more likely to engage in cryptocurrency trading, trade more frequently, and more speculative, respectively. As a result, men realize lower returns. Furthermore, we find that investors vary their trading patterns across different asset classes."}],"author":[{"first_name":"Tim","full_name":"Hasso, Tim","last_name":"Hasso"},{"last_name":"Pelster","orcid":" https://orcid.org/0000-0001-5740-2420","full_name":"Pelster, Matthias","id":"67265","first_name":"Matthias"},{"last_name":"Breitmayer","full_name":"Breitmayer, Bastian","first_name":"Bastian"}],"date_created":"2019-06-04T07:01:34Z","volume":23,"date_updated":"2022-01-06T06:50:29Z","publisher":"Elsevier","doi":"10.1016/j.jbef.2019.04.009","title":"Who trades cryptocurrencies, how do they trade it, and how do they perform? Evidence from brokerage accounts","publication_status":"published","jel":["G11"],"citation":{"bibtex":"@article{Hasso_Pelster_Breitmayer_2019, title={Who trades cryptocurrencies, how do they trade it, and how do they perform? Evidence from brokerage accounts}, volume={23}, DOI={<a href=\"https://doi.org/10.1016/j.jbef.2019.04.009\">10.1016/j.jbef.2019.04.009</a>}, journal={Journal of Behavioral and Experimental Finance}, publisher={Elsevier}, author={Hasso, Tim and Pelster, Matthias and Breitmayer, Bastian}, year={2019}, pages={64–74} }","mla":"Hasso, Tim, et al. “Who Trades Cryptocurrencies, How Do They Trade It, and How Do They Perform? Evidence from Brokerage Accounts.” <i>Journal of Behavioral and Experimental Finance</i>, vol. 23, Elsevier, 2019, pp. 64–74, doi:<a href=\"https://doi.org/10.1016/j.jbef.2019.04.009\">10.1016/j.jbef.2019.04.009</a>.","short":"T. Hasso, M. Pelster, B. Breitmayer, Journal of Behavioral and Experimental Finance 23 (2019) 64–74.","apa":"Hasso, T., Pelster, M., &#38; Breitmayer, B. (2019). Who trades cryptocurrencies, how do they trade it, and how do they perform? Evidence from brokerage accounts. <i>Journal of Behavioral and Experimental Finance</i>, <i>23</i>, 64–74. <a href=\"https://doi.org/10.1016/j.jbef.2019.04.009\">https://doi.org/10.1016/j.jbef.2019.04.009</a>","ama":"Hasso T, Pelster M, Breitmayer B. Who trades cryptocurrencies, how do they trade it, and how do they perform? Evidence from brokerage accounts. <i>Journal of Behavioral and Experimental Finance</i>. 2019;23:64-74. doi:<a href=\"https://doi.org/10.1016/j.jbef.2019.04.009\">10.1016/j.jbef.2019.04.009</a>","chicago":"Hasso, Tim, Matthias Pelster, and Bastian Breitmayer. “Who Trades Cryptocurrencies, How Do They Trade It, and How Do They Perform? Evidence from Brokerage Accounts.” <i>Journal of Behavioral and Experimental Finance</i> 23 (2019): 64–74. <a href=\"https://doi.org/10.1016/j.jbef.2019.04.009\">https://doi.org/10.1016/j.jbef.2019.04.009</a>.","ieee":"T. Hasso, M. Pelster, and B. Breitmayer, “Who trades cryptocurrencies, how do they trade it, and how do they perform? Evidence from brokerage accounts,” <i>Journal of Behavioral and Experimental Finance</i>, vol. 23, pp. 64–74, 2019."},"intvolume":"        23","page":"64-74","year":"2019"},{"year":"2019","citation":{"chicago":"Haltermann, Jan. <i>Analyzing Data Usage in Array Programs</i>. Universität Paderborn, 2019.","ieee":"J. Haltermann, <i>Analyzing Data Usage in Array Programs</i>. Universität Paderborn, 2019.","ama":"Haltermann J. <i>Analyzing Data Usage in Array Programs</i>. Universität Paderborn; 2019.","apa":"Haltermann, J. (2019). <i>Analyzing Data Usage in Array Programs</i>. Universität Paderborn.","short":"J. Haltermann, Analyzing Data Usage in Array Programs, Universität Paderborn, 2019.","mla":"Haltermann, Jan. <i>Analyzing Data Usage in Array Programs</i>. Universität Paderborn, 2019.","bibtex":"@book{Haltermann_2019, title={Analyzing Data Usage in Array Programs}, publisher={Universität Paderborn}, author={Haltermann, Jan}, year={2019} }"},"title":"Analyzing Data Usage in Array Programs","date_updated":"2022-01-06T06:50:29Z","publisher":"Universität Paderborn","date_created":"2019-06-04T10:54:08Z","supervisor":[{"first_name":"Heike","last_name":"Wehrheim","full_name":"Wehrheim, Heike","id":"573"}],"author":[{"first_name":"Jan","full_name":"Haltermann, Jan","last_name":"Haltermann"}],"status":"public","type":"mastersthesis","language":[{"iso":"eng"}],"_id":"10105","project":[{"_id":"1","name":"SFB 901"},{"_id":"3","name":"SFB 901 - Project Area B"},{"_id":"11","name":"SFB 901 - Subproject B3"}],"department":[{"_id":"7"},{"_id":"77"}],"user_id":"477"},{"user_id":"11289","department":[{"_id":"49"}],"_id":"10135","language":[{"iso":"ger"}],"type":"conference","publication":"Fortschritte der Akustik - DAGA 2019","status":"public","author":[{"orcid":"0000-0001-6411-4232","last_name":"Webersen","id":"11289","full_name":"Webersen, Manuel","first_name":"Manuel"},{"last_name":"Hüttner","full_name":"Hüttner, Matthias","first_name":"Matthias"},{"first_name":"Fabian","last_name":"Woitschek","full_name":"Woitschek, Fabian"},{"last_name":"Moritzer","full_name":"Moritzer, Elmar","first_name":"Elmar"},{"full_name":"Henning, Bernd","id":"213","last_name":"Henning","first_name":"Bernd"}],"date_created":"2019-06-06T07:16:22Z","date_updated":"2022-01-06T06:50:30Z","conference":{"start_date":"2019-03-18","name":"45. Jahrestagung f[r Akustik - DAGA 2019","location":"Rostock","end_date":"2019-03-21"},"title":"Akustische Charakterisierung der mechanischen Eigenschaften künstlich gealterter Polymere","publication_status":"published","publication_identifier":{"unknown":["978-3-939296-14-0"]},"citation":{"bibtex":"@inproceedings{Webersen_Hüttner_Woitschek_Moritzer_Henning_2019, title={Akustische Charakterisierung der mechanischen Eigenschaften künstlich gealterter Polymere}, booktitle={Fortschritte der Akustik - DAGA 2019}, author={Webersen, Manuel and Hüttner, Matthias and Woitschek, Fabian and Moritzer, Elmar and Henning, Bernd}, editor={Deutsche Gesellschaft für Akustik e.V. (DEGA)Editor}, year={2019} }","mla":"Webersen, Manuel, et al. “Akustische Charakterisierung der mechanischen Eigenschaften künstlich gealterter Polymere.” <i>Fortschritte der Akustik - DAGA 2019</i>, edited by Deutsche Gesellschaft für Akustik e.V. (DEGA), 2019.","short":"M. Webersen, M. Hüttner, F. Woitschek, E. Moritzer, B. Henning, in: Deutsche Gesellschaft für Akustik e.V. (DEGA) (Ed.), Fortschritte der Akustik - DAGA 2019, 2019.","apa":"Webersen, M., Hüttner, M., Woitschek, F., Moritzer, E., &#38; Henning, B. (2019). Akustische Charakterisierung der mechanischen Eigenschaften künstlich gealterter Polymere. In Deutsche Gesellschaft für Akustik e.V. (DEGA) (Ed.), <i>Fortschritte der Akustik - DAGA 2019</i>. Rostock.","ieee":"M. Webersen, M. Hüttner, F. Woitschek, E. Moritzer, and B. Henning, “Akustische Charakterisierung der mechanischen Eigenschaften künstlich gealterter Polymere,” in <i>Fortschritte der Akustik - DAGA 2019</i>, Rostock, 2019.","chicago":"Webersen, Manuel, Matthias Hüttner, Fabian Woitschek, Elmar Moritzer, and Bernd Henning. “Akustische Charakterisierung der mechanischen Eigenschaften künstlich gealterter Polymere.” In <i>Fortschritte der Akustik - DAGA 2019</i>, edited by Deutsche Gesellschaft für Akustik e.V. (DEGA), 2019.","ama":"Webersen M, Hüttner M, Woitschek F, Moritzer E, Henning B. Akustische Charakterisierung der mechanischen Eigenschaften künstlich gealterter Polymere. In: Deutsche Gesellschaft für Akustik e.V. (DEGA), ed. <i>Fortschritte der Akustik - DAGA 2019</i>. ; 2019."},"corporate_editor":["Deutsche Gesellschaft für Akustik e.V. (DEGA)"],"year":"2019"},{"project":[{"_id":"1","name":"SFB 901"},{"_id":"3","name":"SFB 901 - Project Area B"},{"_id":"10","name":"SFB 901 - Subproject B2"},{"name":"Computing Resources Provided by the Paderborn Center for Parallel Computing","_id":"52"}],"_id":"10232","user_id":"33176","department":[{"_id":"355"}],"ddc":["006"],"file_date_updated":"2019-09-10T08:20:44Z","language":[{"iso":"eng"}],"type":"conference","abstract":[{"lang":"eng","text":"Existing tools for automated machine learning, such as Auto-WEKA, TPOT, auto-sklearn, and more recently ML-Plan, have shown impressive results for the tasks of single-label classification and regression. Yet, there is only little work on other types of machine learning problems so far. In particular, there is almost no work on automating the engineering of machine learning solutions for multi-label classification (MLC). We show how the scope of ML-Plan, an AutoML-tool for multi-class classification, can be extended towards MLC using MEKA, which is a multi-label extension of the well-known Java library WEKA. The resulting approach recursively refines MEKA's multi-label classifiers, nesting other multi-label classifiers for meta algorithms and single-label classifiers provided by WEKA as base learners. In our evaluation, we find that the proposed approach yields strong results and performs significantly better than a set of baselines we compare with."}],"file":[{"date_created":"2019-09-10T08:19:01Z","creator":"wever","date_updated":"2019-09-10T08:20:44Z","access_level":"open_access","file_id":"13177","file_name":"Automating_MultiLabel_Classification_Extending_ML-Plan.pdf","file_size":388191,"content_type":"application/pdf","relation":"main_file"}],"status":"public","oa":"1","date_updated":"2022-01-06T06:50:33Z","author":[{"last_name":"Wever","orcid":" https://orcid.org/0000-0001-9782-6818","id":"33176","full_name":"Wever, Marcel Dominik","first_name":"Marcel Dominik"},{"first_name":"Felix","last_name":"Mohr","full_name":"Mohr, Felix"},{"first_name":"Alexander","full_name":"Tornede, Alexander","id":"38209","last_name":"Tornede"},{"full_name":"Hüllermeier, Eyke","id":"48129","last_name":"Hüllermeier","first_name":"Eyke"}],"date_created":"2019-06-11T21:33:06Z","title":"Automating Multi-Label Classification Extending ML-Plan","conference":{"end_date":"2019-06-15","location":"Long Beach, CA, USA","name":"6th ICML Workshop on Automated Machine Learning (AutoML 2019)","start_date":"2019-06-09"},"has_accepted_license":"1","year":"2019","citation":{"chicago":"Wever, Marcel Dominik, Felix Mohr, Alexander Tornede, and Eyke Hüllermeier. “Automating Multi-Label Classification Extending ML-Plan,” 2019.","ieee":"M. D. Wever, F. Mohr, A. Tornede, and E. Hüllermeier, “Automating Multi-Label Classification Extending ML-Plan,” presented at the 6th ICML Workshop on Automated Machine Learning (AutoML 2019), Long Beach, CA, USA, 2019.","ama":"Wever MD, Mohr F, Tornede A, Hüllermeier E. Automating Multi-Label Classification Extending ML-Plan. In: ; 2019.","short":"M.D. Wever, F. Mohr, A. Tornede, E. Hüllermeier, in: 2019.","bibtex":"@inproceedings{Wever_Mohr_Tornede_Hüllermeier_2019, title={Automating Multi-Label Classification Extending ML-Plan}, author={Wever, Marcel Dominik and Mohr, Felix and Tornede, Alexander and Hüllermeier, Eyke}, year={2019} }","mla":"Wever, Marcel Dominik, et al. <i>Automating Multi-Label Classification Extending ML-Plan</i>. 2019.","apa":"Wever, M. D., Mohr, F., Tornede, A., &#38; Hüllermeier, E. (2019). Automating Multi-Label Classification Extending ML-Plan. Presented at the 6th ICML Workshop on Automated Machine Learning (AutoML 2019), Long Beach, CA, USA."}},{"_id":"10255","user_id":"55222","department":[{"_id":"151"}],"language":[{"iso":"eng"}],"type":"conference","publication":"10. VDI-Fachtagung Schwingungen von Windenergieanlagen 2019","abstract":[{"lang":"eng","text":"Gummi-Metall-Teile (GM-Teile) werden zur Schwingungsreduktion u. a. in Windenergieanlagen eingesetzt. Mögliche Anwendungen der Teile liegen in Wellen-, Generator- und Getriebelagerungen, Lagern für die Gondel und ihre Komponenten sowie in Drehmomentstützen. Mit dem Ziel eine prädiktive Instandhaltung zu realisieren, soll eine Zustandsüberwachung für die GM-Teile entwickelt werden. Diese Entwicklung basiert auf der Umsetzung diverser Schritte. Neben der funktionalen Betrachtung wird zwingend auch die konstruktive Integration der Sensoren in das überwachte Teil berücksichtigt. Der Schwerpunkt dieser Arbeit liegt auf der verwendeten Messgröße Temperatur, die mittels ausgewählter Sensorik detektiert wird. Dabei werden Lebensdauerversuche unter instationären Betriebsbedingungen durchgeführt, um diese Messdaten zu generieren. In der Datenauswertung werden sie hinsichtlich der Degradierung des GM-Teils analysiert und für die Ermittlung der nutzbaren Restlebensdauer verwendet. Rubber-metal-elements are used for isolation of vibrations e. g. in wind turbines. Possible applications of the elements are shaft bearings, generator bearings, gearbox bearings, bearings for the nacelle and its components and torque supports. In order to realize predictive maintenance, an accurate condition monitoring system for rubber-metal-elements should be developed. During that development different aspects have to be implemented. Additionally to the functional analysis, the constructive integration of the sensors into the monitored part is mandatory. The focus of this work is on the measured variable temperature, which is detected by means of appropriate sensors. Thereby lifetime tests are run under non-stationary operating conditions to generate temperature measurements. During data analysis, the measured data is analyzed regarding the degradation of the rubber-metal-elements and remaining useful lifetimes are estimated."}],"status":"public","date_updated":"2022-01-06T06:50:33Z","author":[{"full_name":"Bender, Amelie","id":"54290","last_name":"Bender","first_name":"Amelie"},{"last_name":"Reinke","full_name":"Reinke, Kai","first_name":"Kai"},{"first_name":"Walter","last_name":"Sextro","id":"21220","full_name":"Sextro, Walter"}],"date_created":"2019-06-17T09:36:23Z","volume":"VDI-Berichte 2346","title":"Konstruktion und Zustandsüberwachung eines Gummi-Metall-Teils mit integriertem Thermoelement","year":"2019","place":"Bremen 2019","citation":{"chicago":"Bender, Amelie, Kai Reinke, and Walter Sextro. “Konstruktion Und Zustandsüberwachung Eines Gummi-Metall-Teils Mit Integriertem Thermoelement.” In <i>10. VDI-Fachtagung Schwingungen von Windenergieanlagen 2019</i>, VDI-Berichte 2346:241–48. Bremen 2019, 2019.","ieee":"A. Bender, K. Reinke, and W. Sextro, “Konstruktion und Zustandsüberwachung eines Gummi-Metall-Teils mit integriertem Thermoelement,” in <i>10. VDI-Fachtagung Schwingungen von Windenergieanlagen 2019</i>, 2019, vol. VDI-Berichte 2346, pp. 241–248.","ama":"Bender A, Reinke K, Sextro W. Konstruktion und Zustandsüberwachung eines Gummi-Metall-Teils mit integriertem Thermoelement. In: <i>10. VDI-Fachtagung Schwingungen von Windenergieanlagen 2019</i>. Vol VDI-Berichte 2346. Bremen 2019; 2019:241-248.","bibtex":"@inproceedings{Bender_Reinke_Sextro_2019, place={Bremen 2019}, title={Konstruktion und Zustandsüberwachung eines Gummi-Metall-Teils mit integriertem Thermoelement}, volume={VDI-Berichte 2346}, booktitle={10. VDI-Fachtagung Schwingungen von Windenergieanlagen 2019}, author={Bender, Amelie and Reinke, Kai and Sextro, Walter}, year={2019}, pages={241–248} }","short":"A. Bender, K. Reinke, W. Sextro, in: 10. VDI-Fachtagung Schwingungen von Windenergieanlagen 2019, Bremen 2019, 2019, pp. 241–248.","mla":"Bender, Amelie, et al. “Konstruktion Und Zustandsüberwachung Eines Gummi-Metall-Teils Mit Integriertem Thermoelement.” <i>10. VDI-Fachtagung Schwingungen von Windenergieanlagen 2019</i>, vol. VDI-Berichte 2346, 2019, pp. 241–48.","apa":"Bender, A., Reinke, K., &#38; Sextro, W. (2019). Konstruktion und Zustandsüberwachung eines Gummi-Metall-Teils mit integriertem Thermoelement. In <i>10. VDI-Fachtagung Schwingungen von Windenergieanlagen 2019</i> (Vol. VDI-Berichte 2346, pp. 241–248). Bremen 2019."},"page":"241-248"},{"department":[{"_id":"151"}],"user_id":"55222","_id":"10257","language":[{"iso":"eng"}],"publication":"Fachtagung Mechatronik 2019 Paderborn","type":"conference","status":"public","abstract":[{"text":"In der Entwicklung mechatronischer Systeme spielt die Steigerung der Verlässlichkeit und somit auch der Zuverlässigkeit und der funktionalen Sicherheit eine entscheidende Rolle. Die modellbasierte Entwicklung liefert in Kombination mit unterstützender Software einen wichtigen Beitrag zur Absicherung der Verlässlichkeit mechatronischer Systeme in frühen Entwicklungsphasen. In der Nutzungsphase ermöglichen aktuelle Verfahren der Zustandsüberwachung und moderne Methoden der Regelungstechnik eine effektive Absicherung. Modelle aus der Entwicklung mechatronischer Systeme enthalten weitreichende Informationen über die Architektur, das Verhalten und die Verlässlichkeit eines Systems. Diese Modelle können als Grundlage für die Erstellung eines Digitalen Zwillings für die vorausschauende Instandhaltung verwendet und mit Zustandsdaten des realen Systems kombiniert werden. Die Nutzung der Modelle für den Digitalen Zwilling bietet weitreichende Potenziale und vereinfacht dessen Erzeugung. Die Veröffentlichung beschreibt Rahmenbedingungen der Integration und stellt die Potenziale des Digitalen Zwillings zur vorausschauenden Instandhaltung dar.","lang":"eng"}],"date_created":"2019-06-17T12:43:10Z","author":[{"id":"14802","full_name":"Kaul, Thorben","last_name":"Kaul","first_name":"Thorben"},{"last_name":"Hentze","id":"13342","full_name":"Hentze, Julian","first_name":"Julian"},{"id":"21220","full_name":"Sextro, Walter","last_name":"Sextro","first_name":"Walter"},{"full_name":"Gräßler, Iris","last_name":"Gräßler","first_name":"Iris"}],"date_updated":"2022-01-06T06:50:33Z","title":"Integration von Verlässlichkeitsmodellen der Entwicklung in einen Digitalen Zwilling zur Umsetzung einer vorausschauenden Instandhaltung","citation":{"bibtex":"@inproceedings{Kaul_Hentze_Sextro_Gräßler_2019, title={Integration von Verlässlichkeitsmodellen der Entwicklung in einen Digitalen Zwilling zur Umsetzung einer vorausschauenden Instandhaltung}, booktitle={Fachtagung Mechatronik 2019 Paderborn}, author={Kaul, Thorben and Hentze, Julian and Sextro, Walter and Gräßler, Iris}, year={2019} }","mla":"Kaul, Thorben, et al. “Integration von Verlässlichkeitsmodellen Der Entwicklung in Einen Digitalen Zwilling Zur Umsetzung Einer Vorausschauenden Instandhaltung.” <i>Fachtagung Mechatronik 2019 Paderborn</i>, 2019.","short":"T. Kaul, J. Hentze, W. Sextro, I. Gräßler, in: Fachtagung Mechatronik 2019 Paderborn, 2019.","apa":"Kaul, T., Hentze, J., Sextro, W., &#38; Gräßler, I. (2019). Integration von Verlässlichkeitsmodellen der Entwicklung in einen Digitalen Zwilling zur Umsetzung einer vorausschauenden Instandhaltung. In <i>Fachtagung Mechatronik 2019 Paderborn</i>.","chicago":"Kaul, Thorben, Julian Hentze, Walter Sextro, and Iris Gräßler. “Integration von Verlässlichkeitsmodellen Der Entwicklung in Einen Digitalen Zwilling Zur Umsetzung Einer Vorausschauenden Instandhaltung.” In <i>Fachtagung Mechatronik 2019 Paderborn</i>, 2019.","ieee":"T. Kaul, J. Hentze, W. Sextro, and I. Gräßler, “Integration von Verlässlichkeitsmodellen der Entwicklung in einen Digitalen Zwilling zur Umsetzung einer vorausschauenden Instandhaltung,” in <i>Fachtagung Mechatronik 2019 Paderborn</i>, 2019.","ama":"Kaul T, Hentze J, Sextro W, Gräßler I. Integration von Verlässlichkeitsmodellen der Entwicklung in einen Digitalen Zwilling zur Umsetzung einer vorausschauenden Instandhaltung. In: <i>Fachtagung Mechatronik 2019 Paderborn</i>. ; 2019."},"year":"2019"}]