---
_id: '35426'
author:
- first_name: Cedric
full_name: Richter, Cedric
id: '50003'
last_name: Richter
- first_name: Jan Frederik
full_name: Haltermann, Jan Frederik
id: '44413'
last_name: Haltermann
- first_name: Marie-Christine
full_name: Jakobs, Marie-Christine
last_name: Jakobs
- first_name: Felix
full_name: Pauck, Felix
id: '22398'
last_name: Pauck
- first_name: Stefan
full_name: Schott, Stefan
id: '54847'
last_name: Schott
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'Richter C, Haltermann JF, Jakobs M-C, Pauck F, Schott S, Wehrheim H. Are Neural
Bug Detectors Comparable to Software Developers on Variable Misuse Bugs? In: 37th
IEEE/ACM International Conference on Automated Software Engineering. ACM;
2023. doi:10.1145/3551349.3561156'
apa: Richter, C., Haltermann, J. F., Jakobs, M.-C., Pauck, F., Schott, S., &
Wehrheim, H. (2023). Are Neural Bug Detectors Comparable to Software Developers
on Variable Misuse Bugs? 37th IEEE/ACM International Conference on Automated
Software Engineering. https://doi.org/10.1145/3551349.3561156
bibtex: '@inproceedings{Richter_Haltermann_Jakobs_Pauck_Schott_Wehrheim_2023, title={Are
Neural Bug Detectors Comparable to Software Developers on Variable Misuse Bugs?},
DOI={10.1145/3551349.3561156},
booktitle={37th IEEE/ACM International Conference on Automated Software Engineering},
publisher={ACM}, author={Richter, Cedric and Haltermann, Jan Frederik and Jakobs,
Marie-Christine and Pauck, Felix and Schott, Stefan and Wehrheim, Heike}, year={2023}
}'
chicago: Richter, Cedric, Jan Frederik Haltermann, Marie-Christine Jakobs, Felix
Pauck, Stefan Schott, and Heike Wehrheim. “Are Neural Bug Detectors Comparable
to Software Developers on Variable Misuse Bugs?” In 37th IEEE/ACM International
Conference on Automated Software Engineering. ACM, 2023. https://doi.org/10.1145/3551349.3561156.
ieee: 'C. Richter, J. F. Haltermann, M.-C. Jakobs, F. Pauck, S. Schott, and H. Wehrheim,
“Are Neural Bug Detectors Comparable to Software Developers on Variable Misuse
Bugs?,” 2023, doi: 10.1145/3551349.3561156.'
mla: Richter, Cedric, et al. “Are Neural Bug Detectors Comparable to Software Developers
on Variable Misuse Bugs?” 37th IEEE/ACM International Conference on Automated
Software Engineering, ACM, 2023, doi:10.1145/3551349.3561156.
short: 'C. Richter, J.F. Haltermann, M.-C. Jakobs, F. Pauck, S. Schott, H. Wehrheim,
in: 37th IEEE/ACM International Conference on Automated Software Engineering,
ACM, 2023.'
date_created: 2023-01-09T06:28:44Z
date_updated: 2023-01-19T13:50:18Z
department:
- _id: '77'
doi: 10.1145/3551349.3561156
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.1145/3551349.3561156
oa: '1'
project:
- _id: '3'
name: 'SFB 901 - B: SFB 901 - Project Area B'
- _id: '12'
name: 'SFB 901 - B4: SFB 901 - Subproject B4'
- _id: '1'
name: 'SFB 901: SFB 901'
publication: 37th IEEE/ACM International Conference on Automated Software Engineering
publication_status: published
publisher: ACM
status: public
title: Are Neural Bug Detectors Comparable to Software Developers on Variable Misuse
Bugs?
type: conference
user_id: '477'
year: '2023'
...
---
_id: '36848'
author:
- first_name: Stefan
full_name: Schott, Stefan
id: '54847'
last_name: Schott
- first_name: Felix
full_name: Pauck, Felix
id: '22398'
last_name: Pauck
citation:
ama: 'Schott S, Pauck F. Benchmark Fuzzing for Android Taint Analyses. In: 2022
IEEE 22nd International Working Conference on Source Code Analysis and Manipulation
(SCAM). IEEE; 2023. doi:10.1109/scam55253.2022.00007'
apa: Schott, S., & Pauck, F. (2023). Benchmark Fuzzing for Android Taint Analyses.
2022 IEEE 22nd International Working Conference on Source Code Analysis and
Manipulation (SCAM). https://doi.org/10.1109/scam55253.2022.00007
bibtex: '@inproceedings{Schott_Pauck_2023, title={Benchmark Fuzzing for Android
Taint Analyses}, DOI={10.1109/scam55253.2022.00007},
booktitle={2022 IEEE 22nd International Working Conference on Source Code Analysis
and Manipulation (SCAM)}, publisher={IEEE}, author={Schott, Stefan and Pauck,
Felix}, year={2023} }'
chicago: Schott, Stefan, and Felix Pauck. “Benchmark Fuzzing for Android Taint Analyses.”
In 2022 IEEE 22nd International Working Conference on Source Code Analysis
and Manipulation (SCAM). IEEE, 2023. https://doi.org/10.1109/scam55253.2022.00007.
ieee: 'S. Schott and F. Pauck, “Benchmark Fuzzing for Android Taint Analyses,” 2023,
doi: 10.1109/scam55253.2022.00007.'
mla: Schott, Stefan, and Felix Pauck. “Benchmark Fuzzing for Android Taint Analyses.”
2022 IEEE 22nd International Working Conference on Source Code Analysis and
Manipulation (SCAM), IEEE, 2023, doi:10.1109/scam55253.2022.00007.
short: 'S. Schott, F. Pauck, in: 2022 IEEE 22nd International Working Conference
on Source Code Analysis and Manipulation (SCAM), IEEE, 2023.'
date_created: 2023-01-16T07:17:12Z
date_updated: 2023-01-19T13:49:06Z
department:
- _id: '77'
doi: 10.1109/scam55253.2022.00007
language:
- iso: eng
main_file_link:
- url: https://ieeexplore.ieee.org/document/10006876
project:
- _id: '107'
name: 'SFB 901 - T3: SFB 901 -Subproject T3'
- _id: '82'
name: 'SFB 901 - T: SFB 901 - Project Area T'
- _id: '1'
name: 'SFB 901: SFB 901'
publication: 2022 IEEE 22nd International Working Conference on Source Code Analysis
and Manipulation (SCAM)
publication_status: published
publisher: IEEE
status: public
title: Benchmark Fuzzing for Android Taint Analyses
type: conference
user_id: '477'
year: '2023'
...
---
_id: '35427'
author:
- first_name: Felix
full_name: Pauck, Felix
id: '22398'
last_name: Pauck
citation:
ama: 'Pauck F. Scaling Arbitrary Android App Analyses. In: 37th IEEE/ACM International
Conference on Automated Software Engineering. ACM; 2023. doi:10.1145/3551349.3561339'
apa: Pauck, F. (2023). Scaling Arbitrary Android App Analyses. 37th IEEE/ACM
International Conference on Automated Software Engineering. https://doi.org/10.1145/3551349.3561339
bibtex: '@inproceedings{Pauck_2023, title={Scaling Arbitrary Android App Analyses},
DOI={10.1145/3551349.3561339},
booktitle={37th IEEE/ACM International Conference on Automated Software Engineering},
publisher={ACM}, author={Pauck, Felix}, year={2023} }'
chicago: Pauck, Felix. “Scaling Arbitrary Android App Analyses.” In 37th IEEE/ACM
International Conference on Automated Software Engineering. ACM, 2023. https://doi.org/10.1145/3551349.3561339.
ieee: 'F. Pauck, “Scaling Arbitrary Android App Analyses,” 2023, doi: 10.1145/3551349.3561339.'
mla: Pauck, Felix. “Scaling Arbitrary Android App Analyses.” 37th IEEE/ACM International
Conference on Automated Software Engineering, ACM, 2023, doi:10.1145/3551349.3561339.
short: 'F. Pauck, in: 37th IEEE/ACM International Conference on Automated Software
Engineering, ACM, 2023.'
date_created: 2023-01-09T06:32:33Z
date_updated: 2023-01-19T13:49:52Z
department:
- _id: '77'
doi: 10.1145/3551349.3561339
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.1145/3551349.3561339
oa: '1'
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'
publication: 37th IEEE/ACM International Conference on Automated Software Engineering
publication_status: published
publisher: ACM
status: public
title: Scaling Arbitrary Android App Analyses
type: conference
user_id: '477'
year: '2023'
...
---
_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: '32590'
author:
- first_name: Cedric
full_name: Richter, Cedric
id: '50003'
last_name: Richter
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'Richter C, Wehrheim H. Learning Realistic Mutations: Bug Creation for Neural
Bug Detectors. In: 2022 IEEE Conference on Software Testing, Verification and
Validation (ICST). ; 2022:162-173. doi:10.1109/ICST53961.2022.00027'
apa: 'Richter, C., & Wehrheim, H. (2022). Learning Realistic Mutations: Bug
Creation for Neural Bug Detectors. 2022 IEEE Conference on Software Testing,
Verification and Validation (ICST), 162–173. https://doi.org/10.1109/ICST53961.2022.00027'
bibtex: '@inproceedings{Richter_Wehrheim_2022, title={Learning Realistic Mutations:
Bug Creation for Neural Bug Detectors}, DOI={10.1109/ICST53961.2022.00027},
booktitle={2022 IEEE Conference on Software Testing, Verification and Validation
(ICST)}, author={Richter, Cedric and Wehrheim, Heike}, year={2022}, pages={162–173}
}'
chicago: 'Richter, Cedric, and Heike Wehrheim. “Learning Realistic Mutations: Bug
Creation for Neural Bug Detectors.” In 2022 IEEE Conference on Software Testing,
Verification and Validation (ICST), 162–73, 2022. https://doi.org/10.1109/ICST53961.2022.00027.'
ieee: 'C. Richter and H. Wehrheim, “Learning Realistic Mutations: Bug Creation for
Neural Bug Detectors,” in 2022 IEEE Conference on Software Testing, Verification
and Validation (ICST), 2022, pp. 162–173, doi: 10.1109/ICST53961.2022.00027.'
mla: 'Richter, Cedric, and Heike Wehrheim. “Learning Realistic Mutations: Bug Creation
for Neural Bug Detectors.” 2022 IEEE Conference on Software Testing, Verification
and Validation (ICST), 2022, pp. 162–73, doi:10.1109/ICST53961.2022.00027.'
short: 'C. Richter, H. Wehrheim, in: 2022 IEEE Conference on Software Testing, Verification
and Validation (ICST), 2022, pp. 162–173.'
date_created: 2022-08-08T07:40:04Z
date_updated: 2022-11-18T09:45:40Z
department:
- _id: '77'
doi: 10.1109/ICST53961.2022.00027
language:
- iso: eng
page: 162-173
project:
- _id: '12'
name: 'SFB 901 - B4: SFB 901 - Subproject B4'
- _id: '1'
name: 'SFB 901: SFB 901'
- _id: '3'
name: 'SFB 901 - B: SFB 901 - Project Area B'
publication: 2022 IEEE Conference on Software Testing, Verification and Validation
(ICST)
status: public
title: 'Learning Realistic Mutations: Bug Creation for Neural Bug Detectors'
type: conference
user_id: '477'
year: '2022'
...
---
_id: '32591'
author:
- first_name: Cedric
full_name: Richter, Cedric
id: '50003'
last_name: Richter
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'Richter C, Wehrheim H. TSSB-3M: Mining single statement bugs at massive scale.
In: 2022 IEEE/ACM 19th International Conference on Mining Software Repositories
(MSR). ; 2022:418-422. doi:10.1145/3524842.3528505'
apa: 'Richter, C., & Wehrheim, H. (2022). TSSB-3M: Mining single statement bugs
at massive scale. 2022 IEEE/ACM 19th International Conference on Mining Software
Repositories (MSR), 418–422. https://doi.org/10.1145/3524842.3528505'
bibtex: '@inproceedings{Richter_Wehrheim_2022, title={TSSB-3M: Mining single statement
bugs at massive scale}, DOI={10.1145/3524842.3528505},
booktitle={2022 IEEE/ACM 19th International Conference on Mining Software Repositories
(MSR)}, author={Richter, Cedric and Wehrheim, Heike}, year={2022}, pages={418–422}
}'
chicago: 'Richter, Cedric, and Heike Wehrheim. “TSSB-3M: Mining Single Statement
Bugs at Massive Scale.” In 2022 IEEE/ACM 19th International Conference on Mining
Software Repositories (MSR), 418–22, 2022. https://doi.org/10.1145/3524842.3528505.'
ieee: 'C. Richter and H. Wehrheim, “TSSB-3M: Mining single statement bugs at massive
scale,” in 2022 IEEE/ACM 19th International Conference on Mining Software Repositories
(MSR), 2022, pp. 418–422, doi: 10.1145/3524842.3528505.'
mla: 'Richter, Cedric, and Heike Wehrheim. “TSSB-3M: Mining Single Statement Bugs
at Massive Scale.” 2022 IEEE/ACM 19th International Conference on Mining Software
Repositories (MSR), 2022, pp. 418–22, doi:10.1145/3524842.3528505.'
short: 'C. Richter, H. Wehrheim, in: 2022 IEEE/ACM 19th International Conference
on Mining Software Repositories (MSR), 2022, pp. 418–422.'
date_created: 2022-08-08T07:42:19Z
date_updated: 2022-11-18T09:45:05Z
department:
- _id: '77'
doi: 10.1145/3524842.3528505
language:
- iso: eng
page: 418-422
project:
- _id: '12'
name: 'SFB 901 - B4: SFB 901 - Subproject B4'
- _id: '1'
name: 'SFB 901: SFB 901'
- _id: '3'
name: 'SFB 901 - B: SFB 901 - Project Area B'
publication: 2022 IEEE/ACM 19th International Conference on Mining Software Repositories
(MSR)
status: public
title: 'TSSB-3M: Mining single statement bugs at massive scale'
type: conference
user_id: '477'
year: '2022'
...
---
_id: '45248'
author:
- first_name: Brijesh
full_name: Dongol, Brijesh
last_name: Dongol
- first_name: Gerhard
full_name: Schellhorn, Gerhard
last_name: Schellhorn
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'Dongol B, Schellhorn G, Wehrheim H. Weak Progressive Forward Simulation Is
Necessary and Sufficient for Strong Observational Refinement. In: Klin B, Lasota
S, Muscholl A, eds. 33rd International Conference on Concurrency Theory, CONCUR
2022, September 12-16, 2022, Warsaw, Poland. Vol 243. LIPIcs. Schloss Dagstuhl
- Leibniz-Zentrum für Informatik; 2022:31:1–31:23. doi:10.4230/LIPIcs.CONCUR.2022.31'
apa: Dongol, B., Schellhorn, G., & Wehrheim, H. (2022). Weak Progressive Forward
Simulation Is Necessary and Sufficient for Strong Observational Refinement. In
B. Klin, S. Lasota, & A. Muscholl (Eds.), 33rd International Conference
on Concurrency Theory, CONCUR 2022, September 12-16, 2022, Warsaw, Poland
(Vol. 243, p. 31:1–31:23). Schloss Dagstuhl - Leibniz-Zentrum für Informatik.
https://doi.org/10.4230/LIPIcs.CONCUR.2022.31
bibtex: '@inproceedings{Dongol_Schellhorn_Wehrheim_2022, series={LIPIcs}, title={Weak
Progressive Forward Simulation Is Necessary and Sufficient for Strong Observational
Refinement}, volume={243}, DOI={10.4230/LIPIcs.CONCUR.2022.31},
booktitle={33rd International Conference on Concurrency Theory, CONCUR 2022, September
12-16, 2022, Warsaw, Poland}, publisher={Schloss Dagstuhl - Leibniz-Zentrum für
Informatik}, author={Dongol, Brijesh and Schellhorn, Gerhard and Wehrheim, Heike},
editor={Klin, Bartek and Lasota, Slawomir and Muscholl, Anca}, year={2022}, pages={31:1–31:23},
collection={LIPIcs} }'
chicago: Dongol, Brijesh, Gerhard Schellhorn, and Heike Wehrheim. “Weak Progressive
Forward Simulation Is Necessary and Sufficient for Strong Observational Refinement.”
In 33rd International Conference on Concurrency Theory, CONCUR 2022, September
12-16, 2022, Warsaw, Poland, edited by Bartek Klin, Slawomir Lasota, and Anca
Muscholl, 243:31:1–31:23. LIPIcs. Schloss Dagstuhl - Leibniz-Zentrum für Informatik,
2022. https://doi.org/10.4230/LIPIcs.CONCUR.2022.31.
ieee: 'B. Dongol, G. Schellhorn, and H. Wehrheim, “Weak Progressive Forward Simulation
Is Necessary and Sufficient for Strong Observational Refinement,” in 33rd International
Conference on Concurrency Theory, CONCUR 2022, September 12-16, 2022, Warsaw,
Poland, 2022, vol. 243, p. 31:1–31:23, doi: 10.4230/LIPIcs.CONCUR.2022.31.'
mla: Dongol, Brijesh, et al. “Weak Progressive Forward Simulation Is Necessary and
Sufficient for Strong Observational Refinement.” 33rd International Conference
on Concurrency Theory, CONCUR 2022, September 12-16, 2022, Warsaw, Poland,
edited by Bartek Klin et al., vol. 243, Schloss Dagstuhl - Leibniz-Zentrum für
Informatik, 2022, p. 31:1–31:23, doi:10.4230/LIPIcs.CONCUR.2022.31.
short: 'B. Dongol, G. Schellhorn, H. Wehrheim, in: B. Klin, S. Lasota, A. Muscholl
(Eds.), 33rd International Conference on Concurrency Theory, CONCUR 2022, September
12-16, 2022, Warsaw, Poland, Schloss Dagstuhl - Leibniz-Zentrum für Informatik,
2022, p. 31:1–31:23.'
date_created: 2023-05-24T07:55:24Z
date_updated: 2023-08-28T12:24:57Z
department:
- _id: '77'
doi: 10.4230/LIPIcs.CONCUR.2022.31
editor:
- first_name: Bartek
full_name: Klin, Bartek
last_name: Klin
- first_name: Slawomir
full_name: Lasota, Slawomir
last_name: Lasota
- first_name: Anca
full_name: Muscholl, Anca
last_name: Muscholl
intvolume: ' 243'
language:
- iso: eng
page: 31:1–31:23
project:
- _id: '1'
grant_number: '160364472'
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'
publication: 33rd International Conference on Concurrency Theory, CONCUR 2022, September
12-16, 2022, Warsaw, Poland
publisher: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
series_title: LIPIcs
status: public
title: Weak Progressive Forward Simulation Is Necessary and Sufficient for Strong
Observational Refinement
type: conference
user_id: '477'
volume: 243
year: '2022'
...
---
_id: '28350'
abstract:
- lang: eng
text: "In recent years, we observe an increasing amount of software with machine
learning components being deployed. This poses the question of quality assurance
for such components: how can we validate whether specified requirements are fulfilled
by a machine learned software? Current testing and verification approaches either
focus on a single requirement (e.g., fairness) or specialize on a single type
of machine learning model (e.g., neural networks).\r\nIn this paper, we propose
property-driven testing of machine learning models. Our approach MLCheck encompasses
(1) a language for property specification, and (2) a technique for systematic
test case generation. The specification language is comparable to property-based
testing languages. Test case generation employs advanced verification technology
for a systematic, property dependent construction of test suites, without additional
user supplied generator functions. We evaluate MLCheck using requirements and
data sets from three different application areas (software\r\ndiscrimination,
learning on knowledge graphs and security). Our evaluation shows that despite
its generality MLCheck can even outperform specialised testing approaches while
having a comparable runtime"
author:
- first_name: Arnab
full_name: Sharma, Arnab
id: '67200'
last_name: Sharma
- first_name: Caglar
full_name: Demir, Caglar
id: '43817'
last_name: Demir
- first_name: Axel-Cyrille
full_name: Ngonga Ngomo, Axel-Cyrille
id: '65716'
last_name: Ngonga Ngomo
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'Sharma A, Demir C, Ngonga Ngomo A-C, Wehrheim H. MLCHECK–Property-Driven Testing
of Machine Learning Classifiers. In: Proceedings of the 20th IEEE International
Conference on Machine Learning and Applications (ICMLA). IEEE.'
apa: Sharma, A., Demir, C., Ngonga Ngomo, A.-C., & Wehrheim, H. (n.d.). MLCHECK–Property-Driven
Testing of Machine Learning Classifiers. Proceedings of the 20th IEEE International
Conference on Machine Learning and Applications (ICMLA).
bibtex: '@inproceedings{Sharma_Demir_Ngonga Ngomo_Wehrheim, title={MLCHECK–Property-Driven
Testing of Machine Learning Classifiers}, booktitle={Proceedings of the 20th IEEE
International Conference on Machine Learning and Applications (ICMLA)}, publisher={IEEE},
author={Sharma, Arnab and Demir, Caglar and Ngonga Ngomo, Axel-Cyrille and Wehrheim,
Heike} }'
chicago: Sharma, Arnab, Caglar Demir, Axel-Cyrille Ngonga Ngomo, and Heike Wehrheim.
“MLCHECK–Property-Driven Testing of Machine Learning Classifiers.” In Proceedings
of the 20th IEEE International Conference on Machine Learning and Applications
(ICMLA). IEEE, n.d.
ieee: A. Sharma, C. Demir, A.-C. Ngonga Ngomo, and H. Wehrheim, “MLCHECK–Property-Driven
Testing of Machine Learning Classifiers.”
mla: Sharma, Arnab, et al. “MLCHECK–Property-Driven Testing of Machine Learning
Classifiers.” Proceedings of the 20th IEEE International Conference on Machine
Learning and Applications (ICMLA), IEEE.
short: 'A. Sharma, C. Demir, A.-C. Ngonga Ngomo, H. Wehrheim, in: Proceedings of
the 20th IEEE International Conference on Machine Learning and Applications (ICMLA),
IEEE, n.d.'
date_created: 2021-12-07T11:11:36Z
date_updated: 2022-01-06T06:58:02Z
department:
- _id: '7'
- _id: '77'
- _id: '574'
language:
- iso: eng
project:
- _id: '1'
name: SFB 901
- _id: '3'
name: SFB 901 - Project Area B
- _id: '11'
name: SFB 901 - Subproject B3
- _id: '10'
name: SFB 901 - Subproject B2
publication: Proceedings of the 20th IEEE International Conference on Machine Learning
and Applications (ICMLA)
publication_status: accepted
publisher: IEEE
status: public
title: MLCHECK–Property-Driven Testing of Machine Learning Classifiers
type: conference
user_id: '477'
year: '2021'
...
---
_id: '27045'
abstract:
- lang: eng
text: 'Due to the lack of established real-world benchmark suites for static taint
analyses of Android applications, evaluations of these analyses are often restricted
and hard to compare. Even in evaluations that do use real-world apps, details
about the ground truth in those apps are rarely documented, which makes it difficult
to compare and reproduce the results. To push Android taint analysis research
forward, this paper thus recommends criteria for constructing real-world benchmark
suites for this specific domain, and presents TaintBench, the first real-world
malware benchmark suite with documented taint flows. TaintBench benchmark apps
include taint flows with complex structures, and addresses static challenges that
are commonly agreed on by the community. Together with the TaintBench suite, we
introduce the TaintBench framework, whose goal is to simplify real-world benchmarking
of Android taint analyses. First, a usability test shows that the framework improves
experts’ performance and perceived usability when documenting and inspecting taint
flows. Second, experiments using TaintBench reveal new insights for the taint
analysis tools Amandroid and FlowDroid: (i) They are less effective on real-world
malware apps than on synthetic benchmark apps. (ii) Predefined lists of sources
and sinks heavily impact the tools’ accuracy. (iii) Surprisingly, up-to-date versions
of both tools are less accurate than their predecessors.'
author:
- first_name: Linghui
full_name: Luo, Linghui
last_name: Luo
- first_name: Felix
full_name: Pauck, Felix
id: '22398'
last_name: Pauck
- first_name: Goran
full_name: Piskachev, Goran
id: '41936'
last_name: Piskachev
orcid: 0000-0003-4424-5838
- first_name: Manuel
full_name: Benz, Manuel
last_name: Benz
- first_name: Ivan
full_name: Pashchenko, Ivan
last_name: Pashchenko
- first_name: Martin
full_name: Mory, Martin
id: '65667'
last_name: Mory
orcid: 0000-0001-5609-0031
- first_name: Eric
full_name: Bodden, Eric
id: '59256'
last_name: Bodden
orcid: 0000-0003-3470-3647
- first_name: Ben
full_name: Hermann, Ben
id: '66173'
last_name: Hermann
orcid: 0000-0001-9848-2017
- first_name: Fabio
full_name: Massacci, Fabio
last_name: Massacci
citation:
ama: 'Luo L, Pauck F, Piskachev G, et al. TaintBench: Automatic real-world malware
benchmarking of Android taint analyses. Empirical Software Engineering.
Published online 2021. doi:10.1007/s10664-021-10013-5'
apa: 'Luo, L., Pauck, F., Piskachev, G., Benz, M., Pashchenko, I., Mory, M., Bodden,
E., Hermann, B., & Massacci, F. (2021). TaintBench: Automatic real-world malware
benchmarking of Android taint analyses. Empirical Software Engineering.
https://doi.org/10.1007/s10664-021-10013-5'
bibtex: '@article{Luo_Pauck_Piskachev_Benz_Pashchenko_Mory_Bodden_Hermann_Massacci_2021,
title={TaintBench: Automatic real-world malware benchmarking of Android taint
analyses}, DOI={10.1007/s10664-021-10013-5},
journal={Empirical Software Engineering}, author={Luo, Linghui and Pauck, Felix
and Piskachev, Goran and Benz, Manuel and Pashchenko, Ivan and Mory, Martin and
Bodden, Eric and Hermann, Ben and Massacci, Fabio}, year={2021} }'
chicago: 'Luo, Linghui, Felix Pauck, Goran Piskachev, Manuel Benz, Ivan Pashchenko,
Martin Mory, Eric Bodden, Ben Hermann, and Fabio Massacci. “TaintBench: Automatic
Real-World Malware Benchmarking of Android Taint Analyses.” Empirical Software
Engineering, 2021. https://doi.org/10.1007/s10664-021-10013-5.'
ieee: 'L. Luo et al., “TaintBench: Automatic real-world malware benchmarking
of Android taint analyses,” Empirical Software Engineering, 2021, doi:
10.1007/s10664-021-10013-5.'
mla: 'Luo, Linghui, et al. “TaintBench: Automatic Real-World Malware Benchmarking
of Android Taint Analyses.” Empirical Software Engineering, 2021, doi:10.1007/s10664-021-10013-5.'
short: L. Luo, F. Pauck, G. Piskachev, M. Benz, I. Pashchenko, M. Mory, E. Bodden,
B. Hermann, F. Massacci, Empirical Software Engineering (2021).
date_created: 2021-11-02T05:13:49Z
date_updated: 2022-01-06T06:57:32Z
ddc:
- '000'
department:
- _id: '77'
- _id: '76'
doi: 10.1007/s10664-021-10013-5
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://link.springer.com/content/pdf/10.1007/s10664-021-10013-5.pdf
oa: '1'
project:
- _id: '1'
name: SFB 901
- _id: '3'
name: SFB 901 - Project Area B
- _id: '12'
name: SFB 901 - Subproject B4
publication: Empirical Software Engineering
publication_identifier:
issn:
- 1382-3256
- 1573-7616
publication_status: published
status: public
title: 'TaintBench: Automatic real-world malware benchmarking of Android taint analyses'
type: journal_article
user_id: '15249'
year: '2021'
...
---
_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: '28199'
author:
- first_name: Felix
full_name: Pauck, Felix
id: '22398'
last_name: Pauck
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'Pauck F, Wehrheim H. Jicer: Simplifying Cooperative Android App Analysis Tasks.
In: 2021 IEEE 21st International Working Conference on Source Code Analysis
and Manipulation (SCAM). ; 2021. doi:10.1109/scam52516.2021.00031'
apa: 'Pauck, F., & Wehrheim, H. (2021). Jicer: Simplifying Cooperative Android
App Analysis Tasks. 2021 IEEE 21st International Working Conference on Source
Code Analysis and Manipulation (SCAM). https://doi.org/10.1109/scam52516.2021.00031'
bibtex: '@inproceedings{Pauck_Wehrheim_2021, title={Jicer: Simplifying Cooperative
Android App Analysis Tasks}, DOI={10.1109/scam52516.2021.00031},
booktitle={2021 IEEE 21st International Working Conference on Source Code Analysis
and Manipulation (SCAM)}, author={Pauck, Felix and Wehrheim, Heike}, year={2021}
}'
chicago: 'Pauck, Felix, and Heike Wehrheim. “Jicer: Simplifying Cooperative Android
App Analysis Tasks.” In 2021 IEEE 21st International Working Conference on
Source Code Analysis and Manipulation (SCAM), 2021. https://doi.org/10.1109/scam52516.2021.00031.'
ieee: 'F. Pauck and H. Wehrheim, “Jicer: Simplifying Cooperative Android App Analysis
Tasks,” 2021, doi: 10.1109/scam52516.2021.00031.'
mla: 'Pauck, Felix, and Heike Wehrheim. “Jicer: Simplifying Cooperative Android
App Analysis Tasks.” 2021 IEEE 21st International Working Conference on Source
Code Analysis and Manipulation (SCAM), 2021, doi:10.1109/scam52516.2021.00031.'
short: 'F. Pauck, H. Wehrheim, in: 2021 IEEE 21st International Working Conference
on Source Code Analysis and Manipulation (SCAM), 2021.'
date_created: 2021-12-01T08:53:29Z
date_updated: 2022-11-17T14:26:19Z
department:
- _id: '77'
doi: 10.1109/scam52516.2021.00031
language:
- iso: eng
project:
- _id: '12'
name: SFB 901 - Subproject B4
- _id: '1'
name: 'SFB 901: SFB 901'
- _id: '3'
name: 'SFB 901 - B: SFB 901 - Project Area B'
publication: 2021 IEEE 21st International Working Conference on Source Code Analysis
and Manipulation (SCAM)
publication_status: published
status: public
title: 'Jicer: Simplifying Cooperative Android App Analysis Tasks'
type: conference
user_id: '477'
year: '2021'
...
---
_id: '21238'
author:
- first_name: Felix
full_name: Pauck, Felix
id: '22398'
last_name: Pauck
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'Pauck F, Wehrheim H. Cooperative Android App Analysis with CoDiDroid. In:
Koziolek A, Schaefer I, Seidl C, eds. Software Engineering 2021. Gesellschaft
für Informatik e.V.; 2021:83-84. doi:10.18420/SE2021_30 '
apa: Pauck, F., & Wehrheim, H. (2021). Cooperative Android App Analysis with
CoDiDroid. In A. Koziolek, I. Schaefer, & C. Seidl (Eds.), Software Engineering
2021 (pp. 83–84). Gesellschaft für Informatik e.V. https://doi.org/10.18420/SE2021_30
bibtex: '@inproceedings{Pauck_Wehrheim_2021, place={Bonn}, title={Cooperative Android
App Analysis with CoDiDroid}, DOI={10.18420/SE2021_30 }, booktitle={Software Engineering 2021}, publisher={Gesellschaft
für Informatik e.V.}, author={Pauck, Felix and Wehrheim, Heike}, editor={Koziolek,
Anne and Schaefer, Ina and Seidl, Christoph}, year={2021}, pages={83–84} }'
chicago: 'Pauck, Felix, and Heike Wehrheim. “Cooperative Android App Analysis with
CoDiDroid.” In Software Engineering 2021, edited by Anne Koziolek, Ina
Schaefer, and Christoph Seidl, 83–84. Bonn: Gesellschaft für Informatik e.V.,
2021. https://doi.org/10.18420/SE2021_30
.'
ieee: 'F. Pauck and H. Wehrheim, “Cooperative Android App Analysis with CoDiDroid,”
in Software Engineering 2021, 2021, pp. 83–84, doi: 10.18420/SE2021_30 .'
mla: Pauck, Felix, and Heike Wehrheim. “Cooperative Android App Analysis with CoDiDroid.”
Software Engineering 2021, edited by Anne Koziolek et al., Gesellschaft
für Informatik e.V., 2021, pp. 83–84, doi:10.18420/SE2021_30 .
short: 'F. Pauck, H. Wehrheim, in: A. Koziolek, I. Schaefer, C. Seidl (Eds.), Software
Engineering 2021, Gesellschaft für Informatik e.V., Bonn, 2021, pp. 83–84.'
date_created: 2021-02-16T09:28:49Z
date_updated: 2023-01-18T08:35:20Z
department:
- _id: '77'
doi: '10.18420/SE2021_30 '
editor:
- first_name: Anne
full_name: Koziolek, Anne
last_name: Koziolek
- first_name: Ina
full_name: Schaefer, Ina
last_name: Schaefer
- first_name: Christoph
full_name: Seidl, Christoph
last_name: Seidl
language:
- iso: eng
page: ' 83-84 '
place: Bonn
project:
- _id: '1'
name: SFB 901
- _id: '3'
name: SFB 901 - Project Area B
- _id: '12'
name: SFB 901 - Subproject B4
publication: Software Engineering 2021
publication_status: published
publisher: Gesellschaft für Informatik e.V.
status: public
title: Cooperative Android App Analysis with CoDiDroid
type: conference
user_id: '22398'
year: '2021'
...
---
_id: '19656'
author:
- first_name: Arnab
full_name: Sharma, Arnab
id: '67200'
last_name: Sharma
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'Sharma A, Wehrheim H. Automatic Fairness Testing of Machine Learning Models.
In: Proceedings of the 32th IFIP International Conference on Testing Software
and Systems (ICTSS). LNCS. Springer.'
apa: Sharma, A., & Wehrheim, H. (n.d.). Automatic Fairness Testing of Machine
Learning Models. In Proceedings of the 32th IFIP International Conference on
Testing Software and Systems (ICTSS). Springer.
bibtex: '@inproceedings{Sharma_Wehrheim, series={LNCS}, title={Automatic Fairness
Testing of Machine Learning Models}, booktitle={Proceedings of the 32th IFIP International
Conference on Testing Software and Systems (ICTSS)}, publisher={Springer}, author={Sharma,
Arnab and Wehrheim, Heike}, collection={LNCS} }'
chicago: Sharma, Arnab, and Heike Wehrheim. “Automatic Fairness Testing of Machine
Learning Models.” In Proceedings of the 32th IFIP International Conference
on Testing Software and Systems (ICTSS). LNCS. Springer, n.d.
ieee: A. Sharma and H. Wehrheim, “Automatic Fairness Testing of Machine Learning
Models,” in Proceedings of the 32th IFIP International Conference on Testing
Software and Systems (ICTSS).
mla: Sharma, Arnab, and Heike Wehrheim. “Automatic Fairness Testing of Machine Learning
Models.” Proceedings of the 32th IFIP International Conference on Testing Software
and Systems (ICTSS), Springer.
short: 'A. Sharma, H. Wehrheim, in: Proceedings of the 32th IFIP International Conference
on Testing Software and Systems (ICTSS), Springer, n.d.'
date_created: 2020-09-24T12:53:02Z
date_updated: 2022-01-06T06:54:09Z
department:
- _id: '7'
- _id: '77'
language:
- iso: eng
project:
- _id: '1'
name: SFB 901
- _id: '11'
name: SFB 901 - Subproject B3
- _id: '3'
name: SFB 901 - Project Area B
publication: Proceedings of the 32th IFIP International Conference on Testing Software
and Systems (ICTSS)
publication_status: accepted
publisher: Springer
series_title: LNCS
status: public
title: Automatic Fairness Testing of Machine Learning Models
type: conference
user_id: '477'
year: '2020'
...
---
_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: '20274'
author:
- first_name: Eleni
full_name: Bila, Eleni
last_name: Bila
- first_name: Simon
full_name: Doherty, Simon
last_name: Doherty
- first_name: Brijesh
full_name: Dongol, Brijesh
last_name: Dongol
- first_name: John
full_name: Derrick, John
last_name: Derrick
- first_name: Gerhard
full_name: Schellhorn, Gerhard
last_name: Schellhorn
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'Bila E, Doherty S, Dongol B, Derrick J, Schellhorn G, Wehrheim H. Defining
and Verifying Durable Opacity: Correctness for Persistent Software Transactional
Memory. In: Gotsman A, Sokolova A, eds. Formal Techniques for Distributed Objects,
Components, and Systems - 40th {IFIP} {WG} 6.1 International Conference, {FORTE}
2020, Held as Part of the 15th International Federated Conference on Distributed
Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings.
Vol 12136. Lecture Notes in Computer Science. Springer; 2020:39-58. doi:10.1007/978-3-030-50086-3\_3'
apa: 'Bila, E., Doherty, S., Dongol, B., Derrick, J., Schellhorn, G., & Wehrheim,
H. (2020). Defining and Verifying Durable Opacity: Correctness for Persistent
Software Transactional Memory. In A. Gotsman & A. Sokolova (Eds.), Formal
Techniques for Distributed Objects, Components, and Systems - 40th {IFIP} {WG}
6.1 International Conference, {FORTE} 2020, Held as Part of the 15th International
Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta,
Malta, June 15-19, 2020, Proceedings (Vol. 12136, pp. 39–58). Springer. https://doi.org/10.1007/978-3-030-50086-3\_3'
bibtex: '@inproceedings{Bila_Doherty_Dongol_Derrick_Schellhorn_Wehrheim_2020, series={Lecture
Notes in Computer Science}, title={Defining and Verifying Durable Opacity: Correctness
for Persistent Software Transactional Memory}, volume={12136}, DOI={10.1007/978-3-030-50086-3\_3},
booktitle={Formal Techniques for Distributed Objects, Components, and Systems
- 40th {IFIP} {WG} 6.1 International Conference, {FORTE} 2020, Held as Part of
the 15th International Federated Conference on Distributed Computing Techniques,
DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings}, publisher={Springer},
author={Bila, Eleni and Doherty, Simon and Dongol, Brijesh and Derrick, John and
Schellhorn, Gerhard and Wehrheim, Heike}, editor={Gotsman, Alexey and Sokolova,
AnaEditors}, year={2020}, pages={39–58}, collection={Lecture Notes in Computer
Science} }'
chicago: 'Bila, Eleni, Simon Doherty, Brijesh Dongol, John Derrick, Gerhard Schellhorn,
and Heike Wehrheim. “Defining and Verifying Durable Opacity: Correctness for Persistent
Software Transactional Memory.” In Formal Techniques for Distributed Objects,
Components, and Systems - 40th {IFIP} {WG} 6.1 International Conference, {FORTE}
2020, Held as Part of the 15th International Federated Conference on Distributed
Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings,
edited by Alexey Gotsman and Ana Sokolova, 12136:39–58. Lecture Notes in Computer
Science. Springer, 2020. https://doi.org/10.1007/978-3-030-50086-3\_3.'
ieee: 'E. Bila, S. Doherty, B. Dongol, J. Derrick, G. Schellhorn, and H. Wehrheim,
“Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional
Memory,” in Formal Techniques for Distributed Objects, Components, and Systems
- 40th {IFIP} {WG} 6.1 International Conference, {FORTE} 2020, Held as Part of
the 15th International Federated Conference on Distributed Computing Techniques,
DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings, 2020, vol.
12136, pp. 39–58.'
mla: 'Bila, Eleni, et al. “Defining and Verifying Durable Opacity: Correctness for
Persistent Software Transactional Memory.” Formal Techniques for Distributed
Objects, Components, and Systems - 40th {IFIP} {WG} 6.1 International Conference,
{FORTE} 2020, Held as Part of the 15th International Federated Conference on Distributed
Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings,
edited by Alexey Gotsman and Ana Sokolova, vol. 12136, Springer, 2020, pp. 39–58,
doi:10.1007/978-3-030-50086-3\_3.'
short: 'E. Bila, S. Doherty, B. Dongol, J. Derrick, G. Schellhorn, H. Wehrheim,
in: A. Gotsman, A. Sokolova (Eds.), Formal Techniques for Distributed Objects,
Components, and Systems - 40th {IFIP} {WG} 6.1 International Conference, {FORTE}
2020, Held as Part of the 15th International Federated Conference on Distributed
Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings,
Springer, 2020, pp. 39–58.'
date_created: 2020-11-04T08:27:09Z
date_updated: 2022-01-06T06:54:25Z
department:
- _id: '77'
doi: 10.1007/978-3-030-50086-3\_3
editor:
- first_name: Alexey
full_name: Gotsman, Alexey
last_name: Gotsman
- first_name: Ana
full_name: Sokolova, Ana
last_name: Sokolova
intvolume: ' 12136'
language:
- iso: eng
page: 39-58
project:
- _id: '78'
name: Validation of Software Transactional Memory
publication: Formal Techniques for Distributed Objects, Components, and Systems -
40th {IFIP} {WG} 6.1 International Conference, {FORTE} 2020, Held as Part of the
15th International Federated Conference on Distributed Computing Techniques, DisCoTec
2020, Valletta, Malta, June 15-19, 2020, Proceedings
publisher: Springer
series_title: Lecture Notes in Computer Science
status: public
title: 'Defining and Verifying Durable Opacity: Correctness for Persistent Software
Transactional Memory'
type: conference
user_id: '29719'
volume: 12136
year: '2020'
...
---
_id: '20275'
author:
- first_name: Steffen
full_name: Beringer, Steffen
last_name: Beringer
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'Beringer S, Wehrheim H. Consistency Analysis of AUTOSAR Timing Requirements.
In: van Sinderen M, Fill H-}Georg, A. Maciaszek L, eds. Proceedings of the
15th International Conference on Software Technologies, {ICSOFT} 2020, Lieusaint,
Paris, France, July 7-9, 2020. ScitePress; 2020:15-26. doi:10.5220/0009766600150026'
apa: Beringer, S., & Wehrheim, H. (2020). Consistency Analysis of AUTOSAR Timing
Requirements. In M. van Sinderen, H.-}Georg Fill, & L. A. Maciaszek (Eds.),
Proceedings of the 15th International Conference on Software Technologies,
{ICSOFT} 2020, Lieusaint, Paris, France, July 7-9, 2020 (pp. 15–26). ScitePress.
https://doi.org/10.5220/0009766600150026
bibtex: '@inproceedings{Beringer_Wehrheim_2020, title={Consistency Analysis of AUTOSAR
Timing Requirements}, DOI={10.5220/0009766600150026},
booktitle={Proceedings of the 15th International Conference on Software Technologies,
{ICSOFT} 2020, Lieusaint, Paris, France, July 7-9, 2020}, publisher={ScitePress},
author={Beringer, Steffen and Wehrheim, Heike}, editor={van Sinderen, Marten and
Fill, Hans{-}Georg and A. Maciaszek, LeszekEditors}, year={2020}, pages={15–26}
}'
chicago: Beringer, Steffen, and Heike Wehrheim. “Consistency Analysis of AUTOSAR
Timing Requirements.” In Proceedings of the 15th International Conference on
Software Technologies, {ICSOFT} 2020, Lieusaint, Paris, France, July 7-9, 2020,
edited by Marten van Sinderen, Hans{-}Georg Fill, and Leszek A. Maciaszek, 15–26.
ScitePress, 2020. https://doi.org/10.5220/0009766600150026.
ieee: S. Beringer and H. Wehrheim, “Consistency Analysis of AUTOSAR Timing Requirements,”
in Proceedings of the 15th International Conference on Software Technologies,
{ICSOFT} 2020, Lieusaint, Paris, France, July 7-9, 2020, 2020, pp. 15–26.
mla: Beringer, Steffen, and Heike Wehrheim. “Consistency Analysis of AUTOSAR Timing
Requirements.” Proceedings of the 15th International Conference on Software
Technologies, {ICSOFT} 2020, Lieusaint, Paris, France, July 7-9, 2020, edited
by Marten van Sinderen et al., ScitePress, 2020, pp. 15–26, doi:10.5220/0009766600150026.
short: 'S. Beringer, H. Wehrheim, in: M. van Sinderen, H.-}Georg Fill, L. A. Maciaszek
(Eds.), Proceedings of the 15th International Conference on Software Technologies,
{ICSOFT} 2020, Lieusaint, Paris, France, July 7-9, 2020, ScitePress, 2020, pp.
15–26.'
date_created: 2020-11-04T08:31:37Z
date_updated: 2022-01-06T06:54:25Z
department:
- _id: '77'
doi: 10.5220/0009766600150026
editor:
- first_name: Marten
full_name: van Sinderen, Marten
last_name: van Sinderen
- first_name: Hans{-}Georg
full_name: Fill, Hans{-}Georg
last_name: Fill
- first_name: Leszek
full_name: A. Maciaszek, Leszek
last_name: A. Maciaszek
language:
- iso: eng
page: 15-26
publication: Proceedings of the 15th International Conference on Software Technologies,
{ICSOFT} 2020, Lieusaint, Paris, France, July 7-9, 2020
publisher: ScitePress
status: public
title: Consistency Analysis of AUTOSAR Timing Requirements
type: conference
user_id: '29719'
year: '2020'
...
---
_id: '20276'
author:
- first_name: Dirk
full_name: Beyer, Dirk
last_name: Beyer
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'Beyer D, Wehrheim H. Verification Artifacts in Cooperative Verification: Survey
and Unifying Component Framework. In: Margaria T, Steffen B, eds. Leveraging
Applications of Formal Methods, Verification and Validation: Verification Principles
- 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA
2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part {I}. Vol 12476.
Lecture Notes in Computer Science. Springer; 2020:143-167. doi:10.1007/978-3-030-61362-4\_8'
apa: 'Beyer, D., & Wehrheim, H. (2020). Verification Artifacts in Cooperative
Verification: Survey and Unifying Component Framework. In T. Margaria & B.
Steffen (Eds.), Leveraging Applications of Formal Methods, Verification and
Validation: Verification Principles - 9th International Symposium on Leveraging
Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020,
Proceedings, Part {I} (Vol. 12476, pp. 143–167). Springer. https://doi.org/10.1007/978-3-030-61362-4\_8'
bibtex: '@inproceedings{Beyer_Wehrheim_2020, series={Lecture Notes in Computer Science},
title={Verification Artifacts in Cooperative Verification: Survey and Unifying
Component Framework}, volume={12476}, DOI={10.1007/978-3-030-61362-4\_8},
booktitle={Leveraging Applications of Formal Methods, Verification and Validation:
Verification Principles - 9th International Symposium on Leveraging Applications
of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings,
Part {I}}, publisher={Springer}, author={Beyer, Dirk and Wehrheim, Heike}, editor={Margaria,
Tiziana and Steffen, BernhardEditors}, year={2020}, pages={143–167}, collection={Lecture
Notes in Computer Science} }'
chicago: 'Beyer, Dirk, and Heike Wehrheim. “Verification Artifacts in Cooperative
Verification: Survey and Unifying Component Framework.” In Leveraging Applications
of Formal Methods, Verification and Validation: Verification Principles - 9th
International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020,
Rhodes, Greece, October 20-30, 2020, Proceedings, Part {I}, edited by Tiziana
Margaria and Bernhard Steffen, 12476:143–67. Lecture Notes in Computer Science.
Springer, 2020. https://doi.org/10.1007/978-3-030-61362-4\_8.'
ieee: 'D. Beyer and H. Wehrheim, “Verification Artifacts in Cooperative Verification:
Survey and Unifying Component Framework,” in Leveraging Applications of Formal
Methods, Verification and Validation: Verification Principles - 9th International
Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece,
October 20-30, 2020, Proceedings, Part {I}, 2020, vol. 12476, pp. 143–167.'
mla: 'Beyer, Dirk, and Heike Wehrheim. “Verification Artifacts in Cooperative Verification:
Survey and Unifying Component Framework.” Leveraging Applications of Formal
Methods, Verification and Validation: Verification Principles - 9th International
Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece,
October 20-30, 2020, Proceedings, Part {I}, edited by Tiziana Margaria and
Bernhard Steffen, vol. 12476, Springer, 2020, pp. 143–67, doi:10.1007/978-3-030-61362-4\_8.'
short: 'D. Beyer, H. Wehrheim, in: T. Margaria, B. Steffen (Eds.), Leveraging Applications
of Formal Methods, Verification and Validation: Verification Principles - 9th
International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020,
Rhodes, Greece, October 20-30, 2020, Proceedings, Part {I}, Springer, 2020, pp.
143–167.'
date_created: 2020-11-04T08:36:22Z
date_updated: 2022-01-06T06:54:25Z
department:
- _id: '77'
doi: 10.1007/978-3-030-61362-4\_8
editor:
- first_name: Tiziana
full_name: Margaria, Tiziana
last_name: Margaria
- first_name: Bernhard
full_name: Steffen, Bernhard
last_name: Steffen
intvolume: ' 12476'
language:
- iso: eng
page: 143-167
project:
- _id: '85'
name: Kooperative Softwareverifikation
publication: 'Leveraging Applications of Formal Methods, Verification and Validation:
Verification Principles - 9th International Symposium on Leveraging Applications
of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings,
Part {I}'
publisher: Springer
series_title: Lecture Notes in Computer Science
status: public
title: 'Verification Artifacts in Cooperative Verification: Survey and Unifying Component
Framework'
type: conference
user_id: '29719'
volume: 12476
year: '2020'
...
---
_id: '20277'
citation:
ama: Wehrheim H, Cabot J, eds. Fundamental Approaches to Software Engineering
- 23rd International Conference, FASE 2020, Held as Part of the European Joint
Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April
25-30, 2020, Proceedings. Vol 12076. Springer; 2020. doi:10.1007/978-3-030-45234-6
apa: Wehrheim, H., & Cabot, J. (Eds.). (2020). Fundamental Approaches to
Software Engineering - 23rd International Conference, FASE 2020, Held as Part
of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020,
Dublin, Ireland, April 25-30, 2020, Proceedings (Vol. 12076). Springer. https://doi.org/10.1007/978-3-030-45234-6
bibtex: '@book{Wehrheim_Cabot_2020, series={Lecture Notes in Computer Science},
title={Fundamental Approaches to Software Engineering - 23rd International Conference,
FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice
of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings}, volume={12076},
DOI={10.1007/978-3-030-45234-6},
publisher={Springer}, year={2020}, collection={Lecture Notes in Computer Science}
}'
chicago: Wehrheim, Heike, and Jordi Cabot, eds. Fundamental Approaches to Software
Engineering - 23rd International Conference, FASE 2020, Held as Part of the European
Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland,
April 25-30, 2020, Proceedings. Vol. 12076. Lecture Notes in Computer Science.
Springer, 2020. https://doi.org/10.1007/978-3-030-45234-6.
ieee: H. Wehrheim and J. Cabot, Eds., Fundamental Approaches to Software Engineering
- 23rd International Conference, FASE 2020, Held as Part of the European Joint
Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April
25-30, 2020, Proceedings, vol. 12076. Springer, 2020.
mla: Wehrheim, Heike, and Jordi Cabot, editors. Fundamental Approaches to Software
Engineering - 23rd International Conference, FASE 2020, Held as Part of the European
Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland,
April 25-30, 2020, Proceedings. Vol. 12076, Springer, 2020, doi:10.1007/978-3-030-45234-6.
short: H. Wehrheim, J. Cabot, eds., Fundamental Approaches to Software Engineering
- 23rd International Conference, FASE 2020, Held as Part of the European Joint
Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April
25-30, 2020, Proceedings, Springer, 2020.
date_created: 2020-11-04T08:42:19Z
date_updated: 2022-01-06T06:54:25Z
department:
- _id: '77'
doi: 10.1007/978-3-030-45234-6
editor:
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
- first_name: Jordi
full_name: Cabot, Jordi
last_name: Cabot
intvolume: ' 12076'
language:
- iso: eng
publication_identifier:
isbn:
- 978-3-030-45233-9
publisher: Springer
series_title: Lecture Notes in Computer Science
status: public
title: Fundamental Approaches to Software Engineering - 23rd International Conference,
FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice
of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings
type: conference_editor
user_id: '29719'
volume: 12076
year: '2020'
...
---
_id: '20278'
citation:
ama: Ahrendt W, Wehrheim H, eds. Tests and Proofs - 14th International Conference,
TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [Postponed].
Vol 12165. Springer; 2020. doi:10.1007/978-3-030-50995-8
apa: Ahrendt, W., & Wehrheim, H. (Eds.). (2020). Tests and Proofs - 14th
International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings
[postponed] (Vol. 12165). Springer. https://doi.org/10.1007/978-3-030-50995-8
bibtex: '@book{Ahrendt_Wehrheim_2020, series={Lecture Notes in Computer Science},
title={Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen,
Norway, June 22-23, 2020, Proceedings [postponed]}, volume={12165}, DOI={10.1007/978-3-030-50995-8},
publisher={Springer}, year={2020}, collection={Lecture Notes in Computer Science}
}'
chicago: Ahrendt, Wolfgang, and Heike Wehrheim, eds. Tests and Proofs - 14th
International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings
[Postponed]. Vol. 12165. Lecture Notes in Computer Science. Springer, 2020.
https://doi.org/10.1007/978-3-030-50995-8.
ieee: W. Ahrendt and H. Wehrheim, Eds., Tests and Proofs - 14th International
Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [postponed],
vol. 12165. Springer, 2020.
mla: Ahrendt, Wolfgang, and Heike Wehrheim, editors. Tests and Proofs - 14th
International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings
[Postponed]. Vol. 12165, Springer, 2020, doi:10.1007/978-3-030-50995-8.
short: W. Ahrendt, H. Wehrheim, eds., Tests and Proofs - 14th International Conference,
TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [Postponed], Springer,
2020.
date_created: 2020-11-04T08:44:33Z
date_updated: 2022-01-06T06:54:25Z
department:
- _id: '77'
doi: 10.1007/978-3-030-50995-8
editor:
- first_name: Wolfgang
full_name: Ahrendt, Wolfgang
last_name: Ahrendt
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
intvolume: ' 12165'
language:
- iso: eng
publication_identifier:
isbn:
- 978-3-030-50994-1
publisher: Springer
series_title: Lecture Notes in Computer Science
status: public
title: Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway,
June 22-23, 2020, Proceedings [postponed]
type: conference_editor
user_id: '29719'
volume: 12165
year: '2020'
...