---
_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'
...
---
_id: '222'
abstract:
- lang: eng
text: Virtual field programmable gate arrays (FPGA) are overlay architectures realized
on top of physical FPGAs. They are proposed to enhance or abstract away from the
physical FPGA for experimenting with novel architectures and design tool flows.
In this paper, we present an embedding of a ZUMA-based virtual FPGA fabric into
a complete configurable system-on-chip. Such an embedding is required to fully
harness the potential of virtual FPGAs, in particular to give the virtual circuits
access to main memory and operating system services, and to enable a concurrent
operation of virtualized and non-virtualized circuitry. We discuss our extension
to ZUMA and its embedding into the ReconOS operating system for hardware/software
systems. Furthermore, we present an open source tool flow to synthesize configurations
for the virtual FPGA, along with an analysis of the area and delay overheads involved.
author:
- first_name: Tobias
full_name: Wiersema, Tobias
id: '3118'
last_name: Wiersema
- first_name: Arne
full_name: Bockhorn, Arne
last_name: Bockhorn
- first_name: Marco
full_name: Platzner, Marco
id: '398'
last_name: Platzner
citation:
ama: Wiersema T, Bockhorn A, Platzner M. An Architecture and Design Tool Flow for
Embedding a Virtual FPGA into a Reconfigurable System-on-Chip. Computers &
Electrical Engineering. 2016:112--122. doi:10.1016/j.compeleceng.2016.04.005
apa: Wiersema, T., Bockhorn, A., & Platzner, M. (2016). An Architecture and
Design Tool Flow for Embedding a Virtual FPGA into a Reconfigurable System-on-Chip.
Computers & Electrical Engineering, 112--122. https://doi.org/10.1016/j.compeleceng.2016.04.005
bibtex: '@article{Wiersema_Bockhorn_Platzner_2016, title={An Architecture and Design
Tool Flow for Embedding a Virtual FPGA into a Reconfigurable System-on-Chip},
DOI={10.1016/j.compeleceng.2016.04.005},
journal={Computers & Electrical Engineering}, publisher={Elsevier}, author={Wiersema,
Tobias and Bockhorn, Arne and Platzner, Marco}, year={2016}, pages={112--122}
}'
chicago: Wiersema, Tobias, Arne Bockhorn, and Marco Platzner. “An Architecture and
Design Tool Flow for Embedding a Virtual FPGA into a Reconfigurable System-on-Chip.”
Computers & Electrical Engineering, 2016, 112--122. https://doi.org/10.1016/j.compeleceng.2016.04.005.
ieee: T. Wiersema, A. Bockhorn, and M. Platzner, “An Architecture and Design Tool
Flow for Embedding a Virtual FPGA into a Reconfigurable System-on-Chip,” Computers
& Electrical Engineering, pp. 112--122, 2016.
mla: Wiersema, Tobias, et al. “An Architecture and Design Tool Flow for Embedding
a Virtual FPGA into a Reconfigurable System-on-Chip.” Computers & Electrical
Engineering, Elsevier, 2016, pp. 112--122, doi:10.1016/j.compeleceng.2016.04.005.
short: T. Wiersema, A. Bockhorn, M. Platzner, Computers & Electrical Engineering
(2016) 112--122.
date_created: 2017-10-17T12:41:35Z
date_updated: 2022-01-06T06:55:29Z
ddc:
- '040'
department:
- _id: '78'
doi: 10.1016/j.compeleceng.2016.04.005
file:
- access_level: closed
content_type: application/pdf
creator: florida
date_created: 2018-03-21T10:36:08Z
date_updated: 2018-03-21T10:36:08Z
file_id: '1511'
file_name: 222-1-s2.0-S0045790616300684-main.pdf
file_size: 931048
relation: main_file
success: 1
file_date_updated: 2018-03-21T10:36:08Z
has_accepted_license: '1'
language:
- iso: eng
page: 112--122
project:
- _id: '1'
name: SFB 901
- _id: '12'
name: SFB 901 - Subprojekt B4
- _id: '3'
name: SFB 901 - Project Area B
publication: Computers & Electrical Engineering
publisher: Elsevier
status: public
title: An Architecture and Design Tool Flow for Embedding a Virtual FPGA into a Reconfigurable
System-on-Chip
type: journal_article
user_id: '477'
year: '2016'
...
---
_id: '223'
abstract:
- lang: eng
text: We consider the problem of aggregation in overlay networks. We use a synchronous
time model in which each node has polylogarithmic memory and can send at most
a polylogarithmic number of messages per round. We investigate how to quickly
compute the result of an aggregate functionf over elements that are distributed
among the nodes of the network such that the result is eventually known by a selected
root node. We show how to compute distributive aggregate functions such as SUM,
MAX, and OR in time $O(\log n / \log\log n)$ using a tree that is created in a
pre-processing phase. If only a polylogarithmic number of data items need to be
aggregated, we show how to compute the result in time $O(\sqrt{\log n / \log\log
n})$. Furthermore, we show how to compute holistic aggregate functions such as
DISTINCT, SMALLEST(k) and MODE(k) in time $O(\log n / \log\log n)$. Finally, we
show a lower bound of $\Omega(\sqrt{\log n / \log\log n})$ for deterministic algorithms
that compute any of the aggregate functions in the scope of the thesis.
author:
- first_name: Kristian
full_name: Hinnenthal, Kristian
id: '32229'
last_name: Hinnenthal
citation:
ama: Hinnenthal K. Aggregation in Overlay Networks. Universität Paderborn;
2016.
apa: Hinnenthal, K. (2016). Aggregation in Overlay Networks. Universität
Paderborn.
bibtex: '@book{Hinnenthal_2016, title={Aggregation in Overlay Networks}, publisher={Universität
Paderborn}, author={Hinnenthal, Kristian}, year={2016} }'
chicago: Hinnenthal, Kristian. Aggregation in Overlay Networks. Universität
Paderborn, 2016.
ieee: K. Hinnenthal, Aggregation in Overlay Networks. Universität Paderborn,
2016.
mla: Hinnenthal, Kristian. Aggregation in Overlay Networks. Universität Paderborn,
2016.
short: K. Hinnenthal, Aggregation in Overlay Networks, Universität Paderborn, 2016.
date_created: 2017-10-17T12:41:35Z
date_updated: 2022-01-06T06:55:30Z
ddc:
- '040'
department:
- _id: '79'
file:
- access_level: closed
content_type: application/pdf
creator: florida
date_created: 2018-03-21T10:35:39Z
date_updated: 2018-03-21T10:35:39Z
file_id: '1510'
file_name: 223-MasterarbeitHinnenthal.pdf
file_size: 1127144
relation: main_file
success: 1
file_date_updated: 2018-03-21T10:35:39Z
has_accepted_license: '1'
language:
- iso: eng
project:
- _id: '1'
name: SFB 901
- _id: '13'
name: SFB 901 - Subprojekt C1
- _id: '4'
name: SFB 901 - Project Area C
publisher: Universität Paderborn
status: public
supervisor:
- first_name: Christian
full_name: Scheideler, Christian
id: '20792'
last_name: Scheideler
title: Aggregation in Overlay Networks
type: mastersthesis
user_id: '15504'
year: '2016'
...
---
_id: '224'
abstract:
- lang: eng
text: In modern software development, paradigms like component-based software engineering
(CBSE) and service-oriented architectures (SOA) emphasize the construction of
large software systems out of existing components or services. Therein, a service
is a self-contained piece of software, which adheres to a specified interface.
In a model-based software design, this interface constitutes our sole knowledge
of the service at design time, while service implementations are not available.
Therefore, correctness checks or detection of potential errors in service compositions
has to be carried out without the possibility of executing services. This challenges
the usage of standard software error localization techniques for service compositions.
In this paper, we review state-of-the-art approaches for error localization of
software and discuss their applicability to service compositions.
author:
- first_name: Julia
full_name: Krämer, Julia
last_name: Krämer
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'Krämer J, Wehrheim H. A short survey on using software error localization
for service compositions. In: Proceedings of the 5th European Conference on
Service-Oriented and Cloud Computing (ESOCC 2016). LNCS. ; 2016:248--262.
doi:10.1007/978-3-319-44482-6_16'
apa: Krämer, J., & Wehrheim, H. (2016). A short survey on using software error
localization for service compositions. In Proceedings of the 5th European Conference
on Service-Oriented and Cloud Computing (ESOCC 2016) (pp. 248--262). https://doi.org/10.1007/978-3-319-44482-6_16
bibtex: '@inproceedings{Krämer_Wehrheim_2016, series={LNCS}, title={A short survey
on using software error localization for service compositions}, DOI={10.1007/978-3-319-44482-6_16},
booktitle={Proceedings of the 5th European Conference on Service-Oriented and
Cloud Computing (ESOCC 2016)}, author={Krämer, Julia and Wehrheim, Heike}, year={2016},
pages={248--262}, collection={LNCS} }'
chicago: Krämer, Julia, and Heike Wehrheim. “A Short Survey on Using Software Error
Localization for Service Compositions.” In Proceedings of the 5th European
Conference on Service-Oriented and Cloud Computing (ESOCC 2016), 248--262.
LNCS, 2016. https://doi.org/10.1007/978-3-319-44482-6_16.
ieee: J. Krämer and H. Wehrheim, “A short survey on using software error localization
for service compositions,” in Proceedings of the 5th European Conference on
Service-Oriented and Cloud Computing (ESOCC 2016), 2016, pp. 248--262.
mla: Krämer, Julia, and Heike Wehrheim. “A Short Survey on Using Software Error
Localization for Service Compositions.” Proceedings of the 5th European Conference
on Service-Oriented and Cloud Computing (ESOCC 2016), 2016, pp. 248--262,
doi:10.1007/978-3-319-44482-6_16.
short: 'J. Krämer, H. Wehrheim, in: Proceedings of the 5th European Conference on
Service-Oriented and Cloud Computing (ESOCC 2016), 2016, pp. 248--262.'
date_created: 2017-10-17T12:41:35Z
date_updated: 2022-01-06T06:55:32Z
ddc:
- '040'
department:
- _id: '77'
doi: 10.1007/978-3-319-44482-6_16
file:
- access_level: closed
content_type: application/pdf
creator: florida
date_created: 2018-03-21T10:35:04Z
date_updated: 2018-03-21T10:35:04Z
file_id: '1509'
file_name: 224-chp_3A10.1007_2F978-3-319-44482-6_16.pdf
file_size: 389042
relation: main_file
success: 1
file_date_updated: 2018-03-21T10:35:04Z
has_accepted_license: '1'
language:
- iso: eng
page: 248--262
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 5th European Conference on Service-Oriented and Cloud
Computing (ESOCC 2016)
series_title: LNCS
status: public
title: A short survey on using software error localization for service compositions
type: conference
user_id: '477'
year: '2016'
...
---
_id: '226'
abstract:
- lang: eng
text: Error detection, localization and correction are time-intensive tasks in software
development, but crucial to deliver functionally correct products. Thus, automated
approaches to these tasks have been intensively studied for standard software
systems. For model-based software systems, the situation is different. While error
detection is still well-studied, error localization and correction is a less-studied
domain. In this paper, we examine error localization and correction for models
of service compositions. Based on formal definitions of error and correction in
this context, we show that the classical approach of error localization and correction,
i.e. first determining a set of suspicious statements and then proposing changes
to these statements, is ineffective in our context. In fact, it lessens the chance
to succeed in finding a correction at all.In this paper, we introduce correction
proposal as a novel approach on error correction in service compositions integrating
error localization and correction in one combined step. In addition, we provide
an algorithm to compute such correction proposals automatically.
author:
- first_name: Julia
full_name: Krämer, Julia
last_name: Krämer
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'Krämer J, Wehrheim H. A Formal Approach to Error Localization and Correction
in Service Compositions. In: Proceedings of the 1st International Workshop
on Formal to Practical Software Verification and Composition (VeryComp 2016).
LNCS. ; 2016:445--457. doi:10.1007/978-3-319-50230-4_35'
apa: Krämer, J., & Wehrheim, H. (2016). A Formal Approach to Error Localization
and Correction in Service Compositions. In Proceedings of the 1st International
Workshop on Formal to Practical Software Verification and Composition (VeryComp
2016) (pp. 445--457). https://doi.org/10.1007/978-3-319-50230-4_35
bibtex: '@inproceedings{Krämer_Wehrheim_2016, series={LNCS}, title={A Formal Approach
to Error Localization and Correction in Service Compositions}, DOI={10.1007/978-3-319-50230-4_35},
booktitle={Proceedings of the 1st International Workshop on Formal to Practical
Software Verification and Composition (VeryComp 2016)}, author={Krämer, Julia
and Wehrheim, Heike}, year={2016}, pages={445--457}, collection={LNCS} }'
chicago: Krämer, Julia, and Heike Wehrheim. “A Formal Approach to Error Localization
and Correction in Service Compositions.” In Proceedings of the 1st International
Workshop on Formal to Practical Software Verification and Composition (VeryComp
2016), 445--457. LNCS, 2016. https://doi.org/10.1007/978-3-319-50230-4_35.
ieee: J. Krämer and H. Wehrheim, “A Formal Approach to Error Localization and Correction
in Service Compositions,” in Proceedings of the 1st International Workshop
on Formal to Practical Software Verification and Composition (VeryComp 2016),
2016, pp. 445--457.
mla: Krämer, Julia, and Heike Wehrheim. “A Formal Approach to Error Localization
and Correction in Service Compositions.” Proceedings of the 1st International
Workshop on Formal to Practical Software Verification and Composition (VeryComp
2016), 2016, pp. 445--457, doi:10.1007/978-3-319-50230-4_35.
short: 'J. Krämer, H. Wehrheim, in: Proceedings of the 1st International Workshop
on Formal to Practical Software Verification and Composition (VeryComp 2016),
2016, pp. 445--457.'
date_created: 2017-10-17T12:41:36Z
date_updated: 2022-01-06T06:55:37Z
ddc:
- '040'
department:
- _id: '77'
doi: 10.1007/978-3-319-50230-4_35
file:
- access_level: closed
content_type: application/pdf
creator: florida
date_created: 2018-03-21T10:34:08Z
date_updated: 2018-03-21T10:34:08Z
file_id: '1507'
file_name: 226-chp_3A10.1007_2F978-3-319-50230-4_35.pdf
file_size: 492018
relation: main_file
success: 1
file_date_updated: 2018-03-21T10:34:08Z
has_accepted_license: '1'
language:
- iso: eng
page: 445--457
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 1st International Workshop on Formal to Practical
Software Verification and Composition (VeryComp 2016)
series_title: LNCS
status: public
title: A Formal Approach to Error Localization and Correction in Service Compositions
type: conference
user_id: '477'
year: '2016'
...
---
_id: '227'
abstract:
- lang: eng
text: Information flow analysis studies the flow of data between program entities
(e.g. variables), where the allowed flow is specified via security policies. Typical
information flow analyses compute a conservative (over-)approximation of the flows
in a program. Such an analysis may thus signal non-existing violations of the
security policy.In this paper, we propose a new technique for inspecting the reported
violations (counterexamples) for spuriousity. Similar to counterexample-guided-abstraction-refinement
(CEGAR) in software verification, we use the result of this inspection to improve
the next round of the analysis. We prove soundness of this scheme.
author:
- first_name: Manuel
full_name: Töws, Manuel
id: '11315'
last_name: Töws
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'Töws M, Wehrheim H. A CEGAR Scheme for Information Flow Analysis. In: Proceedings
of the 18th International Conference on Formal Engineering Methods (ICFEM 2016).
LNCS. ; 2016:466--483. doi:10.1007/978-3-319-47846-3_29'
apa: Töws, M., & Wehrheim, H. (2016). A CEGAR Scheme for Information Flow Analysis.
In Proceedings of the 18th International Conference on Formal Engineering Methods
(ICFEM 2016) (pp. 466--483). https://doi.org/10.1007/978-3-319-47846-3_29
bibtex: '@inproceedings{Töws_Wehrheim_2016, series={LNCS}, title={A CEGAR Scheme
for Information Flow Analysis}, DOI={10.1007/978-3-319-47846-3_29},
booktitle={Proceedings of the 18th International Conference on Formal Engineering
Methods (ICFEM 2016)}, author={Töws, Manuel and Wehrheim, Heike}, year={2016},
pages={466--483}, collection={LNCS} }'
chicago: Töws, Manuel, and Heike Wehrheim. “A CEGAR Scheme for Information Flow
Analysis.” In Proceedings of the 18th International Conference on Formal Engineering
Methods (ICFEM 2016), 466--483. LNCS, 2016. https://doi.org/10.1007/978-3-319-47846-3_29.
ieee: M. Töws and H. Wehrheim, “A CEGAR Scheme for Information Flow Analysis,” in
Proceedings of the 18th International Conference on Formal Engineering Methods
(ICFEM 2016), 2016, pp. 466--483.
mla: Töws, Manuel, and Heike Wehrheim. “A CEGAR Scheme for Information Flow Analysis.”
Proceedings of the 18th International Conference on Formal Engineering Methods
(ICFEM 2016), 2016, pp. 466--483, doi:10.1007/978-3-319-47846-3_29.
short: 'M. Töws, H. Wehrheim, in: Proceedings of the 18th International Conference
on Formal Engineering Methods (ICFEM 2016), 2016, pp. 466--483.'
date_created: 2017-10-17T12:41:36Z
date_updated: 2022-01-06T06:55:39Z
ddc:
- '040'
department:
- _id: '77'
doi: 10.1007/978-3-319-47846-3_29
file:
- access_level: closed
content_type: application/pdf
creator: florida
date_created: 2018-03-21T10:33:38Z
date_updated: 2018-03-21T10:33:38Z
file_id: '1506'
file_name: 227-chp_3A10.1007_2F978-3-319-47846-3_29.pdf
file_size: 682849
relation: main_file
success: 1
file_date_updated: 2018-03-21T10:33:38Z
has_accepted_license: '1'
language:
- iso: eng
page: 466--483
project:
- _id: '1'
name: SFB 901
- _id: '12'
name: SFB 901 - Subprojekt B4
- _id: '3'
name: SFB 901 - Project Area B
publication: Proceedings of the 18th International Conference on Formal Engineering
Methods (ICFEM 2016)
series_title: LNCS
status: public
title: A CEGAR Scheme for Information Flow Analysis
type: conference
user_id: '477'
year: '2016'
...
---
_id: '22870'
author:
- first_name: Daniel
full_name: Röltgen, Daniel
last_name: Röltgen
- first_name: Harald
full_name: Anacker, Harald
last_name: Anacker
- first_name: Roman
full_name: Dumitrescu, Roman
id: '16190'
last_name: Dumitrescu
citation:
ama: 'Röltgen D, Anacker H, Dumitrescu R. Einsatz- und Nutzenpotentiale von Augmented
Reality im Kontext von Industrie 4.0. In: VDE Kongress 2016 Internet of Things,
Mannheim, Deutschland, 7. - 8. Nov. 2016. ; 2016.'
apa: Röltgen, D., Anacker, H., & Dumitrescu, R. (2016). Einsatz- und Nutzenpotentiale
von Augmented Reality im Kontext von Industrie 4.0. In VDE Kongress 2016 Internet
of Things, Mannheim, Deutschland, 7. - 8. Nov. 2016.
bibtex: '@inproceedings{Röltgen_Anacker_Dumitrescu_2016, title={Einsatz- und Nutzenpotentiale
von Augmented Reality im Kontext von Industrie 4.0}, booktitle={VDE Kongress 2016
Internet of Things, Mannheim, Deutschland, 7. - 8. Nov. 2016}, author={Röltgen,
Daniel and Anacker, Harald and Dumitrescu, Roman}, year={2016} }'
chicago: Röltgen, Daniel, Harald Anacker, and Roman Dumitrescu. “Einsatz- und Nutzenpotentiale
von Augmented Reality im Kontext von Industrie 4.0.” In VDE Kongress 2016 Internet
of Things, Mannheim, Deutschland, 7. - 8. Nov. 2016, 2016.
ieee: D. Röltgen, H. Anacker, and R. Dumitrescu, “Einsatz- und Nutzenpotentiale
von Augmented Reality im Kontext von Industrie 4.0,” in VDE Kongress 2016 Internet
of Things, Mannheim, Deutschland, 7. - 8. Nov. 2016, 2016.
mla: Röltgen, Daniel, et al. “Einsatz- und Nutzenpotentiale von Augmented Reality
im Kontext von Industrie 4.0.” VDE Kongress 2016 Internet of Things, Mannheim,
Deutschland, 7. - 8. Nov. 2016, 2016.
short: 'D. Röltgen, H. Anacker, R. Dumitrescu, in: VDE Kongress 2016 Internet of
Things, Mannheim, Deutschland, 7. - 8. Nov. 2016, 2016.'
date_created: 2021-07-28T09:34:15Z
date_updated: 2022-01-06T06:55:42Z
department:
- _id: '563'
language:
- iso: ger
publication: VDE Kongress 2016 Internet of Things, Mannheim, Deutschland, 7. - 8.
Nov. 2016
status: public
title: Einsatz- und Nutzenpotentiale von Augmented Reality im Kontext von Industrie
4.0
type: conference
user_id: '21240'
year: '2016'
...