---
_id: '6725'
author:
- first_name: Wojciech
full_name: Czerwinski, Wojciech
last_name: Czerwinski
- first_name: Wim
full_name: Martens, Wim
last_name: Martens
- first_name: Lorijn
full_name: van Rooijen, Lorijn
id: '58843'
last_name: van Rooijen
- first_name: Marc
full_name: Zeitoun, Marc
last_name: Zeitoun
- first_name: Georg
full_name: Zetzsche, Georg
last_name: Zetzsche
citation:
ama: Czerwinski W, Martens W, van Rooijen L, Zeitoun M, Zetzsche G. A Characterization
for Decidable Separability by Piecewise Testable Languages. Discrete Mathematics
& Theoretical Computer Science. 2017;19(4). doi:10.23638/DMTCS-19-4-1
apa: Czerwinski, W., Martens, W., van Rooijen, L., Zeitoun, M., & Zetzsche,
G. (2017). A Characterization for Decidable Separability by Piecewise Testable
Languages. Discrete Mathematics & Theoretical Computer Science, 19(4).
https://doi.org/10.23638/DMTCS-19-4-1
bibtex: '@article{Czerwinski_Martens_van Rooijen_Zeitoun_Zetzsche_2017, title={A
Characterization for Decidable Separability by Piecewise Testable Languages},
volume={19}, DOI={10.23638/DMTCS-19-4-1},
number={4}, journal={Discrete Mathematics & Theoretical Computer Science},
author={Czerwinski, Wojciech and Martens, Wim and van Rooijen, Lorijn and Zeitoun,
Marc and Zetzsche, Georg}, year={2017} }'
chicago: Czerwinski, Wojciech, Wim Martens, Lorijn van Rooijen, Marc Zeitoun, and
Georg Zetzsche. “A Characterization for Decidable Separability by Piecewise Testable
Languages.” Discrete Mathematics & Theoretical Computer Science 19,
no. 4 (2017). https://doi.org/10.23638/DMTCS-19-4-1.
ieee: W. Czerwinski, W. Martens, L. van Rooijen, M. Zeitoun, and G. Zetzsche, “A
Characterization for Decidable Separability by Piecewise Testable Languages,”
Discrete Mathematics & Theoretical Computer Science, vol. 19, no. 4,
2017.
mla: Czerwinski, Wojciech, et al. “A Characterization for Decidable Separability
by Piecewise Testable Languages.” Discrete Mathematics & Theoretical Computer
Science, vol. 19, no. 4, 2017, doi:10.23638/DMTCS-19-4-1.
short: W. Czerwinski, W. Martens, L. van Rooijen, M. Zeitoun, G. Zetzsche, Discrete
Mathematics & Theoretical Computer Science 19 (2017).
date_created: 2019-01-15T09:54:52Z
date_updated: 2022-01-06T07:03:17Z
department:
- _id: '66'
doi: 10.23638/DMTCS-19-4-1
intvolume: ' 19'
issue: '4'
language:
- iso: eng
publication: Discrete Mathematics & Theoretical Computer Science
status: public
title: A Characterization for Decidable Separability by Piecewise Testable Languages
type: journal_article
user_id: '58843'
volume: 19
year: '2017'
...
---
_id: '6737'
author:
- first_name: Dennis
full_name: Wolters, Dennis
id: '11308'
last_name: Wolters
- first_name: Christian
full_name: Gerth, Christian
last_name: Gerth
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
citation:
ama: Wolters D, Gerth C, Engels G. Visual Requirements Modeling for Cross-Device
Systems. Computer Science and Information Systems (ComSIS). 2017;14(2):517-536.
doi:10.2298/CSIS160930015W
apa: Wolters, D., Gerth, C., & Engels, G. (2017). Visual Requirements Modeling
for Cross-Device Systems. Computer Science and Information Systems (ComSIS),
14(2), 517–536. https://doi.org/10.2298/CSIS160930015W
bibtex: '@article{Wolters_Gerth_Engels_2017, title={Visual Requirements Modeling
for Cross-Device Systems}, volume={14}, DOI={10.2298/CSIS160930015W},
number={2}, journal={Computer Science and Information Systems (ComSIS)}, author={Wolters,
Dennis and Gerth, Christian and Engels, Gregor}, year={2017}, pages={517–536}
}'
chicago: 'Wolters, Dennis, Christian Gerth, and Gregor Engels. “Visual Requirements
Modeling for Cross-Device Systems.” Computer Science and Information Systems
(ComSIS) 14, no. 2 (2017): 517–36. https://doi.org/10.2298/CSIS160930015W.'
ieee: D. Wolters, C. Gerth, and G. Engels, “Visual Requirements Modeling for Cross-Device
Systems,” Computer Science and Information Systems (ComSIS), vol. 14, no.
2, pp. 517–536, 2017.
mla: Wolters, Dennis, et al. “Visual Requirements Modeling for Cross-Device Systems.”
Computer Science and Information Systems (ComSIS), vol. 14, no. 2, 2017,
pp. 517–36, doi:10.2298/CSIS160930015W.
short: D. Wolters, C. Gerth, G. Engels, Computer Science and Information Systems
(ComSIS) 14 (2017) 517–536.
date_created: 2019-01-15T14:11:10Z
date_updated: 2022-01-06T07:03:17Z
department:
- _id: '66'
doi: 10.2298/CSIS160930015W
intvolume: ' 14'
issue: '2'
language:
- iso: eng
page: 517-536
publication: Computer Science and Information Systems (ComSIS)
status: public
title: Visual Requirements Modeling for Cross-Device Systems
type: journal_article
user_id: '11308'
volume: 14
year: '2017'
...
---
_id: '6764'
author:
- first_name: Ivan
full_name: Jovanovikj, Ivan
id: '39187'
last_name: Jovanovikj
orcid: https://orcid.org/0000-0002-1838-794X
- first_name: Stefan
full_name: Sauer, Stefan
id: '447'
last_name: Sauer
citation:
ama: Jovanovikj I, Sauer S. Towards a Framework for Constructing Context-Specific
Migration Methods for Test Cases. Softwaretechnik-Trends, Proceedings of the
19th Workshop Software-Reengineering & Evolution (WSRE) & 8th Workshop
Design for Future (DFF). 2017;37(2):50-51.
apa: Jovanovikj, I., & Sauer, S. (2017). Towards a Framework for Constructing
Context-Specific Migration Methods for Test Cases. Softwaretechnik-Trends,
Proceedings of the 19th Workshop Software-Reengineering & Evolution (WSRE)
& 8th Workshop Design for Future (DFF), 37(2), 50–51.
bibtex: '@article{Jovanovikj_Sauer_2017, title={Towards a Framework for Constructing
Context-Specific Migration Methods for Test Cases}, volume={37}, number={2}, journal={Softwaretechnik-Trends,
Proceedings of the 19th Workshop Software-Reengineering & Evolution (WSRE)
& 8th Workshop Design for Future (DFF)}, publisher={Gesellschaft für Informatik
e.V., Fachgruppe PARS}, author={Jovanovikj, Ivan and Sauer, Stefan}, year={2017},
pages={50–51} }'
chicago: 'Jovanovikj, Ivan, and Stefan Sauer. “Towards a Framework for Constructing
Context-Specific Migration Methods for Test Cases.” Softwaretechnik-Trends,
Proceedings of the 19th Workshop Software-Reengineering & Evolution (WSRE)
& 8th Workshop Design for Future (DFF) 37, no. 2 (2017): 50–51.'
ieee: I. Jovanovikj and S. Sauer, “Towards a Framework for Constructing Context-Specific
Migration Methods for Test Cases,” Softwaretechnik-Trends, Proceedings of the
19th Workshop Software-Reengineering & Evolution (WSRE) & 8th Workshop
Design for Future (DFF), vol. 37, no. 2, pp. 50–51, 2017.
mla: Jovanovikj, Ivan, and Stefan Sauer. “Towards a Framework for Constructing Context-Specific
Migration Methods for Test Cases.” Softwaretechnik-Trends, Proceedings of the
19th Workshop Software-Reengineering & Evolution (WSRE) & 8th Workshop
Design for Future (DFF), vol. 37, no. 2, Gesellschaft für Informatik e.V.,
Fachgruppe PARS, 2017, pp. 50–51.
short: I. Jovanovikj, S. Sauer, Softwaretechnik-Trends, Proceedings of the 19th
Workshop Software-Reengineering & Evolution (WSRE) & 8th Workshop Design
for Future (DFF) 37 (2017) 50–51.
conference:
location: Bad Honnef
name: 19th Workshop Software-Reengineering & Evolution (WSRE) & 8th Workshop Design
for Future (DFF)
date_created: 2019-01-16T09:45:29Z
date_updated: 2022-01-06T07:03:17Z
department:
- _id: '66'
- _id: '534'
intvolume: ' 37'
issue: '2'
language:
- iso: eng
page: ' 50-51 '
publication: Softwaretechnik-Trends, Proceedings of the 19th Workshop Software-Reengineering
& Evolution (WSRE) & 8th Workshop Design for Future (DFF)
publisher: Gesellschaft für Informatik e.V., Fachgruppe PARS
status: public
title: Towards a Framework for Constructing Context-Specific Migration Methods for
Test Cases
type: journal_article
user_id: '39187'
volume: 37
year: '2017'
...
---
_id: '68'
abstract:
- lang: eng
text: Proof-carrying hardware (PCH) is a principle for achieving safety for dynamically
reconfigurable hardware systems. The producer of a hardware module spends huge
effort when creating a proof for a safety policy. The proof is then transferred
as a certificate together with the configuration bitstream to the consumer of
the hardware module, who can quickly verify the given proof. Previous work utilized
SAT solvers and resolution traces to set up a PCH technology and corresponding
tool flows. In this article, we present a novel technology for PCH based on inductive
invariants. For sequential circuits, our approach is fundamentally stronger than
the previous SAT-based one since we avoid the limitations of bounded unrolling.
We contrast our technology to existing ones and show that it fits into previously
proposed tool flows. We conduct experiments with four categories of benchmark
circuits and report consumer and producer runtime and peak memory consumption,
as well as the size of the certificates and the distribution of the workload between
producer and consumer. Experiments clearly show that our new induction-based technology
is superior for sequential circuits, whereas the previous SAT-based technology
is the better choice for combinational circuits.
author:
- first_name: Tobias
full_name: Isenberg, Tobias
last_name: Isenberg
- first_name: Marco
full_name: Platzner, Marco
id: '398'
last_name: Platzner
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
- first_name: Tobias
full_name: Wiersema, Tobias
id: '3118'
last_name: Wiersema
citation:
ama: Isenberg T, Platzner M, Wehrheim H, Wiersema T. Proof-Carrying Hardware via
Inductive Invariants. ACM Transactions on Design Automation of Electronic Systems.
2017;(4):61:1--61:23. doi:10.1145/3054743
apa: Isenberg, T., Platzner, M., Wehrheim, H., & Wiersema, T. (2017). Proof-Carrying
Hardware via Inductive Invariants. ACM Transactions on Design Automation of
Electronic Systems, (4), 61:1--61:23. https://doi.org/10.1145/3054743
bibtex: '@article{Isenberg_Platzner_Wehrheim_Wiersema_2017, title={Proof-Carrying
Hardware via Inductive Invariants}, DOI={10.1145/3054743},
number={4}, journal={ACM Transactions on Design Automation of Electronic Systems},
publisher={ACM}, author={Isenberg, Tobias and Platzner, Marco and Wehrheim, Heike
and Wiersema, Tobias}, year={2017}, pages={61:1--61:23} }'
chicago: 'Isenberg, Tobias, Marco Platzner, Heike Wehrheim, and Tobias Wiersema.
“Proof-Carrying Hardware via Inductive Invariants.” ACM Transactions on Design
Automation of Electronic Systems, no. 4 (2017): 61:1--61:23. https://doi.org/10.1145/3054743.'
ieee: T. Isenberg, M. Platzner, H. Wehrheim, and T. Wiersema, “Proof-Carrying Hardware
via Inductive Invariants,” ACM Transactions on Design Automation of Electronic
Systems, no. 4, pp. 61:1--61:23, 2017.
mla: Isenberg, Tobias, et al. “Proof-Carrying Hardware via Inductive Invariants.”
ACM Transactions on Design Automation of Electronic Systems, no. 4, ACM,
2017, pp. 61:1--61:23, doi:10.1145/3054743.
short: T. Isenberg, M. Platzner, H. Wehrheim, T. Wiersema, ACM Transactions on Design
Automation of Electronic Systems (2017) 61:1--61:23.
date_created: 2017-10-17T12:41:04Z
date_updated: 2022-01-06T07:03:20Z
ddc:
- '000'
department:
- _id: '77'
- _id: '78'
doi: 10.1145/3054743
file:
- access_level: closed
content_type: application/pdf
creator: ups
date_created: 2018-11-02T16:08:17Z
date_updated: 2018-11-02T16:08:17Z
file_id: '5324'
file_name: a61-isenberg.pdf
file_size: 806356
relation: main_file
success: 1
file_date_updated: 2018-11-02T16:08:17Z
has_accepted_license: '1'
issue: '4'
language:
- iso: eng
page: 61:1--61:23
project:
- _id: '1'
name: SFB 901
- _id: '12'
name: SFB 901 - Subprojekt B4
- _id: '3'
name: SFB 901 - Project Area B
- _id: '52'
name: Computing Resources Provided by the Paderborn Center for Parallel Computing
publication: ACM Transactions on Design Automation of Electronic Systems
publisher: ACM
status: public
title: Proof-Carrying Hardware via Inductive Invariants
type: journal_article
user_id: '3118'
year: '2017'
...
---
_id: '680'
author:
- first_name: Manuel
full_name: Peter, Manuel
last_name: Peter
- first_name: Andre
full_name: Hildebrandt, Andre
last_name: Hildebrandt
- first_name: Christian
full_name: Schlickriede, Christian
id: '59792'
last_name: Schlickriede
- first_name: Kimia
full_name: Gharib, Kimia
last_name: Gharib
- first_name: Thomas
full_name: Zentgraf, Thomas
id: '30525'
last_name: Zentgraf
orcid: 0000-0002-8662-1101
- first_name: Jens
full_name: Förstner, Jens
id: '158'
last_name: Förstner
orcid: 0000-0001-7059-9862
- first_name: Stefan
full_name: Linden, Stefan
last_name: Linden
citation:
ama: Peter M, Hildebrandt A, Schlickriede C, et al. Directional Emission from Dielectric
Leaky-Wave Nanoantennas. Nano Letters. 2017;17(7):4178-4183. doi:10.1021/acs.nanolett.7b00966
apa: Peter, M., Hildebrandt, A., Schlickriede, C., Gharib, K., Zentgraf, T., Förstner,
J., & Linden, S. (2017). Directional Emission from Dielectric Leaky-Wave Nanoantennas.
Nano Letters, 17(7), 4178–4183. https://doi.org/10.1021/acs.nanolett.7b00966
bibtex: '@article{Peter_Hildebrandt_Schlickriede_Gharib_Zentgraf_Förstner_Linden_2017,
title={Directional Emission from Dielectric Leaky-Wave Nanoantennas}, volume={17},
DOI={10.1021/acs.nanolett.7b00966},
number={7}, journal={Nano Letters}, publisher={American Chemical Society (ACS)},
author={Peter, Manuel and Hildebrandt, Andre and Schlickriede, Christian and Gharib,
Kimia and Zentgraf, Thomas and Förstner, Jens and Linden, Stefan}, year={2017},
pages={4178–4183} }'
chicago: 'Peter, Manuel, Andre Hildebrandt, Christian Schlickriede, Kimia Gharib,
Thomas Zentgraf, Jens Förstner, and Stefan Linden. “Directional Emission from
Dielectric Leaky-Wave Nanoantennas.” Nano Letters 17, no. 7 (2017): 4178–83.
https://doi.org/10.1021/acs.nanolett.7b00966.'
ieee: M. Peter et al., “Directional Emission from Dielectric Leaky-Wave Nanoantennas,”
Nano Letters, vol. 17, no. 7, pp. 4178–4183, 2017.
mla: Peter, Manuel, et al. “Directional Emission from Dielectric Leaky-Wave Nanoantennas.”
Nano Letters, vol. 17, no. 7, American Chemical Society (ACS), 2017, pp.
4178–83, doi:10.1021/acs.nanolett.7b00966.
short: M. Peter, A. Hildebrandt, C. Schlickriede, K. Gharib, T. Zentgraf, J. Förstner,
S. Linden, Nano Letters 17 (2017) 4178–4183.
date_created: 2017-11-13T07:36:01Z
date_updated: 2022-01-06T07:03:20Z
ddc:
- '530'
department:
- _id: '61'
- _id: '289'
doi: 10.1021/acs.nanolett.7b00966
file:
- access_level: open_access
content_type: application/pdf
creator: fossie
date_created: 2018-08-16T08:07:31Z
date_updated: 2018-08-21T10:41:58Z
file_id: '3917'
file_name: 2017-08 Peter - Nano Letters - Directional Emission from Dielectric Leaky-Wave
Antennas.pdf
file_size: 3398275
relation: main_file
file_date_updated: 2018-08-21T10:41:58Z
has_accepted_license: '1'
intvolume: ' 17'
issue: '7'
keyword:
- tet_topic_opticalantenna
language:
- iso: eng
oa: '1'
page: 4178-4183
project:
- _id: '53'
name: TRR 142
- _id: '56'
name: TRR 142 - Project Area C
- _id: '74'
name: TRR 142 - Subproject C4
publication: Nano Letters
publication_identifier:
issn:
- 1530-6984
- 1530-6992
publication_status: published
publisher: American Chemical Society (ACS)
status: public
title: Directional Emission from Dielectric Leaky-Wave Nanoantennas
type: journal_article
urn: '6808'
user_id: '158'
volume: 17
year: '2017'
...
---
_id: '685'
author:
- first_name: Marie-Christine
full_name: Jakobs, Marie-Christine
last_name: Jakobs
citation:
ama: Jakobs M-C. On-The-Fly Safety Checking - Customizing Program Certification
and Program Restructuring. Universität Paderborn; 2017. doi:10.17619/UNIPB/1-104
apa: Jakobs, M.-C. (2017). On-The-Fly Safety Checking - Customizing Program Certification
and Program Restructuring. Universität Paderborn. https://doi.org/10.17619/UNIPB/1-104
bibtex: '@book{Jakobs_2017, title={On-The-Fly Safety Checking - Customizing Program
Certification and Program Restructuring}, DOI={10.17619/UNIPB/1-104},
publisher={Universität Paderborn}, author={Jakobs, Marie-Christine}, year={2017}
}'
chicago: Jakobs, Marie-Christine. On-The-Fly Safety Checking - Customizing Program
Certification and Program Restructuring. Universität Paderborn, 2017. https://doi.org/10.17619/UNIPB/1-104.
ieee: M.-C. Jakobs, On-The-Fly Safety Checking - Customizing Program Certification
and Program Restructuring. Universität Paderborn, 2017.
mla: Jakobs, Marie-Christine. On-The-Fly Safety Checking - Customizing Program
Certification and Program Restructuring. Universität Paderborn, 2017, doi:10.17619/UNIPB/1-104.
short: M.-C. Jakobs, On-The-Fly Safety Checking - Customizing Program Certification
and Program Restructuring, Universität Paderborn, 2017.
date_created: 2017-11-13T08:13:29Z
date_updated: 2022-01-06T07:03:22Z
ddc:
- '040'
department:
- _id: '77'
doi: 10.17619/UNIPB/1-104
file:
- access_level: closed
content_type: application/pdf
creator: florida
date_created: 2018-03-14T12:26:52Z
date_updated: 2018-03-14T12:26:52Z
file_id: '1211'
file_name: 685-Dissertation-Jakobs.pdf
file_size: 11828624
relation: main_file
success: 1
file_date_updated: 2018-03-14T12:26:52Z
has_accepted_license: '1'
project:
- _id: '1'
name: SFB 901
- _id: '12'
name: SFB 901 - Subprojekt B4
- _id: '3'
name: SFB 901 - Project Area B
publisher: Universität Paderborn
status: public
supervisor:
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
title: On-The-Fly Safety Checking - Customizing Program Certification and Program
Restructuring
type: dissertation
user_id: '477'
year: '2017'
...
---
_id: '69'
abstract:
- lang: eng
text: 'Today, software is traded worldwide on global markets, with apps being downloaded
to smartphones within minutes or seconds. This poses, more than ever, the challenge
of ensuring safety of software in the face of (1) unknown or untrusted software
providers together with (2) resource-limited software consumers. The concept of
Proof-Carrying Code (PCC), years ago suggested by Necula, provides one framework
for securing the execution of untrusted code. PCC techniques attach safety proofs,
constructed by software producers, to code. Based on the assumption that checking
proofs is usually much simpler than constructing proofs, software consumers should
thus be able to quickly check the safety of software. However, PCC techniques
often suffer from the size of certificates (i.e., the attached proofs), making
PCC techniques inefficient in practice.In this article, we introduce a new framework
for the safe execution of untrusted code called Programs from Proofs (PfP). The
basic assumption underlying the PfP technique is the fact that the structure of
programs significantly influences the complexity of checking a specific safety
property. Instead of attaching proofs to program code, the PfP technique transforms
the program into an efficiently checkable form, thus guaranteeing quick safety
checks for software consumers. For this transformation, the technique also uses
a producer-side automatic proof of safety. More specifically, safety proving for
the software producer proceeds via the construction of an abstract reachability
graph (ARG) unfolding the control-flow automaton (CFA) up to the degree necessary
for simple checking. To this end, we combine different sorts of software analysis:
expensive analyses incrementally determining the degree of unfolding, and cheap
analyses responsible for safety checking. Out of the abstract reachability graph
we generate the new program. In its CFA structure, it is isomorphic to the graph
and hence another, this time consumer-side, cheap analysis can quickly determine
its safety.Like PCC, Programs from Proofs is a general framework instantiable
with different sorts of (expensive and cheap) analysis. Here, we present the general
framework and exemplify it by some concrete examples. We have implemented different
instantiations on top of the configurable program analysis tool CPAchecker and
report on experiments, in particular on comparisons with PCC techniques.'
author:
- 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: 'Jakobs M-C, Wehrheim H. Programs from Proofs: A Framework for the Safe Execution
of Untrusted Software. ACM Transactions on Programming Languages and Systems.
2017;(2):7:1-7:56. doi:10.1145/3014427'
apa: 'Jakobs, M.-C., & Wehrheim, H. (2017). Programs from Proofs: A Framework
for the Safe Execution of Untrusted Software. ACM Transactions on Programming
Languages and Systems, (2), 7:1-7:56. https://doi.org/10.1145/3014427'
bibtex: '@article{Jakobs_Wehrheim_2017, title={Programs from Proofs: A Framework
for the Safe Execution of Untrusted Software}, DOI={10.1145/3014427},
number={2}, journal={ACM Transactions on Programming Languages and Systems}, publisher={ACM},
author={Jakobs, Marie-Christine and Wehrheim, Heike}, year={2017}, pages={7:1-7:56}
}'
chicago: 'Jakobs, Marie-Christine, and Heike Wehrheim. “Programs from Proofs: A
Framework for the Safe Execution of Untrusted Software.” ACM Transactions on
Programming Languages and Systems, no. 2 (2017): 7:1-7:56. https://doi.org/10.1145/3014427.'
ieee: 'M.-C. Jakobs and H. Wehrheim, “Programs from Proofs: A Framework for the
Safe Execution of Untrusted Software,” ACM Transactions on Programming Languages
and Systems, no. 2, pp. 7:1-7:56, 2017.'
mla: 'Jakobs, Marie-Christine, and Heike Wehrheim. “Programs from Proofs: A Framework
for the Safe Execution of Untrusted Software.” ACM Transactions on Programming
Languages and Systems, no. 2, ACM, 2017, pp. 7:1-7:56, doi:10.1145/3014427.'
short: M.-C. Jakobs, H. Wehrheim, ACM Transactions on Programming Languages and
Systems (2017) 7:1-7:56.
date_created: 2017-10-17T12:41:04Z
date_updated: 2022-01-06T07:03:23Z
ddc:
- '040'
department:
- _id: '77'
doi: 10.1145/3014427
file:
- access_level: closed
content_type: application/pdf
creator: florida
date_created: 2018-03-21T13:15:09Z
date_updated: 2018-03-21T13:15:09Z
file_id: '1575'
file_name: 69-a7-jakobs.pdf
file_size: 1215139
relation: main_file
success: 1
file_date_updated: 2018-03-21T13:15:09Z
has_accepted_license: '1'
issue: '2'
language:
- iso: eng
page: 7:1-7:56
project:
- _id: '1'
name: SFB 901
- _id: '12'
name: SFB 901 - Subprojekt B4
- _id: '3'
name: SFB 901 - Project Area B
publication: ACM Transactions on Programming Languages and Systems
publisher: ACM
status: public
title: 'Programs from Proofs: A Framework for the Safe Execution of Untrusted Software'
type: journal_article
user_id: '477'
year: '2017'
...
---
_id: '695'
author:
- first_name: Joshua
full_name: Nowack, Joshua
last_name: Nowack
citation:
ama: Nowack J. On-The-Fly Konstruktion zusammenhängender Straßennetze aus gegebenen
Einzelteilen. Universität Paderborn; 2017.
apa: Nowack, J. (2017). On-The-Fly Konstruktion zusammenhängender Straßennetze
aus gegebenen Einzelteilen. Universität Paderborn.
bibtex: '@book{Nowack_2017, title={On-The-Fly Konstruktion zusammenhängender Straßennetze
aus gegebenen Einzelteilen}, publisher={Universität Paderborn}, author={Nowack,
Joshua}, year={2017} }'
chicago: Nowack, Joshua. On-The-Fly Konstruktion zusammenhängender Straßennetze
aus gegebenen Einzelteilen. Universität Paderborn, 2017.
ieee: J. Nowack, On-The-Fly Konstruktion zusammenhängender Straßennetze aus gegebenen
Einzelteilen. Universität Paderborn, 2017.
mla: Nowack, Joshua. On-The-Fly Konstruktion zusammenhängender Straßennetze aus
gegebenen Einzelteilen. Universität Paderborn, 2017.
short: J. Nowack, On-The-Fly Konstruktion zusammenhängender Straßennetze aus gegebenen
Einzelteilen, Universität Paderborn, 2017.
date_created: 2017-11-14T06:57:49Z
date_updated: 2022-01-06T07:03:23Z
department:
- _id: '63'
language:
- iso: ger
publisher: Universität Paderborn
status: public
title: On-The-Fly Konstruktion zusammenhängender Straßennetze aus gegebenen Einzelteilen
type: bachelorsthesis
user_id: '14052'
year: '2017'
...
---
_id: '16444'
author:
- first_name: Jürgen
full_name: Gausemeier, Jürgen
last_name: Gausemeier
- first_name: Eric
full_name: Bodden, Eric
last_name: Bodden
- first_name: Falko
full_name: ' Dressler, Falko'
last_name: ' Dressler'
- first_name: Roman
full_name: Dumitrescu, Roman
last_name: Dumitrescu
- first_name: Friedhelm
full_name: Meyer auf der Heide, Friedhelm
id: '15523'
last_name: Meyer auf der Heide
- first_name: Christoph
full_name: Scheytt, Christoph
last_name: Scheytt
- first_name: Ansgar
full_name: Trächtler, Ansgar
last_name: Trächtler
citation:
ama: Gausemeier J, Bodden E, Dressler F, et al. Wissenschaftsforum Intelligente
Technische Systeme (WInTeSys). Paderborn; 2017.
apa: Gausemeier, J., Bodden, E., Dressler, F., Dumitrescu, R., Meyer auf der Heide,
F., Scheytt, C., & Trächtler, A. (2017). Wissenschaftsforum Intelligente
Technische Systeme (WInTeSys). Paderborn.
bibtex: '@book{Gausemeier_Bodden_ Dressler_Dumitrescu_Meyer auf der Heide_Scheytt_Trächtler_2017,
place={Paderborn}, series={Verlagsschriftenreihe des Heinz Nixdorf Instituts,
Paderborn}}, title={Wissenschaftsforum Intelligente Technische Systeme (WInTeSys)},
author={Gausemeier, Jürgen and Bodden, Eric and Dressler, Falko and Dumitrescu,
Roman and Meyer auf der Heide, Friedhelm and Scheytt, Christoph and Trächtler,
Ansgar}, year={2017}, collection={Verlagsschriftenreihe des Heinz Nixdorf Instituts,
Paderborn}} }'
chicago: Gausemeier, Jürgen, Eric Bodden, Falko Dressler, Roman Dumitrescu, Friedhelm
Meyer auf der Heide, Christoph Scheytt, and Ansgar Trächtler. Wissenschaftsforum
Intelligente Technische Systeme (WInTeSys). Verlagsschriftenreihe Des Heinz
Nixdorf Instituts, Paderborn}. Paderborn, 2017.
ieee: J. Gausemeier et al., Wissenschaftsforum Intelligente Technische
Systeme (WInTeSys). Paderborn, 2017.
mla: Gausemeier, Jürgen, et al. Wissenschaftsforum Intelligente Technische Systeme
(WInTeSys). 2017.
short: J. Gausemeier, E. Bodden, F. Dressler, R. Dumitrescu, F. Meyer auf der Heide,
C. Scheytt, A. Trächtler, Wissenschaftsforum Intelligente Technische Systeme (WInTeSys),
Paderborn, 2017.
date_created: 2020-04-07T06:36:06Z
date_updated: 2022-01-06T06:52:50Z
department:
- _id: '63'
language:
- iso: eng
page: '369'
place: Paderborn
publication_status: published
series_title: Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}
status: public
title: Wissenschaftsforum Intelligente Technische Systeme (WInTeSys)
type: book
user_id: '15415'
year: '2017'
...
---
_id: '16461'
author:
- first_name: Pascal
full_name: Bemmann, Pascal
last_name: Bemmann
- first_name: Felix
full_name: Biermeier, Felix
last_name: Biermeier
- first_name: Jan
full_name: Bürmann, Jan
last_name: Bürmann
- first_name: Arne
full_name: Kemper, Arne
last_name: Kemper
- first_name: Till
full_name: Knollmann, Till
id: '39241'
last_name: Knollmann
orcid: 0000-0003-2014-4696
- first_name: Steffen
full_name: Knorr, Steffen
last_name: Knorr
- first_name: Nils
full_name: Kothe, Nils
last_name: Kothe
- first_name: Alexander
full_name: Mäcker, Alexander
id: '13536'
last_name: Mäcker
- first_name: Manuel
full_name: Malatyali, Manuel
id: '41265'
last_name: Malatyali
- first_name: Friedhelm
full_name: Meyer auf der Heide, Friedhelm
id: '15523'
last_name: Meyer auf der Heide
- first_name: Sören
full_name: Riechers, Sören
last_name: Riechers
- first_name: Johannes Sebastian
full_name: Schaefer, Johannes Sebastian
id: '30291'
last_name: Schaefer
- first_name: Jannik
full_name: Sundermeier, Jannik
id: '38705'
last_name: Sundermeier
citation:
ama: 'Bemmann P, Biermeier F, Bürmann J, et al. Monitoring of Domain-Related Problems
in Distributed Data Streams. In: Structural Information and Communication Complexity.
; 2017. doi:10.1007/978-3-319-72050-0_13'
apa: Bemmann, P., Biermeier, F., Bürmann, J., Kemper, A., Knollmann, T., Knorr,
S., Kothe, N., Mäcker, A., Malatyali, M., Meyer auf der Heide, F., Riechers, S.,
Schaefer, J. S., & Sundermeier, J. (2017). Monitoring of Domain-Related Problems
in Distributed Data Streams. In Structural Information and Communication Complexity.
https://doi.org/10.1007/978-3-319-72050-0_13
bibtex: '@inbook{Bemmann_Biermeier_Bürmann_Kemper_Knollmann_Knorr_Kothe_Mäcker_Malatyali_Meyer
auf der Heide_et al._2017, place={Cham}, title={Monitoring of Domain-Related Problems
in Distributed Data Streams}, DOI={10.1007/978-3-319-72050-0_13},
booktitle={Structural Information and Communication Complexity}, author={Bemmann,
Pascal and Biermeier, Felix and Bürmann, Jan and Kemper, Arne and Knollmann, Till
and Knorr, Steffen and Kothe, Nils and Mäcker, Alexander and Malatyali, Manuel
and Meyer auf der Heide, Friedhelm and et al.}, year={2017} }'
chicago: Bemmann, Pascal, Felix Biermeier, Jan Bürmann, Arne Kemper, Till Knollmann,
Steffen Knorr, Nils Kothe, et al. “Monitoring of Domain-Related Problems in Distributed
Data Streams.” In Structural Information and Communication Complexity.
Cham, 2017. https://doi.org/10.1007/978-3-319-72050-0_13.
ieee: P. Bemmann et al., “Monitoring of Domain-Related Problems in Distributed
Data Streams,” in Structural Information and Communication Complexity,
Cham, 2017.
mla: Bemmann, Pascal, et al. “Monitoring of Domain-Related Problems in Distributed
Data Streams.” Structural Information and Communication Complexity, 2017,
doi:10.1007/978-3-319-72050-0_13.
short: 'P. Bemmann, F. Biermeier, J. Bürmann, A. Kemper, T. Knollmann, S. Knorr,
N. Kothe, A. Mäcker, M. Malatyali, F. Meyer auf der Heide, S. Riechers, J.S. Schaefer,
J. Sundermeier, in: Structural Information and Communication Complexity, Cham,
2017.'
date_created: 2020-04-08T07:20:20Z
date_updated: 2022-01-06T06:52:50Z
department:
- _id: '63'
doi: 10.1007/978-3-319-72050-0_13
external_id:
arxiv:
- 'arXiv:1706.03568 '
language:
- iso: eng
place: Cham
publication: Structural Information and Communication Complexity
publication_identifier:
isbn:
- '9783319720494'
- '9783319720500'
issn:
- 0302-9743
- 1611-3349
publication_status: published
status: public
title: Monitoring of Domain-Related Problems in Distributed Data Streams
type: book_chapter
user_id: '15415'
year: '2017'
...
---
_id: '16540'
author:
- first_name: Michael
full_name: Dellnitz, Michael
last_name: Dellnitz
- first_name: Stefan
full_name: Klus, Stefan
last_name: Klus
citation:
ama: Dellnitz M, Klus S. Sensing and control in symmetric networks. Dynamical
Systems. 2017:61-79. doi:10.1080/14689367.2016.1215410
apa: Dellnitz, M., & Klus, S. (2017). Sensing and control in symmetric networks.
Dynamical Systems, 61–79. https://doi.org/10.1080/14689367.2016.1215410
bibtex: '@article{Dellnitz_Klus_2017, title={Sensing and control in symmetric networks},
DOI={10.1080/14689367.2016.1215410},
journal={Dynamical Systems}, author={Dellnitz, Michael and Klus, Stefan}, year={2017},
pages={61–79} }'
chicago: Dellnitz, Michael, and Stefan Klus. “Sensing and Control in Symmetric Networks.”
Dynamical Systems, 2017, 61–79. https://doi.org/10.1080/14689367.2016.1215410.
ieee: M. Dellnitz and S. Klus, “Sensing and control in symmetric networks,” Dynamical
Systems, pp. 61–79, 2017.
mla: Dellnitz, Michael, and Stefan Klus. “Sensing and Control in Symmetric Networks.”
Dynamical Systems, 2017, pp. 61–79, doi:10.1080/14689367.2016.1215410.
short: M. Dellnitz, S. Klus, Dynamical Systems (2017) 61–79.
date_created: 2020-04-15T08:40:29Z
date_updated: 2022-01-06T06:52:52Z
department:
- _id: '101'
doi: 10.1080/14689367.2016.1215410
language:
- iso: eng
page: 61-79
publication: Dynamical Systems
publication_identifier:
issn:
- 1468-9367
- 1468-9375
publication_status: published
status: public
title: Sensing and control in symmetric networks
type: journal_article
user_id: '15701'
year: '2017'
...
---
_id: '16581'
author:
- first_name: Michael
full_name: Dellnitz, Michael
last_name: Dellnitz
- first_name: Stefan
full_name: Klus, Stefan
last_name: Klus
- first_name: Adrian
full_name: Ziessler, Adrian
last_name: Ziessler
citation:
ama: Dellnitz M, Klus S, Ziessler A. A Set-Oriented Numerical Approach for Dynamical
Systems with Parameter Uncertainty. SIAM Journal on Applied Dynamical Systems.
2017:120-138. doi:10.1137/16m1072735
apa: Dellnitz, M., Klus, S., & Ziessler, A. (2017). A Set-Oriented Numerical
Approach for Dynamical Systems with Parameter Uncertainty. SIAM Journal on
Applied Dynamical Systems, 120–138. https://doi.org/10.1137/16m1072735
bibtex: '@article{Dellnitz_Klus_Ziessler_2017, title={A Set-Oriented Numerical Approach
for Dynamical Systems with Parameter Uncertainty}, DOI={10.1137/16m1072735},
journal={SIAM Journal on Applied Dynamical Systems}, author={Dellnitz, Michael
and Klus, Stefan and Ziessler, Adrian}, year={2017}, pages={120–138} }'
chicago: Dellnitz, Michael, Stefan Klus, and Adrian Ziessler. “A Set-Oriented Numerical
Approach for Dynamical Systems with Parameter Uncertainty.” SIAM Journal on
Applied Dynamical Systems, 2017, 120–38. https://doi.org/10.1137/16m1072735.
ieee: M. Dellnitz, S. Klus, and A. Ziessler, “A Set-Oriented Numerical Approach
for Dynamical Systems with Parameter Uncertainty,” SIAM Journal on Applied
Dynamical Systems, pp. 120–138, 2017.
mla: Dellnitz, Michael, et al. “A Set-Oriented Numerical Approach for Dynamical
Systems with Parameter Uncertainty.” SIAM Journal on Applied Dynamical Systems,
2017, pp. 120–38, doi:10.1137/16m1072735.
short: M. Dellnitz, S. Klus, A. Ziessler, SIAM Journal on Applied Dynamical Systems
(2017) 120–138.
date_created: 2020-04-16T05:39:17Z
date_updated: 2022-01-06T06:52:52Z
department:
- _id: '101'
doi: 10.1137/16m1072735
language:
- iso: eng
page: 120-138
publication: SIAM Journal on Applied Dynamical Systems
publication_identifier:
issn:
- 1536-0040
publication_status: published
status: public
title: A Set-Oriented Numerical Approach for Dynamical Systems with Parameter Uncertainty
type: journal_article
user_id: '15701'
year: '2017'
...
---
_id: '16657'
author:
- first_name: Sebastian
full_name: Peitz, Sebastian
last_name: Peitz
- first_name: Kai
full_name: Schäfer, Kai
last_name: Schäfer
- first_name: Sina
full_name: Ober-Blöbaum, Sina
last_name: Ober-Blöbaum
- first_name: Julian
full_name: Eckstein, Julian
last_name: Eckstein
- first_name: Ulrich
full_name: Köhler, Ulrich
last_name: Köhler
- first_name: Michael
full_name: Dellnitz, Michael
last_name: Dellnitz
citation:
ama: Peitz S, Schäfer K, Ober-Blöbaum S, Eckstein J, Köhler U, Dellnitz M. A Multiobjective
MPC Approach for Autonomously Driven Electric Vehicles * *This research was funded
by the German Federal Ministry of Education and Research (BMBF) within the Leading-Edge
Cluster Intelligent Technical Systems OstWestfalenLippe (it’s OWL). IFAC-PapersOnLine.
2017:8674-8679. doi:10.1016/j.ifacol.2017.08.1526
apa: Peitz, S., Schäfer, K., Ober-Blöbaum, S., Eckstein, J., Köhler, U., & Dellnitz,
M. (2017). A Multiobjective MPC Approach for Autonomously Driven Electric Vehicles
* *This research was funded by the German Federal Ministry of Education and Research
(BMBF) within the Leading-Edge Cluster Intelligent Technical Systems OstWestfalenLippe
(it’s OWL). IFAC-PapersOnLine, 8674–8679. https://doi.org/10.1016/j.ifacol.2017.08.1526
bibtex: '@article{Peitz_Schäfer_Ober-Blöbaum_Eckstein_Köhler_Dellnitz_2017, title={A
Multiobjective MPC Approach for Autonomously Driven Electric Vehicles * *This
research was funded by the German Federal Ministry of Education and Research (BMBF)
within the Leading-Edge Cluster Intelligent Technical Systems OstWestfalenLippe
(it’s OWL).}, DOI={10.1016/j.ifacol.2017.08.1526},
journal={IFAC-PapersOnLine}, author={Peitz, Sebastian and Schäfer, Kai and Ober-Blöbaum,
Sina and Eckstein, Julian and Köhler, Ulrich and Dellnitz, Michael}, year={2017},
pages={8674–8679} }'
chicago: Peitz, Sebastian, Kai Schäfer, Sina Ober-Blöbaum, Julian Eckstein, Ulrich
Köhler, and Michael Dellnitz. “A Multiobjective MPC Approach for Autonomously
Driven Electric Vehicles * *This Research Was Funded by the German Federal Ministry
of Education and Research (BMBF) within the Leading-Edge Cluster Intelligent Technical
Systems OstWestfalenLippe (It’s OWL).” IFAC-PapersOnLine, 2017, 8674–79.
https://doi.org/10.1016/j.ifacol.2017.08.1526.
ieee: S. Peitz, K. Schäfer, S. Ober-Blöbaum, J. Eckstein, U. Köhler, and M. Dellnitz,
“A Multiobjective MPC Approach for Autonomously Driven Electric Vehicles * *This
research was funded by the German Federal Ministry of Education and Research (BMBF)
within the Leading-Edge Cluster Intelligent Technical Systems OstWestfalenLippe
(it’s OWL).,” IFAC-PapersOnLine, pp. 8674–8679, 2017.
mla: Peitz, Sebastian, et al. “A Multiobjective MPC Approach for Autonomously Driven
Electric Vehicles * *This Research Was Funded by the German Federal Ministry of
Education and Research (BMBF) within the Leading-Edge Cluster Intelligent Technical
Systems OstWestfalenLippe (It’s OWL).” IFAC-PapersOnLine, 2017, pp. 8674–79,
doi:10.1016/j.ifacol.2017.08.1526.
short: S. Peitz, K. Schäfer, S. Ober-Blöbaum, J. Eckstein, U. Köhler, M. Dellnitz,
IFAC-PapersOnLine (2017) 8674–8679.
date_created: 2020-04-16T09:30:56Z
date_updated: 2022-01-06T06:52:53Z
department:
- _id: '101'
doi: 10.1016/j.ifacol.2017.08.1526
language:
- iso: eng
page: 8674-8679
publication: IFAC-PapersOnLine
publication_identifier:
issn:
- 2405-8963
publication_status: published
status: public
title: A Multiobjective MPC Approach for Autonomously Driven Electric Vehicles * *This
research was funded by the German Federal Ministry of Education and Research (BMBF)
within the Leading-Edge Cluster Intelligent Technical Systems OstWestfalenLippe
(it’s OWL).
type: journal_article
user_id: '15701'
year: '2017'
...
---
_id: '104'
author:
- first_name: Denis
full_name: Diemert, Denis
last_name: Diemert
citation:
ama: Diemert D. EAX - An Authenticated Encryption Mode for Block Ciphers.
Universität Paderborn; 2017.
apa: Diemert, D. (2017). EAX - An Authenticated Encryption Mode for Block Ciphers.
Universität Paderborn.
bibtex: '@book{Diemert_2017, title={EAX - An Authenticated Encryption Mode for Block
Ciphers}, publisher={Universität Paderborn}, author={Diemert, Denis}, year={2017}
}'
chicago: Diemert, Denis. EAX - An Authenticated Encryption Mode for Block Ciphers.
Universität Paderborn, 2017.
ieee: D. Diemert, EAX - An Authenticated Encryption Mode for Block Ciphers.
Universität Paderborn, 2017.
mla: Diemert, Denis. EAX - An Authenticated Encryption Mode for Block Ciphers.
Universität Paderborn, 2017.
short: D. Diemert, EAX - An Authenticated Encryption Mode for Block Ciphers, Universität
Paderborn, 2017.
date_created: 2017-10-17T12:41:11Z
date_updated: 2022-01-06T06:50:38Z
department:
- _id: '64'
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: Johannes
full_name: Blömer, Johannes
id: '23'
last_name: Blömer
title: EAX - An Authenticated Encryption Mode for Block Ciphers
type: bachelorsthesis
user_id: '477'
year: '2017'
...
---
_id: '105'
abstract:
- lang: eng
text: We initiate the study of network monitoring algorithms in a class of hybrid
networks in which the nodes are connected by an external network and an internal
network (as a short form for externally and internally controlled network). While
the external network lies outside of the control of the nodes (or in our case,
the monitoring protocol running in them) and might be exposed to continuous changes,
the internal network is fully under the control of the nodes. As an example, consider
a group of users with mobile devices having access to the cell phone infrastructure.
While the network formed by the WiFi connections of the devices is an external
network (as its structure is not necessarily under the control of the monitoring
protocol), the connections between the devices via the cell phone infrastructure
represent an internal network (as it can be controlled by the monitoring protocol).
Our goal is to continuously monitor properties of the external network with the
help of the internal network. We present scalable distributed algorithms that
efficiently monitor the number of edges, the average node degree, the clustering
coefficient, the bipartiteness, and the weight of a minimum spanning tree. Their
performance bounds demonstrate that monitoring the external network state with
the help of an internal network can be done much more efficiently than just using
the external network, as is usually done in the literature.
author:
- first_name: Robert
full_name: Gmyr, Robert
last_name: Gmyr
- first_name: Kristian
full_name: Hinnenthal, Kristian
id: '32229'
last_name: Hinnenthal
- first_name: Christian
full_name: Scheideler, Christian
id: '20792'
last_name: Scheideler
- first_name: Christian
full_name: Sohler, Christian
last_name: Sohler
citation:
ama: 'Gmyr R, Hinnenthal K, Scheideler C, Sohler C. Distributed Monitoring of Network
Properties: The Power of Hybrid Networks. In: Proceedings of the 44th International
Colloquium on Automata, Languages, and Programming (ICALP). Leibniz International
Proceedings in Informatics (LIPIcs). ; 2017:137:1--137:15. doi:10.4230/LIPIcs.ICALP.2017.137'
apa: 'Gmyr, R., Hinnenthal, K., Scheideler, C., & Sohler, C. (2017). Distributed
Monitoring of Network Properties: The Power of Hybrid Networks. In Proceedings
of the 44th International Colloquium on Automata, Languages, and Programming (ICALP)
(pp. 137:1--137:15). https://doi.org/10.4230/LIPIcs.ICALP.2017.137'
bibtex: '@inproceedings{Gmyr_Hinnenthal_Scheideler_Sohler_2017, series={Leibniz
International Proceedings in Informatics (LIPIcs)}, title={Distributed Monitoring
of Network Properties: The Power of Hybrid Networks}, DOI={10.4230/LIPIcs.ICALP.2017.137},
booktitle={Proceedings of the 44th International Colloquium on Automata, Languages,
and Programming (ICALP)}, author={Gmyr, Robert and Hinnenthal, Kristian and Scheideler,
Christian and Sohler, Christian}, year={2017}, pages={137:1--137:15}, collection={Leibniz
International Proceedings in Informatics (LIPIcs)} }'
chicago: 'Gmyr, Robert, Kristian Hinnenthal, Christian Scheideler, and Christian
Sohler. “Distributed Monitoring of Network Properties: The Power of Hybrid Networks.”
In Proceedings of the 44th International Colloquium on Automata, Languages,
and Programming (ICALP), 137:1--137:15. Leibniz International Proceedings
in Informatics (LIPIcs), 2017. https://doi.org/10.4230/LIPIcs.ICALP.2017.137.'
ieee: 'R. Gmyr, K. Hinnenthal, C. Scheideler, and C. Sohler, “Distributed Monitoring
of Network Properties: The Power of Hybrid Networks,” in Proceedings of the
44th International Colloquium on Automata, Languages, and Programming (ICALP),
2017, pp. 137:1--137:15.'
mla: 'Gmyr, Robert, et al. “Distributed Monitoring of Network Properties: The Power
of Hybrid Networks.” Proceedings of the 44th International Colloquium on Automata,
Languages, and Programming (ICALP), 2017, pp. 137:1--137:15, doi:10.4230/LIPIcs.ICALP.2017.137.'
short: 'R. Gmyr, K. Hinnenthal, C. Scheideler, C. Sohler, in: Proceedings of the
44th International Colloquium on Automata, Languages, and Programming (ICALP),
2017, pp. 137:1--137:15.'
date_created: 2017-10-17T12:41:12Z
date_updated: 2022-01-06T06:50:42Z
ddc:
- '040'
department:
- _id: '79'
doi: 10.4230/LIPIcs.ICALP.2017.137
file:
- access_level: closed
content_type: application/pdf
creator: florida
date_created: 2018-03-13T09:23:11Z
date_updated: 2018-03-13T09:23:11Z
file_id: '1207'
file_name: 105-ICALP17-GHSS.pdf
file_size: 504161
relation: main_file
success: 1
file_date_updated: 2018-03-13T09:23:11Z
has_accepted_license: '1'
language:
- iso: eng
page: 137:1--137:15
project:
- _id: '1'
name: SFB 901
- _id: '2'
name: SFB 901 - Project Area A
- _id: '5'
name: SFB 901 - Subproject A1
publication: Proceedings of the 44th International Colloquium on Automata, Languages,
and Programming (ICALP)
series_title: Leibniz International Proceedings in Informatics (LIPIcs)
status: public
title: 'Distributed Monitoring of Network Properties: The Power of Hybrid Networks'
type: conference
user_id: '20792'
year: '2017'
...
---
_id: '10589'
author:
- first_name: J.
full_name: Fürnkranz, J.
last_name: Fürnkranz
- first_name: Eyke
full_name: Hüllermeier, Eyke
id: '48129'
last_name: Hüllermeier
citation:
ama: 'Fürnkranz J, Hüllermeier E. Preference Learning. In: Encyclopedia of Machine
Learning and Data Mining. ; 2017:1000-1005.'
apa: Fürnkranz, J., & Hüllermeier, E. (2017). Preference Learning. In Encyclopedia
of Machine Learning and Data Mining (pp. 1000–1005).
bibtex: '@inbook{Fürnkranz_Hüllermeier_2017, title={Preference Learning}, booktitle={Encyclopedia
of Machine Learning and Data Mining}, author={Fürnkranz, J. and Hüllermeier, Eyke},
year={2017}, pages={1000–1005} }'
chicago: Fürnkranz, J., and Eyke Hüllermeier. “Preference Learning.” In Encyclopedia
of Machine Learning and Data Mining, 1000–1005, 2017.
ieee: J. Fürnkranz and E. Hüllermeier, “Preference Learning,” in Encyclopedia
of Machine Learning and Data Mining, 2017, pp. 1000–1005.
mla: Fürnkranz, J., and Eyke Hüllermeier. “Preference Learning.” Encyclopedia
of Machine Learning and Data Mining, 2017, pp. 1000–05.
short: 'J. Fürnkranz, E. Hüllermeier, in: Encyclopedia of Machine Learning and Data
Mining, 2017, pp. 1000–1005.'
date_created: 2019-07-09T15:37:09Z
date_updated: 2022-01-06T06:50:45Z
department:
- _id: '34'
- _id: '7'
- _id: '355'
language:
- iso: eng
page: 1000-1005
publication: Encyclopedia of Machine Learning and Data Mining
status: public
title: Preference Learning
type: encyclopedia_article
user_id: '49109'
year: '2017'
...
---
_id: '10594'
abstract:
- lang: eng
text: "Multiobjective optimization plays an increasingly important role in modern
applications, where several criteria are often of equal importance. The task in
multiobjective optimization and multiobjective optimal control is therefore to
compute\r\nthe set of optimal compromises (the Pareto set) between the conflicting
objectives.\r\n\r\nSince – in contrast to the solution of a single objective optimization
problem – the\r\nPareto set generally consists of an infinite number of solutions,
the computational\r\neffort can quickly become challenging. This is even more
the case when many problems have to be solved, when the number of objectives is
high, or when the objectives\r\nare costly to evaluate. Consequently, this thesis
is devoted to the identification and\r\nexploitation of structure both in the
Pareto set and the dynamics of the underlying\r\nmodel as well as to the development
of efficient algorithms for solving problems with\r\nadditional parameters, with
a high number of objectives or with PDE-constraints.\r\nThese three challenges
are addressed in three respective parts.\r\n\r\nIn the first part, predictor-corrector
methods are extended to entire Pareto sets.\r\nWhen certain smoothness assumptions
are satisfied, then the set of parameter dependent Pareto sets possesses additional
structure, i.e. it is a manifold. The tangent\r\nspace can be approximated numerically
which yields a direction for the predictor\r\nstep. In the corrector step, the
predicted set converges to the Pareto set at a new\r\nparameter value. The resulting
algorithm is applied to an example from autonomous\r\ndriving.\r\n\r\nIn the second
part, the hierarchical structure of Pareto sets is investigated. When\r\nconsidering
a subset of the objectives, the resulting solution is a subset of the Pareto\r\nset
of the original problem. Under additional smoothness assumptions, the respective
subsets are located on the boundary of the Pareto set of the full problem. This\r\nway,
the “skeleton” of a Pareto set can be computed and due to the exponential\r\nincrease
in computing time with the number of objectives, the computations of\r\nthese
subsets are significantly faster which is demonstrated using an example from\r\nindustrial
laundries.\r\n\r\nIn the third part, PDE-constrained multiobjective optimal control
problems are\r\naddressed by reduced order modeling methods. Reduced order models
exploit the\r\nstructure in the system dynamics, for example by describing the
dynamics of only the\r\nmost energetic modes. The model reduction introduces an
error in both the function values and their gradients, which has to be taken into
account in the development of\r\nalgorithms. Both scalarization and set-oriented
approaches are coupled with reduced\r\norder modeling. Convergence results are
presented and the numerical benefit is\r\ninvestigated. The algorithms are applied
to semi-linear heat flow problems as well\r\nas to the Navier-Stokes equations.\r\n"
author:
- first_name: Sebastian
full_name: Peitz, Sebastian
id: '47427'
last_name: Peitz
orcid: https://orcid.org/0000-0002-3389-793X
citation:
ama: Peitz S. Exploiting Structure in Multiobjective Optimization and Optimal
Control.; 2017. doi:10.17619/UNIPB/1-176
apa: Peitz, S. (2017). Exploiting structure in multiobjective optimization
and optimal control. https://doi.org/10.17619/UNIPB/1-176
bibtex: '@book{Peitz_2017, title={ Exploiting structure in multiobjective optimization
and optimal control}, DOI={10.17619/UNIPB/1-176},
author={Peitz, Sebastian}, year={2017} }'
chicago: Peitz, Sebastian. Exploiting Structure in Multiobjective Optimization
and Optimal Control, 2017. https://doi.org/10.17619/UNIPB/1-176.
ieee: S. Peitz, Exploiting structure in multiobjective optimization and optimal
control. 2017.
mla: Peitz, Sebastian. Exploiting Structure in Multiobjective Optimization
and Optimal Control. 2017, doi:10.17619/UNIPB/1-176.
short: S. Peitz, Exploiting Structure in Multiobjective Optimization and Optimal
Control, 2017.
date_created: 2019-07-10T08:12:22Z
date_updated: 2022-01-06T06:50:46Z
ddc:
- '510'
department:
- _id: '101'
doi: 10.17619/UNIPB/1-176
file:
- access_level: closed
content_type: application/pdf
creator: speitz
date_created: 2020-03-13T12:52:50Z
date_updated: 2020-03-13T12:52:50Z
file_id: '16298'
file_name: Dissertation_Peitz.pdf
file_size: 16636801
relation: main_file
success: 1
file_date_updated: 2020-03-13T12:52:50Z
has_accepted_license: '1'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://d-nb.info/1139356542/34
oa: '1'
project:
- _id: '52'
name: Computing Resources Provided by the Paderborn Center for Parallel Computing
publication_status: published
status: public
title: " \tExploiting structure in multiobjective optimization and optimal control"
type: dissertation
user_id: '47427'
year: '2017'
...
---
_id: '10600'
author:
- first_name: Philip
full_name: H.W. Leong, Philip
last_name: H.W. Leong
- first_name: Hideharu
full_name: Amano, Hideharu
last_name: Amano
- first_name: Jason
full_name: Anderson, Jason
last_name: Anderson
- first_name: Koen
full_name: Bertels, Koen
last_name: Bertels
- first_name: Jo\~{a}o
full_name: M.P. Cardoso, Jo\~{a}o
last_name: M.P. Cardoso
- first_name: Oliver
full_name: Diessel, Oliver
last_name: Diessel
- first_name: Guy
full_name: Gogniat, Guy
last_name: Gogniat
- first_name: Mike
full_name: Hutton, Mike
last_name: Hutton
- first_name: JunKyu
full_name: Lee, JunKyu
last_name: Lee
- first_name: Wayne
full_name: Luk, Wayne
last_name: Luk
- first_name: Patrick
full_name: Lysaght, Patrick
last_name: Lysaght
- first_name: Marco
full_name: Platzner, Marco
id: '398'
last_name: Platzner
- first_name: Viktor
full_name: K. Prasanna, Viktor
last_name: K. Prasanna
- first_name: Tero
full_name: Rissa, Tero
last_name: Rissa
- first_name: Cristina
full_name: Silvano, Cristina
last_name: Silvano
- first_name: Hayden
full_name: So, Hayden
last_name: So
- first_name: Yu
full_name: Wang, Yu
last_name: Wang
citation:
ama: H.W. Leong P, Amano H, Anderson J, et al. The First 25 Years of the FPL Conference
– Significant Papers. ACM Transactions on Reconfigurable Technology and Systems.
2017. doi:10.1145/2996468
apa: H.W. Leong, P., Amano, H., Anderson, J., Bertels, K., M.P. Cardoso, J., Diessel,
O., … Wang, Y. (2017). The First 25 Years of the FPL Conference – Significant
Papers. ACM Transactions on Reconfigurable Technology and Systems. https://doi.org/10.1145/2996468
bibtex: '@article{H.W. Leong_Amano_Anderson_Bertels_M.P. Cardoso_Diessel_Gogniat_Hutton_Lee_Luk_et
al._2017, title={The First 25 Years of the FPL Conference – Significant Papers},
DOI={10.1145/2996468}, journal={ACM
Transactions on Reconfigurable Technology and Systems}, author={H.W. Leong, Philip
and Amano, Hideharu and Anderson, Jason and Bertels, Koen and M.P. Cardoso, Jo\~{a}o
and Diessel, Oliver and Gogniat, Guy and Hutton, Mike and Lee, JunKyu and Luk,
Wayne and et al.}, year={2017} }'
chicago: H.W. Leong, Philip, Hideharu Amano, Jason Anderson, Koen Bertels, Jo\~{a}o
M.P. Cardoso, Oliver Diessel, Guy Gogniat, et al. “The First 25 Years of the FPL
Conference – Significant Papers.” ACM Transactions on Reconfigurable Technology
and Systems, 2017. https://doi.org/10.1145/2996468.
ieee: P. H.W. Leong et al., “The First 25 Years of the FPL Conference – Significant
Papers,” ACM Transactions on Reconfigurable Technology and Systems, 2017.
mla: H.W. Leong, Philip, et al. “The First 25 Years of the FPL Conference – Significant
Papers.” ACM Transactions on Reconfigurable Technology and Systems, 2017,
doi:10.1145/2996468.
short: P. H.W. Leong, H. Amano, J. Anderson, K. Bertels, J. M.P. Cardoso, O. Diessel,
G. Gogniat, M. Hutton, J. Lee, W. Luk, P. Lysaght, M. Platzner, V. K. Prasanna,
T. Rissa, C. Silvano, H. So, Y. Wang, ACM Transactions on Reconfigurable Technology
and Systems (2017).
date_created: 2019-07-10T09:22:27Z
date_updated: 2022-01-06T06:50:47Z
department:
- _id: '78'
doi: 10.1145/2996468
language:
- iso: eng
publication: ACM Transactions on Reconfigurable Technology and Systems
status: public
title: The First 25 Years of the FPL Conference – Significant Papers
type: journal_article
user_id: '398'
year: '2017'
...
---
_id: '10601'
author:
- first_name: Ronald
full_name: F. DeMara, Ronald
last_name: F. DeMara
- first_name: Marco
full_name: Platzner, Marco
id: '398'
last_name: Platzner
- first_name: Marco
full_name: Ottavi, Marco
last_name: Ottavi
citation:
ama: 'F. DeMara R, Platzner M, Ottavi M. Innovation in Reconfigurable Computing
Fabrics: from Devices to Architectures (guest editorial). IEEE Transactions
on Computers and IEEE Transactions on Emerging Topics in Computing. 2017.
doi:10.1109/TETC.2016.2641599'
apa: 'F. DeMara, R., Platzner, M., & Ottavi, M. (2017). Innovation in Reconfigurable
Computing Fabrics: from Devices to Architectures (guest editorial). IEEE Transactions
on Computers and IEEE Transactions on Emerging Topics in Computing. https://doi.org/10.1109/TETC.2016.2641599'
bibtex: '@article{F. DeMara_Platzner_Ottavi_2017, title={Innovation in Reconfigurable
Computing Fabrics: from Devices to Architectures (guest editorial)}, DOI={10.1109/TETC.2016.2641599},
journal={IEEE Transactions on Computers and IEEE Transactions on Emerging Topics
in Computing}, author={F. DeMara, Ronald and Platzner, Marco and Ottavi, Marco},
year={2017} }'
chicago: 'F. DeMara, Ronald, Marco Platzner, and Marco Ottavi. “Innovation in Reconfigurable
Computing Fabrics: From Devices to Architectures (Guest Editorial).” IEEE Transactions
on Computers and IEEE Transactions on Emerging Topics in Computing, 2017.
https://doi.org/10.1109/TETC.2016.2641599.'
ieee: 'R. F. DeMara, M. Platzner, and M. Ottavi, “Innovation in Reconfigurable Computing
Fabrics: from Devices to Architectures (guest editorial),” IEEE Transactions
on Computers and IEEE Transactions on Emerging Topics in Computing, 2017.'
mla: 'F. DeMara, Ronald, et al. “Innovation in Reconfigurable Computing Fabrics:
From Devices to Architectures (Guest Editorial).” IEEE Transactions on Computers
and IEEE Transactions on Emerging Topics in Computing, 2017, doi:10.1109/TETC.2016.2641599.'
short: R. F. DeMara, M. Platzner, M. Ottavi, IEEE Transactions on Computers and
IEEE Transactions on Emerging Topics in Computing (2017).
date_created: 2019-07-10T09:22:28Z
date_updated: 2022-01-06T06:50:47Z
department:
- _id: '78'
doi: 10.1109/TETC.2016.2641599
language:
- iso: eng
publication: IEEE Transactions on Computers and IEEE Transactions on Emerging Topics
in Computing
status: public
title: 'Innovation in Reconfigurable Computing Fabrics: from Devices to Architectures
(guest editorial)'
type: journal_article
user_id: '398'
year: '2017'
...
---
_id: '10611'
author:
- first_name: Jahanzeb
full_name: Anwer, Jahanzeb
last_name: Anwer
- first_name: Marco
full_name: Platzner, Marco
id: '398'
last_name: Platzner
citation:
ama: Anwer J, Platzner M. Evaluating fault-tolerance of redundant FPGA structures
using Boolean difference calculus. Microprocessors and Microsystems. 2017:160-172.
doi:10.1016/j.micpro.2017.06.002
apa: Anwer, J., & Platzner, M. (2017). Evaluating fault-tolerance of redundant
FPGA structures using Boolean difference calculus. Microprocessors and Microsystems,
160–172. https://doi.org/10.1016/j.micpro.2017.06.002
bibtex: '@article{Anwer_Platzner_2017, title={Evaluating fault-tolerance of redundant
FPGA structures using Boolean difference calculus}, DOI={10.1016/j.micpro.2017.06.002},
journal={Microprocessors and Microsystems}, publisher={Elsevier}, author={Anwer,
Jahanzeb and Platzner, Marco}, year={2017}, pages={160–172} }'
chicago: Anwer, Jahanzeb, and Marco Platzner. “Evaluating Fault-Tolerance of Redundant
FPGA Structures Using Boolean Difference Calculus.” Microprocessors and Microsystems,
2017, 160–72. https://doi.org/10.1016/j.micpro.2017.06.002.
ieee: J. Anwer and M. Platzner, “Evaluating fault-tolerance of redundant FPGA structures
using Boolean difference calculus,” Microprocessors and Microsystems, pp.
160–172, 2017.
mla: Anwer, Jahanzeb, and Marco Platzner. “Evaluating Fault-Tolerance of Redundant
FPGA Structures Using Boolean Difference Calculus.” Microprocessors and Microsystems,
Elsevier, 2017, pp. 160–72, doi:10.1016/j.micpro.2017.06.002.
short: J. Anwer, M. Platzner, Microprocessors and Microsystems (2017) 160–172.
date_created: 2019-07-10T09:23:11Z
date_updated: 2022-01-06T06:50:47Z
department:
- _id: '78'
doi: 10.1016/j.micpro.2017.06.002
language:
- iso: eng
page: 160-172
publication: Microprocessors and Microsystems
publisher: Elsevier
status: public
title: Evaluating fault-tolerance of redundant FPGA structures using Boolean difference
calculus
type: journal_article
user_id: '3118'
year: '2017'
...