---
_id: '3810'
author:
- first_name: Henning
full_name: Wachsmuth, Henning
id: '3900'
last_name: Wachsmuth
- first_name: Peter
full_name: Prettenhofer, Peter
last_name: Prettenhofer
- first_name: Benno
full_name: Stein, Benno
last_name: Stein
citation:
ama: 'Wachsmuth H, Prettenhofer P, Stein B. Efficient Statement Identification for
Automatic Market Forecasting. In: Proceedings of the 23rd International Conference
on Computational Linguistics (Coling 2010). ; 2010:1128-1136.'
apa: Wachsmuth, H., Prettenhofer, P., & Stein, B. (2010). Efficient Statement
Identification for Automatic Market Forecasting. In Proceedings of the 23rd
International Conference on Computational Linguistics (Coling 2010) (pp. 1128–1136).
bibtex: '@inproceedings{Wachsmuth_Prettenhofer_Stein_2010, title={Efficient Statement
Identification for Automatic Market Forecasting}, booktitle={Proceedings of the
23rd International Conference on Computational Linguistics (Coling 2010)}, author={Wachsmuth,
Henning and Prettenhofer, Peter and Stein, Benno}, year={2010}, pages={1128–1136}
}'
chicago: Wachsmuth, Henning, Peter Prettenhofer, and Benno Stein. “Efficient Statement
Identification for Automatic Market Forecasting.” In Proceedings of the 23rd
International Conference on Computational Linguistics (Coling 2010), 1128–36,
2010.
ieee: H. Wachsmuth, P. Prettenhofer, and B. Stein, “Efficient Statement Identification
for Automatic Market Forecasting,” in Proceedings of the 23rd International
Conference on Computational Linguistics (Coling 2010), 2010, pp. 1128–1136.
mla: Wachsmuth, Henning, et al. “Efficient Statement Identification for Automatic
Market Forecasting.” Proceedings of the 23rd International Conference on Computational
Linguistics (Coling 2010), 2010, pp. 1128–36.
short: 'H. Wachsmuth, P. Prettenhofer, B. Stein, in: Proceedings of the 23rd International
Conference on Computational Linguistics (Coling 2010), 2010, pp. 1128–1136.'
date_created: 2018-08-02T13:38:35Z
date_updated: 2022-01-06T06:59:37Z
department:
- _id: '600'
language:
- iso: eng
main_file_link:
- url: https://www.aclweb.org/anthology/C10-1127.pdf
page: 1128-1136
publication: Proceedings of the 23rd International Conference on Computational Linguistics
(Coling 2010)
status: public
title: Efficient Statement Identification for Automatic Market Forecasting
type: conference
user_id: '82920'
year: '2010'
...
---
_id: '2988'
author:
- first_name: Marcel R.
full_name: Ackermann, Marcel R.
last_name: Ackermann
- first_name: Johannes
full_name: Blömer, Johannes
id: '23'
last_name: Blömer
citation:
ama: 'Ackermann MR, Blömer J. Bregman Clustering for Separable Instances. In: SWAT
2010. Lecture Notes in Computer Science. Berlin, Heidelberg: Springer Berlin
Heidelberg; 2010:212-223. doi:10.1007/978-3-642-13731-0_21'
apa: 'Ackermann, M. R., & Blömer, J. (2010). Bregman Clustering for Separable
Instances. In SWAT 2010 (pp. 212–223). Berlin, Heidelberg: Springer Berlin
Heidelberg. https://doi.org/10.1007/978-3-642-13731-0_21'
bibtex: '@inbook{Ackermann_Blömer_2010, place={Berlin, Heidelberg}, series={Lecture
Notes in Computer Science}, title={Bregman Clustering for Separable Instances},
DOI={10.1007/978-3-642-13731-0_21},
booktitle={SWAT 2010}, publisher={Springer Berlin Heidelberg}, author={Ackermann,
Marcel R. and Blömer, Johannes}, year={2010}, pages={212–223}, collection={Lecture
Notes in Computer Science} }'
chicago: 'Ackermann, Marcel R., and Johannes Blömer. “Bregman Clustering for Separable
Instances.” In SWAT 2010, 212–23. Lecture Notes in Computer Science. Berlin,
Heidelberg: Springer Berlin Heidelberg, 2010. https://doi.org/10.1007/978-3-642-13731-0_21.'
ieee: 'M. R. Ackermann and J. Blömer, “Bregman Clustering for Separable Instances,”
in SWAT 2010, Berlin, Heidelberg: Springer Berlin Heidelberg, 2010, pp.
212–223.'
mla: Ackermann, Marcel R., and Johannes Blömer. “Bregman Clustering for Separable
Instances.” SWAT 2010, Springer Berlin Heidelberg, 2010, pp. 212–23, doi:10.1007/978-3-642-13731-0_21.
short: 'M.R. Ackermann, J. Blömer, in: SWAT 2010, Springer Berlin Heidelberg, Berlin,
Heidelberg, 2010, pp. 212–223.'
date_created: 2018-06-05T07:51:51Z
date_updated: 2022-01-06T06:58:50Z
department:
- _id: '64'
doi: 10.1007/978-3-642-13731-0_21
page: 212-223
place: Berlin, Heidelberg
publication: SWAT 2010
publication_identifier:
isbn:
- '9783642137303'
- '9783642137310'
issn:
- 0302-9743
- 1611-3349
publication_status: published
publisher: Springer Berlin Heidelberg
series_title: Lecture Notes in Computer Science
status: public
title: Bregman Clustering for Separable Instances
type: book_chapter
user_id: '25078'
year: '2010'
...
---
_id: '2990'
author:
- first_name: Marcel R.
full_name: Ackermann, Marcel R.
last_name: Ackermann
- first_name: Johannes
full_name: Blömer, Johannes
id: '23'
last_name: Blömer
- first_name: Christian
full_name: Sohler, Christian
last_name: Sohler
citation:
ama: Ackermann MR, Blömer J, Sohler C. Clustering for Metric and Nonmetric Distance
Measures. ACM Trans Algorithms. 2010;(4):59:1--59:26. doi:10.1145/1824777.1824779
apa: Ackermann, M. R., Blömer, J., & Sohler, C. (2010). Clustering for Metric
and Nonmetric Distance Measures. ACM Trans. Algorithms, (4), 59:1--59:26.
https://doi.org/10.1145/1824777.1824779
bibtex: '@article{Ackermann_Blömer_Sohler_2010, title={Clustering for Metric and
Nonmetric Distance Measures}, DOI={10.1145/1824777.1824779},
number={4}, journal={ACM Trans. Algorithms}, author={Ackermann, Marcel R. and
Blömer, Johannes and Sohler, Christian}, year={2010}, pages={59:1--59:26} }'
chicago: 'Ackermann, Marcel R., Johannes Blömer, and Christian Sohler. “Clustering
for Metric and Nonmetric Distance Measures.” ACM Trans. Algorithms, no.
4 (2010): 59:1--59:26. https://doi.org/10.1145/1824777.1824779.'
ieee: M. R. Ackermann, J. Blömer, and C. Sohler, “Clustering for Metric and Nonmetric
Distance Measures,” ACM Trans. Algorithms, no. 4, pp. 59:1--59:26, 2010.
mla: Ackermann, Marcel R., et al. “Clustering for Metric and Nonmetric Distance
Measures.” ACM Trans. Algorithms, no. 4, 2010, pp. 59:1--59:26, doi:10.1145/1824777.1824779.
short: M.R. Ackermann, J. Blömer, C. Sohler, ACM Trans. Algorithms (2010) 59:1--59:26.
date_created: 2018-06-05T07:52:41Z
date_updated: 2022-01-06T06:58:50Z
department:
- _id: '64'
doi: 10.1145/1824777.1824779
issue: '4'
keyword:
- k-means clustering
- k-median clustering
- Approximation algorithm
- Bregman divergences
- Itakura-Saito divergence
- Kullback-Leibler divergence
- Mahalanobis distance
- random sampling
page: 59:1--59:26
publication: ACM Trans. Algorithms
publication_identifier:
issn:
- 1549-6325
publication_status: published
status: public
title: Clustering for Metric and Nonmetric Distance Measures
type: journal_article
user_id: '25078'
year: '2010'
...
---
_id: '2991'
author:
- first_name: Alexander
full_name: Krueger, Alexander
last_name: Krueger
- first_name: Volker
full_name: Leutnant, Volker
last_name: Leutnant
- first_name: Reinhold
full_name: Haeb-Umbach, Reinhold
last_name: Haeb-Umbach
- first_name: Marcel
full_name: Ackermann, Marcel
last_name: Ackermann
- first_name: Johannes
full_name: Blömer, Johannes
id: '23'
last_name: Blömer
citation:
ama: Krueger A, Leutnant V, Haeb-Umbach R, Ackermann M, Blömer J. On the initialization
of dynamic models for speech features. Proc of ITG Fachtagung Sprachkommunikation
ITG, Bochum, Germany. 2010.
apa: Krueger, A., Leutnant, V., Haeb-Umbach, R., Ackermann, M., & Blömer, J.
(2010). On the initialization of dynamic models for speech features. Proc.
of ITG Fachtagung Sprachkommunikation. ITG, Bochum, Germany.
bibtex: '@article{Krueger_Leutnant_Haeb-Umbach_Ackermann_Blömer_2010, title={On
the initialization of dynamic models for speech features}, journal={Proc. of ITG
Fachtagung Sprachkommunikation. ITG, Bochum, Germany}, author={Krueger, Alexander
and Leutnant, Volker and Haeb-Umbach, Reinhold and Ackermann, Marcel and Blömer,
Johannes}, year={2010} }'
chicago: Krueger, Alexander, Volker Leutnant, Reinhold Haeb-Umbach, Marcel Ackermann,
and Johannes Blömer. “On the Initialization of Dynamic Models for Speech Features.”
Proc. of ITG Fachtagung Sprachkommunikation. ITG, Bochum, Germany, 2010.
ieee: A. Krueger, V. Leutnant, R. Haeb-Umbach, M. Ackermann, and J. Blömer, “On
the initialization of dynamic models for speech features,” Proc. of ITG Fachtagung
Sprachkommunikation. ITG, Bochum, Germany, 2010.
mla: Krueger, Alexander, et al. “On the Initialization of Dynamic Models for Speech
Features.” Proc. of ITG Fachtagung Sprachkommunikation. ITG, Bochum, Germany,
2010.
short: A. Krueger, V. Leutnant, R. Haeb-Umbach, M. Ackermann, J. Blömer, Proc. of
ITG Fachtagung Sprachkommunikation. ITG, Bochum, Germany (2010).
date_created: 2018-06-05T07:53:41Z
date_updated: 2022-01-06T06:58:50Z
department:
- _id: '64'
publication: Proc. of ITG Fachtagung Sprachkommunikation. ITG, Bochum, Germany
publication_status: published
status: public
title: On the initialization of dynamic models for speech features
type: journal_article
user_id: '25078'
year: '2010'
...
---
_id: '2993'
author:
- first_name: Jonas
full_name: Schrieb, Jonas
last_name: Schrieb
citation:
ama: Schrieb J. Efficient and Compact CCA Security from Partitioned IBKEM. 2010.
apa: Schrieb, J. (2010). Efficient and Compact CCA Security from Partitioned IBKEM.
bibtex: '@article{Schrieb_2010, series={Proceedings of the 3rd Western European
Workshop on Research in Cryptology}, title={Efficient and Compact CCA Security
from Partitioned IBKEM}, author={Schrieb, Jonas}, year={2010}, collection={Proceedings
of the 3rd Western European Workshop on Research in Cryptology} }'
chicago: Schrieb, Jonas. “Efficient and Compact CCA Security from Partitioned IBKEM.”
Proceedings of the 3rd Western European Workshop on Research in Cryptology, 2010.
ieee: J. Schrieb, “Efficient and Compact CCA Security from Partitioned IBKEM.” 2010.
mla: Schrieb, Jonas. Efficient and Compact CCA Security from Partitioned IBKEM.
2010.
short: J. Schrieb, (2010).
date_created: 2018-06-05T08:02:25Z
date_updated: 2022-01-06T06:58:50Z
department:
- _id: '64'
series_title: Proceedings of the 3rd Western European Workshop on Research in Cryptology
status: public
title: Efficient and Compact CCA Security from Partitioned IBKEM
type: conference
user_id: '25078'
year: '2010'
...
---
_id: '2994'
author:
- first_name: Wilhelm
full_name: Schäfer, Wilhelm
last_name: Schäfer
- first_name: Ansgar
full_name: Trächtler, Ansgar
last_name: Trächtler
- first_name: Mauro
full_name: Birattari, Mauro
last_name: Birattari
- first_name: Johannes
full_name: Blömer, Johannes
id: '23'
last_name: Blömer
- first_name: Marco
full_name: Dorigo, Marco
last_name: Dorigo
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Rehan
full_name: O'Grady, Rehan
last_name: O'Grady
- first_name: Marco
full_name: Platzner, Marco
id: '398'
last_name: Platzner
- first_name: Franz
full_name: Rammig, Franz
last_name: Rammig
- first_name: Wolfgang
full_name: Reif, Wolfgang
last_name: Reif
citation:
ama: 'Schäfer W, Trächtler A, Birattari M, et al. Engineering self-coordinating
software intensive systems. In: Proceedings of the FSE/SDP Workshop on Future
of Software Engineering Research - FoSER ’10. ACM Press; 2010. doi:10.1145/1882362.1882428'
apa: Schäfer, W., Trächtler, A., Birattari, M., Blömer, J., Dorigo, M., Engels,
G., … Reif, W. (2010). Engineering self-coordinating software intensive systems.
In Proceedings of the FSE/SDP workshop on Future of software engineering research
- FoSER ’10. ACM Press. https://doi.org/10.1145/1882362.1882428
bibtex: '@inproceedings{Schäfer_Trächtler_Birattari_Blömer_Dorigo_Engels_O’Grady_Platzner_Rammig_Reif_2010,
title={Engineering self-coordinating software intensive systems}, DOI={10.1145/1882362.1882428},
booktitle={Proceedings of the FSE/SDP workshop on Future of software engineering
research - FoSER ’10}, publisher={ACM Press}, author={Schäfer, Wilhelm and Trächtler,
Ansgar and Birattari, Mauro and Blömer, Johannes and Dorigo, Marco and Engels,
Gregor and O’Grady, Rehan and Platzner, Marco and Rammig, Franz and Reif, Wolfgang},
year={2010} }'
chicago: Schäfer, Wilhelm, Ansgar Trächtler, Mauro Birattari, Johannes Blömer, Marco
Dorigo, Gregor Engels, Rehan O’Grady, Marco Platzner, Franz Rammig, and Wolfgang
Reif. “Engineering Self-Coordinating Software Intensive Systems.” In Proceedings
of the FSE/SDP Workshop on Future of Software Engineering Research - FoSER ’10.
ACM Press, 2010. https://doi.org/10.1145/1882362.1882428.
ieee: W. Schäfer et al., “Engineering self-coordinating software intensive
systems,” in Proceedings of the FSE/SDP workshop on Future of software engineering
research - FoSER ’10, 2010.
mla: Schäfer, Wilhelm, et al. “Engineering Self-Coordinating Software Intensive
Systems.” Proceedings of the FSE/SDP Workshop on Future of Software Engineering
Research - FoSER ’10, ACM Press, 2010, doi:10.1145/1882362.1882428.
short: 'W. Schäfer, A. Trächtler, M. Birattari, J. Blömer, M. Dorigo, G. Engels,
R. O’Grady, M. Platzner, F. Rammig, W. Reif, in: Proceedings of the FSE/SDP Workshop
on Future of Software Engineering Research - FoSER ’10, ACM Press, 2010.'
date_created: 2018-06-05T08:03:49Z
date_updated: 2022-01-06T06:58:50Z
department:
- _id: '64'
doi: 10.1145/1882362.1882428
publication: Proceedings of the FSE/SDP workshop on Future of software engineering
research - FoSER '10
publication_identifier:
isbn:
- '9781450304276'
publication_status: published
publisher: ACM Press
status: public
title: Engineering self-coordinating software intensive systems
type: conference
user_id: '25078'
year: '2010'
...
---
_id: '3139'
author:
- first_name: Tibor
full_name: Jager, Tibor
id: '64669'
last_name: Jager
- first_name: Florian
full_name: Kohlar, Florian
last_name: Kohlar
- first_name: Sven
full_name: Schäge, Sven
last_name: Schäge
- first_name: Jörg
full_name: Schwenk, Jörg
last_name: Schwenk
citation:
ama: 'Jager T, Kohlar F, Schäge S, Schwenk J. Generic Compilers for Authenticated
Key Exchange. In: Advances in Cryptology - ASIACRYPT 2010 - 16th International
Conference on the Theory and Application of Cryptology and Information Security,
Singapore, December 5-9, 2010. Proceedings. ; 2010:232--249. doi:10.1007/978-3-642-17373-8_14'
apa: Jager, T., Kohlar, F., Schäge, S., & Schwenk, J. (2010). Generic Compilers
for Authenticated Key Exchange. In Advances in Cryptology - ASIACRYPT 2010
- 16th International Conference on the Theory and Application of Cryptology and
Information Security, Singapore, December 5-9, 2010. Proceedings (pp. 232--249).
https://doi.org/10.1007/978-3-642-17373-8_14
bibtex: '@inproceedings{Jager_Kohlar_Schäge_Schwenk_2010, title={Generic Compilers
for Authenticated Key Exchange}, DOI={10.1007/978-3-642-17373-8_14},
booktitle={Advances in Cryptology - ASIACRYPT 2010 - 16th International Conference
on the Theory and Application of Cryptology and Information Security, Singapore,
December 5-9, 2010. Proceedings}, author={Jager, Tibor and Kohlar, Florian and
Schäge, Sven and Schwenk, Jörg}, year={2010}, pages={232--249} }'
chicago: Jager, Tibor, Florian Kohlar, Sven Schäge, and Jörg Schwenk. “Generic Compilers
for Authenticated Key Exchange.” In Advances in Cryptology - ASIACRYPT 2010
- 16th International Conference on the Theory and Application of Cryptology and
Information Security, Singapore, December 5-9, 2010. Proceedings, 232--249,
2010. https://doi.org/10.1007/978-3-642-17373-8_14.
ieee: T. Jager, F. Kohlar, S. Schäge, and J. Schwenk, “Generic Compilers for Authenticated
Key Exchange,” in Advances in Cryptology - ASIACRYPT 2010 - 16th International
Conference on the Theory and Application of Cryptology and Information Security,
Singapore, December 5-9, 2010. Proceedings, 2010, pp. 232--249.
mla: Jager, Tibor, et al. “Generic Compilers for Authenticated Key Exchange.” Advances
in Cryptology - ASIACRYPT 2010 - 16th International Conference on the Theory and
Application of Cryptology and Information Security, Singapore, December 5-9, 2010.
Proceedings, 2010, pp. 232--249, doi:10.1007/978-3-642-17373-8_14.
short: 'T. Jager, F. Kohlar, S. Schäge, J. Schwenk, in: Advances in Cryptology -
ASIACRYPT 2010 - 16th International Conference on the Theory and Application of
Cryptology and Information Security, Singapore, December 5-9, 2010. Proceedings,
2010, pp. 232--249.'
date_created: 2018-06-07T09:28:51Z
date_updated: 2022-01-06T06:58:58Z
department:
- _id: '558'
doi: 10.1007/978-3-642-17373-8_14
extern: '1'
page: 232--249
publication: Advances in Cryptology - ASIACRYPT 2010 - 16th International Conference
on the Theory and Application of Cryptology and Information Security, Singapore,
December 5-9, 2010. Proceedings
status: public
title: Generic Compilers for Authenticated Key Exchange
type: conference
user_id: '38235'
year: '2010'
...
---
_id: '3140'
author:
- first_name: Tibor
full_name: Jager, Tibor
id: '64669'
last_name: Jager
- first_name: Andy
full_name: Rupp, Andy
last_name: Rupp
citation:
ama: 'Jager T, Rupp A. The Semi-Generic Group Model and Applications to Pairing-Based
Cryptography. In: Advances in Cryptology - ASIACRYPT 2010 - 16th International
Conference on the Theory and Application of Cryptology and Information Security,
Singapore, December 5-9, 2010. Proceedings. ; 2010:539--556. doi:10.1007/978-3-642-17373-8_31'
apa: Jager, T., & Rupp, A. (2010). The Semi-Generic Group Model and Applications
to Pairing-Based Cryptography. In Advances in Cryptology - ASIACRYPT 2010 -
16th International Conference on the Theory and Application of Cryptology and
Information Security, Singapore, December 5-9, 2010. Proceedings (pp. 539--556).
https://doi.org/10.1007/978-3-642-17373-8_31
bibtex: '@inproceedings{Jager_Rupp_2010, title={The Semi-Generic Group Model and
Applications to Pairing-Based Cryptography}, DOI={10.1007/978-3-642-17373-8_31},
booktitle={Advances in Cryptology - ASIACRYPT 2010 - 16th International Conference
on the Theory and Application of Cryptology and Information Security, Singapore,
December 5-9, 2010. Proceedings}, author={Jager, Tibor and Rupp, Andy}, year={2010},
pages={539--556} }'
chicago: Jager, Tibor, and Andy Rupp. “The Semi-Generic Group Model and Applications
to Pairing-Based Cryptography.” In Advances in Cryptology - ASIACRYPT 2010
- 16th International Conference on the Theory and Application of Cryptology and
Information Security, Singapore, December 5-9, 2010. Proceedings, 539--556,
2010. https://doi.org/10.1007/978-3-642-17373-8_31.
ieee: T. Jager and A. Rupp, “The Semi-Generic Group Model and Applications to Pairing-Based
Cryptography,” in Advances in Cryptology - ASIACRYPT 2010 - 16th International
Conference on the Theory and Application of Cryptology and Information Security,
Singapore, December 5-9, 2010. Proceedings, 2010, pp. 539--556.
mla: Jager, Tibor, and Andy Rupp. “The Semi-Generic Group Model and Applications
to Pairing-Based Cryptography.” Advances in Cryptology - ASIACRYPT 2010 - 16th
International Conference on the Theory and Application of Cryptology and Information
Security, Singapore, December 5-9, 2010. Proceedings, 2010, pp. 539--556,
doi:10.1007/978-3-642-17373-8_31.
short: 'T. Jager, A. Rupp, in: Advances in Cryptology - ASIACRYPT 2010 - 16th International
Conference on the Theory and Application of Cryptology and Information Security,
Singapore, December 5-9, 2010. Proceedings, 2010, pp. 539--556.'
date_created: 2018-06-07T09:29:23Z
date_updated: 2022-01-06T06:58:58Z
department:
- _id: '558'
doi: 10.1007/978-3-642-17373-8_31
extern: '1'
page: 539--556
publication: Advances in Cryptology - ASIACRYPT 2010 - 16th International Conference
on the Theory and Application of Cryptology and Information Security, Singapore,
December 5-9, 2010. Proceedings
status: public
title: The Semi-Generic Group Model and Applications to Pairing-Based Cryptography
type: conference
user_id: '38235'
year: '2010'
...
---
_id: '3141'
author:
- first_name: Kristiyan
full_name: Haralambiev, Kristiyan
last_name: Haralambiev
- first_name: Tibor
full_name: Jager, Tibor
id: '64669'
last_name: Jager
- first_name: Eike
full_name: Kiltz, Eike
last_name: Kiltz
- first_name: Victor
full_name: Shoup, Victor
last_name: Shoup
citation:
ama: 'Haralambiev K, Jager T, Kiltz E, Shoup V. Simple and Efficient Public-Key
Encryption from Computational Diffie-Hellman in the Standard Model. In: Public
Key Cryptography - PKC 2010, 13th International Conference on Practice and Theory
in Public Key Cryptography, Paris, France, May 26-28, 2010. Proceedings. ;
2010:1--18. doi:10.1007/978-3-642-13013-7_1'
apa: Haralambiev, K., Jager, T., Kiltz, E., & Shoup, V. (2010). Simple and Efficient
Public-Key Encryption from Computational Diffie-Hellman in the Standard Model.
In Public Key Cryptography - PKC 2010, 13th International Conference on Practice
and Theory in Public Key Cryptography, Paris, France, May 26-28, 2010. Proceedings
(pp. 1--18). https://doi.org/10.1007/978-3-642-13013-7_1
bibtex: '@inproceedings{Haralambiev_Jager_Kiltz_Shoup_2010, title={Simple and Efficient
Public-Key Encryption from Computational Diffie-Hellman in the Standard Model},
DOI={10.1007/978-3-642-13013-7_1},
booktitle={Public Key Cryptography - PKC 2010, 13th International Conference on
Practice and Theory in Public Key Cryptography, Paris, France, May 26-28, 2010.
Proceedings}, author={Haralambiev, Kristiyan and Jager, Tibor and Kiltz, Eike
and Shoup, Victor}, year={2010}, pages={1--18} }'
chicago: Haralambiev, Kristiyan, Tibor Jager, Eike Kiltz, and Victor Shoup. “Simple
and Efficient Public-Key Encryption from Computational Diffie-Hellman in the Standard
Model.” In Public Key Cryptography - PKC 2010, 13th International Conference
on Practice and Theory in Public Key Cryptography, Paris, France, May 26-28, 2010.
Proceedings, 1--18, 2010. https://doi.org/10.1007/978-3-642-13013-7_1.
ieee: K. Haralambiev, T. Jager, E. Kiltz, and V. Shoup, “Simple and Efficient Public-Key
Encryption from Computational Diffie-Hellman in the Standard Model,” in Public
Key Cryptography - PKC 2010, 13th International Conference on Practice and Theory
in Public Key Cryptography, Paris, France, May 26-28, 2010. Proceedings, 2010,
pp. 1--18.
mla: Haralambiev, Kristiyan, et al. “Simple and Efficient Public-Key Encryption
from Computational Diffie-Hellman in the Standard Model.” Public Key Cryptography
- PKC 2010, 13th International Conference on Practice and Theory in Public Key
Cryptography, Paris, France, May 26-28, 2010. Proceedings, 2010, pp. 1--18,
doi:10.1007/978-3-642-13013-7_1.
short: 'K. Haralambiev, T. Jager, E. Kiltz, V. Shoup, in: Public Key Cryptography
- PKC 2010, 13th International Conference on Practice and Theory in Public Key
Cryptography, Paris, France, May 26-28, 2010. Proceedings, 2010, pp. 1--18.'
date_created: 2018-06-07T09:29:52Z
date_updated: 2022-01-06T06:58:58Z
department:
- _id: '558'
doi: 10.1007/978-3-642-13013-7_1
extern: '1'
page: 1--18
publication: Public Key Cryptography - PKC 2010, 13th International Conference on
Practice and Theory in Public Key Cryptography, Paris, France, May 26-28, 2010.
Proceedings
status: public
title: Simple and Efficient Public-Key Encryption from Computational Diffie-Hellman
in the Standard Model
type: conference
user_id: '38235'
year: '2010'
...
---
_id: '3189'
author:
- first_name: John
full_name: Derrick, John
last_name: Derrick
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: Derrick J, Wehrheim H. Model transformations across views. Sci Comput Program.
2010;(3):192--210. doi:10.1016/j.scico.2009.11.004
apa: Derrick, J., & Wehrheim, H. (2010). Model transformations across views.
Sci. Comput. Program., (3), 192--210. https://doi.org/10.1016/j.scico.2009.11.004
bibtex: '@article{Derrick_Wehrheim_2010, title={Model transformations across views},
DOI={10.1016/j.scico.2009.11.004},
number={3}, journal={Sci. Comput. Program.}, author={Derrick, John and Wehrheim,
Heike}, year={2010}, pages={192--210} }'
chicago: 'Derrick, John, and Heike Wehrheim. “Model Transformations across Views.”
Sci. Comput. Program., no. 3 (2010): 192--210. https://doi.org/10.1016/j.scico.2009.11.004.'
ieee: J. Derrick and H. Wehrheim, “Model transformations across views,” Sci.
Comput. Program., no. 3, pp. 192--210, 2010.
mla: Derrick, John, and Heike Wehrheim. “Model Transformations across Views.” Sci.
Comput. Program., no. 3, 2010, pp. 192--210, doi:10.1016/j.scico.2009.11.004.
short: J. Derrick, H. Wehrheim, Sci. Comput. Program. (2010) 192--210.
date_created: 2018-06-13T08:44:32Z
date_updated: 2022-01-06T06:59:03Z
department:
- _id: '77'
doi: 10.1016/j.scico.2009.11.004
issue: '3'
page: 192--210
publication: Sci. Comput. Program.
status: public
title: Model transformations across views
type: journal_article
user_id: '29719'
year: '2010'
...
---
_id: '3191'
author:
- first_name: Wilhelm
full_name: Schäfer, Wilhelm
last_name: Schäfer
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'Schäfer W, Wehrheim H. Model-Driven Development with Mechatronic {UML}. In:
Engels G, Lewerentz C, Sch{\"{a}}fer W, Sch{\"{u}}rr A, Westfechtel B, eds. Graph
Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl
on the Occasion of His 65th Birthday. Lecture Notes in Computer Science. ;
2010:533--554. doi:10.1007/978-3-642-17322-6_23'
apa: Schäfer, W., & Wehrheim, H. (2010). Model-Driven Development with Mechatronic
{UML}. In G. Engels, C. Lewerentz, W. Sch{\"{a}}fer, A. Sch{\"{u}}rr, & B.
Westfechtel (Eds.), Graph Transformations and Model-Driven Engineering - Essays
Dedicated to Manfred Nagl on the Occasion of his 65th Birthday (pp. 533--554).
https://doi.org/10.1007/978-3-642-17322-6_23
bibtex: '@inproceedings{Schäfer_Wehrheim_2010, series={Lecture Notes in Computer
Science}, title={Model-Driven Development with Mechatronic {UML}}, DOI={10.1007/978-3-642-17322-6_23},
booktitle={Graph Transformations and Model-Driven Engineering - Essays Dedicated
to Manfred Nagl on the Occasion of his 65th Birthday}, author={Schäfer, Wilhelm
and Wehrheim, Heike}, editor={Engels, Gregor and Lewerentz, Claus and Sch{\"{a}}fer,
Wilhelm and Sch{\"{u}}rr, Andy and Westfechtel, BernhardEditors}, year={2010},
pages={533--554}, collection={Lecture Notes in Computer Science} }'
chicago: Schäfer, Wilhelm, and Heike Wehrheim. “Model-Driven Development with Mechatronic
{UML}.” In Graph Transformations and Model-Driven Engineering - Essays Dedicated
to Manfred Nagl on the Occasion of His 65th Birthday, edited by Gregor Engels,
Claus Lewerentz, Wilhelm Sch{\"{a}}fer, Andy Sch{\"{u}}rr, and Bernhard Westfechtel,
533--554. Lecture Notes in Computer Science, 2010. https://doi.org/10.1007/978-3-642-17322-6_23.
ieee: W. Schäfer and H. Wehrheim, “Model-Driven Development with Mechatronic {UML},”
in Graph Transformations and Model-Driven Engineering - Essays Dedicated to
Manfred Nagl on the Occasion of his 65th Birthday, 2010, pp. 533--554.
mla: Schäfer, Wilhelm, and Heike Wehrheim. “Model-Driven Development with Mechatronic
{UML}.” Graph Transformations and Model-Driven Engineering - Essays Dedicated
to Manfred Nagl on the Occasion of His 65th Birthday, edited by Gregor Engels
et al., 2010, pp. 533--554, doi:10.1007/978-3-642-17322-6_23.
short: 'W. Schäfer, H. Wehrheim, in: G. Engels, C. Lewerentz, W. Sch{\"{a}}fer,
A. Sch{\"{u}}rr, B. Westfechtel (Eds.), Graph Transformations and Model-Driven
Engineering - Essays Dedicated to Manfred Nagl on the Occasion of His 65th Birthday,
2010, pp. 533--554.'
date_created: 2018-06-13T09:10:56Z
date_updated: 2022-01-06T06:59:04Z
department:
- _id: '77'
doi: 10.1007/978-3-642-17322-6_23
editor:
- first_name: Gregor
full_name: Engels, Gregor
last_name: Engels
- first_name: Claus
full_name: Lewerentz, Claus
last_name: Lewerentz
- first_name: Wilhelm
full_name: Sch{\"{a}}fer, Wilhelm
last_name: Sch{\"{a}}fer
- first_name: Andy
full_name: Sch{\"{u}}rr, Andy
last_name: Sch{\"{u}}rr
- first_name: Bernhard
full_name: Westfechtel, Bernhard
last_name: Westfechtel
page: 533--554
publication: Graph Transformations and Model-Driven Engineering - Essays Dedicated
to Manfred Nagl on the Occasion of his 65th Birthday
series_title: Lecture Notes in Computer Science
status: public
title: Model-Driven Development with Mechatronic {UML}
type: conference
user_id: '29719'
year: '2010'
...
---
_id: '3193'
author:
- first_name: Nils
full_name: Timm, Nils
last_name: Timm
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'Timm N, Wehrheim H. On Symmetries and Spotlights - Verifying Parameterised
Systems. In: Song Dong J, Zhu H, eds. Formal Methods and Software Engineering
- 12th International Conference on Formal Engineering Methods, {ICFEM} 2010, Shanghai,
China, November 17-19, 2010. Proceedings. Lecture Notes in Computer Science.
; 2010:534--548. doi:10.1007/978-3-642-16901-4_35'
apa: Timm, N., & Wehrheim, H. (2010). On Symmetries and Spotlights - Verifying
Parameterised Systems. In J. Song Dong & H. Zhu (Eds.), Formal Methods
and Software Engineering - 12th International Conference on Formal Engineering
Methods, {ICFEM} 2010, Shanghai, China, November 17-19, 2010. Proceedings
(pp. 534--548). https://doi.org/10.1007/978-3-642-16901-4_35
bibtex: '@inproceedings{Timm_Wehrheim_2010, series={Lecture Notes in Computer Science},
title={On Symmetries and Spotlights - Verifying Parameterised Systems}, DOI={10.1007/978-3-642-16901-4_35},
booktitle={Formal Methods and Software Engineering - 12th International Conference
on Formal Engineering Methods, {ICFEM} 2010, Shanghai, China, November 17-19,
2010. Proceedings}, author={Timm, Nils and Wehrheim, Heike}, editor={Song Dong,
Jin and Zhu, HuibiaoEditors}, year={2010}, pages={534--548}, collection={Lecture
Notes in Computer Science} }'
chicago: Timm, Nils, and Heike Wehrheim. “On Symmetries and Spotlights - Verifying
Parameterised Systems.” In Formal Methods and Software Engineering - 12th International
Conference on Formal Engineering Methods, {ICFEM} 2010, Shanghai, China, November
17-19, 2010. Proceedings, edited by Jin Song Dong and Huibiao Zhu, 534--548.
Lecture Notes in Computer Science, 2010. https://doi.org/10.1007/978-3-642-16901-4_35.
ieee: N. Timm and H. Wehrheim, “On Symmetries and Spotlights - Verifying Parameterised
Systems,” in Formal Methods and Software Engineering - 12th International Conference
on Formal Engineering Methods, {ICFEM} 2010, Shanghai, China, November 17-19,
2010. Proceedings, 2010, pp. 534--548.
mla: Timm, Nils, and Heike Wehrheim. “On Symmetries and Spotlights - Verifying Parameterised
Systems.” Formal Methods and Software Engineering - 12th International Conference
on Formal Engineering Methods, {ICFEM} 2010, Shanghai, China, November 17-19,
2010. Proceedings, edited by Jin Song Dong and Huibiao Zhu, 2010, pp. 534--548,
doi:10.1007/978-3-642-16901-4_35.
short: 'N. Timm, H. Wehrheim, in: J. Song Dong, H. Zhu (Eds.), Formal Methods and
Software Engineering - 12th International Conference on Formal Engineering Methods,
{ICFEM} 2010, Shanghai, China, November 17-19, 2010. Proceedings, 2010, pp. 534--548.'
date_created: 2018-06-13T09:12:28Z
date_updated: 2022-01-06T06:59:04Z
department:
- _id: '77'
doi: 10.1007/978-3-642-16901-4_35
editor:
- first_name: Jin
full_name: Song Dong, Jin
last_name: Song Dong
- first_name: Huibiao
full_name: Zhu, Huibiao
last_name: Zhu
page: 534--548
publication: Formal Methods and Software Engineering - 12th International Conference
on Formal Engineering Methods, {ICFEM} 2010, Shanghai, China, November 17-19, 2010.
Proceedings
series_title: Lecture Notes in Computer Science
status: public
title: On Symmetries and Spotlights - Verifying Parameterised Systems
type: conference
user_id: '29719'
year: '2010'
...
---
_id: '3194'
author:
- first_name: Mathias
full_name: Hülsbusch, Mathias
last_name: Hülsbusch
- first_name: Barbara
full_name: König, Barbara
last_name: König
- first_name: Arend
full_name: Rensink, Arend
last_name: Rensink
- first_name: Maria
full_name: Semenyak, Maria
last_name: Semenyak
- first_name: Christian
full_name: Soltenborn, Christian
id: '1737'
last_name: Soltenborn
orcid: 0000-0002-0342-8227
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'Hülsbusch M, König B, Rensink A, Semenyak M, Soltenborn C, Wehrheim H. Showing
Full Semantics Preservation in Model Transformation - {A} Comparison of Techniques.
In: M{\’{e}}ry D, Merz S, eds. Integrated Formal Methods - 8th International
Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings. Lecture
Notes in Computer Science. ; 2010:183--198. doi:10.1007/978-3-642-16265-7_14'
apa: Hülsbusch, M., König, B., Rensink, A., Semenyak, M., Soltenborn, C., &
Wehrheim, H. (2010). Showing Full Semantics Preservation in Model Transformation
- {A} Comparison of Techniques. In D. M{\’{e}}ry & S. Merz (Eds.), Integrated
Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October
11-14, 2010. Proceedings (pp. 183--198). https://doi.org/10.1007/978-3-642-16265-7_14
bibtex: '@inproceedings{Hülsbusch_König_Rensink_Semenyak_Soltenborn_Wehrheim_2010,
series={Lecture Notes in Computer Science}, title={Showing Full Semantics Preservation
in Model Transformation - {A} Comparison of Techniques}, DOI={10.1007/978-3-642-16265-7_14},
booktitle={Integrated Formal Methods - 8th International Conference, {IFM} 2010,
Nancy, France, October 11-14, 2010. Proceedings}, author={Hülsbusch, Mathias and
König, Barbara and Rensink, Arend and Semenyak, Maria and Soltenborn, Christian
and Wehrheim, Heike}, editor={M{\’{e}}ry, Dominique and Merz, StephanEditors},
year={2010}, pages={183--198}, collection={Lecture Notes in Computer Science}
}'
chicago: Hülsbusch, Mathias, Barbara König, Arend Rensink, Maria Semenyak, Christian
Soltenborn, and Heike Wehrheim. “Showing Full Semantics Preservation in Model
Transformation - {A} Comparison of Techniques.” In Integrated Formal Methods
- 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010.
Proceedings, edited by Dominique M{\’{e}}ry and Stephan Merz, 183--198. Lecture
Notes in Computer Science, 2010. https://doi.org/10.1007/978-3-642-16265-7_14.
ieee: M. Hülsbusch, B. König, A. Rensink, M. Semenyak, C. Soltenborn, and H. Wehrheim,
“Showing Full Semantics Preservation in Model Transformation - {A} Comparison
of Techniques,” in Integrated Formal Methods - 8th International Conference,
{IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings, 2010, pp. 183--198.
mla: Hülsbusch, Mathias, et al. “Showing Full Semantics Preservation in Model Transformation
- {A} Comparison of Techniques.” Integrated Formal Methods - 8th International
Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings, edited
by Dominique M{\’{e}}ry and Stephan Merz, 2010, pp. 183--198, doi:10.1007/978-3-642-16265-7_14.
short: 'M. Hülsbusch, B. König, A. Rensink, M. Semenyak, C. Soltenborn, H. Wehrheim,
in: D. M{\’{e}}ry, S. Merz (Eds.), Integrated Formal Methods - 8th International
Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings, 2010,
pp. 183--198.'
date_created: 2018-06-13T09:19:33Z
date_updated: 2022-01-06T06:59:04Z
department:
- _id: '77'
doi: 10.1007/978-3-642-16265-7_14
editor:
- first_name: Dominique
full_name: M{\'{e}}ry, Dominique
last_name: M{\'{e}}ry
- first_name: Stephan
full_name: Merz, Stephan
last_name: Merz
language:
- iso: eng
page: 183--198
publication: Integrated Formal Methods - 8th International Conference, {IFM} 2010,
Nancy, France, October 11-14, 2010. Proceedings
series_title: Lecture Notes in Computer Science
status: public
title: Showing Full Semantics Preservation in Model Transformation - {A} Comparison
of Techniques
type: conference
user_id: '14955'
year: '2010'
...
---
_id: '27159'
author:
- first_name: Sufyan
full_name: Samara, Sufyan
last_name: Samara
- first_name: Gunnar
full_name: Schomaker, Gunnar
last_name: Schomaker
citation:
ama: 'Samara S, Schomaker G. Real-time Adaptation and Load Balancing Aware OS Services
for Distributed Reconfigurable System on Chip. In: 2010 10th IEEE International
Conference on Computer and Information Technology. ; 2010. doi:10.1109/cit.2010.304'
apa: Samara, S., & Schomaker, G. (2010). Real-time Adaptation and Load Balancing
Aware OS Services for Distributed Reconfigurable System on Chip. 2010 10th
IEEE International Conference on Computer and Information Technology. https://doi.org/10.1109/cit.2010.304
bibtex: '@inproceedings{Samara_Schomaker_2010, title={Real-time Adaptation and Load
Balancing Aware OS Services for Distributed Reconfigurable System on Chip}, DOI={10.1109/cit.2010.304}, booktitle={2010
10th IEEE International Conference on Computer and Information Technology}, author={Samara,
Sufyan and Schomaker, Gunnar}, year={2010} }'
chicago: Samara, Sufyan, and Gunnar Schomaker. “Real-Time Adaptation and Load Balancing
Aware OS Services for Distributed Reconfigurable System on Chip.” In 2010 10th
IEEE International Conference on Computer and Information Technology, 2010.
https://doi.org/10.1109/cit.2010.304.
ieee: 'S. Samara and G. Schomaker, “Real-time Adaptation and Load Balancing Aware
OS Services for Distributed Reconfigurable System on Chip,” 2010, doi: 10.1109/cit.2010.304.'
mla: Samara, Sufyan, and Gunnar Schomaker. “Real-Time Adaptation and Load Balancing
Aware OS Services for Distributed Reconfigurable System on Chip.” 2010 10th
IEEE International Conference on Computer and Information Technology, 2010,
doi:10.1109/cit.2010.304.
short: 'S. Samara, G. Schomaker, in: 2010 10th IEEE International Conference on
Computer and Information Technology, 2010.'
date_created: 2021-11-04T15:53:55Z
date_updated: 2022-01-06T06:57:35Z
department:
- _id: '63'
- _id: '26'
doi: 10.1109/cit.2010.304
language:
- iso: eng
publication: 2010 10th IEEE International Conference on Computer and Information Technology
publication_status: published
status: public
title: Real-time Adaptation and Load Balancing Aware OS Services for Distributed Reconfigurable
System on Chip
type: conference
user_id: '15415'
year: '2010'
...
---
_id: '20934'
author:
- first_name: Markus
full_name: von Detten, Markus
last_name: von Detten
- first_name: Matthias
full_name: Meyer, Matthias
id: '683'
last_name: Meyer
- first_name: Dietrich
full_name: Travkin, Dietrich
last_name: Travkin
citation:
ama: 'von Detten M, Meyer M, Travkin D. Reverse Engineering with the Reclipse Tool
Suite. In: Proceedings of the 32nd ACM/IEEE International Conference on Software
Engineering (ICSE 2010), Cape Town, South Africa, May 2-8, 2010. Vol 2. ACM
Press; 2010:299-300.'
apa: von Detten, M., Meyer, M., & Travkin, D. (2010). Reverse Engineering with
the Reclipse Tool Suite. Proceedings of the 32nd ACM/IEEE International Conference
on Software Engineering (ICSE 2010), Cape Town, South Africa, May 2-8, 2010,
2, 299–300.
bibtex: '@inproceedings{von Detten_Meyer_Travkin_2010, place={New York, NY, USA},
title={Reverse Engineering with the Reclipse Tool Suite}, volume={2}, booktitle={Proceedings
of the 32nd ACM/IEEE International Conference on Software Engineering (ICSE 2010),
Cape Town, South Africa, May 2-8, 2010}, publisher={ACM Press}, author={von Detten,
Markus and Meyer, Matthias and Travkin, Dietrich}, year={2010}, pages={299–300}
}'
chicago: 'Detten, Markus von, Matthias Meyer, and Dietrich Travkin. “Reverse Engineering
with the Reclipse Tool Suite.” In Proceedings of the 32nd ACM/IEEE International
Conference on Software Engineering (ICSE 2010), Cape Town, South Africa, May 2-8,
2010, 2:299–300. New York, NY, USA: ACM Press, 2010.'
ieee: M. von Detten, M. Meyer, and D. Travkin, “Reverse Engineering with the Reclipse
Tool Suite,” in Proceedings of the 32nd ACM/IEEE International Conference on
Software Engineering (ICSE 2010), Cape Town, South Africa, May 2-8, 2010,
2010, vol. 2, pp. 299–300.
mla: von Detten, Markus, et al. “Reverse Engineering with the Reclipse Tool Suite.”
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering
(ICSE 2010), Cape Town, South Africa, May 2-8, 2010, vol. 2, ACM Press, 2010,
pp. 299–300.
short: 'M. von Detten, M. Meyer, D. Travkin, in: Proceedings of the 32nd ACM/IEEE
International Conference on Software Engineering (ICSE 2010), Cape Town, South
Africa, May 2-8, 2010, ACM Press, New York, NY, USA, 2010, pp. 299–300.'
date_created: 2021-01-13T10:00:42Z
date_updated: 2022-01-06T06:54:41Z
department:
- _id: '76'
intvolume: ' 2'
language:
- iso: eng
page: 299 - 300
place: New York, NY, USA
publication: Proceedings of the 32nd ACM/IEEE International Conference on Software
Engineering (ICSE 2010), Cape Town, South Africa, May 2-8, 2010
publisher: ACM Press
status: public
title: Reverse Engineering with the Reclipse Tool Suite
type: conference
user_id: '5786'
volume: 2
year: '2010'
...
---
_id: '20935'
abstract:
- lang: eng
text: Design pattern detection is a reverse engineering methodology that helps software
engineers to analyze and understand legacy software by recovering design decisions
and thereby providing deeper insight into software. In this report we present
Reclipse, a reverse engineering tool suite based on Fujaba. Reclipse provides
static and dynamic design pattern detection in combination with a pattern rating
that is used to evaluate the quality of our detection results.
author:
- first_name: Markus
full_name: von Detten, Markus
last_name: von Detten
- first_name: Matthias
full_name: Meyer, Matthias
id: '683'
last_name: Meyer
- first_name: Dietrich
full_name: Travkin, Dietrich
last_name: Travkin
citation:
ama: von Detten M, Meyer M, Travkin D. Reclipse - A Reverse Engineering Tool
Suite.; 2010.
apa: von Detten, M., Meyer, M., & Travkin, D. (2010). Reclipse - A Reverse
Engineering Tool Suite.
bibtex: '@book{von Detten_Meyer_Travkin_2010, title={Reclipse - A Reverse Engineering
Tool Suite}, author={von Detten, Markus and Meyer, Matthias and Travkin, Dietrich},
year={2010} }'
chicago: Detten, Markus von, Matthias Meyer, and Dietrich Travkin. Reclipse -
A Reverse Engineering Tool Suite, 2010.
ieee: M. von Detten, M. Meyer, and D. Travkin, Reclipse - A Reverse Engineering
Tool Suite. 2010.
mla: von Detten, Markus, et al. Reclipse - A Reverse Engineering Tool Suite.
2010.
short: M. von Detten, M. Meyer, D. Travkin, Reclipse - A Reverse Engineering Tool
Suite, 2010.
date_created: 2021-01-13T10:01:07Z
date_updated: 2022-01-06T06:54:41Z
department:
- _id: '76'
language:
- iso: eng
status: public
title: Reclipse - A Reverse Engineering Tool Suite
type: report
user_id: '5786'
year: '2010'
...
---
_id: '20936'
author:
- first_name: Renate
full_name: Löffler, Renate
last_name: Löffler
- first_name: Matthias
full_name: Meyer, Matthias
id: '683'
last_name: Meyer
- first_name: Matthias
full_name: Gottschalk, Matthias
last_name: Gottschalk
citation:
ama: 'Löffler R, Meyer M, Gottschalk M. Formal Scenario-based Requirements Specification
and Test Case Generation in Healthcare Applications. In: Proceedings of the
2010 ICSE Workshop on Software Engineering in Health Care. ACM; 2010:57-67.'
apa: Löffler, R., Meyer, M., & Gottschalk, M. (2010). Formal Scenario-based
Requirements Specification and Test Case Generation in Healthcare Applications.
Proceedings of the 2010 ICSE Workshop on Software Engineering in Health Care,
57–67.
bibtex: '@inproceedings{Löffler_Meyer_Gottschalk_2010, place={New York, NY, USA},
title={Formal Scenario-based Requirements Specification and Test Case Generation
in Healthcare Applications}, booktitle={Proceedings of the 2010 ICSE Workshop
on Software Engineering in Health Care}, publisher={ACM}, author={Löffler, Renate
and Meyer, Matthias and Gottschalk, Matthias}, year={2010}, pages={57–67} }'
chicago: 'Löffler, Renate, Matthias Meyer, and Matthias Gottschalk. “Formal Scenario-Based
Requirements Specification and Test Case Generation in Healthcare Applications.”
In Proceedings of the 2010 ICSE Workshop on Software Engineering in Health
Care, 57–67. New York, NY, USA: ACM, 2010.'
ieee: R. Löffler, M. Meyer, and M. Gottschalk, “Formal Scenario-based Requirements
Specification and Test Case Generation in Healthcare Applications,” in Proceedings
of the 2010 ICSE Workshop on Software Engineering in Health Care, 2010, pp.
57–67.
mla: Löffler, Renate, et al. “Formal Scenario-Based Requirements Specification and
Test Case Generation in Healthcare Applications.” Proceedings of the 2010 ICSE
Workshop on Software Engineering in Health Care, ACM, 2010, pp. 57–67.
short: 'R. Löffler, M. Meyer, M. Gottschalk, in: Proceedings of the 2010 ICSE Workshop
on Software Engineering in Health Care, ACM, New York, NY, USA, 2010, pp. 57–67.'
date_created: 2021-01-13T10:01:49Z
date_updated: 2022-01-06T06:54:41Z
department:
- _id: '76'
language:
- iso: eng
page: 57-67
place: New York, NY, USA
publication: Proceedings of the 2010 ICSE Workshop on Software Engineering in Health
Care
publisher: ACM
status: public
title: Formal Scenario-based Requirements Specification and Test Case Generation in
Healthcare Applications
type: conference
user_id: '5786'
year: '2010'
...
---
_id: '20961'
abstract:
- lang: eng
text: "Self-healing promises to improve the dependability of systems. In particular
safety-critical systems like automotive systems are well suited application, since
safe operation is required in these systems even in case of failures. Prerequisite
for the improved dependability is the correct realization of the self-healing
techniques. Consequently, self-healing activities should be rigorously specified
and appropriately integrated with the rest of the system. In this paper, we present
an approach for designing self-healing mechanisms in automotive systems. The approach
contains a construction model which consist of a structural description as well
as an extensive set of constraints. The constraints specify a correct system structure
and are also used in the self-healing activities. We exemplify the self-healing
approach using the adaptive cruise control system of modern cars.\r\n"
author:
- first_name: Hella
full_name: Seebach, Hella
last_name: Seebach
- first_name: Florian
full_name: Nafz, Florian
last_name: Nafz
- 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
- first_name: Matthias
full_name: Tichy, Matthias
last_name: Tichy
- first_name: Wolfgang
full_name: Reif, Wolfgang
last_name: Reif
- first_name: Wilhelm
full_name: Schäfer, Wilhelm
last_name: Schäfer
citation:
ama: 'Seebach H, Nafz F, Holtmann J, et al. Designing Self-healing in Automotive
Systems. In: Lecture Notes in Computer Science. ; 2010. doi:10.1007/978-3-642-16576-4_4'
apa: Seebach, H., Nafz, F., Holtmann, J., Meyer, J., Tichy, M., Reif, W., &
Schäfer, W. (2010). Designing Self-healing in Automotive Systems. In Lecture
Notes in Computer Science. https://doi.org/10.1007/978-3-642-16576-4_4
bibtex: '@inbook{Seebach_Nafz_Holtmann_Meyer_Tichy_Reif_Schäfer_2010, place={Berlin,
Heidelberg}, title={Designing Self-healing in Automotive Systems}, DOI={10.1007/978-3-642-16576-4_4},
booktitle={Lecture Notes in Computer Science}, author={Seebach, Hella and Nafz,
Florian and Holtmann, Jörg and Meyer, Jan and Tichy, Matthias and Reif, Wolfgang
and Schäfer, Wilhelm}, year={2010} }'
chicago: Seebach, Hella, Florian Nafz, Jörg Holtmann, Jan Meyer, Matthias Tichy,
Wolfgang Reif, and Wilhelm Schäfer. “Designing Self-Healing in Automotive Systems.”
In Lecture Notes in Computer Science. Berlin, Heidelberg, 2010. https://doi.org/10.1007/978-3-642-16576-4_4.
ieee: H. Seebach et al., “Designing Self-healing in Automotive Systems,”
in Lecture Notes in Computer Science, Berlin, Heidelberg, 2010.
mla: Seebach, Hella, et al. “Designing Self-Healing in Automotive Systems.” Lecture
Notes in Computer Science, 2010, doi:10.1007/978-3-642-16576-4_4.
short: 'H. Seebach, F. Nafz, J. Holtmann, J. Meyer, M. Tichy, W. Reif, W. Schäfer,
in: Lecture Notes in Computer Science, Berlin, Heidelberg, 2010.'
date_created: 2021-01-13T10:54:04Z
date_updated: 2022-01-06T06:54:42Z
department:
- _id: '76'
doi: 10.1007/978-3-642-16576-4_4
language:
- iso: eng
place: Berlin, Heidelberg
publication: Lecture Notes in Computer Science
publication_identifier:
isbn:
- '9783642165757'
- '9783642165764'
issn:
- 0302-9743
- 1611-3349
publication_status: published
status: public
title: Designing Self-healing in Automotive Systems
type: book_chapter
user_id: '5786'
year: '2010'
...
---
_id: '20962'
abstract:
- lang: eng
text: Im Bereich der eingebetteten Systeme, beispielsweise im Automobilsektor, wird
heutzutage immer mehr auf eine modellbasierte Entwicklung gesetzt. Die Anforderungen
an die zu entwickelnden Systeme werden dagegen aus juristischen Gründen und zwecks
einer guten Verständlichkeit nach wie vor rein textuell formuliert. Ein Prosatext
lässt sich allerdings wegen der Fülle von Formulierungsmöglichkeiten nicht automatisiert
verarbeiten. Dies führt dazu, dass die Qualitätsanalyse der Anforderungen und
der Übergang von textuellen Anforderungen zu Systemmodellen auf manuelle Weise
erfolgen müssen. Dies kostet Zeit und ist fehleranfällig. In diesem Beitrag wird
ein Ansatz vorgestellt, mit dem Anforderungen auf Basis von Satzmustern weiterhin
textuell, aber gleichzeitig auch automatisiert verarbeitbar formuliert werden
können.
author:
- first_name: Jörg
full_name: Holtmann, Jörg
last_name: Holtmann
citation:
ama: Holtmann J. Mit Satzmustern von textuellen Anforderungen zu Modellen. OBJEKTspektrum.
2010;(RE/2010).
apa: Holtmann, J. (2010). Mit Satzmustern von textuellen Anforderungen zu Modellen.
OBJEKTspektrum, RE/2010.
bibtex: '@article{Holtmann_2010, title={Mit Satzmustern von textuellen Anforderungen
zu Modellen}, number={RE/2010}, journal={OBJEKTspektrum}, author={Holtmann, Jörg},
year={2010} }'
chicago: Holtmann, Jörg. “Mit Satzmustern von Textuellen Anforderungen Zu Modellen.”
OBJEKTspektrum, no. RE/2010 (2010).
ieee: J. Holtmann, “Mit Satzmustern von textuellen Anforderungen zu Modellen,” OBJEKTspektrum,
no. RE/2010, 2010.
mla: Holtmann, Jörg. “Mit Satzmustern von Textuellen Anforderungen Zu Modellen.”
OBJEKTspektrum, no. RE/2010, 2010.
short: J. Holtmann, OBJEKTspektrum (2010).
date_created: 2021-01-13T10:54:49Z
date_updated: 2022-01-06T06:54:42Z
department:
- _id: '76'
issue: RE/2010
language:
- iso: eng
publication: OBJEKTspektrum
status: public
title: Mit Satzmustern von textuellen Anforderungen zu Modellen
type: journal_article
user_id: '5786'
year: '2010'
...
---
_id: '20963'
abstract:
- lang: ger
text: Heutige Transportsysteme, wie z.B. Automobile sind gekennzeichnet durch eine
Vielzahl von Funktionalitaet, die sehr haeufig durch Software realisiert wird.
Hiermit ist eine Zunahme der Komplexitaet festzustellen. Zur Beherrschung dieser
Komplexitaet und damit einhergehend die Aufteilung des Systems in verschiedene
Komponenten, ist eine Gesamtmodellierung des Systems inklusive des Verhaltens
unerlaesslich. Ein besonderer Augenmerk liegt auf Grund der Echtzeitsysteme in
dieser Domaene dabei auf der Modellierung von Zeiten auf Systemebene. Die derzeitigen
Modellierungskonzepte, wie beispielsweise die Systems Modeling Language (SysML),
sind dafuer aber noch nicht ausreichend. In dem hier vorgestellten Ansatz wird
eine erweiterte Systemmodellierung vorgestellt, die zusaetzlich eine formale Spezifizierung
von Zeiten erlaubt. Durch diese Modellierung sind weitere Analysemethoden, wie
z.B. Simulationen oder Verifikationen moeglich, die zum einen die sicherheitsrelevante
Funktionalitaet sicherstellen und zum anderen die Qualitaet der Software steigern.
author:
- first_name: Jan
full_name: Meyer, Jan
last_name: Meyer
- first_name: Jörg
full_name: Holtmann, Jörg
id: '3875'
last_name: Holtmann
orcid: 0000-0001-6141-4571
- first_name: Wilhelm
full_name: Schäfer, Wilhelm
last_name: Schäfer
- first_name: Ulrich A.
full_name: Nickel, Ulrich A.
last_name: Nickel
citation:
ama: 'Meyer J, Holtmann J, Schäfer W, Nickel UA. Eine erweiterte Systemmodellierung
zur Entwicklung von softwareintensiven Anwendungen in der Automobilindustrie.
In: Software Engineering 2010 – Workshopband (Inkl. Doktorandensymposium).
Vol P-160. GI-Edition - Lecture Notes in Informatics (LNI). Bonner Koellen Verlag;
2010.'
apa: Meyer, J., Holtmann, J., Schäfer, W., & Nickel, U. A. (2010). Eine erweiterte
Systemmodellierung zur Entwicklung von softwareintensiven Anwendungen in der Automobilindustrie.
Software Engineering 2010 – Workshopband (Inkl. Doktorandensymposium),
P-160.
bibtex: '@inproceedings{Meyer_Holtmann_Schäfer_Nickel_2010, series={GI-Edition -
Lecture Notes in Informatics (LNI)}, title={Eine erweiterte Systemmodellierung
zur Entwicklung von softwareintensiven Anwendungen in der Automobilindustrie},
volume={P-160}, booktitle={Software Engineering 2010 – Workshopband (inkl. Doktorandensymposium)},
publisher={Bonner Koellen Verlag}, author={Meyer, Jan and Holtmann, Jörg and Schäfer,
Wilhelm and Nickel, Ulrich A.}, year={2010}, collection={GI-Edition - Lecture
Notes in Informatics (LNI)} }'
chicago: Meyer, Jan, Jörg Holtmann, Wilhelm Schäfer, and Ulrich A. Nickel. “Eine
Erweiterte Systemmodellierung Zur Entwicklung von Softwareintensiven Anwendungen
in Der Automobilindustrie.” In Software Engineering 2010 – Workshopband (Inkl.
Doktorandensymposium), Vol. P-160. GI-Edition - Lecture Notes in Informatics
(LNI). Bonner Koellen Verlag, 2010.
ieee: J. Meyer, J. Holtmann, W. Schäfer, and U. A. Nickel, “Eine erweiterte Systemmodellierung
zur Entwicklung von softwareintensiven Anwendungen in der Automobilindustrie,”
in Software Engineering 2010 – Workshopband (inkl. Doktorandensymposium),
2010, vol. P-160.
mla: Meyer, Jan, et al. “Eine Erweiterte Systemmodellierung Zur Entwicklung von
Softwareintensiven Anwendungen in Der Automobilindustrie.” Software Engineering
2010 – Workshopband (Inkl. Doktorandensymposium), vol. P-160, Bonner Koellen
Verlag, 2010.
short: 'J. Meyer, J. Holtmann, W. Schäfer, U.A. Nickel, in: Software Engineering
2010 – Workshopband (Inkl. Doktorandensymposium), Bonner Koellen Verlag, 2010.'
date_created: 2021-01-13T10:55:51Z
date_updated: 2022-01-06T06:54:42Z
department:
- _id: '76'
language:
- iso: eng
publication: Software Engineering 2010 – Workshopband (inkl. Doktorandensymposium)
publisher: Bonner Koellen Verlag
series_title: GI-Edition - Lecture Notes in Informatics (LNI)
status: public
title: Eine erweiterte Systemmodellierung zur Entwicklung von softwareintensiven Anwendungen
in der Automobilindustrie
type: conference
user_id: '5786'
volume: P-160
year: '2010'
...