---
_id: '20721'
author:
- first_name: Lisa
  full_name: Nguyen Quang Do, Lisa
  last_name: Nguyen Quang Do
- first_name: Michael
  full_name: Eichberg, Michael
  last_name: Eichberg
- first_name: Eric
  full_name: Bodden, Eric
  id: '59256'
  last_name: Bodden
  orcid: 0000-0003-3470-3647
citation:
  ama: 'Nguyen Quang Do L, Eichberg M, Bodden E. Toward an Automated Benchmark Management
    System. In: <i>Proceedings of the 5th ACM SIGPLAN International Workshop on State
    Of the Art in Program Analysis</i>. SOAP 2016. ; 2016:13-17.'
  apa: Nguyen Quang Do, L., Eichberg, M., &#38; Bodden, E. (2016). Toward an Automated
    Benchmark Management System. <i>Proceedings of the 5th ACM SIGPLAN International
    Workshop on State Of the Art in Program Analysis</i>, 13–17.
  bibtex: '@inproceedings{Nguyen Quang Do_Eichberg_Bodden_2016, series={SOAP 2016},
    title={Toward an Automated Benchmark Management System}, booktitle={Proceedings
    of the 5th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis},
    author={Nguyen Quang Do, Lisa and Eichberg, Michael and Bodden, Eric}, year={2016},
    pages={13–17}, collection={SOAP 2016} }'
  chicago: Nguyen Quang Do, Lisa, Michael Eichberg, and Eric Bodden. “Toward an Automated
    Benchmark Management System.” In <i>Proceedings of the 5th ACM SIGPLAN International
    Workshop on State Of the Art in Program Analysis</i>, 13–17. SOAP 2016, 2016.
  ieee: L. Nguyen Quang Do, M. Eichberg, and E. Bodden, “Toward an Automated Benchmark
    Management System,” in <i>Proceedings of the 5th ACM SIGPLAN International Workshop
    on State Of the Art in Program Analysis</i>, 2016, pp. 13–17.
  mla: Nguyen Quang Do, Lisa, et al. “Toward an Automated Benchmark Management System.”
    <i>Proceedings of the 5th ACM SIGPLAN International Workshop on State Of the Art
    in Program Analysis</i>, 2016, pp. 13–17.
  short: 'L. Nguyen Quang Do, M. Eichberg, E. Bodden, in: Proceedings of the 5th ACM
    SIGPLAN International Workshop on State Of the Art in Program Analysis, 2016,
    pp. 13–17.'
date_created: 2020-12-14T12:00:32Z
date_updated: 2022-01-06T06:54:34Z
department:
- _id: '76'
keyword:
- ATTRACT
language:
- iso: eng
main_file_link:
- url: http://bodden.de/pubs/neb16toward.pdf
page: 13-17
publication: Proceedings of the 5th ACM SIGPLAN International Workshop on State Of
  the Art in Program Analysis
series_title: SOAP 2016
status: public
title: Toward an Automated Benchmark Management System
type: conference
user_id: '5786'
year: '2016'
...
---
_id: '20722'
author:
- first_name: Steven
  full_name: Arzt, Steven
  last_name: Arzt
- first_name: Tobias
  full_name: Kussmaul, Tobias
  last_name: Kussmaul
- first_name: Eric
  full_name: Bodden, Eric
  id: '59256'
  last_name: Bodden
  orcid: 0000-0003-3470-3647
citation:
  ama: 'Arzt S, Kussmaul T, Bodden E. Towards Cross-Platform Cross-Language Analysis
    with Soot. In: <i>Proceedings of the 5th ACM SIGPLAN International Workshop on
    State Of the Art in Program Analysis</i>. SOAP 2016. ; 2016:1-6.'
  apa: Arzt, S., Kussmaul, T., &#38; Bodden, E. (2016). Towards Cross-Platform Cross-Language
    Analysis with Soot. <i>Proceedings of the 5th ACM SIGPLAN International Workshop
    on State Of the Art in Program Analysis</i>, 1–6.
  bibtex: '@inproceedings{Arzt_Kussmaul_Bodden_2016, series={SOAP 2016}, title={Towards
    Cross-Platform Cross-Language Analysis with Soot}, booktitle={Proceedings of the
    5th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis},
    author={Arzt, Steven and Kussmaul, Tobias and Bodden, Eric}, year={2016}, pages={1–6},
    collection={SOAP 2016} }'
  chicago: Arzt, Steven, Tobias Kussmaul, and Eric Bodden. “Towards Cross-Platform
    Cross-Language Analysis with Soot.” In <i>Proceedings of the 5th ACM SIGPLAN International
    Workshop on State Of the Art in Program Analysis</i>, 1–6. SOAP 2016, 2016.
  ieee: S. Arzt, T. Kussmaul, and E. Bodden, “Towards Cross-Platform Cross-Language
    Analysis with Soot,” in <i>Proceedings of the 5th ACM SIGPLAN International Workshop
    on State Of the Art in Program Analysis</i>, 2016, pp. 1–6.
  mla: Arzt, Steven, et al. “Towards Cross-Platform Cross-Language Analysis with Soot.”
    <i>Proceedings of the 5th ACM SIGPLAN International Workshop on State Of the Art
    in Program Analysis</i>, 2016, pp. 1–6.
  short: 'S. Arzt, T. Kussmaul, E. Bodden, in: Proceedings of the 5th ACM SIGPLAN
    International Workshop on State Of the Art in Program Analysis, 2016, pp. 1–6.'
date_created: 2020-12-14T12:02:21Z
date_updated: 2022-01-06T06:54:34Z
department:
- _id: '76'
language:
- iso: eng
main_file_link:
- url: http://www.bodden.de/pubs/akb16towards.pdf
page: 1-6
publication: Proceedings of the 5th ACM SIGPLAN International Workshop on State Of
  the Art in Program Analysis
series_title: SOAP 2016
status: public
title: Towards Cross-Platform Cross-Language Analysis with Soot
type: conference
user_id: '5786'
year: '2016'
...
---
_id: '20724'
author:
- first_name: Andreas
  full_name: Follner, Andreas
  last_name: Follner
- first_name: Eric
  full_name: Bodden, Eric
  id: '59256'
  last_name: Bodden
  orcid: 0000-0003-3470-3647
citation:
  ama: Follner A, Bodden E. ROPocop — Dynamic mitigation of code-reuse attacks. <i>Journal
    of Information Security and Applications </i>. 2016;29:16-26. doi:<a href="http://dx.doi.org/10.1016/j.jisa.2016.01.002">http://dx.doi.org/10.1016/j.jisa.2016.01.002</a>
  apa: Follner, A., &#38; Bodden, E. (2016). ROPocop — Dynamic mitigation of code-reuse
    attacks. <i>Journal of Information Security and Applications </i>, <i>29</i>,
    16–26. <a href="http://dx.doi.org/10.1016/j.jisa.2016.01.002">http://dx.doi.org/10.1016/j.jisa.2016.01.002</a>
  bibtex: '@article{Follner_Bodden_2016, title={ROPocop — Dynamic mitigation of code-reuse
    attacks}, volume={29}, DOI={<a href="http://dx.doi.org/10.1016/j.jisa.2016.01.002">http://dx.doi.org/10.1016/j.jisa.2016.01.002</a>},
    journal={Journal of Information Security and Applications }, author={Follner,
    Andreas and Bodden, Eric}, year={2016}, pages={16–26} }'
  chicago: 'Follner, Andreas, and Eric Bodden. “ROPocop — Dynamic Mitigation of Code-Reuse
    Attacks.” <i>Journal of Information Security and Applications </i> 29 (2016):
    16–26. <a href="http://dx.doi.org/10.1016/j.jisa.2016.01.002">http://dx.doi.org/10.1016/j.jisa.2016.01.002</a>.'
  ieee: 'A. Follner and E. Bodden, “ROPocop — Dynamic mitigation of code-reuse attacks,”
    <i>Journal of Information Security and Applications </i>, vol. 29, pp. 16–26,
    2016, doi: <a href="http://dx.doi.org/10.1016/j.jisa.2016.01.002">http://dx.doi.org/10.1016/j.jisa.2016.01.002</a>.'
  mla: Follner, Andreas, and Eric Bodden. “ROPocop — Dynamic Mitigation of Code-Reuse
    Attacks.” <i>Journal of Information Security and Applications </i>, vol. 29, 2016,
    pp. 16–26, doi:<a href="http://dx.doi.org/10.1016/j.jisa.2016.01.002">http://dx.doi.org/10.1016/j.jisa.2016.01.002</a>.
  short: A. Follner, E. Bodden, Journal of Information Security and Applications  29
    (2016) 16–26.
date_created: 2020-12-14T14:11:40Z
date_updated: 2022-01-06T06:54:34Z
department:
- _id: '76'
doi: http://dx.doi.org/10.1016/j.jisa.2016.01.002
intvolume: '        29'
language:
- iso: eng
main_file_link:
- url: http://www.bodden.de/pubs/fb2016ropocop.pdf
page: 16-26
publication: 'Journal of Information Security and Applications '
publication_identifier:
  issn:
  - 2214-2126
status: public
title: ROPocop — Dynamic mitigation of code-reuse attacks
type: journal_article
user_id: '5786'
volume: 29
year: '2016'
...
---
_id: '20725'
author:
- first_name: Andreas
  full_name: Follner, Andreas
  last_name: Follner
- first_name: Alexandre
  full_name: Bartel, Alexandre
  last_name: Bartel
- first_name: Eric
  full_name: Bodden, Eric
  id: '59256'
  last_name: Bodden
  orcid: 0000-0003-3470-3647
citation:
  ama: 'Follner A, Bartel A, Bodden E. Analyzing the Gadgets - Towards a Metric to
    Measure Gadget Quality. In: <i>International Symposium on Engineering Secure Software
    and Systems (ESSoS)</i>. ; 2016.'
  apa: Follner, A., Bartel, A., &#38; Bodden, E. (2016). Analyzing the Gadgets - Towards
    a Metric to Measure Gadget Quality. <i>International Symposium on Engineering
    Secure Software and Systems (ESSoS)</i>.
  bibtex: '@inproceedings{Follner_Bartel_Bodden_2016, title={Analyzing the Gadgets
    - Towards a Metric to Measure Gadget Quality}, booktitle={International Symposium
    on Engineering Secure Software and Systems (ESSoS)}, author={Follner, Andreas
    and Bartel, Alexandre and Bodden, Eric}, year={2016} }'
  chicago: Follner, Andreas, Alexandre Bartel, and Eric Bodden. “Analyzing the Gadgets
    - Towards a Metric to Measure Gadget Quality.” In <i>International Symposium on
    Engineering Secure Software and Systems (ESSoS)</i>, 2016.
  ieee: A. Follner, A. Bartel, and E. Bodden, “Analyzing the Gadgets - Towards a Metric
    to Measure Gadget Quality,” 2016.
  mla: Follner, Andreas, et al. “Analyzing the Gadgets - Towards a Metric to Measure
    Gadget Quality.” <i>International Symposium on Engineering Secure Software and
    Systems (ESSoS)</i>, 2016.
  short: 'A. Follner, A. Bartel, E. Bodden, in: International Symposium on Engineering
    Secure Software and Systems (ESSoS), 2016.'
date_created: 2020-12-14T14:12:36Z
date_updated: 2022-01-06T06:54:34Z
department:
- _id: '76'
language:
- iso: eng
main_file_link:
- url: http://www.bodden.de/pubs/fbb16analyzing.pdf
publication: International Symposium on Engineering Secure Software and Systems (ESSoS)
status: public
title: Analyzing the Gadgets - Towards a Metric to Measure Gadget Quality
type: conference
user_id: '5786'
year: '2016'
...
---
_id: '20726'
author:
- first_name: Kevin
  full_name: Falzon, Kevin
  last_name: Falzon
- first_name: Eric
  full_name: Bodden, Eric
  id: '59256'
  last_name: Bodden
  orcid: 0000-0003-3470-3647
citation:
  ama: 'Falzon K, Bodden E. Towards a Comprehensive Model of Isolation for Mitigating
    Illicit Channels. In: Piessens F, Vigan’o L, eds. <i>Principles of Security and
    Trust: 5th International Conference, POST 2016, Held as Part of the European Joint
    Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands,
    April 2--8, 2016, Proceedings</i>. Springer Berlin Heidelberg; 2016:116-138. doi:<a
    href="https://doi.org/10.1007/978-3-662-49635-0_7">10.1007/978-3-662-49635-0_7</a>'
  apa: 'Falzon, K., &#38; Bodden, E. (2016). Towards a Comprehensive Model of Isolation
    for Mitigating Illicit Channels. In F. Piessens &#38; L. Vigan’o (Eds.), <i>Principles
    of Security and Trust: 5th International Conference, POST 2016, Held as Part of
    the European Joint Conferences on Theory and Practice of Software, ETAPS 2016,
    Eindhoven, The Netherlands, April 2--8, 2016, Proceedings</i> (pp. 116–138). Springer
    Berlin Heidelberg. <a href="https://doi.org/10.1007/978-3-662-49635-0_7">https://doi.org/10.1007/978-3-662-49635-0_7</a>'
  bibtex: '@inproceedings{Falzon_Bodden_2016, place={Berlin, Heidelberg}, title={Towards
    a Comprehensive Model of Isolation for Mitigating Illicit Channels}, DOI={<a href="https://doi.org/10.1007/978-3-662-49635-0_7">10.1007/978-3-662-49635-0_7</a>},
    booktitle={Principles of Security and Trust: 5th International Conference, POST
    2016, Held as Part of the European Joint Conferences on Theory and Practice of
    Software, ETAPS 2016, Eindhoven, The Netherlands, April 2--8, 2016, Proceedings},
    publisher={Springer Berlin Heidelberg}, author={Falzon, Kevin and Bodden, Eric},
    editor={Piessens, Frank and Vigan’o, Luca}, year={2016}, pages={116–138} }'
  chicago: 'Falzon, Kevin, and Eric Bodden. “Towards a Comprehensive Model of Isolation
    for Mitigating Illicit Channels.” In <i>Principles of Security and Trust: 5th
    International Conference, POST 2016, Held as Part of the European Joint Conferences
    on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April
    2--8, 2016, Proceedings</i>, edited by Frank Piessens and Luca Vigan’o, 116–38.
    Berlin, Heidelberg: Springer Berlin Heidelberg, 2016. <a href="https://doi.org/10.1007/978-3-662-49635-0_7">https://doi.org/10.1007/978-3-662-49635-0_7</a>.'
  ieee: 'K. Falzon and E. Bodden, “Towards a Comprehensive Model of Isolation for
    Mitigating Illicit Channels,” in <i>Principles of Security and Trust: 5th International
    Conference, POST 2016, Held as Part of the European Joint Conferences on Theory
    and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2--8,
    2016, Proceedings</i>, 2016, pp. 116–138, doi: <a href="https://doi.org/10.1007/978-3-662-49635-0_7">10.1007/978-3-662-49635-0_7</a>.'
  mla: 'Falzon, Kevin, and Eric Bodden. “Towards a Comprehensive Model of Isolation
    for Mitigating Illicit Channels.” <i>Principles of Security and Trust: 5th International
    Conference, POST 2016, Held as Part of the European Joint Conferences on Theory
    and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2--8,
    2016, Proceedings</i>, edited by Frank Piessens and Luca Vigan’o, Springer Berlin
    Heidelberg, 2016, pp. 116–38, doi:<a href="https://doi.org/10.1007/978-3-662-49635-0_7">10.1007/978-3-662-49635-0_7</a>.'
  short: 'K. Falzon, E. Bodden, in: F. Piessens, L. Vigan’o (Eds.), Principles of
    Security and Trust: 5th International Conference, POST 2016, Held as Part of the
    European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven,
    The Netherlands, April 2--8, 2016, Proceedings, Springer Berlin Heidelberg, Berlin,
    Heidelberg, 2016, pp. 116–138.'
date_created: 2020-12-14T14:20:20Z
date_updated: 2022-01-06T06:54:34Z
department:
- _id: '76'
doi: 10.1007/978-3-662-49635-0_7
editor:
- first_name: Frank
  full_name: Piessens, Frank
  last_name: Piessens
- first_name: Luca
  full_name: Vigan'o, Luca
  last_name: Vigan'o
language:
- iso: eng
main_file_link:
- url: http://www.bodden.de/pubs/fb16mitigating.pdf
page: 116-138
place: Berlin, Heidelberg
publication: 'Principles of Security and Trust: 5th International Conference, POST
  2016, Held as Part of the European Joint Conferences on Theory and Practice of Software,
  ETAPS 2016, Eindhoven, The Netherlands, April 2--8, 2016, Proceedings'
publication_identifier:
  isbn:
  - 978-3-662-49635-0
publisher: Springer Berlin Heidelberg
status: public
title: Towards a Comprehensive Model of Isolation for Mitigating Illicit Channels
type: conference
user_id: '5786'
year: '2016'
...
---
_id: '20727'
author:
- first_name: Siegfried
  full_name: Rasthofer, Siegfried
  last_name: Rasthofer
- first_name: Steven
  full_name: Arzt, Steven
  last_name: Arzt
- first_name: Marc
  full_name: Miltenberger, Marc
  last_name: Miltenberger
- first_name: Eric
  full_name: Bodden, Eric
  id: '59256'
  last_name: Bodden
  orcid: 0000-0003-3470-3647
citation:
  ama: 'Rasthofer S, Arzt S, Miltenberger M, Bodden E. Harvesting Runtime Values in
    Android Applications That Feature Anti-Analysis Techniques. In: <i>Network and
    Distributed System Security Symposium (NDSS)</i>. ; 2016.'
  apa: Rasthofer, S., Arzt, S., Miltenberger, M., &#38; Bodden, E. (2016). Harvesting
    Runtime Values in Android Applications That Feature Anti-Analysis Techniques.
    <i>Network and Distributed System Security Symposium (NDSS)</i>.
  bibtex: '@inproceedings{Rasthofer_Arzt_Miltenberger_Bodden_2016, title={Harvesting
    Runtime Values in Android Applications That Feature Anti-Analysis Techniques},
    booktitle={Network and Distributed System Security Symposium (NDSS)}, author={Rasthofer,
    Siegfried and Arzt, Steven and Miltenberger, Marc and Bodden, Eric}, year={2016}
    }'
  chicago: Rasthofer, Siegfried, Steven Arzt, Marc Miltenberger, and Eric Bodden.
    “Harvesting Runtime Values in Android Applications That Feature Anti-Analysis
    Techniques.” In <i>Network and Distributed System Security Symposium (NDSS)</i>,
    2016.
  ieee: S. Rasthofer, S. Arzt, M. Miltenberger, and E. Bodden, “Harvesting Runtime
    Values in Android Applications That Feature Anti-Analysis Techniques,” 2016.
  mla: Rasthofer, Siegfried, et al. “Harvesting Runtime Values in Android Applications
    That Feature Anti-Analysis Techniques.” <i>Network and Distributed System Security
    Symposium (NDSS)</i>, 2016.
  short: 'S. Rasthofer, S. Arzt, M. Miltenberger, E. Bodden, in: Network and Distributed
    System Security Symposium (NDSS), 2016.'
date_created: 2020-12-14T14:21:41Z
date_updated: 2022-01-06T06:54:34Z
department:
- _id: '76'
keyword:
- ATTRACT
- ITSECWEBSITE
language:
- iso: eng
main_file_link:
- url: http://www.bodden.de/pubs/ssme16harvesting.pdf
publication: Network and Distributed System Security Symposium (NDSS)
status: public
title: Harvesting Runtime Values in Android Applications That Feature Anti-Analysis
  Techniques
type: conference
user_id: '5786'
year: '2016'
...
---
_id: '20728'
author:
- first_name: Sarah
  full_name: Nadi, Sarah
  last_name: Nadi
- first_name: Stefan
  full_name: Krüger, Stefan
  last_name: Krüger
- first_name: Mira
  full_name: Mezini, Mira
  last_name: Mezini
- first_name: Eric
  full_name: Bodden, Eric
  id: '59256'
  last_name: Bodden
  orcid: 0000-0003-3470-3647
citation:
  ama: 'Nadi S, Krüger S, Mezini M, Bodden E. Jumping Through Hoops: Why do Java Developers
    Struggle With Cryptography APIs? In: <i>International Conference for Software
    Engineering (ICSE)</i>. ; 2016:935-946.'
  apa: 'Nadi, S., Krüger, S., Mezini, M., &#38; Bodden, E. (2016). Jumping Through
    Hoops: Why do Java Developers Struggle With Cryptography APIs? <i>International
    Conference for Software Engineering (ICSE)</i>, 935–946.'
  bibtex: '@inproceedings{Nadi_Krüger_Mezini_Bodden_2016, title={Jumping Through Hoops:
    Why do Java Developers Struggle With Cryptography APIs?}, booktitle={International
    Conference for Software Engineering (ICSE)}, author={Nadi, Sarah and Krüger, Stefan
    and Mezini, Mira and Bodden, Eric}, year={2016}, pages={935–946} }'
  chicago: 'Nadi, Sarah, Stefan Krüger, Mira Mezini, and Eric Bodden. “Jumping Through
    Hoops: Why Do Java Developers Struggle With Cryptography APIs?” In <i>International
    Conference for Software Engineering (ICSE)</i>, 935–46, 2016.'
  ieee: 'S. Nadi, S. Krüger, M. Mezini, and E. Bodden, “Jumping Through Hoops: Why
    do Java Developers Struggle With Cryptography APIs?,” in <i>International Conference
    for Software Engineering (ICSE)</i>, 2016, pp. 935–946.'
  mla: 'Nadi, Sarah, et al. “Jumping Through Hoops: Why Do Java Developers Struggle
    With Cryptography APIs?” <i>International Conference for Software Engineering
    (ICSE)</i>, 2016, pp. 935–46.'
  short: 'S. Nadi, S. Krüger, M. Mezini, E. Bodden, in: International Conference for
    Software Engineering (ICSE), 2016, pp. 935–946.'
date_created: 2020-12-14T14:22:36Z
date_updated: 2022-01-06T06:54:34Z
department:
- _id: '76'
keyword:
- CROSSING
- ITSECWEBSITE
language:
- iso: eng
main_file_link:
- url: http://www.bodden.de/pubs/nkm+16jumping.pdf
page: 935-946
publication: International Conference for Software Engineering (ICSE)
status: public
title: 'Jumping Through Hoops: Why do Java Developers Struggle With Cryptography APIs?'
type: conference
user_id: '5786'
year: '2016'
...
---
_id: '20729'
author:
- first_name: Steven
  full_name: Arzt, Steven
  last_name: Arzt
- first_name: Eric
  full_name: Bodden, Eric
  id: '59256'
  last_name: Bodden
  orcid: 0000-0003-3470-3647
citation:
  ama: 'Arzt S, Bodden E. StubDroid: Automatic Inference of Precise Data-flow Summaries
    for the Android Framework. In: <i>International Conference for Software Engineering
    (ICSE)</i>. ; 2016.'
  apa: 'Arzt, S., &#38; Bodden, E. (2016). StubDroid: Automatic Inference of Precise
    Data-flow Summaries for the Android Framework. <i>International Conference for
    Software Engineering (ICSE)</i>.'
  bibtex: '@inproceedings{Arzt_Bodden_2016, title={StubDroid: Automatic Inference
    of Precise Data-flow Summaries for the Android Framework}, booktitle={International
    Conference for Software Engineering (ICSE)}, author={Arzt, Steven and Bodden,
    Eric}, year={2016} }'
  chicago: 'Arzt, Steven, and Eric Bodden. “StubDroid: Automatic Inference of Precise
    Data-Flow Summaries for the Android Framework.” In <i>International Conference
    for Software Engineering (ICSE)</i>, 2016.'
  ieee: 'S. Arzt and E. Bodden, “StubDroid: Automatic Inference of Precise Data-flow
    Summaries for the Android Framework,” 2016.'
  mla: 'Arzt, Steven, and Eric Bodden. “StubDroid: Automatic Inference of Precise
    Data-Flow Summaries for the Android Framework.” <i>International Conference for
    Software Engineering (ICSE)</i>, 2016.'
  short: 'S. Arzt, E. Bodden, in: International Conference for Software Engineering
    (ICSE), 2016.'
date_created: 2020-12-14T14:23:29Z
date_updated: 2022-01-06T06:54:34Z
department:
- _id: '76'
keyword:
- ITSECWEBSITE
language:
- iso: eng
main_file_link:
- url: http://www.bodden.de/pubs/ab16stubdroid.pdf
publication: International Conference for Software Engineering (ICSE)
status: public
title: 'StubDroid: Automatic Inference of Precise Data-flow Summaries for the Android
  Framework'
type: conference
user_id: '5786'
year: '2016'
...
---
_id: '20730'
author:
- first_name: N.
  full_name: Eling, N.
  last_name: Eling
- first_name: S.
  full_name: Rasthofer, S.
  last_name: Rasthofer
- first_name: M.
  full_name: Kolhagen, M.
  last_name: Kolhagen
- first_name: Eric
  full_name: Bodden, Eric
  id: '59256'
  last_name: Bodden
  orcid: 0000-0003-3470-3647
- first_name: P.
  full_name: Buxmann, P.
  last_name: Buxmann
citation:
  ama: 'Eling N, Rasthofer S, Kolhagen M, Bodden E, Buxmann P. Investigating Users’
    Reaction to Fine-Grained Data Requests: A Market Experiment. In: <i>2016 49th
    Hawaii International Conference on System Sciences (HICSS)</i>. ; 2016:3666-3675.
    doi:<a href="https://doi.org/10.1109/HICSS.2016.458">10.1109/HICSS.2016.458</a>'
  apa: 'Eling, N., Rasthofer, S., Kolhagen, M., Bodden, E., &#38; Buxmann, P. (2016).
    Investigating Users’ Reaction to Fine-Grained Data Requests: A Market Experiment.
    <i>2016 49th Hawaii International Conference on System Sciences (HICSS)</i>, 3666–3675.
    <a href="https://doi.org/10.1109/HICSS.2016.458">https://doi.org/10.1109/HICSS.2016.458</a>'
  bibtex: '@inproceedings{Eling_Rasthofer_Kolhagen_Bodden_Buxmann_2016, title={Investigating
    Users’ Reaction to Fine-Grained Data Requests: A Market Experiment}, DOI={<a href="https://doi.org/10.1109/HICSS.2016.458">10.1109/HICSS.2016.458</a>},
    booktitle={2016 49th Hawaii International Conference on System Sciences (HICSS)},
    author={Eling, N. and Rasthofer, S. and Kolhagen, M. and Bodden, Eric and Buxmann,
    P.}, year={2016}, pages={3666–3675} }'
  chicago: 'Eling, N., S. Rasthofer, M. Kolhagen, Eric Bodden, and P. Buxmann. “Investigating
    Users’ Reaction to Fine-Grained Data Requests: A Market Experiment.” In <i>2016
    49th Hawaii International Conference on System Sciences (HICSS)</i>, 3666–75,
    2016. <a href="https://doi.org/10.1109/HICSS.2016.458">https://doi.org/10.1109/HICSS.2016.458</a>.'
  ieee: 'N. Eling, S. Rasthofer, M. Kolhagen, E. Bodden, and P. Buxmann, “Investigating
    Users’ Reaction to Fine-Grained Data Requests: A Market Experiment,” in <i>2016
    49th Hawaii International Conference on System Sciences (HICSS)</i>, 2016, pp.
    3666–3675, doi: <a href="https://doi.org/10.1109/HICSS.2016.458">10.1109/HICSS.2016.458</a>.'
  mla: 'Eling, N., et al. “Investigating Users’ Reaction to Fine-Grained Data Requests:
    A Market Experiment.” <i>2016 49th Hawaii International Conference on System Sciences
    (HICSS)</i>, 2016, pp. 3666–75, doi:<a href="https://doi.org/10.1109/HICSS.2016.458">10.1109/HICSS.2016.458</a>.'
  short: 'N. Eling, S. Rasthofer, M. Kolhagen, E. Bodden, P. Buxmann, in: 2016 49th
    Hawaii International Conference on System Sciences (HICSS), 2016, pp. 3666–3675.'
date_created: 2020-12-14T14:24:12Z
date_updated: 2022-01-06T06:54:34Z
department:
- _id: '76'
doi: 10.1109/HICSS.2016.458
language:
- iso: eng
main_file_link:
- url: http://www.bodden.de/pubs/erk+15investigating.pdf
page: 3666-3675
publication: 2016 49th Hawaii International Conference on System Sciences (HICSS)
publication_identifier:
  issn:
  - 1530-1605
status: public
title: 'Investigating Users'' Reaction to Fine-Grained Data Requests: A Market Experiment'
type: conference
user_id: '5786'
year: '2016'
...
---
_id: '208'
abstract:
- lang: eng
  text: This paper presents a new framework for constructing fully CCA-secure predicate
    encryption schemes from pair encoding schemes. Our construction is the first in
    the context of predicate encryption which uses the technique of well-formedness
    proofs known from public key encryption. The resulting constructions are simpler
    and more efficient compared to the schemes achieved using known generic transformations
    from CPA-secure to CCA-secure schemes. The reduction costs of our framework are
    comparable to the reduction costs of the underlying CPA-secure framework. We achieve
    this last result by applying the dual system encryption methodology in a novel
    way.
author:
- first_name: Johannes
  full_name: Blömer, Johannes
  id: '23'
  last_name: Blömer
- first_name: Gennadij
  full_name: Liske, Gennadij
  last_name: Liske
citation:
  ama: 'Blömer J, Liske G. Construction of Fully CCA-Secure Predicate Encryptions
    from Pair Encoding Schemes. In: <i>Proceedings of the CT-RSA 2016</i>. LNCS. ;
    2016:431-447. doi:<a href="https://doi.org/10.1007/978-3-319-29485-8_25">10.1007/978-3-319-29485-8_25</a>'
  apa: Blömer, J., &#38; Liske, G. (2016). Construction of Fully CCA-Secure Predicate
    Encryptions from Pair Encoding Schemes. In <i>Proceedings of the CT-RSA 2016</i>
    (pp. 431–447). <a href="https://doi.org/10.1007/978-3-319-29485-8_25">https://doi.org/10.1007/978-3-319-29485-8_25</a>
  bibtex: '@inproceedings{Blömer_Liske_2016, series={LNCS}, title={Construction of
    Fully CCA-Secure Predicate Encryptions from Pair Encoding Schemes}, DOI={<a href="https://doi.org/10.1007/978-3-319-29485-8_25">10.1007/978-3-319-29485-8_25</a>},
    booktitle={Proceedings of the CT-RSA 2016}, author={Blömer, Johannes and Liske,
    Gennadij}, year={2016}, pages={431–447}, collection={LNCS} }'
  chicago: Blömer, Johannes, and Gennadij Liske. “Construction of Fully CCA-Secure
    Predicate Encryptions from Pair Encoding Schemes.” In <i>Proceedings of the CT-RSA
    2016</i>, 431–47. LNCS, 2016. <a href="https://doi.org/10.1007/978-3-319-29485-8_25">https://doi.org/10.1007/978-3-319-29485-8_25</a>.
  ieee: J. Blömer and G. Liske, “Construction of Fully CCA-Secure Predicate Encryptions
    from Pair Encoding Schemes,” in <i>Proceedings of the CT-RSA 2016</i>, 2016, pp.
    431–447.
  mla: Blömer, Johannes, and Gennadij Liske. “Construction of Fully CCA-Secure Predicate
    Encryptions from Pair Encoding Schemes.” <i>Proceedings of the CT-RSA 2016</i>,
    2016, pp. 431–47, doi:<a href="https://doi.org/10.1007/978-3-319-29485-8_25">10.1007/978-3-319-29485-8_25</a>.
  short: 'J. Blömer, G. Liske, in: Proceedings of the CT-RSA 2016, 2016, pp. 431–447.'
date_created: 2017-10-17T12:41:32Z
date_updated: 2022-01-06T06:54:39Z
ddc:
- '040'
department:
- _id: '64'
doi: 10.1007/978-3-319-29485-8_25
file:
- access_level: closed
  content_type: application/pdf
  creator: florida
  date_created: 2018-03-21T10:43:36Z
  date_updated: 2018-03-21T10:43:36Z
  file_id: '1521'
  file_name: 208-aCCA_P-KEM_final.pdf
  file_size: 462666
  relation: main_file
  success: 1
file_date_updated: 2018-03-21T10:43:36Z
has_accepted_license: '1'
page: 431-447
project:
- _id: '1'
  name: SFB 901
- _id: '13'
  name: SFB 901 - Subprojekt C1
- _id: '4'
  name: SFB 901 - Project Area C
publication: Proceedings of the CT-RSA 2016
series_title: LNCS
status: public
title: Construction of Fully CCA-Secure Predicate Encryptions from Pair Encoding Schemes
type: conference
user_id: '477'
year: '2016'
...
---
_id: '20822'
abstract:
- lang: eng
  text: 'Several examples of mechatronic systems can be found nowadays in modern cars,
    production systems, and medical technology. Day by day, the number of innovative
    functionalities in such mechatronic systems is increasing. These functionalities
    are realized with complex software. Such software exhibits hard real-time, safety
    requirements. The adherence to these requirements must be thoroughly analyzed
    and verified. Moreover, to obtain a significant increment in the reliability,
    performance, and efficiency of such software, it needs to maintain the self-adaptation
    of its properties. In order to develop such systems with a high quality and within
    a short time, we need a systematic and consistent design method. For this purpose,
    the software engineering group at the University of Paderborn and the Fraunhofer
    IEM in Paderborn propose the MechatronicUML method. This method provides a comprehensive
    model-driven process support, that starts from requirements and reaches the executable
    software after passing through several design and analysis steps. This process
    improves the comprehension during development and makes complex systems manageable.
    MechatronicUML emphasizes mainly on: (1) modeling and (formal) verification of
    reconfigurable software architectures, (2) the coordination among system components
    in such architectures, and (3) the integration of discrete software events with
    the continuous behavior of control devices.'
author:
- first_name: Stefan
  full_name: Dziwok, Stefan
  id: '3901'
  last_name: Dziwok
  orcid: http://orcid.org/0000-0002-8679-6673
- first_name: Uwe
  full_name: Pohlmann, Uwe
  last_name: Pohlmann
- first_name: Goran
  full_name: Piskachev, Goran
  id: '41936'
  last_name: Piskachev
  orcid: 0000-0003-4424-5838
- first_name: David
  full_name: Schubert, David
  id: '9106'
  last_name: Schubert
- first_name: Sebastian
  full_name: Thiele, Sebastian
  last_name: Thiele
- first_name: Christopher
  full_name: Gerking, Christopher
  last_name: Gerking
citation:
  ama: 'Dziwok S, Pohlmann U, Piskachev G, Schubert D, Thiele S, Gerking C. <i>The
    MechatronicUML Design Method: Process and Language for Platform-Independent Modeling</i>.;
    2016.'
  apa: 'Dziwok, S., Pohlmann, U., Piskachev, G., Schubert, D., Thiele, S., &#38; Gerking,
    C. (2016). <i>The MechatronicUML Design Method: Process and Language for Platform-Independent
    Modeling</i>.'
  bibtex: '@book{Dziwok_Pohlmann_Piskachev_Schubert_Thiele_Gerking_2016, place={Zukunftsmeile
    1, 33102 Paderborn, Germany}, title={The MechatronicUML Design Method: Process
    and Language for Platform-Independent Modeling}, author={Dziwok, Stefan and Pohlmann,
    Uwe and Piskachev, Goran and Schubert, David and Thiele, Sebastian and Gerking,
    Christopher}, year={2016} }'
  chicago: 'Dziwok, Stefan, Uwe Pohlmann, Goran Piskachev, David Schubert, Sebastian
    Thiele, and Christopher Gerking. <i>The MechatronicUML Design Method: Process
    and Language for Platform-Independent Modeling</i>. Zukunftsmeile 1, 33102 Paderborn,
    Germany, 2016.'
  ieee: 'S. Dziwok, U. Pohlmann, G. Piskachev, D. Schubert, S. Thiele, and C. Gerking,
    <i>The MechatronicUML Design Method: Process and Language for Platform-Independent
    Modeling</i>. Zukunftsmeile 1, 33102 Paderborn, Germany, 2016.'
  mla: 'Dziwok, Stefan, et al. <i>The MechatronicUML Design Method: Process and Language
    for Platform-Independent Modeling</i>. 2016.'
  short: 'S. Dziwok, U. Pohlmann, G. Piskachev, D. Schubert, S. Thiele, C. Gerking,
    The MechatronicUML Design Method: Process and Language for Platform-Independent
    Modeling, Zukunftsmeile 1, 33102 Paderborn, Germany, 2016.'
date_created: 2020-12-22T09:24:42Z
date_updated: 2022-01-06T06:54:40Z
department:
- _id: '76'
- _id: '241'
language:
- iso: eng
place: Zukunftsmeile 1, 33102 Paderborn, Germany
status: public
title: 'The MechatronicUML Design Method: Process and Language for Platform-Independent
  Modeling'
type: report
user_id: '5786'
year: '2016'
...
---
_id: '20823'
abstract:
- lang: eng
  text: 'In this technical report, we present the MechatronicUML requirements engineering
    method. The method encompasses a process and a scenario-based modeling language
    for the documentation and analysis of requirements on the message-based interaction
    behavior of software-intensive systems. The modeling language uses a scenario
    notation based on Modal Sequence Diagrams (MSDs), which borrows concepts of UML
    Interactions as well as of Live Sequence Charts. Furthermore, we introduce the
    so-called Emergency Braking & Evasion System (EBEAS) as a running example, which
    is based on current and upcoming real-world driver assistance systems. '
author:
- first_name: Jörg
  full_name: Holtmann, Jörg
  id: '3875'
  last_name: Holtmann
  orcid: 0000-0001-6141-4571
- first_name: Markus
  full_name: Fockel, Markus
  id: '8472'
  last_name: Fockel
  orcid: 0000-0002-1269-0702
- first_name: Thorsten
  full_name: Koch, Thorsten
  id: '13616'
  last_name: Koch
- first_name: David
  full_name: Schmelter, David
  id: '40982'
  last_name: Schmelter
  orcid: 0000-0001-7787-5380
- first_name: Christian
  full_name: Brenner, Christian
  last_name: Brenner
- first_name: Ruslan
  full_name: Bernijazov, Ruslan
  last_name: Bernijazov
- first_name: Marcel
  full_name: Sander, Marcel
  last_name: Sander
citation:
  ama: 'Holtmann J, Fockel M, Koch T, et al. <i>The MechatronicUML Requirements Engineering
    Method: Process and Language</i>.; 2016. doi:<a href="https://doi.org/10.13140/RG.2.2.33223.29606">10.13140/RG.2.2.33223.29606</a>'
  apa: 'Holtmann, J., Fockel, M., Koch, T., Schmelter, D., Brenner, C., Bernijazov,
    R., &#38; Sander, M. (2016). <i>The MechatronicUML Requirements Engineering Method:
    Process and Language</i>. <a href="https://doi.org/10.13140/RG.2.2.33223.29606">https://doi.org/10.13140/RG.2.2.33223.29606</a>'
  bibtex: '@book{Holtmann_Fockel_Koch_Schmelter_Brenner_Bernijazov_Sander_2016, title={The
    MechatronicUML Requirements Engineering Method: Process and Language}, DOI={<a
    href="https://doi.org/10.13140/RG.2.2.33223.29606">10.13140/RG.2.2.33223.29606</a>},
    author={Holtmann, Jörg and Fockel, Markus and Koch, Thorsten and Schmelter, David
    and Brenner, Christian and Bernijazov, Ruslan and Sander, Marcel}, year={2016}
    }'
  chicago: 'Holtmann, Jörg, Markus Fockel, Thorsten Koch, David Schmelter, Christian
    Brenner, Ruslan Bernijazov, and Marcel Sander. <i>The MechatronicUML Requirements
    Engineering Method: Process and Language</i>, 2016. <a href="https://doi.org/10.13140/RG.2.2.33223.29606">https://doi.org/10.13140/RG.2.2.33223.29606</a>.'
  ieee: 'J. Holtmann <i>et al.</i>, <i>The MechatronicUML Requirements Engineering
    Method: Process and Language</i>. 2016.'
  mla: 'Holtmann, Jörg, et al. <i>The MechatronicUML Requirements Engineering Method:
    Process and Language</i>. 2016, doi:<a href="https://doi.org/10.13140/RG.2.2.33223.29606">10.13140/RG.2.2.33223.29606</a>.'
  short: 'J. Holtmann, M. Fockel, T. Koch, D. Schmelter, C. Brenner, R. Bernijazov,
    M. Sander, The MechatronicUML Requirements Engineering Method: Process and Language,
    2016.'
date_created: 2020-12-22T09:28:23Z
date_updated: 2022-01-06T06:54:40Z
department:
- _id: '76'
- _id: '241'
- _id: '662'
doi: 10.13140/RG.2.2.33223.29606
language:
- iso: eng
status: public
title: 'The MechatronicUML Requirements Engineering Method: Process and Language'
type: report
user_id: '5786'
year: '2016'
...
---
_id: '20825'
abstract:
- lang: ger
  text: Das Systemmodell ist der Kern des Model-Based Systems Engineering (MBSE).
    Während jedoch im Systems Engineering dem Zusammenspiel von Produkt und Projekt
    ein hoher Stellenwert beigemessen wird, liegt der Fokus im MBSE noch sehr stark
    auf technischen Prozessen. Im Hinblick auf die Idee des Systemmodells als zentrale
    Datenquelle sollten auch Stakeholder jenseits der direkten Entwicklungsaktivitäten
    das Systemmodell entsprechend nutzen können und davon profitieren. Dazu wird ein
    Demonstrator vorgestellt, welcher die Anwendung einer Komplexitätsanalyse auf
    Basis des Systemmodells mechatronischer Systeme stellvertretend für Methoden in
    Sinne der technischen Managementprozesse der ISO/IEC 15288 aufzeigt. Grundlage
    des Demonstrators bildet das Systemmodell eines Pedelecs. Die darin modellierten
    Strukturen dienen als Input für die Komplexitätsanalyse. Über die automatisierte
    Anwendung der Komplexitätsanalyse ergibt sich als Output ein Portfolio, das die
    Komplexität der funktionserfüllenden Komponenten mit der Bewertung der Funktionalität
    in Beziehung setzt und somit eine Beurteilung und entsprechende Handlungsempfehlungen
    der Komponenten ermöglicht.
author:
- first_name: Matthias
  full_name: Greinert, Matthias
  last_name: Greinert
- first_name: Christian
  full_name: Tschirner, Christian
  last_name: Tschirner
- first_name: Jörg
  full_name: Holtmann, Jörg
  id: '3875'
  last_name: Holtmann
  orcid: 0000-0001-6141-4571
citation:
  ama: 'Greinert M, Tschirner C, Holtmann J. Anwendung von Methoden der Produktentstehung
    auf Basis des Systemmodells mechatronischer Systeme. In: <i>Tag Des Systems Engineering
    2016</i>. Gesellschaft f{\"u}r Systems Engineering e.V.; 2016:77-86. doi:<a href="https://doi.org/10.3139/9783446451414.008">10.3139/9783446451414.008</a>'
  apa: Greinert, M., Tschirner, C., &#38; Holtmann, J. (2016). Anwendung von Methoden
    der Produktentstehung auf Basis des Systemmodells mechatronischer Systeme. <i>Tag
    Des Systems Engineering 2016</i>, 77–86. <a href="https://doi.org/10.3139/9783446451414.008">https://doi.org/10.3139/9783446451414.008</a>
  bibtex: '@inproceedings{Greinert_Tschirner_Holtmann_2016, title={Anwendung von Methoden
    der Produktentstehung auf Basis des Systemmodells mechatronischer Systeme}, DOI={<a
    href="https://doi.org/10.3139/9783446451414.008">10.3139/9783446451414.008</a>},
    booktitle={Tag des Systems Engineering 2016}, publisher={Gesellschaft f{\"u}r
    Systems Engineering e.V.}, author={Greinert, Matthias and Tschirner, Christian
    and Holtmann, Jörg}, year={2016}, pages={77–86} }'
  chicago: Greinert, Matthias, Christian Tschirner, and Jörg Holtmann. “Anwendung
    von Methoden Der Produktentstehung Auf Basis Des Systemmodells Mechatronischer
    Systeme.” In <i>Tag Des Systems Engineering 2016</i>, 77–86. Gesellschaft f{\"u}r
    Systems Engineering e.V., 2016. <a href="https://doi.org/10.3139/9783446451414.008">https://doi.org/10.3139/9783446451414.008</a>.
  ieee: 'M. Greinert, C. Tschirner, and J. Holtmann, “Anwendung von Methoden der Produktentstehung
    auf Basis des Systemmodells mechatronischer Systeme,” in <i>Tag des Systems Engineering
    2016</i>, 2016, pp. 77–86, doi: <a href="https://doi.org/10.3139/9783446451414.008">10.3139/9783446451414.008</a>.'
  mla: Greinert, Matthias, et al. “Anwendung von Methoden Der Produktentstehung Auf
    Basis Des Systemmodells Mechatronischer Systeme.” <i>Tag Des Systems Engineering
    2016</i>, Gesellschaft f{\"u}r Systems Engineering e.V., 2016, pp. 77–86, doi:<a
    href="https://doi.org/10.3139/9783446451414.008">10.3139/9783446451414.008</a>.
  short: 'M. Greinert, C. Tschirner, J. Holtmann, in: Tag Des Systems Engineering
    2016, Gesellschaft f{\"u}r Systems Engineering e.V., 2016, pp. 77–86.'
date_created: 2020-12-22T09:32:08Z
date_updated: 2022-01-06T06:54:40Z
department:
- _id: '76'
doi: 10.3139/9783446451414.008
language:
- iso: eng
page: 77-86
publication: Tag des Systems Engineering 2016
publisher: Gesellschaft f{\"u}r Systems Engineering e.V.
status: public
title: Anwendung von Methoden der Produktentstehung auf Basis des Systemmodells mechatronischer
  Systeme
type: conference
user_id: '5786'
year: '2016'
...
---
_id: '20830'
author:
- first_name: David
  full_name: Schubert, David
  id: '9106'
  last_name: Schubert
- first_name: Christian
  full_name: Heinzemann, Christian
  last_name: Heinzemann
- first_name: Christopher
  full_name: Gerking, Christopher
  last_name: Gerking
citation:
  ama: 'Schubert D, Heinzemann C, Gerking C. Towards Safe Execution of Reconfigurations
    in Cyber-Physical Systems. In: <i>Proceedings of the 19th International ACM Sigsoft
    Symposium on Component-Based Software Engineering</i>. ACM; 2016.'
  apa: Schubert, D., Heinzemann, C., &#38; Gerking, C. (2016). Towards Safe Execution
    of Reconfigurations in Cyber-Physical Systems. <i>Proceedings of the 19th International
    ACM Sigsoft Symposium on Component-Based Software Engineering</i>.
  bibtex: '@inproceedings{Schubert_Heinzemann_Gerking_2016, title={Towards Safe Execution
    of Reconfigurations in Cyber-Physical Systems}, booktitle={Proceedings of the
    19th international ACM Sigsoft symposium on component-based software engineering},
    publisher={ACM}, author={Schubert, David and Heinzemann, Christian and Gerking,
    Christopher}, year={2016} }'
  chicago: Schubert, David, Christian Heinzemann, and Christopher Gerking. “Towards
    Safe Execution of Reconfigurations in Cyber-Physical Systems.” In <i>Proceedings
    of the 19th International ACM Sigsoft Symposium on Component-Based Software Engineering</i>.
    ACM, 2016.
  ieee: D. Schubert, C. Heinzemann, and C. Gerking, “Towards Safe Execution of Reconfigurations
    in Cyber-Physical Systems,” 2016.
  mla: Schubert, David, et al. “Towards Safe Execution of Reconfigurations in Cyber-Physical
    Systems.” <i>Proceedings of the 19th International ACM Sigsoft Symposium on Component-Based
    Software Engineering</i>, ACM, 2016.
  short: 'D. Schubert, C. Heinzemann, C. Gerking, in: Proceedings of the 19th International
    ACM Sigsoft Symposium on Component-Based Software Engineering, ACM, 2016.'
date_created: 2020-12-22T09:41:56Z
date_updated: 2022-01-06T06:54:40Z
department:
- _id: '76'
- _id: '241'
language:
- iso: eng
publication: Proceedings of the 19th international ACM Sigsoft symposium on component-based
  software engineering
publisher: ACM
status: public
title: Towards Safe Execution of Reconfigurations in Cyber-Physical Systems
type: conference
user_id: '5786'
year: '2016'
...
---
_id: '209'
abstract:
- lang: eng
  text: We study a new class of games which generalizes congestion games and its bottleneck
    variant. We introduce congestion games with mixed objectives to model network
    scenarios in which players seek to optimize for latency and bandwidths alike.
    We characterize the existence of pure Nash equilibria (PNE) and the convergence
    of improvement dynamics. For games that do not possess PNE we give bounds on the
    approximation ratio of approximate pure Nash equilibria.
author:
- first_name: Matthias
  full_name: Feldotto, Matthias
  id: '14052'
  last_name: Feldotto
  orcid: 0000-0003-1348-6516
- first_name: Lennart
  full_name: Leder, Lennart
  last_name: Leder
- first_name: Alexander
  full_name: Skopalik, Alexander
  id: '40384'
  last_name: Skopalik
citation:
  ama: 'Feldotto M, Leder L, Skopalik A. Congestion Games with Mixed Objectives. In:
    <i>Proceedings of the 10th Annual International Conference on Combinatorial Optimization
    and Applications (COCOA)</i>. LNCS. ; 2016:655--669. doi:<a href="https://doi.org/10.1007/978-3-319-48749-6_47">10.1007/978-3-319-48749-6_47</a>'
  apa: Feldotto, M., Leder, L., &#38; Skopalik, A. (2016). Congestion Games with Mixed
    Objectives. In <i>Proceedings of the 10th Annual International Conference on Combinatorial
    Optimization and Applications (COCOA)</i> (pp. 655--669). <a href="https://doi.org/10.1007/978-3-319-48749-6_47">https://doi.org/10.1007/978-3-319-48749-6_47</a>
  bibtex: '@inproceedings{Feldotto_Leder_Skopalik_2016, series={LNCS}, title={Congestion
    Games with Mixed Objectives}, DOI={<a href="https://doi.org/10.1007/978-3-319-48749-6_47">10.1007/978-3-319-48749-6_47</a>},
    booktitle={Proceedings of the 10th Annual International Conference on Combinatorial
    Optimization and Applications (COCOA)}, author={Feldotto, Matthias and Leder,
    Lennart and Skopalik, Alexander}, year={2016}, pages={655--669}, collection={LNCS}
    }'
  chicago: Feldotto, Matthias, Lennart Leder, and Alexander Skopalik. “Congestion
    Games with Mixed Objectives.” In <i>Proceedings of the 10th Annual International
    Conference on Combinatorial Optimization and Applications (COCOA)</i>, 655--669.
    LNCS, 2016. <a href="https://doi.org/10.1007/978-3-319-48749-6_47">https://doi.org/10.1007/978-3-319-48749-6_47</a>.
  ieee: M. Feldotto, L. Leder, and A. Skopalik, “Congestion Games with Mixed Objectives,”
    in <i>Proceedings of the 10th Annual International Conference on Combinatorial
    Optimization and Applications (COCOA)</i>, 2016, pp. 655--669.
  mla: Feldotto, Matthias, et al. “Congestion Games with Mixed Objectives.” <i>Proceedings
    of the 10th Annual International Conference on Combinatorial Optimization and
    Applications (COCOA)</i>, 2016, pp. 655--669, doi:<a href="https://doi.org/10.1007/978-3-319-48749-6_47">10.1007/978-3-319-48749-6_47</a>.
  short: 'M. Feldotto, L. Leder, A. Skopalik, in: Proceedings of the 10th Annual International
    Conference on Combinatorial Optimization and Applications (COCOA), 2016, pp. 655--669.'
date_created: 2017-10-17T12:41:32Z
date_updated: 2022-01-06T06:54:41Z
ddc:
- '000'
department:
- _id: '63'
- _id: '541'
doi: 10.1007/978-3-319-48749-6_47
external_id:
  arxiv:
  - '1607.05143'
file:
- access_level: closed
  content_type: application/pdf
  creator: feldi
  date_created: 2018-10-31T17:03:44Z
  date_updated: 2018-10-31T17:03:44Z
  file_id: '5233'
  file_name: Feldotto2016_Chapter_CongestionGamesWithMixedObject.pdf
  file_size: 235739
  relation: main_file
  success: 1
file_date_updated: 2018-10-31T17:03:44Z
has_accepted_license: '1'
language:
- iso: eng
page: 655--669
project:
- _id: '1'
  name: SFB 901
- _id: '7'
  name: SFB 901 - Subprojekt A3
- _id: '2'
  name: SFB 901 - Project Area A
publication: Proceedings of the 10th Annual International Conference on Combinatorial
  Optimization and Applications (COCOA)
series_title: LNCS
status: public
title: Congestion Games with Mixed Objectives
type: conference
user_id: '14052'
year: '2016'
...
---
_id: '18025'
author:
- first_name: Sebastian
  full_name: Heuchler, Sebastian
  last_name: Heuchler
citation:
  ama: 'Heuchler S. <i>Nibbler: Implementing a Turing Machine to Simulate the Busy
    Beaver Problem</i>.; 2016.'
  apa: 'Heuchler, S. (2016). <i>Nibbler: Implementing a Turing machine to simulate
    the Busy Beaver problem</i>.'
  bibtex: '@book{Heuchler_2016, title={Nibbler: Implementing a Turing machine to simulate
    the Busy Beaver problem}, author={Heuchler, Sebastian}, year={2016} }'
  chicago: 'Heuchler, Sebastian. <i>Nibbler: Implementing a Turing Machine to Simulate
    the Busy Beaver Problem</i>, 2016.'
  ieee: 'S. Heuchler, <i>Nibbler: Implementing a Turing machine to simulate the Busy
    Beaver problem</i>. 2016.'
  mla: 'Heuchler, Sebastian. <i>Nibbler: Implementing a Turing Machine to Simulate
    the Busy Beaver Problem</i>. 2016.'
  short: 'S. Heuchler, Nibbler: Implementing a Turing Machine to Simulate the Busy
    Beaver Problem, 2016.'
date_created: 2020-08-18T08:38:22Z
date_updated: 2022-01-06T06:53:25Z
department:
- _id: '79'
language:
- iso: eng
status: public
supervisor:
- first_name: Christian
  full_name: Scheideler, Christian
  id: '20792'
  last_name: Scheideler
title: 'Nibbler: Implementing a Turing machine to simulate the Busy Beaver problem'
type: bachelorsthesis
user_id: '15504'
year: '2016'
...
---
_id: '1835'
author:
- first_name: Stefan
  full_name: Schmid, Stefan
  last_name: Schmid
- first_name: Chen
  full_name: Avin, Chen
  last_name: Avin
- first_name: Christian
  full_name: Scheideler, Christian
  id: '20792'
  last_name: Scheideler
- first_name: Michael
  full_name: Borokhovich, Michael
  last_name: Borokhovich
- first_name: Bernhard
  full_name: Haeupler, Bernhard
  last_name: Haeupler
- first_name: Zvi
  full_name: Lotker, Zvi
  last_name: Lotker
citation:
  ama: 'Schmid S, Avin C, Scheideler C, Borokhovich M, Haeupler B, Lotker Z. SplayNet:
    Towards Locally Self-Adjusting Networks. <i>IEEE/ACM Trans Netw</i>. 2016;(3):1421--1433.
    doi:<a href="https://doi.org/10.1109/TNET.2015.2410313">10.1109/TNET.2015.2410313</a>'
  apa: 'Schmid, S., Avin, C., Scheideler, C., Borokhovich, M., Haeupler, B., &#38;
    Lotker, Z. (2016). SplayNet: Towards Locally Self-Adjusting Networks. <i>IEEE/ACM
    Trans. Netw.</i>, (3), 1421--1433. <a href="https://doi.org/10.1109/TNET.2015.2410313">https://doi.org/10.1109/TNET.2015.2410313</a>'
  bibtex: '@article{Schmid_Avin_Scheideler_Borokhovich_Haeupler_Lotker_2016, title={SplayNet:
    Towards Locally Self-Adjusting Networks}, DOI={<a href="https://doi.org/10.1109/TNET.2015.2410313">10.1109/TNET.2015.2410313</a>},
    number={3}, journal={IEEE/ACM Trans. Netw.}, author={Schmid, Stefan and Avin,
    Chen and Scheideler, Christian and Borokhovich, Michael and Haeupler, Bernhard
    and Lotker, Zvi}, year={2016}, pages={1421--1433} }'
  chicago: 'Schmid, Stefan, Chen Avin, Christian Scheideler, Michael Borokhovich,
    Bernhard Haeupler, and Zvi Lotker. “SplayNet: Towards Locally Self-Adjusting Networks.”
    <i>IEEE/ACM Trans. Netw.</i>, no. 3 (2016): 1421--1433. <a href="https://doi.org/10.1109/TNET.2015.2410313">https://doi.org/10.1109/TNET.2015.2410313</a>.'
  ieee: 'S. Schmid, C. Avin, C. Scheideler, M. Borokhovich, B. Haeupler, and Z. Lotker,
    “SplayNet: Towards Locally Self-Adjusting Networks,” <i>IEEE/ACM Trans. Netw.</i>,
    no. 3, pp. 1421--1433, 2016.'
  mla: 'Schmid, Stefan, et al. “SplayNet: Towards Locally Self-Adjusting Networks.”
    <i>IEEE/ACM Trans. Netw.</i>, no. 3, 2016, pp. 1421--1433, doi:<a href="https://doi.org/10.1109/TNET.2015.2410313">10.1109/TNET.2015.2410313</a>.'
  short: S. Schmid, C. Avin, C. Scheideler, M. Borokhovich, B. Haeupler, Z. Lotker,
    IEEE/ACM Trans. Netw. (2016) 1421--1433.
date_created: 2018-03-27T12:40:24Z
date_updated: 2022-01-06T06:53:29Z
department:
- _id: '79'
doi: 10.1109/TNET.2015.2410313
issue: '3'
page: 1421--1433
publication: IEEE/ACM Trans. Netw.
status: public
title: 'SplayNet: Towards Locally Self-Adjusting Networks'
type: journal_article
user_id: '15504'
year: '2016'
...
---
_id: '1836'
author:
- first_name: Zahra
  full_name: Derakhshandeh, Zahra
  last_name: Derakhshandeh
- first_name: Robert
  full_name: Gmyr, Robert
  last_name: Gmyr
- first_name: Alexandra
  full_name: Porter, Alexandra
  last_name: Porter
- first_name: Andrea
  full_name: W. Richa, Andrea
  last_name: W. Richa
- first_name: Christian
  full_name: Scheideler, Christian
  id: '20792'
  last_name: Scheideler
- first_name: Thim Frederik
  full_name: Strothmann, Thim Frederik
  id: '11319'
  last_name: Strothmann
citation:
  ama: 'Derakhshandeh Z, Gmyr R, Porter A, W. Richa A, Scheideler C, Strothmann TF.
    On the Runtime of Universal Coating for Programmable Matter. In: <i>DNA Computing
    and Molecular Programming - 22nd International Conference, DNA 22, Munich, Germany,
    September 4-8, 2016, Proceedings</i>. Vol 9818. Lecture Notes in Computer Science.
    ; 2016:148--164. doi:<a href="https://doi.org/10.1007/978-3-319-43994-5_10">10.1007/978-3-319-43994-5_10</a>'
  apa: Derakhshandeh, Z., Gmyr, R., Porter, A., W. Richa, A., Scheideler, C., &#38;
    Strothmann, T. F. (2016). On the Runtime of Universal Coating for Programmable
    Matter. In <i>DNA Computing and Molecular Programming - 22nd International Conference,
    DNA 22, Munich, Germany, September 4-8, 2016, Proceedings</i> (Vol. 9818, pp.
    148--164). <a href="https://doi.org/10.1007/978-3-319-43994-5_10">https://doi.org/10.1007/978-3-319-43994-5_10</a>
  bibtex: '@inproceedings{Derakhshandeh_Gmyr_Porter_W. Richa_Scheideler_Strothmann_2016,
    series={Lecture Notes in Computer Science}, title={On the Runtime of Universal
    Coating for Programmable Matter}, volume={9818}, DOI={<a href="https://doi.org/10.1007/978-3-319-43994-5_10">10.1007/978-3-319-43994-5_10</a>},
    booktitle={DNA Computing and Molecular Programming - 22nd International Conference,
    DNA 22, Munich, Germany, September 4-8, 2016, Proceedings}, author={Derakhshandeh,
    Zahra and Gmyr, Robert and Porter, Alexandra and W. Richa, Andrea and Scheideler,
    Christian and Strothmann, Thim Frederik}, year={2016}, pages={148--164}, collection={Lecture
    Notes in Computer Science} }'
  chicago: Derakhshandeh, Zahra, Robert Gmyr, Alexandra Porter, Andrea W. Richa, Christian
    Scheideler, and Thim Frederik Strothmann. “On the Runtime of Universal Coating
    for Programmable Matter.” In <i>DNA Computing and Molecular Programming - 22nd
    International Conference, DNA 22, Munich, Germany, September 4-8, 2016, Proceedings</i>,
    9818:148--164. Lecture Notes in Computer Science, 2016. <a href="https://doi.org/10.1007/978-3-319-43994-5_10">https://doi.org/10.1007/978-3-319-43994-5_10</a>.
  ieee: Z. Derakhshandeh, R. Gmyr, A. Porter, A. W. Richa, C. Scheideler, and T. F.
    Strothmann, “On the Runtime of Universal Coating for Programmable Matter,” in
    <i>DNA Computing and Molecular Programming - 22nd International Conference, DNA
    22, Munich, Germany, September 4-8, 2016, Proceedings</i>, 2016, vol. 9818, pp.
    148--164.
  mla: Derakhshandeh, Zahra, et al. “On the Runtime of Universal Coating for Programmable
    Matter.” <i>DNA Computing and Molecular Programming - 22nd International Conference,
    DNA 22, Munich, Germany, September 4-8, 2016, Proceedings</i>, vol. 9818, 2016,
    pp. 148--164, doi:<a href="https://doi.org/10.1007/978-3-319-43994-5_10">10.1007/978-3-319-43994-5_10</a>.
  short: 'Z. Derakhshandeh, R. Gmyr, A. Porter, A. W. Richa, C. Scheideler, T.F. Strothmann,
    in: DNA Computing and Molecular Programming - 22nd International Conference, DNA
    22, Munich, Germany, September 4-8, 2016, Proceedings, 2016, pp. 148--164.'
date_created: 2018-03-27T12:41:45Z
date_updated: 2022-01-06T06:53:30Z
department:
- _id: '79'
doi: 10.1007/978-3-319-43994-5_10
intvolume: '      9818'
language:
- iso: eng
page: 148--164
publication: DNA Computing and Molecular Programming - 22nd International Conference,
  DNA 22, Munich, Germany, September 4-8, 2016, Proceedings
publication_identifier:
  unknown:
  - 978-3-319-43993-8
series_title: Lecture Notes in Computer Science
status: public
title: On the Runtime of Universal Coating for Programmable Matter
type: conference
user_id: '15504'
volume: 9818
year: '2016'
...
---
_id: '1837'
author:
- first_name: Zahra
  full_name: Derakhshandeh, Zahra
  last_name: Derakhshandeh
- first_name: Robert
  full_name: Gmyr, Robert
  last_name: Gmyr
- first_name: Andrea
  full_name: W. Richa, Andrea
  last_name: W. Richa
- first_name: Christian
  full_name: Scheideler, Christian
  id: '20792'
  last_name: Scheideler
- first_name: Thim Frederik
  full_name: Strothmann, Thim Frederik
  id: '11319'
  last_name: Strothmann
citation:
  ama: 'Derakhshandeh Z, Gmyr R, W. Richa A, Scheideler C, Strothmann TF. Universal
    Shape Formation for Programmable Matter. In: <i>Proceedings of the 28th ACM Symposium
    on Parallelism in Algorithms and Architectures, SPAA 2016, Asilomar State Beach/Pacific
    Grove, CA, USA, July 11-13, 2016</i>. ACM; 2016:289--299. doi:<a href="https://doi.org/10.1145/2935764.2935784">10.1145/2935764.2935784</a>'
  apa: Derakhshandeh, Z., Gmyr, R., W. Richa, A., Scheideler, C., &#38; Strothmann,
    T. F. (2016). Universal Shape Formation for Programmable Matter. In <i>Proceedings
    of the 28th ACM Symposium on Parallelism in Algorithms and Architectures, SPAA
    2016, Asilomar State Beach/Pacific Grove, CA, USA, July 11-13, 2016</i> (pp. 289--299).
    ACM. <a href="https://doi.org/10.1145/2935764.2935784">https://doi.org/10.1145/2935764.2935784</a>
  bibtex: '@inproceedings{Derakhshandeh_Gmyr_W. Richa_Scheideler_Strothmann_2016,
    title={Universal Shape Formation for Programmable Matter}, DOI={<a href="https://doi.org/10.1145/2935764.2935784">10.1145/2935764.2935784</a>},
    booktitle={Proceedings of the 28th ACM Symposium on Parallelism in Algorithms
    and Architectures, SPAA 2016, Asilomar State Beach/Pacific Grove, CA, USA, July
    11-13, 2016}, publisher={ACM}, author={Derakhshandeh, Zahra and Gmyr, Robert and
    W. Richa, Andrea and Scheideler, Christian and Strothmann, Thim Frederik}, year={2016},
    pages={289--299} }'
  chicago: Derakhshandeh, Zahra, Robert Gmyr, Andrea W. Richa, Christian Scheideler,
    and Thim Frederik Strothmann. “Universal Shape Formation for Programmable Matter.”
    In <i>Proceedings of the 28th ACM Symposium on Parallelism in Algorithms and Architectures,
    SPAA 2016, Asilomar State Beach/Pacific Grove, CA, USA, July 11-13, 2016</i>,
    289--299. ACM, 2016. <a href="https://doi.org/10.1145/2935764.2935784">https://doi.org/10.1145/2935764.2935784</a>.
  ieee: Z. Derakhshandeh, R. Gmyr, A. W. Richa, C. Scheideler, and T. F. Strothmann,
    “Universal Shape Formation for Programmable Matter,” in <i>Proceedings of the
    28th ACM Symposium on Parallelism in Algorithms and Architectures, SPAA 2016,
    Asilomar State Beach/Pacific Grove, CA, USA, July 11-13, 2016</i>, 2016, pp. 289--299.
  mla: Derakhshandeh, Zahra, et al. “Universal Shape Formation for Programmable Matter.”
    <i>Proceedings of the 28th ACM Symposium on Parallelism in Algorithms and Architectures,
    SPAA 2016, Asilomar State Beach/Pacific Grove, CA, USA, July 11-13, 2016</i>,
    ACM, 2016, pp. 289--299, doi:<a href="https://doi.org/10.1145/2935764.2935784">10.1145/2935764.2935784</a>.
  short: 'Z. Derakhshandeh, R. Gmyr, A. W. Richa, C. Scheideler, T.F. Strothmann,
    in: Proceedings of the 28th ACM Symposium on Parallelism in Algorithms and Architectures,
    SPAA 2016, Asilomar State Beach/Pacific Grove, CA, USA, July 11-13, 2016, ACM,
    2016, pp. 289--299.'
date_created: 2018-03-27T12:44:09Z
date_updated: 2022-01-06T06:53:30Z
department:
- _id: '79'
doi: 10.1145/2935764.2935784
language:
- iso: eng
page: 289--299
publication: Proceedings of the 28th ACM Symposium on Parallelism in Algorithms and
  Architectures, SPAA 2016, Asilomar State Beach/Pacific Grove, CA, USA, July 11-13,
  2016
publication_identifier:
  unknown:
  - 978-1-4503-4210-0
publisher: ACM
status: public
title: Universal Shape Formation for Programmable Matter
type: conference
user_id: '15504'
year: '2016'
...
---
_id: '184'
abstract:
- lang: eng
  text: In this paper, we propose a framework for a class of learning problems that
    we refer to as “learning to aggregate”. Roughly, learning-to-aggregate problems
    are supervised machine learning problems, in which instances are represented in
    the form of a composition of a (variable) number on constituents; such compositions
    are associated with an evaluation, score, or label, which is the target of the
    prediction task, and which can presumably be modeled in the form of a suitable
    aggregation of the properties of its constituents. Our learning-to-aggregate framework
    establishes a close connection between machine learning and a branch of mathematics
    devoted to the systematic study of aggregation functions. We specifically focus
    on a class of functions called uninorms, which combine conjunctive and disjunctive
    modes of aggregation. Experimental results for a corresponding model are presented
    for a review data set, for which the aggregation problem consists of combining
    different reviewer opinions about a paper into an overall decision of acceptance
    or rejection.
author:
- first_name: Vitaly
  full_name: Melnikov, Vitaly
  id: '58747'
  last_name: Melnikov
- first_name: Eyke
  full_name: Hüllermeier, Eyke
  id: '48129'
  last_name: Hüllermeier
citation:
  ama: 'Melnikov V, Hüllermeier E. Learning to Aggregate Using Uninorms. In: <i>Proceedings
    of the Joint European Conference on Machine Learning and Knowledge Discovery in
    Databases (ECML/PKDD 2016)</i>. LNCS. ; 2016:756-771. doi:<a href="https://doi.org/10.1007/978-3-319-46227-1_47">10.1007/978-3-319-46227-1_47</a>'
  apa: Melnikov, V., &#38; Hüllermeier, E. (2016). Learning to Aggregate Using Uninorms.
    In <i>Proceedings of the Joint European Conference on Machine Learning and Knowledge
    Discovery in Databases (ECML/PKDD 2016)</i> (pp. 756–771). <a href="https://doi.org/10.1007/978-3-319-46227-1_47">https://doi.org/10.1007/978-3-319-46227-1_47</a>
  bibtex: '@inproceedings{Melnikov_Hüllermeier_2016, series={LNCS}, title={Learning
    to Aggregate Using Uninorms}, DOI={<a href="https://doi.org/10.1007/978-3-319-46227-1_47">10.1007/978-3-319-46227-1_47</a>},
    booktitle={Proceedings of the Joint European Conference on Machine Learning and
    Knowledge Discovery in Databases (ECML/PKDD 2016)}, author={Melnikov, Vitaly and
    Hüllermeier, Eyke}, year={2016}, pages={756–771}, collection={LNCS} }'
  chicago: Melnikov, Vitaly, and Eyke Hüllermeier. “Learning to Aggregate Using Uninorms.”
    In <i>Proceedings of the Joint European Conference on Machine Learning and Knowledge
    Discovery in Databases (ECML/PKDD 2016)</i>, 756–71. LNCS, 2016. <a href="https://doi.org/10.1007/978-3-319-46227-1_47">https://doi.org/10.1007/978-3-319-46227-1_47</a>.
  ieee: V. Melnikov and E. Hüllermeier, “Learning to Aggregate Using Uninorms,” in
    <i>Proceedings of the Joint European Conference on Machine Learning and Knowledge
    Discovery in Databases (ECML/PKDD 2016)</i>, 2016, pp. 756–771.
  mla: Melnikov, Vitaly, and Eyke Hüllermeier. “Learning to Aggregate Using Uninorms.”
    <i>Proceedings of the Joint European Conference on Machine Learning and Knowledge
    Discovery in Databases (ECML/PKDD 2016)</i>, 2016, pp. 756–71, doi:<a href="https://doi.org/10.1007/978-3-319-46227-1_47">10.1007/978-3-319-46227-1_47</a>.
  short: 'V. Melnikov, E. Hüllermeier, in: Proceedings of the Joint European Conference
    on Machine Learning and Knowledge Discovery in Databases (ECML/PKDD 2016), 2016,
    pp. 756–771.'
date_created: 2017-10-17T12:41:27Z
date_updated: 2022-01-06T06:53:32Z
ddc:
- '040'
department:
- _id: '355'
doi: 10.1007/978-3-319-46227-1_47
file:
- access_level: closed
  content_type: application/pdf
  creator: florida
  date_created: 2018-03-21T12:32:44Z
  date_updated: 2018-03-21T12:32:44Z
  file_id: '1533'
  file_name: 184-chp_3A10.1007_2F978-3-319-46227-1_47.pdf
  file_size: 472159
  relation: main_file
  success: 1
file_date_updated: 2018-03-21T12:32:44Z
has_accepted_license: '1'
language:
- iso: eng
page: 756-771
project:
- _id: '1'
  name: SFB 901
- _id: '11'
  name: SFB 901 - Subprojekt B3
- _id: '3'
  name: SFB 901 - Project Area B
publication: Proceedings of the Joint European Conference on Machine Learning and
  Knowledge Discovery in Databases (ECML/PKDD 2016)
series_title: LNCS
status: public
title: Learning to Aggregate Using Uninorms
type: conference
user_id: '15504'
year: '2016'
...
