@inproceedings{20981, abstract = {{Real-time embedded systems (RTES), as in the automotive domain, provide their functionality by executing software operations on hardware with restricted resources and by communicating via buses. The properties of the underlying architecture, i.e., execution times of software operations and bus latencies, cause delays during the provision of the functionality. At the same time, RTES have to fulfill strict real-time requirements. The fulfillment of such real-time requirements under consideration of delays induced by architectural properties should be taken into account already during requirements engineering (RE) to avoid costly iterations in subsequent development phases. In previous work, we developed a formal RE approach based on a recent Live Sequence Chart (LSC) variant, so-called Modal Sequence Diagrams (MSDs). This scenario-based RE approach allows to validate the requirements by means of simulation, i.e., the play-out algorithm originally conceived for LSCs. Our MSD play-out approach considers assumptions on the environment as well as real-time requirements and is applicable to hierarchical component architectures, which makes it well suited for automotive systems. However, delays induced by architectural properties are not considered. In order to consider this important aspect, we introduce in this paper an approach enabling the annotation of software operation execution times and connector latencies to hierarchical component architectures by means of the MARTE profile. These assumptions about the architectural properties can be verified against the real-time requirements specified in the MSDs by means of simulation. We illustrate the approach by means of an example of an automotive RTES.}}, author = {{Holtmann, Jörg and Shipchanov, Dimitar}}, booktitle = {{Proceedings of 12th Workshop Automotive Software Engineering}}, pages = {{2169–2180}}, publisher = {{Bonner Koellen Verlag}}, title = {{{Considering Architectural Properties in Real-time Play-out}}}, volume = {{P-232}}, year = {{2014}}, } @inbook{20982, abstract = {{Real-time software-intensive embedded systems complexity, as in the automotive domain, requires rigorous Requirements Engineering (RE) approaches. Scenario-based RE formalisms like Modal Sequence Diagrams (MSDs) enable an intuitive specication and the simulative validation of functional requirements. However, the dependencies between events occurring in different MSD scenarios are implicit so that it is difficult to find causes of requirements defects, if any. The automotive architecture description language EAST-ADL addresses this problem by relying on event chains, which make dependencies between events explicit. However, EAST-ADL event chains have a low abstraction level, and their relationship to functional requirements has seldom been investigated. Based on the EAST-ADL functional architecture, we propose to use its central notion of event to conciliate both approaches. We conceived an automatic transformation from the high abstraction level requirements specified in MSDs to the low abstraction level event chains. }}, author = {{Koch, Thorsten and Holtmann, Jörg and DeAntoni, Julien}}, booktitle = {{Software Architecture}}, isbn = {{9783319099699}}, issn = {{0302-9743}}, title = {{{Generating EAST-ADL Event Chains from Scenario-Based Requirements Specifications}}}, doi = {{10.1007/978-3-319-09970-5_14}}, year = {{2014}}, } @inproceedings{20983, abstract = {{In many areas, such as automotive, healthcare, or production, we find software-intensive systems with complex real-time requirements. To efficiently ensure the quality of these systems, engineers require automated tools for the validation of the requirements throughout the development. This, however, requires that the requirements are specified in an analyzable way. We propose modeling the specification using Modal Sequence Diagrams (MSDs), which express what a system may, must, or must not do in certain situations. MSDs can be executed via the play-out algorithm to investigate the behavior emerging from the interplay of multiple scenarios; we can also test if traces of the final product satisfy all scenarios. In this paper, we present the first tool supporting the play-out of MSDs with real-time constraints. As a case study, we modeled the requirements on gear shifts in an upcoming standard on vehicle testing and use our tool to validate externally generated gear shift sequences.}}, author = {{Brenner, Christian and Greenyer, Joel and Holtmann, Jörg and Liebel, Grischa and Stieglbauer, Gerald and Tichy, Matthias}}, booktitle = {{Proceedings of the 13th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2014)}}, title = {{{ScenarioTools Real-Time Play-Out for Test Sequence Validation in an Automotive Case Study}}}, year = {{2014}}, } @article{21039, author = {{Brecht, Benjamin and Eckstein, Andreas and Ricken, Raimund and Quiring, Viktor and Suche, Hubertus and Sansoni, Linda and Silberhorn, Christine}}, issn = {{1050-2947}}, journal = {{Physical Review A}}, title = {{{Demonstration of coherent time-frequency Schmidt mode selection using dispersion-engineered frequency conversion}}}, doi = {{10.1103/physreva.90.030302}}, volume = {{90}}, year = {{2014}}, } @article{21040, author = {{Krapick, S. and Stefszky, M. S. and Jachura, M. and Brecht, B. and Avenhaus, M. and Silberhorn, C.}}, issn = {{1050-2947}}, journal = {{Physical Review A}}, title = {{{Bright integrated photon-pair source for practical passive decoy-state quantum key distribution}}}, doi = {{10.1103/physreva.89.012329}}, volume = {{89}}, year = {{2014}}, } @inbook{21211, author = {{Herzig, Bardo and Aßmann, Sandra and Klar, Tilman-Mathies}}, booktitle = {{Grundbildung Medien in pädagogischen Studiengängen}}, editor = {{Imort, Peter and Niesyto, Horst}}, pages = {{65--80}}, publisher = {{kopaed}}, title = {{{Grundbildung Medien im Profilstudium im Lehramt}}}, year = {{2014}}, } @inbook{21357, author = {{Mirbabaie, Milad and Ehnis, Christian and Stieglitz, Stefan and Bunker, Deborah}}, booktitle = {{Information systems and global assemblages: (re)configuring actors, artefacts, organizations: IFIP WG 8.2 Working Conference on Information Systems}}, editor = {{Doolin, Bill and Lamprou, Eleni and Mitev, Nathalie and McLeod, Laurie}}, location = {{Auckland, New Zealand}}, pages = {{207--218}}, publisher = {{Springer}}, title = {{{Communication roles in public events: a case study on Twitter communications}}}, year = {{2014}}, } @inproceedings{21358, author = {{Stieglitz, Stefan and Brockmann, Tobias and Mirbabaie, Milad}}, booktitle = {{Proceedings of the 25th Australasian Conference on Information Systems}}, isbn = {{978-1-927184-26-4}}, location = {{Auckland, New Zealand}}, title = {{{How context impacts on media choice}}}, year = {{2014}}, } @inproceedings{21361, author = {{Ehnis, Christian and Mirbabaie, Milad and Bunker, Deborah and Stieglitz, Stefan}}, booktitle = {{Proceedings of the 25th Australasian Conference on Information Systems}}, isbn = {{978-1-927184-26-4}}, location = {{Auckland, New Zealand}}, title = {{{The role of social media network participants in extreme events}}}, year = {{2014}}, } @inproceedings{21492, author = {{Hein, David and Meschut, Gerson and Hahn, Ortwin and Matzenmiller, Anton and Nelson, Alexander}}, booktitle = {{4. Fügetechnisches Gemeinschaftskolloquium}}, location = {{Dresden}}, title = {{{Experimentelle und numerische Untersuchungen des Crashverhaltens hybridgefügter Verbindungen}}}, year = {{2014}}, } @article{21501, author = {{Behm, Velten and Höfemann, Matthias and Hatscher, Ansgar and Springer, André and Kaierle, Stefan and Hein, David and Otto, Manuel and Overmeyer, Ludger}}, issn = {{1875-3892}}, journal = {{Physics Procedia}}, pages = {{610--619}}, title = {{{Investigations on Laser Beam Welding Dissimilar Material Combinations of Austenitic High Manganese (FeMn) and Ferrite Steels}}}, doi = {{10.1016/j.phpro.2014.08.049}}, year = {{2014}}, } @phdthesis{21503, abstract = {{Bei der Umsetzung von innovativen Leichtbaukonzepten finden verstärkt mechanische Fügeverfahren Anwendung. Folglich werden im Automobilbau, neben den konventionellen Fügeverfahren wie dem Widerstandspunktschweißen, mechanische Verbindungstechniken, wie z.B. das Halbhohlstanznieten eingesetzt.Für den effektiven Einsatz dieser Fügetechniken insbesondere in crashrelevanten Bereichen fehlen jedoch bislang Verbindungskennwerte, die eine Vorhersage über das Tragverhalten dieser Verbindungen ermöglichen. Das Ziel dieser Arbeit war es, das Tragverhalten von Halbhohlstanznietverbindungen für den Lastfall Crash zu charakterisieren und eine Methode aufzuzeigen, mit deren Hilfe es möglich ist, das experimentell ermittelte Verhalten rechnerisch abzuschätzen. Diese Arbeit beinhaltet, neben der experimentellen Ermittlung von Werkstoffkennwerten, die Ergebnisse zur Charakterisierung der Tragfähigkeit von Halbhohlstanznietverbindungen unter Crashbelastung. Dabei wird neben der einfach überlappten Zugscher- und Schälzugprobe das patentierte LWF-KS-2-Prüfkonzept eingesetzt, welches Tragfähigkeitsuntersuchungen unter Berücksichtigung der Lasteinleitungsrichtung und der Belastungsgeschwindigkeit erlaubt. Als Versuchswerkstoffe kamen dabei der mikrolegierte Stahlwerkstoff HC340LA,der Bake-Hardening-Stahl HC180BD, der Dualphasenstahl HCT600X sowie die Aluminiumlegierungen EN AW-6014 und EN AW-6060 zum Einsatz. Die experimentell ermittelten Verbindungskennwerte dienten unmittelbar als Eingangsdaten für die rechnergestützte Vorhersage des Trag- und Versagensverhaltens von Halbhohlstanznietverbindungen. Aufbauend darauf wurde in der vorliegenden Arbeit eine Methodik zur Entwicklung und Optimierung eines numerischen Ersatzmodells für Halbhohlstanznietverbindungen unter Crashbelastung dargestellt. }}, author = {{Hein, David}}, isbn = {{978-3-8440-3093-8}}, keywords = {{Halbhohlstanznietverbindungen, Crash, Crashbelastung}}, publisher = {{Shaker Verlag GmbH}}, title = {{{Beitrag zur Kennwertermittlung für die numerische Simulation des Tragverhaltens von Halbhohlstanznietverbindungen unter Crashbelastung}}}, volume = {{Band 107}}, year = {{2014}}, } @inproceedings{17319, author = {{Boehner, M. and Oevel, Gudrun and Porombka, Sebastian}}, booktitle = {{7. DFN Forum Kommunikationstechnologien – Beiträge der Fachtagung 16./17.6.2014 Fulda}}, editor = {{Müller, P. and Neumair, B. and Reiser, H. and Dreo Rodosek, G.}}, location = {{Fulda}}, pages = {{33--43}}, publisher = {{Gesellschaft für Informatik}}, title = {{{Energieeffizienz im WLAN}}}, volume = {{231}}, year = {{2014}}, } @inbook{17632, author = {{Peckhaus, Volker}}, booktitle = {{In memoriam Helmar Frank}}, editor = {{Peckhaus, Volker}}, pages = {{11--13}}, title = {{{Grußwort des Dekans der Fakultät für Kulturwissenschaft}}}, volume = {{133}}, year = {{2014}}, } @inproceedings{17659, author = {{Polevoy, Gleb and Trajanovski, Stojan and de Weerdt, Mathijs M.}}, booktitle = {{Proceedings of the 2014 International Conference on Autonomous Agents and Multi-agent Systems}}, isbn = {{978-1-4503-2738-1}}, keywords = {{competition, equilibrium, market, models, shared effort games, simulation}}, pages = {{861--868}}, publisher = {{International Foundation for Autonomous Agents and Multiagent Systems}}, title = {{{Nash Equilibria in Shared Effort Games}}}, year = {{2014}}, } @inproceedings{17660, author = {{Polevoy, Gleb and de Weerdt, Mathijs M.}}, booktitle = {{Proceedings of the 2014 International Conference on Autonomous Agents and Multi-agent Systems}}, isbn = {{978-1-4503-2738-1}}, keywords = {{dynamics, emotion modeling, negotiation, network interaction, shared effort game}}, pages = {{1741--1742}}, publisher = {{International Foundation for Autonomous Agents and Multiagent Systems}}, title = {{{Improving Human Interaction in Crowdsensing}}}, year = {{2014}}, } @inproceedings{17661, author = {{King, Thomas C. and Liu, Qingzhi and Polevoy, Gleb and de Weerdt, Mathijs and Dignum, Virginia and van Riemsdijk, M. Birna and Warnier, Martijn}}, booktitle = {{Proceedings of the 2014 International Conference on Autonomous Agents and Multi-agent Systems}}, isbn = {{978-1-4503-2738-1}}, keywords = {{crowd-sensing, crowdsourcing, data aggregation, game theory, norms, reciprocation, self interested agents, simulation}}, pages = {{1651--1652}}, publisher = {{International Foundation for Autonomous Agents and Multiagent Systems}}, title = {{{Request Driven Social Sensing}}}, year = {{2014}}, } @article{17662, author = {{Polevoy, Gleb and Smorodinsky, Rann and Tennenholtz, Moshe}}, issn = {{2167-8375}}, journal = {{ACM Trans. Econ. Comput.}}, keywords = {{Competition, efficiency, equilibrium, market, social welfare}}, number = {{1}}, pages = {{1:1--1:16}}, publisher = {{ACM}}, title = {{{Signaling Competition and Social Welfare}}}, doi = {{10.1145/2560766}}, volume = {{2}}, year = {{2014}}, } @inproceedings{1781, abstract = {{In light of an increasing awareness of environmental challenges, extensive research is underway to develop new light-weight materials. A problem arising with these materials is their increased response to vibration. This can be solved using a new composite material that contains embedded hollow spheres that are partially filled with particles. Progress on the adaptation of molecular dynamics towards a particle-based numerical simulation of this material is reported. This includes the treatment of specific boundary conditions and the adaption of the force computation. First results are presented that showcase the damping properties of such particle-filled spheres in a bouncing experiment.}}, author = {{Steinle, Tobias and Vrabec, Jadran and Walther, Andrea}}, booktitle = {{Proc. Modeling, Simulation and Optimization of Complex Processes (HPSC)}}, editor = {{Bock, Hans Georg and Hoang, Xuan Phu and Rannacher, Rolf and Schlöder, Johannes P.}}, isbn = {{978-3-319-09063-4}}, pages = {{233--243}}, publisher = {{Springer International Publishing}}, title = {{{Numerical Simulation of the Damping Behavior of Particle-Filled Hollow Spheres}}}, doi = {{10.1007/978-3-319-09063-4_19}}, year = {{2014}}, } @inproceedings{1782, author = {{Graf, Tobias and Schaefers, Lars and Platzner, Marco}}, booktitle = {{Proc. Conf. on Computers and Games (CG)}}, number = {{8427}}, pages = {{14--25}}, publisher = {{Springer}}, title = {{{On Semeai Detection in Monte-Carlo Go}}}, doi = {{10.1007/978-3-319-09165-5_2}}, year = {{2014}}, }