---
_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. 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; 2016:116-138. doi:10.1007/978-3-662-49635-0_7'
apa: 'Falzon, K., & Bodden, E. (2016). Towards a Comprehensive Model of Isolation
for Mitigating Illicit Channels. 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 (pp. 116–138). Springer
Berlin Heidelberg. https://doi.org/10.1007/978-3-662-49635-0_7'
bibtex: '@inproceedings{Falzon_Bodden_2016, place={Berlin, Heidelberg}, title={Towards
a Comprehensive Model of Isolation for Mitigating Illicit Channels}, DOI={10.1007/978-3-662-49635-0_7},
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 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, edited by Frank Piessens and Luca Vigan’o, 116–38.
Berlin, Heidelberg: Springer Berlin Heidelberg, 2016. https://doi.org/10.1007/978-3-662-49635-0_7.'
ieee: 'K. Falzon and E. Bodden, “Towards a Comprehensive Model of Isolation for
Mitigating Illicit Channels,” in 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, 2016, pp. 116–138, doi: 10.1007/978-3-662-49635-0_7.'
mla: 'Falzon, Kevin, and Eric Bodden. “Towards a Comprehensive Model of Isolation
for Mitigating Illicit Channels.” 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, edited by Frank Piessens and Luca Vigan’o, Springer Berlin
Heidelberg, 2016, pp. 116–38, doi:10.1007/978-3-662-49635-0_7.'
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: Network and
Distributed System Security Symposium (NDSS). ; 2016.'
apa: Rasthofer, S., Arzt, S., Miltenberger, M., & Bodden, E. (2016). Harvesting
Runtime Values in Android Applications That Feature Anti-Analysis Techniques.
Network and Distributed System Security Symposium (NDSS).
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 Network and Distributed System Security Symposium (NDSS),
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.” Network and Distributed System Security
Symposium (NDSS), 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: International Conference for Software
Engineering (ICSE). ; 2016:935-946.'
apa: 'Nadi, S., Krüger, S., Mezini, M., & Bodden, E. (2016). Jumping Through
Hoops: Why do Java Developers Struggle With Cryptography APIs? International
Conference for Software Engineering (ICSE), 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 International
Conference for Software Engineering (ICSE), 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 International Conference
for Software Engineering (ICSE), 2016, pp. 935–946.'
mla: 'Nadi, Sarah, et al. “Jumping Through Hoops: Why Do Java Developers Struggle
With Cryptography APIs?” International Conference for Software Engineering
(ICSE), 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: International Conference for Software Engineering
(ICSE). ; 2016.'
apa: 'Arzt, S., & Bodden, E. (2016). StubDroid: Automatic Inference of Precise
Data-flow Summaries for the Android Framework. International Conference for
Software Engineering (ICSE).'
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 International Conference
for Software Engineering (ICSE), 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.” International Conference for
Software Engineering (ICSE), 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: 2016 49th
Hawaii International Conference on System Sciences (HICSS). ; 2016:3666-3675.
doi:10.1109/HICSS.2016.458'
apa: 'Eling, N., Rasthofer, S., Kolhagen, M., Bodden, E., & Buxmann, P. (2016).
Investigating Users’ Reaction to Fine-Grained Data Requests: A Market Experiment.
2016 49th Hawaii International Conference on System Sciences (HICSS), 3666–3675.
https://doi.org/10.1109/HICSS.2016.458'
bibtex: '@inproceedings{Eling_Rasthofer_Kolhagen_Bodden_Buxmann_2016, title={Investigating
Users’ Reaction to Fine-Grained Data Requests: A Market Experiment}, DOI={10.1109/HICSS.2016.458},
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 2016
49th Hawaii International Conference on System Sciences (HICSS), 3666–75,
2016. https://doi.org/10.1109/HICSS.2016.458.'
ieee: 'N. Eling, S. Rasthofer, M. Kolhagen, E. Bodden, and P. Buxmann, “Investigating
Users’ Reaction to Fine-Grained Data Requests: A Market Experiment,” in 2016
49th Hawaii International Conference on System Sciences (HICSS), 2016, pp.
3666–3675, doi: 10.1109/HICSS.2016.458.'
mla: 'Eling, N., et al. “Investigating Users’ Reaction to Fine-Grained Data Requests:
A Market Experiment.” 2016 49th Hawaii International Conference on System Sciences
(HICSS), 2016, pp. 3666–75, doi:10.1109/HICSS.2016.458.'
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: Proceedings of the CT-RSA 2016. LNCS. ;
2016:431-447. doi:10.1007/978-3-319-29485-8_25'
apa: Blömer, J., & Liske, G. (2016). Construction of Fully CCA-Secure Predicate
Encryptions from Pair Encoding Schemes. In Proceedings of the CT-RSA 2016
(pp. 431–447). https://doi.org/10.1007/978-3-319-29485-8_25
bibtex: '@inproceedings{Blömer_Liske_2016, series={LNCS}, title={Construction of
Fully CCA-Secure Predicate Encryptions from Pair Encoding Schemes}, DOI={10.1007/978-3-319-29485-8_25},
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 Proceedings of the CT-RSA
2016, 431–47. LNCS, 2016. https://doi.org/10.1007/978-3-319-29485-8_25.
ieee: J. Blömer and G. Liske, “Construction of Fully CCA-Secure Predicate Encryptions
from Pair Encoding Schemes,” in Proceedings of the CT-RSA 2016, 2016, pp.
431–447.
mla: Blömer, Johannes, and Gennadij Liske. “Construction of Fully CCA-Secure Predicate
Encryptions from Pair Encoding Schemes.” Proceedings of the CT-RSA 2016,
2016, pp. 431–47, doi:10.1007/978-3-319-29485-8_25.
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. The
MechatronicUML Design Method: Process and Language for Platform-Independent Modeling.;
2016.'
apa: 'Dziwok, S., Pohlmann, U., Piskachev, G., Schubert, D., Thiele, S., & Gerking,
C. (2016). The MechatronicUML Design Method: Process and Language for Platform-Independent
Modeling.'
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. The MechatronicUML Design Method: Process
and Language for Platform-Independent Modeling. Zukunftsmeile 1, 33102 Paderborn,
Germany, 2016.'
ieee: 'S. Dziwok, U. Pohlmann, G. Piskachev, D. Schubert, S. Thiele, and C. Gerking,
The MechatronicUML Design Method: Process and Language for Platform-Independent
Modeling. Zukunftsmeile 1, 33102 Paderborn, Germany, 2016.'
mla: 'Dziwok, Stefan, et al. The MechatronicUML Design Method: Process and Language
for Platform-Independent Modeling. 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. The MechatronicUML Requirements Engineering
Method: Process and Language.; 2016. doi:10.13140/RG.2.2.33223.29606'
apa: 'Holtmann, J., Fockel, M., Koch, T., Schmelter, D., Brenner, C., Bernijazov,
R., & Sander, M. (2016). The MechatronicUML Requirements Engineering Method:
Process and Language. https://doi.org/10.13140/RG.2.2.33223.29606'
bibtex: '@book{Holtmann_Fockel_Koch_Schmelter_Brenner_Bernijazov_Sander_2016, title={The
MechatronicUML Requirements Engineering Method: Process and Language}, DOI={10.13140/RG.2.2.33223.29606},
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. The MechatronicUML Requirements
Engineering Method: Process and Language, 2016. https://doi.org/10.13140/RG.2.2.33223.29606.'
ieee: 'J. Holtmann et al., The MechatronicUML Requirements Engineering
Method: Process and Language. 2016.'
mla: 'Holtmann, Jörg, et al. The MechatronicUML Requirements Engineering Method:
Process and Language. 2016, doi:10.13140/RG.2.2.33223.29606.'
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: Tag Des Systems Engineering
2016. Gesellschaft f{\"u}r Systems Engineering e.V.; 2016:77-86. doi:10.3139/9783446451414.008'
apa: Greinert, M., Tschirner, C., & Holtmann, J. (2016). Anwendung von Methoden
der Produktentstehung auf Basis des Systemmodells mechatronischer Systeme. Tag
Des Systems Engineering 2016, 77–86. https://doi.org/10.3139/9783446451414.008
bibtex: '@inproceedings{Greinert_Tschirner_Holtmann_2016, title={Anwendung von Methoden
der Produktentstehung auf Basis des Systemmodells mechatronischer Systeme}, DOI={10.3139/9783446451414.008},
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 Tag Des Systems Engineering 2016, 77–86. Gesellschaft f{\"u}r
Systems Engineering e.V., 2016. https://doi.org/10.3139/9783446451414.008.
ieee: 'M. Greinert, C. Tschirner, and J. Holtmann, “Anwendung von Methoden der Produktentstehung
auf Basis des Systemmodells mechatronischer Systeme,” in Tag des Systems Engineering
2016, 2016, pp. 77–86, doi: 10.3139/9783446451414.008.'
mla: Greinert, Matthias, et al. “Anwendung von Methoden Der Produktentstehung Auf
Basis Des Systemmodells Mechatronischer Systeme.” Tag Des Systems Engineering
2016, Gesellschaft f{\"u}r Systems Engineering e.V., 2016, pp. 77–86, doi:10.3139/9783446451414.008.
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: Proceedings of the 19th International ACM Sigsoft
Symposium on Component-Based Software Engineering. ACM; 2016.'
apa: Schubert, D., Heinzemann, C., & Gerking, C. (2016). Towards Safe Execution
of Reconfigurations in Cyber-Physical Systems. Proceedings of the 19th International
ACM Sigsoft Symposium on Component-Based Software Engineering.
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 Proceedings
of the 19th International ACM Sigsoft Symposium on Component-Based Software Engineering.
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.” Proceedings of the 19th International ACM Sigsoft Symposium on Component-Based
Software Engineering, 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:
Proceedings of the 10th Annual International Conference on Combinatorial Optimization
and Applications (COCOA). LNCS. ; 2016:655--669. doi:10.1007/978-3-319-48749-6_47'
apa: Feldotto, M., Leder, L., & Skopalik, A. (2016). Congestion Games with Mixed
Objectives. In Proceedings of the 10th Annual International Conference on Combinatorial
Optimization and Applications (COCOA) (pp. 655--669). https://doi.org/10.1007/978-3-319-48749-6_47
bibtex: '@inproceedings{Feldotto_Leder_Skopalik_2016, series={LNCS}, title={Congestion
Games with Mixed Objectives}, DOI={10.1007/978-3-319-48749-6_47},
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 Proceedings of the 10th Annual International
Conference on Combinatorial Optimization and Applications (COCOA), 655--669.
LNCS, 2016. https://doi.org/10.1007/978-3-319-48749-6_47.
ieee: M. Feldotto, L. Leder, and A. Skopalik, “Congestion Games with Mixed Objectives,”
in Proceedings of the 10th Annual International Conference on Combinatorial
Optimization and Applications (COCOA), 2016, pp. 655--669.
mla: Feldotto, Matthias, et al. “Congestion Games with Mixed Objectives.” Proceedings
of the 10th Annual International Conference on Combinatorial Optimization and
Applications (COCOA), 2016, pp. 655--669, doi:10.1007/978-3-319-48749-6_47.
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. Nibbler: Implementing a Turing Machine to Simulate the Busy
Beaver Problem.; 2016.'
apa: 'Heuchler, S. (2016). Nibbler: Implementing a Turing machine to simulate
the Busy Beaver problem.'
bibtex: '@book{Heuchler_2016, title={Nibbler: Implementing a Turing machine to simulate
the Busy Beaver problem}, author={Heuchler, Sebastian}, year={2016} }'
chicago: 'Heuchler, Sebastian. Nibbler: Implementing a Turing Machine to Simulate
the Busy Beaver Problem, 2016.'
ieee: 'S. Heuchler, Nibbler: Implementing a Turing machine to simulate the Busy
Beaver problem. 2016.'
mla: 'Heuchler, Sebastian. Nibbler: Implementing a Turing Machine to Simulate
the Busy Beaver Problem. 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. IEEE/ACM Trans Netw. 2016;(3):1421--1433.
doi:10.1109/TNET.2015.2410313'
apa: 'Schmid, S., Avin, C., Scheideler, C., Borokhovich, M., Haeupler, B., &
Lotker, Z. (2016). SplayNet: Towards Locally Self-Adjusting Networks. IEEE/ACM
Trans. Netw., (3), 1421--1433. https://doi.org/10.1109/TNET.2015.2410313'
bibtex: '@article{Schmid_Avin_Scheideler_Borokhovich_Haeupler_Lotker_2016, title={SplayNet:
Towards Locally Self-Adjusting Networks}, DOI={10.1109/TNET.2015.2410313},
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.”
IEEE/ACM Trans. Netw., no. 3 (2016): 1421--1433. https://doi.org/10.1109/TNET.2015.2410313.'
ieee: 'S. Schmid, C. Avin, C. Scheideler, M. Borokhovich, B. Haeupler, and Z. Lotker,
“SplayNet: Towards Locally Self-Adjusting Networks,” IEEE/ACM Trans. Netw.,
no. 3, pp. 1421--1433, 2016.'
mla: 'Schmid, Stefan, et al. “SplayNet: Towards Locally Self-Adjusting Networks.”
IEEE/ACM Trans. Netw., no. 3, 2016, pp. 1421--1433, doi:10.1109/TNET.2015.2410313.'
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: DNA Computing
and Molecular Programming - 22nd International Conference, DNA 22, Munich, Germany,
September 4-8, 2016, Proceedings. Vol 9818. Lecture Notes in Computer Science.
; 2016:148--164. doi:10.1007/978-3-319-43994-5_10'
apa: Derakhshandeh, Z., Gmyr, R., Porter, A., W. Richa, A., Scheideler, C., &
Strothmann, T. F. (2016). On the Runtime of Universal Coating for Programmable
Matter. In DNA Computing and Molecular Programming - 22nd International Conference,
DNA 22, Munich, Germany, September 4-8, 2016, Proceedings (Vol. 9818, pp.
148--164). https://doi.org/10.1007/978-3-319-43994-5_10
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={10.1007/978-3-319-43994-5_10},
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 DNA Computing and Molecular Programming - 22nd
International Conference, DNA 22, Munich, Germany, September 4-8, 2016, Proceedings,
9818:148--164. Lecture Notes in Computer Science, 2016. https://doi.org/10.1007/978-3-319-43994-5_10.
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
DNA Computing and Molecular Programming - 22nd International Conference, DNA
22, Munich, Germany, September 4-8, 2016, Proceedings, 2016, vol. 9818, pp.
148--164.
mla: Derakhshandeh, Zahra, et al. “On the Runtime of Universal Coating for Programmable
Matter.” DNA Computing and Molecular Programming - 22nd International Conference,
DNA 22, Munich, Germany, September 4-8, 2016, Proceedings, vol. 9818, 2016,
pp. 148--164, doi:10.1007/978-3-319-43994-5_10.
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: 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:289--299. doi:10.1145/2935764.2935784'
apa: Derakhshandeh, Z., Gmyr, R., W. Richa, A., Scheideler, C., & Strothmann,
T. F. (2016). Universal Shape Formation for Programmable Matter. 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 (pp. 289--299).
ACM. https://doi.org/10.1145/2935764.2935784
bibtex: '@inproceedings{Derakhshandeh_Gmyr_W. Richa_Scheideler_Strothmann_2016,
title={Universal Shape Formation for Programmable Matter}, DOI={10.1145/2935764.2935784},
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 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,
289--299. ACM, 2016. https://doi.org/10.1145/2935764.2935784.
ieee: Z. Derakhshandeh, R. Gmyr, A. W. Richa, C. Scheideler, and T. F. Strothmann,
“Universal Shape Formation for Programmable Matter,” 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, 2016, pp. 289--299.
mla: Derakhshandeh, Zahra, et al. “Universal Shape Formation for Programmable Matter.”
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, doi:10.1145/2935764.2935784.
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: Proceedings
of the Joint European Conference on Machine Learning and Knowledge Discovery in
Databases (ECML/PKDD 2016). LNCS. ; 2016:756-771. doi:10.1007/978-3-319-46227-1_47'
apa: Melnikov, V., & Hüllermeier, E. (2016). Learning to Aggregate Using Uninorms.
In Proceedings of the Joint European Conference on Machine Learning and Knowledge
Discovery in Databases (ECML/PKDD 2016) (pp. 756–771). https://doi.org/10.1007/978-3-319-46227-1_47
bibtex: '@inproceedings{Melnikov_Hüllermeier_2016, series={LNCS}, title={Learning
to Aggregate Using Uninorms}, DOI={10.1007/978-3-319-46227-1_47},
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 Proceedings of the Joint European Conference on Machine Learning and Knowledge
Discovery in Databases (ECML/PKDD 2016), 756–71. LNCS, 2016. https://doi.org/10.1007/978-3-319-46227-1_47.
ieee: V. Melnikov and E. Hüllermeier, “Learning to Aggregate Using Uninorms,” in
Proceedings of the Joint European Conference on Machine Learning and Knowledge
Discovery in Databases (ECML/PKDD 2016), 2016, pp. 756–771.
mla: Melnikov, Vitaly, and Eyke Hüllermeier. “Learning to Aggregate Using Uninorms.”
Proceedings of the Joint European Conference on Machine Learning and Knowledge
Discovery in Databases (ECML/PKDD 2016), 2016, pp. 756–71, doi:10.1007/978-3-319-46227-1_47.
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'
...
---
_id: '1844'
citation:
ama: Scheideler C, Gilbert S, eds. 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.; 2016. doi:10.1145/2935764
apa: Scheideler, C., & Gilbert, S. (Eds.). (2016). 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. https://doi.org/10.1145/2935764
bibtex: '@book{Scheideler_Gilbert_2016, title={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}, DOI={10.1145/2935764},
year={2016} }'
chicago: Scheideler, Christian, and Seth Gilbert, eds. 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, 2016. https://doi.org/10.1145/2935764.
ieee: C. Scheideler and S. Gilbert, Eds., 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. 2016.
mla: Scheideler, Christian, and Seth Gilbert, editors. 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. 2016, doi:10.1145/2935764.
short: C. Scheideler, S. Gilbert, eds., 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, 2016.
date_created: 2018-03-28T05:44:12Z
date_updated: 2022-01-06T06:53:32Z
department:
- _id: '79'
doi: 10.1145/2935764
editor:
- first_name: Christian
full_name: Scheideler, Christian
id: '20792'
last_name: Scheideler
- first_name: Seth
full_name: Gilbert, Seth
last_name: Gilbert
publication_identifier:
isbn:
- 978-1-4503-4210-0
status: public
title: 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
type: conference_editor
user_id: '15504'
year: '2016'
...
---
_id: '1845'
author:
- first_name: Andrea
full_name: W. Richa, Andrea
last_name: W. Richa
- first_name: Christian
full_name: Scheideler, Christian
id: '20792'
last_name: Scheideler
citation:
ama: 'W. Richa A, Scheideler C. Jamming-Resistant MAC Protocols for Wireless Networks.
In: Encyclopedia of Algorithms. ; 2016:999--1002. doi:10.1007/978-1-4939-2864-4_593'
apa: W. Richa, A., & Scheideler, C. (2016). Jamming-Resistant MAC Protocols
for Wireless Networks. In Encyclopedia of Algorithms (pp. 999--1002). https://doi.org/10.1007/978-1-4939-2864-4_593
bibtex: '@inbook{W. Richa_Scheideler_2016, title={Jamming-Resistant MAC Protocols
for Wireless Networks}, DOI={10.1007/978-1-4939-2864-4_593},
booktitle={Encyclopedia of Algorithms}, author={W. Richa, Andrea and Scheideler,
Christian}, year={2016}, pages={999--1002} }'
chicago: W. Richa, Andrea, and Christian Scheideler. “Jamming-Resistant MAC Protocols
for Wireless Networks.” In Encyclopedia of Algorithms, 999--1002, 2016.
https://doi.org/10.1007/978-1-4939-2864-4_593.
ieee: A. W. Richa and C. Scheideler, “Jamming-Resistant MAC Protocols for Wireless
Networks,” in Encyclopedia of Algorithms, 2016, pp. 999--1002.
mla: W. Richa, Andrea, and Christian Scheideler. “Jamming-Resistant MAC Protocols
for Wireless Networks.” Encyclopedia of Algorithms, 2016, pp. 999--1002,
doi:10.1007/978-1-4939-2864-4_593.
short: 'A. W. Richa, C. Scheideler, in: Encyclopedia of Algorithms, 2016, pp. 999--1002.'
date_created: 2018-03-28T05:45:04Z
date_updated: 2022-01-06T06:53:32Z
department:
- _id: '79'
doi: 10.1007/978-1-4939-2864-4_593
page: 999--1002
publication: Encyclopedia of Algorithms
status: public
title: Jamming-Resistant MAC Protocols for Wireless Networks
type: book_chapter
user_id: '15504'
year: '2016'
...
---
_id: '186'
abstract:
- lang: eng
text: Software verification is an established method to ensure software safety.
Nevertheless, verification still often fails, either because it consumes too much
resources, e.g., time or memory, or the technique is not mature enough to verify
the property. Often then discarding the partial verification, the validation process
proceeds with techniques like testing.To enable standard testing to profit from
previous, partial verification, we use a summary of the verification effort to
simplify the program for subsequent testing. Our techniques use this summary to
construct a residual program which only contains program paths with unproven assertions.
Afterwards, the residual program can be used with standard testing tools.Our first
experiments show that testing profits from the partial verification.The test effort
is reduced and combined verification and testing is faster than a complete verification.
author:
- first_name: Mike
full_name: Czech, Mike
last_name: Czech
- 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: 'Czech M, Jakobs M-C, Wehrheim H. Just test what you cannot verify! In: Jens
Knoop UZ, ed. Software Engineering 2016. Lecture Notes in Informatics.
; 2016:17-18.'
apa: Czech, M., Jakobs, M.-C., & Wehrheim, H. (2016). Just test what you cannot
verify! In U. Z. Jens Knoop (Ed.), Software Engineering 2016 (pp. 17–18).
bibtex: '@inproceedings{Czech_Jakobs_Wehrheim_2016, series={Lecture Notes in Informatics},
title={Just test what you cannot verify!}, booktitle={Software Engineering 2016},
author={Czech, Mike and Jakobs, Marie-Christine and Wehrheim, Heike}, editor={Jens
Knoop, Uwe ZdunEditor}, year={2016}, pages={17–18}, collection={Lecture Notes
in Informatics} }'
chicago: Czech, Mike, Marie-Christine Jakobs, and Heike Wehrheim. “Just Test What
You Cannot Verify!” In Software Engineering 2016, edited by Uwe Zdun Jens
Knoop, 17–18. Lecture Notes in Informatics, 2016.
ieee: M. Czech, M.-C. Jakobs, and H. Wehrheim, “Just test what you cannot verify!,”
in Software Engineering 2016, 2016, pp. 17–18.
mla: Czech, Mike, et al. “Just Test What You Cannot Verify!” Software Engineering
2016, edited by Uwe Zdun Jens Knoop, 2016, pp. 17–18.
short: 'M. Czech, M.-C. Jakobs, H. Wehrheim, in: U.Z. Jens Knoop (Ed.), Software
Engineering 2016, 2016, pp. 17–18.'
date_created: 2017-10-17T12:41:28Z
date_updated: 2022-01-06T06:53:43Z
ddc:
- '040'
department:
- _id: '77'
editor:
- first_name: Uwe Zdun
full_name: Jens Knoop, Uwe Zdun
last_name: Jens Knoop
file:
- access_level: closed
content_type: application/pdf
creator: florida
date_created: 2018-03-21T12:32:11Z
date_updated: 2018-03-21T12:32:11Z
file_id: '1532'
file_name: 186-SEsubmission8.pdf
file_size: 55775
relation: main_file
success: 1
file_date_updated: 2018-03-21T12:32:11Z
has_accepted_license: '1'
language:
- iso: eng
page: 17-18
project:
- _id: '1'
name: SFB 901
- _id: '12'
name: SFB 901 - Subprojekt B4
- _id: '3'
name: SFB 901 - Project Area B
publication: Software Engineering 2016
series_title: Lecture Notes in Informatics
status: public
title: Just test what you cannot verify!
type: conference
user_id: '477'
year: '2016'
...
---
_id: '221'
author:
- first_name: Marie Christin
full_name: Platenius, Marie Christin
last_name: Platenius
- first_name: Klementina
full_name: Josifovska, Klementina
last_name: Josifovska
- first_name: Lorijn
full_name: van Rooijen, Lorijn
id: '58843'
last_name: van Rooijen
- first_name: Svetlana
full_name: Arifulina, Svetlana
last_name: Arifulina
- first_name: Matthias
full_name: Becker, Matthias
last_name: Becker
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Wilhelm
full_name: Schäfer, Wilhelm
last_name: Schäfer
citation:
ama: Platenius MC, Josifovska K, van Rooijen L, et al. An Overview of Service
Specification Language and Matching in On-The-Fly Computing (v0.3). Universität
Paderborn; 2016.
apa: Platenius, M. C., Josifovska, K., van Rooijen, L., Arifulina, S., Becker, M.,
Engels, G., & Schäfer, W. (2016). An Overview of Service Specification
Language and Matching in On-The-Fly Computing (v0.3). Universität Paderborn.
bibtex: '@book{Platenius_Josifovska_van Rooijen_Arifulina_Becker_Engels_Schäfer_2016,
title={An Overview of Service Specification Language and Matching in On-The-Fly
Computing (v0.3)}, publisher={Universität Paderborn}, author={Platenius, Marie
Christin and Josifovska, Klementina and van Rooijen, Lorijn and Arifulina, Svetlana
and Becker, Matthias and Engels, Gregor and Schäfer, Wilhelm}, year={2016} }'
chicago: Platenius, Marie Christin, Klementina Josifovska, Lorijn van Rooijen, Svetlana
Arifulina, Matthias Becker, Gregor Engels, and Wilhelm Schäfer. An Overview
of Service Specification Language and Matching in On-The-Fly Computing (v0.3).
Universität Paderborn, 2016.
ieee: M. C. Platenius et al., An Overview of Service Specification Language
and Matching in On-The-Fly Computing (v0.3). Universität Paderborn, 2016.
mla: Platenius, Marie Christin, et al. An Overview of Service Specification Language
and Matching in On-The-Fly Computing (v0.3). Universität Paderborn, 2016.
short: M.C. Platenius, K. Josifovska, L. van Rooijen, S. Arifulina, M. Becker, G.
Engels, W. Schäfer, An Overview of Service Specification Language and Matching
in On-The-Fly Computing (v0.3), Universität Paderborn, 2016.
date_created: 2017-10-17T12:41:35Z
date_updated: 2022-01-06T06:55:25Z
ddc:
- '040'
department:
- _id: '66'
- _id: '76'
file:
- access_level: closed
content_type: application/pdf
creator: florida
date_created: 2018-03-21T10:36:37Z
date_updated: 2018-03-21T10:36:37Z
file_id: '1512'
file_name: 221-SFB_SSL_Techreport.pdf
file_size: 6498677
relation: main_file
success: 1
file_date_updated: 2018-03-21T10:36:37Z
has_accepted_license: '1'
language:
- iso: eng
project:
- _id: '1'
name: SFB 901
- _id: '9'
name: SFB 901 - Subprojekt B1
- _id: '11'
name: SFB 901 - Subproject B3
- _id: '3'
name: SFB 901 - Project Area B
publisher: Universität Paderborn
status: public
title: An Overview of Service Specification Language and Matching in On-The-Fly Computing
(v0.3)
type: report
user_id: '477'
year: '2016'
...