@inproceedings{3810,
  author       = {{Wachsmuth, Henning and Prettenhofer, Peter and Stein, Benno}},
  booktitle    = {{Proceedings of the 23rd International Conference on Computational Linguistics (Coling 2010)}},
  pages        = {{1128--1136}},
  title        = {{{Efficient Statement Identification for Automatic Market Forecasting}}},
  year         = {{2010}},
}

@inbook{2988,
  author       = {{Ackermann, Marcel R. and Blömer, Johannes}},
  booktitle    = {{SWAT 2010}},
  isbn         = {{9783642137303}},
  issn         = {{0302-9743}},
  pages        = {{212--223}},
  publisher    = {{Springer Berlin Heidelberg}},
  title        = {{{Bregman Clustering for Separable Instances}}},
  doi          = {{10.1007/978-3-642-13731-0_21}},
  year         = {{2010}},
}

@article{2990,
  author       = {{Ackermann, Marcel R. and Blömer, Johannes and Sohler, Christian}},
  issn         = {{1549-6325}},
  journal      = {{ACM Trans. Algorithms}},
  keywords     = {{k-means clustering, k-median clustering, Approximation algorithm, Bregman divergences, Itakura-Saito divergence, Kullback-Leibler divergence, Mahalanobis distance, random sampling}},
  number       = {{4}},
  pages        = {{59:1----59:26}},
  title        = {{{Clustering for Metric and Nonmetric Distance Measures}}},
  doi          = {{10.1145/1824777.1824779}},
  year         = {{2010}},
}

@article{2991,
  author       = {{Krueger, Alexander and Leutnant, Volker and Haeb-Umbach, Reinhold and Ackermann, Marcel and Blömer, Johannes}},
  journal      = {{Proc. of ITG Fachtagung Sprachkommunikation. ITG, Bochum, Germany}},
  title        = {{{On the initialization of dynamic models for speech features}}},
  year         = {{2010}},
}

@inproceedings{2993,
  author       = {{Schrieb, Jonas}},
  title        = {{{Efficient and Compact CCA Security from Partitioned IBKEM}}},
  year         = {{2010}},
}

@inproceedings{2994,
  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}},
  booktitle    = {{Proceedings of the FSE/SDP workshop on Future of software engineering research - FoSER '10}},
  isbn         = {{9781450304276}},
  publisher    = {{ACM Press}},
  title        = {{{Engineering self-coordinating software intensive systems}}},
  doi          = {{10.1145/1882362.1882428}},
  year         = {{2010}},
}

@inproceedings{3139,
  author       = {{Jager, Tibor and Kohlar, Florian and Schäge, Sven and Schwenk, Jörg}},
  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}},
  pages        = {{232----249}},
  title        = {{{Generic Compilers for Authenticated Key Exchange}}},
  doi          = {{10.1007/978-3-642-17373-8_14}},
  year         = {{2010}},
}

@inproceedings{3140,
  author       = {{Jager, Tibor and Rupp, Andy}},
  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}},
  pages        = {{539----556}},
  title        = {{{The Semi-Generic Group Model and Applications to Pairing-Based Cryptography}}},
  doi          = {{10.1007/978-3-642-17373-8_31}},
  year         = {{2010}},
}

@inproceedings{3141,
  author       = {{Haralambiev, Kristiyan and Jager, Tibor and Kiltz, Eike and Shoup, Victor}},
  booktitle    = {{Public Key Cryptography - PKC 2010, 13th International Conference on Practice and Theory in Public Key Cryptography, Paris, France, May 26-28, 2010. Proceedings}},
  pages        = {{1----18}},
  title        = {{{Simple and Efficient Public-Key Encryption from Computational Diffie-Hellman in the Standard Model}}},
  doi          = {{10.1007/978-3-642-13013-7_1}},
  year         = {{2010}},
}

@article{3189,
  author       = {{Derrick, John and Wehrheim, Heike}},
  journal      = {{Sci. Comput. Program.}},
  number       = {{3}},
  pages        = {{192----210}},
  title        = {{{Model transformations across views}}},
  doi          = {{10.1016/j.scico.2009.11.004}},
  year         = {{2010}},
}

@inproceedings{3191,
  author       = {{Schäfer, Wilhelm and Wehrheim, Heike}},
  booktitle    = {{Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday}},
  editor       = {{Engels, Gregor and Lewerentz, Claus and Sch{\"{a}}fer, Wilhelm and Sch{\"{u}}rr, Andy and Westfechtel, Bernhard}},
  pages        = {{533----554}},
  title        = {{{Model-Driven Development with Mechatronic {UML}}}},
  doi          = {{10.1007/978-3-642-17322-6_23}},
  year         = {{2010}},
}

@inproceedings{3193,
  author       = {{Timm, Nils and Wehrheim, Heike}},
  booktitle    = {{Formal Methods and Software Engineering - 12th International Conference on Formal Engineering Methods, {ICFEM} 2010, Shanghai, China, November 17-19, 2010. Proceedings}},
  editor       = {{Song Dong, Jin and Zhu, Huibiao}},
  pages        = {{534----548}},
  title        = {{{On Symmetries and Spotlights - Verifying Parameterised Systems}}},
  doi          = {{10.1007/978-3-642-16901-4_35}},
  year         = {{2010}},
}

@inproceedings{3194,
  author       = {{Hülsbusch, Mathias and König, Barbara and Rensink, Arend and Semenyak, Maria and Soltenborn, Christian and Wehrheim, Heike}},
  booktitle    = {{Integrated Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings}},
  editor       = {{M{\'{e}}ry, Dominique and Merz, Stephan}},
  pages        = {{183----198}},
  title        = {{{Showing Full Semantics Preservation in Model Transformation - {A} Comparison of Techniques}}},
  doi          = {{10.1007/978-3-642-16265-7_14}},
  year         = {{2010}},
}

@inproceedings{27159,
  author       = {{Samara, Sufyan and Schomaker, Gunnar}},
  booktitle    = {{2010 10th IEEE International Conference on Computer and Information Technology}},
  title        = {{{Real-time Adaptation and Load Balancing Aware OS Services for Distributed Reconfigurable System on Chip}}},
  doi          = {{10.1109/cit.2010.304}},
  year         = {{2010}},
}

@inproceedings{20934,
  author       = {{von Detten, Markus and Meyer, Matthias and Travkin, Dietrich}},
  booktitle    = {{Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering (ICSE 2010), Cape Town, South Africa, May 2-8, 2010}},
  pages        = {{299 -- 300}},
  publisher    = {{ACM Press}},
  title        = {{{Reverse Engineering with the Reclipse Tool Suite}}},
  volume       = {{2}},
  year         = {{2010}},
}

@techreport{20935,
  abstract     = {{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       = {{von Detten, Markus and Meyer, Matthias and Travkin, Dietrich}},
  title        = {{{Reclipse - A Reverse Engineering Tool Suite}}},
  year         = {{2010}},
}

@inproceedings{20936,
  author       = {{Löffler, Renate and Meyer, Matthias and Gottschalk, Matthias}},
  booktitle    = {{Proceedings of the 2010 ICSE Workshop on Software Engineering in Health Care}},
  pages        = {{57--67}},
  publisher    = {{ACM}},
  title        = {{{Formal Scenario-based Requirements Specification and Test Case Generation in Healthcare Applications}}},
  year         = {{2010}},
}

@inbook{20961,
  abstract     = {{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.
}},
  author       = {{Seebach, Hella and Nafz, Florian and Holtmann, Jörg and Meyer, Jan and Tichy, Matthias and Reif, Wolfgang and Schäfer, Wilhelm}},
  booktitle    = {{Lecture Notes in Computer Science}},
  isbn         = {{9783642165757}},
  issn         = {{0302-9743}},
  title        = {{{Designing Self-healing in Automotive Systems}}},
  doi          = {{10.1007/978-3-642-16576-4_4}},
  year         = {{2010}},
}

@article{20962,
  abstract     = {{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       = {{Holtmann, Jörg}},
  journal      = {{OBJEKTspektrum}},
  number       = {{RE/2010}},
  title        = {{{Mit Satzmustern von textuellen Anforderungen zu Modellen}}},
  year         = {{2010}},
}

@inproceedings{20963,
  abstract     = {{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       = {{Meyer, Jan and Holtmann, Jörg and Schäfer, Wilhelm and Nickel, Ulrich A.}},
  booktitle    = {{Software Engineering 2010 – Workshopband (inkl. Doktorandensymposium)}},
  publisher    = {{Bonner Koellen Verlag}},
  title        = {{{Eine erweiterte Systemmodellierung zur Entwicklung von softwareintensiven Anwendungen in der Automobilindustrie}}},
  volume       = {{P-160}},
  year         = {{2010}},
}