---
_id: '47833'
author:
- first_name: Jürgen
  full_name: König, Jürgen
  last_name: König
citation:
  ama: König J. <i>On the Membership and Correctness Problem for State Serializability
    and Value Opacity</i>.; 2023.
  apa: König, J. (2023). <i>On the Membership and Correctness Problem for State Serializability
    and Value Opacity</i>.
  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. <i>On the Membership and Correctness Problem for State Serializability
    and Value Opacity</i>, 2023.
  ieee: J. König, <i>On the Membership and Correctness Problem for State Serializability
    and Value Opacity</i>. 2023.
  mla: König, Jürgen. <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.
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: '43108'
author:
- first_name: Felix
  full_name: Pauck, Felix
  id: '22398'
  last_name: Pauck
citation:
  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>
  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>
  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} }'
  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>.
  ieee: F. Pauck, <i>Cooperative Android App Analysis</i>. Paderborn University, 2023.
  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.
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: '22304'
author:
- first_name: Stefan
  full_name: Schott, Stefan
  id: '54847'
  last_name: Schott
citation:
  ama: Schott S. <i>Android App Analysis Benchmark Case Generation</i>. Paderborn;
    2021.
  apa: Schott, S. (2021). <i>Android App Analysis Benchmark Case Generation</i>. Paderborn.
  bibtex: '@book{Schott_2021, place={Paderborn}, title={Android App Analysis Benchmark
    Case Generation}, author={Schott, Stefan}, year={2021} }'
  chicago: Schott, Stefan. <i>Android App Analysis Benchmark Case Generation</i>.
    Paderborn, 2021.
  ieee: S. Schott, <i>Android App Analysis Benchmark Case Generation</i>. Paderborn,
    2021.
  mla: Schott, Stefan. <i>Android App Analysis Benchmark Case Generation</i>. 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. <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} }'
  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.
  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.
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. <i>Combining Android Apps for Analysis Purposes</i>. Universität Paderborn;
    2019.
  apa: Zhang, S. (2019). <i>Combining Android Apps for Analysis Purposes</i>. 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. <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.
  mla: Zhang, Shikun. <i>Combining Android Apps for Analysis Purposes</i>. 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. <i>Analyzing Data Usage in Array Programs</i>.; 2019.
  apa: Haltermann, J. F. (2019). <i>Analyzing Data Usage in Array Programs</i>.
  bibtex: '@book{Haltermann_2019, title={Analyzing Data Usage in Array Programs},
    author={Haltermann, Jan Frederik}, year={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.
  mla: Haltermann, Jan Frederik. <i>Analyzing Data Usage in Array Programs</i>. 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. <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.
  bibtex: '@book{Haltermann_2019, title={Analyzing Data Usage in Array Programs},
    publisher={Universität Paderborn}, author={Haltermann, Jan}, year={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.
  mla: Haltermann, Jan. <i>Analyzing Data Usage in Array Programs</i>. 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. <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.
  bibtex: '@book{Rautenberg_2018, title={Korrektheitsbeweise für Muster von Servicekompositionen},
    publisher={Universität Paderborn}, author={Rautenberg, Kai}, year={2018} }'
  chicago: Rautenberg, Kai. <i>Korrektheitsbeweise für Muster von Servicekompositionen</i>.
    Universität Paderborn, 2018.
  ieee: K. Rautenberg, <i>Korrektheitsbeweise für Muster von Servicekompositionen</i>.
    Universität Paderborn, 2018.
  mla: Rautenberg, Kai. <i>Korrektheitsbeweise für Muster von Servicekompositionen</i>.
    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. <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} }'
  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.
  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.
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. <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>
  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} }'
  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>.
  ieee: S. Walther, <i>Knowledge-based Verification of Service Compositions</i>. Universität
    Paderborn, 2017.
  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.
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. <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>
  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>
  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}
    }'
  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>.
  ieee: M.-C. Jakobs, <i>On-The-Fly Safety Checking - Customizing Program Certification
    and Program Restructuring</i>. Universität Paderborn, 2017.
  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>.
  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. <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.
  bibtex: '@book{Pauck_2017, title={Cooperative static analysis of Android applications},
    publisher={Universität Paderborn}, author={Pauck, Felix}, year={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.
  mla: Pauck, Felix. <i>Cooperative Static Analysis of Android Applications</i>. 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. <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.
  bibtex: '@book{Isenberg_2016, title={Induction-based Verification of Timed Systems},
    publisher={Universität Paderborn}, author={Isenberg, Tobias}, year={2016} }'
  chicago: Isenberg, Tobias. <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.
  mla: Isenberg, Tobias. <i>Induction-Based Verification of Timed Systems</i>. 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. <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} }'
  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.
  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.
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. <i>Generierung von Eigenschaftsprüfern in einem Hardware/Software-Co-Verifikationsverfahren</i>.
    Universität Paderborn; 2014.
  apa: Pauck, F. (2014). <i>Generierung von Eigenschaftsprüfern in einem Hardware/Software-Co-Verifikationsverfahren</i>.
    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. <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.
  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.
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. <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.
  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. <i>Three-Valued Abstraction and Heuristic-Guided Refinement
    for Verifying Concurrent Systems</i>. Universität Paderborn, 2013.
  ieee: N. Timm, <i>Three-Valued Abstraction and Heuristic-Guided Refinement for Verifying
    Concurrent Systems</i>. Universität Paderborn, 2013.
  mla: Timm, Nils. <i>Three-Valued Abstraction and Heuristic-Guided Refinement for
    Verifying Concurrent Systems</i>. 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. <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} }'
  chicago: Schremmer, Alexander. <i>Function Specification Inference Using Craig Interpolation</i>.
    Universität Paderborn, 2011.
  ieee: A. Schremmer, <i>Function Specification Inference Using Craig Interpolation</i>.
    Universität Paderborn, 2011.
  mla: Schremmer, Alexander. <i>Function Specification Inference Using Craig Interpolation</i>.
    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'
...