--- _id: '43108' author: - first_name: Felix full_name: Pauck, Felix id: '22398' last_name: Pauck citation: ama: Pauck F. Cooperative Android App Analysis. Paderborn University; 2023. doi:10.17619/UNIPB/1-1698 apa: Pauck, F. (2023). Cooperative Android App Analysis. Paderborn University. https://doi.org/10.17619/UNIPB/1-1698 bibtex: '@book{Pauck_2023, title={Cooperative Android App Analysis}, DOI={10.17619/UNIPB/1-1698}, publisher={Paderborn University}, author={Pauck, Felix}, year={2023} }' chicago: Pauck, Felix. Cooperative Android App Analysis. Paderborn University, 2023. https://doi.org/10.17619/UNIPB/1-1698. ieee: F. Pauck, Cooperative Android App Analysis. Paderborn University, 2023. mla: Pauck, Felix. Cooperative Android App Analysis. Paderborn University, 2023, doi:10.17619/UNIPB/1-1698. short: F. Pauck, Cooperative Android App Analysis, Paderborn University, 2023. date_created: 2023-03-27T07:39:35Z date_updated: 2023-05-22T04:57:42Z department: - _id: '77' doi: 10.17619/UNIPB/1-1698 language: - iso: eng project: - _id: '1' name: 'SFB 901: SFB 901' - _id: '3' name: 'SFB 901 - B: SFB 901 - Project Area B' - _id: '12' name: 'SFB 901 - B4: SFB 901 - Subproject B4' publisher: Paderborn University status: public supervisor: - first_name: Heike full_name: Wehrheim, Heike id: '573' last_name: Wehrheim title: Cooperative Android App Analysis type: dissertation user_id: '22398' year: '2023' ... --- _id: '47833' author: - first_name: Jürgen full_name: König, Jürgen last_name: König citation: ama: König J. On the Membership and Correctness Problem for State Serializability and Value Opacity.; 2023. apa: König, J. (2023). On the Membership and Correctness Problem for State Serializability and Value Opacity. 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} }' chicago: König, Jürgen. On the Membership and Correctness Problem for State Serializability and Value Opacity, 2023. ieee: J. König, On the Membership and Correctness Problem for State Serializability and Value Opacity. 2023. mla: König, Jürgen. On the Membership and Correctness Problem for State Serializability and Value Opacity. 2023. short: J. König, On the Membership and Correctness Problem for State Serializability and Value Opacity, 2023. date_created: 2023-10-06T12:41:35Z date_updated: 2023-10-06T12:41:42Z department: - _id: '77' language: - iso: eng project: - _id: '1' grant_number: '160364472' name: 'SFB 901: SFB 901: On-The-Fly Computing - Individualisierte IT-Dienstleistungen in dynamischen Märkten ' - _id: '3' name: 'SFB 901 - B: SFB 901 - Project Area B' - _id: '11' name: 'SFB 901 - B3: SFB 901 - Subproject B3' status: public supervisor: - first_name: Heike full_name: Wehrheim, Heike id: '573' last_name: Wehrheim title: On the Membership and Correctness Problem for State Serializability and Value Opacity type: dissertation user_id: '15504' year: '2023' ... --- _id: '22304' author: - first_name: Stefan full_name: Schott, Stefan id: '54847' last_name: Schott citation: ama: Schott S. Android App Analysis Benchmark Case Generation. Paderborn; 2021. apa: Schott, S. (2021). Android App Analysis Benchmark Case Generation. Paderborn. bibtex: '@book{Schott_2021, place={Paderborn}, title={Android App Analysis Benchmark Case Generation}, author={Schott, Stefan}, year={2021} }' chicago: Schott, Stefan. Android App Analysis Benchmark Case Generation. Paderborn, 2021. ieee: S. Schott, Android App Analysis Benchmark Case Generation. Paderborn, 2021. mla: Schott, Stefan. Android App Analysis Benchmark Case Generation. 2021. short: S. Schott, Android App Analysis Benchmark Case Generation, Paderborn, 2021. date_created: 2021-06-09T06:04:12Z date_updated: 2022-01-06T06:55:31Z ddc: - '000' department: - _id: '77' extern: '1' file: - access_level: open_access content_type: application/pdf creator: fpauck date_created: 2021-06-09T06:01:45Z date_updated: 2021-06-09T06:01:45Z file_id: '22305' file_name: Masters_Thesis_Stefan_Schott_unsigned.pdf file_size: 1918444 relation: main_file file_date_updated: 2021-06-09T06:01:45Z has_accepted_license: '1' language: - iso: eng oa: '1' place: Paderborn project: - _id: '1' name: SFB 901 - _id: '12' name: SFB 901 - Subproject B4 - _id: '3' name: SFB 901 - Project Area B status: public supervisor: - first_name: Heike full_name: Wehrheim, Heike id: '573' last_name: Wehrheim title: Android App Analysis Benchmark Case Generation type: mastersthesis user_id: '477' year: '2021' ... --- _id: '19999' author: - first_name: Stefan full_name: Mayer, Stefan last_name: Mayer citation: ama: Mayer S. Optimierung von JMCTest Beim Testen von Inter Method Contracts. Universität Paderborn; 2020. apa: Mayer, S. (2020). Optimierung von JMCTest beim Testen von Inter Method Contracts. 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} }' chicago: Mayer, Stefan. Optimierung von JMCTest Beim Testen von Inter Method Contracts. Universität Paderborn, 2020. ieee: S. Mayer, Optimierung von JMCTest beim Testen von Inter Method Contracts. Universität Paderborn, 2020. mla: Mayer, Stefan. Optimierung von JMCTest Beim Testen von Inter Method Contracts. Universität Paderborn, 2020. short: S. Mayer, Optimierung von JMCTest Beim Testen von Inter Method Contracts, Universität Paderborn, 2020. date_created: 2020-10-15T05:15:46Z date_updated: 2022-01-06T06:54:18Z department: - _id: '7' - _id: '77' language: - iso: eng project: - _id: '1' name: SFB 901 - _id: '3' name: SFB 901 - Project Area B - _id: '11' name: SFB 901 - Subproject B3 publisher: Universität Paderborn status: public supervisor: - first_name: Heike full_name: Wehrheim, Heike id: '573' last_name: Wehrheim title: Optimierung von JMCTest beim Testen von Inter Method Contracts type: bachelorsthesis user_id: '477' year: '2020' ... --- _id: '7623' author: - first_name: Shikun full_name: Zhang, Shikun last_name: Zhang citation: ama: Zhang S. Combining Android Apps for Analysis Purposes. Universität Paderborn; 2019. apa: Zhang, S. (2019). Combining Android Apps for Analysis Purposes. Universität Paderborn. bibtex: '@book{Zhang_2019, title={Combining Android Apps for Analysis Purposes}, publisher={Universität Paderborn}, author={Zhang, Shikun}, year={2019} }' chicago: Zhang, Shikun. Combining Android Apps for Analysis Purposes. Universität Paderborn, 2019. ieee: S. Zhang, Combining Android Apps for Analysis Purposes. Universität Paderborn, 2019. mla: Zhang, Shikun. Combining Android Apps for Analysis Purposes. Universität Paderborn, 2019. short: S. Zhang, Combining Android Apps for Analysis Purposes, Universität Paderborn, 2019. date_created: 2019-02-12T06:13:43Z date_updated: 2022-01-06T07:03:41Z department: - _id: '77' language: - iso: eng page: '64' project: - _id: '1' name: SFB 901 - _id: '3' name: SFB 901 - Project Area B - _id: '12' name: SFB 901 - Subproject B4 publisher: Universität Paderborn status: public supervisor: - first_name: Heike full_name: Wehrheim, Heike id: '573' last_name: Wehrheim title: Combining Android Apps for Analysis Purposes type: mastersthesis user_id: '477' year: '2019' ... --- _id: '12885' author: - first_name: Jan Frederik full_name: Haltermann, Jan Frederik id: '44413' last_name: Haltermann citation: ama: Haltermann JF. Analyzing Data Usage in Array Programs.; 2019. apa: Haltermann, J. F. (2019). Analyzing Data Usage in Array Programs. bibtex: '@book{Haltermann_2019, title={Analyzing Data Usage in Array Programs}, author={Haltermann, Jan Frederik}, year={2019} }' chicago: Haltermann, Jan Frederik. Analyzing Data Usage in Array Programs, 2019. ieee: J. F. Haltermann, Analyzing Data Usage in Array Programs. 2019. mla: Haltermann, Jan Frederik. Analyzing Data Usage in Array Programs. 2019. short: J.F. Haltermann, Analyzing Data Usage in Array Programs, 2019. date_created: 2019-07-24T08:06:11Z date_updated: 2022-01-06T06:51:23Z ddc: - '000' department: - _id: '77' file: - access_level: closed content_type: application/pdf creator: jfh date_created: 2019-07-24T07:44:29Z date_updated: 2019-07-24T07:44:29Z file_id: '12886' file_name: Thesis_Haltermann.pdf file_size: 1344093 relation: main_file success: 1 file_date_updated: 2019-07-24T07:44:29Z has_accepted_license: '1' language: - iso: eng status: public supervisor: - first_name: Heike full_name: Wehrheim, Heike id: '573' last_name: Wehrheim title: Analyzing Data Usage in Array Programs type: mastersthesis user_id: '44413' year: '2019' ... --- _id: '10105' author: - first_name: Jan full_name: Haltermann, Jan last_name: Haltermann citation: ama: Haltermann J. Analyzing Data Usage in Array Programs. Universität Paderborn; 2019. apa: Haltermann, J. (2019). Analyzing Data Usage in Array Programs. Universität Paderborn. bibtex: '@book{Haltermann_2019, title={Analyzing Data Usage in Array Programs}, publisher={Universität Paderborn}, author={Haltermann, Jan}, year={2019} }' chicago: Haltermann, Jan. Analyzing Data Usage in Array Programs. Universität Paderborn, 2019. ieee: J. Haltermann, Analyzing Data Usage in Array Programs. Universität Paderborn, 2019. mla: Haltermann, Jan. Analyzing Data Usage in Array Programs. Universität Paderborn, 2019. short: J. Haltermann, Analyzing Data Usage in Array Programs, Universität Paderborn, 2019. date_created: 2019-06-04T10:54:08Z date_updated: 2022-01-06T06:50:29Z department: - _id: '7' - _id: '77' language: - iso: eng project: - _id: '1' name: SFB 901 - _id: '3' name: SFB 901 - Project Area B - _id: '11' name: SFB 901 - Subproject B3 publisher: Universität Paderborn status: public supervisor: - first_name: Heike full_name: Wehrheim, Heike id: '573' last_name: Wehrheim title: Analyzing Data Usage in Array Programs type: mastersthesis user_id: '477' year: '2019' ... --- _id: '3320' author: - first_name: Kai full_name: Rautenberg, Kai last_name: Rautenberg citation: ama: Rautenberg K. Korrektheitsbeweise für Muster von Servicekompositionen. Universität Paderborn; 2018. apa: Rautenberg, K. (2018). Korrektheitsbeweise für Muster von Servicekompositionen. Universität Paderborn. bibtex: '@book{Rautenberg_2018, title={Korrektheitsbeweise für Muster von Servicekompositionen}, publisher={Universität Paderborn}, author={Rautenberg, Kai}, year={2018} }' chicago: Rautenberg, Kai. Korrektheitsbeweise für Muster von Servicekompositionen. Universität Paderborn, 2018. ieee: K. Rautenberg, Korrektheitsbeweise für Muster von Servicekompositionen. Universität Paderborn, 2018. mla: Rautenberg, Kai. Korrektheitsbeweise für Muster von Servicekompositionen. Universität Paderborn, 2018. short: K. Rautenberg, Korrektheitsbeweise für Muster von Servicekompositionen, Universität Paderborn, 2018. date_created: 2018-06-25T07:53:32Z date_updated: 2022-01-06T06:59:10Z department: - _id: '7' - _id: '77' language: - iso: ger project: - _id: '1' name: SFB 901 - _id: '3' name: SFB 901 - Project Area B - _id: '11' name: SFB 901 - Subproject B3 publisher: Universität Paderborn status: public supervisor: - first_name: Heike full_name: Wehrheim, Heike id: '573' last_name: Wehrheim title: Korrektheitsbeweise für Muster von Servicekompositionen type: bachelorsthesis user_id: '477' year: '2018' ... --- _id: '3512' author: - first_name: Paul full_name: Börding, Paul last_name: Börding citation: ama: Börding P. Testing Java Method Contracts. Universität Paderborn; 2017. apa: Börding, P. (2017). Testing Java Method Contracts. Universität Paderborn. bibtex: '@book{Börding_2017, title={Testing Java Method Contracts}, publisher={Universität Paderborn}, author={Börding, Paul}, year={2017} }' chicago: Börding, Paul. Testing Java Method Contracts. Universität Paderborn, 2017. ieee: P. Börding, Testing Java Method Contracts. Universität Paderborn, 2017. mla: Börding, Paul. Testing Java Method Contracts. Universität Paderborn, 2017. short: P. Börding, Testing Java Method Contracts, Universität Paderborn, 2017. date_created: 2018-07-09T09:32:41Z date_updated: 2022-01-06T06:59:21Z department: - _id: '7' - _id: '77' language: - iso: eng project: - _id: '1' name: SFB 901 - _id: '3' name: SFB 901 - Project Area B - _id: '11' name: SFB 901 - Subproject B3 publisher: Universität Paderborn status: public supervisor: - first_name: Heike full_name: Wehrheim, Heike id: '573' last_name: Wehrheim title: Testing Java Method Contracts type: mastersthesis user_id: '477' year: '2017' ... --- _id: '707' author: - first_name: Sven full_name: Walther, Sven last_name: Walther citation: ama: Walther S. Knowledge-Based Verification of Service Compositions. Universität Paderborn; 2017. doi:10.17619/UNIPB/1-307 apa: Walther, S. (2017). Knowledge-based Verification of Service Compositions. Universität Paderborn. https://doi.org/10.17619/UNIPB/1-307 bibtex: '@book{Walther_2017, title={Knowledge-based Verification of Service Compositions}, DOI={10.17619/UNIPB/1-307}, publisher={Universität Paderborn}, author={Walther, Sven}, year={2017} }' chicago: Walther, Sven. Knowledge-Based Verification of Service Compositions. Universität Paderborn, 2017. https://doi.org/10.17619/UNIPB/1-307. ieee: S. Walther, Knowledge-based Verification of Service Compositions. Universität Paderborn, 2017. mla: Walther, Sven. Knowledge-Based Verification of Service Compositions. Universität Paderborn, 2017, doi:10.17619/UNIPB/1-307. short: S. Walther, Knowledge-Based Verification of Service Compositions, Universität Paderborn, 2017. date_created: 2017-11-20T07:59:31Z date_updated: 2022-01-06T07:03:27Z department: - _id: '77' doi: 10.17619/UNIPB/1-307 language: - iso: eng project: - _id: '1' name: SFB 901 - _id: '11' name: SFB 901 - Subproject B3 - _id: '3' name: SFB 901 - Project Area B publisher: Universität Paderborn status: public supervisor: - first_name: Heike full_name: Wehrheim, Heike id: '573' last_name: Wehrheim title: Knowledge-based Verification of Service Compositions type: dissertation user_id: '477' year: '2017' ... --- _id: '685' author: - first_name: Marie-Christine full_name: Jakobs, Marie-Christine last_name: Jakobs citation: ama: Jakobs M-C. On-The-Fly Safety Checking - Customizing Program Certification and Program Restructuring. Universität Paderborn; 2017. doi:10.17619/UNIPB/1-104 apa: Jakobs, M.-C. (2017). On-The-Fly Safety Checking - Customizing Program Certification and Program Restructuring. Universität Paderborn. https://doi.org/10.17619/UNIPB/1-104 bibtex: '@book{Jakobs_2017, title={On-The-Fly Safety Checking - Customizing Program Certification and Program Restructuring}, DOI={10.17619/UNIPB/1-104}, publisher={Universität Paderborn}, author={Jakobs, Marie-Christine}, year={2017} }' chicago: Jakobs, Marie-Christine. On-The-Fly Safety Checking - Customizing Program Certification and Program Restructuring. Universität Paderborn, 2017. https://doi.org/10.17619/UNIPB/1-104. ieee: M.-C. Jakobs, On-The-Fly Safety Checking - Customizing Program Certification and Program Restructuring. Universität Paderborn, 2017. mla: Jakobs, Marie-Christine. On-The-Fly Safety Checking - Customizing Program Certification and Program Restructuring. Universität Paderborn, 2017, doi:10.17619/UNIPB/1-104. short: M.-C. Jakobs, On-The-Fly Safety Checking - Customizing Program Certification and Program Restructuring, Universität Paderborn, 2017. date_created: 2017-11-13T08:13:29Z date_updated: 2022-01-06T07:03:22Z ddc: - '040' department: - _id: '77' doi: 10.17619/UNIPB/1-104 file: - access_level: closed content_type: application/pdf creator: florida date_created: 2018-03-14T12:26:52Z date_updated: 2018-03-14T12:26:52Z file_id: '1211' file_name: 685-Dissertation-Jakobs.pdf file_size: 11828624 relation: main_file success: 1 file_date_updated: 2018-03-14T12:26:52Z has_accepted_license: '1' project: - _id: '1' name: SFB 901 - _id: '12' name: SFB 901 - Subprojekt B4 - _id: '3' name: SFB 901 - Project Area B publisher: Universität Paderborn status: public supervisor: - first_name: Heike full_name: Wehrheim, Heike id: '573' last_name: Wehrheim title: On-The-Fly Safety Checking - Customizing Program Certification and Program Restructuring type: dissertation user_id: '477' year: '2017' ... --- _id: '109' author: - first_name: Felix full_name: Pauck, Felix id: '22398' last_name: Pauck citation: ama: Pauck F. Cooperative Static Analysis of Android Applications. Universität Paderborn; 2017. apa: Pauck, F. (2017). Cooperative static analysis of Android applications. Universität Paderborn. bibtex: '@book{Pauck_2017, title={Cooperative static analysis of Android applications}, publisher={Universität Paderborn}, author={Pauck, Felix}, year={2017} }' chicago: Pauck, Felix. Cooperative Static Analysis of Android Applications. Universität Paderborn, 2017. ieee: F. Pauck, Cooperative static analysis of Android applications. Universität Paderborn, 2017. mla: Pauck, Felix. Cooperative Static Analysis of Android Applications. Universität Paderborn, 2017. short: F. Pauck, Cooperative Static Analysis of Android Applications, Universität Paderborn, 2017. date_created: 2017-10-17T12:41:12Z date_updated: 2022-01-06T06:50:52Z ddc: - '000' department: - _id: '77' file: - access_level: open_access content_type: application/pdf creator: fpauck date_created: 2019-08-07T08:55:58Z date_updated: 2019-08-07T09:03:48Z file_id: '12905' file_name: fpauck_2017.pdf file_size: 5093611 relation: main_file title: Master's Thesis file_date_updated: 2019-08-07T09:03:48Z has_accepted_license: '1' language: - iso: eng oa: '1' project: - _id: '1' name: SFB 901 - _id: '12' name: SFB 901 - Subprojekt B4 - _id: '3' name: SFB 901 - Project Area B publisher: Universität Paderborn status: public supervisor: - first_name: Heike full_name: Wehrheim, Heike id: '573' last_name: Wehrheim title: Cooperative static analysis of Android applications type: mastersthesis user_id: '22398' year: '2017' ... --- _id: '1190' author: - first_name: Tobias full_name: Isenberg, Tobias last_name: Isenberg citation: ama: Isenberg T. Induction-Based Verification of Timed Systems. Universität Paderborn; 2016. apa: Isenberg, T. (2016). Induction-based Verification of Timed Systems. Universität Paderborn. bibtex: '@book{Isenberg_2016, title={Induction-based Verification of Timed Systems}, publisher={Universität Paderborn}, author={Isenberg, Tobias}, year={2016} }' chicago: Isenberg, Tobias. Induction-Based Verification of Timed Systems. Universität Paderborn, 2016. ieee: T. Isenberg, Induction-based Verification of Timed Systems. Universität Paderborn, 2016. mla: Isenberg, Tobias. Induction-Based Verification of Timed Systems. Universität Paderborn, 2016. short: T. Isenberg, Induction-Based Verification of Timed Systems, Universität Paderborn, 2016. date_created: 2018-03-05T10:11:48Z date_updated: 2022-01-06T06:51:12Z ddc: - '040' department: - _id: '77' file: - access_level: closed content_type: application/pdf creator: florida date_created: 2018-03-08T06:23:21Z date_updated: 2018-03-08T09:14:11Z file_id: '1195' file_name: 1190-thesis_abgabeversion.pdf file_size: 3354335 relation: main_file file_date_updated: 2018-03-08T09:14:11Z has_accepted_license: '1' project: - _id: '1' name: SFB 901 - _id: '12' name: SFB 901 - Subproject B4 - _id: '3' name: SFB 901 - Project Area B publisher: Universität Paderborn status: public supervisor: - first_name: Heike full_name: Wehrheim, Heike id: '573' last_name: Wehrheim title: Induction-based Verification of Timed Systems type: dissertation user_id: '477' year: '2016' ... --- _id: '246' author: - first_name: Galina full_name: Besova, Galina last_name: Besova citation: ama: Besova G. Systematic Development and Re-Use of Model Tranformations. Universität Paderborn; 2015. apa: Besova, G. (2015). Systematic Development and Re-Use of Model Tranformations. 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} }' chicago: Besova, Galina. Systematic Development and Re-Use of Model Tranformations. Universität Paderborn, 2015. ieee: G. Besova, Systematic Development and Re-Use of Model Tranformations. Universität Paderborn, 2015. mla: Besova, Galina. Systematic Development and Re-Use of Model Tranformations. Universität Paderborn, 2015. short: G. Besova, Systematic Development and Re-Use of Model Tranformations, Universität Paderborn, 2015. date_created: 2017-10-17T12:41:40Z date_updated: 2022-01-06T06:56:30Z ddc: - '040' department: - _id: '77' file: - access_level: closed content_type: application/pdf creator: florida date_created: 2018-03-21T09:47:14Z date_updated: 2018-03-21T09:47:14Z file_id: '1492' file_name: 246-Dissertation_-_Besova.pdf file_size: 10091866 relation: main_file success: 1 file_date_updated: 2018-03-21T09:47:14Z has_accepted_license: '1' project: - _id: '1' name: SFB 901 - _id: '11' name: SFB 901 - Subprojekt B3 - _id: '3' name: SFB 901 - Project Area B publisher: Universität Paderborn related_material: link: - relation: confirmation url: http://digital.ub.uni-paderborn.de/hsx/content/titleinfo/1705899 status: public supervisor: - first_name: Heike full_name: Wehrheim, Heike id: '573' last_name: Wehrheim title: Systematic Development and Re-Use of Model Tranformations type: dissertation user_id: '477' year: '2015' ... --- _id: '418' author: - first_name: Felix full_name: Pauck, Felix id: '22398' last_name: Pauck citation: ama: Pauck F. Generierung von Eigenschaftsprüfern in einem Hardware/Software-Co-Verifikationsverfahren. Universität Paderborn; 2014. apa: Pauck, F. (2014). Generierung von Eigenschaftsprüfern in einem Hardware/Software-Co-Verifikationsverfahren. Universität Paderborn. bibtex: '@book{Pauck_2014, title={Generierung von Eigenschaftsprüfern in einem Hardware/Software-Co-Verifikationsverfahren}, publisher={Universität Paderborn}, author={Pauck, Felix}, year={2014} }' chicago: Pauck, Felix. Generierung von Eigenschaftsprüfern in einem Hardware/Software-Co-Verifikationsverfahren. Universität Paderborn, 2014. ieee: F. Pauck, Generierung von Eigenschaftsprüfern in einem Hardware/Software-Co-Verifikationsverfahren. Universität Paderborn, 2014. mla: Pauck, Felix. Generierung von Eigenschaftsprüfern in einem Hardware/Software-Co-Verifikationsverfahren. Universität Paderborn, 2014. short: F. Pauck, Generierung von Eigenschaftsprüfern in einem Hardware/Software-Co-Verifikationsverfahren, Universität Paderborn, 2014. date_created: 2017-10-17T12:42:13Z date_updated: 2022-01-06T07:00:30Z ddc: - '000' department: - _id: '77' file: - access_level: open_access content_type: application/pdf creator: fpauck date_created: 2019-08-07T09:00:20Z date_updated: 2019-08-07T09:05:38Z file_id: '12906' file_name: fpauck_2014.pdf file_size: 3191756 relation: main_file title: Bachelorarbeit file_date_updated: 2019-08-07T09:05:38Z has_accepted_license: '1' language: - iso: ger oa: '1' project: - _id: '1' name: SFB 901 - _id: '12' name: SFB 901 - Subprojekt B4 - _id: '3' name: SFB 901 - Project Area B publisher: Universität Paderborn status: public supervisor: - first_name: Heike full_name: Wehrheim, Heike id: '573' last_name: Wehrheim title: Generierung von Eigenschaftsprüfern in einem Hardware/Software-Co-Verifikationsverfahren type: bachelorsthesis user_id: '22398' year: '2014' ... --- _id: '478' 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.' author: - first_name: Nils full_name: Timm, Nils last_name: Timm citation: ama: Timm N. Three-Valued Abstraction and Heuristic-Guided Refinement for Verifying Concurrent Systems. Universität Paderborn; 2013. apa: Timm, N. (2013). Three-Valued Abstraction and Heuristic-Guided Refinement for Verifying Concurrent Systems. Universität Paderborn. 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} }' chicago: Timm, Nils. Three-Valued Abstraction and Heuristic-Guided Refinement for Verifying Concurrent Systems. Universität Paderborn, 2013. ieee: N. Timm, Three-Valued Abstraction and Heuristic-Guided Refinement for Verifying Concurrent Systems. Universität Paderborn, 2013. mla: Timm, Nils. Three-Valued Abstraction and Heuristic-Guided Refinement for Verifying Concurrent Systems. Universität Paderborn, 2013. short: N. Timm, Three-Valued Abstraction and Heuristic-Guided Refinement for Verifying Concurrent Systems, Universität Paderborn, 2013. date_created: 2017-10-17T12:42:25Z date_updated: 2022-01-06T07:01:22Z ddc: - '040' department: - _id: '77' file: - access_level: closed content_type: application/pdf creator: florida date_created: 2018-03-15T14:06:05Z date_updated: 2018-03-15T14:06:05Z file_id: '1324' file_name: 478-Dissertation-Timm.pdf file_size: 931458 relation: main_file success: 1 file_date_updated: 2018-03-15T14:06:05Z has_accepted_license: '1' project: - _id: '1' name: SFB 901 - _id: '12' name: SFB 901 - Subprojekt B4 - _id: '3' name: SFB 901 - Project Area B publisher: Universität Paderborn status: public supervisor: - first_name: Heike full_name: Wehrheim, Heike id: '573' last_name: Wehrheim title: Three-Valued Abstraction and Heuristic-Guided Refinement for Verifying Concurrent Systems type: dissertation user_id: '477' year: '2013' ... --- _id: '658' author: - first_name: Alexander full_name: Schremmer, Alexander last_name: Schremmer citation: ama: Schremmer A. Function Specification Inference Using Craig Interpolation. Universität Paderborn; 2011. apa: Schremmer, A. (2011). Function Specification Inference Using Craig Interpolation. Universität Paderborn. bibtex: '@book{Schremmer_2011, title={Function Specification Inference Using Craig Interpolation}, publisher={Universität Paderborn}, author={Schremmer, Alexander}, year={2011} }' chicago: Schremmer, Alexander. Function Specification Inference Using Craig Interpolation. Universität Paderborn, 2011. ieee: A. Schremmer, Function Specification Inference Using Craig Interpolation. Universität Paderborn, 2011. mla: Schremmer, Alexander. Function Specification Inference Using Craig Interpolation. Universität Paderborn, 2011. short: A. Schremmer, Function Specification Inference Using Craig Interpolation, Universität Paderborn, 2011. date_created: 2017-10-17T12:43:00Z date_updated: 2022-01-06T07:03:12Z department: - _id: '77' language: - iso: eng project: - _id: '1' name: SFB 901 - _id: '12' name: SFB 901 - Subprojekt B4 - _id: '3' name: SFB 901 - Project Area B publisher: Universität Paderborn status: public supervisor: - first_name: Heike full_name: Wehrheim, Heike id: '573' last_name: Wehrheim title: Function Specification Inference Using Craig Interpolation type: mastersthesis user_id: '477' year: '2011' ...