---
_id: '2331'
abstract:
- lang: eng
text: A user generally writes software requirements in ambiguous and incomplete
form by using natural language; therefore, a software developer may have difficulty
in clearly understanding what the meanings are. To solve this problem with automation,
we propose a classifier for semantic annotation with manually pre-defined semantic
categories. To improve our classifier, we carefully designed syntactic features
extracted by constituency and dependency parsers. Even with a small dataset and
a large number of classes, our proposed classifier records an accuracy of 0.75,
which outperforms the previous model, REaCT.
article_type: original
author:
- first_name: 'Yeongsu '
full_name: 'Kim, Yeongsu '
last_name: Kim
- first_name: Seungwoo
full_name: Lee, Seungwoo
last_name: Lee
- first_name: Markus
full_name: Dollmann, Markus
id: '27578'
last_name: Dollmann
- first_name: Michaela
full_name: Geierhos, Michaela
id: '42496'
last_name: Geierhos
orcid: 0000-0002-8180-5606
citation:
ama: Kim Y, Lee S, Dollmann M, Geierhos M. Improving Classifiers for Semantic Annotation
of Software Requirements with Elaborate Syntactic Structure. International
Journal of Advanced Science and Technology. 2018;112:123-136. doi:10.14257/ijast.2018.112.12
apa: Kim, Y., Lee, S., Dollmann, M., & Geierhos, M. (2018). Improving Classifiers
for Semantic Annotation of Software Requirements with Elaborate Syntactic Structure.
International Journal of Advanced Science and Technology, 112, 123–136.
https://doi.org/10.14257/ijast.2018.112.12
bibtex: '@article{Kim_Lee_Dollmann_Geierhos_2018, title={Improving Classifiers for
Semantic Annotation of Software Requirements with Elaborate Syntactic Structure},
volume={112}, DOI={10.14257/ijast.2018.112.12},
journal={International Journal of Advanced Science and Technology}, publisher={SERSC
Australia}, author={Kim, Yeongsu and Lee, Seungwoo and Dollmann, Markus and Geierhos,
Michaela}, year={2018}, pages={123–136} }'
chicago: 'Kim, Yeongsu , Seungwoo Lee, Markus Dollmann, and Michaela Geierhos. “Improving
Classifiers for Semantic Annotation of Software Requirements with Elaborate Syntactic
Structure.” International Journal of Advanced Science and Technology 112
(2018): 123–36. https://doi.org/10.14257/ijast.2018.112.12.'
ieee: Y. Kim, S. Lee, M. Dollmann, and M. Geierhos, “Improving Classifiers for Semantic
Annotation of Software Requirements with Elaborate Syntactic Structure,” International
Journal of Advanced Science and Technology, vol. 112, pp. 123–136, 2018.
mla: Kim, Yeongsu, et al. “Improving Classifiers for Semantic Annotation of Software
Requirements with Elaborate Syntactic Structure.” International Journal of
Advanced Science and Technology, vol. 112, SERSC Australia, 2018, pp. 123–36,
doi:10.14257/ijast.2018.112.12.
short: Y. Kim, S. Lee, M. Dollmann, M. Geierhos, International Journal of Advanced
Science and Technology 112 (2018) 123–136.
date_created: 2018-04-13T09:19:22Z
date_updated: 2022-01-06T06:55:49Z
ddc:
- '000'
department:
- _id: '36'
- _id: '1'
- _id: '579'
doi: 10.14257/ijast.2018.112.12
file:
- access_level: closed
content_type: application/pdf
creator: ups
date_created: 2018-11-02T15:16:29Z
date_updated: 2018-11-02T15:16:29Z
file_id: '5297'
file_name: 12.pdf
file_size: 586968
relation: main_file
success: 1
file_date_updated: 2018-11-02T15:16:29Z
has_accepted_license: '1'
intvolume: ' 112'
keyword:
- Software Engineering
- Natural Language Processing
- Semantic Annotation
- Machine Learning
- Feature Engineering
- Syntactic Structure
language:
- iso: eng
page: 123-136
project:
- _id: '1'
name: SFB 901
- _id: '3'
name: SFB 901 - Project Area B
- _id: '9'
name: SFB 901 - Subproject B1
publication: International Journal of Advanced Science and Technology
publication_identifier:
eissn:
- 2207-6360
issn:
- 2005-4238
publication_status: published
publisher: SERSC Australia
quality_controlled: '1'
status: public
title: Improving Classifiers for Semantic Annotation of Software Requirements with
Elaborate Syntactic Structure
type: journal_article
user_id: '477'
volume: 112
year: '2018'
...
---
_id: '5693'
author:
- first_name: Helena
full_name: Graf, Helena
id: '52640'
last_name: Graf
citation:
ama: Graf H. Ranking of Classification Algorithms in AutoML. Universität
Paderborn; 2018.
apa: Graf, H. (2018). Ranking of Classification Algorithms in AutoML. Universität
Paderborn.
bibtex: '@book{Graf_2018, title={Ranking of Classification Algorithms in AutoML},
publisher={Universität Paderborn}, author={Graf, Helena}, year={2018} }'
chicago: Graf, Helena. Ranking of Classification Algorithms in AutoML. Universität
Paderborn, 2018.
ieee: H. Graf, Ranking of Classification Algorithms in AutoML. Universität
Paderborn, 2018.
mla: Graf, Helena. Ranking of Classification Algorithms in AutoML. Universität
Paderborn, 2018.
short: H. Graf, Ranking of Classification Algorithms in AutoML, Universität Paderborn,
2018.
date_created: 2018-11-15T08:06:41Z
date_updated: 2022-01-06T07:02:35Z
department:
- _id: '355'
language:
- iso: eng
project:
- _id: '1'
name: SFB 901
- _id: '3'
name: SFB 901 - Project Area B
- _id: '10'
name: SFB 901 - Subproject B2
publisher: Universität Paderborn
status: public
supervisor:
- first_name: Eyke
full_name: Hüllermeier, Eyke
id: '48129'
last_name: Hüllermeier
title: Ranking of Classification Algorithms in AutoML
type: bachelorsthesis
user_id: '33176'
year: '2018'
...
---
_id: '5774'
abstract:
- lang: eng
text: Information flow analysis investigates the flow of data in applications, checking
in particular for flows from private sources to public sinks. Flow- and path-sensitive
analyses are, however, often too costly to be performed every time a security-critical
application is run. In this paper, we propose a variant of proof carrying code
for information flow security. To this end, we develop information flow (IF) certificates
which get attached to programs as well as a method for IF certificate validation.
We prove soundness of our technique, i.e., show it to be tamper-free. The technique
is implemented within the program analysis tool CPAchecker. Our experiments confirm
that the use of certificates pays off for costly analysis runs.
author:
- first_name: Manuel
full_name: Töws, Manuel
id: '11315'
last_name: Töws
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'Töws M, Wehrheim H. Information Flow Certificates. In: Theoretical Aspects
of Computing – ICTAC 2018. Cham: Springer International Publishing; 2018:435-454.
doi:10.1007/978-3-030-02508-3_23'
apa: 'Töws, M., & Wehrheim, H. (2018). Information Flow Certificates. In Theoretical
Aspects of Computing – ICTAC 2018 (pp. 435–454). Cham: Springer International
Publishing. https://doi.org/10.1007/978-3-030-02508-3_23'
bibtex: '@inproceedings{Töws_Wehrheim_2018, place={Cham}, title={Information Flow
Certificates}, DOI={10.1007/978-3-030-02508-3_23},
booktitle={Theoretical Aspects of Computing – ICTAC 2018}, publisher={Springer
International Publishing}, author={Töws, Manuel and Wehrheim, Heike}, year={2018},
pages={435–454} }'
chicago: 'Töws, Manuel, and Heike Wehrheim. “Information Flow Certificates.” In
Theoretical Aspects of Computing – ICTAC 2018, 435–54. Cham: Springer International
Publishing, 2018. https://doi.org/10.1007/978-3-030-02508-3_23.'
ieee: M. Töws and H. Wehrheim, “Information Flow Certificates,” in Theoretical
Aspects of Computing – ICTAC 2018, 2018, pp. 435–454.
mla: Töws, Manuel, and Heike Wehrheim. “Information Flow Certificates.” Theoretical
Aspects of Computing – ICTAC 2018, Springer International Publishing, 2018,
pp. 435–54, doi:10.1007/978-3-030-02508-3_23.
short: 'M. Töws, H. Wehrheim, in: Theoretical Aspects of Computing – ICTAC 2018,
Springer International Publishing, Cham, 2018, pp. 435–454.'
date_created: 2018-11-21T09:51:37Z
date_updated: 2022-01-06T07:02:40Z
ddc:
- '000'
department:
- _id: '77'
doi: 10.1007/978-3-030-02508-3_23
file:
- access_level: closed
content_type: application/pdf
creator: mtoews
date_created: 2018-11-26T15:11:32Z
date_updated: 2018-11-26T15:11:32Z
file_id: '5837'
file_name: Töws-Wehrheim2018_Chapter_InformationFlowCertificates.pdf
file_size: 518016
relation: main_file
success: 1
file_date_updated: 2018-11-26T15:11:32Z
has_accepted_license: '1'
language:
- iso: eng
page: 435-454
place: Cham
project:
- _id: '1'
name: SFB 901
- _id: '3'
name: SFB 901 - Project Area B
- _id: '12'
name: SFB 901 - Subproject B4
publication: Theoretical Aspects of Computing – ICTAC 2018
publication_identifier:
isbn:
- '9783030025076'
- '9783030025083'
issn:
- 0302-9743
- 1611-3349
publication_status: published
publisher: Springer International Publishing
status: public
title: Information Flow Certificates
type: conference
user_id: '477'
year: '2018'
...
---
_id: '5936'
author:
- first_name: Manuel
full_name: Scheibl, Manuel
last_name: Scheibl
citation:
ama: Scheibl M. Learning about Learning Curves from Dataset Properties. Universität
Paderborn; 2018.
apa: Scheibl, M. (2018). Learning about learning curves from dataset properties.
Universität Paderborn.
bibtex: '@book{Scheibl_2018, title={Learning about learning curves from dataset
properties}, publisher={Universität Paderborn}, author={Scheibl, Manuel}, year={2018}
}'
chicago: Scheibl, Manuel. Learning about Learning Curves from Dataset Properties.
Universität Paderborn, 2018.
ieee: M. Scheibl, Learning about learning curves from dataset properties.
Universität Paderborn, 2018.
mla: Scheibl, Manuel. Learning about Learning Curves from Dataset Properties.
Universität Paderborn, 2018.
short: M. Scheibl, Learning about Learning Curves from Dataset Properties, Universität
Paderborn, 2018.
date_created: 2018-11-28T10:29:53Z
date_updated: 2022-01-06T07:02:47Z
department:
- _id: '355'
language:
- iso: eng
project:
- _id: '1'
name: SFB 901
- _id: '3'
name: SFB 901 - Project Area B
- _id: '10'
name: SFB 901 - Subproject B2
publisher: Universität Paderborn
status: public
supervisor:
- first_name: Eyke
full_name: Hüllermeier, Eyke
id: '48129'
last_name: Hüllermeier
title: Learning about learning curves from dataset properties
type: bachelorsthesis
user_id: '477'
year: '2018'
...
---
_id: '6423'
author:
- first_name: Dirk
full_name: Schäfer, Dirk
last_name: Schäfer
- first_name: Eyke
full_name: Hüllermeier, Eyke
id: '48129'
last_name: Hüllermeier
citation:
ama: 'Schäfer D, Hüllermeier E. Preference-Based Reinforcement Learning Using Dyad
Ranking. In: Discovery Science. Cham: Springer International Publishing;
2018:161-175. doi:10.1007/978-3-030-01771-2_11'
apa: 'Schäfer, D., & Hüllermeier, E. (2018). Preference-Based Reinforcement
Learning Using Dyad Ranking. In Discovery Science (pp. 161–175). Cham:
Springer International Publishing. https://doi.org/10.1007/978-3-030-01771-2_11'
bibtex: '@inbook{Schäfer_Hüllermeier_2018, place={Cham}, title={Preference-Based
Reinforcement Learning Using Dyad Ranking}, DOI={10.1007/978-3-030-01771-2_11},
booktitle={Discovery Science}, publisher={Springer International Publishing},
author={Schäfer, Dirk and Hüllermeier, Eyke}, year={2018}, pages={161–175} }'
chicago: 'Schäfer, Dirk, and Eyke Hüllermeier. “Preference-Based Reinforcement Learning
Using Dyad Ranking.” In Discovery Science, 161–75. Cham: Springer International
Publishing, 2018. https://doi.org/10.1007/978-3-030-01771-2_11.'
ieee: 'D. Schäfer and E. Hüllermeier, “Preference-Based Reinforcement Learning Using
Dyad Ranking,” in Discovery Science, Cham: Springer International Publishing,
2018, pp. 161–175.'
mla: Schäfer, Dirk, and Eyke Hüllermeier. “Preference-Based Reinforcement Learning
Using Dyad Ranking.” Discovery Science, Springer International Publishing,
2018, pp. 161–75, doi:10.1007/978-3-030-01771-2_11.
short: 'D. Schäfer, E. Hüllermeier, in: Discovery Science, Springer International
Publishing, Cham, 2018, pp. 161–175.'
date_created: 2018-12-20T15:52:03Z
date_updated: 2022-01-06T07:03:04Z
ddc:
- '000'
department:
- _id: '355'
doi: 10.1007/978-3-030-01771-2_11
file:
- access_level: closed
content_type: application/pdf
creator: ups
date_created: 2019-01-11T11:03:50Z
date_updated: 2019-01-11T11:03:50Z
file_id: '6623'
file_name: Schäfer-Hüllermeier2018_Chapter_Preference-BasedReinforcementL.pdf
file_size: 458972
relation: main_file
success: 1
file_date_updated: 2019-01-11T11:03:50Z
has_accepted_license: '1'
language:
- iso: eng
page: 161-175
place: Cham
project:
- _id: '1'
name: SFB 901
- _id: '3'
name: SFB 901 - Project Area B
- _id: '10'
name: SFB 901 - Subproject B2
publication: Discovery Science
publication_identifier:
isbn:
- '9783030017705'
- '9783030017712'
issn:
- 0302-9743
- 1611-3349
publication_status: published
publisher: Springer International Publishing
status: public
title: Preference-Based Reinforcement Learning Using Dyad Ranking
type: book_chapter
user_id: '49109'
year: '2018'
...
---
_id: '4339'
abstract:
- lang: eng
text: 'On-The-Fly Computing is the vision of covering software needs of end users
by fully-automatic compositions of existing software services. End users will
receive so-called service compositions tailored to their very individual needs,
based on natural language software descriptions. This everyday language may contain
inaccuracies and incompleteness, which are well-known challenges in requirements
engineering. In addition to existing approaches that try to automatically identify
and correct these deficits, there are also new trends to involve users more in
the elaboration and refinement process. In this paper, we present the relevant
state of the art in the field of automated detection and compensation of multiple
inaccuracies in natural language service descriptions and name open challenges
needed to be tackled in NL-based software service composition. '
author:
- first_name: Frederik Simon
full_name: Bäumer, Frederik Simon
id: '38837'
last_name: Bäumer
- first_name: Michaela
full_name: Geierhos, Michaela
id: '42496'
last_name: Geierhos
orcid: 0000-0002-8180-5606
citation:
ama: 'Bäumer FS, Geierhos M. NLP in OTF Computing: Current Approaches and Open Challenges.
In: Damaševičius R, Vasiljevienė G, eds. Proceedings of the 24th International
Conference on Information and Software Technologies (ICIST 2018). Vol 920.
Communications in Computer and Information Science. Cham, Switzerland: Springer;
2018:559-570. doi:10.1007/978-3-319-99972-2_46'
apa: 'Bäumer, F. S., & Geierhos, M. (2018). NLP in OTF Computing: Current Approaches
and Open Challenges. In R. Damaševičius & G. Vasiljevienė (Eds.), Proceedings
of the 24th International Conference on Information and Software Technologies
(ICIST 2018) (Vol. 920, pp. 559–570). Cham, Switzerland: Springer. https://doi.org/10.1007/978-3-319-99972-2_46'
bibtex: '@inproceedings{Bäumer_Geierhos_2018, place={Cham, Switzerland}, series={Communications
in Computer and Information Science}, title={NLP in OTF Computing: Current Approaches
and Open Challenges}, volume={920}, DOI={10.1007/978-3-319-99972-2_46},
booktitle={Proceedings of the 24th International Conference on Information and
Software Technologies (ICIST 2018)}, publisher={Springer}, author={Bäumer, Frederik
Simon and Geierhos, Michaela}, editor={Damaševičius, Robertas and Vasiljevienė,
GiedrėEditors}, year={2018}, pages={559–570}, collection={Communications in Computer
and Information Science} }'
chicago: 'Bäumer, Frederik Simon, and Michaela Geierhos. “NLP in OTF Computing:
Current Approaches and Open Challenges.” In Proceedings of the 24th International
Conference on Information and Software Technologies (ICIST 2018), edited by
Robertas Damaševičius and Giedrė Vasiljevienė, 920:559–70. Communications in Computer
and Information Science. Cham, Switzerland: Springer, 2018. https://doi.org/10.1007/978-3-319-99972-2_46.'
ieee: 'F. S. Bäumer and M. Geierhos, “NLP in OTF Computing: Current Approaches and
Open Challenges,” in Proceedings of the 24th International Conference on Information
and Software Technologies (ICIST 2018), Vilnius, Lithuania, 2018, vol. 920,
pp. 559–570.'
mla: 'Bäumer, Frederik Simon, and Michaela Geierhos. “NLP in OTF Computing: Current
Approaches and Open Challenges.” Proceedings of the 24th International Conference
on Information and Software Technologies (ICIST 2018), edited by Robertas
Damaševičius and Giedrė Vasiljevienė, vol. 920, Springer, 2018, pp. 559–70, doi:10.1007/978-3-319-99972-2_46.'
short: 'F.S. Bäumer, M. Geierhos, in: R. Damaševičius, G. Vasiljevienė (Eds.), Proceedings
of the 24th International Conference on Information and Software Technologies
(ICIST 2018), Springer, Cham, Switzerland, 2018, pp. 559–570.'
conference:
end_date: 2018-10-06
location: Vilnius, Lithuania
name: 24th International Conference on Information and Software Technologies (ICIST
2018)
start_date: 2018-10-04
date_created: 2018-09-01T08:52:36Z
date_updated: 2022-01-06T07:00:57Z
ddc:
- '004'
department:
- _id: '36'
- _id: '1'
- _id: '579'
doi: 10.1007/978-3-319-99972-2_46
editor:
- first_name: Robertas
full_name: Damaševičius, Robertas
last_name: Damaševičius
- first_name: Giedrė
full_name: Vasiljevienė, Giedrė
last_name: Vasiljevienė
file:
- access_level: closed
content_type: application/pdf
creator: fbaeumer
date_created: 2019-01-11T11:36:10Z
date_updated: 2019-01-11T11:36:10Z
file_id: '6624'
file_name: baeumer-4315.pdf
file_size: 1053017
relation: main_file
success: 1
file_date_updated: 2019-01-11T11:36:10Z
has_accepted_license: '1'
intvolume: ' 920'
keyword:
- Inaccuracy detection
- Natural language software requirements
language:
- iso: eng
page: 559-570
place: Cham, Switzerland
project:
- _id: '1'
name: SFB 901
- _id: '3'
name: SFB 901 - Project Area B
- _id: '9'
name: SFB 901 - Subproject B1
publication: Proceedings of the 24th International Conference on Information and Software
Technologies (ICIST 2018)
publication_identifier:
isbn:
- '9783319999715'
- '9783319999722'
issn:
- 1865-0929
- 1865-0937
publication_status: published
publisher: Springer
quality_controlled: '1'
series_title: Communications in Computer and Information Science
status: public
title: 'NLP in OTF Computing: Current Approaches and Open Challenges'
type: conference
user_id: '38837'
volume: 920
year: '2018'
...
---
_id: '44'
abstract:
- lang: eng
text: Natural language software requirements descriptions enable end users to formulate
their wishes and expectations for a future software product without much prior
knowledge in requirements engineering. However, these descriptions are susceptible
to linguistic inaccuracies such as ambiguities and incompleteness that can harm
the development process. There is a number of software solutions that can detect
deficits in requirements descriptions and partially solve them, but they are often
hard to use and not suitable for end users. For this reason, we develop a software
system that helps end-users to create unambiguous and complete requirements descriptions
by combining existing expert tools and controlling them using automatic compensation
strategies. In order to recognize the necessity of individual compensation methods
in the descriptions, we have developed linguistic indicators, which we present
in this paper. Based on these indicators, the whole text analysis pipeline is
ad-hoc configured and thus adapted to the individual circumstances of a requirements
description.
author:
- first_name: Frederik Simon
full_name: Bäumer, Frederik Simon
id: '38837'
last_name: Bäumer
- first_name: Michaela
full_name: Geierhos, Michaela
id: '42496'
last_name: Geierhos
orcid: 0000-0002-8180-5606
citation:
ama: 'Bäumer FS, Geierhos M. Flexible Ambiguity Resolution and Incompleteness Detection
in Requirements Descriptions via an Indicator-based Configuration of Text Analysis
Pipelines. In: Proceedings of the 51st Hawaii International Conference on System
Sciences. ; 2018:5746-5755. doi:10125/50609'
apa: Bäumer, F. S., & Geierhos, M. (2018). Flexible Ambiguity Resolution and
Incompleteness Detection in Requirements Descriptions via an Indicator-based Configuration
of Text Analysis Pipelines. In Proceedings of the 51st Hawaii International
Conference on System Sciences (pp. 5746–5755). Big Island, Waikoloa Village.
https://doi.org/10125/50609
bibtex: '@inproceedings{Bäumer_Geierhos_2018, title={Flexible Ambiguity Resolution
and Incompleteness Detection in Requirements Descriptions via an Indicator-based
Configuration of Text Analysis Pipelines}, DOI={10125/50609},
booktitle={Proceedings of the 51st Hawaii International Conference on System Sciences},
author={Bäumer, Frederik Simon and Geierhos, Michaela}, year={2018}, pages={5746–5755}
}'
chicago: Bäumer, Frederik Simon, and Michaela Geierhos. “Flexible Ambiguity Resolution
and Incompleteness Detection in Requirements Descriptions via an Indicator-Based
Configuration of Text Analysis Pipelines.” In Proceedings of the 51st Hawaii
International Conference on System Sciences, 5746–55, 2018. https://doi.org/10125/50609.
ieee: F. S. Bäumer and M. Geierhos, “Flexible Ambiguity Resolution and Incompleteness
Detection in Requirements Descriptions via an Indicator-based Configuration of
Text Analysis Pipelines,” in Proceedings of the 51st Hawaii International Conference
on System Sciences, Big Island, Waikoloa Village, 2018, pp. 5746–5755.
mla: Bäumer, Frederik Simon, and Michaela Geierhos. “Flexible Ambiguity Resolution
and Incompleteness Detection in Requirements Descriptions via an Indicator-Based
Configuration of Text Analysis Pipelines.” Proceedings of the 51st Hawaii International
Conference on System Sciences, 2018, pp. 5746–55, doi:10125/50609.
short: 'F.S. Bäumer, M. Geierhos, in: Proceedings of the 51st Hawaii International
Conference on System Sciences, 2018, pp. 5746–5755.'
conference:
end_date: 2018-01-06
location: Big Island, Waikoloa Village
name: 51st Hawaii International Conference on System Sciences (HICSS 2018)
start_date: 2018-01-03
date_created: 2017-10-17T12:40:59Z
date_updated: 2022-01-06T07:01:01Z
ddc:
- '000'
department:
- _id: '36'
- _id: '1'
- _id: '579'
doi: 10125/50609
file:
- access_level: closed
content_type: application/pdf
creator: ups
date_created: 2018-11-02T14:32:35Z
date_updated: 2018-11-02T14:32:35Z
file_id: '5274'
file_name: paper0722.pdf
file_size: 753693
relation: main_file
success: 1
file_date_updated: 2018-11-02T14:32:35Z
has_accepted_license: '1'
keyword:
- 'Software Product Lines: Engineering'
- Services
- and Management
- Ambiguities
- Incompleteness
- Natural Language Processing
- Software Requirements
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://scholarspace.manoa.hawaii.edu/bitstream/10125/50609/1/paper0722.pdf
oa: '1'
page: 5746-5755
project:
- _id: '1'
name: SFB 901
- _id: '3'
name: SFB 901 - Project Area B
- _id: '9'
name: SFB 901 - Subproject B1
publication: Proceedings of the 51st Hawaii International Conference on System Sciences
publication_identifier:
isbn:
- 978-0-9981331-1-9
publication_status: published
quality_controlled: '1'
status: public
title: Flexible Ambiguity Resolution and Incompleteness Detection in Requirements
Descriptions via an Indicator-based Configuration of Text Analysis Pipelines
type: conference
user_id: '477'
year: '2018'
...
---
_id: '4999'
author:
- first_name: Felix
full_name: Pauck, Felix
id: '22398'
last_name: Pauck
- first_name: Eric
full_name: Bodden, Eric
id: '59256'
last_name: Bodden
orcid: 0000-0003-3470-3647
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'Pauck F, Bodden E, Wehrheim H. Do Android taint analysis tools keep their
promises? In: Proceedings of the 2018 26th ACM Joint Meeting on European Software
Engineering Conference and Symposium on the Foundations of Software Engineering
- ESEC/FSE 2018. ACM Press; 2018. doi:10.1145/3236024.3236029'
apa: Pauck, F., Bodden, E., & Wehrheim, H. (2018). Do Android taint analysis
tools keep their promises? In Proceedings of the 2018 26th ACM Joint Meeting
on European Software Engineering Conference and Symposium on the Foundations of
Software Engineering - ESEC/FSE 2018. ACM Press. https://doi.org/10.1145/3236024.3236029
bibtex: '@inproceedings{Pauck_Bodden_Wehrheim_2018, title={Do Android taint analysis
tools keep their promises?}, DOI={10.1145/3236024.3236029},
booktitle={Proceedings of the 2018 26th ACM Joint Meeting on European Software
Engineering Conference and Symposium on the Foundations of Software Engineering
- ESEC/FSE 2018}, publisher={ACM Press}, author={Pauck, Felix and Bodden, Eric
and Wehrheim, Heike}, year={2018} }'
chicago: Pauck, Felix, Eric Bodden, and Heike Wehrheim. “Do Android Taint Analysis
Tools Keep Their Promises?” In Proceedings of the 2018 26th ACM Joint Meeting
on European Software Engineering Conference and Symposium on the Foundations of
Software Engineering - ESEC/FSE 2018. ACM Press, 2018. https://doi.org/10.1145/3236024.3236029.
ieee: F. Pauck, E. Bodden, and H. Wehrheim, “Do Android taint analysis tools keep
their promises?,” in Proceedings of the 2018 26th ACM Joint Meeting on European
Software Engineering Conference and Symposium on the Foundations of Software Engineering
- ESEC/FSE 2018, 2018.
mla: Pauck, Felix, et al. “Do Android Taint Analysis Tools Keep Their Promises?”
Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering - ESEC/FSE
2018, ACM Press, 2018, doi:10.1145/3236024.3236029.
short: 'F. Pauck, E. Bodden, H. Wehrheim, in: Proceedings of the 2018 26th ACM Joint
Meeting on European Software Engineering Conference and Symposium on the Foundations
of Software Engineering - ESEC/FSE 2018, ACM Press, 2018.'
date_created: 2018-10-30T08:03:17Z
date_updated: 2022-01-06T07:01:34Z
ddc:
- '004'
department:
- _id: '77'
- _id: '76'
doi: 10.1145/3236024.3236029
file:
- access_level: closed
content_type: application/pdf
creator: ups
date_created: 2018-11-02T13:37:38Z
date_updated: 2018-11-02T13:37:38Z
file_id: '5251'
file_name: fse18main-id76-p.pdf
file_size: 524169
relation: main_file
success: 1
file_date_updated: 2018-11-02T13:37:38Z
has_accepted_license: '1'
language:
- iso: eng
project:
- _id: '3'
name: SFB 901 - Project Area B
- _id: '12'
name: SFB 901 - Subproject B4
- _id: '1'
name: SFB 901
publication: Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering - ESEC/FSE
2018
publication_identifier:
isbn:
- '9781450355735'
publication_status: published
publisher: ACM Press
status: public
title: Do Android taint analysis tools keep their promises?
type: conference
user_id: '477'
year: '2018'
...
---
_id: '5203'
author:
- first_name: Stefan
full_name: Krüger, Stefan
last_name: Krüger
- first_name: Johannes
full_name: Späth, Johannes
last_name: Späth
- first_name: Karim
full_name: Ali, Karim
last_name: Ali
- first_name: Eric
full_name: Bodden, Eric
id: '59256'
last_name: Bodden
orcid: 0000-0003-3470-3647
- first_name: Mira
full_name: Mezini, Mira
last_name: Mezini
citation:
ama: 'Krüger S, Späth J, Ali K, Bodden E, Mezini M. CrySL: An Extensible Approach
to Validating the Correct Usage of Cryptographic APIs. In: European Conference
on Object-Oriented Programming (ECOOP). ; 2018:10:1-10:27.'
apa: 'Krüger, S., Späth, J., Ali, K., Bodden, E., & Mezini, M. (2018). CrySL:
An Extensible Approach to Validating the Correct Usage of Cryptographic APIs.
In European Conference on Object-Oriented Programming (ECOOP) (pp. 10:1-10:27).'
bibtex: '@inproceedings{Krüger_Späth_Ali_Bodden_Mezini_2018, title={CrySL: An Extensible
Approach to Validating the Correct Usage of Cryptographic APIs}, booktitle={European
Conference on Object-Oriented Programming (ECOOP)}, author={Krüger, Stefan and
Späth, Johannes and Ali, Karim and Bodden, Eric and Mezini, Mira}, year={2018},
pages={10:1-10:27} }'
chicago: 'Krüger, Stefan, Johannes Späth, Karim Ali, Eric Bodden, and Mira Mezini.
“CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic
APIs.” In European Conference on Object-Oriented Programming (ECOOP), 10:1-10:27,
2018.'
ieee: 'S. Krüger, J. Späth, K. Ali, E. Bodden, and M. Mezini, “CrySL: An Extensible
Approach to Validating the Correct Usage of Cryptographic APIs,” in European
Conference on Object-Oriented Programming (ECOOP), 2018, pp. 10:1-10:27.'
mla: 'Krüger, Stefan, et al. “CrySL: An Extensible Approach to Validating the Correct
Usage of Cryptographic APIs.” European Conference on Object-Oriented Programming
(ECOOP), 2018, pp. 10:1-10:27.'
short: 'S. Krüger, J. Späth, K. Ali, E. Bodden, M. Mezini, in: European Conference
on Object-Oriented Programming (ECOOP), 2018, pp. 10:1-10:27.'
date_created: 2018-10-31T12:37:29Z
date_updated: 2022-01-06T07:01:44Z
ddc:
- '000'
department:
- _id: '76'
file:
- access_level: closed
content_type: application/pdf
creator: ups
date_created: 2018-11-02T13:51:05Z
date_updated: 2018-11-02T13:51:05Z
file_id: '5255'
file_name: ksa+18crysl.pdf
file_size: 747259
relation: main_file
success: 1
file_date_updated: 2018-11-02T13:51:05Z
has_accepted_license: '1'
keyword:
- ITSECWEBSITE
- CROSSING
language:
- iso: eng
main_file_link:
- url: http://bodden.de/pubs/ksa+18crysl.pdf
page: 10:1-10:27
project:
- _id: '1'
name: SFB 901
- _id: '3'
name: SFB 901 - Project Area B
- _id: '12'
name: SFB 901 - Subproject B4
publication: European Conference on Object-Oriented Programming (ECOOP)
status: public
title: 'CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic
APIs'
type: conference
user_id: '477'
year: '2018'
...
---
_id: '1043'
abstract:
- lang: eng
text: 'Approximate computing (AC) is an emerging paradigm for energy-efficient computation.
The basic idea of AC is to sacrifice high precision for low energy by allowing
hardware to carry out “approximately correct” calculations. This provides a major
challenge for software quality assurance: programs successfully verified to be
correct might be erroneous on approximate hardware. In this letter, we present
a novel approach for determining under what conditions a software verification
result is valid for approximate hardware. To this end, we compute the allowed
tolerances for AC hardware from successful verification runs. More precisely,
we derive a set of constraints which—when met by the AC hardware—guarantees the
verification result to carry over to AC. On the practical side, we furthermore:
1) show how to extract tolerances from verification runs employing predicate abstraction
as verification technology and 2) show how to check such constraints on hardware
designs. We have implemented all techniques, and exemplify them on example C programs
and a number of recently proposed approximate adders.'
author:
- first_name: Tobias
full_name: Isenberg, Tobias
last_name: Isenberg
- first_name: Marie-Christine
full_name: Jakobs, Marie-Christine
last_name: Jakobs
- first_name: Felix
full_name: Pauck, Felix
id: '22398'
last_name: Pauck
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: Isenberg T, Jakobs M-C, Pauck F, Wehrheim H. Validity of Software Verification
Results on Approximate Hardware. IEEE Embedded Systems Letters. 2018:22-25.
doi:10.1109/LES.2017.2758200
apa: Isenberg, T., Jakobs, M.-C., Pauck, F., & Wehrheim, H. (2018). Validity
of Software Verification Results on Approximate Hardware. IEEE Embedded Systems
Letters, 22–25. https://doi.org/10.1109/LES.2017.2758200
bibtex: '@article{Isenberg_Jakobs_Pauck_Wehrheim_2018, title={Validity of Software
Verification Results on Approximate Hardware}, DOI={10.1109/LES.2017.2758200},
journal={IEEE Embedded Systems Letters}, publisher={Institute of Electrical and
Electronics Engineers (IEEE)}, author={Isenberg, Tobias and Jakobs, Marie-Christine
and Pauck, Felix and Wehrheim, Heike}, year={2018}, pages={22–25} }'
chicago: Isenberg, Tobias, Marie-Christine Jakobs, Felix Pauck, and Heike Wehrheim.
“Validity of Software Verification Results on Approximate Hardware.” IEEE Embedded
Systems Letters, 2018, 22–25. https://doi.org/10.1109/LES.2017.2758200.
ieee: T. Isenberg, M.-C. Jakobs, F. Pauck, and H. Wehrheim, “Validity of Software
Verification Results on Approximate Hardware,” IEEE Embedded Systems Letters,
pp. 22–25, 2018.
mla: Isenberg, Tobias, et al. “Validity of Software Verification Results on Approximate
Hardware.” IEEE Embedded Systems Letters, Institute of Electrical and Electronics
Engineers (IEEE), 2018, pp. 22–25, doi:10.1109/LES.2017.2758200.
short: T. Isenberg, M.-C. Jakobs, F. Pauck, H. Wehrheim, IEEE Embedded Systems Letters
(2018) 22–25.
date_created: 2017-12-11T16:11:00Z
date_updated: 2022-01-06T06:50:39Z
ddc:
- '000'
department:
- _id: '77'
doi: 10.1109/LES.2017.2758200
file:
- access_level: closed
content_type: application/pdf
creator: ups
date_created: 2018-11-02T15:27:04Z
date_updated: 2018-11-02T15:27:04Z
file_id: '5303'
file_name: 08053741.pdf
file_size: 523362
relation: main_file
success: 1
file_date_updated: 2018-11-02T15:27:04Z
has_accepted_license: '1'
language:
- iso: eng
page: 22-25
project:
- _id: '1'
name: SFB 901
- _id: '3'
name: SFB 901 - Project Area B
- _id: '12'
name: SFB 901 - Subproject B4
publication: IEEE Embedded Systems Letters
publication_identifier:
issn:
- 1943-0663
- 1943-0671
publication_status: published
publisher: Institute of Electrical and Electronics Engineers (IEEE)
status: public
title: Validity of Software Verification Results on Approximate Hardware
type: journal_article
user_id: '477'
year: '2018'
...
---
_id: '1044'
author:
- first_name: Richard
full_name: Leer, Richard
last_name: Leer
citation:
ama: Leer R. Measuring Performance of a Static Analysis Framework with an Application
to Immutability Analysis. Universität Paderborn; 2018.
apa: Leer, R. (2018). Measuring Performance of a Static Analysis Framework with
an application to Immutability Analysis. Universität Paderborn.
bibtex: '@book{Leer_2018, title={Measuring Performance of a Static Analysis Framework
with an application to Immutability Analysis}, publisher={Universität Paderborn},
author={Leer, Richard}, year={2018} }'
chicago: Leer, Richard. Measuring Performance of a Static Analysis Framework
with an Application to Immutability Analysis. Universität Paderborn, 2018.
ieee: R. Leer, Measuring Performance of a Static Analysis Framework with an application
to Immutability Analysis. Universität Paderborn, 2018.
mla: Leer, Richard. Measuring Performance of a Static Analysis Framework with
an Application to Immutability Analysis. Universität Paderborn, 2018.
short: R. Leer, Measuring Performance of a Static Analysis Framework with an Application
to Immutability Analysis, Universität Paderborn, 2018.
date_created: 2017-12-13T07:52:01Z
date_updated: 2022-01-06T06:50:39Z
ddc:
- '000'
department:
- _id: '76'
file:
- access_level: closed
content_type: application/pdf
creator: florida
date_created: 2018-11-21T06:15:51Z
date_updated: 2018-11-21T06:15:51Z
file_id: '5768'
file_name: ba_leer.pdf
file_size: 1383049
relation: main_file
success: 1
file_date_updated: 2018-11-21T06:15:51Z
has_accepted_license: '1'
language:
- iso: eng
project:
- _id: '1'
name: SFB 901
- _id: '3'
name: SFB 901 - Project Area B
- _id: '12'
name: SFB 901 - Subproject B4
publisher: Universität Paderborn
status: public
supervisor:
- first_name: Eric
full_name: Bodden, Eric
id: '59256'
last_name: Bodden
orcid: 0000-0003-3470-3647
title: Measuring Performance of a Static Analysis Framework with an application to
Immutability Analysis
type: bachelorsthesis
user_id: '15504'
year: '2018'
...
---
_id: '1045'
author:
- first_name: Jan Niclas
full_name: Strüwer, Jan Niclas
last_name: Strüwer
citation:
ama: Strüwer JN. Interactive Data Visualization for Exploded Supergraphs.
Universität Paderborn; 2018.
apa: Strüwer, J. N. (2018). Interactive Data Visualization for Exploded Supergraphs.
Universität Paderborn.
bibtex: '@book{Strüwer_2018, title={Interactive Data Visualization for Exploded
Supergraphs}, publisher={Universität Paderborn}, author={Strüwer, Jan Niclas},
year={2018} }'
chicago: Strüwer, Jan Niclas. Interactive Data Visualization for Exploded Supergraphs.
Universität Paderborn, 2018.
ieee: J. N. Strüwer, Interactive Data Visualization for Exploded Supergraphs.
Universität Paderborn, 2018.
mla: Strüwer, Jan Niclas. Interactive Data Visualization for Exploded Supergraphs.
Universität Paderborn, 2018.
short: J.N. Strüwer, Interactive Data Visualization for Exploded Supergraphs, Universität
Paderborn, 2018.
date_created: 2017-12-13T07:53:49Z
date_updated: 2022-01-06T06:50:40Z
ddc:
- '000'
department:
- _id: '76'
file:
- access_level: closed
content_type: application/pdf
creator: florida
date_created: 2018-11-21T06:14:15Z
date_updated: 2018-11-21T06:14:15Z
file_id: '5767'
file_name: ba_struewer.pdf
file_size: 15839765
relation: main_file
success: 1
file_date_updated: 2018-11-21T06:14:15Z
has_accepted_license: '1'
language:
- iso: eng
project:
- _id: '1'
name: SFB 901
- _id: '3'
name: SFB 901 - Project Area B
- _id: '12'
name: SFB 901 - Subproject B4
publisher: Universität Paderborn
status: public
supervisor:
- first_name: Eric
full_name: Bodden, Eric
id: '59256'
last_name: Bodden
orcid: 0000-0003-3470-3647
title: Interactive Data Visualization for Exploded Supergraphs
type: bachelorsthesis
user_id: '15504'
year: '2018'
...
---
_id: '1096'
abstract:
- lang: eng
text: to appear
author:
- first_name: Dirk
full_name: Beyer, Dirk
last_name: Beyer
- first_name: Marie-Christine
full_name: Jakobs, Marie-Christine
last_name: Jakobs
- first_name: Thomas
full_name: Lemberger, Thomas
last_name: Lemberger
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'Beyer D, Jakobs M-C, Lemberger T, Wehrheim H. Reducer-Based Construction of
Conditional Verifiers. In: Proceedings of the 40th International Conference
on Software Engineering (ICSE). ACM; 2018:1182--1193.'
apa: 'Beyer, D., Jakobs, M.-C., Lemberger, T., & Wehrheim, H. (2018). Reducer-Based
Construction of Conditional Verifiers. In Proceedings of the 40th International
Conference on Software Engineering (ICSE) (pp. 1182--1193). Gothenburg, Sweden:
ACM.'
bibtex: '@inproceedings{Beyer_Jakobs_Lemberger_Wehrheim_2018, title={Reducer-Based
Construction of Conditional Verifiers}, booktitle={Proceedings of the 40th International
Conference on Software Engineering (ICSE)}, publisher={ACM}, author={Beyer, Dirk
and Jakobs, Marie-Christine and Lemberger, Thomas and Wehrheim, Heike}, year={2018},
pages={1182--1193} }'
chicago: Beyer, Dirk, Marie-Christine Jakobs, Thomas Lemberger, and Heike Wehrheim.
“Reducer-Based Construction of Conditional Verifiers.” In Proceedings of the
40th International Conference on Software Engineering (ICSE), 1182--1193.
ACM, 2018.
ieee: D. Beyer, M.-C. Jakobs, T. Lemberger, and H. Wehrheim, “Reducer-Based Construction
of Conditional Verifiers,” in Proceedings of the 40th International Conference
on Software Engineering (ICSE), Gothenburg, Sweden, 2018, pp. 1182--1193.
mla: Beyer, Dirk, et al. “Reducer-Based Construction of Conditional Verifiers.”
Proceedings of the 40th International Conference on Software Engineering (ICSE),
ACM, 2018, pp. 1182--1193.
short: 'D. Beyer, M.-C. Jakobs, T. Lemberger, H. Wehrheim, in: Proceedings of the
40th International Conference on Software Engineering (ICSE), ACM, 2018, pp. 1182--1193.'
conference:
end_date: 2018-06-03
location: Gothenburg, Sweden
name: 40th International Conference on Software Engineering
start_date: 2018-05-27
date_created: 2018-01-08T10:52:51Z
date_updated: 2022-01-06T06:50:54Z
ddc:
- '000'
department:
- _id: '77'
file:
- access_level: closed
content_type: application/pdf
creator: florida
date_created: 2018-11-21T10:50:51Z
date_updated: 2018-11-21T10:50:51Z
file_id: '5783'
file_name: Reducer-Based Construction of Conditional Verifiers.pdf
file_size: 826719
relation: main_file
success: 1
file_date_updated: 2018-11-21T10:50:51Z
has_accepted_license: '1'
language:
- iso: eng
page: 1182--1193
project:
- _id: '1'
name: SFB 901
- _id: '3'
name: SFB 901 - Project Area B
- _id: '12'
name: SFB 901 - Subproject B4
- _id: '85'
name: Kooperative Softwareverifikation
publication: Proceedings of the 40th International Conference on Software Engineering
(ICSE)
publisher: ACM
status: public
title: Reducer-Based Construction of Conditional Verifiers
type: conference
user_id: '29719'
year: '2018'
...
---
_id: '1097'
author:
- first_name: Felix Paul
full_name: Jentzsch, Felix Paul
last_name: Jentzsch
citation:
ama: Jentzsch FP. Enforcing IP Core Connection Properties with Verifiable Security
Monitors. Universität Paderborn; 2018.
apa: Jentzsch, F. P. (2018). Enforcing IP Core Connection Properties with Verifiable
Security Monitors. Universität Paderborn.
bibtex: '@book{Jentzsch_2018, title={Enforcing IP Core Connection Properties with
Verifiable Security Monitors}, publisher={Universität Paderborn}, author={Jentzsch,
Felix Paul}, year={2018} }'
chicago: Jentzsch, Felix Paul. Enforcing IP Core Connection Properties with Verifiable
Security Monitors. Universität Paderborn, 2018.
ieee: F. P. Jentzsch, Enforcing IP Core Connection Properties with Verifiable
Security Monitors. Universität Paderborn, 2018.
mla: Jentzsch, Felix Paul. Enforcing IP Core Connection Properties with Verifiable
Security Monitors. Universität Paderborn, 2018.
short: F.P. Jentzsch, Enforcing IP Core Connection Properties with Verifiable Security
Monitors, Universität Paderborn, 2018.
date_created: 2018-01-15T16:48:05Z
date_updated: 2022-01-06T06:50:54Z
department:
- _id: '78'
keyword:
- Approximate Computing
- Proof-Carrying Hardware
- Formal Verification
language:
- iso: eng
project:
- _id: '12'
name: SFB 901 - Subproject B4
- _id: '1'
name: SFB 901
- _id: '3'
name: SFB 901 - Project Area B
publisher: Universität Paderborn
status: public
supervisor:
- first_name: Tobias
full_name: Wiersema, Tobias
id: '3118'
last_name: Wiersema
title: Enforcing IP Core Connection Properties with Verifiable Security Monitors
type: bachelorsthesis
user_id: '477'
year: '2018'
...
---
_id: '1104'
abstract:
- lang: ger
text: 'Präzision ist kein Zufall. Sie wird vom Menschen herbeigeführt, indem Übereinstimmung
mit einem Standard oder einem akzeptierten Wert angestrebt wird oder die Reproduzierbarkeit
von Experimenten möglichst hoch sein muss. Was aber tun, wenn Präzision mangels
verfügbarer Informationen nicht hergestellt werden kann? Wie gehen Wissenschaft
und Kunst dann mit dieser fehlenden Eindeutigkeit um? Die Autorinnen und Autoren
dieses Sammelbandes beleuchten aus der Perspektive ihrer jeweiligen Fachdisziplin
die Chancen bei der Berücksichtigung von Unschärfe(n) in ihrer Forschung und Kunst.
Denn Unschärfe ist Realität. '
author:
- first_name: Michaela
full_name: Geierhos, Michaela
id: '42496'
last_name: Geierhos
orcid: 0000-0002-8180-5606
citation:
ama: 'Geierhos M. Unschärfe bei der Interpretation natürlichsprachlicher Anforderungsbeschreibungen.
In: Freitag S, Geierhos M, Asmani R, Haug JI, eds. Unschärfe - Der Umgang mit
fehlender Eindeutigkeit. 1st ed. Nordrhein-Westfälische Akademie der Wissenschaften
und der Künste - Junges Kolleg. Paderborn, Germany: Ferdinand Schöningh; 2018:111-128.'
apa: 'Geierhos, M. (2018). Unschärfe bei der Interpretation natürlichsprachlicher
Anforderungsbeschreibungen. In S. Freitag, M. Geierhos, R. Asmani, & J. I.
Haug (Eds.), Unschärfe - Der Umgang mit fehlender Eindeutigkeit (1st ed.,
pp. 111–128). Paderborn, Germany: Ferdinand Schöningh.'
bibtex: '@inbook{Geierhos_2018, place={Paderborn, Germany}, edition={1}, series={Nordrhein-Westfälische
Akademie der Wissenschaften und der Künste - Junges Kolleg}, title={Unschärfe
bei der Interpretation natürlichsprachlicher Anforderungsbeschreibungen}, booktitle={Unschärfe
- Der Umgang mit fehlender Eindeutigkeit}, publisher={Ferdinand Schöningh}, author={Geierhos,
Michaela}, editor={Freitag, Steffen and Geierhos, Michaela and Asmani, Rozbeh
and Haug, Judith I.Editors}, year={2018}, pages={111–128}, collection={Nordrhein-Westfälische
Akademie der Wissenschaften und der Künste - Junges Kolleg} }'
chicago: 'Geierhos, Michaela. “Unschärfe bei der Interpretation natürlichsprachlicher
Anforderungsbeschreibungen.” In Unschärfe - Der Umgang mit fehlender Eindeutigkeit,
edited by Steffen Freitag, Michaela Geierhos, Rozbeh Asmani, and Judith I. Haug,
1st ed., 111–28. Nordrhein-Westfälische Akademie der Wissenschaften und der Künste
- Junges Kolleg. Paderborn, Germany: Ferdinand Schöningh, 2018.'
ieee: 'M. Geierhos, “Unschärfe bei der Interpretation natürlichsprachlicher Anforderungsbeschreibungen,”
in Unschärfe - Der Umgang mit fehlender Eindeutigkeit, 1st ed., S. Freitag,
M. Geierhos, R. Asmani, and J. I. Haug, Eds. Paderborn, Germany: Ferdinand Schöningh,
2018, pp. 111–128.'
mla: Geierhos, Michaela. “Unschärfe bei der Interpretation natürlichsprachlicher
Anforderungsbeschreibungen.” Unschärfe - Der Umgang mit fehlender Eindeutigkeit,
edited by Steffen Freitag et al., 1st ed., Ferdinand Schöningh, 2018, pp. 111–28.
short: 'M. Geierhos, in: S. Freitag, M. Geierhos, R. Asmani, J.I. Haug (Eds.), Unschärfe
- Der Umgang mit fehlender Eindeutigkeit, 1st ed., Ferdinand Schöningh, Paderborn,
Germany, 2018, pp. 111–128.'
date_created: 2018-01-26T14:19:11Z
date_updated: 2022-01-06T06:50:56Z
ddc:
- '004'
department:
- _id: '36'
- _id: '1'
- _id: '579'
edition: '1'
editor:
- first_name: Steffen
full_name: Freitag, Steffen
last_name: Freitag
- first_name: Michaela
full_name: Geierhos, Michaela
last_name: Geierhos
- first_name: Rozbeh
full_name: Asmani, Rozbeh
last_name: Asmani
- first_name: Judith I.
full_name: Haug, Judith I.
last_name: Haug
file:
- access_level: closed
content_type: application/pdf
creator: fbaeumer
date_created: 2019-01-11T15:39:39Z
date_updated: 2019-01-11T15:39:39Z
file_id: '6629'
file_name: 06_Geierhos.pdf
file_size: 1126844
relation: main_file
success: 1
file_date_updated: 2019-01-11T15:39:39Z
has_accepted_license: '1'
language:
- iso: ger
page: 111-128
place: Paderborn, Germany
project:
- _id: '1'
name: SFB 901
- _id: '3'
name: SFB 901 - Project Area B
- _id: '9'
name: SFB 901 - Subproject B1
publication: Unschärfe - Der Umgang mit fehlender Eindeutigkeit
publication_identifier:
isbn:
- 978-3-506-78896-2
publication_status: published
publisher: Ferdinand Schöningh
quality_controlled: '1'
series_title: Nordrhein-Westfälische Akademie der Wissenschaften und der Künste -
Junges Kolleg
status: public
title: Unschärfe bei der Interpretation natürlichsprachlicher Anforderungsbeschreibungen
type: book_chapter
user_id: '13929'
year: '2018'
...
---
_id: '1181'
abstract:
- lang: eng
text: "The main idea in On-The-Fly Computing is to automatically compose existing
software services according to the wishes of end-users. However, since user requirements
are often ambiguous, vague and incomplete, the selection and composition of suitable
software services is a challanging task. In this paper, we present our current
approach to improve requirement descriptions before they are used for software
composition. This procedure is fully automated, but also has limitations, for
example, if necessary information is missing. In addition, and in response to
the limitations, we provide insights into our above-mentioned current work that
combines the existing optimization approach with a\r\nchatbot solution."
author:
- first_name: Frederik Simon
full_name: Bäumer, Frederik Simon
id: '38837'
last_name: Bäumer
- first_name: Michaela
full_name: Geierhos, Michaela
id: '42496'
last_name: Geierhos
orcid: 0000-0002-8180-5606
citation:
ama: 'Bäumer FS, Geierhos M. How to Deal with Inaccurate Service Requirements? Insights
in Our Current Approach and New Ideas. In: Schmid K, Spoletini P, Ben Charrada
E, et al., eds. Joint Proceedings of REFSQ-2018 Workshops, Doctoral Symposium,
Live Studies Track, and Poster Track Co-Located with the 23rd International Conference
on Requirements Engineering: Foundation for Software Quality (REFSQ 2018).
Vol 2075. CEUR Workshop Proceedings. CEUR-WS.org; 2018.'
apa: 'Bäumer, F. S., & Geierhos, M. (2018). How to Deal with Inaccurate Service
Requirements? Insights in Our Current Approach and New Ideas. In K. Schmid, P.
Spoletini, E. Ben Charrada, Y. Chisik, F. Dalpiaz, A. Ferrari, … A. Zamansky (Eds.),
Joint Proceedings of REFSQ-2018 Workshops, Doctoral Symposium, Live Studies
Track, and Poster Track co-located with the 23rd International Conference on Requirements
Engineering: Foundation for Software Quality (REFSQ 2018) (Vol. 2075). Utrecht,
The Netherlands: CEUR-WS.org.'
bibtex: '@inproceedings{Bäumer_Geierhos_2018, series={CEUR Workshop Proceedings},
title={How to Deal with Inaccurate Service Requirements? Insights in Our Current
Approach and New Ideas}, volume={2075}, booktitle={Joint Proceedings of REFSQ-2018
Workshops, Doctoral Symposium, Live Studies Track, and Poster Track co-located
with the 23rd International Conference on Requirements Engineering: Foundation
for Software Quality (REFSQ 2018)}, publisher={CEUR-WS.org}, author={Bäumer, Frederik
Simon and Geierhos, Michaela}, editor={Schmid, Klaus and Spoletini, Paola and
Ben Charrada, Eya and Chisik, Yoram and Dalpiaz, Fabiano and Ferrari, Alessio
and Forbrig, Peter and Franch, Xavier and Kirikova, Marite and Madhavji, Nazim
and et al.Editors}, year={2018}, collection={CEUR Workshop Proceedings} }'
chicago: 'Bäumer, Frederik Simon, and Michaela Geierhos. “How to Deal with Inaccurate
Service Requirements? Insights in Our Current Approach and New Ideas.” In Joint
Proceedings of REFSQ-2018 Workshops, Doctoral Symposium, Live Studies Track, and
Poster Track Co-Located with the 23rd International Conference on Requirements
Engineering: Foundation for Software Quality (REFSQ 2018), edited by Klaus
Schmid, Paola Spoletini, Eya Ben Charrada, Yoram Chisik, Fabiano Dalpiaz, Alessio
Ferrari, Peter Forbrig, et al., Vol. 2075. CEUR Workshop Proceedings. CEUR-WS.org,
2018.'
ieee: 'F. S. Bäumer and M. Geierhos, “How to Deal with Inaccurate Service Requirements?
Insights in Our Current Approach and New Ideas,” in Joint Proceedings of REFSQ-2018
Workshops, Doctoral Symposium, Live Studies Track, and Poster Track co-located
with the 23rd International Conference on Requirements Engineering: Foundation
for Software Quality (REFSQ 2018), Utrecht, The Netherlands, 2018, vol. 2075.'
mla: 'Bäumer, Frederik Simon, and Michaela Geierhos. “How to Deal with Inaccurate
Service Requirements? Insights in Our Current Approach and New Ideas.” Joint
Proceedings of REFSQ-2018 Workshops, Doctoral Symposium, Live Studies Track, and
Poster Track Co-Located with the 23rd International Conference on Requirements
Engineering: Foundation for Software Quality (REFSQ 2018), edited by Klaus
Schmid et al., vol. 2075, CEUR-WS.org, 2018.'
short: 'F.S. Bäumer, M. Geierhos, in: K. Schmid, P. Spoletini, E. Ben Charrada,
Y. Chisik, F. Dalpiaz, A. Ferrari, P. Forbrig, X. Franch, M. Kirikova, N. Madhavji,
C. Palomares, J. Ralyté, M. Sabetzadeh, P. Sawyer, D. van der Linden, A. Zamansky
(Eds.), Joint Proceedings of REFSQ-2018 Workshops, Doctoral Symposium, Live Studies
Track, and Poster Track Co-Located with the 23rd International Conference on Requirements
Engineering: Foundation for Software Quality (REFSQ 2018), CEUR-WS.org, 2018.'
conference:
end_date: 2018-03-19
location: Utrecht, The Netherlands
name: 1st Workshop on Natural Language Processing for Requirements Engineering (NLP4RE)
start_date: 2018-03-19
date_created: 2018-03-02T09:22:12Z
date_updated: 2022-01-06T06:51:09Z
ddc:
- '000'
department:
- _id: '36'
- _id: '1'
- _id: '579'
editor:
- first_name: Klaus
full_name: Schmid, Klaus
last_name: Schmid
- first_name: Paola
full_name: Spoletini, Paola
last_name: Spoletini
- first_name: Eya
full_name: Ben Charrada, Eya
last_name: Ben Charrada
- first_name: Yoram
full_name: Chisik, Yoram
last_name: Chisik
- first_name: Fabiano
full_name: Dalpiaz, Fabiano
last_name: Dalpiaz
- first_name: Alessio
full_name: Ferrari, Alessio
last_name: Ferrari
- first_name: Peter
full_name: Forbrig, Peter
last_name: Forbrig
- first_name: Xavier
full_name: Franch, Xavier
last_name: Franch
- first_name: Marite
full_name: Kirikova, Marite
last_name: Kirikova
- first_name: Nazim
full_name: Madhavji, Nazim
last_name: Madhavji
- first_name: Cristina
full_name: Palomares, Cristina
last_name: Palomares
- first_name: Jolita
full_name: Ralyté, Jolita
last_name: Ralyté
- first_name: Mehrdad
full_name: Sabetzadeh, Mehrdad
last_name: Sabetzadeh
- first_name: Pete
full_name: Sawyer, Pete
last_name: Sawyer
- first_name: Dirk
full_name: van der Linden, Dirk
last_name: van der Linden
- first_name: Anna
full_name: Zamansky, Anna
last_name: Zamansky
file:
- access_level: closed
content_type: application/pdf
creator: ups
date_created: 2018-11-02T13:52:54Z
date_updated: 2018-11-02T13:52:54Z
file_id: '5256'
file_name: NLP4RE_paper1.pdf
file_size: 1126820
relation: main_file
success: 1
file_date_updated: 2018-11-02T13:52:54Z
has_accepted_license: '1'
intvolume: ' 2075'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: http://ceur-ws.org/Vol-2075/NLP4RE_paper1.pdf
oa: '1'
project:
- _id: '1'
name: SFB 901
- _id: '3'
name: SFB 901 - Project Area B
- _id: '9'
name: SFB 901 - Subproject B1
publication: 'Joint Proceedings of REFSQ-2018 Workshops, Doctoral Symposium, Live
Studies Track, and Poster Track co-located with the 23rd International Conference
on Requirements Engineering: Foundation for Software Quality (REFSQ 2018)'
publication_identifier:
issn:
- 1613-0073
publication_status: published
publisher: CEUR-WS.org
quality_controlled: '1'
series_title: CEUR Workshop Proceedings
status: public
title: How to Deal with Inaccurate Service Requirements? Insights in Our Current Approach
and New Ideas
type: conference
user_id: '477'
volume: 2075
year: '2018'
...
---
_id: '1182'
abstract:
- lang: eng
text: Natural language requirement descriptions are often unstructured, contradictory
and incomplete and are therefore challenging for automatic processing. Although
many of these deficits can be compensated by means of Natural Language Processing,
there still remain cases where interaction with end-users is necessary for clarification.
In this paper, we present our idea of using chatbot technology to establish end-user
communication in order to support the automatic compensation of some deficits
in natural language requirement descriptions.
author:
- first_name: Edwin
full_name: Friesen, Edwin
last_name: Friesen
- first_name: Frederik Simon
full_name: Bäumer, Frederik Simon
id: '38837'
last_name: Bäumer
- first_name: Michaela
full_name: Geierhos, Michaela
id: '42496'
last_name: Geierhos
orcid: 0000-0002-8180-5606
citation:
ama: 'Friesen E, Bäumer FS, Geierhos M. CORDULA: Software Requirements Extraction
Utilizing Chatbot as Communication Interface. In: Schmid K, Spoletini P, Ben Charrada
E, et al., eds. Joint Proceedings of REFSQ-2018 Workshops, Doctoral Symposium,
Live Studies Track, and Poster Track Co-Located with the 23rd International Conference
on Requirements Engineering: Foundation for Software Quality (REFSQ 2018).
Vol 2075. CEUR Workshop Proceedings. CEUR-WS.org; 2018.'
apa: 'Friesen, E., Bäumer, F. S., & Geierhos, M. (2018). CORDULA: Software Requirements
Extraction Utilizing Chatbot as Communication Interface. In K. Schmid, P. Spoletini,
E. Ben Charrada, Y. Chisik, F. Dalpiaz, A. Ferrari, … A. Zamansky (Eds.), Joint
Proceedings of REFSQ-2018 Workshops, Doctoral Symposium, Live Studies Track, and
Poster Track co-located with the 23rd International Conference on Requirements
Engineering: Foundation for Software Quality (REFSQ 2018) (Vol. 2075). Utrecht,
The Netherlands: CEUR-WS.org.'
bibtex: '@inproceedings{Friesen_Bäumer_Geierhos_2018, series={CEUR Workshop Proceedings},
title={CORDULA: Software Requirements Extraction Utilizing Chatbot as Communication
Interface}, volume={2075}, booktitle={Joint Proceedings of REFSQ-2018 Workshops,
Doctoral Symposium, Live Studies Track, and Poster Track co-located with the 23rd
International Conference on Requirements Engineering: Foundation for Software
Quality (REFSQ 2018)}, publisher={CEUR-WS.org}, author={Friesen, Edwin and Bäumer,
Frederik Simon and Geierhos, Michaela}, editor={Schmid, Klaus and Spoletini,
Paola and Ben Charrada, Eya and Chisik, Yoram and Dalpiaz, Fabiano and Ferrari,
Alessio and Forbrig, Peter and Franch, Xavier and Kirikova, Marite and Madhavji,
Nazim and et al.Editors}, year={2018}, collection={CEUR Workshop Proceedings}
}'
chicago: 'Friesen, Edwin, Frederik Simon Bäumer, and Michaela Geierhos. “CORDULA:
Software Requirements Extraction Utilizing Chatbot as Communication Interface.”
In Joint Proceedings of REFSQ-2018 Workshops, Doctoral Symposium, Live Studies
Track, and Poster Track Co-Located with the 23rd International Conference on Requirements
Engineering: Foundation for Software Quality (REFSQ 2018), edited by Klaus Schmid,
Paola Spoletini, Eya Ben Charrada, Yoram Chisik, Fabiano Dalpiaz, Alessio Ferrari,
Peter Forbrig, et al., Vol. 2075. CEUR Workshop Proceedings. CEUR-WS.org, 2018.'
ieee: 'E. Friesen, F. S. Bäumer, and M. Geierhos, “CORDULA: Software Requirements
Extraction Utilizing Chatbot as Communication Interface,” in Joint Proceedings
of REFSQ-2018 Workshops, Doctoral Symposium, Live Studies Track, and Poster Track
co-located with the 23rd International Conference on Requirements Engineering:
Foundation for Software Quality (REFSQ 2018), Utrecht, The Netherlands, 2018,
vol. 2075.'
mla: 'Friesen, Edwin, et al. “CORDULA: Software Requirements Extraction Utilizing
Chatbot as Communication Interface.” Joint Proceedings of REFSQ-2018 Workshops,
Doctoral Symposium, Live Studies Track, and Poster Track Co-Located with the 23rd
International Conference on Requirements Engineering: Foundation for Software
Quality (REFSQ 2018), edited by Klaus Schmid et al., vol. 2075, CEUR-WS.org,
2018.'
short: 'E. Friesen, F.S. Bäumer, M. Geierhos, in: K. Schmid, P. Spoletini, E. Ben
Charrada, Y. Chisik, F. Dalpiaz, A. Ferrari, P. Forbrig, X. Franch, M. Kirikova,
N. Madhavji, C. Palomares, J. Ralyté, M. Sabetzadeh, P. Sawyer, D. van der Linden,
A. Zamansky (Eds.), Joint Proceedings of REFSQ-2018 Workshops, Doctoral Symposium,
Live Studies Track, and Poster Track Co-Located with the 23rd International Conference
on Requirements Engineering: Foundation for Software Quality (REFSQ 2018), CEUR-WS.org,
2018.'
conference:
end_date: 2018-03-19
location: Utrecht, The Netherlands
name: 1st Workshop on Natural Language Processing for Requirements Engineering (NLP4RE)
start_date: 2018-03-19
date_created: 2018-03-02T09:27:12Z
date_updated: 2022-01-06T06:51:10Z
ddc:
- '000'
department:
- _id: '36'
- _id: '1'
- _id: '579'
editor:
- first_name: 'Klaus '
full_name: 'Schmid, Klaus '
last_name: Schmid
- first_name: 'Paola '
full_name: 'Spoletini, Paola '
last_name: Spoletini
- first_name: 'Eya '
full_name: 'Ben Charrada, Eya '
last_name: Ben Charrada
- first_name: 'Yoram '
full_name: 'Chisik, Yoram '
last_name: Chisik
- first_name: 'Fabiano '
full_name: 'Dalpiaz, Fabiano '
last_name: Dalpiaz
- first_name: 'Alessio '
full_name: 'Ferrari, Alessio '
last_name: Ferrari
- first_name: 'Peter '
full_name: 'Forbrig, Peter '
last_name: Forbrig
- first_name: 'Xavier '
full_name: 'Franch, Xavier '
last_name: Franch
- first_name: 'Marite '
full_name: 'Kirikova, Marite '
last_name: Kirikova
- first_name: 'Nazim '
full_name: 'Madhavji, Nazim '
last_name: Madhavji
- first_name: 'Cristina '
full_name: 'Palomares, Cristina '
last_name: Palomares
- first_name: 'Jolita '
full_name: 'Ralyté, Jolita '
last_name: Ralyté
- first_name: 'Mehrdad '
full_name: 'Sabetzadeh, Mehrdad '
last_name: Sabetzadeh
- first_name: 'Pete '
full_name: 'Sawyer, Pete '
last_name: Sawyer
- first_name: 'Dirk '
full_name: 'van der Linden, Dirk '
last_name: van der Linden
- first_name: 'Anna '
full_name: 'Zamansky, Anna '
last_name: Zamansky
file:
- access_level: closed
content_type: application/pdf
creator: ups
date_created: 2018-11-02T14:36:55Z
date_updated: 2018-11-02T14:36:55Z
file_id: '5276'
file_name: NLP4RE_paper3.pdf
file_size: 530902
relation: main_file
success: 1
file_date_updated: 2018-11-02T14:36:55Z
has_accepted_license: '1'
intvolume: ' 2075'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: http://ceur-ws.org/Vol-2075/NLP4RE_paper3.pdf
oa: '1'
project:
- _id: '1'
name: SFB 901
- _id: '3'
name: SFB 901 - Project Area B
- _id: '9'
name: SFB 901 - Subproject B1
publication: 'Joint Proceedings of REFSQ-2018 Workshops, Doctoral Symposium, Live
Studies Track, and Poster Track co-located with the 23rd International Conference
on Requirements Engineering: Foundation for Software Quality (REFSQ 2018)'
publication_identifier:
issn:
- 1613-0073
publication_status: published
publisher: CEUR-WS.org
quality_controlled: '1'
series_title: CEUR Workshop Proceedings
status: public
title: 'CORDULA: Software Requirements Extraction Utilizing Chatbot as Communication
Interface'
type: conference
user_id: '477'
volume: 2075
year: '2018'
...
---
_id: '1183'
abstract:
- lang: eng
text: "As our world grows in complexity, companies and employees alike need, more
than ever before, solutions tailored to their exact needs. Since such tools cannot
always be purchased off-the-shelf and need to be designed from the ground up,
developers rely on software requirements. In this paper, we present our vision
of a syntactic rule-based extraction\r\ntool for software requirements specification
documents. In contrast to other methods, our tool will allow stakeholders to express
their needs and wishes in unfiltered natural language, which we believe is essential
for non-expert users."
author:
- first_name: Matthew
full_name: Caron, Matthew
last_name: Caron
- first_name: Frederik Simon
full_name: Bäumer, Frederik Simon
id: '38837'
last_name: Bäumer
- first_name: Michaela
full_name: Geierhos, Michaela
id: '42496'
last_name: Geierhos
orcid: 0000-0002-8180-5606
citation:
ama: 'Caron M, Bäumer FS, Geierhos M. Back to Basics: Extracting Software Requirements
with a Syntactic Approach. In: Schmid K, Spoletini P, Ben Charrada E, et al.,
eds. Joint Proceedings of REFSQ-2018 Workshops, Doctoral Symposium, Live Studies
Track, and Poster Track Co-Located with the 23rd International Conference on Requirements
Engineering: Foundation for Software Quality (REFSQ 2018). Vol 2075. CEUR
Workshop Proceedings. CEUR-WS.org; 2018.'
apa: 'Caron, M., Bäumer, F. S., & Geierhos, M. (2018). Back to Basics: Extracting
Software Requirements with a Syntactic Approach. In K. Schmid, P. Spoletini, E.
Ben Charrada, Y. Chisik, F. Dalpiaz, A. Ferrari, … A. Zamansky (Eds.), Joint
Proceedings of REFSQ-2018 Workshops, Doctoral Symposium, Live Studies Track, and
Poster Track co-located with the 23rd International Conference on Requirements
Engineering: Foundation for Software Quality (REFSQ 2018) (Vol. 2075). Utrecht,
The Netherlands: CEUR-WS.org.'
bibtex: '@inproceedings{Caron_Bäumer_Geierhos_2018, series={CEUR Workshop Proceedings},
title={Back to Basics: Extracting Software Requirements with a Syntactic Approach},
volume={2075}, booktitle={Joint Proceedings of REFSQ-2018 Workshops, Doctoral
Symposium, Live Studies Track, and Poster Track co-located with the 23rd International
Conference on Requirements Engineering: Foundation for Software Quality (REFSQ
2018)}, publisher={CEUR-WS.org}, author={Caron, Matthew and Bäumer, Frederik Simon
and Geierhos, Michaela}, editor={Schmid, Klaus and Spoletini, Paola and Ben Charrada,
Eya and Chisik, Yoram and Dalpiaz, Fabiano and Ferrari, Alessio and Forbrig, Peter
and Franch, Xavier and Kirikova, Marite and Madhavji, Nazim and et al.Editors},
year={2018}, collection={CEUR Workshop Proceedings} }'
chicago: 'Caron, Matthew, Frederik Simon Bäumer, and Michaela Geierhos. “Back to
Basics: Extracting Software Requirements with a Syntactic Approach.” In Joint
Proceedings of REFSQ-2018 Workshops, Doctoral Symposium, Live Studies Track, and
Poster Track Co-Located with the 23rd International Conference on Requirements
Engineering: Foundation for Software Quality (REFSQ 2018), edited by Klaus
Schmid, Paola Spoletini, Eya Ben Charrada, Yoram Chisik, Fabiano Dalpiaz, Alessio
Ferrari, Peter Forbrig, et al., Vol. 2075. CEUR Workshop Proceedings. CEUR-WS.org,
2018.'
ieee: 'M. Caron, F. S. Bäumer, and M. Geierhos, “Back to Basics: Extracting Software
Requirements with a Syntactic Approach,” in Joint Proceedings of REFSQ-2018
Workshops, Doctoral Symposium, Live Studies Track, and Poster Track co-located
with the 23rd International Conference on Requirements Engineering: Foundation
for Software Quality (REFSQ 2018), Utrecht, The Netherlands, 2018, vol. 2075.'
mla: 'Caron, Matthew, et al. “Back to Basics: Extracting Software Requirements with
a Syntactic Approach.” Joint Proceedings of REFSQ-2018 Workshops, Doctoral
Symposium, Live Studies Track, and Poster Track Co-Located with the 23rd International
Conference on Requirements Engineering: Foundation for Software Quality (REFSQ
2018), edited by Klaus Schmid et al., vol. 2075, CEUR-WS.org, 2018.'
short: 'M. Caron, F.S. Bäumer, M. Geierhos, in: K. Schmid, P. Spoletini, E. Ben
Charrada, Y. Chisik, F. Dalpiaz, A. Ferrari, P. Forbrig, X. Franch, M. Kirikova,
N. Madhavji, C. Palomares, J. Ralyté, M. Sabetzadeh, P. Sawyer, D. van der Linden,
A. Zamansky (Eds.), Joint Proceedings of REFSQ-2018 Workshops, Doctoral Symposium,
Live Studies Track, and Poster Track Co-Located with the 23rd International Conference
on Requirements Engineering: Foundation for Software Quality (REFSQ 2018), CEUR-WS.org,
2018.'
conference:
end_date: 2018-03-19
location: Utrecht, The Netherlands
name: 1st Workshop on Natural Language Processing for Requirements Engineering (NLP4RE)
start_date: 2018-03-19
date_created: 2018-03-02T09:28:59Z
date_updated: 2022-01-06T06:51:11Z
ddc:
- '000'
department:
- _id: '36'
- _id: '1'
- _id: '579'
editor:
- first_name: Klaus
full_name: Schmid, Klaus
last_name: Schmid
- first_name: Paola
full_name: Spoletini, Paola
last_name: Spoletini
- first_name: Eya
full_name: Ben Charrada, Eya
last_name: Ben Charrada
- first_name: Yoram
full_name: Chisik, Yoram
last_name: Chisik
- first_name: Fabiano
full_name: Dalpiaz, Fabiano
last_name: Dalpiaz
- first_name: Alessio
full_name: Ferrari, Alessio
last_name: Ferrari
- first_name: Peter
full_name: Forbrig, Peter
last_name: Forbrig
- first_name: Xavier
full_name: Franch, Xavier
last_name: Franch
- first_name: Marite
full_name: Kirikova, Marite
last_name: Kirikova
- first_name: Nazim
full_name: Madhavji, Nazim
last_name: Madhavji
- first_name: Cristina
full_name: Palomares, Cristina
last_name: Palomares
- first_name: Jolita
full_name: Ralyté, Jolita
last_name: Ralyté
- first_name: Mehrdad
full_name: Sabetzadeh, Mehrdad
last_name: Sabetzadeh
- first_name: Pete
full_name: Sawyer, Pete
last_name: Sawyer
- first_name: Dirk
full_name: van der Linden, Dirk
last_name: van der Linden
- first_name: Anna
full_name: Zamansky, Anna
last_name: Zamansky
file:
- access_level: closed
content_type: application/pdf
creator: ups
date_created: 2018-11-02T14:40:58Z
date_updated: 2018-11-02T14:40:58Z
file_id: '5279'
file_name: NLP4RE_paper5.pdf
file_size: 254814
relation: main_file
success: 1
file_date_updated: 2018-11-02T14:40:58Z
has_accepted_license: '1'
intvolume: ' 2075'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: http://ceur-ws.org/Vol-2075/NLP4RE_paper5.pdf
oa: '1'
project:
- _id: '1'
name: SFB 901
- _id: '3'
name: SFB 901 - Project Area B
- _id: '9'
name: SFB 901 - Subproject B1
publication: 'Joint Proceedings of REFSQ-2018 Workshops, Doctoral Symposium, Live
Studies Track, and Poster Track co-located with the 23rd International Conference
on Requirements Engineering: Foundation for Software Quality (REFSQ 2018)'
publication_identifier:
issn:
- 1613-0073
publication_status: published
publisher: CEUR-WS.org
quality_controlled: '1'
series_title: CEUR Workshop Proceedings
status: public
title: 'Back to Basics: Extracting Software Requirements with a Syntactic Approach'
type: conference
user_id: '477'
volume: 2075
year: '2018'
...
---
_id: '11710'
author:
- first_name: Wei-Fan
full_name: Chen, Wei-Fan
id: '82920'
last_name: Chen
- first_name: Henning
full_name: Wachsmuth, Henning
id: '3900'
last_name: Wachsmuth
- first_name: Khalid
full_name: Al Khatib, Khalid
last_name: Al Khatib
- first_name: Benno
full_name: Stein, Benno
last_name: Stein
citation:
ama: 'Chen W-F, Wachsmuth H, Al Khatib K, Stein B. Learning to Flip the Bias of
News Headlines. In: Proceedings of the 11th International Conference on Natural
Language Generation. Association for Computational Linguistics; 2018:79-88.'
apa: Chen, W.-F., Wachsmuth, H., Al Khatib, K., & Stein, B. (2018). Learning
to Flip the Bias of News Headlines. Proceedings of the 11th International Conference
on Natural Language Generation, 79–88.
bibtex: '@inproceedings{Chen_Wachsmuth_Al Khatib_Stein_2018, title={Learning to
Flip the Bias of News Headlines}, booktitle={Proceedings of the 11th International
Conference on Natural Language Generation}, publisher={Association for Computational
Linguistics}, author={Chen, Wei-Fan and Wachsmuth, Henning and Al Khatib, Khalid
and Stein, Benno}, year={2018}, pages={79–88} }'
chicago: Chen, Wei-Fan, Henning Wachsmuth, Khalid Al Khatib, and Benno Stein. “Learning
to Flip the Bias of News Headlines.” In Proceedings of the 11th International
Conference on Natural Language Generation, 79–88. Association for Computational
Linguistics, 2018.
ieee: W.-F. Chen, H. Wachsmuth, K. Al Khatib, and B. Stein, “Learning to Flip the
Bias of News Headlines,” in Proceedings of the 11th International Conference
on Natural Language Generation, 2018, pp. 79–88.
mla: Chen, Wei-Fan, et al. “Learning to Flip the Bias of News Headlines.” Proceedings
of the 11th International Conference on Natural Language Generation, Association
for Computational Linguistics, 2018, pp. 79–88.
short: 'W.-F. Chen, H. Wachsmuth, K. Al Khatib, B. Stein, in: Proceedings of the
11th International Conference on Natural Language Generation, Association for
Computational Linguistics, 2018, pp. 79–88.'
date_created: 2019-07-11T13:13:43Z
date_updated: 2022-05-09T15:04:38Z
department:
- _id: '600'
- _id: '568'
language:
- iso: eng
main_file_link:
- url: https://www.aclweb.org/anthology/W18-6509.pdf
page: 79-88
project:
- _id: '1'
name: 'SFB 901: SFB 901'
- _id: '3'
name: 'SFB 901 - B: SFB 901 - Project Area B'
- _id: '9'
name: 'SFB 901 - B1: SFB 901 - Subproject B1'
publication: Proceedings of the 11th International Conference on Natural Language
Generation
publisher: Association for Computational Linguistics
status: public
title: Learning to Flip the Bias of News Headlines
type: conference
user_id: '82920'
year: '2018'
...
---
_id: '14873'
author:
- first_name: Wei-Fan
full_name: Chen, Wei-Fan
id: '82920'
last_name: Chen
- first_name: Matthias
full_name: Hagen, Matthias
last_name: Hagen
- first_name: Benno
full_name: Stein, Benno
last_name: Stein
- first_name: Martin
full_name: Potthast, Martin
last_name: Potthast
citation:
ama: 'Chen W-F, Hagen M, Stein B, Potthast M. A User Study on Snippet Generation:
Text Reuse vs. Paraphrases. In: Proceedings of the 41st International ACM SIGIR
Conference on Research & Development in Information Retrieval. ; 2018:1033-1036.'
apa: 'Chen, W.-F., Hagen, M., Stein, B., & Potthast, M. (2018). A User Study
on Snippet Generation: Text Reuse vs. Paraphrases. Proceedings of the 41st
International ACM SIGIR Conference on Research & Development in Information
Retrieval, 1033–1036.'
bibtex: '@inproceedings{Chen_Hagen_Stein_Potthast_2018, title={A User Study on Snippet
Generation: Text Reuse vs. Paraphrases}, booktitle={Proceedings of the 41st International
ACM SIGIR Conference on Research & Development in Information Retrieval},
author={Chen, Wei-Fan and Hagen, Matthias and Stein, Benno and Potthast, Martin},
year={2018}, pages={1033–1036} }'
chicago: 'Chen, Wei-Fan, Matthias Hagen, Benno Stein, and Martin Potthast. “A User
Study on Snippet Generation: Text Reuse vs. Paraphrases.” In Proceedings of
the 41st International ACM SIGIR Conference on Research & Development in Information
Retrieval, 1033–36, 2018.'
ieee: 'W.-F. Chen, M. Hagen, B. Stein, and M. Potthast, “A User Study on Snippet
Generation: Text Reuse vs. Paraphrases,” in Proceedings of the 41st International
ACM SIGIR Conference on Research & Development in Information Retrieval,
2018, pp. 1033–1036.'
mla: 'Chen, Wei-Fan, et al. “A User Study on Snippet Generation: Text Reuse vs.
Paraphrases.” Proceedings of the 41st International ACM SIGIR Conference on
Research & Development in Information Retrieval, 2018, pp. 1033–36.'
short: 'W.-F. Chen, M. Hagen, B. Stein, M. Potthast, in: Proceedings of the 41st
International ACM SIGIR Conference on Research & Development in Information
Retrieval, 2018, pp. 1033–1036.'
date_created: 2019-11-11T09:51:05Z
date_updated: 2022-05-09T15:04:59Z
department:
- _id: '600'
language:
- iso: eng
main_file_link:
- url: https://dl.acm.org/doi/pdf/10.1145/3209978.3210149
page: 1033-1036
project:
- _id: '1'
name: 'SFB 901: SFB 901'
- _id: '3'
name: 'SFB 901 - B: SFB 901 - Project Area B'
- _id: '9'
name: 'SFB 901 - B1: SFB 901 - Subproject B1'
publication: Proceedings of the 41st International ACM SIGIR Conference on Research
& Development in Information Retrieval
status: public
title: 'A User Study on Snippet Generation: Text Reuse vs. Paraphrases'
type: conference
user_id: '82920'
year: '2018'
...