[{"date_updated":"2023-10-06T12:41:42Z","author":[{"first_name":"Jürgen","last_name":"König","full_name":"König, Jürgen"}],"date_created":"2023-10-06T12:41:35Z","supervisor":[{"full_name":"Wehrheim, Heike","id":"573","last_name":"Wehrheim","first_name":"Heike"}],"title":"On the Membership and Correctness Problem for State Serializability and Value Opacity","year":"2023","citation":{"ieee":"J. König, <i>On the Membership and Correctness Problem for State Serializability and Value Opacity</i>. 2023.","chicago":"König, Jürgen. <i>On the Membership and Correctness Problem for State Serializability and Value Opacity</i>, 2023.","ama":"König J. <i>On the Membership and Correctness Problem for State Serializability and Value Opacity</i>.; 2023.","short":"J. König, On the Membership and Correctness Problem for State Serializability and Value Opacity, 2023.","mla":"König, Jürgen. <i>On the Membership and Correctness Problem for State Serializability and Value Opacity</i>. 2023.","bibtex":"@book{König_2023, title={On the Membership and Correctness Problem for State Serializability and Value Opacity}, author={König, Jürgen}, year={2023} }","apa":"König, J. (2023). <i>On the Membership and Correctness Problem for State Serializability and Value Opacity</i>."},"project":[{"grant_number":"160364472","name":"SFB 901: SFB 901: On-The-Fly Computing - Individualisierte IT-Dienstleistungen in dynamischen Märkten ","_id":"1"},{"name":"SFB 901 - B: SFB 901 - Project Area B","_id":"3"},{"_id":"11","name":"SFB 901 - B3: SFB 901 - Subproject B3"}],"_id":"47833","user_id":"15504","department":[{"_id":"77"}],"language":[{"iso":"eng"}],"type":"dissertation","status":"public"},{"language":[{"iso":"eng"}],"user_id":"22398","department":[{"_id":"77"}],"project":[{"_id":"1","name":"SFB 901: SFB 901"},{"_id":"3","name":"SFB 901 - B: SFB 901 - Project Area B"},{"name":"SFB 901 - B4: SFB 901 - Subproject B4","_id":"12"}],"_id":"43108","status":"public","type":"dissertation","doi":"10.17619/UNIPB/1-1698","title":"Cooperative Android App Analysis","supervisor":[{"last_name":"Wehrheim","full_name":"Wehrheim, Heike","id":"573","first_name":"Heike"}],"author":[{"full_name":"Pauck, Felix","id":"22398","last_name":"Pauck","first_name":"Felix"}],"date_created":"2023-03-27T07:39:35Z","publisher":"Paderborn University","date_updated":"2023-05-22T04:57:42Z","citation":{"mla":"Pauck, Felix. <i>Cooperative Android App Analysis</i>. Paderborn University, 2023, doi:<a href=\"https://doi.org/10.17619/UNIPB/1-1698\">10.17619/UNIPB/1-1698</a>.","short":"F. Pauck, Cooperative Android App Analysis, Paderborn University, 2023.","bibtex":"@book{Pauck_2023, title={Cooperative Android App Analysis}, DOI={<a href=\"https://doi.org/10.17619/UNIPB/1-1698\">10.17619/UNIPB/1-1698</a>}, publisher={Paderborn University}, author={Pauck, Felix}, year={2023} }","apa":"Pauck, F. (2023). <i>Cooperative Android App Analysis</i>. Paderborn University. <a href=\"https://doi.org/10.17619/UNIPB/1-1698\">https://doi.org/10.17619/UNIPB/1-1698</a>","ieee":"F. Pauck, <i>Cooperative Android App Analysis</i>. Paderborn University, 2023.","chicago":"Pauck, Felix. <i>Cooperative Android App Analysis</i>. Paderborn University, 2023. <a href=\"https://doi.org/10.17619/UNIPB/1-1698\">https://doi.org/10.17619/UNIPB/1-1698</a>.","ama":"Pauck F. <i>Cooperative Android App Analysis</i>. Paderborn University; 2023. doi:<a href=\"https://doi.org/10.17619/UNIPB/1-1698\">10.17619/UNIPB/1-1698</a>"},"year":"2023"},{"user_id":"477","department":[{"_id":"77"}],"project":[{"_id":"1","name":"SFB 901"},{"_id":"12","name":"SFB 901 - Subproject B4"},{"name":"SFB 901 - Project Area B","_id":"3"}],"_id":"22304","file_date_updated":"2021-06-09T06:01:45Z","language":[{"iso":"eng"}],"extern":"1","ddc":["000"],"type":"mastersthesis","file":[{"access_level":"open_access","file_name":"Masters_Thesis_Stefan_Schott_unsigned.pdf","file_id":"22305","file_size":1918444,"creator":"fpauck","date_created":"2021-06-09T06:01:45Z","date_updated":"2021-06-09T06:01:45Z","relation":"main_file","content_type":"application/pdf"}],"status":"public","date_created":"2021-06-09T06:04:12Z","supervisor":[{"full_name":"Wehrheim, Heike","id":"573","last_name":"Wehrheim","first_name":"Heike"}],"author":[{"full_name":"Schott, Stefan","id":"54847","last_name":"Schott","first_name":"Stefan"}],"date_updated":"2022-01-06T06:55:31Z","oa":"1","title":"Android App Analysis Benchmark Case Generation","has_accepted_license":"1","citation":{"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.","ama":"Schott S. <i>Android App Analysis Benchmark Case Generation</i>. Paderborn; 2021.","short":"S. Schott, Android App Analysis Benchmark Case Generation, Paderborn, 2021.","mla":"Schott, Stefan. <i>Android App Analysis Benchmark Case Generation</i>. 2021.","bibtex":"@book{Schott_2021, place={Paderborn}, title={Android App Analysis Benchmark Case Generation}, author={Schott, Stefan}, year={2021} }","apa":"Schott, S. (2021). <i>Android App Analysis Benchmark Case Generation</i>. Paderborn."},"place":"Paderborn","year":"2021"},{"language":[{"iso":"eng"}],"department":[{"_id":"7"},{"_id":"77"}],"user_id":"477","_id":"19999","project":[{"_id":"1","name":"SFB 901"},{"name":"SFB 901 - Project Area B","_id":"3"},{"_id":"11","name":"SFB 901 - Subproject B3"}],"status":"public","type":"bachelorsthesis","title":"Optimierung von JMCTest beim Testen von Inter Method Contracts","supervisor":[{"first_name":"Heike","last_name":"Wehrheim","id":"573","full_name":"Wehrheim, Heike"}],"author":[{"full_name":"Mayer, Stefan","last_name":"Mayer","first_name":"Stefan"}],"date_created":"2020-10-15T05:15:46Z","publisher":"Universität Paderborn","date_updated":"2022-01-06T06:54:18Z","citation":{"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.","apa":"Mayer, S. (2020). <i>Optimierung von JMCTest beim Testen von Inter Method Contracts</i>. Universität Paderborn.","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."},"year":"2020"},{"year":"2019","page":"64","citation":{"apa":"Zhang, S. (2019). <i>Combining Android Apps for Analysis Purposes</i>. Universität Paderborn.","mla":"Zhang, Shikun. <i>Combining Android Apps for Analysis Purposes</i>. Universität Paderborn, 2019.","bibtex":"@book{Zhang_2019, title={Combining Android Apps for Analysis Purposes}, publisher={Universität Paderborn}, author={Zhang, Shikun}, year={2019} }","short":"S. Zhang, Combining Android Apps for Analysis Purposes, Universität Paderborn, 2019.","ama":"Zhang S. <i>Combining Android Apps for Analysis Purposes</i>. Universität Paderborn; 2019.","ieee":"S. Zhang, <i>Combining Android Apps for Analysis Purposes</i>. Universität Paderborn, 2019.","chicago":"Zhang, Shikun. <i>Combining Android Apps for Analysis Purposes</i>. Universität Paderborn, 2019."},"title":"Combining Android Apps for Analysis Purposes","date_updated":"2022-01-06T07:03:41Z","publisher":"Universität Paderborn","author":[{"last_name":"Zhang","full_name":"Zhang, Shikun","first_name":"Shikun"}],"supervisor":[{"first_name":"Heike","id":"573","full_name":"Wehrheim, Heike","last_name":"Wehrheim"}],"date_created":"2019-02-12T06:13:43Z","status":"public","type":"mastersthesis","language":[{"iso":"eng"}],"_id":"7623","project":[{"_id":"1","name":"SFB 901"},{"name":"SFB 901 - Project Area B","_id":"3"},{"_id":"12","name":"SFB 901 - Subproject B4"}],"department":[{"_id":"77"}],"user_id":"477"},{"year":"2019","citation":{"ama":"Haltermann JF. <i>Analyzing Data Usage in Array Programs</i>.; 2019.","chicago":"Haltermann, Jan Frederik. <i>Analyzing Data Usage in Array Programs</i>, 2019.","ieee":"J. F. Haltermann, <i>Analyzing Data Usage in Array Programs</i>. 2019.","bibtex":"@book{Haltermann_2019, title={Analyzing Data Usage in Array Programs}, author={Haltermann, Jan Frederik}, year={2019} }","short":"J.F. Haltermann, Analyzing Data Usage in Array Programs, 2019.","mla":"Haltermann, Jan Frederik. <i>Analyzing Data Usage in Array Programs</i>. 2019.","apa":"Haltermann, J. F. (2019). <i>Analyzing Data Usage in Array Programs</i>."},"has_accepted_license":"1","title":"Analyzing Data Usage in Array Programs","date_updated":"2022-01-06T06:51:23Z","supervisor":[{"first_name":"Heike","full_name":"Wehrheim, Heike","id":"573","last_name":"Wehrheim"}],"author":[{"last_name":"Haltermann","id":"44413","full_name":"Haltermann, Jan Frederik","first_name":"Jan Frederik"}],"date_created":"2019-07-24T08:06:11Z","status":"public","file":[{"content_type":"application/pdf","success":1,"relation":"main_file","date_updated":"2019-07-24T07:44:29Z","creator":"jfh","date_created":"2019-07-24T07:44:29Z","file_size":1344093,"file_id":"12886","file_name":"Thesis_Haltermann.pdf","access_level":"closed"}],"type":"mastersthesis","ddc":["000"],"file_date_updated":"2019-07-24T07:44:29Z","language":[{"iso":"eng"}],"_id":"12885","department":[{"_id":"77"}],"user_id":"44413"},{"citation":{"apa":"Haltermann, J. (2019). <i>Analyzing Data Usage in Array Programs</i>. Universität Paderborn.","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} }","short":"J. Haltermann, Analyzing Data Usage in Array Programs, Universität Paderborn, 2019.","ama":"Haltermann J. <i>Analyzing Data Usage in Array Programs</i>. Universität Paderborn; 2019.","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."},"year":"2019","title":"Analyzing Data Usage in Array Programs","author":[{"first_name":"Jan","last_name":"Haltermann","full_name":"Haltermann, Jan"}],"supervisor":[{"last_name":"Wehrheim","id":"573","full_name":"Wehrheim, Heike","first_name":"Heike"}],"date_created":"2019-06-04T10:54:08Z","publisher":"Universität Paderborn","date_updated":"2022-01-06T06:50:29Z","status":"public","type":"mastersthesis","language":[{"iso":"eng"}],"user_id":"477","department":[{"_id":"7"},{"_id":"77"}],"project":[{"_id":"1","name":"SFB 901"},{"name":"SFB 901 - Project Area B","_id":"3"},{"_id":"11","name":"SFB 901 - Subproject B3"}],"_id":"10105"},{"type":"bachelorsthesis","status":"public","_id":"3320","project":[{"_id":"1","name":"SFB 901"},{"name":"SFB 901 - Project Area B","_id":"3"},{"name":"SFB 901 - Subproject B3","_id":"11"}],"department":[{"_id":"7"},{"_id":"77"}],"user_id":"477","language":[{"iso":"ger"}],"year":"2018","citation":{"ieee":"K. Rautenberg, <i>Korrektheitsbeweise für Muster von Servicekompositionen</i>. Universität Paderborn, 2018.","chicago":"Rautenberg, Kai. <i>Korrektheitsbeweise für Muster von Servicekompositionen</i>. Universität Paderborn, 2018.","ama":"Rautenberg K. <i>Korrektheitsbeweise für Muster von Servicekompositionen</i>. Universität Paderborn; 2018.","apa":"Rautenberg, K. (2018). <i>Korrektheitsbeweise für Muster von Servicekompositionen</i>. Universität Paderborn.","short":"K. Rautenberg, Korrektheitsbeweise für Muster von Servicekompositionen, Universität Paderborn, 2018.","bibtex":"@book{Rautenberg_2018, title={Korrektheitsbeweise für Muster von Servicekompositionen}, publisher={Universität Paderborn}, author={Rautenberg, Kai}, year={2018} }","mla":"Rautenberg, Kai. <i>Korrektheitsbeweise für Muster von Servicekompositionen</i>. Universität Paderborn, 2018."},"date_updated":"2022-01-06T06:59:10Z","publisher":"Universität Paderborn","author":[{"first_name":"Kai","last_name":"Rautenberg","full_name":"Rautenberg, Kai"}],"date_created":"2018-06-25T07:53:32Z","supervisor":[{"last_name":"Wehrheim","full_name":"Wehrheim, Heike","id":"573","first_name":"Heike"}],"title":"Korrektheitsbeweise für Muster von Servicekompositionen"},{"language":[{"iso":"eng"}],"project":[{"_id":"1","name":"SFB 901"},{"name":"SFB 901 - Project Area B","_id":"3"},{"name":"SFB 901 - Subproject B3","_id":"11"}],"_id":"3512","user_id":"477","department":[{"_id":"7"},{"_id":"77"}],"status":"public","type":"mastersthesis","title":"Testing Java Method Contracts","publisher":"Universität Paderborn","date_updated":"2022-01-06T06:59:21Z","date_created":"2018-07-09T09:32:41Z","author":[{"first_name":"Paul","full_name":"Börding, Paul","last_name":"Börding"}],"supervisor":[{"first_name":"Heike","full_name":"Wehrheim, Heike","id":"573","last_name":"Wehrheim"}],"year":"2017","citation":{"chicago":"Börding, Paul. <i>Testing Java Method Contracts</i>. Universität Paderborn, 2017.","ieee":"P. Börding, <i>Testing Java Method Contracts</i>. Universität Paderborn, 2017.","ama":"Börding P. <i>Testing Java Method Contracts</i>. Universität Paderborn; 2017.","apa":"Börding, P. (2017). <i>Testing Java Method Contracts</i>. Universität Paderborn.","bibtex":"@book{Börding_2017, title={Testing Java Method Contracts}, publisher={Universität Paderborn}, author={Börding, Paul}, year={2017} }","mla":"Börding, Paul. <i>Testing Java Method Contracts</i>. Universität Paderborn, 2017.","short":"P. Börding, Testing Java Method Contracts, Universität Paderborn, 2017."}},{"title":"Knowledge-based Verification of Service Compositions","doi":"10.17619/UNIPB/1-307","date_updated":"2022-01-06T07:03:27Z","publisher":"Universität Paderborn","supervisor":[{"first_name":"Heike","last_name":"Wehrheim","id":"573","full_name":"Wehrheim, Heike"}],"date_created":"2017-11-20T07:59:31Z","author":[{"first_name":"Sven","last_name":"Walther","full_name":"Walther, Sven"}],"year":"2017","citation":{"ieee":"S. Walther, <i>Knowledge-based Verification of Service Compositions</i>. Universität Paderborn, 2017.","chicago":"Walther, Sven. <i>Knowledge-Based Verification of Service Compositions</i>. Universität Paderborn, 2017. <a href=\"https://doi.org/10.17619/UNIPB/1-307\">https://doi.org/10.17619/UNIPB/1-307</a>.","ama":"Walther S. <i>Knowledge-Based Verification of Service Compositions</i>. Universität Paderborn; 2017. doi:<a href=\"https://doi.org/10.17619/UNIPB/1-307\">10.17619/UNIPB/1-307</a>","apa":"Walther, S. (2017). <i>Knowledge-based Verification of Service Compositions</i>. Universität Paderborn. <a href=\"https://doi.org/10.17619/UNIPB/1-307\">https://doi.org/10.17619/UNIPB/1-307</a>","mla":"Walther, Sven. <i>Knowledge-Based Verification of Service Compositions</i>. Universität Paderborn, 2017, doi:<a href=\"https://doi.org/10.17619/UNIPB/1-307\">10.17619/UNIPB/1-307</a>.","short":"S. Walther, Knowledge-Based Verification of Service Compositions, Universität Paderborn, 2017.","bibtex":"@book{Walther_2017, title={Knowledge-based Verification of Service Compositions}, DOI={<a href=\"https://doi.org/10.17619/UNIPB/1-307\">10.17619/UNIPB/1-307</a>}, publisher={Universität Paderborn}, author={Walther, Sven}, year={2017} }"},"language":[{"iso":"eng"}],"project":[{"name":"SFB 901","_id":"1"},{"_id":"11","name":"SFB 901 - Subproject B3"},{"name":"SFB 901 - Project Area B","_id":"3"}],"_id":"707","user_id":"477","department":[{"_id":"77"}],"status":"public","type":"dissertation"},{"citation":{"apa":"Jakobs, M.-C. (2017). <i>On-The-Fly Safety Checking - Customizing Program Certification and Program Restructuring</i>. Universität Paderborn. <a href=\"https://doi.org/10.17619/UNIPB/1-104\">https://doi.org/10.17619/UNIPB/1-104</a>","mla":"Jakobs, Marie-Christine. <i>On-The-Fly Safety Checking - Customizing Program Certification and Program Restructuring</i>. Universität Paderborn, 2017, doi:<a href=\"https://doi.org/10.17619/UNIPB/1-104\">10.17619/UNIPB/1-104</a>.","bibtex":"@book{Jakobs_2017, title={On-The-Fly Safety Checking - Customizing Program Certification and Program Restructuring}, DOI={<a href=\"https://doi.org/10.17619/UNIPB/1-104\">10.17619/UNIPB/1-104</a>}, publisher={Universität Paderborn}, author={Jakobs, Marie-Christine}, year={2017} }","short":"M.-C. Jakobs, On-The-Fly Safety Checking - Customizing Program Certification and Program Restructuring, Universität Paderborn, 2017.","ama":"Jakobs M-C. <i>On-The-Fly Safety Checking - Customizing Program Certification and Program Restructuring</i>. Universität Paderborn; 2017. doi:<a href=\"https://doi.org/10.17619/UNIPB/1-104\">10.17619/UNIPB/1-104</a>","ieee":"M.-C. Jakobs, <i>On-The-Fly Safety Checking - Customizing Program Certification and Program Restructuring</i>. Universität Paderborn, 2017.","chicago":"Jakobs, Marie-Christine. <i>On-The-Fly Safety Checking - Customizing Program Certification and Program Restructuring</i>. Universität Paderborn, 2017. <a href=\"https://doi.org/10.17619/UNIPB/1-104\">https://doi.org/10.17619/UNIPB/1-104</a>."},"year":"2017","has_accepted_license":"1","doi":"10.17619/UNIPB/1-104","title":"On-The-Fly Safety Checking - Customizing Program Certification and Program Restructuring","supervisor":[{"id":"573","full_name":"Wehrheim, Heike","last_name":"Wehrheim","first_name":"Heike"}],"date_created":"2017-11-13T08:13:29Z","author":[{"last_name":"Jakobs","full_name":"Jakobs, Marie-Christine","first_name":"Marie-Christine"}],"date_updated":"2022-01-06T07:03:22Z","publisher":"Universität Paderborn","file":[{"content_type":"application/pdf","success":1,"relation":"main_file","date_updated":"2018-03-14T12:26:52Z","date_created":"2018-03-14T12:26:52Z","creator":"florida","file_size":11828624,"file_id":"1211","access_level":"closed","file_name":"685-Dissertation-Jakobs.pdf"}],"status":"public","type":"dissertation","file_date_updated":"2018-03-14T12:26:52Z","ddc":["040"],"user_id":"477","department":[{"_id":"77"}],"project":[{"_id":"1","name":"SFB 901"},{"name":"SFB 901 - Subprojekt B4","_id":"12"},{"name":"SFB 901 - Project Area B","_id":"3"}],"_id":"685"},{"citation":{"short":"F. Pauck, Cooperative Static Analysis of Android Applications, Universität Paderborn, 2017.","bibtex":"@book{Pauck_2017, title={Cooperative static analysis of Android applications}, publisher={Universität Paderborn}, author={Pauck, Felix}, year={2017} }","mla":"Pauck, Felix. <i>Cooperative Static Analysis of Android Applications</i>. Universität Paderborn, 2017.","apa":"Pauck, F. (2017). <i>Cooperative static analysis of Android applications</i>. Universität Paderborn.","ama":"Pauck F. <i>Cooperative Static Analysis of Android Applications</i>. Universität Paderborn; 2017.","chicago":"Pauck, Felix. <i>Cooperative Static Analysis of Android Applications</i>. Universität Paderborn, 2017.","ieee":"F. Pauck, <i>Cooperative static analysis of Android applications</i>. Universität Paderborn, 2017."},"year":"2017","has_accepted_license":"1","title":"Cooperative static analysis of Android applications","date_created":"2017-10-17T12:41:12Z","author":[{"last_name":"Pauck","full_name":"Pauck, Felix","id":"22398","first_name":"Felix"}],"supervisor":[{"first_name":"Heike","last_name":"Wehrheim","id":"573","full_name":"Wehrheim, Heike"}],"publisher":"Universität Paderborn","date_updated":"2022-01-06T06:50:52Z","oa":"1","file":[{"date_updated":"2019-08-07T09:03:48Z","date_created":"2019-08-07T08:55:58Z","creator":"fpauck","file_size":5093611,"title":"Master's Thesis","access_level":"open_access","file_name":"fpauck_2017.pdf","file_id":"12905","content_type":"application/pdf","relation":"main_file"}],"status":"public","type":"mastersthesis","file_date_updated":"2019-08-07T09:03:48Z","language":[{"iso":"eng"}],"ddc":["000"],"user_id":"22398","department":[{"_id":"77"}],"project":[{"name":"SFB 901","_id":"1"},{"_id":"12","name":"SFB 901 - Subprojekt B4"},{"_id":"3","name":"SFB 901 - Project Area B"}],"_id":"109"},{"status":"public","file":[{"content_type":"application/pdf","relation":"main_file","date_updated":"2018-03-08T09:14:11Z","creator":"florida","date_created":"2018-03-08T06:23:21Z","file_size":3354335,"file_name":"1190-thesis_abgabeversion.pdf","access_level":"closed","file_id":"1195"}],"type":"dissertation","file_date_updated":"2018-03-08T09:14:11Z","ddc":["040"],"department":[{"_id":"77"}],"user_id":"477","_id":"1190","project":[{"_id":"1","name":"SFB 901"},{"name":"SFB 901 - Subproject B4","_id":"12"},{"name":"SFB 901 - Project Area B","_id":"3"}],"citation":{"ama":"Isenberg T. <i>Induction-Based Verification of Timed Systems</i>. Universität Paderborn; 2016.","ieee":"T. Isenberg, <i>Induction-based Verification of Timed Systems</i>. Universität Paderborn, 2016.","chicago":"Isenberg, Tobias. <i>Induction-Based Verification of Timed Systems</i>. Universität Paderborn, 2016.","apa":"Isenberg, T. (2016). <i>Induction-based Verification of Timed Systems</i>. Universität Paderborn.","mla":"Isenberg, Tobias. <i>Induction-Based Verification of Timed Systems</i>. Universität Paderborn, 2016.","bibtex":"@book{Isenberg_2016, title={Induction-based Verification of Timed Systems}, publisher={Universität Paderborn}, author={Isenberg, Tobias}, year={2016} }","short":"T. Isenberg, Induction-Based Verification of Timed Systems, Universität Paderborn, 2016."},"year":"2016","has_accepted_license":"1","title":"Induction-based Verification of Timed Systems","date_created":"2018-03-05T10:11:48Z","supervisor":[{"full_name":"Wehrheim, Heike","id":"573","last_name":"Wehrheim","first_name":"Heike"}],"author":[{"first_name":"Tobias","last_name":"Isenberg","full_name":"Isenberg, Tobias"}],"publisher":"Universität Paderborn","date_updated":"2022-01-06T06:51:12Z"},{"date_updated":"2022-01-06T06:56:30Z","publisher":"Universität Paderborn","date_created":"2017-10-17T12:41:40Z","supervisor":[{"last_name":"Wehrheim","full_name":"Wehrheim, Heike","id":"573","first_name":"Heike"}],"author":[{"last_name":"Besova","full_name":"Besova, Galina","first_name":"Galina"}],"title":"Systematic Development and Re-Use of Model Tranformations","has_accepted_license":"1","related_material":{"link":[{"url":"http://digital.ub.uni-paderborn.de/hsx/content/titleinfo/1705899","relation":"confirmation"}]},"year":"2015","citation":{"ama":"Besova G. <i>Systematic Development and Re-Use of Model Tranformations</i>. Universität Paderborn; 2015.","chicago":"Besova, Galina. <i>Systematic Development and Re-Use of Model Tranformations</i>. Universität Paderborn, 2015.","ieee":"G. Besova, <i>Systematic Development and Re-Use of Model Tranformations</i>. Universität Paderborn, 2015.","apa":"Besova, G. (2015). <i>Systematic Development and Re-Use of Model Tranformations</i>. Universität Paderborn.","bibtex":"@book{Besova_2015, title={Systematic Development and Re-Use of Model Tranformations}, publisher={Universität Paderborn}, author={Besova, Galina}, year={2015} }","mla":"Besova, Galina. <i>Systematic Development and Re-Use of Model Tranformations</i>. Universität Paderborn, 2015.","short":"G. Besova, Systematic Development and Re-Use of Model Tranformations, Universität Paderborn, 2015."},"_id":"246","project":[{"name":"SFB 901","_id":"1"},{"name":"SFB 901 - Subprojekt B3","_id":"11"},{"name":"SFB 901 - Project Area B","_id":"3"}],"department":[{"_id":"77"}],"user_id":"477","ddc":["040"],"file_date_updated":"2018-03-21T09:47:14Z","type":"dissertation","status":"public","file":[{"file_id":"1492","access_level":"closed","file_name":"246-Dissertation_-_Besova.pdf","file_size":10091866,"creator":"florida","date_created":"2018-03-21T09:47:14Z","date_updated":"2018-03-21T09:47:14Z","relation":"main_file","success":1,"content_type":"application/pdf"}]},{"title":"Generierung von Eigenschaftsprüfern in einem Hardware/Software-Co-Verifikationsverfahren","publisher":"Universität Paderborn","date_updated":"2022-01-06T07:00:30Z","oa":"1","supervisor":[{"first_name":"Heike","last_name":"Wehrheim","id":"573","full_name":"Wehrheim, Heike"}],"date_created":"2017-10-17T12:42:13Z","author":[{"full_name":"Pauck, Felix","id":"22398","last_name":"Pauck","first_name":"Felix"}],"year":"2014","citation":{"ama":"Pauck F. <i>Generierung von Eigenschaftsprüfern in einem Hardware/Software-Co-Verifikationsverfahren</i>. Universität Paderborn; 2014.","chicago":"Pauck, Felix. <i>Generierung von Eigenschaftsprüfern in einem Hardware/Software-Co-Verifikationsverfahren</i>. Universität Paderborn, 2014.","ieee":"F. Pauck, <i>Generierung von Eigenschaftsprüfern in einem Hardware/Software-Co-Verifikationsverfahren</i>. Universität Paderborn, 2014.","bibtex":"@book{Pauck_2014, title={Generierung von Eigenschaftsprüfern in einem Hardware/Software-Co-Verifikationsverfahren}, publisher={Universität Paderborn}, author={Pauck, Felix}, year={2014} }","mla":"Pauck, Felix. <i>Generierung von Eigenschaftsprüfern in einem Hardware/Software-Co-Verifikationsverfahren</i>. Universität Paderborn, 2014.","short":"F. Pauck, Generierung von Eigenschaftsprüfern in einem Hardware/Software-Co-Verifikationsverfahren, Universität Paderborn, 2014.","apa":"Pauck, F. (2014). <i>Generierung von Eigenschaftsprüfern in einem Hardware/Software-Co-Verifikationsverfahren</i>. Universität Paderborn."},"has_accepted_license":"1","ddc":["000"],"file_date_updated":"2019-08-07T09:05:38Z","language":[{"iso":"ger"}],"project":[{"_id":"1","name":"SFB 901"},{"_id":"12","name":"SFB 901 - Subprojekt B4"},{"name":"SFB 901 - Project Area B","_id":"3"}],"_id":"418","user_id":"22398","department":[{"_id":"77"}],"file":[{"content_type":"application/pdf","relation":"main_file","date_updated":"2019-08-07T09:05:38Z","date_created":"2019-08-07T09:00:20Z","creator":"fpauck","file_size":3191756,"title":"Bachelorarbeit","access_level":"open_access","file_id":"12906","file_name":"fpauck_2014.pdf"}],"status":"public","type":"bachelorsthesis"},{"has_accepted_license":"1","year":"2013","citation":{"short":"N. Timm, Three-Valued Abstraction and Heuristic-Guided Refinement for Verifying Concurrent Systems, Universität Paderborn, 2013.","bibtex":"@book{Timm_2013, title={Three-Valued Abstraction and Heuristic-Guided Refinement for Verifying Concurrent Systems}, publisher={Universität Paderborn}, author={Timm, Nils}, year={2013} }","mla":"Timm, Nils. <i>Three-Valued Abstraction and Heuristic-Guided Refinement for Verifying Concurrent Systems</i>. Universität Paderborn, 2013.","apa":"Timm, N. (2013). <i>Three-Valued Abstraction and Heuristic-Guided Refinement for Verifying Concurrent Systems</i>. Universität Paderborn.","ieee":"N. Timm, <i>Three-Valued Abstraction and Heuristic-Guided Refinement for Verifying Concurrent Systems</i>. Universität Paderborn, 2013.","chicago":"Timm, Nils. <i>Three-Valued Abstraction and Heuristic-Guided Refinement for Verifying Concurrent Systems</i>. Universität Paderborn, 2013.","ama":"Timm N. <i>Three-Valued Abstraction and Heuristic-Guided Refinement for Verifying Concurrent Systems</i>. Universität Paderborn; 2013."},"publisher":"Universität Paderborn","date_updated":"2022-01-06T07:01:22Z","author":[{"full_name":"Timm, Nils","last_name":"Timm","first_name":"Nils"}],"supervisor":[{"last_name":"Wehrheim","id":"573","full_name":"Wehrheim, Heike","first_name":"Heike"}],"date_created":"2017-10-17T12:42:25Z","title":"Three-Valued Abstraction and Heuristic-Guided Refinement for Verifying Concurrent Systems","type":"dissertation","abstract":[{"lang":"eng","text":"Software systems are playing an increasing role in our everyday life, and as the amount of software applications grows, so does their complexity and the relevance of their computations. Software components can be found in many systems that are charged with safety-critical tasks, such as control systems for aviation or power plants. Hence, software verification techniques that are capable of proving the absence of critical errors are becoming more and more important in the field software engineering. A well-established approach to software verification is model checking. Applying this technique involves an exhaustive exploration of a state space model corresponding to the system under consideration. The major challenge in model checking is the so-called state explosion problem: The state space of a software system grows exponentially with its size. Thus, the straightforward modelling of real-life systems practically impossible. A common approach to this problem is the application of abstraction techniques, which reduce the original state space by mapping it on a significantly smaller abstract one. Abstraction inherently involves a loss of information, and thus, the resulting abstract model may be too imprecise for a definite result in verification. Therefore, abstraction is typically combined with abstraction refinement: An initially very coarse abstract model is iteratively refined, i.e. enriched with new details about the original system, until a level of abstraction is reached that is precise enough for a definite outcome. Abstraction refinement-based model checking is fully automatable and it is considered as one of the most promising approaches to the state explosion problem in verification. However, it is still faced with a number of challenges. There exist several types of abstraction techniques and not every type is equally well-suited for all kinds of systems and verification tasks. Moreover, the selection of adequate refinement steps is nontrivial and typically the most crucial part of the overall approach: Unfavourable refinement decisions can compromise the state space-reducing effect of abstraction, and as a consequence, can easily lead to the failure of verification. It is, however, hard to predict which refinement steps will eventually be expedient for verification – and which not."}],"status":"public","file":[{"relation":"main_file","success":1,"content_type":"application/pdf","file_id":"1324","access_level":"closed","file_name":"478-Dissertation-Timm.pdf","file_size":931458,"creator":"florida","date_created":"2018-03-15T14:06:05Z","date_updated":"2018-03-15T14:06:05Z"}],"_id":"478","project":[{"_id":"1","name":"SFB 901"},{"_id":"12","name":"SFB 901 - Subprojekt B4"},{"name":"SFB 901 - Project Area B","_id":"3"}],"department":[{"_id":"77"}],"user_id":"477","ddc":["040"],"file_date_updated":"2018-03-15T14:06:05Z"},{"project":[{"name":"SFB 901","_id":"1"},{"_id":"12","name":"SFB 901 - Subprojekt B4"},{"name":"SFB 901 - Project Area B","_id":"3"}],"_id":"658","user_id":"477","department":[{"_id":"77"}],"language":[{"iso":"eng"}],"type":"mastersthesis","status":"public","publisher":"Universität Paderborn","date_updated":"2022-01-06T07:03:12Z","author":[{"last_name":"Schremmer","full_name":"Schremmer, Alexander","first_name":"Alexander"}],"supervisor":[{"first_name":"Heike","last_name":"Wehrheim","full_name":"Wehrheim, Heike","id":"573"}],"date_created":"2017-10-17T12:43:00Z","title":"Function Specification Inference Using Craig Interpolation","year":"2011","citation":{"ieee":"A. Schremmer, <i>Function Specification Inference Using Craig Interpolation</i>. Universität Paderborn, 2011.","chicago":"Schremmer, Alexander. <i>Function Specification Inference Using Craig Interpolation</i>. Universität Paderborn, 2011.","ama":"Schremmer A. <i>Function Specification Inference Using Craig Interpolation</i>. Universität Paderborn; 2011.","apa":"Schremmer, A. (2011). <i>Function Specification Inference Using Craig Interpolation</i>. Universität Paderborn.","bibtex":"@book{Schremmer_2011, title={Function Specification Inference Using Craig Interpolation}, publisher={Universität Paderborn}, author={Schremmer, Alexander}, year={2011} }","short":"A. Schremmer, Function Specification Inference Using Craig Interpolation, Universität Paderborn, 2011.","mla":"Schremmer, Alexander. <i>Function Specification Inference Using Craig Interpolation</i>. Universität Paderborn, 2011."}}]