---
_id: '20910'
author:
- first_name: Uwe
full_name: Pohlmann, Uwe
last_name: Pohlmann
- first_name: Matthias
full_name: Meyer, Matthias
id: '683'
last_name: Meyer
- first_name: Andreas Peter
full_name: Dann, Andreas Peter
last_name: Dann
- first_name: Christopher
full_name: Brink, Christopher
last_name: Brink
citation:
ama: 'Pohlmann U, Meyer M, Dann AP, Brink C. Viewpoints and Views in Hardware Platform
Modeling for Safe Deployment. In: Proceedings of the 2Nd Workshop on View-Based,
Aspect-Oriented and Orthographic Software Modelling. ACM, New York, NY, USA;
2014:23:23-23:30.'
apa: Pohlmann, U., Meyer, M., Dann, A. P., & Brink, C. (2014). Viewpoints and
Views in Hardware Platform Modeling for Safe Deployment. Proceedings of the
2Nd Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling,
23:23-23:30.
bibtex: '@inproceedings{Pohlmann_Meyer_Dann_Brink_2014, title={Viewpoints and Views
in Hardware Platform Modeling for Safe Deployment}, booktitle={Proceedings of
the 2Nd Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling},
publisher={ACM, New York, NY, USA}, author={Pohlmann, Uwe and Meyer, Matthias
and Dann, Andreas Peter and Brink, Christopher}, year={2014}, pages={23:23-23:30}
}'
chicago: Pohlmann, Uwe, Matthias Meyer, Andreas Peter Dann, and Christopher Brink.
“Viewpoints and Views in Hardware Platform Modeling for Safe Deployment.” In Proceedings
of the 2Nd Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling,
23:23-23:30. ACM, New York, NY, USA, 2014.
ieee: U. Pohlmann, M. Meyer, A. P. Dann, and C. Brink, “Viewpoints and Views in
Hardware Platform Modeling for Safe Deployment,” in Proceedings of the 2Nd
Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling,
2014, p. 23:23-23:30.
mla: Pohlmann, Uwe, et al. “Viewpoints and Views in Hardware Platform Modeling for
Safe Deployment.” Proceedings of the 2Nd Workshop on View-Based, Aspect-Oriented
and Orthographic Software Modelling, ACM, New York, NY, USA, 2014, p. 23:23-23:30.
short: 'U. Pohlmann, M. Meyer, A.P. Dann, C. Brink, in: Proceedings of the 2Nd Workshop
on View-Based, Aspect-Oriented and Orthographic Software Modelling, ACM, New York,
NY, USA, 2014, p. 23:23-23:30.'
date_created: 2021-01-12T14:09:51Z
date_updated: 2022-01-06T06:54:41Z
department:
- _id: '76'
- _id: '241'
language:
- iso: eng
page: 23:23-23:30
publication: Proceedings of the 2Nd Workshop on View-Based, Aspect-Oriented and Orthographic
Software Modelling
publisher: ACM, New York, NY, USA
status: public
title: Viewpoints and Views in Hardware Platform Modeling for Safe Deployment
type: conference
user_id: '5786'
year: '2014'
...
---
_id: '449'
abstract:
- lang: eng
text: Cloud computing resulted in a continuously growing number of provided software
services to be used by consumers. Brokers discover services that fit best to consumers'
requirements by matching Qualityof-Service (QoS) properties. In order to negotiate
Service-Level Agreements (SLAs), a provider has to determine the provided QoS
based on QoS analyses. However, the risk for the provider to violate the SLA is
high as the service's actual quality can deviate from the specified QoS due to
uncertainties that occur during the provider's quality analysis. In this paper,
we discuss current software engineering paradigms like cloud computing and service-oriented
computing with respect to the amount of uncertainty they induce into service matching
and SLA negotiations. As a result, we explain, why cloud computing reduces such
uncertainties.
author:
- first_name: Matthias
full_name: Becker, Matthias
last_name: Becker
- first_name: Marie Christin
full_name: Platenius, Marie Christin
last_name: Platenius
- first_name: Steffen
full_name: Becker, Steffen
last_name: Becker
citation:
ama: 'Becker M, Platenius MC, Becker S. Cloud Computing Reduces Uncertainties in
Quality-of-Service Matching! In: Proceedings of the 2nd International Workshop
on Cloud Service Brokerage (CSB). Communications in Computer and Information
Science. ; 2014:153-159. doi:10.1007/978-3-319-14886-1_15'
apa: Becker, M., Platenius, M. C., & Becker, S. (2014). Cloud Computing Reduces
Uncertainties in Quality-of-Service Matching! In Proceedings of the 2nd International
Workshop on Cloud Service Brokerage (CSB) (pp. 153–159). https://doi.org/10.1007/978-3-319-14886-1_15
bibtex: '@inproceedings{Becker_Platenius_Becker_2014, series={Communications in
Computer and Information Science}, title={Cloud Computing Reduces Uncertainties
in Quality-of-Service Matching!}, DOI={10.1007/978-3-319-14886-1_15},
booktitle={Proceedings of the 2nd International Workshop on Cloud Service Brokerage
(CSB)}, author={Becker, Matthias and Platenius, Marie Christin and Becker, Steffen},
year={2014}, pages={153–159}, collection={Communications in Computer and Information
Science} }'
chicago: Becker, Matthias, Marie Christin Platenius, and Steffen Becker. “Cloud
Computing Reduces Uncertainties in Quality-of-Service Matching!” In Proceedings
of the 2nd International Workshop on Cloud Service Brokerage (CSB), 153–59.
Communications in Computer and Information Science, 2014. https://doi.org/10.1007/978-3-319-14886-1_15.
ieee: M. Becker, M. C. Platenius, and S. Becker, “Cloud Computing Reduces Uncertainties
in Quality-of-Service Matching!,” in Proceedings of the 2nd International Workshop
on Cloud Service Brokerage (CSB), 2014, pp. 153–159.
mla: Becker, Matthias, et al. “Cloud Computing Reduces Uncertainties in Quality-of-Service
Matching!” Proceedings of the 2nd International Workshop on Cloud Service Brokerage
(CSB), 2014, pp. 153–59, doi:10.1007/978-3-319-14886-1_15.
short: 'M. Becker, M.C. Platenius, S. Becker, in: Proceedings of the 2nd International
Workshop on Cloud Service Brokerage (CSB), 2014, pp. 153–159.'
date_created: 2017-10-17T12:42:19Z
date_updated: 2022-01-06T07:01:06Z
ddc:
- '040'
department:
- _id: '76'
doi: 10.1007/978-3-319-14886-1_15
file:
- access_level: closed
content_type: application/pdf
creator: florida
date_created: 2018-03-16T11:26:04Z
date_updated: 2018-03-16T11:26:04Z
file_id: '1346'
file_name: 449-CSB2014_01.pdf
file_size: 362248
relation: main_file
success: 1
file_date_updated: 2018-03-16T11:26:04Z
has_accepted_license: '1'
language:
- iso: eng
page: 153-159
project:
- _id: '1'
name: SFB 901
- _id: '11'
name: SFB 901 - Subprojekt B3
- _id: '9'
name: SFB 901 - Subproject B1
- _id: '3'
name: SFB 901 - Project Area B
publication: Proceedings of the 2nd International Workshop on Cloud Service Brokerage
(CSB)
series_title: Communications in Computer and Information Science
status: public
title: Cloud Computing Reduces Uncertainties in Quality-of-Service Matching!
type: conference
user_id: '477'
year: '2014'
...
---
_id: '401'
abstract:
- lang: eng
text: Service matching approaches determine to what extent a provided service matches
a requester's requirements. This process is based on service specifications describing
functional (e.g., signatures) as well as non-functional properties (e.g., privacy
policies). However, we cannot expect service specifications to be complete as
providers do not want to share all details of their services' implementation.
Moreover, creating complete specifications requires much effort. In this paper,
we propose a novel service matching approach taking into account a service's signatures
and privacy policies. In particular, our approach applies fuzzy matching techniques
that are able to deal with incomplete service specifications. As a benefit, decision-making
based on matching results is improved and service matching becomes better applicable
in practice.
author:
- first_name: Marie Christin
full_name: Platenius, Marie Christin
last_name: Platenius
- first_name: Svetlana
full_name: Arifulina, Svetlana
last_name: Arifulina
- first_name: Ronald
full_name: Petrlic, Ronald
last_name: Petrlic
- first_name: Wilhelm
full_name: Schäfer, Wilhelm
last_name: Schäfer
citation:
ama: 'Platenius MC, Arifulina S, Petrlic R, Schäfer W. Matching of Incomplete Service
Specifications Exemplified by Privacy Policy Matching. In: Proceedings of the
4th International Workshop on Adaptive Services for the Future Internet. Communications
in Computer and Information Science. ; 2014:6-17. doi:10.1007/978-3-319-14886-1_2'
apa: Platenius, M. C., Arifulina, S., Petrlic, R., & Schäfer, W. (2014). Matching
of Incomplete Service Specifications Exemplified by Privacy Policy Matching. In
Proceedings of the 4th International Workshop on Adaptive Services for the
Future Internet (pp. 6–17). https://doi.org/10.1007/978-3-319-14886-1_2
bibtex: '@inproceedings{Platenius_Arifulina_Petrlic_Schäfer_2014, series={Communications
in Computer and Information Science}, title={Matching of Incomplete Service Specifications
Exemplified by Privacy Policy Matching}, DOI={10.1007/978-3-319-14886-1_2},
booktitle={Proceedings of the 4th International Workshop on Adaptive Services
for the Future Internet}, author={Platenius, Marie Christin and Arifulina, Svetlana
and Petrlic, Ronald and Schäfer, Wilhelm}, year={2014}, pages={6–17}, collection={Communications
in Computer and Information Science} }'
chicago: Platenius, Marie Christin, Svetlana Arifulina, Ronald Petrlic, and Wilhelm
Schäfer. “Matching of Incomplete Service Specifications Exemplified by Privacy
Policy Matching.” In Proceedings of the 4th International Workshop on Adaptive
Services for the Future Internet, 6–17. Communications in Computer and Information
Science, 2014. https://doi.org/10.1007/978-3-319-14886-1_2.
ieee: M. C. Platenius, S. Arifulina, R. Petrlic, and W. Schäfer, “Matching of Incomplete
Service Specifications Exemplified by Privacy Policy Matching,” in Proceedings
of the 4th International Workshop on Adaptive Services for the Future Internet,
2014, pp. 6–17.
mla: Platenius, Marie Christin, et al. “Matching of Incomplete Service Specifications
Exemplified by Privacy Policy Matching.” Proceedings of the 4th International
Workshop on Adaptive Services for the Future Internet, 2014, pp. 6–17, doi:10.1007/978-3-319-14886-1_2.
short: 'M.C. Platenius, S. Arifulina, R. Petrlic, W. Schäfer, in: Proceedings of
the 4th International Workshop on Adaptive Services for the Future Internet, 2014,
pp. 6–17.'
date_created: 2017-10-17T12:42:10Z
date_updated: 2022-01-06T07:00:07Z
ddc:
- '040'
department:
- _id: '66'
- _id: '76'
doi: 10.1007/978-3-319-14886-1_2
file:
- access_level: closed
content_type: application/pdf
creator: florida
date_created: 2018-03-16T11:38:13Z
date_updated: 2018-03-16T11:38:13Z
file_id: '1367'
file_name: 401-WAS4FI2014.pdf
file_size: 396656
relation: main_file
success: 1
file_date_updated: 2018-03-16T11:38:13Z
has_accepted_license: '1'
language:
- iso: eng
page: 6-17
project:
- _id: '1'
name: SFB 901
- _id: '9'
name: SFB 901 - Subprojekt B1
- _id: '13'
name: SFB 901 - Subprojekt C1
- _id: '3'
name: SFB 901 - Project Area B
- _id: '4'
name: SFB 901 - Project Area C
publication: Proceedings of the 4th International Workshop on Adaptive Services for
the Future Internet
series_title: Communications in Computer and Information Science
status: public
title: Matching of Incomplete Service Specifications Exemplified by Privacy Policy
Matching
type: conference
user_id: '477'
year: '2014'
...
---
_id: '402'
abstract:
- lang: eng
text: Various approaches in service engineering are based on servicemarkets where
brokers use service matching in order to performservice discovery. For matching,
a broker translates the specifications ofproviders' services and requesters' requirements
into her own specificationlanguage, in order to check their compliance using a
matcher. Thebroker's success depends on the configuration of her language and
itsmatcher because they in uence important properties like the effort forproviders
and requesters to create suitable specifications as well as accuracyand runtime
of matching. However, neither existing service specification languages, nor existing
matching approaches are optimized insuch way. Our approach automatically provides
brokers with an optimalconfiguration of a language and its matcher to improve
her success ina given market with respect to her strategy. The approach is based
onformalized configuration properties and a predefined set of configurationrules.
author:
- first_name: Svetlana
full_name: Arifulina, Svetlana
last_name: Arifulina
- first_name: Marie Christin
full_name: Platenius, Marie Christin
last_name: Platenius
- first_name: Christian
full_name: Gerth, Christian
last_name: Gerth
- first_name: Steffen
full_name: Becker, Steffen
last_name: Becker
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Wilhelm
full_name: Schäfer, Wilhelm
last_name: Schäfer
citation:
ama: 'Arifulina S, Platenius MC, Gerth C, Becker S, Engels G, Schäfer W. Market-optimized
Service Specification and Matching. In: Franch X, Ghose A, Lewis G, Bhiri S, eds.
Proceedings of the 12th International Conference on Service Oriented Computing
(ICSOC 2014). LNCS. ; 2014:543-550. doi:10.1007/978-3-662-45391-9_47'
apa: Arifulina, S., Platenius, M. C., Gerth, C., Becker, S., Engels, G., & Schäfer,
W. (2014). Market-optimized Service Specification and Matching. In X. Franch,
A. Ghose, G. Lewis, & S. Bhiri (Eds.), Proceedings of the 12th International
Conference on Service Oriented Computing (ICSOC 2014) (pp. 543–550). https://doi.org/10.1007/978-3-662-45391-9_47
bibtex: '@inproceedings{Arifulina_Platenius_Gerth_Becker_Engels_Schäfer_2014, series={LNCS},
title={Market-optimized Service Specification and Matching}, DOI={10.1007/978-3-662-45391-9_47},
booktitle={Proceedings of the 12th International Conference on Service Oriented
Computing (ICSOC 2014)}, author={Arifulina, Svetlana and Platenius, Marie Christin
and Gerth, Christian and Becker, Steffen and Engels, Gregor and Schäfer, Wilhelm},
editor={Franch, Xavier and Ghose, AdityaK. and Lewis, GraceA. and Bhiri, SamiEditors},
year={2014}, pages={543–550}, collection={LNCS} }'
chicago: Arifulina, Svetlana, Marie Christin Platenius, Christian Gerth, Steffen
Becker, Gregor Engels, and Wilhelm Schäfer. “Market-Optimized Service Specification
and Matching.” In Proceedings of the 12th International Conference on Service
Oriented Computing (ICSOC 2014), edited by Xavier Franch, AdityaK. Ghose,
GraceA. Lewis, and Sami Bhiri, 543–50. LNCS, 2014. https://doi.org/10.1007/978-3-662-45391-9_47.
ieee: S. Arifulina, M. C. Platenius, C. Gerth, S. Becker, G. Engels, and W. Schäfer,
“Market-optimized Service Specification and Matching,” in Proceedings of the
12th International Conference on Service Oriented Computing (ICSOC 2014),
2014, pp. 543–550.
mla: Arifulina, Svetlana, et al. “Market-Optimized Service Specification and Matching.”
Proceedings of the 12th International Conference on Service Oriented Computing
(ICSOC 2014), edited by Xavier Franch et al., 2014, pp. 543–50, doi:10.1007/978-3-662-45391-9_47.
short: 'S. Arifulina, M.C. Platenius, C. Gerth, S. Becker, G. Engels, W. Schäfer,
in: X. Franch, A. Ghose, G. Lewis, S. Bhiri (Eds.), Proceedings of the 12th International
Conference on Service Oriented Computing (ICSOC 2014), 2014, pp. 543–550.'
date_created: 2017-10-17T12:42:10Z
date_updated: 2022-01-06T07:00:07Z
ddc:
- '040'
department:
- _id: '66'
- _id: '76'
doi: 10.1007/978-3-662-45391-9_47
editor:
- first_name: Xavier
full_name: Franch, Xavier
last_name: Franch
- first_name: AdityaK.
full_name: Ghose, AdityaK.
last_name: Ghose
- first_name: GraceA.
full_name: Lewis, GraceA.
last_name: Lewis
- first_name: Sami
full_name: Bhiri, Sami
last_name: Bhiri
file:
- access_level: closed
content_type: application/pdf
creator: florida
date_created: 2018-03-16T11:38:59Z
date_updated: 2018-03-16T11:38:59Z
file_id: '1368'
file_name: 402-ICSOC2014.pdf
file_size: 377432
relation: main_file
success: 1
file_date_updated: 2018-03-16T11:38:59Z
has_accepted_license: '1'
language:
- iso: eng
page: 543-550
project:
- _id: '1'
name: SFB 901
- _id: '9'
name: SFB 901 - Subprojekt B1
- _id: '11'
name: SFB 901 - Subproject B3
- _id: '3'
name: SFB 901 - Project Area B
publication: Proceedings of the 12th International Conference on Service Oriented
Computing (ICSOC 2014)
series_title: LNCS
status: public
title: Market-optimized Service Specification and Matching
type: conference
user_id: '477'
year: '2014'
...
---
_id: '409'
abstract:
- lang: eng
text: Service markets provide software components in the formof services. In order
to enable a service discovery that satisfies servicerequesters and providers best,
markets need automatic service matching:approaches for comparing whether a provided
service satisfies a servicerequest. Current markets, e.g., app markets, are limited
to basic keywordbasedsearch although many better suitable matching approaches
aredescribed in literature. However, necessary architectural decisions forthe
integration of matchers have a huge impact on quality propertieslike performance
or security.Architectural decisions wrt. servicematchers have rarely been discussed,yet,
and systematic approaches for their integration into service marketsare missing.
In this paper, we present a systematic integration approachincluding the definition
of requirements and a discussion on architecturaltactics. As a benefit, the decision-making
process of integrating servicematchers is supported and the overall market success
can be improved.
author:
- first_name: Marie Christin
full_name: Platenius, Marie Christin
last_name: Platenius
- first_name: Steffen
full_name: Becker, Steffen
last_name: Becker
- first_name: Wilhelm
full_name: Schäfer, Wilhelm
last_name: Schäfer
citation:
ama: 'Platenius MC, Becker S, Schäfer W. Integrating Service Matchers into a Service
Market Architecture. In: Avgeriou P, Zdun U, eds. Proceedings of the 8th European
Conference on Software Architecture (ECSA 2014). LNCS. ; 2014:210-217. doi:10.1007/978-3-319-09970-5_19'
apa: Platenius, M. C., Becker, S., & Schäfer, W. (2014). Integrating Service
Matchers into a Service Market Architecture. In P. Avgeriou & U. Zdun (Eds.),
Proceedings of the 8th European Conference on Software Architecture (ECSA 2014)
(pp. 210–217). https://doi.org/10.1007/978-3-319-09970-5_19
bibtex: '@inproceedings{Platenius_Becker_Schäfer_2014, series={LNCS}, title={Integrating
Service Matchers into a Service Market Architecture}, DOI={10.1007/978-3-319-09970-5_19},
booktitle={Proceedings of the 8th European Conference on Software Architecture
(ECSA 2014)}, author={Platenius, Marie Christin and Becker, Steffen and Schäfer,
Wilhelm}, editor={Avgeriou, Paris and Zdun, UweEditors}, year={2014}, pages={210–217},
collection={LNCS} }'
chicago: Platenius, Marie Christin, Steffen Becker, and Wilhelm Schäfer. “Integrating
Service Matchers into a Service Market Architecture.” In Proceedings of the
8th European Conference on Software Architecture (ECSA 2014), edited by Paris
Avgeriou and Uwe Zdun, 210–17. LNCS, 2014. https://doi.org/10.1007/978-3-319-09970-5_19.
ieee: M. C. Platenius, S. Becker, and W. Schäfer, “Integrating Service Matchers
into a Service Market Architecture,” in Proceedings of the 8th European Conference
on Software Architecture (ECSA 2014), 2014, pp. 210–217.
mla: Platenius, Marie Christin, et al. “Integrating Service Matchers into a Service
Market Architecture.” Proceedings of the 8th European Conference on Software
Architecture (ECSA 2014), edited by Paris Avgeriou and Uwe Zdun, 2014, pp.
210–17, doi:10.1007/978-3-319-09970-5_19.
short: 'M.C. Platenius, S. Becker, W. Schäfer, in: P. Avgeriou, U. Zdun (Eds.),
Proceedings of the 8th European Conference on Software Architecture (ECSA 2014),
2014, pp. 210–217.'
date_created: 2017-10-17T12:42:11Z
date_updated: 2022-01-06T07:00:15Z
ddc:
- '040'
department:
- _id: '76'
doi: 10.1007/978-3-319-09970-5_19
editor:
- first_name: Paris
full_name: Avgeriou, Paris
last_name: Avgeriou
- first_name: Uwe
full_name: Zdun, Uwe
last_name: Zdun
file:
- access_level: closed
content_type: application/pdf
creator: florida
date_created: 2018-03-16T11:34:58Z
date_updated: 2018-03-16T11:34:58Z
file_id: '1363'
file_name: 409-ecsa14.pdf
file_size: 395884
relation: main_file
success: 1
file_date_updated: 2018-03-16T11:34:58Z
has_accepted_license: '1'
language:
- iso: eng
page: 210-217
project:
- _id: '1'
name: SFB 901
- _id: '9'
name: SFB 901 - Subprojekt B1
- _id: '11'
name: SFB 901 - Subproject B3
- _id: '3'
name: SFB 901 - Project Area B
publication: Proceedings of the 8th European Conference on Software Architecture (ECSA
2014)
series_title: LNCS
status: public
title: Integrating Service Matchers into a Service Market Architecture
type: conference
user_id: '477'
year: '2014'
...
---
_id: '5189'
author:
- first_name: Steven
full_name: Arzt, Steven
last_name: Arzt
- first_name: Siegfried
full_name: Rasthofer, Siegfried
last_name: Rasthofer
- first_name: Christian
full_name: Fritz, Christian
last_name: Fritz
- first_name: Eric
full_name: Bodden, Eric
id: '59256'
last_name: Bodden
orcid: 0000-0003-3470-3647
- first_name: Alexandre
full_name: Bartel, Alexandre
last_name: Bartel
- first_name: Jacques
full_name: Klein, Jacques
last_name: Klein
- first_name: Yves
full_name: Le Traon, Yves
last_name: Le Traon
- first_name: Damien
full_name: Octeau, Damien
last_name: Octeau
- first_name: Patrick
full_name: McDaniel, Patrick
last_name: McDaniel
citation:
ama: 'Arzt S, Rasthofer S, Fritz C, et al. FlowDroid: Precise Context, Flow, Field,
Object-sensitive and Lifecycle-aware Taint Analysis for Android Apps. In: Proceedings
of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation
- PLDI ’14. ACM Press; 2014. doi:10.1145/2594291.2594299'
apa: 'Arzt, S., Rasthofer, S., Fritz, C., Bodden, E., Bartel, A., Klein, J., … McDaniel,
P. (2014). FlowDroid: Precise Context, Flow, Field, Object-sensitive and Lifecycle-aware
Taint Analysis for Android Apps. In Proceedings of the 35th ACM SIGPLAN Conference
on Programming Language Design and Implementation - PLDI ’14. ACM Press. https://doi.org/10.1145/2594291.2594299'
bibtex: '@inproceedings{Arzt_Rasthofer_Fritz_Bodden_Bartel_Klein_Le Traon_Octeau_McDaniel_2014,
title={FlowDroid: Precise Context, Flow, Field, Object-sensitive and Lifecycle-aware
Taint Analysis for Android Apps}, DOI={10.1145/2594291.2594299},
booktitle={Proceedings of the 35th ACM SIGPLAN Conference on Programming Language
Design and Implementation - PLDI ’14}, publisher={ACM Press}, author={Arzt, Steven
and Rasthofer, Siegfried and Fritz, Christian and Bodden, Eric and Bartel, Alexandre
and Klein, Jacques and Le Traon, Yves and Octeau, Damien and McDaniel, Patrick},
year={2014} }'
chicago: 'Arzt, Steven, Siegfried Rasthofer, Christian Fritz, Eric Bodden, Alexandre
Bartel, Jacques Klein, Yves Le Traon, Damien Octeau, and Patrick McDaniel. “FlowDroid:
Precise Context, Flow, Field, Object-Sensitive and Lifecycle-Aware Taint Analysis
for Android Apps.” In Proceedings of the 35th ACM SIGPLAN Conference on Programming
Language Design and Implementation - PLDI ’14. ACM Press, 2014. https://doi.org/10.1145/2594291.2594299.'
ieee: 'S. Arzt et al., “FlowDroid: Precise Context, Flow, Field, Object-sensitive
and Lifecycle-aware Taint Analysis for Android Apps,” in Proceedings of the
35th ACM SIGPLAN Conference on Programming Language Design and Implementation
- PLDI ’14, 2014.'
mla: 'Arzt, Steven, et al. “FlowDroid: Precise Context, Flow, Field, Object-Sensitive
and Lifecycle-Aware Taint Analysis for Android Apps.” Proceedings of the 35th
ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI
’14, ACM Press, 2014, doi:10.1145/2594291.2594299.'
short: 'S. Arzt, S. Rasthofer, C. Fritz, E. Bodden, A. Bartel, J. Klein, Y. Le Traon,
D. Octeau, P. McDaniel, in: Proceedings of the 35th ACM SIGPLAN Conference on
Programming Language Design and Implementation - PLDI ’14, ACM Press, 2014.'
date_created: 2018-10-31T10:55:28Z
date_updated: 2022-01-06T07:01:42Z
ddc:
- '000'
department:
- _id: '76'
doi: 10.1145/2594291.2594299
extern: '1'
file:
- access_level: closed
content_type: application/pdf
creator: ups
date_created: 2018-11-02T13:59:33Z
date_updated: 2018-11-02T13:59:33Z
file_id: '5258'
file_name: p259-arzt.pdf
file_size: 406920
relation: main_file
success: 1
file_date_updated: 2018-11-02T13:59:33Z
has_accepted_license: '1'
language:
- iso: eng
main_file_link:
- url: http://www.bodden.de/pubs/far+14flowdroid.pdf
project:
- _id: '1'
name: SFB 901
- _id: '3'
name: SFB 901 - Project Area B
- _id: '12'
name: SFB 901 - Subproject B4
publication: Proceedings of the 35th ACM SIGPLAN Conference on Programming Language
Design and Implementation - PLDI '14
publication_identifier:
isbn:
- '9781450327848'
publication_status: published
publisher: ACM Press
status: public
title: 'FlowDroid: Precise Context, Flow, Field, Object-sensitive and Lifecycle-aware
Taint Analysis for Android Apps'
type: conference
user_id: '477'
year: '2014'
...
---
_id: '5190'
author:
- first_name: Steven
full_name: Arzt, Steven
last_name: Arzt
- first_name: Siegfried
full_name: Rasthofer, Siegfried
last_name: Rasthofer
- first_name: Enrico
full_name: Lovat, Enrico
last_name: Lovat
- first_name: Eric
full_name: Bodden, Eric
id: '59256'
last_name: Bodden
orcid: 0000-0003-3470-3647
citation:
ama: 'Arzt S, Rasthofer S, Lovat E, Bodden E. DroidForce: Enforcing Complex, Data-Centric,
System-Wide Policies in Android. In: International Conference on Availability,
Reliability and Security (ARES 2014). IEEE; 2014:40-49.'
apa: 'Arzt, S., Rasthofer, S., Lovat, E., & Bodden, E. (2014). DroidForce: Enforcing
Complex, Data-Centric, System-Wide Policies in Android. In International Conference
on Availability, Reliability and Security (ARES 2014) (pp. 40–49). IEEE.'
bibtex: '@inproceedings{Arzt_Rasthofer_Lovat_Bodden_2014, title={DroidForce: Enforcing
Complex, Data-Centric, System-Wide Policies in Android}, booktitle={International
Conference on Availability, Reliability and Security (ARES 2014)}, publisher={IEEE},
author={Arzt, Steven and Rasthofer, Siegfried and Lovat, Enrico and Bodden, Eric},
year={2014}, pages={40–49} }'
chicago: 'Arzt, Steven, Siegfried Rasthofer, Enrico Lovat, and Eric Bodden. “DroidForce:
Enforcing Complex, Data-Centric, System-Wide Policies in Android.” In International
Conference on Availability, Reliability and Security (ARES 2014), 40–49. IEEE,
2014.'
ieee: 'S. Arzt, S. Rasthofer, E. Lovat, and E. Bodden, “DroidForce: Enforcing Complex,
Data-Centric, System-Wide Policies in Android,” in International Conference
on Availability, Reliability and Security (ARES 2014), 2014, pp. 40–49.'
mla: 'Arzt, Steven, et al. “DroidForce: Enforcing Complex, Data-Centric, System-Wide
Policies in Android.” International Conference on Availability, Reliability
and Security (ARES 2014), IEEE, 2014, pp. 40–49.'
short: 'S. Arzt, S. Rasthofer, E. Lovat, E. Bodden, in: International Conference
on Availability, Reliability and Security (ARES 2014), IEEE, 2014, pp. 40–49.'
date_created: 2018-10-31T11:04:43Z
date_updated: 2022-01-06T07:01:43Z
ddc:
- '004'
department:
- _id: '76'
extern: '1'
file:
- access_level: closed
content_type: application/pdf
creator: ups
date_created: 2018-11-02T13:21:13Z
date_updated: 2018-11-02T13:21:13Z
file_id: '5247'
file_name: ralb14droidforce.pdf
file_size: 661565
relation: main_file
file_date_updated: 2018-11-02T13:21:13Z
has_accepted_license: '1'
language:
- iso: eng
main_file_link:
- url: http://www.bodden.de/pubs/ralb14droidforce.pdf
page: 40-49
project:
- _id: '1'
name: SFB 901
- _id: '3'
name: SFB 901 - Project Area B
- _id: '12'
name: SFB 901 - Subproject B4
publication: International Conference on Availability, Reliability and Security (ARES
2014)
publisher: IEEE
status: public
title: 'DroidForce: Enforcing Complex, Data-Centric, System-Wide Policies in Android'
type: conference
user_id: '477'
year: '2014'
...
---
_id: '20978'
author:
- first_name: Marcus
full_name: Hüwe, Marcus
id: '13606'
last_name: Hüwe
citation:
ama: Hüwe M. Das Verteilungsproblem Für Mechatronische Systeme. Universität
Paderborn, Heinz Nixdorf Institut, Softwaretechnik; 2013.
apa: Hüwe, M. (2013). Das Verteilungsproblem für mechatronische Systeme.
Universität Paderborn, Heinz Nixdorf Institut, Softwaretechnik.
bibtex: '@book{Hüwe_2013, title={Das Verteilungsproblem für mechatronische Systeme},
publisher={Universität Paderborn, Heinz Nixdorf Institut, Softwaretechnik}, author={Hüwe,
Marcus}, year={2013} }'
chicago: Hüwe, Marcus. Das Verteilungsproblem Für Mechatronische Systeme.
Universität Paderborn, Heinz Nixdorf Institut, Softwaretechnik, 2013.
ieee: M. Hüwe, Das Verteilungsproblem für mechatronische Systeme. Universität
Paderborn, Heinz Nixdorf Institut, Softwaretechnik, 2013.
mla: Hüwe, Marcus. Das Verteilungsproblem Für Mechatronische Systeme. Universität
Paderborn, Heinz Nixdorf Institut, Softwaretechnik, 2013.
short: M. Hüwe, Das Verteilungsproblem Für Mechatronische Systeme, Universität Paderborn,
Heinz Nixdorf Institut, Softwaretechnik, 2013.
date_created: 2021-01-13T13:23:53Z
date_updated: 2022-01-06T06:54:42Z
department:
- _id: '76'
language:
- iso: eng
publisher: Universität Paderborn, Heinz Nixdorf Institut, Softwaretechnik
status: public
title: Das Verteilungsproblem für mechatronische Systeme
type: bachelorsthesis
user_id: '5786'
year: '2013'
...
---
_id: '20980'
abstract:
- lang: ger
text: Das Thema Elektromobilität hat in der Fahrzeugindustrie in den letzten Jahren
viel Aufmerksamkeit erhalten. Gerade im Bereich der Entwicklung von Steuergeräte-Software
ist der Bedarf an frühzeitiger Absicherung hoch. Nur so können Produkteinführungszeiten
minimiert und effektiv Entwicklungskosten eingespart werden. Komplexe Werkzeugketten
und die verteilte Entwicklung erschweren den Prozess und verlängern die Entwicklungszeit.
Das Förderprojekt „Simulationsgestützter Entwurf für Elektrofahrzeuge“, kurz „E-Mobil“,
nimmt sich der Herausforderungen einer verteilten Entwicklung von Steuergeräte-Software
an. Vier Projektpartner aus Industrie und Forschung untersuchen die Besonderheiten
sowohl bzgl. des Entwurfsprozesses, als auch der beteiligten Entwurfswerkzeuge
im Vergleich zur konventionellen Fahrzeugentwicklung. Im Fokus stehen die Modellierung
und die simulationsgestützte Absicherung in frühen Entwurfsstadien. Die Modellierung
umfasst Regelungssoftware sowie die für die Simulation nötigen elektrischen und
mechatronischen Komponenten. Die vorliegende Arbeit stellt die Kernthemen sowie
aktuelle Ergebnisse aus dem Projekt vor.
author:
- first_name: Emad
full_name: Farshizadeh, Emad
last_name: Farshizadeh
- first_name: Hermann
full_name: Briese, Hermann
last_name: Briese
- first_name: David
full_name: Steinmann, David
last_name: Steinmann
- first_name: Lars
full_name: Stockmann, Lars
id: '48144'
last_name: Stockmann
- first_name: Steffen
full_name: Beringer, Steffen
last_name: Beringer
- first_name: Dominik
full_name: Holler, Dominik
last_name: Holler
- first_name: Kay
full_name: Klobedanz, Kay
last_name: Klobedanz
- first_name: Christian
full_name: Heinzemann, Christian
last_name: Heinzemann
- first_name: Klaus
full_name: Peter, Klaus
last_name: Peter
- first_name: Michael
full_name: Leuer, Michael
last_name: Leuer
citation:
ama: 'Farshizadeh E, Briese H, Steinmann D, et al. Simulationsgestützter Entwurf
für Elektrofahrzeuge. In: 8. Dortmunder Autotag. ; 2013.'
apa: Farshizadeh, E., Briese, H., Steinmann, D., Stockmann, L., Beringer, S., Holler,
D., Klobedanz, K., Heinzemann, C., Peter, K., & Leuer, M. (2013). Simulationsgestützter
Entwurf für Elektrofahrzeuge. 8. Dortmunder Autotag.
bibtex: '@inproceedings{Farshizadeh_Briese_Steinmann_Stockmann_Beringer_Holler_Klobedanz_Heinzemann_Peter_Leuer_2013,
title={Simulationsgestützter Entwurf für Elektrofahrzeuge}, booktitle={8. Dortmunder
Autotag}, author={Farshizadeh, Emad and Briese, Hermann and Steinmann, David and
Stockmann, Lars and Beringer, Steffen and Holler, Dominik and Klobedanz, Kay and
Heinzemann, Christian and Peter, Klaus and Leuer, Michael}, year={2013} }'
chicago: Farshizadeh, Emad, Hermann Briese, David Steinmann, Lars Stockmann, Steffen
Beringer, Dominik Holler, Kay Klobedanz, Christian Heinzemann, Klaus Peter, and
Michael Leuer. “Simulationsgestützter Entwurf Für Elektrofahrzeuge.” In 8.
Dortmunder Autotag, 2013.
ieee: E. Farshizadeh et al., “Simulationsgestützter Entwurf für Elektrofahrzeuge,”
2013.
mla: Farshizadeh, Emad, et al. “Simulationsgestützter Entwurf Für Elektrofahrzeuge.”
8. Dortmunder Autotag, 2013.
short: 'E. Farshizadeh, H. Briese, D. Steinmann, L. Stockmann, S. Beringer, D. Holler,
K. Klobedanz, C. Heinzemann, K. Peter, M. Leuer, in: 8. Dortmunder Autotag, 2013.'
date_created: 2021-01-13T13:28:47Z
date_updated: 2022-01-06T06:54:42Z
department:
- _id: '76'
language:
- iso: eng
publication: 8. Dortmunder Autotag
status: public
title: Simulationsgestützter Entwurf für Elektrofahrzeuge
type: conference
user_id: '5786'
year: '2013'
...
---
_id: '20985'
abstract:
- lang: ger
text: "Die in der Automobilindustrie verwendeten eingebetteten Systeme gehören zu
den komplexesten eingebetteten Systemen. Die Automobilhersteller sind in der Entwicklung
ständig bemüht sowohl die Sicherheit und den Komfort des Fahrers also auch der
anderen Insassen zu verbessern. Die meisten der entwickelten Systeme sind sowohl
zeit- als auch sicherheitskritisch. Einer Studie von Mercedes-Benz zufolge resultieren
80% der Innovationen in der Automobilbranche aus neuen Elektronikkomponenten,
deren Funktionen zu 90% durch Software realisiert wird. Um die steigende Komplexität
in der Entwicklung von eingebetteten Systemen zu beherrschen wird in der Automobilbranche
immer öfter die modelbasierte Softwareentwicklung anstelle der klassischen Programmierung
eingesetzt. Im Requirements Engineering, der ersten Phase der Entwicklung eines
Produktes, werden die Anforderungen gesammelt und dokumentiert. Die Dokumentation
erfolgt mittels natürlicher Sprache. Modellbasierte Ansätze werden heutzutage
höchstens unterstützend eingesetzt. Während des Requirements Engineerings muss
der Requirements Engineer sowohl die funktionalen Anforderungen an das zu entwickelnde
System als auch seine zeitlichen Anforderungen spezifizieren und analysieren.
Die funktionalen Anforderungen umfassen dabei insbesondere die Kommunikation zwischen
den verschiedenen Teilsystemen. Szenarien stellen eine intuitive Möglichkeit zur
Modellierung von funktionalen Anforderungen dar. Im Rahmen dieser Arbeit wird
ein modellbasierter Ansatz zur Modellierung von Szenarien verwendet. Anforderungen
an das zeitliche Verhalten werden innerhalb der Architektur spezifiziert. Dazu
stehen in der Automobilbranche Architekturbeschreibungssprachen wie EAST-ADL zur
Verfügung. Obwohl sowohl funktionale als auch zeitliche Anforderungen an das System
spezifiziert und analysiert werden müssen, existiert bisher keine Methodik, die
beide Ansätze miteinander kombiniert. Aus diesem Grund wurde im Rahmen dieser
Arbeit eine neue Requirements Engineering Methodik entwickelt, die eine systematische
und ganzheitliche Spezifikation und Analyse der funktionalen und zeitlichen Anforderungen
bereitstellt. Wir haben zwei Modelltransformationen entwickelt, um den Requirements
Engineer beim Übergang von den funktionalen zu den zeitlichen Anforderungen zu
unterstützen. Die vorliegende Arbeit wird durch eine Evaluierung der Methodik,
sowie der Modelltransformationen auf Basis eines Komfortsteuergerätes abgerundet.\r\n"
author:
- first_name: Thorsten
full_name: Koch, Thorsten
id: '13616'
last_name: Koch
citation:
ama: Koch T. Combining Scenario-Based and Architecture-Based Timing Requirements.
University of Paderborn; 2013.
apa: Koch, T. (2013). Combining Scenario-based and Architecture-based Timing
Requirements. University of Paderborn.
bibtex: '@book{Koch_2013, title={Combining Scenario-based and Architecture-based
Timing Requirements}, publisher={University of Paderborn}, author={Koch, Thorsten},
year={2013} }'
chicago: Koch, Thorsten. Combining Scenario-Based and Architecture-Based Timing
Requirements. University of Paderborn, 2013.
ieee: T. Koch, Combining Scenario-based and Architecture-based Timing Requirements.
University of Paderborn, 2013.
mla: Koch, Thorsten. Combining Scenario-Based and Architecture-Based Timing Requirements.
University of Paderborn, 2013.
short: T. Koch, Combining Scenario-Based and Architecture-Based Timing Requirements,
University of Paderborn, 2013.
date_created: 2021-01-13T13:44:06Z
date_updated: 2022-01-06T06:54:42Z
department:
- _id: '76'
language:
- iso: eng
publisher: University of Paderborn
status: public
title: Combining Scenario-based and Architecture-based Timing Requirements
type: mastersthesis
user_id: '5786'
year: '2013'
...
---
_id: '20831'
abstract:
- lang: ger
text: Die Komplexität von mechatronischen Systemen wird stetig größer. MechatronicUML
(MUML) ist eine Methode zur Entwicklung für Software von mechatronischen Systemen.
Im Rahmen einer Bachelorarbeit wurde ein bestehender Quelltextgenerator für MUML-Modelle
so erweitert, dass Quelltext für ein Echtzeitbetriebssystem generiert werden kann,
welches auf einem LEGO Mindstorms-Roboter installiert ist.
author:
- first_name: Johannes
full_name: Geismann, Johannes
id: '20063'
last_name: Geismann
orcid: https://orcid.org/0000-0003-2015-2047
citation:
ama: 'Geismann J. Quelltextgenerierung für LEGO Mindstorms-Roboter. In: Berichtsband
Der Informatiktage 2013: Smarte Sichten, Smarte Schichten. Vol 12. GI-Edition
- Lecture Notes in Informatics (LNI). Köllen Verlag; 2013:71-74.'
apa: 'Geismann, J. (2013). Quelltextgenerierung für LEGO Mindstorms-Roboter. Berichtsband
Der Informatiktage 2013: Smarte Sichten, Smarte Schichten, 12, 71–74.'
bibtex: '@inproceedings{Geismann_2013, place={Bonn, Germany}, series={GI-Edition
- Lecture Notes in Informatics (LNI)}, title={Quelltextgenerierung für LEGO Mindstorms-Roboter},
volume={12}, booktitle={Berichtsband der Informatiktage 2013: Smarte Sichten,
smarte Schichten}, publisher={Köllen Verlag}, author={Geismann, Johannes}, year={2013},
pages={71–74}, collection={GI-Edition - Lecture Notes in Informatics (LNI)} }'
chicago: 'Geismann, Johannes. “Quelltextgenerierung Für LEGO Mindstorms-Roboter.”
In Berichtsband Der Informatiktage 2013: Smarte Sichten, Smarte Schichten,
12:71–74. GI-Edition - Lecture Notes in Informatics (LNI). Bonn, Germany: Köllen
Verlag, 2013.'
ieee: 'J. Geismann, “Quelltextgenerierung für LEGO Mindstorms-Roboter,” in Berichtsband
der Informatiktage 2013: Smarte Sichten, smarte Schichten, 2013, vol. 12,
pp. 71–74.'
mla: 'Geismann, Johannes. “Quelltextgenerierung Für LEGO Mindstorms-Roboter.” Berichtsband
Der Informatiktage 2013: Smarte Sichten, Smarte Schichten, vol. 12, Köllen
Verlag, 2013, pp. 71–74.'
short: 'J. Geismann, in: Berichtsband Der Informatiktage 2013: Smarte Sichten, Smarte
Schichten, Köllen Verlag, Bonn, Germany, 2013, pp. 71–74.'
date_created: 2020-12-22T09:59:27Z
date_updated: 2022-01-06T06:54:40Z
department:
- _id: '76'
intvolume: ' 12'
language:
- iso: eng
main_file_link:
- url: http://subs.emis.de/LNI/Seminar/Seminar12/S-12.pdf#page=72
page: 71-74
place: Bonn, Germany
publication: 'Berichtsband der Informatiktage 2013: Smarte Sichten, smarte Schichten'
publisher: Köllen Verlag
series_title: GI-Edition - Lecture Notes in Informatics (LNI)
status: public
title: Quelltextgenerierung für LEGO Mindstorms-Roboter
type: conference
user_id: '5786'
volume: 12
year: '2013'
...
---
_id: '20913'
author:
- first_name: Jens
full_name: Frieben, Jens
last_name: Frieben
- first_name: Henning
full_name: Heutger, Henning
last_name: Heutger
- first_name: Matthias
full_name: Meyer, Matthias
id: '683'
last_name: Meyer
- first_name: Steffen
full_name: Becker, Steffen
last_name: Becker
citation:
ama: 'Frieben J, Heutger H, Meyer M, Becker S. Modulare Leistungsprognose von Kompaktsteuerungen.
In: 9. Paderborner Workshop Entwurf Mechatronischer Systeme. Verlagsschriftenreihe
des Heinz Nixdorf Instituts, Paderborn; 2013:147-160.'
apa: Frieben, J., Heutger, H., Meyer, M., & Becker, S. (2013). Modulare Leistungsprognose
von Kompaktsteuerungen. 9. Paderborner Workshop Entwurf Mechatronischer Systeme,
147–160.
bibtex: '@inproceedings{Frieben_Heutger_Meyer_Becker_2013, place={Paderborn}, title={Modulare
Leistungsprognose von Kompaktsteuerungen}, booktitle={9. Paderborner Workshop
Entwurf mechatronischer Systeme}, publisher={Verlagsschriftenreihe des Heinz Nixdorf
Instituts, Paderborn}, author={Frieben, Jens and Heutger, Henning and Meyer, Matthias
and Becker, Steffen}, year={2013}, pages={147–160} }'
chicago: 'Frieben, Jens, Henning Heutger, Matthias Meyer, and Steffen Becker. “Modulare
Leistungsprognose von Kompaktsteuerungen.” In 9. Paderborner Workshop Entwurf
Mechatronischer Systeme, 147–60. Paderborn: Verlagsschriftenreihe des Heinz
Nixdorf Instituts, Paderborn, 2013.'
ieee: J. Frieben, H. Heutger, M. Meyer, and S. Becker, “Modulare Leistungsprognose
von Kompaktsteuerungen,” in 9. Paderborner Workshop Entwurf mechatronischer
Systeme, 2013, pp. 147–160.
mla: Frieben, Jens, et al. “Modulare Leistungsprognose von Kompaktsteuerungen.”
9. Paderborner Workshop Entwurf Mechatronischer Systeme, Verlagsschriftenreihe
des Heinz Nixdorf Instituts, Paderborn, 2013, pp. 147–60.
short: 'J. Frieben, H. Heutger, M. Meyer, S. Becker, in: 9. Paderborner Workshop
Entwurf Mechatronischer Systeme, Verlagsschriftenreihe des Heinz Nixdorf Instituts,
Paderborn, Paderborn, 2013, pp. 147–160.'
date_created: 2021-01-12T14:20:58Z
date_updated: 2022-01-06T06:54:41Z
department:
- _id: '76'
- _id: '241'
language:
- iso: eng
page: 147-160
place: Paderborn
publication: 9. Paderborner Workshop Entwurf mechatronischer Systeme
publisher: Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn
status: public
title: Modulare Leistungsprognose von Kompaktsteuerungen
type: conference
user_id: '5786'
year: '2013'
...
---
_id: '484'
abstract:
- lang: eng
text: One of the main ideas of Service-Oriented Computing (SOC) is the delivery
of flexibly composable services provided on world-wide markets. For a successful
service discovery,service requests have to be matched with the available service
offers. However, in a situation in which no service that completely matches the
request can be discovered, the customer may tolerate slight discrepancies between
request and offer. Some existing fuzzy matching approaches are able to detectsuch
service variants, but they do not allow to explicitly specify which parts of a
request are not mandatory. In this paper, we improve an existing service matching
approach based onVisual Contracts leveraging our preliminary work of design pattern
detection. Thereby, we support explicit specifications of service variants and
realize gradual matching results that can be ranked in order to discover the service
offer that matches a customer’s request best.
author:
- first_name: Marie Christin
full_name: Platenius, Marie Christin
last_name: Platenius
- first_name: Markus
full_name: von Detten, Markus
last_name: von Detten
- first_name: Christian
full_name: Gerth, Christian
last_name: Gerth
- first_name: Wilhelm
full_name: Schäfer, Wilhelm
last_name: Schäfer
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
citation:
ama: 'Platenius MC, von Detten M, Gerth C, Schäfer W, Engels G. Service Matching
under Consideration of Explicitly Specified Service Variants. In: IEEE 20th
International Conference on Web Services (ICWS 2013). ; 2013:613-614. doi:10.1109/ICWS.2013.98'
apa: Platenius, M. C., von Detten, M., Gerth, C., Schäfer, W., & Engels, G.
(2013). Service Matching under Consideration of Explicitly Specified Service Variants.
In IEEE 20th International Conference on Web Services (ICWS 2013) (pp.
613–614). https://doi.org/10.1109/ICWS.2013.98
bibtex: '@inproceedings{Platenius_von Detten_Gerth_Schäfer_Engels_2013, title={Service
Matching under Consideration of Explicitly Specified Service Variants}, DOI={10.1109/ICWS.2013.98}, booktitle={IEEE
20th International Conference on Web Services (ICWS 2013)}, author={Platenius,
Marie Christin and von Detten, Markus and Gerth, Christian and Schäfer, Wilhelm
and Engels, Gregor}, year={2013}, pages={613–614} }'
chicago: Platenius, Marie Christin, Markus von Detten, Christian Gerth, Wilhelm
Schäfer, and Gregor Engels. “Service Matching under Consideration of Explicitly
Specified Service Variants.” In IEEE 20th International Conference on Web Services
(ICWS 2013), 613–14, 2013. https://doi.org/10.1109/ICWS.2013.98.
ieee: M. C. Platenius, M. von Detten, C. Gerth, W. Schäfer, and G. Engels, “Service
Matching under Consideration of Explicitly Specified Service Variants,” in IEEE
20th International Conference on Web Services (ICWS 2013), 2013, pp. 613–614.
mla: Platenius, Marie Christin, et al. “Service Matching under Consideration of
Explicitly Specified Service Variants.” IEEE 20th International Conference
on Web Services (ICWS 2013), 2013, pp. 613–14, doi:10.1109/ICWS.2013.98.
short: 'M.C. Platenius, M. von Detten, C. Gerth, W. Schäfer, G. Engels, in: IEEE
20th International Conference on Web Services (ICWS 2013), 2013, pp. 613–614.'
date_created: 2017-10-17T12:42:26Z
date_updated: 2022-01-06T07:01:27Z
ddc:
- '040'
department:
- _id: '66'
- _id: '76'
doi: 10.1109/ICWS.2013.98
file:
- access_level: closed
content_type: application/pdf
creator: florida
date_created: 2018-03-15T13:57:42Z
date_updated: 2018-03-15T13:57:42Z
file_id: '1319'
file_name: 484-Platenius_et_al_ICWS2013.pdf
file_size: 262082
relation: main_file
success: 1
file_date_updated: 2018-03-15T13:57:42Z
has_accepted_license: '1'
language:
- iso: eng
page: 613-614
project:
- _id: '1'
name: SFB 901
- _id: '9'
name: SFB 901 - Subprojekt B1
- _id: '3'
name: SFB 901 - Project Area B
publication: IEEE 20th International Conference on Web Services (ICWS 2013)
status: public
title: Service Matching under Consideration of Explicitly Specified Service Variants
type: conference
user_id: '477'
year: '2013'
...
---
_id: '494'
abstract:
- lang: eng
text: The maintenance of component-based software systems requires up-to-date models
of their concrete architecture, i.e. the architecture that is realised in the
source code. These models help in systematically planning, analysing and executing
typical reengineering activities. Often no or only outdated architectural models
of such systems exist. Therefore, various reverse engineering methods have been
developed which try to recover a system's components, subsystems and connectors.
However, these reverse engineering methods are severely impacted by design deciencies
in the system's code base, especially violations of the component encapsulation.
As long as design deciencies are not considered in the reverse engineering process,
they reduce the quality of the recovered component structures. Despite this impact
of design deciencies, no existing architecture reconstruction approach explicitly
integrates a systematic deciency detection and removal into the recovery process.
Therefore, I have developed Archimetrix. Archimetrix is a tool-supported architecture
reconstruction process. It enhances a clustering-based architecture recovery approach
with an extensible, pattern-based deciency detection. After the detection of deciencies,
Archimetrix supports the software architect in removing the de ciencies and provides
the means to preview the architectural consequences of such a removal. I also
provide a process to identify and formalise additional deciencies. I validated
the approach on three case studies which show that Archimetrix is able to identify
relevant deciencies and that the removal of these deciencies leads to an increased
quality of the recovered architectures, i.e. they are closer to the corresponding
conceptual architectures.
author:
- first_name: Markus
full_name: von Detten, Markus
last_name: von Detten
citation:
ama: von Detten M. Reengineering of Component-Based Software Systems in the Presence
of Design Deficiencies. Universität Paderborn; 2013.
apa: von Detten, M. (2013). Reengineering of Component-Based Software Systems
in the Presence of Design Deficiencies. Universität Paderborn.
bibtex: '@book{von Detten_2013, title={Reengineering of Component-Based Software
Systems in the Presence of Design Deficiencies}, publisher={Universität Paderborn},
author={von Detten, Markus}, year={2013} }'
chicago: Detten, Markus von. Reengineering of Component-Based Software Systems
in the Presence of Design Deficiencies. Universität Paderborn, 2013.
ieee: M. von Detten, Reengineering of Component-Based Software Systems in the
Presence of Design Deficiencies. Universität Paderborn, 2013.
mla: von Detten, Markus. Reengineering of Component-Based Software Systems in
the Presence of Design Deficiencies. Universität Paderborn, 2013.
short: M. von Detten, Reengineering of Component-Based Software Systems in the Presence
of Design Deficiencies, Universität Paderborn, 2013.
date_created: 2017-10-17T12:42:28Z
date_updated: 2022-01-06T07:01:30Z
ddc:
- '040'
department:
- _id: '76'
file:
- access_level: closed
content_type: application/pdf
creator: florida
date_created: 2018-03-15T13:43:42Z
date_updated: 2018-03-15T13:43:42Z
file_id: '1315'
file_name: 494-Dissertation-vonDetten.pdf
file_size: 11101635
relation: main_file
success: 1
file_date_updated: 2018-03-15T13:43:42Z
has_accepted_license: '1'
project:
- _id: '1'
name: SFB 901
- _id: '9'
name: SFB 901 - Subprojekt B1
- _id: '3'
name: SFB 901 - Project Area B
publisher: Universität Paderborn
status: public
supervisor:
- first_name: Wilhelm
full_name: Schäfer, Wilhelm
last_name: Schäfer
title: Reengineering of Component-Based Software Systems in the Presence of Design
Deficiencies
type: dissertation
user_id: '477'
year: '2013'
...
---
_id: '527'
abstract:
- lang: eng
text: 'In the future vision of software engineering, services from world-wide markets
are composed automated in order to build custom-made systems.Supporting such scenarios
requires an adequate service matching approach.Many existing approaches do not
fulfill two key requirements of emerging concepts like On-The-Fly-Computing, namely
(1) comprehensiveness, i.e., the consideration of different service aspects that
cover not only functional properties, but also non-functional properties and (2)
fuzzy matching, i.e., the ability to deliver gradual results in order to cope
with a certain extent of uncertainty, incompleteness, and tolerance ranges.In
this paper, I present a fuzzy matching process that distinguishes between different
fuzziness sources and leverages fuzziness in different matching steps which consider
different service aspects, e.g., behavior and quality properties. '
author:
- first_name: Marie
full_name: Christin Platenius, Marie
last_name: Christin Platenius
citation:
ama: 'Christin Platenius M. Fuzzy Service Matching in On-The-Fly Computing. In:
Proceedings of the Doctoral Symposium of the 9th Joint Meeting of the European
Software Engineering Conference (ESEC) and the ACM SIGSOFT Symposium on the Foundations
of Software Engineering (FSE). ; 2013:715-718. doi:10.1145/2491411.2492405'
apa: Christin Platenius, M. (2013). Fuzzy Service Matching in On-The-Fly Computing.
In Proceedings of the Doctoral Symposium of the 9th joint meeting of the European
Software Engineering Conference (ESEC) and the ACM SIGSOFT Symposium on the Foundations
of Software Engineering (FSE) (pp. 715–718). https://doi.org/10.1145/2491411.2492405
bibtex: '@inproceedings{Christin Platenius_2013, title={Fuzzy Service Matching in
On-The-Fly Computing}, DOI={10.1145/2491411.2492405},
booktitle={Proceedings of the Doctoral Symposium of the 9th joint meeting of the
European Software Engineering Conference (ESEC) and the ACM SIGSOFT Symposium
on the Foundations of Software Engineering (FSE)}, author={Christin Platenius,
Marie}, year={2013}, pages={715–718} }'
chicago: Christin Platenius, Marie. “Fuzzy Service Matching in On-The-Fly Computing.”
In Proceedings of the Doctoral Symposium of the 9th Joint Meeting of the European
Software Engineering Conference (ESEC) and the ACM SIGSOFT Symposium on the Foundations
of Software Engineering (FSE), 715–18, 2013. https://doi.org/10.1145/2491411.2492405.
ieee: M. Christin Platenius, “Fuzzy Service Matching in On-The-Fly Computing,” in
Proceedings of the Doctoral Symposium of the 9th joint meeting of the European
Software Engineering Conference (ESEC) and the ACM SIGSOFT Symposium on the Foundations
of Software Engineering (FSE), 2013, pp. 715–718.
mla: Christin Platenius, Marie. “Fuzzy Service Matching in On-The-Fly Computing.”
Proceedings of the Doctoral Symposium of the 9th Joint Meeting of the European
Software Engineering Conference (ESEC) and the ACM SIGSOFT Symposium on the Foundations
of Software Engineering (FSE), 2013, pp. 715–18, doi:10.1145/2491411.2492405.
short: 'M. Christin Platenius, in: Proceedings of the Doctoral Symposium of the
9th Joint Meeting of the European Software Engineering Conference (ESEC) and the
ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE), 2013,
pp. 715–718.'
date_created: 2017-10-17T12:42:35Z
date_updated: 2022-01-06T07:01:48Z
ddc:
- '040'
department:
- _id: '76'
doi: 10.1145/2491411.2492405
file:
- access_level: closed
content_type: application/pdf
creator: florida
date_created: 2018-03-15T10:36:38Z
date_updated: 2018-03-15T10:36:38Z
file_id: '1295'
file_name: 527-p715-platenius.pdf
file_size: 730490
relation: main_file
success: 1
file_date_updated: 2018-03-15T10:36:38Z
has_accepted_license: '1'
language:
- iso: eng
page: ' 715-718 '
project:
- _id: '1'
name: SFB 901
- _id: '9'
name: SFB 901 - Subprojekt B1
- _id: '3'
name: SFB 901 - Project Area B
publication: Proceedings of the Doctoral Symposium of the 9th joint meeting of the
European Software Engineering Conference (ESEC) and the ACM SIGSOFT Symposium on
the Foundations of Software Engineering (FSE)
status: public
title: Fuzzy Service Matching in On-The-Fly Computing
type: conference
user_id: '477'
year: '2013'
...
---
_id: '560'
abstract:
- lang: eng
text: In the last decades, development turned from monolithic software products
towards more flexible software components that can be provided on world-wide markets
in form of services. Customers request such services or compositions of several
services. However, in many cases, discovering the best services to address a given
request is a tough challenge and requires expressive, gradual matching results,
considering different aspects of a service description, e.g., inputs/ouputs, protocols,
or quality properties. Furthermore,in situations in which no service exactly satifies
the request, approximate matching which can deal with a certain amount of fuzziness
becomes necessary. There is a wealth of service matching approaches, but it is
not clear whether there is a comprehensive, fuzzy matching approach which addresses
all these challenges. Although there are a few service matchingsurveys, none of
them is able to answer this question. In this paper, we perform a systematic literature
survey of 35 (outof 504) service matching approaches which consider fuzzy matching.
Based on this survey, we propose a classication,discuss how different matching
approaches can be combined into a comprehensive matching method, and identify
future research challenges.
author:
- first_name: Marie
full_name: Platenius, Marie
last_name: Platenius
- first_name: Markus
full_name: von Detten, Markus
last_name: von Detten
- first_name: Steffen
full_name: Becker, Steffen
last_name: Becker
- first_name: Wilhelm
full_name: Schäfer, Wilhelm
last_name: Schäfer
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
citation:
ama: 'Platenius M, von Detten M, Becker S, Schäfer W, Engels G. A Survey of Fuzzy
Service Matching Approaches in the Context of On-The-Fly Computing. In: Proceedings
of the 16th International ACM Sigsoft Symposium on Component-Based Software Engineering.
; 2013:143-152. doi:10.1145/2465449.2465454'
apa: Platenius, M., von Detten, M., Becker, S., Schäfer, W., & Engels, G. (2013).
A Survey of Fuzzy Service Matching Approaches in the Context of On-The-Fly Computing.
In Proceedings of the 16th International ACM Sigsoft Symposium on Component-Based
Software Engineering (pp. 143–152). https://doi.org/10.1145/2465449.2465454
bibtex: '@inproceedings{Platenius_von Detten_Becker_Schäfer_Engels_2013, title={A
Survey of Fuzzy Service Matching Approaches in the Context of On-The-Fly Computing},
DOI={10.1145/2465449.2465454},
booktitle={Proceedings of the 16th International ACM Sigsoft Symposium on Component-Based
Software Engineering}, author={Platenius, Marie and von Detten, Markus and Becker,
Steffen and Schäfer, Wilhelm and Engels, Gregor}, year={2013}, pages={143–152}
}'
chicago: Platenius, Marie, Markus von Detten, Steffen Becker, Wilhelm Schäfer, and
Gregor Engels. “A Survey of Fuzzy Service Matching Approaches in the Context of
On-The-Fly Computing.” In Proceedings of the 16th International ACM Sigsoft
Symposium on Component-Based Software Engineering, 143–52, 2013. https://doi.org/10.1145/2465449.2465454.
ieee: M. Platenius, M. von Detten, S. Becker, W. Schäfer, and G. Engels, “A Survey
of Fuzzy Service Matching Approaches in the Context of On-The-Fly Computing,”
in Proceedings of the 16th International ACM Sigsoft Symposium on Component-Based
Software Engineering, 2013, pp. 143–152.
mla: Platenius, Marie, et al. “A Survey of Fuzzy Service Matching Approaches in
the Context of On-The-Fly Computing.” Proceedings of the 16th International
ACM Sigsoft Symposium on Component-Based Software Engineering, 2013, pp. 143–52,
doi:10.1145/2465449.2465454.
short: 'M. Platenius, M. von Detten, S. Becker, W. Schäfer, G. Engels, in: Proceedings
of the 16th International ACM Sigsoft Symposium on Component-Based Software Engineering,
2013, pp. 143–152.'
date_created: 2017-10-17T12:42:41Z
date_updated: 2022-01-06T07:02:06Z
ddc:
- '040'
department:
- _id: '66'
- _id: '76'
doi: 10.1145/2465449.2465454
file:
- access_level: closed
content_type: application/pdf
creator: florida
date_created: 2018-03-15T10:26:49Z
date_updated: 2018-03-15T10:26:49Z
file_id: '1281'
file_name: 560-Platenius_et_al_CBSE2013.pdf
file_size: 570580
relation: main_file
success: 1
file_date_updated: 2018-03-15T10:26:49Z
has_accepted_license: '1'
language:
- iso: eng
page: 143-152
project:
- _id: '1'
name: SFB 901
- _id: '9'
name: SFB 901 - Subprojekt B1
- _id: '3'
name: SFB 901 - Project Area B
publication: Proceedings of the 16th International ACM Sigsoft Symposium on Component-Based
Software Engineering
status: public
title: A Survey of Fuzzy Service Matching Approaches in the Context of On-The-Fly
Computing
type: conference
user_id: '477'
year: '2013'
...
---
_id: '20974'
abstract:
- lang: eng
text: "The functionality realized by software in modern cars is increasing and as
a result the development artifacts of automotive systems are getting more complex.
The existence of traceability along these artifacts is essential, since it allows
to monitor the product development from the initial requirements to the final
code. However, traceability is established and maintained mostly manually, which
is time-consuming and error-prone. A further crucial problem is the assurance
of the validity of the trace links, that is, the linked elements are indeed related
to each other. In this paper we present a semiautomatic approach to create, check,
and update trace links between artifacts along an automotive development process.\r\n"
author:
- first_name: Markus
full_name: Fockel, Markus
id: '8472'
last_name: Fockel
orcid: 0000-0002-1269-0702
- first_name: Jörg
full_name: Holtmann, Jörg
id: '3875'
last_name: Holtmann
orcid: 0000-0001-6141-4571
- first_name: Jan
full_name: Meyer, Jan
last_name: Meyer
citation:
ama: 'Fockel M, Holtmann J, Meyer J. Semi-automatic establishment and maintenance
of valid traceability in automotive development processes. In: 2012 Second
International Workshop on Software Engineering for Embedded Systems (SEES).
; 2012. doi:10.1109/sees.2012.6225489'
apa: Fockel, M., Holtmann, J., & Meyer, J. (2012). Semi-automatic establishment
and maintenance of valid traceability in automotive development processes. 2012
Second International Workshop on Software Engineering for Embedded Systems (SEES).
https://doi.org/10.1109/sees.2012.6225489
bibtex: '@inproceedings{Fockel_Holtmann_Meyer_2012, title={Semi-automatic establishment
and maintenance of valid traceability in automotive development processes}, DOI={10.1109/sees.2012.6225489},
booktitle={2012 Second International Workshop on Software Engineering for Embedded
Systems (SEES)}, author={Fockel, Markus and Holtmann, Jörg and Meyer, Jan}, year={2012}
}'
chicago: Fockel, Markus, Jörg Holtmann, and Jan Meyer. “Semi-Automatic Establishment
and Maintenance of Valid Traceability in Automotive Development Processes.” In
2012 Second International Workshop on Software Engineering for Embedded Systems
(SEES), 2012. https://doi.org/10.1109/sees.2012.6225489.
ieee: 'M. Fockel, J. Holtmann, and J. Meyer, “Semi-automatic establishment and maintenance
of valid traceability in automotive development processes,” 2012, doi: 10.1109/sees.2012.6225489.'
mla: Fockel, Markus, et al. “Semi-Automatic Establishment and Maintenance of Valid
Traceability in Automotive Development Processes.” 2012 Second International
Workshop on Software Engineering for Embedded Systems (SEES), 2012, doi:10.1109/sees.2012.6225489.
short: 'M. Fockel, J. Holtmann, J. Meyer, in: 2012 Second International Workshop
on Software Engineering for Embedded Systems (SEES), 2012.'
date_created: 2021-01-13T13:12:50Z
date_updated: 2022-01-06T06:54:42Z
department:
- _id: '76'
- _id: '241'
- _id: '662'
doi: 10.1109/sees.2012.6225489
language:
- iso: eng
publication: 2012 Second International Workshop on Software Engineering for Embedded
Systems (SEES)
publication_identifier:
isbn:
- '9781467318532'
- '9781467318525'
publication_status: published
status: public
title: Semi-automatic establishment and maintenance of valid traceability in automotive
development processes
type: conference
user_id: '5786'
year: '2012'
...
---
_id: '20914'
abstract:
- lang: eng
text: This chapter summarizes the application and evaluation of the SPES engineering
methodology in the automotive domain. After introducing the particular domain
characteristics, we state some research questions that we have investigated. Some
of the activities that address these research questions are presented in detail.
We conclude that the SPES engineering methodology is a good basis for the development
of automotive systems, but could be further refined to fit the particular needs
of the domain.
author:
- first_name: Markus
full_name: Fockel, Markus
id: '8472'
last_name: Fockel
orcid: 0000-0002-1269-0702
- first_name: Peter
full_name: Heidl, Peter
last_name: Heidl
- first_name: Jens
full_name: Höfflinger, Jens
last_name: Höfflinger
- first_name: Harald
full_name: Hönninger, Harald
last_name: Hönninger
- first_name: Jörg
full_name: Holtmann, Jörg
id: '3875'
last_name: Holtmann
orcid: 0000-0001-6141-4571
- first_name: Wilfried
full_name: Horn, Wilfried
last_name: Horn
- first_name: Jan
full_name: Meyer, Jan
last_name: Meyer
- first_name: Matthias
full_name: Meyer, Matthias
id: '683'
last_name: Meyer
- first_name: Jörg
full_name: Schäuffele, Jörg
last_name: Schäuffele
citation:
ama: 'Fockel M, Heidl P, Höfflinger J, et al. Application and Evaluation in the
Automotive Domain. In: Model-Based Engineering of Embedded Systems. ; 2012.
doi:10.1007/978-3-642-34614-9_12'
apa: Fockel, M., Heidl, P., Höfflinger, J., Hönninger, H., Holtmann, J., Horn, W.,
Meyer, J., Meyer, M., & Schäuffele, J. (2012). Application and Evaluation
in the Automotive Domain. In Model-Based Engineering of Embedded Systems.
https://doi.org/10.1007/978-3-642-34614-9_12
bibtex: '@inbook{Fockel_Heidl_Höfflinger_Hönninger_Holtmann_Horn_Meyer_Meyer_Schäuffele_2012,
place={Berlin, Heidelberg}, title={Application and Evaluation in the Automotive
Domain}, DOI={10.1007/978-3-642-34614-9_12},
booktitle={Model-Based Engineering of Embedded Systems}, author={Fockel, Markus
and Heidl, Peter and Höfflinger, Jens and Hönninger, Harald and Holtmann, Jörg
and Horn, Wilfried and Meyer, Jan and Meyer, Matthias and Schäuffele, Jörg}, year={2012}
}'
chicago: Fockel, Markus, Peter Heidl, Jens Höfflinger, Harald Hönninger, Jörg Holtmann,
Wilfried Horn, Jan Meyer, Matthias Meyer, and Jörg Schäuffele. “Application and
Evaluation in the Automotive Domain.” In Model-Based Engineering of Embedded
Systems. Berlin, Heidelberg, 2012. https://doi.org/10.1007/978-3-642-34614-9_12.
ieee: M. Fockel et al., “Application and Evaluation in the Automotive Domain,”
in Model-Based Engineering of Embedded Systems, Berlin, Heidelberg, 2012.
mla: Fockel, Markus, et al. “Application and Evaluation in the Automotive Domain.”
Model-Based Engineering of Embedded Systems, 2012, doi:10.1007/978-3-642-34614-9_12.
short: 'M. Fockel, P. Heidl, J. Höfflinger, H. Hönninger, J. Holtmann, W. Horn,
J. Meyer, M. Meyer, J. Schäuffele, in: Model-Based Engineering of Embedded Systems,
Berlin, Heidelberg, 2012.'
date_created: 2021-01-12T14:21:35Z
date_updated: 2022-01-06T06:54:41Z
department:
- _id: '76'
- _id: '241'
- _id: '662'
doi: 10.1007/978-3-642-34614-9_12
language:
- iso: eng
place: Berlin, Heidelberg
publication: Model-Based Engineering of Embedded Systems
publication_identifier:
isbn:
- '9783642346132'
- '9783642346149'
publication_status: published
status: public
title: Application and Evaluation in the Automotive Domain
type: book_chapter
user_id: '5786'
year: '2012'
...
---
_id: '630'
abstract:
- lang: eng
text: Maintaining software systems requires up-to-date models of these systems to
systematically plan, analyse and execute the necessary reengineering steps. Often,
no or only outdated models of such systems exist. Thus, a reverse engineering
step is needed that recovers the system’s components, subsystems and connectors.
However, reverse engineering methods are severely impacted by design deficiencies
in the system’s code base, e.g., they lead to wrong component structures. Several
approaches exist today for the reverse engineering of component-based systems,
however, none of them explicitly integrates a systematic design deficiency removal
into the process to improve the quality of the reverse engineered architecture.
Therefore, in our Archimetrix approach, we propose to regard the most relevant
deficiencies with respect to the reverse engineered component-based architecture
and support reengineers by presenting the architectural consequences of removing
a given deficiency. We validate our approach on the Common Component Modeling
Example and show that we are able to identify relevant deficiencies and that their
removal leads to an improved reengineered architecture.
author:
- first_name: Marie Christin
full_name: Platenius, Marie Christin
last_name: Platenius
- first_name: Markus
full_name: von Detten, Markus
last_name: von Detten
- first_name: Steffen
full_name: Becker, Steffen
last_name: Becker
citation:
ama: 'Platenius MC, von Detten M, Becker S. Archimetrix: Improved Software Architecture
Recovery in the Presence of Design Deficiencies. In: Proceedings of the 16th
European Conference on Software Maintenance and Reengineering (CSMR). ; 2012:255-264.
doi:10.1109/CSMR.2012.33'
apa: 'Platenius, M. C., von Detten, M., & Becker, S. (2012). Archimetrix: Improved
Software Architecture Recovery in the Presence of Design Deficiencies. In Proceedings
of the 16th European Conference on Software Maintenance and Reengineering (CSMR)
(pp. 255–264). https://doi.org/10.1109/CSMR.2012.33'
bibtex: '@inproceedings{Platenius_von Detten_Becker_2012, title={Archimetrix: Improved
Software Architecture Recovery in the Presence of Design Deficiencies}, DOI={10.1109/CSMR.2012.33}, booktitle={Proceedings
of the 16th European Conference on Software Maintenance and Reengineering (CSMR)},
author={Platenius, Marie Christin and von Detten, Markus and Becker, Steffen},
year={2012}, pages={255–264} }'
chicago: 'Platenius, Marie Christin, Markus von Detten, and Steffen Becker. “Archimetrix:
Improved Software Architecture Recovery in the Presence of Design Deficiencies.”
In Proceedings of the 16th European Conference on Software Maintenance and
Reengineering (CSMR), 255–64, 2012. https://doi.org/10.1109/CSMR.2012.33.'
ieee: 'M. C. Platenius, M. von Detten, and S. Becker, “Archimetrix: Improved Software
Architecture Recovery in the Presence of Design Deficiencies,” in Proceedings
of the 16th European Conference on Software Maintenance and Reengineering (CSMR),
2012, pp. 255–264.'
mla: 'Platenius, Marie Christin, et al. “Archimetrix: Improved Software Architecture
Recovery in the Presence of Design Deficiencies.” Proceedings of the 16th European
Conference on Software Maintenance and Reengineering (CSMR), 2012, pp. 255–64,
doi:10.1109/CSMR.2012.33.'
short: 'M.C. Platenius, M. von Detten, S. Becker, in: Proceedings of the 16th European
Conference on Software Maintenance and Reengineering (CSMR), 2012, pp. 255–264.'
date_created: 2017-10-17T12:42:54Z
date_updated: 2022-01-06T07:03:00Z
ddc:
- '040'
department:
- _id: '76'
doi: 10.1109/CSMR.2012.33
file:
- access_level: closed
content_type: application/pdf
creator: florida
date_created: 2018-03-15T06:37:13Z
date_updated: 2018-03-15T06:37:13Z
file_id: '1236'
file_name: 630-CSMR2012-PlateniusDettenBecker.pdf
file_size: 723739
relation: main_file
success: 1
file_date_updated: 2018-03-15T06:37:13Z
has_accepted_license: '1'
language:
- iso: eng
page: 255-264
project:
- _id: '1'
name: SFB 901
- _id: '9'
name: SFB 901 - Subprojekt B1
- _id: '3'
name: SFB 901 - Project Area B
publication: Proceedings of the 16th European Conference on Software Maintenance and
Reengineering (CSMR)
status: public
title: 'Archimetrix: Improved Software Architecture Recovery in the Presence of Design
Deficiencies'
type: conference
user_id: '477'
year: '2012'
...
---
_id: '5183'
author:
- first_name: Eric
full_name: Bodden, Eric
id: '59256'
last_name: Bodden
orcid: 0000-0003-3470-3647
- first_name: Patrick
full_name: Lam, Patrick
last_name: Lam
- first_name: Laurie
full_name: Hendren, Laurie
last_name: Hendren
citation:
ama: Bodden E, Lam P, Hendren L. Partially Evaluating Finite-State Runtime Monitors
Ahead of Time. ACM Transactions on Programming Languages and Systems. 2012;34(2):1-52.
doi:10.1145/2220365.2220366
apa: Bodden, E., Lam, P., & Hendren, L. (2012). Partially Evaluating Finite-State
Runtime Monitors Ahead of Time. ACM Transactions on Programming Languages and
Systems, 34(2), 1–52. https://doi.org/10.1145/2220365.2220366
bibtex: '@article{Bodden_Lam_Hendren_2012, title={Partially Evaluating Finite-State
Runtime Monitors Ahead of Time}, volume={34}, DOI={10.1145/2220365.2220366},
number={2}, journal={ACM Transactions on Programming Languages and Systems}, publisher={Association
for Computing Machinery (ACM)}, author={Bodden, Eric and Lam, Patrick and Hendren,
Laurie}, year={2012}, pages={1–52} }'
chicago: 'Bodden, Eric, Patrick Lam, and Laurie Hendren. “Partially Evaluating Finite-State
Runtime Monitors Ahead of Time.” ACM Transactions on Programming Languages
and Systems 34, no. 2 (2012): 1–52. https://doi.org/10.1145/2220365.2220366.'
ieee: E. Bodden, P. Lam, and L. Hendren, “Partially Evaluating Finite-State Runtime
Monitors Ahead of Time,” ACM Transactions on Programming Languages and Systems,
vol. 34, no. 2, pp. 1–52, 2012.
mla: Bodden, Eric, et al. “Partially Evaluating Finite-State Runtime Monitors Ahead
of Time.” ACM Transactions on Programming Languages and Systems, vol. 34,
no. 2, Association for Computing Machinery (ACM), 2012, pp. 1–52, doi:10.1145/2220365.2220366.
short: E. Bodden, P. Lam, L. Hendren, ACM Transactions on Programming Languages
and Systems 34 (2012) 1–52.
date_created: 2018-10-31T10:43:13Z
date_updated: 2022-01-06T07:01:41Z
ddc:
- '000'
department:
- _id: '76'
doi: 10.1145/2220365.2220366
extern: '1'
file:
- access_level: closed
content_type: application/pdf
creator: ups
date_created: 2018-11-02T15:42:24Z
date_updated: 2018-11-02T15:42:24Z
file_id: '5310'
file_name: a7-bodden.pdf
file_size: 2280938
relation: main_file
success: 1
file_date_updated: 2018-11-02T15:42:24Z
has_accepted_license: '1'
intvolume: ' 34'
issue: '2'
language:
- iso: eng
main_file_link:
- url: http://www.bodden.de/pubs/blh12partially.pdf
page: 1-52
project:
- _id: '1'
name: SFB 901
- _id: '3'
name: SFB 901 - Project Area B
- _id: '12'
name: SFB 901 - Subproject B4
publication: ACM Transactions on Programming Languages and Systems
publication_identifier:
issn:
- 0164-0925
publication_status: published
publisher: Association for Computing Machinery (ACM)
status: public
title: Partially Evaluating Finite-State Runtime Monitors Ahead of Time
type: journal_article
user_id: '477'
volume: 34
year: '2012'
...