---
_id: '20279'
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. Testing Monotonicity of Machine Learning Models. CoRR.
2020;abs/2002.12278.
apa: Sharma, A., & Wehrheim, H. (2020). Testing Monotonicity of Machine Learning
Models. CoRR, abs/2002.12278.
bibtex: '@article{Sharma_Wehrheim_2020, title={Testing Monotonicity of Machine Learning
Models}, volume={abs/2002.12278}, journal={CoRR}, author={Sharma, Arnab and Wehrheim,
Heike}, year={2020} }'
chicago: Sharma, Arnab, and Heike Wehrheim. “Testing Monotonicity of Machine Learning
Models.” CoRR abs/2002.12278 (2020).
ieee: A. Sharma and H. Wehrheim, “Testing Monotonicity of Machine Learning Models,”
CoRR, vol. abs/2002.12278, 2020.
mla: Sharma, Arnab, and Heike Wehrheim. “Testing Monotonicity of Machine Learning
Models.” CoRR, vol. abs/2002.12278, 2020.
short: A. Sharma, H. Wehrheim, CoRR abs/2002.12278 (2020).
date_created: 2020-11-04T08:48:04Z
date_updated: 2022-01-06T06:54:25Z
department:
- _id: '77'
language:
- iso: eng
publication: CoRR
status: public
title: Testing Monotonicity of Machine Learning Models
type: journal_article
user_id: '29719'
volume: abs/2002.12278
year: '2020'
...
---
_id: '21016'
author:
- first_name: Sadegh
full_name: Dalvandi, Sadegh
last_name: Dalvandi
- first_name: Simon
full_name: Doherty, Simon
last_name: Doherty
- first_name: Brijesh
full_name: Dongol, Brijesh
last_name: Dongol
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: Dalvandi S, Doherty S, Dongol B, Wehrheim H. Owicki-Gries Reasoning for C11
RAR (Artifact). Dagstuhl Artifacts Ser. 2020;6(2):15:1-15:2. doi:10.4230/DARTS.6.2.15
apa: Dalvandi, S., Doherty, S., Dongol, B., & Wehrheim, H. (2020). Owicki-Gries
Reasoning for C11 RAR (Artifact). Dagstuhl Artifacts Ser., 6(2),
15:1-15:2. https://doi.org/10.4230/DARTS.6.2.15
bibtex: '@article{Dalvandi_Doherty_Dongol_Wehrheim_2020, title={Owicki-Gries Reasoning
for C11 RAR (Artifact)}, volume={6}, DOI={10.4230/DARTS.6.2.15},
number={2}, journal={Dagstuhl Artifacts Ser.}, author={Dalvandi, Sadegh and Doherty,
Simon and Dongol, Brijesh and Wehrheim, Heike}, year={2020}, pages={15:1-15:2}
}'
chicago: 'Dalvandi, Sadegh, Simon Doherty, Brijesh Dongol, and Heike Wehrheim. “Owicki-Gries
Reasoning for C11 RAR (Artifact).” Dagstuhl Artifacts Ser. 6, no. 2 (2020):
15:1-15:2. https://doi.org/10.4230/DARTS.6.2.15.'
ieee: S. Dalvandi, S. Doherty, B. Dongol, and H. Wehrheim, “Owicki-Gries Reasoning
for C11 RAR (Artifact),” Dagstuhl Artifacts Ser., vol. 6, no. 2, pp. 15:1-15:2,
2020.
mla: Dalvandi, Sadegh, et al. “Owicki-Gries Reasoning for C11 RAR (Artifact).” Dagstuhl
Artifacts Ser., vol. 6, no. 2, 2020, pp. 15:1-15:2, doi:10.4230/DARTS.6.2.15.
short: S. Dalvandi, S. Doherty, B. Dongol, H. Wehrheim, Dagstuhl Artifacts Ser.
6 (2020) 15:1-15:2.
date_created: 2021-01-19T10:25:27Z
date_updated: 2022-01-06T06:54:42Z
department:
- _id: '77'
doi: 10.4230/DARTS.6.2.15
intvolume: ' 6'
issue: '2'
language:
- iso: eng
page: 15:1-15:2
publication: Dagstuhl Artifacts Ser.
status: public
title: Owicki-Gries Reasoning for C11 RAR (Artifact)
type: journal_article
user_id: '29719'
volume: 6
year: '2020'
...
---
_id: '21017'
author:
- first_name: Sadegh
full_name: Dalvandi, Sadegh
last_name: Dalvandi
- first_name: Simon
full_name: Doherty, Simon
last_name: Doherty
- first_name: Brijesh
full_name: Dongol, Brijesh
last_name: Dongol
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'Dalvandi S, Doherty S, Dongol B, Wehrheim H. Owicki-Gries Reasoning for C11
RAR. In: Hirschfeld R, Pape T, eds. 34th European Conference on Object-Oriented
Programming, {ECOOP} 2020, November 15-17, 2020, Berlin, Germany (Virtual Conference).
Vol 166. LIPIcs. Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik; 2020:11:1-11:26.
doi:10.4230/LIPIcs.ECOOP.2020.11'
apa: Dalvandi, S., Doherty, S., Dongol, B., & Wehrheim, H. (2020). Owicki-Gries
Reasoning for C11 RAR. In R. Hirschfeld & T. Pape (Eds.), 34th European
Conference on Object-Oriented Programming, {ECOOP} 2020, November 15-17, 2020,
Berlin, Germany (Virtual Conference) (Vol. 166, pp. 11:1-11:26). Schloss Dagstuhl
- Leibniz-Zentrum f{\"{u}}r Informatik. https://doi.org/10.4230/LIPIcs.ECOOP.2020.11
bibtex: '@inproceedings{Dalvandi_Doherty_Dongol_Wehrheim_2020, series={LIPIcs},
title={Owicki-Gries Reasoning for C11 RAR}, volume={166}, DOI={10.4230/LIPIcs.ECOOP.2020.11},
booktitle={34th European Conference on Object-Oriented Programming, {ECOOP} 2020,
November 15-17, 2020, Berlin, Germany (Virtual Conference)}, publisher={Schloss
Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, author={Dalvandi, Sadegh and
Doherty, Simon and Dongol, Brijesh and Wehrheim, Heike}, editor={Hirschfeld, Robert
and Pape, TobiasEditors}, year={2020}, pages={11:1-11:26}, collection={LIPIcs}
}'
chicago: Dalvandi, Sadegh, Simon Doherty, Brijesh Dongol, and Heike Wehrheim. “Owicki-Gries
Reasoning for C11 RAR.” In 34th European Conference on Object-Oriented Programming,
{ECOOP} 2020, November 15-17, 2020, Berlin, Germany (Virtual Conference),
edited by Robert Hirschfeld and Tobias Pape, 166:11:1-11:26. LIPIcs. Schloss Dagstuhl
- Leibniz-Zentrum f{\"{u}}r Informatik, 2020. https://doi.org/10.4230/LIPIcs.ECOOP.2020.11.
ieee: S. Dalvandi, S. Doherty, B. Dongol, and H. Wehrheim, “Owicki-Gries Reasoning
for C11 RAR,” in 34th European Conference on Object-Oriented Programming, {ECOOP}
2020, November 15-17, 2020, Berlin, Germany (Virtual Conference), 2020, vol.
166, pp. 11:1-11:26.
mla: Dalvandi, Sadegh, et al. “Owicki-Gries Reasoning for C11 RAR.” 34th European
Conference on Object-Oriented Programming, {ECOOP} 2020, November 15-17, 2020,
Berlin, Germany (Virtual Conference), edited by Robert Hirschfeld and Tobias
Pape, vol. 166, Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, 2020,
pp. 11:1-11:26, doi:10.4230/LIPIcs.ECOOP.2020.11.
short: 'S. Dalvandi, S. Doherty, B. Dongol, H. Wehrheim, in: R. Hirschfeld, T. Pape
(Eds.), 34th European Conference on Object-Oriented Programming, {ECOOP} 2020,
November 15-17, 2020, Berlin, Germany (Virtual Conference), Schloss Dagstuhl -
Leibniz-Zentrum f{\"{u}}r Informatik, 2020, pp. 11:1-11:26.'
date_created: 2021-01-19T10:29:44Z
date_updated: 2022-01-06T06:54:42Z
department:
- _id: '77'
doi: 10.4230/LIPIcs.ECOOP.2020.11
editor:
- first_name: Robert
full_name: Hirschfeld, Robert
last_name: Hirschfeld
- first_name: Tobias
full_name: Pape, Tobias
last_name: Pape
intvolume: ' 166'
language:
- iso: eng
page: 11:1-11:26
publication: 34th European Conference on Object-Oriented Programming, {ECOOP} 2020,
November 15-17, 2020, Berlin, Germany (Virtual Conference)
publisher: Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik
series_title: LIPIcs
status: public
title: Owicki-Gries Reasoning for C11 RAR
type: conference
user_id: '29719'
volume: 166
year: '2020'
...
---
_id: '21018'
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. Attend and Represent: A Novel View on Algorithm Selection
for Software Verification. In: 35th {IEEE/ACM} International Conference on
Automated Software Engineering, {ASE} 2020, Melbourne, Australia, September 21-25,
2020. {IEEE}; 2020:1016-1028.'
apa: 'Richter, C., & Wehrheim, H. (2020). Attend and Represent: A Novel View
on Algorithm Selection for Software Verification. In 35th {IEEE/ACM} International
Conference on Automated Software Engineering, {ASE} 2020, Melbourne, Australia,
September 21-25, 2020 (pp. 1016–1028). {IEEE}.'
bibtex: '@inproceedings{Richter_Wehrheim_2020, title={Attend and Represent: A Novel
View on Algorithm Selection for Software Verification}, booktitle={35th {IEEE/ACM}
International Conference on Automated Software Engineering, {ASE} 2020, Melbourne,
Australia, September 21-25, 2020}, publisher={{IEEE}}, author={Richter, Cedric
and Wehrheim, Heike}, year={2020}, pages={1016–1028} }'
chicago: 'Richter, Cedric, and Heike Wehrheim. “Attend and Represent: A Novel View
on Algorithm Selection for Software Verification.” In 35th {IEEE/ACM} International
Conference on Automated Software Engineering, {ASE} 2020, Melbourne, Australia,
September 21-25, 2020, 1016–28. {IEEE}, 2020.'
ieee: 'C. Richter and H. Wehrheim, “Attend and Represent: A Novel View on Algorithm
Selection for Software Verification,” in 35th {IEEE/ACM} International Conference
on Automated Software Engineering, {ASE} 2020, Melbourne, Australia, September
21-25, 2020, 2020, pp. 1016–1028.'
mla: 'Richter, Cedric, and Heike Wehrheim. “Attend and Represent: A Novel View on
Algorithm Selection for Software Verification.” 35th {IEEE/ACM} International
Conference on Automated Software Engineering, {ASE} 2020, Melbourne, Australia,
September 21-25, 2020, {IEEE}, 2020, pp. 1016–28.'
short: 'C. Richter, H. Wehrheim, in: 35th {IEEE/ACM} International Conference on
Automated Software Engineering, {ASE} 2020, Melbourne, Australia, September 21-25,
2020, {IEEE}, 2020, pp. 1016–1028.'
date_created: 2021-01-19T10:32:17Z
date_updated: 2022-01-06T06:54:42Z
department:
- _id: '77'
language:
- iso: eng
page: 1016-1028
publication: 35th {IEEE/ACM} International Conference on Automated Software Engineering,
{ASE} 2020, Melbourne, Australia, September 21-25, 2020
publisher: '{IEEE}'
status: public
title: 'Attend and Represent: A Novel View on Algorithm Selection for Software Verification'
type: conference
user_id: '29719'
year: '2020'
...
---
_id: '21019'
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: 2021-01-19T10:35:37Z
date_updated: 2022-01-06T06:54:42Z
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'
...
---
_id: '17825'
abstract:
- lang: eng
text: "Software verification has recently made enormous progress due to the\r\ndevelopment
of novel verification methods and the speed-up of supporting\r\ntechnologies like
SMT solving. To keep software verification tools up to date\r\nwith these advances,
tool developers keep on integrating newly designed methods\r\ninto their tools,
almost exclusively by re-implementing the method within their\r\nown framework.
While this allows for a conceptual re-use of methods, it\r\nrequires novel implementations
for every new technique.\r\n In this paper, we employ cooperative verification
in order to avoid\r\nreimplementation and enable usage of novel tools as black-box
components in\r\nverification. Specifically, cooperation is employed for the core
ingredient of\r\nsoftware verification which is invariant generation. Finding
an adequate loop\r\ninvariant is key to the success of a verification run. Our
framework named\r\nCoVerCIG allows a master verification tool to delegate the
task of invariant\r\ngeneration to one or several specialized helper invariant
generators. Their\r\nresults are then utilized within the verification run of
the master verifier,\r\nallowing in particular for crosschecking the validity
of the invariant. We\r\nexperimentally evaluate our framework on an instance with
two masters and three\r\ndifferent invariant generators using a number of benchmarks
from SV-COMP 2020.\r\nThe experiments show that the use of CoVerCIG can increase
the number of\r\ncorrectly verified tasks without increasing the used resources"
author:
- first_name: Jan Frederik
full_name: Haltermann, Jan Frederik
id: '44413'
last_name: Haltermann
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: Haltermann JF, Wehrheim H. Cooperative Verification via Collective Invariant
Generation. arXiv:200804551. 2020.
apa: Haltermann, J. F., & Wehrheim, H. (2020). Cooperative Verification via
Collective Invariant Generation. ArXiv:2008.04551.
bibtex: '@article{Haltermann_Wehrheim_2020, title={Cooperative Verification via
Collective Invariant Generation}, journal={arXiv:2008.04551}, author={Haltermann,
Jan Frederik and Wehrheim, Heike}, year={2020} }'
chicago: Haltermann, Jan Frederik, and Heike Wehrheim. “Cooperative Verification
via Collective Invariant Generation.” ArXiv:2008.04551, 2020.
ieee: J. F. Haltermann and H. Wehrheim, “Cooperative Verification via Collective
Invariant Generation,” arXiv:2008.04551. 2020.
mla: Haltermann, Jan Frederik, and Heike Wehrheim. “Cooperative Verification via
Collective Invariant Generation.” ArXiv:2008.04551, 2020.
short: J.F. Haltermann, H. Wehrheim, ArXiv:2008.04551 (2020).
date_created: 2020-08-12T06:49:18Z
date_updated: 2022-01-06T06:53:20Z
department:
- _id: '77'
language:
- iso: eng
project:
- _id: '85'
name: Kooperative Softwareverifikation
publication: arXiv:2008.04551
status: public
title: Cooperative Verification via Collective Invariant Generation
type: preprint
user_id: '44413'
year: '2020'
...
---
_id: '16724'
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. Higher Income, Larger Loan? Monotonicity Testing of
Machine Learning Models. In: Proceedings of the ACM SIGSOFT International Symposium
on Software Testing and Analysis (ISSTA). ACM.'
apa: Sharma, A., & Wehrheim, H. (n.d.). Higher Income, Larger Loan? Monotonicity
Testing of Machine Learning Models. In Proceedings of the ACM SIGSOFT International
Symposium on Software Testing and Analysis (ISSTA). ACM.
bibtex: '@inproceedings{Sharma_Wehrheim, title={Higher Income, Larger Loan? Monotonicity
Testing of Machine Learning Models}, booktitle={Proceedings of the ACM SIGSOFT
International Symposium on Software Testing and Analysis (ISSTA).}, publisher={ACM},
author={Sharma, Arnab and Wehrheim, Heike} }'
chicago: Sharma, Arnab, and Heike Wehrheim. “Higher Income, Larger Loan? Monotonicity
Testing of Machine Learning Models.” In Proceedings of the ACM SIGSOFT International
Symposium on Software Testing and Analysis (ISSTA). ACM, n.d.
ieee: A. Sharma and H. Wehrheim, “Higher Income, Larger Loan? Monotonicity Testing
of Machine Learning Models,” in Proceedings of the ACM SIGSOFT International
Symposium on Software Testing and Analysis (ISSTA).
mla: Sharma, Arnab, and Heike Wehrheim. “Higher Income, Larger Loan? Monotonicity
Testing of Machine Learning Models.” Proceedings of the ACM SIGSOFT International
Symposium on Software Testing and Analysis (ISSTA)., ACM.
short: 'A. Sharma, H. Wehrheim, in: Proceedings of the ACM SIGSOFT International
Symposium on Software Testing and Analysis (ISSTA)., ACM, n.d.'
date_created: 2020-04-19T14:01:53Z
date_updated: 2022-01-06T06:52:55Z
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
publication: Proceedings of the ACM SIGSOFT International Symposium on Software Testing
and Analysis (ISSTA).
publication_status: accepted
publisher: ACM
status: public
title: Higher Income, Larger Loan? Monotonicity Testing of Machine Learning Models
type: conference
user_id: '477'
year: '2020'
...
---
_id: '16725'
author:
- first_name: Cedric
full_name: Richter, Cedric
id: '50003'
last_name: Richter
- first_name: Eyke
full_name: Hüllermeier, Eyke
id: '48129'
last_name: Hüllermeier
- first_name: Marie-Christine
full_name: Jakobs, Marie-Christine
last_name: Jakobs
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: Richter C, Hüllermeier E, Jakobs M-C, Wehrheim H. Algorithm Selection for Software
Validation Based on Graph Kernels. Journal of Automated Software Engineering.
apa: Richter, C., Hüllermeier, E., Jakobs, M.-C., & Wehrheim, H. (n.d.). Algorithm
Selection for Software Validation Based on Graph Kernels. Journal of Automated
Software Engineering.
bibtex: '@article{Richter_Hüllermeier_Jakobs_Wehrheim, title={Algorithm Selection
for Software Validation Based on Graph Kernels}, journal={Journal of Automated
Software Engineering}, publisher={Springer}, author={Richter, Cedric and Hüllermeier,
Eyke and Jakobs, Marie-Christine and Wehrheim, Heike} }'
chicago: Richter, Cedric, Eyke Hüllermeier, Marie-Christine Jakobs, and Heike Wehrheim.
“Algorithm Selection for Software Validation Based on Graph Kernels.” Journal
of Automated Software Engineering, n.d.
ieee: C. Richter, E. Hüllermeier, M.-C. Jakobs, and H. Wehrheim, “Algorithm Selection
for Software Validation Based on Graph Kernels,” Journal of Automated Software
Engineering.
mla: Richter, Cedric, et al. “Algorithm Selection for Software Validation Based
on Graph Kernels.” Journal of Automated Software Engineering, Springer.
short: C. Richter, E. Hüllermeier, M.-C. Jakobs, H. Wehrheim, Journal of Automated
Software Engineering (n.d.).
date_created: 2020-04-19T14:08:06Z
date_updated: 2022-01-06T06:52:55Z
department:
- _id: '7'
- _id: '77'
- _id: '355'
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: '12'
name: SFB 901 - Subproject B4
publication: Journal of Automated Software Engineering
publication_status: accepted
publisher: Springer
status: public
title: Algorithm Selection for Software Validation Based on Graph Kernels
type: journal_article
user_id: '477'
year: '2020'
...
---
_id: '13770'
author:
- first_name: Holger
full_name: Karl, Holger
id: '126'
last_name: Karl
- first_name: Dennis
full_name: Kundisch, Dennis
id: '21117'
last_name: Kundisch
- first_name: Friedhelm
full_name: Meyer auf der Heide, Friedhelm
id: '15523'
last_name: Meyer auf der Heide
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'Karl H, Kundisch D, Meyer auf der Heide F, Wehrheim H. A Case for a New IT
Ecosystem: On-The-Fly Computing. Business & Information Systems Engineering.
2020;62(6):467-481. doi:10.1007/s12599-019-00627-x'
apa: 'Karl, H., Kundisch, D., Meyer auf der Heide, F., & Wehrheim, H. (2020).
A Case for a New IT Ecosystem: On-The-Fly Computing. Business & Information
Systems Engineering, 62(6), 467–481. https://doi.org/10.1007/s12599-019-00627-x'
bibtex: '@article{Karl_Kundisch_Meyer auf der Heide_Wehrheim_2020, title={A Case
for a New IT Ecosystem: On-The-Fly Computing}, volume={62}, DOI={10.1007/s12599-019-00627-x},
number={6}, journal={Business & Information Systems Engineering}, publisher={Springer},
author={Karl, Holger and Kundisch, Dennis and Meyer auf der Heide, Friedhelm and
Wehrheim, Heike}, year={2020}, pages={467–481} }'
chicago: 'Karl, Holger, Dennis Kundisch, Friedhelm Meyer auf der Heide, and Heike
Wehrheim. “A Case for a New IT Ecosystem: On-The-Fly Computing.” Business &
Information Systems Engineering 62, no. 6 (2020): 467–81. https://doi.org/10.1007/s12599-019-00627-x.'
ieee: 'H. Karl, D. Kundisch, F. Meyer auf der Heide, and H. Wehrheim, “A Case for
a New IT Ecosystem: On-The-Fly Computing,” Business & Information Systems
Engineering, vol. 62, no. 6, pp. 467–481, 2020, doi: 10.1007/s12599-019-00627-x.'
mla: 'Karl, Holger, et al. “A Case for a New IT Ecosystem: On-The-Fly Computing.”
Business & Information Systems Engineering, vol. 62, no. 6, Springer,
2020, pp. 467–81, doi:10.1007/s12599-019-00627-x.'
short: H. Karl, D. Kundisch, F. Meyer auf der Heide, H. Wehrheim, Business &
Information Systems Engineering 62 (2020) 467–481.
date_created: 2019-10-10T13:41:06Z
date_updated: 2022-12-02T09:27:17Z
ddc:
- '004'
department:
- _id: '276'
- _id: '75'
- _id: '63'
- _id: '77'
doi: 10.1007/s12599-019-00627-x
file:
- access_level: closed
content_type: application/pdf
creator: ups
date_created: 2019-12-12T10:24:47Z
date_updated: 2019-12-12T10:24:47Z
file_id: '15311'
file_name: Karl2019_Article_ACaseForANewITEcosystemOn-The-.pdf
file_size: 454532
relation: main_file
success: 1
file_date_updated: 2019-12-12T10:24:47Z
has_accepted_license: '1'
intvolume: ' 62'
issue: '6'
language:
- iso: eng
page: 467-481
project:
- _id: '1'
name: SFB 901
- _id: '2'
name: SFB 901 - Project Area A
- _id: '3'
name: SFB 901 - Project Area B
- _id: '4'
name: SFB 901 - Project Area C
- _id: '82'
name: SFB 901 - Project Area T
- _id: '5'
name: SFB 901 - Subproject A1
- _id: '6'
name: SFB 901 - Subproject A2
- _id: '7'
name: SFB 901 - Subproject A3
- _id: '8'
name: SFB 901 - Subproject A4
- _id: '9'
name: SFB 901 - Subproject B1
- _id: '10'
name: SFB 901 - Subproject B2
- _id: '11'
name: SFB 901 - Subproject B3
- _id: '12'
name: SFB 901 - Subproject B4
- _id: '13'
name: SFB 901 - Subproject C1
- _id: '14'
name: SFB 901 - Subproject C2
- _id: '15'
name: SFB 901 - Subproject C3
- _id: '16'
name: SFB 901 - Subproject C4
- _id: '17'
name: SFB 901 - Subproject C5
- _id: '83'
name: SFB 901 -Subproject T1
- _id: '84'
name: SFB 901 -Subproject T2
- _id: '107'
name: SFB 901 -Subproject T3
- _id: '158'
name: 'SFB 901 - T4: SFB 901 -Subproject T4'
publication: Business & Information Systems Engineering
publication_status: published
publisher: Springer
status: public
title: 'A Case for a New IT Ecosystem: On-The-Fly Computing'
type: journal_article
user_id: '477'
volume: 62
year: '2020'
...
---
_id: '16214'
author:
- first_name: Felix
full_name: Pauck, Felix
id: '22398'
last_name: Pauck
- first_name: Eric
full_name: Bodden, Eric
id: '59256'
last_name: Bodden
orcid: 0000-0003-3470-3647
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'Pauck F, Bodden E, Wehrheim H. Reproducing Taint-Analysis Results with ReproDroid.
In: Felderer M, Hasselbring W, Rabiser R, Jung R, eds. Software Engineering
2020, Fachtagung Des GI-Fachbereichs Softwaretechnik, 24.-28. Februar 2020, Innsbruck,
Austria. {LNI}. Gesellschaft f{\"{u}}r Informatik e.V.; 2020:123-124. doi:10.18420/SE2020_36'
apa: Pauck, F., Bodden, E., & Wehrheim, H. (2020). Reproducing Taint-Analysis
Results with ReproDroid. In M. Felderer, W. Hasselbring, R. Rabiser, & R.
Jung (Eds.), Software Engineering 2020, Fachtagung des GI-Fachbereichs Softwaretechnik,
24.-28. Februar 2020, Innsbruck, Austria (pp. 123–124). Gesellschaft f{\"{u}}r
Informatik e.V. https://doi.org/10.18420/SE2020_36
bibtex: '@inproceedings{Pauck_Bodden_Wehrheim_2020, series={{LNI}}, title={Reproducing
Taint-Analysis Results with ReproDroid}, DOI={10.18420/SE2020_36},
booktitle={Software Engineering 2020, Fachtagung des GI-Fachbereichs Softwaretechnik,
24.-28. Februar 2020, Innsbruck, Austria}, publisher={Gesellschaft f{\"{u}}r Informatik
e.V.}, author={Pauck, Felix and Bodden, Eric and Wehrheim, Heike}, editor={Felderer,
Michael and Hasselbring, Wilhelm and Rabiser, Rick and Jung, Reiner}, year={2020},
pages={123–124}, collection={{LNI}} }'
chicago: Pauck, Felix, Eric Bodden, and Heike Wehrheim. “Reproducing Taint-Analysis
Results with ReproDroid.” In Software Engineering 2020, Fachtagung Des GI-Fachbereichs
Softwaretechnik, 24.-28. Februar 2020, Innsbruck, Austria, edited by Michael
Felderer, Wilhelm Hasselbring, Rick Rabiser, and Reiner Jung, 123–24. {LNI}. Gesellschaft
f{\"{u}}r Informatik e.V., 2020. https://doi.org/10.18420/SE2020_36.
ieee: 'F. Pauck, E. Bodden, and H. Wehrheim, “Reproducing Taint-Analysis Results
with ReproDroid,” in Software Engineering 2020, Fachtagung des GI-Fachbereichs
Softwaretechnik, 24.-28. Februar 2020, Innsbruck, Austria, 2020, pp. 123–124,
doi: 10.18420/SE2020_36.'
mla: Pauck, Felix, et al. “Reproducing Taint-Analysis Results with ReproDroid.”
Software Engineering 2020, Fachtagung Des GI-Fachbereichs Softwaretechnik,
24.-28. Februar 2020, Innsbruck, Austria, edited by Michael Felderer et al.,
Gesellschaft f{\"{u}}r Informatik e.V., 2020, pp. 123–24, doi:10.18420/SE2020_36.
short: 'F. Pauck, E. Bodden, H. Wehrheim, in: M. Felderer, W. Hasselbring, R. Rabiser,
R. Jung (Eds.), Software Engineering 2020, Fachtagung Des GI-Fachbereichs Softwaretechnik,
24.-28. Februar 2020, Innsbruck, Austria, Gesellschaft f{\"{u}}r Informatik e.V.,
2020, pp. 123–124.'
date_created: 2020-03-03T08:10:33Z
date_updated: 2023-01-18T08:39:53Z
department:
- _id: '34'
- _id: '77'
doi: 10.18420/SE2020_36
editor:
- first_name: Michael
full_name: Felderer, Michael
last_name: Felderer
- first_name: Wilhelm
full_name: Hasselbring, Wilhelm
last_name: Hasselbring
- first_name: Rick
full_name: Rabiser, Rick
last_name: Rabiser
- first_name: Reiner
full_name: Jung, Reiner
last_name: Jung
language:
- iso: eng
page: 123-124
publication: Software Engineering 2020, Fachtagung des GI-Fachbereichs Softwaretechnik,
24.-28. Februar 2020, Innsbruck, Austria
publication_status: published
publisher: Gesellschaft f{\"{u}}r Informatik e.V.
series_title: '{LNI}'
status: public
title: Reproducing Taint-Analysis Results with ReproDroid
type: conference
user_id: '22398'
year: '2020'
...