---
_id: '60437'
abstract:
- lang: eng
text: Parametrization based methods have recently become very popular for
the generation of high quality quad meshes. In contrast to previous approaches,
they allow for intuitive user control in order to accommodate all kinds of application
driven constraints and design intentions. A major obstacle in practice, however,
are the relatively long computations that lead to response times of several minutes
already for input models of moderate complexity. In this paper we introduce a
novel strategy to handle highly complex input meshes with up to several millions
of triangles such that quad meshes can still be created and edited within an interactive
workflow. Our method is based on representing the input model on different levels
of resolution with a mechanism to propagate parametrizations from coarser to finer
levels. The major challenge is to guarantee consistent parametrizations even in
the presence of charts, transition functions, and singularities. Moreover, the
remaining degrees of freedom on coarser levels of resolution have to be chosen
carefully in order to still achieve low distortion parametrizations. We demonstrate
a prototypic system where the user can interactively edit quad meshes with powerful
high-level operations such as guiding constraints, singularity repositioning,
and singularity connections.
author:
- first_name: Hans-Christian
full_name: Ebke, Hans-Christian
last_name: Ebke
- first_name: Patrick
full_name: Schmidt, Patrick
last_name: Schmidt
- first_name: Marcel
full_name: Campen, Marcel
id: '114904'
last_name: Campen
orcid: 0000-0003-2340-3462
- first_name: Leif
full_name: Kobbelt, Leif
last_name: Kobbelt
citation:
ama: Ebke H-C, Schmidt P, Campen M, Kobbelt L. Interactively controlled quad remeshing
of high resolution 3D models. ACM Transactions on Graphics. 2016;35(6):1-13.
doi:10.1145/2980179.2982413
apa: Ebke, H.-C., Schmidt, P., Campen, M., & Kobbelt, L. (2016). Interactively
controlled quad remeshing of high resolution 3D models. ACM Transactions on
Graphics, 35(6), 1–13. https://doi.org/10.1145/2980179.2982413
bibtex: '@article{Ebke_Schmidt_Campen_Kobbelt_2016, title={Interactively controlled
quad remeshing of high resolution 3D models}, volume={35}, DOI={10.1145/2980179.2982413},
number={6}, journal={ACM Transactions on Graphics}, publisher={Association for
Computing Machinery (ACM)}, author={Ebke, Hans-Christian and Schmidt, Patrick
and Campen, Marcel and Kobbelt, Leif}, year={2016}, pages={1–13} }'
chicago: 'Ebke, Hans-Christian, Patrick Schmidt, Marcel Campen, and Leif Kobbelt.
“Interactively Controlled Quad Remeshing of High Resolution 3D Models.” ACM
Transactions on Graphics 35, no. 6 (2016): 1–13. https://doi.org/10.1145/2980179.2982413.'
ieee: 'H.-C. Ebke, P. Schmidt, M. Campen, and L. Kobbelt, “Interactively controlled
quad remeshing of high resolution 3D models,” ACM Transactions on Graphics,
vol. 35, no. 6, pp. 1–13, 2016, doi: 10.1145/2980179.2982413.'
mla: Ebke, Hans-Christian, et al. “Interactively Controlled Quad Remeshing of High
Resolution 3D Models.” ACM Transactions on Graphics, vol. 35, no. 6, Association
for Computing Machinery (ACM), 2016, pp. 1–13, doi:10.1145/2980179.2982413.
short: H.-C. Ebke, P. Schmidt, M. Campen, L. Kobbelt, ACM Transactions on Graphics
35 (2016) 1–13.
date_created: 2025-06-27T07:54:23Z
date_updated: 2025-07-14T12:41:54Z
department:
- _id: '969'
doi: 10.1145/2980179.2982413
extern: '1'
intvolume: ' 35'
issue: '6'
language:
- iso: eng
page: 1-13
publication: ACM Transactions on Graphics
publication_identifier:
issn:
- 0730-0301
- 1557-7368
publication_status: published
publisher: Association for Computing Machinery (ACM)
status: public
title: Interactively controlled quad remeshing of high resolution 3D models
type: journal_article
user_id: '117512'
volume: 35
year: '2016'
...
---
_id: '60435'
abstract:
- lang: eng
text: AbstractVarious applications of global surface
parametrization benefit from the alignment of parametrization isolines with principal
curvature directions. This is particularly true for recent parametrization‐based
meshing approaches, where this directly translates into a shape‐aware edge flow,
better approximation quality, and reduced meshing artifacts. Existing methods
to influence a parametrization based on principal curvature directions suffer
from scale‐dependence, which implies the necessity of parameter variation, or
try to capture complex directional shape features using simple 1D curves. Especially
for non‐sharp features, such as chamfers, fillets, blends, and even more for organic
variants thereof, these abstractions can be unfit. We present a novel approach
which respects and exploits the 2D nature of such directional feature regions,
detects them based on coherence and homogeneity properties, and controls the parametrization
process accordingly. This approach enables us to provide an intuitive, scale‐invariant
control parameter to the user. It also allows us to consider non‐local aspects
like the topology of a feature, enabling further improvements. We demonstrate
that, compared to previous approaches, global parametrizations of higher quality
can be generated without user intervention.
author:
- first_name: Marcel
full_name: Campen, Marcel
id: '114904'
last_name: Campen
orcid: 0000-0003-2340-3462
- first_name: Moritz
full_name: Ibing, Moritz
last_name: Ibing
- first_name: Hans‐Christian
full_name: Ebke, Hans‐Christian
last_name: Ebke
- first_name: Denis
full_name: Zorin, Denis
last_name: Zorin
- first_name: Leif
full_name: Kobbelt, Leif
last_name: Kobbelt
citation:
ama: Campen M, Ibing M, Ebke H, Zorin D, Kobbelt L. Scale‐Invariant Directional
Alignment of Surface Parametrizations. Computer Graphics Forum. 2016;35(5):1-10.
doi:10.1111/cgf.12958
apa: Campen, M., Ibing, M., Ebke, H., Zorin, D., & Kobbelt, L. (2016). Scale‐Invariant
Directional Alignment of Surface Parametrizations. Computer Graphics Forum,
35(5), 1–10. https://doi.org/10.1111/cgf.12958
bibtex: '@article{Campen_Ibing_Ebke_Zorin_Kobbelt_2016, title={Scale‐Invariant Directional
Alignment of Surface Parametrizations}, volume={35}, DOI={10.1111/cgf.12958},
number={5}, journal={Computer Graphics Forum}, publisher={Wiley}, author={Campen,
Marcel and Ibing, Moritz and Ebke, Hans‐Christian and Zorin, Denis and Kobbelt,
Leif}, year={2016}, pages={1–10} }'
chicago: 'Campen, Marcel, Moritz Ibing, Hans‐Christian Ebke, Denis Zorin, and Leif
Kobbelt. “Scale‐Invariant Directional Alignment of Surface Parametrizations.”
Computer Graphics Forum 35, no. 5 (2016): 1–10. https://doi.org/10.1111/cgf.12958.'
ieee: 'M. Campen, M. Ibing, H. Ebke, D. Zorin, and L. Kobbelt, “Scale‐Invariant
Directional Alignment of Surface Parametrizations,” Computer Graphics Forum,
vol. 35, no. 5, pp. 1–10, 2016, doi: 10.1111/cgf.12958.'
mla: Campen, Marcel, et al. “Scale‐Invariant Directional Alignment of Surface Parametrizations.”
Computer Graphics Forum, vol. 35, no. 5, Wiley, 2016, pp. 1–10, doi:10.1111/cgf.12958.
short: M. Campen, M. Ibing, H. Ebke, D. Zorin, L. Kobbelt, Computer Graphics Forum
35 (2016) 1–10.
date_created: 2025-06-27T07:51:00Z
date_updated: 2025-07-14T12:42:01Z
department:
- _id: '969'
doi: 10.1111/cgf.12958
extern: '1'
intvolume: ' 35'
issue: '5'
language:
- iso: eng
page: 1-10
publication: Computer Graphics Forum
publication_identifier:
issn:
- 0167-7055
- 1467-8659
publication_status: published
publisher: Wiley
status: public
title: Scale‐Invariant Directional Alignment of Surface Parametrizations
type: journal_article
user_id: '117512'
volume: 35
year: '2016'
...
---
_id: '60434'
abstract:
- lang: eng
text: 'AbstractDirection fields and vector fields
play an increasingly important role in computer graphics and geometry processing.
The synthesis of directional fields on surfaces, or other spatial domains, is
a fundamental step in numerous applications, such as mesh generation, deformation,
texture mapping, and many more. The wide range of applications resulted in definitions
for many types of directional fields: from vector and tensor fields, over line
and cross fields, to frame and vector‐set fields. Depending on the application
at hand, researchers have used various notions of objectives and constraints to
synthesize such fields. These notions are defined in terms of fairness, feature
alignment, symmetry, or field topology, to mention just a few. To facilitate these
objectives, various representations, discretizations, and optimization strategies
have been developed. These choices come with varying strengths and weaknesses.
This report provides a systematic overview of directional field synthesis for
graphics applications, the challenges it poses, and the methods developed in recent
years to address these challenges.'
author:
- first_name: Amir
full_name: Vaxman, Amir
last_name: Vaxman
- first_name: Marcel
full_name: Campen, Marcel
id: '114904'
last_name: Campen
orcid: 0000-0003-2340-3462
- first_name: Olga
full_name: Diamanti, Olga
last_name: Diamanti
- first_name: Daniele
full_name: Panozzo, Daniele
last_name: Panozzo
- first_name: David
full_name: Bommes, David
last_name: Bommes
- first_name: Klaus
full_name: Hildebrandt, Klaus
last_name: Hildebrandt
- first_name: Mirela
full_name: Ben‐Chen, Mirela
last_name: Ben‐Chen
citation:
ama: Vaxman A, Campen M, Diamanti O, et al. Directional Field Synthesis, Design,
and Processing. Computer Graphics Forum. 2016;35(2):545-572. doi:10.1111/cgf.12864
apa: Vaxman, A., Campen, M., Diamanti, O., Panozzo, D., Bommes, D., Hildebrandt,
K., & Ben‐Chen, M. (2016). Directional Field Synthesis, Design, and Processing.
Computer Graphics Forum, 35(2), 545–572. https://doi.org/10.1111/cgf.12864
bibtex: '@article{Vaxman_Campen_Diamanti_Panozzo_Bommes_Hildebrandt_Ben‐Chen_2016,
title={Directional Field Synthesis, Design, and Processing}, volume={35}, DOI={10.1111/cgf.12864}, number={2}, journal={Computer
Graphics Forum}, publisher={Wiley}, author={Vaxman, Amir and Campen, Marcel and
Diamanti, Olga and Panozzo, Daniele and Bommes, David and Hildebrandt, Klaus and
Ben‐Chen, Mirela}, year={2016}, pages={545–572} }'
chicago: 'Vaxman, Amir, Marcel Campen, Olga Diamanti, Daniele Panozzo, David Bommes,
Klaus Hildebrandt, and Mirela Ben‐Chen. “Directional Field Synthesis, Design,
and Processing.” Computer Graphics Forum 35, no. 2 (2016): 545–72. https://doi.org/10.1111/cgf.12864.'
ieee: 'A. Vaxman et al., “Directional Field Synthesis, Design, and Processing,”
Computer Graphics Forum, vol. 35, no. 2, pp. 545–572, 2016, doi: 10.1111/cgf.12864.'
mla: Vaxman, Amir, et al. “Directional Field Synthesis, Design, and Processing.”
Computer Graphics Forum, vol. 35, no. 2, Wiley, 2016, pp. 545–72, doi:10.1111/cgf.12864.
short: A. Vaxman, M. Campen, O. Diamanti, D. Panozzo, D. Bommes, K. Hildebrandt,
M. Ben‐Chen, Computer Graphics Forum 35 (2016) 545–572.
date_created: 2025-06-27T07:45:00Z
date_updated: 2025-07-14T12:42:05Z
department:
- _id: '969'
doi: 10.1111/cgf.12864
extern: '1'
intvolume: ' 35'
issue: '2'
language:
- iso: eng
page: 545-572
publication: Computer Graphics Forum
publication_identifier:
issn:
- 0167-7055
- 1467-8659
publication_status: published
publisher: Wiley
status: public
title: Directional Field Synthesis, Design, and Processing
type: journal_article
user_id: '117512'
volume: 35
year: '2016'
...
---
_id: '60436'
abstract:
- lang: eng
text: This paper presents a method for bijective parametrization of 2D and
3D objects over canonical domains. While a range of solutions for the two-dimensional
case are well-known, our method guarantees bijectivity of mappings also for a
large, combinatorially-defined class of tetrahedral meshes (shellable meshes).
The key concept in our method is the piecewise-linear (PL) foliation, decomposing
the mesh into one-dimensional submanifolds and reducing the mapping problem to
parametrization of a lower-dimensional manifold (a foliation section). The maps
resulting from these foliations are proved to be bijective and continuous, and
shown to have provably bijective PL approximations. We describe exact, numerically
robust evaluation methods and demonstrate our implementation's capabilities on
a large variety of meshes.
author:
- first_name: Marcel
full_name: Campen, Marcel
id: '114904'
last_name: Campen
orcid: 0000-0003-2340-3462
- first_name: Cláudio T.
full_name: Silva, Cláudio T.
last_name: Silva
- first_name: Denis
full_name: Zorin, Denis
last_name: Zorin
citation:
ama: Campen M, Silva CT, Zorin D. Bijective maps from simplicial foliations. ACM
Transactions on Graphics. 2016;35(4):1-15. doi:10.1145/2897824.2925890
apa: Campen, M., Silva, C. T., & Zorin, D. (2016). Bijective maps from simplicial
foliations. ACM Transactions on Graphics, 35(4), 1–15. https://doi.org/10.1145/2897824.2925890
bibtex: '@article{Campen_Silva_Zorin_2016, title={Bijective maps from simplicial
foliations}, volume={35}, DOI={10.1145/2897824.2925890},
number={4}, journal={ACM Transactions on Graphics}, publisher={Association for
Computing Machinery (ACM)}, author={Campen, Marcel and Silva, Cláudio T. and Zorin,
Denis}, year={2016}, pages={1–15} }'
chicago: 'Campen, Marcel, Cláudio T. Silva, and Denis Zorin. “Bijective Maps from
Simplicial Foliations.” ACM Transactions on Graphics 35, no. 4 (2016):
1–15. https://doi.org/10.1145/2897824.2925890.'
ieee: 'M. Campen, C. T. Silva, and D. Zorin, “Bijective maps from simplicial foliations,”
ACM Transactions on Graphics, vol. 35, no. 4, pp. 1–15, 2016, doi: 10.1145/2897824.2925890.'
mla: Campen, Marcel, et al. “Bijective Maps from Simplicial Foliations.” ACM
Transactions on Graphics, vol. 35, no. 4, Association for Computing Machinery
(ACM), 2016, pp. 1–15, doi:10.1145/2897824.2925890.
short: M. Campen, C.T. Silva, D. Zorin, ACM Transactions on Graphics 35 (2016) 1–15.
date_created: 2025-06-27T07:52:32Z
date_updated: 2025-07-14T12:41:57Z
department:
- _id: '969'
doi: 10.1145/2897824.2925890
extern: '1'
intvolume: ' 35'
issue: '4'
language:
- iso: eng
page: 1-15
publication: ACM Transactions on Graphics
publication_identifier:
issn:
- 0730-0301
- 1557-7368
publication_status: published
publisher: Association for Computing Machinery (ACM)
status: public
title: Bijective maps from simplicial foliations
type: journal_article
user_id: '117512'
volume: 35
year: '2016'
...
---
_id: '29613'
author:
- first_name: Oliver
full_name: Wallscheid, Oliver
id: '11291'
last_name: Wallscheid
orcid: https://orcid.org/0000-0001-9362-8777
- first_name: Tobias
full_name: Huber, Tobias
last_name: Huber
- first_name: Wilhelm
full_name: Peters, Wilhelm
last_name: Peters
- first_name: Joachim
full_name: Böcker, Joachim
id: '66'
last_name: Böcker
orcid: 0000-0002-8480-7295
citation:
ama: Wallscheid O, Huber T, Peters W, Böcker J. A Critical Review of Techniques
to Determine the Magnet Temperature of Permanent Magnet Synchronous Motors under
Real-time Conditions. EPE Journal. 2016;(25):1–10. doi:10.1080/09398368.2016.1209877
apa: Wallscheid, O., Huber, T., Peters, W., & Böcker, J. (2016). A Critical
Review of Techniques to Determine the Magnet Temperature of Permanent Magnet Synchronous
Motors under Real-time Conditions. EPE Journal, 25, 1–10. https://doi.org/10.1080/09398368.2016.1209877
bibtex: '@article{Wallscheid_Huber_Peters_Böcker_2016, title={A Critical Review
of Techniques to Determine the Magnet Temperature of Permanent Magnet Synchronous
Motors under Real-time Conditions}, DOI={10.1080/09398368.2016.1209877},
number={25}, journal={EPE Journal}, publisher={Taylor & Francis}, author={Wallscheid,
Oliver and Huber, Tobias and Peters, Wilhelm and Böcker, Joachim}, year={2016},
pages={1–10} }'
chicago: 'Wallscheid, Oliver, Tobias Huber, Wilhelm Peters, and Joachim Böcker.
“A Critical Review of Techniques to Determine the Magnet Temperature of Permanent
Magnet Synchronous Motors under Real-Time Conditions.” EPE Journal, no.
25 (2016): 1–10. https://doi.org/10.1080/09398368.2016.1209877.'
ieee: 'O. Wallscheid, T. Huber, W. Peters, and J. Böcker, “A Critical Review of
Techniques to Determine the Magnet Temperature of Permanent Magnet Synchronous
Motors under Real-time Conditions,” EPE Journal, no. 25, pp. 1–10, 2016,
doi: 10.1080/09398368.2016.1209877.'
mla: Wallscheid, Oliver, et al. “A Critical Review of Techniques to Determine the
Magnet Temperature of Permanent Magnet Synchronous Motors under Real-Time Conditions.”
EPE Journal, no. 25, Taylor & Francis, 2016, pp. 1–10, doi:10.1080/09398368.2016.1209877.
short: O. Wallscheid, T. Huber, W. Peters, J. Böcker, EPE Journal (2016) 1–10.
date_created: 2022-01-28T14:10:55Z
date_updated: 2025-10-03T16:40:19Z
department:
- _id: '52'
doi: 10.1080/09398368.2016.1209877
issue: '25'
language:
- iso: eng
main_file_link:
- url: https://www.researchgate.net/publication/305764079_A_critical_review_of_techniques_to_determine_the_magnet_temperature_of_permanent_magnet_synchronous_motors_under_real-time_conditions
page: 1–10
publication: EPE Journal
publisher: Taylor & Francis
status: public
title: A Critical Review of Techniques to Determine the Magnet Temperature of Permanent
Magnet Synchronous Motors under Real-time Conditions
type: journal_article
user_id: '66'
year: '2016'
...
---
_id: '52870'
author:
- first_name: Lars Lau
full_name: Raket, Lars Lau
last_name: Raket
- first_name: Britta
full_name: Grimme, Britta
last_name: Grimme
- first_name: Gregor
full_name: Schöner, Gregor
last_name: Schöner
- first_name: Christian
full_name: Igel, Christian
last_name: Igel
- first_name: Bo
full_name: Markussen, Bo
last_name: Markussen
citation:
ama: Raket LL, Grimme B, Schöner G, Igel C, Markussen B. Separating timing, movement
conditions and individual differences in the analysis of human movement. PLoS
Computational Biology. 2016;12(9):e1005092.
apa: Raket, L. L., Grimme, B., Schöner, G., Igel, C., & Markussen, B. (2016).
Separating timing, movement conditions and individual differences in the analysis
of human movement. PLoS Computational Biology, 12(9), e1005092.
bibtex: '@article{Raket_Grimme_Schöner_Igel_Markussen_2016, title={Separating timing,
movement conditions and individual differences in the analysis of human movement},
volume={12}, number={9}, journal={PLoS Computational Biology}, publisher={Public
Library of Science San Francisco, CA USA}, author={Raket, Lars Lau and Grimme,
Britta and Schöner, Gregor and Igel, Christian and Markussen, Bo}, year={2016},
pages={e1005092} }'
chicago: 'Raket, Lars Lau, Britta Grimme, Gregor Schöner, Christian Igel, and Bo
Markussen. “Separating Timing, Movement Conditions and Individual Differences
in the Analysis of Human Movement.” PLoS Computational Biology 12, no.
9 (2016): e1005092.'
ieee: L. L. Raket, B. Grimme, G. Schöner, C. Igel, and B. Markussen, “Separating
timing, movement conditions and individual differences in the analysis of human
movement,” PLoS Computational Biology, vol. 12, no. 9, p. e1005092, 2016.
mla: Raket, Lars Lau, et al. “Separating Timing, Movement Conditions and Individual
Differences in the Analysis of Human Movement.” PLoS Computational Biology,
vol. 12, no. 9, Public Library of Science San Francisco, CA USA, 2016, p. e1005092.
short: L.L. Raket, B. Grimme, G. Schöner, C. Igel, B. Markussen, PLoS Computational
Biology 12 (2016) e1005092.
date_created: 2024-03-25T15:03:45Z
date_updated: 2026-03-19T07:48:20Z
department:
- _id: '819'
intvolume: ' 12'
issue: '9'
page: e1005092
publication: PLoS Computational Biology
publisher: Public Library of Science San Francisco, CA USA
status: public
title: Separating timing, movement conditions and individual differences in the analysis
of human movement
type: journal_article
user_id: '103682'
volume: 12
year: '2016'
...
---
_id: '250'
abstract:
- lang: eng
text: Before execution, users should formally validate the correctness of software
received from untrusted providers. To accelerate this validation, in the proof
carrying code (PCC) paradigm the provider delivers the software together with
a certificate, a formal proof of the software’s correctness. Thus, the user only
checks if the attached certificate shows correctness of the delivered software.Recently,
we introduced configurable program certification, a generic, PCC based framework
supporting various software analyses and safety properties. Evaluation of our
framework revealed that validation suffers from certificate reading. In this paper,
we present two orthogonal approaches which improve certificate validation, both
reducing the impact of certificate reading. The first approach reduces the certificate
size, storing information only if it cannot easily be recomputed. The second approach
partitions the certificate into independently checkable parts. The trick is to
read parts of the certificate while already checking read parts. Our experiments
show that validation highly benefits from our improvements.
author:
- first_name: Marie-Christine
full_name: Jakobs, Marie-Christine
last_name: Jakobs
citation:
ama: 'Jakobs M-C. Speed Up Configurable Certificate Validation by Certificate Reduction
and Partitioning. In: Proceedings of the 13th International Conference on Software
Engineering and Formal Methods (SEFM). LNCS. ; 2015:159--174. doi:10.1007/978-3-319-22969-0_12'
apa: Jakobs, M.-C. (2015). Speed Up Configurable Certificate Validation by Certificate
Reduction and Partitioning. In Proceedings of the 13th International Conference
on Software Engineering and Formal Methods (SEFM) (pp. 159--174). https://doi.org/10.1007/978-3-319-22969-0_12
bibtex: '@inproceedings{Jakobs_2015, series={LNCS}, title={Speed Up Configurable
Certificate Validation by Certificate Reduction and Partitioning}, DOI={10.1007/978-3-319-22969-0_12},
booktitle={Proceedings of the 13th International Conference on Software Engineering
and Formal Methods (SEFM)}, author={Jakobs, Marie-Christine}, year={2015}, pages={159--174},
collection={LNCS} }'
chicago: Jakobs, Marie-Christine. “Speed Up Configurable Certificate Validation
by Certificate Reduction and Partitioning.” In Proceedings of the 13th International
Conference on Software Engineering and Formal Methods (SEFM), 159--174. LNCS,
2015. https://doi.org/10.1007/978-3-319-22969-0_12.
ieee: M.-C. Jakobs, “Speed Up Configurable Certificate Validation by Certificate
Reduction and Partitioning,” in Proceedings of the 13th International Conference
on Software Engineering and Formal Methods (SEFM), 2015, pp. 159--174.
mla: Jakobs, Marie-Christine. “Speed Up Configurable Certificate Validation by Certificate
Reduction and Partitioning.” Proceedings of the 13th International Conference
on Software Engineering and Formal Methods (SEFM), 2015, pp. 159--174, doi:10.1007/978-3-319-22969-0_12.
short: 'M.-C. Jakobs, in: Proceedings of the 13th International Conference on Software
Engineering and Formal Methods (SEFM), 2015, pp. 159--174.'
date_created: 2017-10-17T12:41:40Z
date_updated: 2022-01-06T06:56:43Z
ddc:
- '040'
department:
- _id: '77'
doi: 10.1007/978-3-319-22969-0_12
file:
- access_level: closed
content_type: application/pdf
creator: florida
date_created: 2018-03-21T09:45:15Z
date_updated: 2018-03-21T09:45:15Z
file_id: '1489'
file_name: 250-Jakobs2015.pdf
file_size: 724308
relation: main_file
success: 1
file_date_updated: 2018-03-21T09:45:15Z
has_accepted_license: '1'
language:
- iso: eng
page: 159--174
project:
- _id: '1'
name: SFB 901
- _id: '12'
name: SFB 901 - Subprojekt B4
- _id: '3'
name: SFB 901 - Project Area B
publication: Proceedings of the 13th International Conference on Software Engineering
and Formal Methods (SEFM)
series_title: LNCS
status: public
title: Speed Up Configurable Certificate Validation by Certificate Reduction and Partitioning
type: conference
user_id: '477'
year: '2015'
...
---
_id: '25073'
abstract:
- lang: eng
text: In this paper, we introduce an approach for combining embedded systems with
Service-oriented Computing techniques based on a concrete application scenario
from the robotics domain. Our proposed Service-oriented Architecture allows for
incorporating computational expensive functionality as services into a distributed
computing environment. Furthermore, our framework facilitates a seamless integration
of embedded systems such as robots as service providers into the computing environment.
The entire communication is based on so-called recipes, which can be interpreted
as autonomous messages that contain all necessary information for executing compositions
of services.
author:
- first_name: Alexander
full_name: Jungmann, Alexander
last_name: Jungmann
- first_name: Jan
full_name: Jatzkowski, Jan
last_name: Jatzkowski
- first_name: Bernd
full_name: Kleinjohann, Bernd
last_name: Kleinjohann
citation:
ama: 'Jungmann A, Jatzkowski J, Kleinjohann B. Combining Service-oriented Computing
with Embedded Systems - A Robotics Case Study. In: Proceedings of the 5th IFIP
International Embedded Systems Symposium (IESS). Springer-Verlag; 2015.'
apa: Jungmann, A., Jatzkowski, J., & Kleinjohann, B. (2015). Combining Service-oriented
Computing with Embedded Systems - A Robotics Case Study. Proceedings of the
5th IFIP International Embedded Systems Symposium (IESS).
bibtex: '@inproceedings{Jungmann_Jatzkowski_Kleinjohann_2015, title={Combining Service-oriented
Computing with Embedded Systems - A Robotics Case Study}, booktitle={Proceedings
of the 5th IFIP International Embedded Systems Symposium (IESS)}, publisher={Springer-Verlag},
author={Jungmann, Alexander and Jatzkowski, Jan and Kleinjohann, Bernd}, year={2015}
}'
chicago: Jungmann, Alexander, Jan Jatzkowski, and Bernd Kleinjohann. “Combining
Service-Oriented Computing with Embedded Systems - A Robotics Case Study.” In
Proceedings of the 5th IFIP International Embedded Systems Symposium (IESS).
Springer-Verlag, 2015.
ieee: A. Jungmann, J. Jatzkowski, and B. Kleinjohann, “Combining Service-oriented
Computing with Embedded Systems - A Robotics Case Study,” 2015.
mla: Jungmann, Alexander, et al. “Combining Service-Oriented Computing with Embedded
Systems - A Robotics Case Study.” Proceedings of the 5th IFIP International
Embedded Systems Symposium (IESS), Springer-Verlag, 2015.
short: 'A. Jungmann, J. Jatzkowski, B. Kleinjohann, in: Proceedings of the 5th IFIP
International Embedded Systems Symposium (IESS), Springer-Verlag, 2015.'
conference:
end_date: 2015-11-06
start_date: 2015-11-03
date_created: 2021-09-28T11:42:10Z
date_updated: 2022-01-06T06:56:50Z
department:
- _id: '672'
language:
- iso: eng
publication: Proceedings of the 5th IFIP International Embedded Systems Symposium
(IESS)
publisher: Springer-Verlag
status: public
title: Combining Service-oriented Computing with Embedded Systems - A Robotics Case
Study
type: conference
user_id: '21240'
year: '2015'
...
---
_id: '25074'
author:
- first_name: Jan
full_name: Jatzkowski, Jan
last_name: Jatzkowski
- first_name: Marcio Eduardo
full_name: Kreutz, Marcio Eduardo
last_name: Kreutz
- first_name: Achim
full_name: Rettberg, Achim
last_name: Rettberg
citation:
ama: 'Jatzkowski J, Kreutz ME, Rettberg A. Hierarchical Multicore-Scheduling for
Virtualization of Dependent Real-Time Systems. In: Proceedings of the 5th IFIP
International Embedded Systems Symposium (IESS). Springer; 2015.'
apa: Jatzkowski, J., Kreutz, M. E., & Rettberg, A. (2015). Hierarchical Multicore-Scheduling
for Virtualization of Dependent Real-Time Systems. Proceedings of the 5th IFIP
International Embedded Systems Symposium (IESS).
bibtex: '@inproceedings{Jatzkowski_Kreutz_Rettberg_2015, title={Hierarchical Multicore-Scheduling
for Virtualization of Dependent Real-Time Systems}, booktitle={Proceedings of
the 5th IFIP International Embedded Systems Symposium (IESS)}, publisher={Springer},
author={Jatzkowski, Jan and Kreutz, Marcio Eduardo and Rettberg, Achim}, year={2015}
}'
chicago: Jatzkowski, Jan, Marcio Eduardo Kreutz, and Achim Rettberg. “Hierarchical
Multicore-Scheduling for Virtualization of Dependent Real-Time Systems.” In Proceedings
of the 5th IFIP International Embedded Systems Symposium (IESS). Springer,
2015.
ieee: J. Jatzkowski, M. E. Kreutz, and A. Rettberg, “Hierarchical Multicore-Scheduling
for Virtualization of Dependent Real-Time Systems,” 2015.
mla: Jatzkowski, Jan, et al. “Hierarchical Multicore-Scheduling for Virtualization
of Dependent Real-Time Systems.” Proceedings of the 5th IFIP International
Embedded Systems Symposium (IESS), Springer, 2015.
short: 'J. Jatzkowski, M.E. Kreutz, A. Rettberg, in: Proceedings of the 5th IFIP
International Embedded Systems Symposium (IESS), Springer, 2015.'
conference:
end_date: 2015-11-06
start_date: 2015-11-03
date_created: 2021-09-28T11:45:59Z
date_updated: 2022-01-06T06:56:50Z
department:
- _id: '672'
language:
- iso: eng
publication: Proceedings of the 5th IFIP International Embedded Systems Symposium
(IESS)
publisher: Springer
status: public
title: Hierarchical Multicore-Scheduling for Virtualization of Dependent Real-Time
Systems
type: conference
user_id: '21240'
year: '2015'
...
---
_id: '25075'
author:
- first_name: Katharina
full_name: Stahl, Katharina
last_name: Stahl
- first_name: Jörg
full_name: Stöcklein, Jörg
last_name: Stöcklein
- first_name: Silja
full_name: Li, Silja
last_name: Li
citation:
ama: 'Stahl K, Stöcklein J, Li S. Evaluation of Autonomous Approaches using Virtual
Environments. In: Shumaker R, Lackey S, eds. Virtual, Augmented and Mixed Reality
VAMR 2015 Held as Part of HCI International 2015. Vol 9179. LNCS. Springer
International Publishing Switzerland; 2015:499-512.'
apa: Stahl, K., Stöcklein, J., & Li, S. (2015). Evaluation of Autonomous Approaches
using Virtual Environments. In R. Shumaker & S. Lackey (Eds.), Virtual,
Augmented and Mixed Reality VAMR 2015 Held as Part of HCI International 2015
(Vol. 9179, pp. 499–512). Springer International Publishing Switzerland.
bibtex: '@inproceedings{Stahl_Stöcklein_Li_2015, series={LNCS}, title={Evaluation
of Autonomous Approaches using Virtual Environments}, volume={9179}, booktitle={Virtual,
Augmented and Mixed Reality VAMR 2015 Held as Part of HCI International 2015},
publisher={Springer International Publishing Switzerland}, author={Stahl, Katharina
and Stöcklein, Jörg and Li, Silja}, editor={Shumaker, Randall and Lackey, Stephanie},
year={2015}, pages={499–512}, collection={LNCS} }'
chicago: Stahl, Katharina, Jörg Stöcklein, and Silja Li. “Evaluation of Autonomous
Approaches Using Virtual Environments.” In Virtual, Augmented and Mixed Reality
VAMR 2015 Held as Part of HCI International 2015, edited by Randall Shumaker
and Stephanie Lackey, 9179:499–512. LNCS. Springer International Publishing Switzerland,
2015.
ieee: K. Stahl, J. Stöcklein, and S. Li, “Evaluation of Autonomous Approaches using
Virtual Environments,” in Virtual, Augmented and Mixed Reality VAMR 2015 Held
as Part of HCI International 2015, Los Angeles, CA, USA, 2. - 7. Aug. 2015,
2015, vol. 9179, pp. 499–512.
mla: Stahl, Katharina, et al. “Evaluation of Autonomous Approaches Using Virtual
Environments.” Virtual, Augmented and Mixed Reality VAMR 2015 Held as Part
of HCI International 2015, edited by Randall Shumaker and Stephanie Lackey,
vol. 9179, Springer International Publishing Switzerland, 2015, pp. 499–512.
short: 'K. Stahl, J. Stöcklein, S. Li, in: R. Shumaker, S. Lackey (Eds.), Virtual,
Augmented and Mixed Reality VAMR 2015 Held as Part of HCI International 2015,
Springer International Publishing Switzerland, 2015, pp. 499–512.'
conference:
end_date: 2015-08-07
location: Los Angeles, CA, USA, 2. - 7. Aug. 2015
start_date: 2015-08-02
date_created: 2021-09-28T11:54:54Z
date_updated: 2022-01-06T06:56:50Z
department:
- _id: '672'
editor:
- first_name: Randall
full_name: Shumaker, Randall
last_name: Shumaker
- first_name: Stephanie
full_name: Lackey, Stephanie
last_name: Lackey
language:
- iso: eng
page: 499-512
publication: Virtual, Augmented and Mixed Reality VAMR 2015 Held as Part of HCI International
2015
publisher: Springer International Publishing Switzerland
series_title: LNCS
status: public
title: Evaluation of Autonomous Approaches using Virtual Environments
type: conference
user_id: '21240'
volume: ' 9179'
year: '2015'
...
---
_id: '25076'
abstract:
- lang: eng
text: Automated service composition aims at automatically generating software solutions
based on services to provide more complex functionality. In this paper, we give
an initial overview about why adaptivity becomes increasingly important when aiming
for automated composition of service functionality in dynamic and freely accessible
environments such as service markets. We systematically derive dependencies among
crucial processes such as service composition and service execution in a holistic
view. Furthermore, we briefly discuss the influences and effects of changes in
the environment according to the derived dependencies, and discuss possible future
research directions.
author:
- first_name: Alexander
full_name: Jungmann, Alexander
last_name: Jungmann
citation:
ama: 'Jungmann A. On Adaptivity for Automated Composition of Service Functionality.
In: Proceedings of the IEEE 11th World Congress on Services (SERVICES).
IEEE Computer Society; 2015:329-332.'
apa: Jungmann, A. (2015). On Adaptivity for Automated Composition of Service Functionality.
Proceedings of the IEEE 11th World Congress on Services (SERVICES), 329–332.
bibtex: '@inproceedings{Jungmann_2015, title={On Adaptivity for Automated Composition
of Service Functionality}, booktitle={Proceedings of the IEEE 11th World Congress
on Services (SERVICES)}, publisher={IEEE Computer Society}, author={Jungmann,
Alexander}, year={2015}, pages={329–332} }'
chicago: Jungmann, Alexander. “On Adaptivity for Automated Composition of Service
Functionality.” In Proceedings of the IEEE 11th World Congress on Services
(SERVICES), 329–32. IEEE Computer Society, 2015.
ieee: A. Jungmann, “On Adaptivity for Automated Composition of Service Functionality,”
in Proceedings of the IEEE 11th World Congress on Services (SERVICES),
2015, pp. 329–332.
mla: Jungmann, Alexander. “On Adaptivity for Automated Composition of Service Functionality.”
Proceedings of the IEEE 11th World Congress on Services (SERVICES), IEEE
Computer Society, 2015, pp. 329–32.
short: 'A. Jungmann, in: Proceedings of the IEEE 11th World Congress on Services
(SERVICES), IEEE Computer Society, 2015, pp. 329–332.'
conference:
end_date: 2015-07-02
start_date: 2016-06-26
date_created: 2021-09-28T12:06:08Z
date_updated: 2022-01-06T06:56:50Z
department:
- _id: '672'
language:
- iso: eng
page: 329-332
publication: Proceedings of the IEEE 11th World Congress on Services (SERVICES)
publisher: IEEE Computer Society
status: public
title: On Adaptivity for Automated Composition of Service Functionality
type: conference
user_id: '21240'
year: '2015'
...
---
_id: '25080'
abstract:
- lang: eng
text: ervices are self-contained and platform independent software components that
aim at maximizing software reuse. The automated composition of services to a target
software artifact has been tackled with many AI techniques, but existing approaches
make unreasonably strong assumptions such as a predefined data flow, are limited
to tiny problem sizes, ignore non-functional properties, or assume offline service
repositories. This paper presents an algorithm that automatically composes services
without making such assumptions. We employ a backward search algorithm that starts
from an empty composition and prepends service calls to already discovered candidates
until a solution is found. Available services are determined during the search
process. We implemented our algorithm, performed an experimental evaluation, and
compared it to other approaches.
author:
- first_name: Felix
full_name: Mohr, Felix
last_name: Mohr
- first_name: Alexander
full_name: Jungmann, Alexander
last_name: Jungmann
- first_name: Hans
full_name: Kleine Büning, Hans
last_name: Kleine Büning
citation:
ama: 'Mohr F, Jungmann A, Kleine Büning H. Automated Online Service Composition.
In: Proceedings of the 12th IEEE International Conference on Services Computing
(SCC). IEEE Computer Society; 2015:57-64.'
apa: Mohr, F., Jungmann, A., & Kleine Büning, H. (2015). Automated Online Service
Composition. Proceedings of the 12th IEEE International Conference on Services
Computing (SCC), 57–64.
bibtex: '@inproceedings{Mohr_Jungmann_Kleine Büning_2015, title={Automated Online
Service Composition}, booktitle={Proceedings of the 12th IEEE International Conference
on Services Computing (SCC)}, publisher={ IEEE Computer Society}, author={Mohr,
Felix and Jungmann, Alexander and Kleine Büning, Hans}, year={2015}, pages={57–64}
}'
chicago: Mohr, Felix, Alexander Jungmann, and Hans Kleine Büning. “Automated Online
Service Composition.” In Proceedings of the 12th IEEE International Conference
on Services Computing (SCC), 57–64. IEEE Computer Society, 2015.
ieee: F. Mohr, A. Jungmann, and H. Kleine Büning, “Automated Online Service Composition,”
in Proceedings of the 12th IEEE International Conference on Services Computing
(SCC), 2015, pp. 57–64.
mla: Mohr, Felix, et al. “Automated Online Service Composition.” Proceedings
of the 12th IEEE International Conference on Services Computing (SCC), IEEE
Computer Society, 2015, pp. 57–64.
short: 'F. Mohr, A. Jungmann, H. Kleine Büning, in: Proceedings of the 12th IEEE
International Conference on Services Computing (SCC), IEEE Computer Society,
2015, pp. 57–64.'
conference:
end_date: 2015-07-02
start_date: 2015-06-26
date_created: 2021-09-28T12:27:27Z
date_updated: 2022-01-06T06:56:50Z
department:
- _id: '672'
language:
- iso: eng
page: 57-64
publication: Proceedings of the 12th IEEE International Conference on Services Computing
(SCC)
publisher: ' IEEE Computer Society'
status: public
title: Automated Online Service Composition
type: conference
user_id: '21240'
year: '2015'
...
---
_id: '25082'
author:
- first_name: Jan
full_name: Jatzkowski, Jan
last_name: Jatzkowski
- first_name: Marcio Eduardo
full_name: Kreutz, Marcio Eduardo
last_name: Kreutz
- first_name: Achim
full_name: Rettberg, Achim
last_name: Rettberg
citation:
ama: 'Jatzkowski J, Kreutz ME, Rettberg A. Towards Hierarchical Scheduling of Dependent
Systems with Hypervisor-based Virtualization. In: Proceedings of Electronic
System Level Synthesis Conference (ESLsyn). ; 2015.'
apa: Jatzkowski, J., Kreutz, M. E., & Rettberg, A. (2015). Towards Hierarchical
Scheduling of Dependent Systems with Hypervisor-based Virtualization. Proceedings
of Electronic System Level Synthesis Conference (ESLsyn).
bibtex: '@inproceedings{Jatzkowski_Kreutz_Rettberg_2015, title={Towards Hierarchical
Scheduling of Dependent Systems with Hypervisor-based Virtualization}, booktitle={Proceedings
of Electronic System Level Synthesis Conference (ESLsyn)}, author={Jatzkowski,
Jan and Kreutz, Marcio Eduardo and Rettberg, Achim}, year={2015} }'
chicago: Jatzkowski, Jan, Marcio Eduardo Kreutz, and Achim Rettberg. “Towards Hierarchical
Scheduling of Dependent Systems with Hypervisor-Based Virtualization.” In Proceedings
of Electronic System Level Synthesis Conference (ESLsyn), 2015.
ieee: J. Jatzkowski, M. E. Kreutz, and A. Rettberg, “Towards Hierarchical Scheduling
of Dependent Systems with Hypervisor-based Virtualization,” 2015.
mla: Jatzkowski, Jan, et al. “Towards Hierarchical Scheduling of Dependent Systems
with Hypervisor-Based Virtualization.” Proceedings of Electronic System Level
Synthesis Conference (ESLsyn), 2015.
short: 'J. Jatzkowski, M.E. Kreutz, A. Rettberg, in: Proceedings of Electronic System
Level Synthesis Conference (ESLsyn), 2015.'
conference:
end_date: 2015-06-11
start_date: 2015-06-10
date_created: 2021-09-28T12:31:36Z
date_updated: 2022-01-06T06:56:50Z
department:
- _id: '672'
language:
- iso: eng
publication: Proceedings of Electronic System Level Synthesis Conference (ESLsyn)
status: public
title: Towards Hierarchical Scheduling of Dependent Systems with Hypervisor-based
Virtualization
type: conference
user_id: '21240'
year: '2015'
...
---
_id: '25083'
author:
- first_name: Jan
full_name: Jatzkowski, Jan
last_name: Jatzkowski
- first_name: Bernd
full_name: Kleinjohann, Bernd
last_name: Kleinjohann
citation:
ama: 'Jatzkowski J, Kleinjohann B. Self-Reconfiguration of Real-Time Communication
within Cyber-Physical Systems. In: Mechatronics. Elsevier; 2015.'
apa: Jatzkowski, J., & Kleinjohann, B. (2015). Self-Reconfiguration of Real-Time
Communication within Cyber-Physical Systems. Mechatronics.
bibtex: '@inproceedings{Jatzkowski_Kleinjohann_2015, title={Self-Reconfiguration
of Real-Time Communication within Cyber-Physical Systems}, booktitle={Mechatronics},
publisher={Elsevier}, author={Jatzkowski, Jan and Kleinjohann, Bernd}, year={2015}
}'
chicago: Jatzkowski, Jan, and Bernd Kleinjohann. “Self-Reconfiguration of Real-Time
Communication within Cyber-Physical Systems.” In Mechatronics. Elsevier,
2015.
ieee: J. Jatzkowski and B. Kleinjohann, “Self-Reconfiguration of Real-Time Communication
within Cyber-Physical Systems,” Mai 2015, 2015.
mla: Jatzkowski, Jan, and Bernd Kleinjohann. “Self-Reconfiguration of Real-Time
Communication within Cyber-Physical Systems.” Mechatronics, Elsevier, 2015.
short: 'J. Jatzkowski, B. Kleinjohann, in: Mechatronics, Elsevier, 2015.'
conference:
location: Mai 2015
date_created: 2021-09-28T12:42:40Z
date_updated: 2022-01-06T06:56:50Z
department:
- _id: '672'
language:
- iso: eng
publication: Mechatronics
publisher: Elsevier
status: public
title: Self-Reconfiguration of Real-Time Communication within Cyber-Physical Systems
type: conference
user_id: '21240'
year: '2015'
...
---
_id: '251'
author:
- first_name: Karlson
full_name: Pfannschmidt, Karlson
last_name: Pfannschmidt
citation:
ama: Pfannschmidt K. Solving the Aggregated Bandits Problem. Universität
Paderborn; 2015.
apa: Pfannschmidt, K. (2015). Solving the aggregated bandits problem. Universität
Paderborn.
bibtex: '@book{Pfannschmidt_2015, title={Solving the aggregated bandits problem},
publisher={Universität Paderborn}, author={Pfannschmidt, Karlson}, year={2015}
}'
chicago: Pfannschmidt, Karlson. Solving the Aggregated Bandits Problem. Universität
Paderborn, 2015.
ieee: K. Pfannschmidt, Solving the aggregated bandits problem. Universität
Paderborn, 2015.
mla: Pfannschmidt, Karlson. Solving the Aggregated Bandits Problem. Universität
Paderborn, 2015.
short: K. Pfannschmidt, Solving the Aggregated Bandits Problem, Universität Paderborn,
2015.
date_created: 2017-10-17T12:41:41Z
date_updated: 2022-01-06T06:56:50Z
department:
- _id: '63'
- _id: '541'
project:
- _id: '1'
name: SFB 901
- _id: '7'
name: SFB 901 - Subprojekt A3
- _id: '2'
name: SFB 901 - Project Area A
publisher: Universität Paderborn
status: public
supervisor:
- first_name: Alexander
full_name: Skopalik, Alexander
id: '40384'
last_name: Skopalik
title: Solving the aggregated bandits problem
type: mastersthesis
user_id: '14052'
year: '2015'
...
---
_id: '25107'
abstract:
- lang: eng
text: On-the-fly composition of service-based software solutions is still a challenging
task. Even more challenges emerge when facing automatic service composition in
markets of composed services for end users. In this paper, we focus on the functional
discrepancy between “what a user wants” specified in terms of a request and “what
a user gets” when executing a composed service. To meet the challenge of functional
discrepancy, we propose the combination of existing symbolic composition approaches
with machine learning techniques. We developed a learning recommendation system
that expands the capabilities of existing composition algorithms to facilitate
adaptivity and consequently reduces functional discrepancy. As a representative
of symbolic techniques, an Artificial Intelligence planning based approach produces
solutions that are correct with respect to formal specifications. Our learning
recommendation system supports the symbolic approach in decision-making. Reinforcement
Learning techniques enable the recommendation system to adjust its recommendation
strategy over time based on user ratings. We implemented the proposed functionality
in terms of a prototypical composition framework. Preliminary results from experiments
conducted in the image processing domain illustrate the benefit of combining both
complementary techniques.
author:
- first_name: Alexander
full_name: Jungmann, Alexander
last_name: Jungmann
- first_name: Felix
full_name: Mohr, Felix
last_name: Mohr
citation:
ama: Jungmann A, Mohr F. An approach towards adaptive service composition in markets
of composed services. Journal of Internet Services and Applications 6(1).
Published online 2015:1-18.
apa: Jungmann, A., & Mohr, F. (2015). An approach towards adaptive service composition
in markets of composed services. Journal of Internet Services and Applications
6(1), 1–18.
bibtex: '@article{Jungmann_Mohr_2015, title={An approach towards adaptive service
composition in markets of composed services}, journal={Journal of Internet Services
and Applications 6(1)}, author={Jungmann, Alexander and Mohr, Felix}, year={2015},
pages={1–18} }'
chicago: Jungmann, Alexander, and Felix Mohr. “An Approach towards Adaptive Service
Composition in Markets of Composed Services.” Journal of Internet Services
and Applications 6(1), 2015, 1–18.
ieee: A. Jungmann and F. Mohr, “An approach towards adaptive service composition
in markets of composed services,” Journal of Internet Services and Applications
6(1), pp. 1–18, 2015.
mla: Jungmann, Alexander, and Felix Mohr. “An Approach towards Adaptive Service
Composition in Markets of Composed Services.” Journal of Internet Services
and Applications 6(1), 2015, pp. 1–18.
short: A. Jungmann, F. Mohr, Journal of Internet Services and Applications 6(1)
(2015) 1–18.
date_created: 2021-09-29T09:39:32Z
date_updated: 2022-01-06T06:56:51Z
department:
- _id: '672'
language:
- iso: eng
page: 1-18
publication: Journal of Internet Services and Applications 6(1)
status: public
title: An approach towards adaptive service composition in markets of composed services
type: journal_article
user_id: '21240'
year: '2015'
...
---
_id: '25108'
abstract:
- lang: eng
text: Autonomous adaptation in self-adapting embedded real-time systems introduces
novel risks as it may lead to unforeseen system behavior. An anomaly detection
framework integrated in a real-time operating system can ease the identification
of such suspicious novel behavior and, thereby, offers the potential to enhance
the reliability of the considered self-x system. However, anomaly detection is
based on knowledge about normal behavior. When dealing with self-reconfiguring
applications, normal behavior changes. Hence, knowledge base requires adaptation
or even re-construction at runtime. The stringent restrictions of real-time systems
considering runtime and memory consumption make this task to a really challenging
problem. We present our idea for online construction of application behavior knowledge
that does not rely on training phase. The applications' behavior is defined by
the application's system call invocations. For the knowledge base, we exploit
suffix trees as they offer potentials to represent application behavior patterns
and associated information in a compact manner. The online algorithm provided
by suffix trees is a basis to construct the knowledge base with low computational
effort. Anomaly detection and classification is integrated into the online construction
method. New behavioral patterns do not unconditionally update the behavior knowledge
base. They are evaluated in a context-related manner inspired by Danger Theory,
a special discipline of artificial immune systems. Copyright © 2015 John Wiley
& Sons, Ltd.
author:
- first_name: Franz-Josef
full_name: Rammig, Franz-Josef
last_name: Rammig
- first_name: Katharina
full_name: Stahl, Katharina
last_name: Stahl
citation:
ama: 'Rammig F-J, Stahl K. Online behavior classification for anomaly detection
in self-x real-time systems. Concurrency and Computation: Practice and Experience
. Published online 2015.'
apa: 'Rammig, F.-J., & Stahl, K. (2015). Online behavior classification for
anomaly detection in self-x real-time systems. Concurrency and Computation:
Practice and Experience .'
bibtex: '@article{Rammig_Stahl_2015, title={Online behavior classification for anomaly
detection in self-x real-time systems}, journal={Concurrency and Computation:
Practice and Experience }, author={Rammig, Franz-Josef and Stahl, Katharina},
year={2015} }'
chicago: 'Rammig, Franz-Josef, and Katharina Stahl. “Online Behavior Classification
for Anomaly Detection in Self-x Real-Time Systems.” Concurrency and Computation:
Practice and Experience , 2015.'
ieee: 'F.-J. Rammig and K. Stahl, “Online behavior classification for anomaly detection
in self-x real-time systems,” Concurrency and Computation: Practice and Experience
, 2015.'
mla: 'Rammig, Franz-Josef, and Katharina Stahl. “Online Behavior Classification
for Anomaly Detection in Self-x Real-Time Systems.” Concurrency and Computation:
Practice and Experience , 2015.'
short: 'F.-J. Rammig, K. Stahl, Concurrency and Computation: Practice and Experience (2015).'
date_created: 2021-09-29T09:43:32Z
date_updated: 2022-01-06T06:56:51Z
department:
- _id: '672'
language:
- iso: eng
publication: 'Concurrency and Computation: Practice and Experience '
status: public
title: Online behavior classification for anomaly detection in self-x real-time systems
type: journal_article
user_id: '21240'
year: '2015'
...
---
_id: '25109'
author:
- first_name: Krishna
full_name: Sudhakar, Krishna
last_name: Sudhakar
- first_name: Yuhong
full_name: Zhao, Yuhong
last_name: Zhao
- first_name: Franz-Josef
full_name: Rammig, Franz-Josef
last_name: Rammig
citation:
ama: 'Sudhakar K, Zhao Y, Rammig F-J. Efficient Integration of Online Model Checking
into a Small-Footprint Real-Time Operating System. Concurrency and Computation:
Practice and Experience . Published online 2015.'
apa: 'Sudhakar, K., Zhao, Y., & Rammig, F.-J. (2015). Efficient Integration
of Online Model Checking into a Small-Footprint Real-Time Operating System. Concurrency
and Computation: Practice and Experience .'
bibtex: '@article{Sudhakar_Zhao_Rammig_2015, title={Efficient Integration of Online
Model Checking into a Small-Footprint Real-Time Operating System}, journal={Concurrency
and Computation: Practice and Experience }, author={Sudhakar, Krishna and Zhao,
Yuhong and Rammig, Franz-Josef}, year={2015} }'
chicago: 'Sudhakar, Krishna, Yuhong Zhao, and Franz-Josef Rammig. “Efficient Integration
of Online Model Checking into a Small-Footprint Real-Time Operating System.” Concurrency
and Computation: Practice and Experience , 2015.'
ieee: 'K. Sudhakar, Y. Zhao, and F.-J. Rammig, “Efficient Integration of Online
Model Checking into a Small-Footprint Real-Time Operating System,” Concurrency
and Computation: Practice and Experience , 2015.'
mla: 'Sudhakar, Krishna, et al. “Efficient Integration of Online Model Checking
into a Small-Footprint Real-Time Operating System.” Concurrency and Computation:
Practice and Experience , 2015.'
short: 'K. Sudhakar, Y. Zhao, F.-J. Rammig, Concurrency and Computation: Practice
and Experience (2015).'
date_created: 2021-09-29T09:53:25Z
date_updated: 2022-01-06T06:56:51Z
department:
- _id: '672'
language:
- iso: eng
publication: 'Concurrency and Computation: Practice and Experience '
status: public
title: Efficient Integration of Online Model Checking into a Small-Footprint Real-Time
Operating System
type: journal_article
user_id: '21240'
year: '2015'
...
---
_id: '25110'
author:
- first_name: M. tech. Mabel Mary
full_name: Joy, M. tech. Mabel Mary
last_name: Joy
- first_name: Franz-Josef
full_name: Rammig, Franz-Josef
last_name: Rammig
citation:
ama: Joy M tech. MM, Rammig F-J. A hybrid methodology to detect memory leaks in
soft real time embedded systems software. Int J of Embedded Systems. Published
online 2015.
apa: Joy, M. tech. M. M., & Rammig, F.-J. (2015). A hybrid methodology to detect
memory leaks in soft real time embedded systems software. Int. J. of Embedded
Systems.
bibtex: '@article{Joy_Rammig_2015, title={A hybrid methodology to detect memory
leaks in soft real time embedded systems software}, journal={Int. J. of Embedded
Systems}, author={Joy, M. tech. Mabel Mary and Rammig, Franz-Josef}, year={2015}
}'
chicago: Joy, M. tech. Mabel Mary, and Franz-Josef Rammig. “A Hybrid Methodology
to Detect Memory Leaks in Soft Real Time Embedded Systems Software.” Int. J.
of Embedded Systems, 2015.
ieee: M. tech. M. M. Joy and F.-J. Rammig, “A hybrid methodology to detect memory
leaks in soft real time embedded systems software,” Int. J. of Embedded Systems,
2015.
mla: Joy, M. tech. Mabel Mary, and Franz-Josef Rammig. “A Hybrid Methodology to
Detect Memory Leaks in Soft Real Time Embedded Systems Software.” Int. J. of
Embedded Systems, 2015.
short: M. tech. M.M. Joy, F.-J. Rammig, Int. J. of Embedded Systems (2015).
date_created: 2021-09-29T09:55:59Z
date_updated: 2022-01-06T06:56:51Z
department:
- _id: '672'
language:
- iso: eng
publication: Int. J. of Embedded Systems
status: public
title: A hybrid methodology to detect memory leaks in soft real time embedded systems
software
type: journal_article
user_id: '21240'
year: '2015'
...
---
_id: '25111'
author:
- first_name: Yara
full_name: Khaluf, Yara
last_name: Khaluf
- first_name: Mauro
full_name: Birattari, Mauro
last_name: Birattari
- first_name: Franz-Josef
full_name: Rammig, Franz-Josef
last_name: Rammig
citation:
ama: Khaluf Y, Birattari M, Rammig F-J. Analysis of long-term swarm performance
based on short-term experiments. Springer Jounal Soft Computing . Published
online 2015.
apa: Khaluf, Y., Birattari, M., & Rammig, F.-J. (2015). Analysis of long-term
swarm performance based on short-term experiments. Springer Jounal Soft Computing
.
bibtex: '@article{Khaluf_Birattari_Rammig_2015, title={Analysis of long-term swarm
performance based on short-term experiments}, journal={Springer Jounal Soft Computing
}, author={Khaluf, Yara and Birattari, Mauro and Rammig, Franz-Josef}, year={2015}
}'
chicago: Khaluf, Yara, Mauro Birattari, and Franz-Josef Rammig. “Analysis of Long-Term
Swarm Performance Based on Short-Term Experiments.” Springer Jounal Soft Computing
, 2015.
ieee: Y. Khaluf, M. Birattari, and F.-J. Rammig, “Analysis of long-term swarm performance
based on short-term experiments,” Springer Jounal Soft Computing , 2015.
mla: Khaluf, Yara, et al. “Analysis of Long-Term Swarm Performance Based on Short-Term
Experiments.” Springer Jounal Soft Computing , 2015.
short: Y. Khaluf, M. Birattari, F.-J. Rammig, Springer Jounal Soft Computing (2015).
date_created: 2021-09-29T09:58:49Z
date_updated: 2022-01-06T06:56:51Z
department:
- _id: '672'
language:
- iso: eng
publication: 'Springer Jounal Soft Computing '
status: public
title: Analysis of long-term swarm performance based on short-term experiments
type: journal_article
user_id: '21240'
year: '2015'
...