TY - CONF AU - Paelke, Volker AU - Nebe, Karsten AU - Klompmaker, Florian AU - Jung, Helge ID - 27624 TI - Multi-Touch Interaction for Disaster Management.} ER - TY - CONF AU - Keil, Reinhard ED - Breiter, A ED - Wind, M ID - 27625 TI - Hypothesis- guided technology design as the basis of contextual computer science ER - TY - CONF AU - Klompmaker, Florian AU - Nebe, Karsten AU - Jung, H ID - 27626 TI - Smart Fiducials: Advanced Tangible Interaction Techniques through Dynamic Visual Paterns ER - TY - CONF AU - Klompmaker, Florian AU - Nebe, Karsten AU - Busch, Clemens AU - Willemsen, Detlev ID - 27627 T2 - Proceedings of the International Conference on Health Informatics TI - User Centered Design Process of OSAMI-D: Developing User Interfaces for a Remote Ergometer Training Application ER - TY - CONF AU - Laroque, Christoph AU - Schulte, Jonas ED - Chinni, M.I ED - Weed, D ID - 27628 T2 - Proceedings of the 2011 Spring Simulation Multiconference TI - KoProV: A Learning Approach for Coordinated Learning of Modeling and Simulation Based on Knowledge Modules ER - TY - CONF AU - Schulte, Jonas ED - Zhang, R ED - Cordeiro, José ED - Li, X ED - Zhang, Z ED - Zhang, J ID - 27629 T2 - Proceedings of the 13th International Conference on Enterprise Information Systems, SciTePress - Science and Technology Publications, Beijing, China TI - WasabiBeans - Web Application Services and Business Integration ER - TY - CONF AU - Rudolph, S AU - Niehus, Dominik ID - 27630 TI - Computer scientists, ergonomists and chemists are shaping the future. E-Portofolios support {\ "u} the flow rate in education and training ER - TY - CONF AU - Schulte, Jonas AU - Keil, Reinhard AU - Klaholt, D AU - Sauer, J ED - Zhang, R ED - Cordeiro, José ED - Li, X ED - Zhang, Z ED - Zhang, J ID - 27631 T2 - Proceedings of the 13th International Conference on Enterprise Information Systems, SciTePress - Science and Technology Publications, Beijing, China TI - Koi School - Towards the Next Level of Communication, Organization and Integration in Education ER - TY - CONF AU - Schulte, Jonas AU - Keil, Reinhard AU - Oberhoff, Andreas ED - K {\ "o} hler, Th. ED - Neumann, J ID - 27632 TI - Support {\ "u} support of the co-active research discourse through synergies between e-learning and e-science ER - TY - CONF AU - Schulte, Jonas AU - Keil, Reinhard AU - Rybka, Johann AU - Ferber, Ferdinand ED - Zhang, R ED - Cordeiro, J ED - Li, X ED - Zhang, Z ED - Zhang, J ID - 27633 T2 - Proceedings of the 13th International Conference on Enterprise Information Systems, SciTePress - Science and Technology Publications, Bejing, China TI - Laboratory 2.0 - Towards and Integrated Research Environment for Engineering Mechanics ER - TY - CONF AU - Schulte, Jonas AU - Rybka, Johann AU - Ferber, Ferdinand AU - Keil, Reinhard ED - K {\ "o} hler, Th. ED - Neumann, J ID - 27634 TI - KoForum - Cooperative research environment for {\ "u} for cross-organizational scientific Laboratory work ER - TY - THES AU - Erren, Patrick ID - 27635 TI - Semantic Positioning - Supporting Knowledge Work through Semantic Spatial Arrangements ER - TY - CONF AU - Fischer, Holger Gerhard AU - Nebe, Karsten AU - Klompmaker, Florian ID - 27636 TI - A Holistic Model for Integrating Usability Engineering and Software Engineering Enriched with Marketing Activities ER - TY - CONF AU - Jung, Helge AU - Nebe, Karsten AU - Klompmaker, Florian AU - Fischer, Holger Gerhard ID - 27637 TI - Authenticated entries on multi-touch tables ER - TY - CONF AU - Nebe, Karsten AU - Klompmaker, Florian AU - Jung, Helge AU - Fischer, Holger Gerhard ID - 27638 TI - Exploiting New Interaction Techniques for Disaster Control Management using Multitouch-, Tangible- and Pen-based-Interaction ER - TY - CONF AU - Fischer, Holger Gerhard AU - Bogner, Christian AU - Geis, Thomas AU - Polkehn, Knut AU - Zimmermann, Dirk ID - 27639 TI - Der Qualit {\ "a} tsstandard f {\" u} r Usability engineering of the German UPA: Current status of the work ER - TY - GEN AU - Herrmann, Philipp AU - Kundisch, Dennis AU - Rahman, Mohammad ID - 2771 T2 - 12th Workshop on Information Systems and Economics (WISE) TI - The Impact of Delegating Decision Making to IT on the Sunk Cost Effect ER - TY - GEN AU - Herrmann, Philipp AU - Kundisch, Dennis AU - Rahman, Mohammad ID - 2772 T2 - INFORMS 2011 Annual Meeting, Track Digital Channel and It Usage TI - Sunk Cost Effect: The Impact of Delegating Decision Making to IT ER - TY - JOUR AB - Context: Whether prepubertal glucocorticoid status impacts on the timing of puberty is not clear. Objective: The objective of the study was to examine the relationship between prepubertal glucocorticoid status and early or late pubertal markers, independent of adrenarchal and nutritional status. Design and Participants: Prospective cohort study of healthy Caucasian children (n = 111, 56 boys) who provided both 24-h urine samples and weighed dietary records 1 and 2 yr before the start of pubertal growth spurt [age at take-off (ATO)]. Measurements: Major urinary glucocorticoid and androgen metabolites determined by gas chromatography-mass spectrometry analysis were summed to assess daily overall cortisol (ΣC21) and adrenal androgen secretion; urinary free cortisol and cortisone measured by RIA were summed (UFF+UFE) as an indicator of potentially bioactive free glucocorticoids. Main Outcomes: The main outcomes included ATO, age at peak height velocity, age at menarche/voice break, ages at Tanner stage 2 for breast (girls) and genital (boys) development, and pubic hair. Results: In girls ΣC21, but not UFF+UFE, was associated with pubertal markers after adjusting for overall adrenal androgen, urinary nitrogen, and body fat. Girls with higher ΣC21 (fourth quartile) reached ATO 0.7 yr (P = 0.01) and menarche 0.9 yr later (P = 0.006) than girls with lower ΣC21 (first quartile). The ΣC21 tended to be also positively associated with age at Tanner stage 2 for breast (P = 0.1), Tanner stage 2 for pubic hair (P = 0.1), and age at peak height velocity (P = 0.06). In boys, neither the ΣC21 nor UFF+UFE was related to pubertal timing. Conclusion: An individually higher prepubertal glucocorticoid secretion level, even in physiological range, appears to delay early and late pubertal timing of healthy girls, particularly their onset of pubertal growth spurt and menarche. AU - Shi, Lijie AU - Wudy, Stefan A. AU - Buyken, Anette AU - Maser-Gluth, Christiane AU - Hartmann, Michaela F. AU - Remer, Thomas ID - 27728 JF - The Journal of Clinical Endocrinology & Metabolism SN - 0021-972X TI - Prepubertal Glucocorticoid Status and Pubertal Timing ER - TY - JOUR AU - Diethelm, Katharina AU - Bolzenius, Katja AU - Cheng, Guo AU - Remer, Thomas AU - Buyken, Anette ID - 27729 JF - International Journal of Pediatric Obesity SN - 1747-7166 TI - Longitudinal associations between reported sleep duration in early childhood and the development of body mass index, fat mass index and fat free mass index until age 7 ER - TY - GEN AU - Herrmann, Philipp AU - Kundisch, Dennis AU - Rahman, Mohammad ID - 2773 T2 - 7th Symposium on Statistical Challenges in Electronic Commerce Research TI - Sunk Cost Effect: The Impact of Delegating Decision Making to IT ER - TY - CONF AU - Kundisch, Dennis AU - Meier, Christian ID - 2774 T2 - Proceedings of the European Conference on Information Systems (ECIS) TI - A new Perspective on Resource Interactions in IT/IS Project Portfolio Selection ER - TY - JOUR AU - Gopinath, Bamini AU - Buyken, Anette AU - Flood, Victoria M AU - Empson, Marianne AU - Rochtchina, Elena AU - Mitchell, Paul ID - 27743 JF - The American Journal of Clinical Nutrition SN - 0002-9165 TI - Consumption of polyunsaturated fatty acids, fish, and nuts and risk of inflammatory disease mortality ER - TY - JOUR AB - The aim of the present study was to examine the association of pre-pubertal dietary energy density (ED) with both age and body fatness at the start of the pubertal growth spurt (age at take-off, ATO). Analyses included 219 DOrtmund Nutritional and Anthropometric Longitudinally Designed Study participants with sufficient height measurements to estimate ATO who provided 3 d weighed dietary records at baseline, i.e. 2 and 3 years before ATO (mean age 6·9 (sd 1·2) years). Mean energy intakes and amounts of foods/drinks consumed at baseline were derived from the records. ED (kJ/g) was calculated based on (1) all foods and drinks (ED_all), (2) foods and energy-containing drinks (ED_energy), (3) foods and milk as a drink, but no other beverages (ED_milk) and (4) foods only, solid or liquid (ED_food). Using multiple regression analyses, the association between the ED variables and ATO was investigated. Furthermore, Z-scores of BMI and fat mass index (FMI) at ATO were considered as outcomes to reflect body fatness at puberty onset. The results showed that ED at baseline was not associated with ATO, regardless of the ED method used. For example, mean ATO in the lowest v. highest tertile of ED_food was 9·3 (95 % CI 9·0, 9·5) v. 9·4 (95 % CI 9·1, 9·7) years, Ptrend = 0·8 (adjusted for sex, maternal age, birth weight, dietary protein, dietary fibre, baseline BMI Z-score). Similarly, ED was not independently associated with BMI or FMI Z-score at ATO (Ptrend = 0·3–0·9). In conclusion, dietary ED in childhood did not influence timing or body fatness at ATO in this cohort of healthy, free-living children. AU - Günther, Anke L. B. AU - Stahl, Lisa J. AU - Buyken, Anette AU - Kroke, Anja ID - 27744 JF - British Journal of Nutrition SN - 0007-1145 TI - Association of dietary energy density in childhood with age and body fatness at the onset of the pubertal growth spurt ER - TY - GEN AU - Heinrich, B. AU - Kundisch, Dennis AU - Zimmermann, Steffen ID - 2775 T2 - 5th Global Sourcing Workshop TI - The Impact of Interaction Effects Among Software Development Projects on Global Sourcing Decisions ER - TY - JOUR AB - AbstractObjectiveTo describe regional differences between eastern and western Germany with regard to food, nutrient and supplement intake in 9–12-year-old children, and analyse its association with parental education and equivalent income.DesignData were obtained from the 10-year follow-up of the two prospective birth cohort studies – GINIplus and LISAplus. Data on food consumption and supplement intake were collected using an FFQ, which had been designed for the specific study population. Information on parental educational level and equivalent income was derived from questionnaires. Logistic regression modelling was used to analyse the effect of parental education, equivalent income and region on food intake, after adjusting for potential confounders.SettingGermany.SubjectsA total of 3435 children aged 9–12 years.ResultsSubstantial regional differences in food intake were observed between eastern and western Germany. Intakes of bread, butter, eggs, pasta, vegetables/salad and fruit showed a significant direct relationship with the level of parental education after adjusting for potential confounders, whereas intakes of margarine, meat products, pizza, desserts and soft drinks were inversely associated with parental education. Equivalent income had a weaker influence on the child's food intake.ConclusionsNutritional education programmes for school-age children should therefore account for regional differences and parental education. AU - Sausenthaler, Stefanie AU - Standl, Marie AU - Buyken, Anette AU - Rzehak, Peter AU - Koletzko, Sibylle AU - Bauer, Carl Peter AU - Schaaf, Beate AU - von Berg, Andrea AU - Berdel, Dietrich AU - Borte, Michael AU - Herbarth, Olf AU - Lehmann, Irina AU - Krämer, Ursula AU - Wichmann, H-Erich AU - Heinrich, Joachim ID - 27752 JF - Public Health Nutrition SN - 1368-9800 TI - Regional and socio-economic differences in food, nutrient and supplement intake in school-age children in Germany: results from the GINIplus and the LISAplus studies ER - TY - CONF AU - Kundisch, Dennis AU - Meier, Christian ID - 2776 T2 - Wirtschaftsinformatik Proceedings TI - IT/IS Project Portfolio Selection in the Presence of Project Interactions - Review and Synthesis of the Literature ER - TY - JOUR AU - Buyken, Anette AU - Mitchell, P. AU - Ceriello, A. AU - Brand-Miller, J. ID - 27764 JF - Diabetologia SN - 0012-186X TI - Prevention strategies for type 2 diabetes should be based on evidence-based medical nutrition data. Reply to Uusitupa M, Lindström J, Tuomilehto J [letter] ER - TY - CONF AU - Herrmann, Philipp AU - Kundisch, Dennis ID - 2777 T2 - Wirtschaftsinformatik Proceedings TI - Partizipieren statt konsumieren, oder: Lohnt sich Engagement in Q&A-Communities? ER - TY - JOUR AU - Brand-Miller, Jennie AU - Buyken, Anette ID - 27782 JF - Current Opinion in Lipidology SN - 0957-9672 TI - The glycemic index issue ER - TY - JOUR AU - Schlegel-Matthies, Kirsten ID - 27884 IS - 3 JF - Stimme der Familie TI - Den Umgang mit Geld und Konsum lernen – Verbraucherbildung in der Schule VL - 58 ER - TY - JOUR AU - Schlegel-Matthies, Kirsten ID - 27885 IS - 4 JF - Haushalt & Bildung TI - Was ist Verbraucherbildung? – Was kann sie leisten? VL - 88 ER - TY - CONF AU - Geierhos, Michaela AU - Lee, Yeong Su AU - Schuster, Jörg AU - Kobothanassi, Despina AU - Bargel, Matthias ED - De Bra, Paul ED - Grønbæk, Kaj ID - 1119 T2 - Proceedings of the 22nd ACM Conference on Hypertext and Hypermedia TI - A Social Media Customer Service ER - TY - CONF AB - SCM is a simple, modular and flexible system for web monitoring and customer interaction management. In our view, its main advantages are the following: It is completely web based. It combines all technologies, data, software agents and human agents involved in the monitoring and customer interaction process. It can be used for messages written in any natural language. Although the prototype of SCM is designed for classifying and processing messages about mobile-phone related problems in social networks, SCM can easily be adapted to other text types such as discussion board posts, blogs or emails. Unlike comparable systems, SCM uses linguistic technologies to classify messages and recognize paraphrases of product names. For two reasons, product name paraphrasing plays a major role in SCM: First, product names typically have many, sometimes hundreds or thousands of intralingual paraphrases. Secondly, product names have interlingual paraphrases: The same products are often called or spelt differently in different countries and/or languages. By mapping product name variants to an international canonical form, SCM allows for answering questions like Which statements are made about this mobile phone in which languages/in which social networks/in which countries/...? The SCM product name paraphrasing engine is designed in such a way that standard variants are assigned automatically, regular variants are assigned semiautomatically and idiosyncratic variants can be added manually. With this and similar features we try to realize our philosophy of simplicity, modularity and flexibility: Whatever can be done automatically is done automatically. But manual intervention is always possible and easy and it does not conflict in any way with the automatic functions of SCM. AU - Schuster, Jörg AU - Lee, Yeong Su AU - Kobothanassi, Despina AU - Bargel, Matthias AU - Geierhos, Michaela ID - 1120 KW - Social Media Business Integration KW - Contact Center Application Support KW - Monitoring Social Conversations KW - Social Customer Interaction Management KW - Monitoring KW - Software Agents SN - 978-1-61284-148-9 T2 - International Conference on Information Society (i-Society 2011) TI - SCM - A Simple, Modular and Flexible Customer Interaction Management System ER - TY - CHAP AB - This paper presents a novel linguistic information extraction approach exploiting analysts’ stock ratings for statistical decision making. Over a period of one year, we gathered German stock analyst reports in order to determine market trends. Our goal is to provide business statistics over time to illustrate market trends for a user-selected company. We therefore recognize named entities within the very short stock analyst reports such as organization names (e.g. BASF, BMW, Ericsson), analyst houses (e.g. Gartner, Citigroup, Goldman Sachs), ratings (e.g. buy, sell, hold, underperform, recommended list) and price estimations by using lexicalized finite-state graphs, so-called local grammars. Then, company names and their acronyms respectively have to be cross-checked against data the analysts provide. Finally, all extracted values are compared and presented into charts with different views depending on the evaluation criteria (e.g. by time line). Thanks to this approach it will be easier and even more comfortable in the future to pay attention to analysts’ buy/sell signals without reading all their reports. AU - Lee, Yeong Su AU - Geierhos, Michaela ED - Beigl, Michael ED - Christiansen, Henning ED - Roth-Berghofer, Thomas R. ED - Kofod-Petersen, Anders ED - Coventry, Kenny R. ED - Schmidtke, Hedda R. ID - 1121 SN - 9783642242786 T2 - Modeling and Using Context: 7th International and Interdisciplinary Conference, CONTEXT 2011, Karlsruhe, Germany, September 26-30, 2011, Proceedings TI - Buy, Sell, or Hold? Information Extraction from Stock Analyst Reports VL - 6967 ER - TY - CONF AB - Within this paper, we will describe a new approach to customer interaction management by integrating social networking channels into existing business processes. Until now, contact center agents still read these messages and forward them to the persons in charge of customer’s in the company. But with the introduction of Web 2.0 and social networking clients are more likely to communicate with the companies via Facebook and Twitter instead of filling data in contact forms or sending e-mail requests. In order to maintain an active communication with international clients via social media, the multilingual consumer contacts have to be categorized and then automatically assigned to the corresponding business processes (e.g. technicalservice, shipping, marketing, and accounting). This allows the company to follow general trends in customer opinions on the Internet, but also record two-sided communication for customer relationship management. AU - Geierhos, Michaela AU - Lee, Yeong Su AU - Bargel, Matthias ED - Hedeland, Hanna ED - Schmidt, Thomas ED - Wörner, Kai ID - 1122 KW - Classification of Multilingual Customer Contacts KW - Contact Center Application Support KW - Social Media Business Integration SN - 0176-599X T2 - Multilingual Resources, Multilingual Applications: Proceedings of the Conference of the German Society for Computational Linguistics and Language Technology (GSCL) 2011 TI - Processing Multilingual Customer Contacts via Social Media VL - 96 ER - TY - CONF AB - Within this paper, we describe the special requirements of a semantic annotation scheme used for biographical event extraction in the framework of the Europeancollaborative research project Biographe. This annotationscheme supports interlingual search for people due to its multilingual support covering four languages such as English, German, French and Dutch. AU - Geierhos, Michaela AU - Bouraoui, Jean-Leon AU - Watrin, Patrick ED - Hedeland, Hanna ED - Schmidt, Thomas ED - Wörner, Kai ID - 1123 KW - Biographical Event Extraction for Interlingual People Search KW - Semantic Annotation Scheme SN - 0176-599X T2 - Multilingual Resources, Multilingual Applications. Proceedings of the Conference of the German Society for Computational Linguistics and Language Technology (GSCL) 2011 TI - Towards Multilingual Biographical Event Extraction VL - 96 ER - TY - JOUR AB - Since customers first share their problems with a social networking community before directly addressing a company, social networking sites such as Facebook, Twitter, MySpace or Foursquare will be the interface between customer and company. For this reason, it is assumed that social networks will evolve into a common communication channel – not only between individuals but also between customers and companies. However, social networking has not yet been integrated into customer interaction management (CIM) tools. In general, a CIM application is used by the agents in a contact centre while communicating with the customers. Such systems handle communication across multiple different channels, such as e-mail, telephone, Instant Messaging, letter etc. What we do now is to integrate social networking into CIM applications by adding another communication channel. This allows the company to follow general trends in customer opinions on the Internet, but also record two-sided communication for customer service management and the company’s response will be delivered through the customer’s preferred social networking site. AU - Geierhos, Michaela ID - 1125 IS - 4 JF - Journal of Advances in Information Technology KW - Social Media Business Integration KW - Multichannel Customer Interaction Management KW - Contact Centre Application Support SN - 17982340 TI - Customer Interaction 2.0: Adopting Social Media as Customer Service Channel VL - 2 ER - TY - JOUR AB - Alkylphosphonic acids of different alkyl chain lengths were adsorbed on electrochemically polished NiTi surfaces from ethanolic solutions. The electropolishing process led to passive films mainly composed of Ti-oxyhydroxide. The surface showed nanoscopic etching pits with a depths of about 2 nm and a diameter of about 20 nm. The interfacial binding mechanism of the phosphonic acid group to the oxyhydroxide surface and the ordering of the monolayer were spectroscopically analysed by means of infrared reflection absorption FTIR-spectroscopy with (PM-IRRAS) and without (IRRAS) photoelastic modulation. The comparison of IRRAS and PM-IRRAS data of the long chain octadecylphosphonic acid monolayer proved that the binding mechanism of the phosphonic acid group to the oxyhydroxide surface is based on a mono-or bidentate bond, which is not stable in the presence of high water activities. An alkyl chain length of 17 CH2 groups is required for the formation of self-assembled monolayers, which are stable in aqueous environments. These long chain aliphatic organophosphonic acid monolayers were shown to inhibit anodic and cathodic surface reactions. (C) 2010 Elsevier B.V. All rights reserved. AU - Maxisch, M. AU - Ebbert, Christoph AU - Torun, B. AU - Fink, N. AU - de los Arcos, T. AU - Lackmann, J. AU - Maier, H. J. AU - Grundmeier, Guido ID - 20947 IS - 6 JF - APPLIED SURFACE SCIENCE SN - 0169-4332 TI - PM-IRRAS studies of the adsorption and stability of organophosphonate monolayers on passivated NiTi surfaces VL - 257 ER - TY - CONF AB - Nowadays requirements are mostly specified in unrestricted natural language so that each stakeholder understands them. To ensure high quality and to avoid misunderstandings, the requirements have to be validated. Because of the ambiguity of natural language and the resulting absence of an automatic mechanism, this has to be done manually. Such manual validation techniques are timeconsuming, error-prone, and repetitive because hundreds or thousands of requirements must be checked. With an automatic validation the requirements engineering process can be faster and can produce requirements of higher quality. To realize an automatism, we propose a controlled natural language (CNL) for the documentation of requirements. On basis of the CNL, a concept for an automatic requirements validation is developed for the identification of inconsistencies and incomplete requirements. Additionally, automated correction operations for such defective requirements are presented. The approach improves the quality of the requirements and therefore the quality of the whole development process. AU - Holtmann, Jörg AU - Meyer, Jan AU - von Detten, Markus ID - 20958 SN - 9781457700194 T2 - 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops TI - Automatic Validation and Correction of Formalized, Textual Requirements ER - TY - CONF AB - Heutige Steuergeraete im Automobilbereich zeichnen sich durch eine hohe Funktionsvielfalt und eine hohe Vernetzung untereinander aus. Dies fuehrt zu immer komplexeren Systemen, wobei auch immer mehr sicherheitskritische Funktionen durch Software realisiert werden. Damit die Qualitaet der Software entsprechend hoch und zufriedenstellend ist, erfordert die Entwicklung ein systematisches und prozesskonformes Vorgehen. Der fuer die Softwarearchitektur entwickelte AUTOSAR Standard ist allerdings nicht fuer die fruehen Entwicklungsphasen wie die Anforderungsanalyse und das Systemarchitekturdesign gedacht, welche von Prozessbewertungsmodellen – wie Automotive SPICE – gefordert werden. Als Loesung fuer die Analyse bietet sich die Nutzung der Systems Modeling Language (SysML) mit Anpassungen bzw. Erweiterungen an die Beduerfnisse der Automobilindustrie, an. Damit aber keine Luecke im Entwicklungsprozess entsteht, wird bei der hier vorgestellten Methode ein wohldefinierter uebergang zur AUTOSAR Architektur, und zwar zur Applikations- und zur Basissoftware, definiert. AU - Meyer, Jan AU - Holtmann, Jörg ID - 20960 T2 - Tagungsband des Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VII TI - Eine durchgängige Entwicklungsmethode von der Systemarchitektur bis zur Softwarearchitektur mit AUTOSAR ER - TY - CONF AB - Software maintenance tasks require knowledge about the software’s design. Several tools help to identify implementations of software patterns, e.g. Design Patterns, in source code and thus help to reveal the underlying design. In case of the reverse engineering tool suite Reclipse, detection algorithms are generated from manually created, formal pattern specifications. Due to numerous variants that have to be considered, the pattern specification is error-prone. Because of this, the complex, step-wise generation process has to be traceable backwards to identify specification mistakes. To increase the traceability, we directly interpret the detection algorithm models (story diagrams) instead of executing code generated from these models. This way, a reverse engineer no longer has to relate generated code to the story diagrams to find mistakes in pattern specifications. AU - Fockel, Markus AU - Travkin, Dietrich AU - von Detten, Markus ID - 20975 T2 - Proceedings of the 8th International Fujaba Days TI - Interpreting Story Diagrams for the Static Detection of Software Patterns ER - TY - JOUR AU - Brecht, Benjamin AU - Eckstein, Andreas AU - Christ, Andreas AU - Suche, Hubertus AU - Silberhorn, Christine ID - 21045 JF - New Journal of Physics SN - 1367-2630 TI - From quantum pulse gate to quantum pulse shaper—engineered frequency conversion in nonlinear optical waveguides VL - 13 ER - TY - JOUR AU - Eckstein, Andreas AU - Brecht, Benjamin AU - Silberhorn, Christine ID - 21046 IS - 15 JF - Optics Express SN - 1094-4087 TI - A quantum pulse gate based on spectrally engineered sum frequency generation VL - 19 ER - TY - JOUR AU - Brecht, Benjamin AU - Eckstein, Andreas AU - Silberhorn, Christine ID - 21047 IS - 4 JF - physica status solidi (c) SN - 1862-6351 TI - Controlling the correlations in frequency upconversion in PPLN and PPKTP waveguides VL - 8 ER - TY - CONF AU - Hein, David AU - Meschut, Gerson AU - Hahn, Ortwin ID - 21489 T2 - 1. Fügetechnisches Gemeinschaftskolloquium TI - Experimentelle Untersuchung und Simulation des Crashverhaltens mechanisch gefügter Verbindungen ER - TY - JOUR AU - Liu, Ming AU - Yin, Xiaobo AU - Ulin-Avila, Erick AU - Geng, Baisong AU - Zentgraf, Thomas AU - Ju, Long AU - Wang, Feng AU - Zhang, Xiang ID - 1725 IS - 7349 JF - Nature SN - 0028-0836 TI - A graphene-based broadband optical modulator VL - 474 ER - TY - JOUR AU - Utikal, Tobias AU - Zentgraf, Thomas AU - Paul, Thomas AU - Rockstuhl, Carsten AU - Lederer, Falk AU - Lippitz, Markus AU - Giessen, Harald ID - 1726 IS - 13 JF - Physical Review Letters SN - 0031-9007 TI - Towards the Origin of the Nonlinear Response in Hybrid Plasmonic Systems VL - 106 ER - TY - JOUR AU - Valentine, Jason AU - Zhang, Shuang AU - Zentgraf, Thomas AU - Zhang, Xiang ID - 1727 IS - 10 JF - Proceedings of the IEEE SN - 0018-9219 TI - Development of Bulk Optical Negative Index Fishnet Metamaterials: Achieving a Low-Loss and Broadband Response Through Coupling VL - 99 ER - TY - JOUR AU - Zentgraf, Thomas AU - Liu, Yongmin AU - Mikkelsen, Maiken H. AU - Valentine, Jason AU - Zhang, Xiang ID - 1728 IS - 3 JF - Nature Nanotechnology SN - 1748-3387 TI - Plasmonic Luneburg and Eaton lenses VL - 6 ER - TY - CHAP AU - Oevel, Gudrun AU - Toschläger, M. ED - Degkwitz, A. ED - Klapper, F. ID - 17317 T2 - Prozessorientierte Hochschule TI - Einführung eines prozessorientierten Campusmanagement an der Universität Paderborn – ein Erfahrungsbericht ER - TY - CONF AU - Brennecke, Andreas AU - Oevel, Gudrun AU - Strothmann, A. ED - Müller, P. ED - Neumair, B. ED - Dreo Rodosek, G. ID - 17318 T2 - 4. DFN-Forum Kommunikationstechnologien – Beiträge der Fachtagung 20./21.6.2011 Bonn TI - Vom Studiolo zur virtuellen Forschungsumgebung VL - 187 ER - TY - CONF AB - Occlusion culling is a common approach to accelerate real-time rendering of polygonal 3D-scenes by reducing the rendering load. Especially for large scenes, it is necessary to remove occluded objects to achieve a frame rate that provides an interactive environment. In order to benefit from the culling properly, often hierarchical data structures are used. These data structures typically create a spatial subdivision of a given scene into axis-aligned bounding boxes. These boxes can be tested quickly, but they are not very precise. By using these boxes, the included objects are detected as visible, even if other objects occlude them (false-positives). To get perfect results, the models’ original geometry included in the box has to be tested, but this would require too much computational power. To overcome this problem, original objects’ approximations could be used, but typical methods for mesh simplification cannot be applied, because they do not create an outer hull for a given object. We present a model simplification algorithm, which generates simple outer hulls, consisting of only few more triangles than a box, while preserving an object’s shape better than a corresponding bounding box. This approach is then extended to a hierarchical data structure, the so-called hull tree, that can be generated for a given scene to improve the visibility tests. Next, we present an approximative rendering algorithm, which combines the features of the hull tree with the use of inner hulls for efficient occlusion detection and global state-sorting of the visible objects. AU - Suess, Tim AU - Koch, Clemens AU - Jähn, Claudius AU - Fischer, Matthias ED - Brooks, Stephen ED - Irani, Pourang ID - 17420 T2 - Proceedings of the Graphics Interface 2011 Conference, May 25-27, St. John's, Newfoundland, Canada TI - Approximative occlusion culling using the hull tree ER - TY - CONF AU - Klaas, Alexander AU - Laroque, Christoph AU - Dangelmaier, Wilhelm AU - Fischer, Matthias ID - 17421 SN - 9781457721090 T2 - Proceedings of the 2011 Winter Simulation Conference (WSC) TI - Simulation aided, knowledge based routing for AGVs in a distribution warehouse ER - TY - CONF AU - Suess, Tim AU - Jähn, Claudius AU - Fischer, Matthias AU - Meyer auf der Heide, Friedhelm AU - Koch, Clemens ID - 17450 T2 - Augmented & Virtual Reality in der Produktentstehung TI - Ein paralleles Out-of-Core Renderingsystem für Standard-Rechnernetze VL - 295 ER - TY - THES AU - Suess, Tim ID - 17454 TI - Parallel Real-Time Rendering using Heterogeneous PC Clusters ER - TY - BOOK AU - Mindt, Ilka ID - 17692 TI - Adjective complementation by that-clauses: An empirical study ER - TY - JOUR AU - Mindt, Ilka AU - Lindquist, Hans ID - 17891 JF - ICAME Journal 35 TI - Corpus Linguistics and the Description of English ER - TY - CHAP AU - Mindt, Ilka AU - Mukherjee, Joybrato ID - 17894 T2 - Anglistik. International Journal of English Studies, 22, 1 TI - Anglistische Korpuslinguistik. Eine Einführung. Grundlagen der Anglistik und Amerikanistik 33 ER - TY - CONF AU - W. Richa, Andrea AU - Scheideler, Christian AU - Schmid, Stefan AU - Zhang, Jin ID - 1891 SN - 978-0-7695-4364-2 T2 - 2011 International Conference on Distributed Computing Systems, ICDCS 2011, Minneapolis, Minnesota, USA, June 20-24, 2011 TI - Competitive and Fair Medium Access Despite Reactive Jamming ER - TY - CONF AU - W. Richa, Andrea AU - Scheideler, Christian AU - Schmid, Stefan AU - Zhang, Jin ID - 1892 SN - 978-1-4503-0868-7 T2 - Proceedings of the 3rd ACM workshop on Wireless of the students, by the students, for the students, S3@MOBICOM 2011, Las Vegas, NV, USA, September 19 - 23, 2011 TI - Towards jamming-resistant and competitive medium access in the SINR model ER - TY - CONF AU - W. Richa, Andrea AU - Scheideler, Christian AU - Schmid, Stefan AU - Zhang, Jin ID - 1893 SN - 978-1-4503-0722-2 T2 - Proceedings of the 12th ACM Interational Symposium on Mobile Ad Hoc Networking and Computing, MobiHoc 2011, Paris, France, May 16-20, 2011 TI - Self-stabilizing leader election for single-hop wireless networks despite jamming ER - TY - CONF AU - Kniesburges, Sebastian AU - Koutsopoulos, Andreas AU - Scheideler, Christian ID - 1895 SN - 978-1-4503-0743-7 T2 - SPAA 2011: Proceedings of the 23rd Annual ACM Symposium on Parallelism in Algorithms and Architectures, San Jose, CA, USA, June 4-6, 2011 (Co-located with FCRC 2011) TI - Re-Chord: a self-stabilizing chord overlay network ER - TY - THES AU - Frahling, Gereon ID - 18973 SN - 978-3-942647-09-0 TI - Algorithms for Dynamic Geometric Data Streams VL - 290 ER - TY - THES AU - Mehler, Jan ID - 18974 SN - 978-3-942647-06-9 TI - Power-Aware Online File Allocation in Dynamic Networks VL - 287 ER - TY - THES AB - Web computing is a variant of parallel computing where the idle times of PCs donated by worldwide distributed users are employed to execute parallel programs. In this thesis we consider a web computing variant with two important properties: First, we support the execution of coupled, massively parallel algorithms (rather than distributed data processing). And second, we organize the system in peer-to-peer fashion. We present the Paderborn University BSP-based Web Computing (PUB-Web) library, which supports the execution of parallel programs in the bulk-synchronous style (BSP) in such a web computing setting. In this thesis, we focus on important technical and algorithmic aspects, in particular: In order to schedule processes with respect to the currently available computing power, which continually changes in an unpredictable fashion, we need intelligent load balancing algorithms and -- as a basic precondition -- the technical ability to migrate threads at runtime. To achieve the latter in a way suitable for production use, compatible with recent Java versions, available for all important platforms, and easy-to-use for developers, we develop the PadMig thread migration and checkpointing library. In order to tackle the distributed load balancing problem, we present an algorithm based on Distributed Heterogeneous Hash-Tables. In order to judge the quality of the schedules produced, we perform extensive experiments to compare several variants of the DHHT-based load balancer with the well- established Work Stealing algorithm, using realistic input data obtained by profiling the utilization of several hundred PCs for a period of several months. Beside the available computing power, we finally also consider the network bandwidth as a secondary criterion for load balancing. For this purpose, we cluster the PUB-Web network according to bandwidth, employing a novel, fault-tolerant, adaptive, and scaling distributed clustering algorithm called DiDiC. In order to judge the quality of the clusterings produces by DiDiC, we experimentally compare it to the well-established MCL algorithm using a simulator. AU - Gehweiler, Joachim ID - 18976 SN - 978-3-942647-17-5 TI - Peer-to-Peer Based Parallel Web Computing VL - 298 ER - TY - CONF AU - Kniesburges, Sebastian AU - Scheideler, Christian ID - 1899 SN - 978-3-642-19093-3 T2 - WALCOM: Algorithms and Computation - 5th International Workshop, WALCOM 2011, New Delhi, India, February 18-20, 2011. Proceedings TI - Hashed Patricia Trie: Efficient Longest Prefix Matching in Peer-to-Peer Systems VL - 6552 ER - TY - CHAP AU - Scheideler, Christian AU - Graffi, Kalman ID - 1900 SN - 978-1-4614-1167-3 T2 - Computer Science, The Hardware, Software and Heart of It TI - Programming for Distributed Computing: From Physical to Logical Networks ER - TY - CHAP AU - Seng, Eva- Maria ED - Menne, Mareike ED - Ströhmer, Michael ID - 19000 T2 - Total Regional. Studien zur frühneuzeitlichen Sozial- und Wirtschaftsgeschichte, FS für Frank Göttmann TI - Der Kanonenbischof Christoph Bernhard von Galen und seine retrospektiven Baumaßnahmen ER - TY - JOUR AU - Seng, Eva- Maria ID - 19002 JF - kunst und kirche. Ökumenische Zeitschrift für zeitgenössische Kunst und Architektur TI - Dekor und Kirchenbau VL - H.2 ER - TY - CHAP AU - Seng, Eva- Maria ED - Klevesath, Lino ID - 19005 T2 - Demokratie – Kultur – Moderne. Perspektiven der Politischen Theorie, FS für Walter Reese-Schäfer TI - Kulturlandschaften: Die Rückgewinnung des immateriellen Kulturerbes in die Landschaft ER - TY - BOOK AU - Eke, Norbert Otto AU - Olasz-Eke, Dagmar ID - 19006 TI - „Sprache, die so tröstlich zu mir kam“. Thomas Valentin in Briefen von und an Hermann Hesse ER - TY - CHAP AU - Scheideler, Christian ID - 1901 SN - 978-3-642-15327-3 T2 - Algorithms Unplugged TI - Broadcasting - How Can I Quickly Disseminate Information? ER - TY - BOOK AU - Vöcking, Berthold AU - Alt, Helmut AU - Dietzfelbinger, Martin AU - Reischuk, Rüdiger AU - Scheideler, Christian AU - Vollmer, Heribert AU - Wagner, Dorothea ID - 1902 SN - 978-3-642-15327-3 TI - Algorithms Unplugged ER - TY - JOUR AU - Seng, Eva- Maria ID - 19021 JF - UNESCO heute. ZS der Deutschen UNESCO-Kommission TI - UNESCO-Weltkulturerbe und der Gedanke der Nachhaltigkeit VL - H2 ER - TY - CHAP AU - Seng, Eva- Maria ED - Freitag, Werner ID - 19024 T2 - Die Pfarre in der Stadt. Siedlungskern – Bürgerkirche – Urbanes Zentrum (Reihe: Städteforschung, Veröffentlichungen des Instituts für vergleichende Städtegeschichte in Münster Bd. 82) TI - Stadterweiterungen, Kirchenneubau und Pfarrgründungen im 19. Jahrhundert VL - 82 ER - TY - CONF AU - Briest, Patrick AU - Raupach, Christoph ID - 19026 SN - 9781450307437 T2 - Proceedings of the 23rd ACM symposium on Parallelism in algorithms and architectures - SPAA '11 TI - The car sharing problem ER - TY - THES AU - Effert, Sascha ID - 19040 TI - Verfahren zur redundanten Datenplatzierung in skalierbaren Speichersystemen ER - TY - THES AU - Caylak, Ismail ID - 19187 SN - 978-3-8440-0084-9 TI - Stabilized Mixed Triangular and Tetrahedral Finite Elements with Volume and Area Bubble Functions VL - Band 4 ER - TY - CONF AU - Kolman, Petr AU - Scheideler, Christian ID - 1924 T2 - 28th International Symposium on Theoretical Aspects of Computer Science, STACS 2011, March 10-12, 2011, Dortmund, Germany TI - Towards Duality of Multicommodity Multiroute Cuts and Flows: Multilevel Ball-Growing ER - TY - JOUR AU - Eke, Norbert Otto ID - 19271 IS - 2 JF - literatur für leser TI - Von Taschentüchern und anderen Dingen, oder: Die “akute Einsamkeit des Menschen”. Herta Müller und der Widerspruch ER - TY - CHAP AU - Eke, Norbert Otto ED - Deiters, Franz-Josef ED - a., u. ID - 19273 T2 - Terror und Form (Limbus. Australisches Jahrbuch für germanistische Literatur- und Kulturwissenschaft. Band 4) TI - Spiegel/Bilder – Werner Fritschs Anatomie von Terror und Krieg ER - TY - CHAP AU - Eke, Norbert Otto ED - Lützeler, Paul Michael ED - McGlothlin, Erin ID - 19278 T2 - GegenwartsLiteratur. Ein germanistisches Jahrbuch/A German Studies Yearbook 10/2011 TI - “Gelber Mais, keine Zeit”. Herta Müllers Nach-Schrift Atemschaukel. Roman ER - TY - CHAP AU - Eke, Norbert Otto ED - Balogh, András F. ED - Varga, Péter ID - 19279 T2 - “Das Leben in der Poesie”. Festschrift für Magdolna Orosz zum 60. Geburtstag TI - Wahre, unzeitige und falsche Aufklärung. Fortschreibungen einer ‘alten’ Debatte im Kontext der Französischen Revolution ER - TY - JOUR AB - Angaben zur Herausgeberschaft: Hg. im Auftrag der Georg-Forster-Gesellschaft von Stefan Greif und Michael Ewert Angabe zum Ort: Kassel AU - Eke, Norbert Otto ID - 19280 JF - Georg-Forster-Studien TI - Dem “Haufen genügt die Täuschung”. Georg Forster und das Theater VL - XVI ER - TY - JOUR AU - Eke, Norbert Otto ID - 19281 JF - Der Deutschunterricht 63, H. 3: Literatur und Musik TI - “Blühe, deutsches Vaterland”. Hoffmann von Fallerslebens ‘volkstümliche’ Hymne und die ‘deutsche’ Hymnenpraxis ER - TY - JOUR AU - Eke, Norbert Otto ID - 19282 IS - März JF - Text + Kritik, H. 190 TI - Welt-Kunst-Beobachtung. Rainald Goetz und das Theater ER - TY - JOUR AB - This paper deals with the design of efficiently computable incentive-compatible mechanisms for combinatorial optimization problems with single-minded agents each possibly having multiple private parameters. We focus on approximation algorithms for NP-hard mechanism design problems. These algorithms need to satisfy certain monotonicity properties to ensure truthfulness. Since most of the known approximation techniques do not fulfill these properties, we study alternative techniques. Our first contribution is a quite general method to transform a pseudopolynomial algorithm into a monotone fully polynomial time approximation scheme (FPTAS). This can be applied to various problems like, e.g., knapsack, constrained shortest path, or job scheduling with deadlines. For example, the monotone FPTAS for the knapsack problem gives a very efficient, truthful mechanism for single-minded multiunit auctions. The best previous result for such auctions was a 2-appro-xi-ma-tion. In addition, we present a monotone PTAS for the generalized assignment problem with any constant number of private parameters per agent. The most efficient way to solve packing integer programs (PIPs) is linear programming–based randomized rounding, which also is in general not monotone. We show that primal-dual greedy algorithms achieve almost the same approximation ratios for PIPs as randomized rounding. The advantage is that these algorithms are inherently monotone. This way, we can significantly improve the approximation ratios of truthful mechanisms for various fundamental mechanism design problems like single-minded combinatorial auctions (CAs), unsplittable flow routing, and multicast routing. Our primal-dual approximation algorithms can also be used for the winner determination in CAs with general bidders specifying their bids through an oracle. AU - Briest, Patrick AU - Krysta, Piotr AU - Vöcking, Berthold ID - 23739 JF - SIAM Journal on Computing SN - 0097-5397 TI - Approximation Techniques for Utilitarian Mechanism Design ER - TY - JOUR AB - We investigate nonparametric multiproduct pricing problems, in which we want to find revenue maximizing prices for products $\mathcal{P}$ based on a set of customer samples $\mathcal{C}$. We mostly focus on the unit-demand case, in which products constitute strict substitutes and each customer aims to purchase a single product. In this setting a customer sample consists of a number of nonzero values for different products and possibly an additional product ranking. Once prices are fixed, each customer chooses to buy one of the products she can afford based on some predefined selection rule. We distinguish between the min-buying, max-buying, and rank-buying models. Some of our results also extend to single-minded pricing, in which case products are strict complements and every customer seeks to buy a single set of products, which she purchases if the sum of prices is below her valuation for that set. For the min-buying model we show that the revenue maximization problem is not approximable within factor $\mathcal{O}(\log^{\varepsilon}|\mathcal{C}|)$ for some constant $\varepsilon>0$, unless $\mathrm{NP}\subseteq\mathrm{DTIME}(n^{\mathcal{O}(\log\log n)})$, thereby almost closing the gap between the known algorithmic results and previous lower bounds. We also prove inapproximability within $\mathcal{O}(\ell^{\varepsilon})$, $\ell$ being an upper bound on the number of nonzero values per customer, and $\mathcal{O}(|\mathcal{P}|^{\varepsilon})$ under slightly stronger assumptions and provide matching upper bounds. Surprisingly, these hardness results hold even if a price ladder constraint, i.e., a predefined order on the prices of all products, is given. Without the price ladder constraint we obtain similar hardness results for the special case of uniform valuations, i.e., the case that every customer has identical values for all the products she is interested in, assuming specific hardness of the balanced bipartite independent set problem in constant degree graphs or hardness of refuting random 3CNF formulas. Introducing a slightly more general problem definition in which customers are given as an explicit probability distribution, we obtain inapproximability within $\mathcal{O}(|\mathcal{P}|^{\varepsilon})$ assuming $\mathrm{NP}\nsubseteq\bigcap_{\delta>0}\mathrm{BPTIME}(2^{\mathcal{O}(n^{\delta})})$. These results apply to single-minded pricing as well. For the max-buying model a polynomial-time approximation scheme exists if a price ladder is given. We give a matching lower bound by proving strong NP-hardness. Assuming limited product supply, we analyze a generic local search algorithm and prove that it is 2-approximate. Finally, we discuss implications for the rank-buying model. AU - Briest, Patrick AU - Krysta, Piotr ID - 23740 JF - SIAM Journal on Computing SN - 0097-5397 TI - Buying Cheap Is Expensive: Approximability of Combinatorial Pricing Problems ER - TY - JOUR AU - Plattner, K AU - Baumeister, Jochen AU - Lamberts, RP AU - Lambert, MI ID - 20403 IS - 3 JF - J Electromyogr Kinesiol SN - 1050-6411 TI - Dissociation in changes in EMG activation during maximal isometric and submaximal low force dynamic contractions after exercise-induced muscle damage. VL - 21 ER - TY - JOUR AU - Reinecke, K AU - Cordes, M AU - Lerch, C AU - Schubert, M AU - Koutsandreou, F AU - Weiss, M AU - Baumeister, Jochen ID - 20464 IS - 4 JF - Appl Psychophysiol Biofeedback TI - From lab to field conditions: A pilot study on EEG methodology in applied sports sciences VL - 36 ER - TY - GEN AU - Lerch, C AU - Cordes, M AU - Baumeister, Jochen ID - 20603 IS - 4 TI - Effectiveness of injury prevention programs in female youth soccer: a systematic review VL - 45 ER - TY - GEN AU - Plattner, T AU - Baumeister, Jochen AU - Lamberts, RP AU - Lambert, MI ID - 20607 T2 - Abstract Book - 16th Annual Congress of the European College of Sports Science TI - Dissociation in changes in EMG Activation during maximal isometric and submaximal low force dynamic contractions after exercise induced muscle damage ER - TY - GEN AU - Reinecke, K AU - Schubert, M AU - Schade, J AU - Weiß, M AU - Baumeister, Jochen ID - 20609 T2 - Fatigue: An Interdisciplinary approach TI - Brain activity during motor control is not influenced after exhaustive strength training ER - TY - GEN AU - Von Detten, S AU - Boguslawaski, D AU - Hanschke, U AU - Weiß, M AU - Baumeister, Jochen ID - 20621 T2 - Fatigue: An Interdisciplinary approach TI - The influence of fatigue on landing strategies after a stop jump ER - TY - CHAP AU - Cord-Landwehr, Andreas AU - Degener, Bastian AU - Fischer, Matthias AU - Hüllmann, Martina AU - Kempkes, Barbara AU - Klaas, Alexander AU - Kling, Peter AU - Kurras, Sven AU - Märtens, Marcus AU - auf der Heide, Friedhelm Meyer AU - Raupach, Christoph AU - Swierkot, Kamil AU - Warner, Daniel AU - Weddemann, Christoph AU - Wonisch, Daniel ID - 20709 SN - 0302-9743 T2 - SOFSEM 2011: Theory and Practice of Computer Science TI - Collisionless Gathering of Robots with an Extent ER - TY - CHAP AU - Cord-Landwehr, Andreas AU - Degener, Bastian AU - Fischer, Matthias AU - Hüllmann, Martina AU - Kempkes, Barbara AU - Klaas, Alexander AU - Kling, Peter AU - Kurras, Sven AU - Märtens, Marcus AU - Meyer auf der Heide, Friedhelm AU - Raupach, Christoph AU - Swierkot, Kamil AU - Warner, Daniel AU - Weddemann, Christoph AU - Wonisch, Daniel ID - 20710 SN - 0302-9743 T2 - Automata, Languages and Programming TI - A New Approach for Analyzing Convergence Algorithms for Mobile Robots ER - TY - JOUR AU - Sievers, Sönke AU - Homburg, Carsten AU - Lorenz, Michael ID - 20877 JF - Controlling & Management Review (VHB-JOURQUAL 3 Ranking D) TI - Unternehmensbewertung in Deutschland:  Verfahren, Finanzplanung und Kapitalkostenermittlung ER - TY - CONF AB - Durch die immer kuerzer werdenden Entwicklungszyklen und den groeßer werdenden Druck bzgl. Time-to-Market fuer eingebettete Systeme im Automobilsektor steigt der Bedarf, die Systeme bereits zu fruehen Entwicklungszeitpunkten gegenueber den Qualitaetsanforderungen (z. B. Zeitanforderungen und Ressourcenauslastung) zu verifizieren. Wir stellen einen Ansatz vor, der eine formale Spezifikation von Zeitanforderungen und Wirkketten sowie deren fruehzeitige Analyse durch Simulation erlaubt. Verletzungen von Zeitanforderungen werden in den Simulationsergebnissen automatisch erkannt. AU - Meyer, Jan AU - Holtmann, Jörg AU - Meyer, Matthias ID - 20915 T2 - 8. Paderborner Workshop Entwurf mechatronischer Systeme TI - Formalisierung von Anforderungen und Betriebssystemeigenschaften zur fruehzeitigen Simulation von eingebetteten, automobilen Systemen VL - 294 ER - TY - CONF AB - Safety critical functions for embedded systems are increasingly realized with software. Current and future standards and maturity models impose high accuracy and quality for the development process of such software-intensive, embedded systems. But nowadays, there are process and tooling gaps between different modeling aspects for the system under development (SUD). Furthermore, the SUD is usually verified and validated not until it is completely implemented, which leads to expensive corrections. In this paper we present a seamless, model-based development process, which is intended for the automotive supplier domain and conforms to the process reference model of Automotive SPICE. The development process addresses the issues mentioned above by using systematic transitions between different modeling aspects and simulations in early development stages. AU - Holtmann, Jörg AU - Meyer, Jan AU - Meyer, Matthias ID - 20916 T2 - Software Engineering 2011 – Workshopband (inkl. Doktorandensymposium) TI - A Seamless Model-Based Development Process for Automotive Systems VL - P-184 ER -