---
_id: '6967'
author:
- first_name: Mahdi
full_name: Derakhshanmanesh, Mahdi
last_name: Derakhshanmanesh
- first_name: Jürgen
full_name: Ebert, Jürgen
last_name: Ebert
- first_name: Marvin
full_name: Grieger, Marvin
last_name: Grieger
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
citation:
ama: 'Derakhshanmanesh M, Ebert J, Grieger M, Engels G. Model-integrating development
of software systems: a flexible component-based approach. Software & Systems
Modeling. 2018:1-30.'
apa: 'Derakhshanmanesh, M., Ebert, J., Grieger, M., & Engels, G. (2018). Model-integrating
development of software systems: a flexible component-based approach. Software
& Systems Modeling, 1–30.'
bibtex: '@article{Derakhshanmanesh_Ebert_Grieger_Engels_2018, title={Model-integrating
development of software systems: a flexible component-based approach}, journal={Software
& Systems Modeling}, author={Derakhshanmanesh, Mahdi and Ebert, Jürgen and
Grieger, Marvin and Engels, Gregor}, year={2018}, pages={1–30} }'
chicago: 'Derakhshanmanesh, Mahdi, Jürgen Ebert, Marvin Grieger, and Gregor Engels.
“Model-Integrating Development of Software Systems: A Flexible Component-Based
Approach.” Software & Systems Modeling, 2018, 1–30.'
ieee: 'M. Derakhshanmanesh, J. Ebert, M. Grieger, and G. Engels, “Model-integrating
development of software systems: a flexible component-based approach,” Software
& Systems Modeling, pp. 1–30, 2018.'
mla: 'Derakhshanmanesh, Mahdi, et al. “Model-Integrating Development of Software
Systems: A Flexible Component-Based Approach.” Software & Systems Modeling,
2018, pp. 1–30.'
short: M. Derakhshanmanesh, J. Ebert, M. Grieger, G. Engels, Software & Systems
Modeling (2018) 1–30.
date_created: 2019-01-24T09:08:46Z
date_updated: 2022-01-06T07:03:24Z
department:
- _id: '66'
language:
- iso: eng
page: 1-30
publication: Software & Systems Modeling
status: public
title: 'Model-integrating development of software systems: a flexible component-based
approach'
type: journal_article
user_id: '11319'
year: '2018'
...
---
_id: '6970'
abstract:
- lang: eng
text: "Dynamic allocation of resources is a key feature in network function virtualization
(NFV), enabling flexible adjustment of slices and contained network services to
ever-changing service demands. \r\nConsidering resource allocation across the
entire network, many authors have proposed approaches to optimize the placement
and chaining of virtual network function (VNF) instances and the allocation of
resources to these VNF instances. In doing so, various optimization objectives
are conceivable, e.g., minimizing certain required resources or the end-to-end
delay of the placed services.\r\n\r\nIn this paper, we investigate the relationship
between four typical optimization objectives when coordinating the placement and
resource allocation of chained VNF instances. We observe an interesting trade-off
between minimizing the overhead of starting/stopping VNF instances and all other
objectives when adapting to changed service demands."
author:
- first_name: Stefan Balthasar
full_name: Schneider, Stefan Balthasar
id: '35343'
last_name: Schneider
orcid: 0000-0001-8210-4011
- first_name: Sevil
full_name: Dräxler, Sevil
id: '31764'
last_name: Dräxler
- first_name: Holger
full_name: Karl, Holger
id: '126'
last_name: Karl
citation:
ama: 'Schneider SB, Dräxler S, Karl H. Trade-offs in Dynamic Resource Allocation
in Network Function Virtualization. In: IEEE Global Communications Conference
(GLOBECOM 2018). IEEE; 2018.'
apa: 'Schneider, S. B., Dräxler, S., & Karl, H. (2018). Trade-offs in Dynamic
Resource Allocation in Network Function Virtualization. In IEEE Global Communications
Conference (GLOBECOM 2018). Abu Dhabi, UAE: IEEE.'
bibtex: '@inproceedings{Schneider_Dräxler_Karl_2018, title={Trade-offs in Dynamic
Resource Allocation in Network Function Virtualization}, booktitle={IEEE Global
Communications Conference (GLOBECOM 2018)}, publisher={IEEE}, author={Schneider,
Stefan Balthasar and Dräxler, Sevil and Karl, Holger}, year={2018} }'
chicago: Schneider, Stefan Balthasar, Sevil Dräxler, and Holger Karl. “Trade-Offs
in Dynamic Resource Allocation in Network Function Virtualization.” In IEEE
Global Communications Conference (GLOBECOM 2018). IEEE, 2018.
ieee: S. B. Schneider, S. Dräxler, and H. Karl, “Trade-offs in Dynamic Resource
Allocation in Network Function Virtualization,” in IEEE Global Communications
Conference (GLOBECOM 2018), Abu Dhabi, UAE, 2018.
mla: Schneider, Stefan Balthasar, et al. “Trade-Offs in Dynamic Resource Allocation
in Network Function Virtualization.” IEEE Global Communications Conference
(GLOBECOM 2018), IEEE, 2018.
short: 'S.B. Schneider, S. Dräxler, H. Karl, in: IEEE Global Communications Conference
(GLOBECOM 2018), IEEE, 2018.'
conference:
location: Abu Dhabi, UAE
name: IEEE Global Communications Conference (GLOBECOM 2018)
date_created: 2019-01-24T13:53:22Z
date_updated: 2022-01-06T07:03:24Z
ddc:
- '040'
department:
- _id: '75'
file:
- access_level: open_access
content_type: application/pdf
creator: stschn
date_created: 2019-01-24T13:53:16Z
date_updated: 2019-01-24T13:53:16Z
file_id: '6971'
file_name: preprint_ris.pdf
file_size: 422196
relation: main_file
file_date_updated: 2019-01-24T13:53:16Z
has_accepted_license: '1'
language:
- iso: eng
oa: '1'
project:
- _id: '28'
grant_number: '761493'
name: 5G Development and validation platform for global industry-specific network
services and Apps
- _id: '1'
name: SFB 901
- _id: '4'
name: SFB 901 - Project Area C
- _id: '16'
name: SFB 901 - Subproject C4
publication: IEEE Global Communications Conference (GLOBECOM 2018)
publisher: IEEE
status: public
title: Trade-offs in Dynamic Resource Allocation in Network Function Virtualization
type: conference
user_id: '35343'
year: '2018'
...
---
_id: '6972'
abstract:
- lang: eng
text: "In recent years, a variety of different approaches\r\nhave been proposed
to tackle the problem of scaling and placing\r\nnetwork services, consisting of
interconnected virtual network\r\nfunctions (VNFs). This paper presents a placement
abstraction\r\nlayer (PAL) that provides a clear and simple northbound interface\r\nfor
using such algorithms while hiding their internal\r\nfunctionality and implementation.
Through its southbound interface,\r\nPAL can connect to different back ends that
evaluate\r\nthe calculated placements, e.g., using simulations, emulations, or\r\ntestbed
approaches. As an example for such evaluation back ends,\r\nwe introduce a novel
placement emulation framework (PEF)\r\nthat allows executing calculated placements
using real, containerbased\r\nVNFs on real-world network topologies. In a case
study,\r\nwe show how PAL and PEF facilitate reusing and evaluating\r\nplacement
algorithms as well as validating their underlying\r\nmodels and performance claims."
author:
- first_name: Stefan Balthasar
full_name: Schneider, Stefan Balthasar
id: '35343'
last_name: Schneider
orcid: 0000-0001-8210-4011
- first_name: Manuel
full_name: Peuster, Manuel
id: '13271'
last_name: Peuster
- first_name: Holger
full_name: Karl, Holger
id: '126'
last_name: Karl
citation:
ama: 'Schneider SB, Peuster M, Karl H. A Generic Emulation Framework for Reusing
and Evaluating VNF Placement Algorithms. In: IEEE Conference on Network Function
Virtualization and Software Defined Networks (NFV-SDN 2018). IEEE; 2018. doi:10.1109/NFV-SDN.2018.8725795'
apa: 'Schneider, S. B., Peuster, M., & Karl, H. (2018). A Generic Emulation
Framework for Reusing and Evaluating VNF Placement Algorithms. In IEEE Conference
on Network Function Virtualization and Software Defined Networks (NFV-SDN 2018).
Verona, Italy: IEEE. https://doi.org/10.1109/NFV-SDN.2018.8725795'
bibtex: '@inproceedings{Schneider_Peuster_Karl_2018, title={A Generic Emulation
Framework for Reusing and Evaluating VNF Placement Algorithms}, DOI={10.1109/NFV-SDN.2018.8725795},
booktitle={IEEE Conference on Network Function Virtualization and Software Defined
Networks (NFV-SDN 2018)}, publisher={IEEE}, author={Schneider, Stefan Balthasar
and Peuster, Manuel and Karl, Holger}, year={2018} }'
chicago: Schneider, Stefan Balthasar, Manuel Peuster, and Holger Karl. “A Generic
Emulation Framework for Reusing and Evaluating VNF Placement Algorithms.” In IEEE
Conference on Network Function Virtualization and Software Defined Networks (NFV-SDN
2018). IEEE, 2018. https://doi.org/10.1109/NFV-SDN.2018.8725795.
ieee: S. B. Schneider, M. Peuster, and H. Karl, “A Generic Emulation Framework for
Reusing and Evaluating VNF Placement Algorithms,” in IEEE Conference on Network
Function Virtualization and Software Defined Networks (NFV-SDN 2018), Verona,
Italy, 2018.
mla: Schneider, Stefan Balthasar, et al. “A Generic Emulation Framework for Reusing
and Evaluating VNF Placement Algorithms.” IEEE Conference on Network Function
Virtualization and Software Defined Networks (NFV-SDN 2018), IEEE, 2018, doi:10.1109/NFV-SDN.2018.8725795.
short: 'S.B. Schneider, M. Peuster, H. Karl, in: IEEE Conference on Network Function
Virtualization and Software Defined Networks (NFV-SDN 2018), IEEE, 2018.'
conference:
location: Verona, Italy
name: IEEE Conference on Network Function Virtualization and Software Defined Networks
(NFV-SDN 2018)
date_created: 2019-01-24T14:10:17Z
date_updated: 2022-01-06T07:03:24Z
ddc:
- '040'
department:
- _id: '75'
doi: 10.1109/NFV-SDN.2018.8725795
file:
- access_level: open_access
content_type: application/pdf
creator: stschn
date_created: 2019-01-24T14:10:08Z
date_updated: 2019-01-24T14:25:23Z
file_id: '6973'
file_name: preprint_ris.pdf
file_size: 468396
relation: main_file
file_date_updated: 2019-01-24T14:25:23Z
has_accepted_license: '1'
language:
- iso: eng
main_file_link:
- url: https://ieeexplore.ieee.org/abstract/document/8725795
oa: '1'
project:
- _id: '28'
grant_number: '761493'
name: 5G Development and validation platform for global industry-specific network
services and Apps
- _id: '1'
name: SFB 901
- _id: '4'
name: SFB 901 - Project Area C
- _id: '16'
name: SFB 901 - Subproject C4
publication: IEEE Conference on Network Function Virtualization and Software Defined
Networks (NFV-SDN 2018)
publisher: IEEE
status: public
title: A Generic Emulation Framework for Reusing and Evaluating VNF Placement Algorithms
type: conference
user_id: '35343'
year: '2018'
...
---
_id: '6974'
abstract:
- lang: eng
text: "A key challenge of network function virtualization\r\n(NFV) is the complexity
of developing and deploying new\r\nnetwork services. Currently, development requires
many manual\r\nsteps that are time-consuming and error-prone (e.g., for creating\r\nservice
descriptors). Furthermore, existing management and\r\norchestration (MANO) platforms
only offer limited support of\r\nstandardized descriptor models or package formats,
limiting the\r\nre-usability of network services.\r\n\r\nTo this end, we introduce
a fully integrated, open-source\r\nNFV service development kit (SDK) with multi-MANO
platform\r\nsupport. Our SDK simplifies many NFV service development\r\nsteps
by offering initial generation of descriptors, advanced\r\nproject management,
as well as fully automated packaging and\r\nsubmission for on-boarding. To achieve
multi-platform support,\r\nwe present a package format that extends ETSI’s VNF
package\r\nformat. In this demonstration, we present the end-to-end workflow\r\nto
develop an NFV service that is then packaged for multiple\r\nplatforms, i.e.,
5GTANGO and OSM."
author:
- first_name: Stefan Balthasar
full_name: Schneider, Stefan Balthasar
id: '35343'
last_name: Schneider
orcid: 0000-0001-8210-4011
- first_name: Manuel
full_name: Peuster, Manuel
id: '13271'
last_name: Peuster
- first_name: Wouter
full_name: Tavernier, Wouter
last_name: Tavernier
- first_name: Holger
full_name: Karl, Holger
id: '126'
last_name: Karl
citation:
ama: 'Schneider SB, Peuster M, Tavernier W, Karl H. A Fully Integrated Multi-Platform
NFV SDK. In: IEEE Conference on Network Function Virtualization and Software
Defined Networks (NFV-SDN 2018). IEEE; 2018. doi:10.1109/NFV-SDN.2018.8725794'
apa: 'Schneider, S. B., Peuster, M., Tavernier, W., & Karl, H. (2018). A Fully
Integrated Multi-Platform NFV SDK. In IEEE Conference on Network Function Virtualization
and Software Defined Networks (NFV-SDN 2018). Verona, Italy: IEEE. https://doi.org/10.1109/NFV-SDN.2018.8725794'
bibtex: '@inproceedings{Schneider_Peuster_Tavernier_Karl_2018, title={A Fully Integrated
Multi-Platform NFV SDK}, DOI={10.1109/NFV-SDN.2018.8725794},
booktitle={IEEE Conference on Network Function Virtualization and Software Defined
Networks (NFV-SDN 2018)}, publisher={IEEE}, author={Schneider, Stefan Balthasar
and Peuster, Manuel and Tavernier, Wouter and Karl, Holger}, year={2018} }'
chicago: Schneider, Stefan Balthasar, Manuel Peuster, Wouter Tavernier, and Holger
Karl. “A Fully Integrated Multi-Platform NFV SDK.” In IEEE Conference on Network
Function Virtualization and Software Defined Networks (NFV-SDN 2018). IEEE,
2018. https://doi.org/10.1109/NFV-SDN.2018.8725794.
ieee: S. B. Schneider, M. Peuster, W. Tavernier, and H. Karl, “A Fully Integrated
Multi-Platform NFV SDK,” in IEEE Conference on Network Function Virtualization
and Software Defined Networks (NFV-SDN 2018), Verona, Italy, 2018.
mla: Schneider, Stefan Balthasar, et al. “A Fully Integrated Multi-Platform NFV
SDK.” IEEE Conference on Network Function Virtualization and Software Defined
Networks (NFV-SDN 2018), IEEE, 2018, doi:10.1109/NFV-SDN.2018.8725794.
short: 'S.B. Schneider, M. Peuster, W. Tavernier, H. Karl, in: IEEE Conference on
Network Function Virtualization and Software Defined Networks (NFV-SDN 2018),
IEEE, 2018.'
conference:
location: Verona, Italy
name: IEEE Conference on Network Function Virtualization and Software Defined Networks
(NFV-SDN 2018)
date_created: 2019-01-24T14:17:58Z
date_updated: 2022-01-06T07:03:25Z
ddc:
- '040'
department:
- _id: '75'
doi: 10.1109/NFV-SDN.2018.8725794
file:
- access_level: open_access
content_type: application/pdf
creator: stschn
date_created: 2019-01-24T14:17:29Z
date_updated: 2019-01-24T14:26:23Z
file_id: '6975'
file_name: Pre-print.pdf
file_size: 475022
relation: main_file
file_date_updated: 2019-01-24T14:26:23Z
has_accepted_license: '1'
language:
- iso: eng
main_file_link:
- url: https://ieeexplore.ieee.org/abstract/document/8725794
oa: '1'
project:
- _id: '28'
grant_number: '761493'
name: 5G Development and validation platform for global industry-specific network
services and Apps
- _id: '1'
name: SFB 901
- _id: '4'
name: SFB 901 - Project Area C
- _id: '16'
name: SFB 901 - Subproject C4
publication: IEEE Conference on Network Function Virtualization and Software Defined
Networks (NFV-SDN 2018)
publisher: IEEE
status: public
title: A Fully Integrated Multi-Platform NFV SDK
type: conference
user_id: '35343'
year: '2018'
...
---
_id: '16713'
author:
- first_name: Christian
full_name: Gölz, Christian
last_name: Gölz
- first_name: Claudia
full_name: Voelcker-Rehage, Claudia
last_name: Voelcker-Rehage
- first_name: Karin
full_name: Mora, Karin
last_name: Mora
- first_name: Eva-Maria
full_name: Reuter, Eva-Maria
last_name: Reuter
- first_name: Ben
full_name: Godde, Ben
last_name: Godde
- first_name: Michael
full_name: Dellnitz, Michael
last_name: Dellnitz
- first_name: Claus
full_name: Reinsberger, Claus
last_name: Reinsberger
- first_name: Solveig
full_name: Vieluf, Solveig
last_name: Vieluf
citation:
ama: Gölz C, Voelcker-Rehage C, Mora K, et al. Improved Neural Control of Movements
Manifests in Expertise-Related Differences in Force Output and Brain Network Dynamics.
Frontiers in Physiology. 2018. doi:10.3389/fphys.2018.01540
apa: Gölz, C., Voelcker-Rehage, C., Mora, K., Reuter, E.-M., Godde, B., Dellnitz,
M., … Vieluf, S. (2018). Improved Neural Control of Movements Manifests in Expertise-Related
Differences in Force Output and Brain Network Dynamics. Frontiers in Physiology.
https://doi.org/10.3389/fphys.2018.01540
bibtex: '@article{Gölz_Voelcker-Rehage_Mora_Reuter_Godde_Dellnitz_Reinsberger_Vieluf_2018,
title={Improved Neural Control of Movements Manifests in Expertise-Related Differences
in Force Output and Brain Network Dynamics}, DOI={10.3389/fphys.2018.01540},
journal={Frontiers in Physiology}, author={Gölz, Christian and Voelcker-Rehage,
Claudia and Mora, Karin and Reuter, Eva-Maria and Godde, Ben and Dellnitz, Michael
and Reinsberger, Claus and Vieluf, Solveig}, year={2018} }'
chicago: Gölz, Christian, Claudia Voelcker-Rehage, Karin Mora, Eva-Maria Reuter,
Ben Godde, Michael Dellnitz, Claus Reinsberger, and Solveig Vieluf. “Improved
Neural Control of Movements Manifests in Expertise-Related Differences in Force
Output and Brain Network Dynamics.” Frontiers in Physiology, 2018. https://doi.org/10.3389/fphys.2018.01540.
ieee: C. Gölz et al., “Improved Neural Control of Movements Manifests in
Expertise-Related Differences in Force Output and Brain Network Dynamics,” Frontiers
in Physiology, 2018.
mla: Gölz, Christian, et al. “Improved Neural Control of Movements Manifests in
Expertise-Related Differences in Force Output and Brain Network Dynamics.” Frontiers
in Physiology, 2018, doi:10.3389/fphys.2018.01540.
short: C. Gölz, C. Voelcker-Rehage, K. Mora, E.-M. Reuter, B. Godde, M. Dellnitz,
C. Reinsberger, S. Vieluf, Frontiers in Physiology (2018).
date_created: 2020-04-16T14:08:06Z
date_updated: 2022-01-06T06:52:55Z
department:
- _id: '101'
doi: 10.3389/fphys.2018.01540
language:
- iso: eng
publication: Frontiers in Physiology
publication_identifier:
issn:
- 1664-042X
publication_status: published
status: public
title: Improved Neural Control of Movements Manifests in Expertise-Related Differences
in Force Output and Brain Network Dynamics
type: journal_article
user_id: '47427'
year: '2018'
...
---
_id: '16714'
author:
- first_name: Solveig
full_name: Vieluf, Solveig
last_name: Vieluf
- first_name: Karin
full_name: Mora, Karin
last_name: Mora
- first_name: Christian
full_name: Gölz, Christian
last_name: Gölz
- first_name: Eva-Maria
full_name: Reuter, Eva-Maria
last_name: Reuter
- first_name: Ben
full_name: Godde, Ben
last_name: Godde
- first_name: Michael
full_name: Dellnitz, Michael
last_name: Dellnitz
- first_name: Claus
full_name: Reinsberger, Claus
last_name: Reinsberger
- first_name: Claudia
full_name: Voelcker-Rehage, Claudia
last_name: Voelcker-Rehage
citation:
ama: Vieluf S, Mora K, Gölz C, et al. Age- and Expertise-Related Differences of
Sensorimotor Network Dynamics during Force Control. Neuroscience. 2018:203-213.
doi:10.1016/j.neuroscience.2018.07.025
apa: Vieluf, S., Mora, K., Gölz, C., Reuter, E.-M., Godde, B., Dellnitz, M., … Voelcker-Rehage,
C. (2018). Age- and Expertise-Related Differences of Sensorimotor Network Dynamics
during Force Control. Neuroscience, 203–213. https://doi.org/10.1016/j.neuroscience.2018.07.025
bibtex: '@article{Vieluf_Mora_Gölz_Reuter_Godde_Dellnitz_Reinsberger_Voelcker-Rehage_2018,
title={Age- and Expertise-Related Differences of Sensorimotor Network Dynamics
during Force Control}, DOI={10.1016/j.neuroscience.2018.07.025},
journal={Neuroscience}, author={Vieluf, Solveig and Mora, Karin and Gölz, Christian
and Reuter, Eva-Maria and Godde, Ben and Dellnitz, Michael and Reinsberger, Claus
and Voelcker-Rehage, Claudia}, year={2018}, pages={203–213} }'
chicago: Vieluf, Solveig, Karin Mora, Christian Gölz, Eva-Maria Reuter, Ben Godde,
Michael Dellnitz, Claus Reinsberger, and Claudia Voelcker-Rehage. “Age- and Expertise-Related
Differences of Sensorimotor Network Dynamics during Force Control.” Neuroscience,
2018, 203–13. https://doi.org/10.1016/j.neuroscience.2018.07.025.
ieee: S. Vieluf et al., “Age- and Expertise-Related Differences of Sensorimotor
Network Dynamics during Force Control,” Neuroscience, pp. 203–213, 2018.
mla: Vieluf, Solveig, et al. “Age- and Expertise-Related Differences of Sensorimotor
Network Dynamics during Force Control.” Neuroscience, 2018, pp. 203–13,
doi:10.1016/j.neuroscience.2018.07.025.
short: S. Vieluf, K. Mora, C. Gölz, E.-M. Reuter, B. Godde, M. Dellnitz, C. Reinsberger,
C. Voelcker-Rehage, Neuroscience (2018) 203–213.
date_created: 2020-04-16T14:08:51Z
date_updated: 2022-01-06T06:52:55Z
department:
- _id: '101'
doi: 10.1016/j.neuroscience.2018.07.025
language:
- iso: eng
page: 203-213
publication: Neuroscience
publication_identifier:
issn:
- 0306-4522
publication_status: published
status: public
title: Age- and Expertise-Related Differences of Sensorimotor Network Dynamics during
Force Control
type: journal_article
user_id: '47427'
year: '2018'
...
---
_id: '16715'
author:
- first_name: Andreas
full_name: Bittracher, Andreas
last_name: Bittracher
- first_name: Péter
full_name: Koltai, Péter
last_name: Koltai
- first_name: Stefan
full_name: Klus, Stefan
last_name: Klus
- first_name: Ralf
full_name: Banisch, Ralf
last_name: Banisch
- first_name: Michael
full_name: Dellnitz, Michael
last_name: Dellnitz
- first_name: Christof
full_name: Schütte, Christof
last_name: Schütte
citation:
ama: Bittracher A, Koltai P, Klus S, Banisch R, Dellnitz M, Schütte C. Transition
Manifolds of Complex Metastable Systems. Journal of Nonlinear Science.
2018;28:471-512. doi:10.1007/s00332-017-9415-0
apa: Bittracher, A., Koltai, P., Klus, S., Banisch, R., Dellnitz, M., & Schütte,
C. (2018). Transition Manifolds of Complex Metastable Systems. Journal of Nonlinear
Science, 28, 471–512. https://doi.org/10.1007/s00332-017-9415-0
bibtex: '@article{Bittracher_Koltai_Klus_Banisch_Dellnitz_Schütte_2018, title={Transition
Manifolds of Complex Metastable Systems}, volume={28}, DOI={10.1007/s00332-017-9415-0},
journal={Journal of Nonlinear Science}, author={Bittracher, Andreas and Koltai,
Péter and Klus, Stefan and Banisch, Ralf and Dellnitz, Michael and Schütte, Christof},
year={2018}, pages={471–512} }'
chicago: 'Bittracher, Andreas, Péter Koltai, Stefan Klus, Ralf Banisch, Michael
Dellnitz, and Christof Schütte. “Transition Manifolds of Complex Metastable Systems.”
Journal of Nonlinear Science 28 (2018): 471–512. https://doi.org/10.1007/s00332-017-9415-0.'
ieee: A. Bittracher, P. Koltai, S. Klus, R. Banisch, M. Dellnitz, and C. Schütte,
“Transition Manifolds of Complex Metastable Systems,” Journal of Nonlinear
Science, vol. 28, pp. 471–512, 2018.
mla: Bittracher, Andreas, et al. “Transition Manifolds of Complex Metastable Systems.”
Journal of Nonlinear Science, vol. 28, 2018, pp. 471–512, doi:10.1007/s00332-017-9415-0.
short: A. Bittracher, P. Koltai, S. Klus, R. Banisch, M. Dellnitz, C. Schütte, Journal
of Nonlinear Science 28 (2018) 471–512.
date_created: 2020-04-16T14:09:31Z
date_updated: 2022-01-06T06:52:55Z
department:
- _id: '101'
doi: 10.1007/s00332-017-9415-0
intvolume: ' 28'
language:
- iso: eng
page: 471-512
publication: Journal of Nonlinear Science
publication_identifier:
issn:
- 0938-8974
- 1432-1467
publication_status: published
status: public
title: Transition Manifolds of Complex Metastable Systems
type: journal_article
user_id: '47427'
volume: 28
year: '2018'
...
---
_id: '16937'
author:
- first_name: Jácome
full_name: Cunha, Jácome
last_name: Cunha
- first_name: Joao Paulo
full_name: Fernandes, Joao Paulo
last_name: Fernandes
- first_name: Caitlin
full_name: Kelleher, Caitlin
last_name: Kelleher
- first_name: Jorge
full_name: Mendes, Jorge
last_name: Mendes
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
citation:
ama: 'Cunha J, Fernandes JP, Kelleher C, Mendes J, Engels G. 2018 IEEE Symposium
on Visual Languages and Human-Centric Computing (VL/HCC). In: Proceedings of
2018 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC),
Lisbon, Portugal, October 1-4, 2018. IEEE; 2018. doi:10.1109/vl/hcc43341.2018'
apa: 'Cunha, J., Fernandes, J. P., Kelleher, C., Mendes, J., & Engels, G. (2018).
2018 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC).
In Proceedings of 2018 IEEE Symposium on Visual Languages and Human-Centric
Computing (VL/HCC), Lisbon, Portugal, October 1-4, 2018. Lisbon, Portugal:
IEEE. https://doi.org/10.1109/vl/hcc43341.2018'
bibtex: '@inproceedings{Cunha_Fernandes_Kelleher_Mendes_Engels_2018, title={2018
IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC)}, DOI={10.1109/vl/hcc43341.2018},
booktitle={Proceedings of 2018 IEEE Symposium on Visual Languages and Human-Centric
Computing (VL/HCC), Lisbon, Portugal, October 1-4, 2018}, publisher={IEEE}, author={Cunha,
Jácome and Fernandes, Joao Paulo and Kelleher, Caitlin and Mendes, Jorge and Engels,
Gregor}, year={2018} }'
chicago: Cunha, Jácome, Joao Paulo Fernandes, Caitlin Kelleher, Jorge Mendes, and
Gregor Engels. “2018 IEEE Symposium on Visual Languages and Human-Centric Computing
(VL/HCC).” In Proceedings of 2018 IEEE Symposium on Visual Languages and Human-Centric
Computing (VL/HCC), Lisbon, Portugal, October 1-4, 2018. IEEE, 2018. https://doi.org/10.1109/vl/hcc43341.2018.
ieee: J. Cunha, J. P. Fernandes, C. Kelleher, J. Mendes, and G. Engels, “2018 IEEE
Symposium on Visual Languages and Human-Centric Computing (VL/HCC),” in Proceedings
of 2018 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC),
Lisbon, Portugal, October 1-4, 2018, Lisbon, Portugal, 2018.
mla: Cunha, Jácome, et al. “2018 IEEE Symposium on Visual Languages and Human-Centric
Computing (VL/HCC).” Proceedings of 2018 IEEE Symposium on Visual Languages
and Human-Centric Computing (VL/HCC), Lisbon, Portugal, October 1-4, 2018,
IEEE, 2018, doi:10.1109/vl/hcc43341.2018.
short: 'J. Cunha, J.P. Fernandes, C. Kelleher, J. Mendes, G. Engels, in: Proceedings
of 2018 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC),
Lisbon, Portugal, October 1-4, 2018, IEEE, 2018.'
conference:
end_date: 2018-10-04
location: Lisbon, Portugal
name: IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC)
start_date: 2018-10-01
date_created: 2020-05-05T15:14:04Z
date_updated: 2022-01-06T06:52:59Z
department:
- _id: '66'
doi: 10.1109/vl/hcc43341.2018
language:
- iso: eng
publication: Proceedings of 2018 IEEE Symposium on Visual Languages and Human-Centric
Computing (VL/HCC), Lisbon, Portugal, October 1-4, 2018
publication_identifier:
isbn:
- '9781538642351'
publication_status: published
publisher: IEEE
status: public
title: 2018 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC)
type: conference
user_id: '57458'
year: '2018'
...
---
_id: '16938'
author:
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Günter W.
full_name: Maier, Günter W.
last_name: Maier
- first_name: Sonja K.
full_name: Ötting, Sonja K.
last_name: Ötting
- first_name: Eckhard
full_name: Steffen, Eckhard
id: '15548'
last_name: Steffen
- first_name: Alexander
full_name: Teetz, Alexander
last_name: Teetz
citation:
ama: 'Engels G, Maier GW, Ötting SK, Steffen E, Teetz A. Gerechtigkeit in flexiblen
Arbeits- und Managementprozessen. In: Wischmann S, Hartmann EA, eds. Zukunft
Der Arbeit – Eine Praxisnahe Betrachtung. Berlin, Heidelberg: Springer Verlag;
2018:221-231. doi:10.1007/978-3-662-49266-6_16'
apa: 'Engels, G., Maier, G. W., Ötting, S. K., Steffen, E., & Teetz, A. (2018).
Gerechtigkeit in flexiblen Arbeits- und Managementprozessen. In S. Wischmann &
E. A. Hartmann (Eds.), Zukunft der Arbeit – Eine praxisnahe Betrachtung
(pp. 221–231). Berlin, Heidelberg: Springer Verlag. https://doi.org/10.1007/978-3-662-49266-6_16'
bibtex: '@inbook{Engels_Maier_Ötting_Steffen_Teetz_2018, place={Berlin, Heidelberg},
title={Gerechtigkeit in flexiblen Arbeits- und Managementprozessen}, DOI={10.1007/978-3-662-49266-6_16},
booktitle={Zukunft der Arbeit – Eine praxisnahe Betrachtung}, publisher={Springer
Verlag}, author={Engels, Gregor and Maier, Günter W. and Ötting, Sonja K. and
Steffen, Eckhard and Teetz, Alexander}, editor={Wischmann, Steffen and Hartmann,
Ernst AndreasEditors}, year={2018}, pages={221–231} }'
chicago: 'Engels, Gregor, Günter W. Maier, Sonja K. Ötting, Eckhard Steffen, and
Alexander Teetz. “Gerechtigkeit in Flexiblen Arbeits- Und Managementprozessen.”
In Zukunft Der Arbeit – Eine Praxisnahe Betrachtung, edited by Steffen
Wischmann and Ernst Andreas Hartmann, 221–31. Berlin, Heidelberg: Springer Verlag,
2018. https://doi.org/10.1007/978-3-662-49266-6_16.'
ieee: 'G. Engels, G. W. Maier, S. K. Ötting, E. Steffen, and A. Teetz, “Gerechtigkeit
in flexiblen Arbeits- und Managementprozessen,” in Zukunft der Arbeit – Eine
praxisnahe Betrachtung, S. Wischmann and E. A. Hartmann, Eds. Berlin, Heidelberg:
Springer Verlag, 2018, pp. 221–231.'
mla: Engels, Gregor, et al. “Gerechtigkeit in Flexiblen Arbeits- Und Managementprozessen.”
Zukunft Der Arbeit – Eine Praxisnahe Betrachtung, edited by Steffen Wischmann
and Ernst Andreas Hartmann, Springer Verlag, 2018, pp. 221–31, doi:10.1007/978-3-662-49266-6_16.
short: 'G. Engels, G.W. Maier, S.K. Ötting, E. Steffen, A. Teetz, in: S. Wischmann,
E.A. Hartmann (Eds.), Zukunft Der Arbeit – Eine Praxisnahe Betrachtung, Springer
Verlag, Berlin, Heidelberg, 2018, pp. 221–231.'
date_created: 2020-05-05T15:38:22Z
date_updated: 2022-01-06T06:52:59Z
department:
- _id: '66'
doi: 10.1007/978-3-662-49266-6_16
editor:
- first_name: Steffen
full_name: Wischmann, Steffen
last_name: Wischmann
- first_name: Ernst Andreas
full_name: Hartmann, Ernst Andreas
last_name: Hartmann
language:
- iso: eng
page: 221-231
place: Berlin, Heidelberg
publication: Zukunft der Arbeit – Eine praxisnahe Betrachtung
publication_identifier:
isbn:
- '9783662492659'
- '9783662492666'
publication_status: published
publisher: Springer Verlag
status: public
title: Gerechtigkeit in flexiblen Arbeits- und Managementprozessen
type: book_chapter
user_id: '57458'
year: '2018'
...
---
_id: '1043'
abstract:
- lang: eng
text: 'Approximate computing (AC) is an emerging paradigm for energy-efficient computation.
The basic idea of AC is to sacrifice high precision for low energy by allowing
hardware to carry out “approximately correct” calculations. This provides a major
challenge for software quality assurance: programs successfully verified to be
correct might be erroneous on approximate hardware. In this letter, we present
a novel approach for determining under what conditions a software verification
result is valid for approximate hardware. To this end, we compute the allowed
tolerances for AC hardware from successful verification runs. More precisely,
we derive a set of constraints which—when met by the AC hardware—guarantees the
verification result to carry over to AC. On the practical side, we furthermore:
1) show how to extract tolerances from verification runs employing predicate abstraction
as verification technology and 2) show how to check such constraints on hardware
designs. We have implemented all techniques, and exemplify them on example C programs
and a number of recently proposed approximate adders.'
author:
- first_name: Tobias
full_name: Isenberg, Tobias
last_name: Isenberg
- first_name: Marie-Christine
full_name: Jakobs, Marie-Christine
last_name: Jakobs
- first_name: Felix
full_name: Pauck, Felix
id: '22398'
last_name: Pauck
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: Isenberg T, Jakobs M-C, Pauck F, Wehrheim H. Validity of Software Verification
Results on Approximate Hardware. IEEE Embedded Systems Letters. 2018:22-25.
doi:10.1109/LES.2017.2758200
apa: Isenberg, T., Jakobs, M.-C., Pauck, F., & Wehrheim, H. (2018). Validity
of Software Verification Results on Approximate Hardware. IEEE Embedded Systems
Letters, 22–25. https://doi.org/10.1109/LES.2017.2758200
bibtex: '@article{Isenberg_Jakobs_Pauck_Wehrheim_2018, title={Validity of Software
Verification Results on Approximate Hardware}, DOI={10.1109/LES.2017.2758200},
journal={IEEE Embedded Systems Letters}, publisher={Institute of Electrical and
Electronics Engineers (IEEE)}, author={Isenberg, Tobias and Jakobs, Marie-Christine
and Pauck, Felix and Wehrheim, Heike}, year={2018}, pages={22–25} }'
chicago: Isenberg, Tobias, Marie-Christine Jakobs, Felix Pauck, and Heike Wehrheim.
“Validity of Software Verification Results on Approximate Hardware.” IEEE Embedded
Systems Letters, 2018, 22–25. https://doi.org/10.1109/LES.2017.2758200.
ieee: T. Isenberg, M.-C. Jakobs, F. Pauck, and H. Wehrheim, “Validity of Software
Verification Results on Approximate Hardware,” IEEE Embedded Systems Letters,
pp. 22–25, 2018.
mla: Isenberg, Tobias, et al. “Validity of Software Verification Results on Approximate
Hardware.” IEEE Embedded Systems Letters, Institute of Electrical and Electronics
Engineers (IEEE), 2018, pp. 22–25, doi:10.1109/LES.2017.2758200.
short: T. Isenberg, M.-C. Jakobs, F. Pauck, H. Wehrheim, IEEE Embedded Systems Letters
(2018) 22–25.
date_created: 2017-12-11T16:11:00Z
date_updated: 2022-01-06T06:50:39Z
ddc:
- '000'
department:
- _id: '77'
doi: 10.1109/LES.2017.2758200
file:
- access_level: closed
content_type: application/pdf
creator: ups
date_created: 2018-11-02T15:27:04Z
date_updated: 2018-11-02T15:27:04Z
file_id: '5303'
file_name: 08053741.pdf
file_size: 523362
relation: main_file
success: 1
file_date_updated: 2018-11-02T15:27:04Z
has_accepted_license: '1'
language:
- iso: eng
page: 22-25
project:
- _id: '1'
name: SFB 901
- _id: '3'
name: SFB 901 - Project Area B
- _id: '12'
name: SFB 901 - Subproject B4
publication: IEEE Embedded Systems Letters
publication_identifier:
issn:
- 1943-0663
- 1943-0671
publication_status: published
publisher: Institute of Electrical and Electronics Engineers (IEEE)
status: public
title: Validity of Software Verification Results on Approximate Hardware
type: journal_article
user_id: '477'
year: '2018'
...
---
_id: '1044'
author:
- first_name: Richard
full_name: Leer, Richard
last_name: Leer
citation:
ama: Leer R. Measuring Performance of a Static Analysis Framework with an Application
to Immutability Analysis. Universität Paderborn; 2018.
apa: Leer, R. (2018). Measuring Performance of a Static Analysis Framework with
an application to Immutability Analysis. Universität Paderborn.
bibtex: '@book{Leer_2018, title={Measuring Performance of a Static Analysis Framework
with an application to Immutability Analysis}, publisher={Universität Paderborn},
author={Leer, Richard}, year={2018} }'
chicago: Leer, Richard. Measuring Performance of a Static Analysis Framework
with an Application to Immutability Analysis. Universität Paderborn, 2018.
ieee: R. Leer, Measuring Performance of a Static Analysis Framework with an application
to Immutability Analysis. Universität Paderborn, 2018.
mla: Leer, Richard. Measuring Performance of a Static Analysis Framework with
an Application to Immutability Analysis. Universität Paderborn, 2018.
short: R. Leer, Measuring Performance of a Static Analysis Framework with an Application
to Immutability Analysis, Universität Paderborn, 2018.
date_created: 2017-12-13T07:52:01Z
date_updated: 2022-01-06T06:50:39Z
ddc:
- '000'
department:
- _id: '76'
file:
- access_level: closed
content_type: application/pdf
creator: florida
date_created: 2018-11-21T06:15:51Z
date_updated: 2018-11-21T06:15:51Z
file_id: '5768'
file_name: ba_leer.pdf
file_size: 1383049
relation: main_file
success: 1
file_date_updated: 2018-11-21T06:15:51Z
has_accepted_license: '1'
language:
- iso: eng
project:
- _id: '1'
name: SFB 901
- _id: '3'
name: SFB 901 - Project Area B
- _id: '12'
name: SFB 901 - Subproject B4
publisher: Universität Paderborn
status: public
supervisor:
- first_name: Eric
full_name: Bodden, Eric
id: '59256'
last_name: Bodden
orcid: 0000-0003-3470-3647
title: Measuring Performance of a Static Analysis Framework with an application to
Immutability Analysis
type: bachelorsthesis
user_id: '15504'
year: '2018'
...
---
_id: '1045'
author:
- first_name: Jan Niclas
full_name: Strüwer, Jan Niclas
last_name: Strüwer
citation:
ama: Strüwer JN. Interactive Data Visualization for Exploded Supergraphs.
Universität Paderborn; 2018.
apa: Strüwer, J. N. (2018). Interactive Data Visualization for Exploded Supergraphs.
Universität Paderborn.
bibtex: '@book{Strüwer_2018, title={Interactive Data Visualization for Exploded
Supergraphs}, publisher={Universität Paderborn}, author={Strüwer, Jan Niclas},
year={2018} }'
chicago: Strüwer, Jan Niclas. Interactive Data Visualization for Exploded Supergraphs.
Universität Paderborn, 2018.
ieee: J. N. Strüwer, Interactive Data Visualization for Exploded Supergraphs.
Universität Paderborn, 2018.
mla: Strüwer, Jan Niclas. Interactive Data Visualization for Exploded Supergraphs.
Universität Paderborn, 2018.
short: J.N. Strüwer, Interactive Data Visualization for Exploded Supergraphs, Universität
Paderborn, 2018.
date_created: 2017-12-13T07:53:49Z
date_updated: 2022-01-06T06:50:40Z
ddc:
- '000'
department:
- _id: '76'
file:
- access_level: closed
content_type: application/pdf
creator: florida
date_created: 2018-11-21T06:14:15Z
date_updated: 2018-11-21T06:14:15Z
file_id: '5767'
file_name: ba_struewer.pdf
file_size: 15839765
relation: main_file
success: 1
file_date_updated: 2018-11-21T06:14:15Z
has_accepted_license: '1'
language:
- iso: eng
project:
- _id: '1'
name: SFB 901
- _id: '3'
name: SFB 901 - Project Area B
- _id: '12'
name: SFB 901 - Subproject B4
publisher: Universität Paderborn
status: public
supervisor:
- first_name: Eric
full_name: Bodden, Eric
id: '59256'
last_name: Bodden
orcid: 0000-0003-3470-3647
title: Interactive Data Visualization for Exploded Supergraphs
type: bachelorsthesis
user_id: '15504'
year: '2018'
...
---
_id: '10591'
alternative_title:
- Manifesto from Dagstuhl Perspectives Workshop 16151
citation:
ama: Abiteboul S, Arenas M, Barceló P, et al., eds. Research Directions for Principles
of Data Management. Vol 7.; 2018:1-29.
apa: Abiteboul, S., Arenas, M., Barceló, P., Bienvenu, M., Calvanese, D., David,
C., … Yi, K. (Eds.). (2018). Research Directions for Principles of Data Management
(Vol. 7, pp. 1–29).
bibtex: '@book{Abiteboul_Arenas_Barceló_Bienvenu_Calvanese_David_Hull_Hüllermeier_Kimelfeld_Libkin_et
al._2018, title={Research Directions for Principles of Data Management}, volume={7},
number={1}, year={2018}, pages={1–29} }'
chicago: Abiteboul, S., M. Arenas, P. Barceló, M. Bienvenu, D. Calvanese, C. David,
R. Hull, et al., eds. Research Directions for Principles of Data Management.
Vol. 7, 2018.
ieee: S. Abiteboul et al., Eds., Research Directions for Principles of
Data Management, vol. 7, no. 1. 2018, pp. 1–29.
mla: Abiteboul, S., et al., editors. Research Directions for Principles of Data
Management. Vol. 7, no. 1, 2018, pp. 1–29.
short: S. Abiteboul, M. Arenas, P. Barceló, M. Bienvenu, D. Calvanese, C. David,
R. Hull, E. Hüllermeier, B. Kimelfeld, L. Libkin, W. Martens, T. Milo, F. Murlak,
F. Neven, M. Ortiz, T. Schwentick, J. Stoyanovich, J. Su, D. Suciu, V. Vianu,
K. Yi, eds., Research Directions for Principles of Data Management, 2018.
date_created: 2019-07-09T15:58:12Z
date_updated: 2022-01-06T06:50:45Z
department:
- _id: '34'
- _id: '7'
- _id: '355'
- _id: '26'
editor:
- first_name: S.
full_name: Abiteboul, S.
last_name: Abiteboul
- first_name: M.
full_name: Arenas, M.
last_name: Arenas
- first_name: P.
full_name: Barceló, P.
last_name: Barceló
- first_name: M.
full_name: Bienvenu, M.
last_name: Bienvenu
- first_name: D.
full_name: Calvanese, D.
last_name: Calvanese
- first_name: C.
full_name: David, C.
last_name: David
- first_name: R.
full_name: Hull, R.
last_name: Hull
- first_name: Eyke
full_name: Hüllermeier, Eyke
id: '48129'
last_name: Hüllermeier
- first_name: B.
full_name: Kimelfeld, B.
last_name: Kimelfeld
- first_name: L.
full_name: Libkin, L.
last_name: Libkin
- first_name: W.
full_name: Martens, W.
last_name: Martens
- first_name: T.
full_name: Milo, T.
last_name: Milo
- first_name: F.
full_name: Murlak, F.
last_name: Murlak
- first_name: F.
full_name: Neven, F.
last_name: Neven
- first_name: M.
full_name: Ortiz, M.
last_name: Ortiz
- first_name: T.
full_name: Schwentick, T.
last_name: Schwentick
- first_name: J.
full_name: Stoyanovich, J.
last_name: Stoyanovich
- first_name: J.
full_name: Su, J.
last_name: Su
- first_name: D.
full_name: Suciu, D.
last_name: Suciu
- first_name: V.
full_name: Vianu, V.
last_name: Vianu
- first_name: K.
full_name: Yi, K.
last_name: Yi
intvolume: ' 7'
issue: '1'
language:
- iso: eng
page: 1-29
status: public
title: Research Directions for Principles of Data Management
type: conference_editor
user_id: '49109'
volume: 7
year: '2018'
...
---
_id: '10598'
abstract:
- lang: eng
text: "Approximate computing has become a very popular design\r\nstrategy that exploits
error resilient computations to achieve higher\r\nperformance and energy efficiency.
Automated synthesis of approximate\r\ncircuits is performed via functional approximation,
in which various\r\nparts of the target circuit are extensively examined with
a library\r\nof approximate components/transformations to trade off the functional\r\naccuracy
and computational budget (i.e., power). However, as the number\r\nof possible
approximate transformations increases, traditional search\r\ntechniques suffer
from a combinatorial explosion due to the large\r\nbranching factor. In this work,
we present a comprehensive framework\r\nfor automated synthesis of approximate
circuits from either structural\r\nor behavioral descriptions. We adapt the Monte
Carlo Tree Search\r\n(MCTS), as a stochastic search technique, to deal with the
large design\r\nspace exploration, which enables a broader range of potential
possible\r\napproximations through lightweight random simulations. The proposed\r\nframework
is able to recognize the design Pareto set even with low\r\ncomputational budgets.
Experimental results highlight the capabilities of\r\nthe proposed synthesis framework
by resulting in up to 61.69% energy\r\nsaving while maintaining the predefined
quality constraints."
author:
- first_name: Muhammad
full_name: Awais, Muhammad
id: '64665'
last_name: Awais
orcid: https://orcid.org/0000-0003-4148-2969
- first_name: Hassan
full_name: Ghasemzadeh Mohammadi, Hassan
id: '61186'
last_name: Ghasemzadeh Mohammadi
- first_name: Marco
full_name: Platzner, Marco
id: '398'
last_name: Platzner
citation:
ama: 'Awais M, Ghasemzadeh Mohammadi H, Platzner M. An MCTS-based Framework for
Synthesis of Approximate Circuits. In: 26th IFIP/IEEE International Conference
on Very Large Scale Integration (VLSI-SoC). ; 2018:219-224. doi:10.1109/VLSI-SoC.2018.8645026'
apa: Awais, M., Ghasemzadeh Mohammadi, H., & Platzner, M. (2018). An MCTS-based
Framework for Synthesis of Approximate Circuits. In 26th IFIP/IEEE International
Conference on Very Large Scale Integration (VLSI-SoC) (pp. 219–224). https://doi.org/10.1109/VLSI-SoC.2018.8645026
bibtex: '@inproceedings{Awais_Ghasemzadeh Mohammadi_Platzner_2018, title={An MCTS-based
Framework for Synthesis of Approximate Circuits}, DOI={10.1109/VLSI-SoC.2018.8645026},
booktitle={26th IFIP/IEEE International Conference on Very Large Scale Integration
(VLSI-SoC)}, author={Awais, Muhammad and Ghasemzadeh Mohammadi, Hassan and Platzner,
Marco}, year={2018}, pages={219–224} }'
chicago: Awais, Muhammad, Hassan Ghasemzadeh Mohammadi, and Marco Platzner. “An
MCTS-Based Framework for Synthesis of Approximate Circuits.” In 26th IFIP/IEEE
International Conference on Very Large Scale Integration (VLSI-SoC), 219–24,
2018. https://doi.org/10.1109/VLSI-SoC.2018.8645026.
ieee: M. Awais, H. Ghasemzadeh Mohammadi, and M. Platzner, “An MCTS-based Framework
for Synthesis of Approximate Circuits,” in 26th IFIP/IEEE International Conference
on Very Large Scale Integration (VLSI-SoC), 2018, pp. 219–224.
mla: Awais, Muhammad, et al. “An MCTS-Based Framework for Synthesis of Approximate
Circuits.” 26th IFIP/IEEE International Conference on Very Large Scale Integration
(VLSI-SoC), 2018, pp. 219–24, doi:10.1109/VLSI-SoC.2018.8645026.
short: 'M. Awais, H. Ghasemzadeh Mohammadi, M. Platzner, in: 26th IFIP/IEEE International
Conference on Very Large Scale Integration (VLSI-SoC), 2018, pp. 219–224.'
date_created: 2019-07-10T09:21:38Z
date_updated: 2022-01-06T06:50:46Z
department:
- _id: '78'
doi: 10.1109/VLSI-SoC.2018.8645026
keyword:
- Approximate computing
- High-level synthesis
- Accuracy
- Monte-Carlo tree search
- Circuit simulation
language:
- iso: eng
page: 219-224
publication: 26th IFIP/IEEE International Conference on Very Large Scale Integration
(VLSI-SoC)
status: public
title: An MCTS-based Framework for Synthesis of Approximate Circuits
type: conference
user_id: '64665'
year: '2018'
...
---
_id: '10782'
author:
- first_name: Lennart
full_name: Clausing, Lennart
id: '74287'
last_name: Clausing
orcid: 0000-0003-3789-6034
citation:
ama: Clausing L. Development of a Hardware / Software Codesign for Sonification
of LIDAR-Based Sensor Data. Ruhr-University Bochum; 2018.
apa: Clausing, L. (2018). Development of a Hardware / Software Codesign for sonification
of LIDAR-based sensor data. Ruhr-University Bochum.
bibtex: '@book{Clausing_2018, title={Development of a Hardware / Software Codesign
for sonification of LIDAR-based sensor data}, publisher={Ruhr-University Bochum},
author={Clausing, Lennart}, year={2018} }'
chicago: Clausing, Lennart. Development of a Hardware / Software Codesign for
Sonification of LIDAR-Based Sensor Data. Ruhr-University Bochum, 2018.
ieee: L. Clausing, Development of a Hardware / Software Codesign for sonification
of LIDAR-based sensor data. Ruhr-University Bochum, 2018.
mla: Clausing, Lennart. Development of a Hardware / Software Codesign for Sonification
of LIDAR-Based Sensor Data. Ruhr-University Bochum, 2018.
short: L. Clausing, Development of a Hardware / Software Codesign for Sonification
of LIDAR-Based Sensor Data, Ruhr-University Bochum, 2018.
date_created: 2019-07-10T12:13:18Z
date_updated: 2022-01-06T06:50:50Z
department:
- _id: '78'
extern: '1'
language:
- iso: eng
publisher: Ruhr-University Bochum
status: public
title: Development of a Hardware / Software Codesign for sonification of LIDAR-based
sensor data
type: mastersthesis
user_id: '3118'
year: '2018'
...
---
_id: '10783'
author:
- first_name: Ines
full_name: Couso, Ines
last_name: Couso
- first_name: Eyke
full_name: Hüllermeier, Eyke
id: '48129'
last_name: Hüllermeier
citation:
ama: 'Couso I, Hüllermeier E. Statistical Inference for Incomplete Ranking Data:
A Comparison of two likelihood-based estimators. In: Mostaghim S, Nürnberger A,
Borgelt C, eds. Frontiers in Computational Intelligence. Springer; 2018:31-46.'
apa: 'Couso, I., & Hüllermeier, E. (2018). Statistical Inference for Incomplete
Ranking Data: A Comparison of two likelihood-based estimators. In S. Mostaghim,
A. Nürnberger, & C. Borgelt (Eds.), Frontiers in Computational Intelligence
(pp. 31–46). Springer.'
bibtex: '@inbook{Couso_Hüllermeier_2018, title={Statistical Inference for Incomplete
Ranking Data: A Comparison of two likelihood-based estimators}, booktitle={Frontiers
in Computational Intelligence}, publisher={Springer}, author={Couso, Ines and
Hüllermeier, Eyke}, editor={Mostaghim, Sanaz and Nürnberger, Andreas and Borgelt,
ChristianEditors}, year={2018}, pages={31–46} }'
chicago: 'Couso, Ines, and Eyke Hüllermeier. “Statistical Inference for Incomplete
Ranking Data: A Comparison of Two Likelihood-Based Estimators.” In Frontiers
in Computational Intelligence, edited by Sanaz Mostaghim, Andreas Nürnberger,
and Christian Borgelt, 31–46. Springer, 2018.'
ieee: 'I. Couso and E. Hüllermeier, “Statistical Inference for Incomplete Ranking
Data: A Comparison of two likelihood-based estimators,” in Frontiers in Computational
Intelligence, S. Mostaghim, A. Nürnberger, and C. Borgelt, Eds. Springer,
2018, pp. 31–46.'
mla: 'Couso, Ines, and Eyke Hüllermeier. “Statistical Inference for Incomplete Ranking
Data: A Comparison of Two Likelihood-Based Estimators.” Frontiers in Computational
Intelligence, edited by Sanaz Mostaghim et al., Springer, 2018, pp. 31–46.'
short: 'I. Couso, E. Hüllermeier, in: S. Mostaghim, A. Nürnberger, C. Borgelt (Eds.),
Frontiers in Computational Intelligence, Springer, 2018, pp. 31–46.'
date_created: 2019-07-10T15:39:00Z
date_updated: 2022-01-06T06:50:50Z
department:
- _id: '34'
- _id: '7'
- _id: '355'
- _id: '26'
editor:
- first_name: Sanaz
full_name: Mostaghim, Sanaz
last_name: Mostaghim
- first_name: Andreas
full_name: Nürnberger, Andreas
last_name: Nürnberger
- first_name: Christian
full_name: Borgelt, Christian
last_name: Borgelt
language:
- iso: eng
page: 31-46
publication: Frontiers in Computational Intelligence
publisher: Springer
status: public
title: 'Statistical Inference for Incomplete Ranking Data: A Comparison of two likelihood-based
estimators'
type: book_chapter
user_id: '49109'
year: '2018'
...
---
_id: '1096'
abstract:
- lang: eng
text: to appear
author:
- first_name: Dirk
full_name: Beyer, Dirk
last_name: Beyer
- first_name: Marie-Christine
full_name: Jakobs, Marie-Christine
last_name: Jakobs
- first_name: Thomas
full_name: Lemberger, Thomas
last_name: Lemberger
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'Beyer D, Jakobs M-C, Lemberger T, Wehrheim H. Reducer-Based Construction of
Conditional Verifiers. In: Proceedings of the 40th International Conference
on Software Engineering (ICSE). ACM; 2018:1182--1193.'
apa: 'Beyer, D., Jakobs, M.-C., Lemberger, T., & Wehrheim, H. (2018). Reducer-Based
Construction of Conditional Verifiers. In Proceedings of the 40th International
Conference on Software Engineering (ICSE) (pp. 1182--1193). Gothenburg, Sweden:
ACM.'
bibtex: '@inproceedings{Beyer_Jakobs_Lemberger_Wehrheim_2018, title={Reducer-Based
Construction of Conditional Verifiers}, booktitle={Proceedings of the 40th International
Conference on Software Engineering (ICSE)}, publisher={ACM}, author={Beyer, Dirk
and Jakobs, Marie-Christine and Lemberger, Thomas and Wehrheim, Heike}, year={2018},
pages={1182--1193} }'
chicago: Beyer, Dirk, Marie-Christine Jakobs, Thomas Lemberger, and Heike Wehrheim.
“Reducer-Based Construction of Conditional Verifiers.” In Proceedings of the
40th International Conference on Software Engineering (ICSE), 1182--1193.
ACM, 2018.
ieee: D. Beyer, M.-C. Jakobs, T. Lemberger, and H. Wehrheim, “Reducer-Based Construction
of Conditional Verifiers,” in Proceedings of the 40th International Conference
on Software Engineering (ICSE), Gothenburg, Sweden, 2018, pp. 1182--1193.
mla: Beyer, Dirk, et al. “Reducer-Based Construction of Conditional Verifiers.”
Proceedings of the 40th International Conference on Software Engineering (ICSE),
ACM, 2018, pp. 1182--1193.
short: 'D. Beyer, M.-C. Jakobs, T. Lemberger, H. Wehrheim, in: Proceedings of the
40th International Conference on Software Engineering (ICSE), ACM, 2018, pp. 1182--1193.'
conference:
end_date: 2018-06-03
location: Gothenburg, Sweden
name: 40th International Conference on Software Engineering
start_date: 2018-05-27
date_created: 2018-01-08T10:52:51Z
date_updated: 2022-01-06T06:50:54Z
ddc:
- '000'
department:
- _id: '77'
file:
- access_level: closed
content_type: application/pdf
creator: florida
date_created: 2018-11-21T10:50:51Z
date_updated: 2018-11-21T10:50:51Z
file_id: '5783'
file_name: Reducer-Based Construction of Conditional Verifiers.pdf
file_size: 826719
relation: main_file
success: 1
file_date_updated: 2018-11-21T10:50:51Z
has_accepted_license: '1'
language:
- iso: eng
page: 1182--1193
project:
- _id: '1'
name: SFB 901
- _id: '3'
name: SFB 901 - Project Area B
- _id: '12'
name: SFB 901 - Subproject B4
- _id: '85'
name: Kooperative Softwareverifikation
publication: Proceedings of the 40th International Conference on Software Engineering
(ICSE)
publisher: ACM
status: public
title: Reducer-Based Construction of Conditional Verifiers
type: conference
user_id: '29719'
year: '2018'
...
---
_id: '1097'
author:
- first_name: Felix Paul
full_name: Jentzsch, Felix Paul
last_name: Jentzsch
citation:
ama: Jentzsch FP. Enforcing IP Core Connection Properties with Verifiable Security
Monitors. Universität Paderborn; 2018.
apa: Jentzsch, F. P. (2018). Enforcing IP Core Connection Properties with Verifiable
Security Monitors. Universität Paderborn.
bibtex: '@book{Jentzsch_2018, title={Enforcing IP Core Connection Properties with
Verifiable Security Monitors}, publisher={Universität Paderborn}, author={Jentzsch,
Felix Paul}, year={2018} }'
chicago: Jentzsch, Felix Paul. Enforcing IP Core Connection Properties with Verifiable
Security Monitors. Universität Paderborn, 2018.
ieee: F. P. Jentzsch, Enforcing IP Core Connection Properties with Verifiable
Security Monitors. Universität Paderborn, 2018.
mla: Jentzsch, Felix Paul. Enforcing IP Core Connection Properties with Verifiable
Security Monitors. Universität Paderborn, 2018.
short: F.P. Jentzsch, Enforcing IP Core Connection Properties with Verifiable Security
Monitors, Universität Paderborn, 2018.
date_created: 2018-01-15T16:48:05Z
date_updated: 2022-01-06T06:50:54Z
department:
- _id: '78'
keyword:
- Approximate Computing
- Proof-Carrying Hardware
- Formal Verification
language:
- iso: eng
project:
- _id: '12'
name: SFB 901 - Subproject B4
- _id: '1'
name: SFB 901
- _id: '3'
name: SFB 901 - Project Area B
publisher: Universität Paderborn
status: public
supervisor:
- first_name: Tobias
full_name: Wiersema, Tobias
id: '3118'
last_name: Wiersema
title: Enforcing IP Core Connection Properties with Verifiable Security Monitors
type: bachelorsthesis
user_id: '477'
year: '2018'
...
---
_id: '11711'
author:
- first_name: Yamen
full_name: Ajjour, Yamen
last_name: Ajjour
- first_name: Henning
full_name: Wachsmuth, Henning
id: '3900'
last_name: Wachsmuth
- first_name: Dora
full_name: Kiesel, Dora
last_name: Kiesel
- first_name: Patrick
full_name: Riehmann, Patrick
last_name: Riehmann
- first_name: Fan
full_name: Fan, Fan
last_name: Fan
- first_name: Giuliano
full_name: Castiglia, Giuliano
last_name: Castiglia
- first_name: Rosemary
full_name: Adejoh, Rosemary
last_name: Adejoh
- first_name: Bernd
full_name: Fröhlich, Bernd
last_name: Fröhlich
- first_name: Benno
full_name: Stein, Benno
last_name: Stein
citation:
ama: 'Ajjour Y, Wachsmuth H, Kiesel D, et al. Visualization of the Topic Space of
Argument Search Results in args. me. In: Proceedings of the 2018 Conference
on Empirical Methods in Natural Language Processing: System Demonstrations.
; 2018:60-65.'
apa: 'Ajjour, Y., Wachsmuth, H., Kiesel, D., Riehmann, P., Fan, F., Castiglia, G.,
… Stein, B. (2018). Visualization of the Topic Space of Argument Search Results
in args. me. In Proceedings of the 2018 Conference on Empirical Methods in
Natural Language Processing: System Demonstrations (pp. 60–65).'
bibtex: '@inproceedings{Ajjour_Wachsmuth_Kiesel_Riehmann_Fan_Castiglia_Adejoh_Fröhlich_Stein_2018,
title={Visualization of the Topic Space of Argument Search Results in args. me},
booktitle={Proceedings of the 2018 Conference on Empirical Methods in Natural
Language Processing: System Demonstrations}, author={Ajjour, Yamen and Wachsmuth,
Henning and Kiesel, Dora and Riehmann, Patrick and Fan, Fan and Castiglia, Giuliano
and Adejoh, Rosemary and Fröhlich, Bernd and Stein, Benno}, year={2018}, pages={60–65}
}'
chicago: 'Ajjour, Yamen, Henning Wachsmuth, Dora Kiesel, Patrick Riehmann, Fan Fan,
Giuliano Castiglia, Rosemary Adejoh, Bernd Fröhlich, and Benno Stein. “Visualization
of the Topic Space of Argument Search Results in Args. Me.” In Proceedings
of the 2018 Conference on Empirical Methods in Natural Language Processing: System
Demonstrations, 60–65, 2018.'
ieee: 'Y. Ajjour et al., “Visualization of the Topic Space of Argument Search
Results in args. me,” in Proceedings of the 2018 Conference on Empirical Methods
in Natural Language Processing: System Demonstrations, 2018, pp. 60–65.'
mla: 'Ajjour, Yamen, et al. “Visualization of the Topic Space of Argument Search
Results in Args. Me.” Proceedings of the 2018 Conference on Empirical Methods
in Natural Language Processing: System Demonstrations, 2018, pp. 60–65.'
short: 'Y. Ajjour, H. Wachsmuth, D. Kiesel, P. Riehmann, F. Fan, G. Castiglia, R.
Adejoh, B. Fröhlich, B. Stein, in: Proceedings of the 2018 Conference on Empirical
Methods in Natural Language Processing: System Demonstrations, 2018, pp. 60–65.'
date_created: 2019-07-11T13:17:03Z
date_updated: 2022-01-06T06:51:07Z
department:
- _id: '600'
- _id: '568'
language:
- iso: eng
main_file_link:
- url: https://www.aclweb.org/anthology/D18-2011.pdf
page: 60-65
publication: 'Proceedings of the 2018 Conference on Empirical Methods in Natural Language
Processing: System Demonstrations'
status: public
title: Visualization of the Topic Space of Argument Search Results in args. me
type: conference
user_id: '82920'
year: '2018'
...
---
_id: '11712'
author:
- first_name: Roxanne
full_name: El Baff, Roxanne
last_name: El Baff
- first_name: Henning
full_name: Wachsmuth, Henning
id: '3900'
last_name: Wachsmuth
- first_name: Khalid
full_name: Al Khatib, Khalid
last_name: Al Khatib
- first_name: Benno
full_name: Stein, Benno
last_name: Stein
citation:
ama: 'El Baff R, Wachsmuth H, Al Khatib K, Stein B. Challenge or Empower: Revisiting
Argumentation Quality in a News Editorial Corpus. In: Proceedings of the 22nd
Conference on Computational Natural Language Learning. Association for Computational
Linguistics; 2018:454-464.'
apa: 'El Baff, R., Wachsmuth, H., Al Khatib, K., & Stein, B. (2018). Challenge
or Empower: Revisiting Argumentation Quality in a News Editorial Corpus. In Proceedings
of the 22nd Conference on Computational Natural Language Learning (pp. 454–464).
Association for Computational Linguistics.'
bibtex: '@inproceedings{El Baff_Wachsmuth_Al Khatib_Stein_2018, title={Challenge
or Empower: Revisiting Argumentation Quality in a News Editorial Corpus}, booktitle={Proceedings
of the 22nd Conference on Computational Natural Language Learning}, publisher={Association
for Computational Linguistics}, author={El Baff, Roxanne and Wachsmuth, Henning
and Al Khatib, Khalid and Stein, Benno}, year={2018}, pages={454–464} }'
chicago: 'El Baff, Roxanne, Henning Wachsmuth, Khalid Al Khatib, and Benno Stein.
“Challenge or Empower: Revisiting Argumentation Quality in a News Editorial Corpus.”
In Proceedings of the 22nd Conference on Computational Natural Language Learning,
454–64. Association for Computational Linguistics, 2018.'
ieee: 'R. El Baff, H. Wachsmuth, K. Al Khatib, and B. Stein, “Challenge or Empower:
Revisiting Argumentation Quality in a News Editorial Corpus,” in Proceedings
of the 22nd Conference on Computational Natural Language Learning, 2018, pp.
454–464.'
mla: 'El Baff, Roxanne, et al. “Challenge or Empower: Revisiting Argumentation Quality
in a News Editorial Corpus.” Proceedings of the 22nd Conference on Computational
Natural Language Learning, Association for Computational Linguistics, 2018,
pp. 454–64.'
short: 'R. El Baff, H. Wachsmuth, K. Al Khatib, B. Stein, in: Proceedings of the
22nd Conference on Computational Natural Language Learning, Association for Computational
Linguistics, 2018, pp. 454–464.'
date_created: 2019-07-11T13:20:33Z
date_updated: 2022-01-06T06:51:07Z
department:
- _id: '600'
- _id: '568'
language:
- iso: eng
main_file_link:
- url: https://www.aclweb.org/anthology/K18-1044.pdf
page: 454-464
publication: Proceedings of the 22nd Conference on Computational Natural Language
Learning
publisher: Association for Computational Linguistics
status: public
title: 'Challenge or Empower: Revisiting Argumentation Quality in a News Editorial
Corpus'
type: conference
user_id: '82920'
year: '2018'
...