Dagstuhl 2010: Proceedings of the Joint Workshop of the German Research Training Groups in Computer Science May 31 - June 2, 2010

218 Pages·2010·3.365 MB·English

by  Kai Bollue, Dominique Gückel, Ulrich Loup, Jacob Spönemann, Melanie Winkler

Proceedings of the Joint Workshop of the
German Research Training Groups
in Computer Science
May 31 - June 2, 2010

Proceedings of the Joint Workshop of the
German Research Training Groups in
Computer Science
May 31 - June 2, 2010
DFG Research Training Group 1298 AlgoSyn
RWTH Aachen University
Bibliografische Informationen der Deutschen Bibliothek
Die Deutsche Bibliothek verzeichnet diese Publikation in der Deutschen
Nationalbibliografie; detaillierte bibliografische Daten sind im Internet über
http://dnb.ddb.de abrufbar.
Proceedings of the Joint Workshop of the
German Research Training Groups in ComputerScience
May 31 - June 2, 2010
1. Auflage Januar 2010
Alle Rechte vorbehalten
ISBN-10: 3-86130-146-6
Das Werk, einschließlich seiner Teile, ist urheberrechtlich geschützt. Jede Verwendung ist ohne
die Zustimmung des Herausgebers außerhalb der engen Grenzen des Urhebergesetzes
unzulässig und strafbar. Das gilt insbesondere für Vervielfältigungen, Übersetzungen,
Mikroverfilmungen und die Einspeicherung und Verarbeitung in elektronischen Systemen.
Vertrieb:
© Verlagshaus Mainz GmbH Aachen
Süsterfeldstr. 83, 52072 Aachen
Tel. [phone]
Fax [phone]
www.Verlag-Mainz.de
Herstellung:
Druck und Verlagshaus Mainz GmbH Aachen
Süsterfeldstr. 83, 52072 Aachen
Tel. [phone]
Fax [phone]
www.Verlag-Mainz.de
www.DruckereiMainz.de
www.Druckservice-Aachen.de
printed in Germany
Proceedings of the Joint Workshop of the German Research Training Groups in
Computer Science
Preface
For several years the German Research Training Groups in computer science
havemetatSchlossDagstuhl-theLeibnizCenterforInformatics,theworld’s
premiervenueforresearchseminarsincomputerscience. Thisjointworkshop,
funded by the Deutsche Forschungsgemeinschaft (DFG), aims to provide
a platform for the exchange of knowledge and the discussion of research
findings.
Every year one Research Training Group is responsible for the planning
and organization of this event. For the current workshop in 2010, this is
done by the Research Training Group AlgoSyn1 from Aachen. In order to
provide as much information as possible about the participating Research
Training Groups every scholarship holder was asked to submit an abstract
describing briefly his/her research topic. People who give a talk during the
workshop got the opportunity to submit extended abstracts. Additionally,
the Research Training Groups were invited to shortly introduce themselves.
Sincere thanks to everybody who has contributed to the creation of these
proceedings, especially the abstracts’ authors. Furthermore, special thanks
to the DFG for the yearly funding of the joint workshops.
The AlgoSyn proceedings team
Kai Bollue
Dominique Gückel
Ulrich Loup
Jacob Spönemann
Melanie Winkler
1
FurtherinformationaboutAlgoSyn(“Algorithmicsynthesisofreactiveanddiscrete-
continuous systems”), its research topics, and researchers can be found in these
proceedings.
3 3
4
Proceedings of the Joint Workshop of the German Research Training Groups in
Computer Science
Contents
Organizational Information 12
1 GRK 643: Software for Mobile Communication Systems 15
1.1 Multi-Agent Only-Knowing Revisited . . . . . . . . . . . . . . . 16
1.2 Multipath Routing in Wireless Mesh Networks . . . . . . . . . 18
1.3 Cluster-basedChannelAssignmentforMulti-radioMulti-channel
Wireless Mesh Networks . . . . . . . . . . . . . . . . . . . . . . 19
1.4 QoE in Cooperative Wireless Networks . . . . . . . . . . . . . . 20
1.5 IntegratedDesignandConfigurationofVersatileSoftwareDocu-
ments in Automotive Software Engineering. . . . . . . . . . . . 21
1.6 Anonymous Communication . . . . . . . . . . . . . . . . . . . . 22
1.7 Knowledge Discovery in Digital Libraries . . . . . . . . . . . . . 23
1.8 Localize Me! . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
1.9 Improving Performance in Corruption-susceptible Networks . . 25
1.10 Factor-graph Based Channel Estimation for MIMO-OFDM Sys-
tems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
2 GRK1042: ExplorativeAnalysisandVisualizationofLargeInforma-
tion Spaces 29
2.1 Adaptive Thinning Algorithms of Atmospheric Observations in
Data Assimilation for Numerical Weather Prediction . . . . . . 30
2.2 SimulationandOptimizationofRace-BikeTrainingonRealistic
Tracks . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
2.3 Novel Interaction Techniques for Information Seeking . . . . . . 32
2.4 Cross-Display Input Device for Co-located Collaborative Work 33
2.5 Visual Spatiotemporal Analysis of Movement and Event Data . 35
2.6 XML Full-Text Retrieval . . . . . . . . . . . . . . . . . . . . . . 36
2.7 Visual Analytics Methods for Large-Scale Analysis of Informa-
tion Dynamics in News Streams . . . . . . . . . . . . . . . . . . 37
2.8 Network Visualization: Dynamics, Modes, and Collections . . . 38
2.9 Analysis of Network Ensembles . . . . . . . . . . . . . . . . . . 39
5 5
Contents
2.10 Real-Time Rendering and Modeling of Vegetation . . . . . . . . 40
2.11 High-Dimensional Methods for Dementia Analysis . . . . . . . 41
2.12 Document Structure Analysis for Large Document Collections . 42
2.13 Advanced Visualizations of Large Document Collections . . . . 43
3 GRK 1076/3: TrustSoft 45
3.1 Multimodal User Interfaces for a Car Navigation System . . . . 46
3.2 AchievingFaultToleranceforArithmeticCircuitswithaMutable
RNS Monitor . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48
3.3 Self-Managed Resource Consumption Optimization by Near-
Future User Behavior Prediction at Application Level . . . . . 50
3.4 Gesellschaftsrechtliche Anforderungen an Risikomanagementsys-
teme . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51
3.5 Dependable Data Management in Dynamic Distributed Systems 52
3.6 DiagrammaticSpecificationandVerificationofMobileReal-Time
Systems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53
3.7 Unmasking Fault Tolerance: Masking vs. Non-masking Fault-
tolerant Systems . . . . . . . . . . . . . . . . . . . . . . . . . . 54
3.8 End-User-Requirement-DrivenDesignofWirelessSensorNetworks 55
3.9 Correctness of Graph Programs Relative to Hyperedge Replace-
ment Conditions . . . . . . . . . . . . . . . . . . . . . . . . . . 56
3.10 Compliance in Kapitalgesellschaften . . . . . . . . . . . . . . . 57
3.11 Online Capacity Management for Increased Resource Efficiency
of Software Systems . . . . . . . . . . . . . . . . . . . . . . . . 58
4 GRK 1194: Self-organizing Sensor-Actuator-Networks 59
4.1 Privacy and Reciprocity in Sensor-Networks . . . . . . . . . . . 60
4.2 ManagingEnergyEfficientandReliableCommunicationinWire-
less Sensor Networks . . . . . . . . . . . . . . . . . . . . . . . . 61
4.3 Nature-Inspired Wireless Sensor-Actuator-Networks. . . . . . . 62
4.4 DecentralTaskProcessingbyCooperationandInteraction: Mod-
els Assisting in Local Algorithm Design . . . . . . . . . . . . . 63
4.5 Scheduling and Ressource Allocation in Decentralized Sensor-
actor-networks . . . . . . . . . . . . . . . . . . . . . . . . . . . 64
4.6 Decentralized Reconstruction of Continuous Distributed Phe-
nomena based on Discrete Measurements. . . . . . . . . . . . . 65
4.7 V2X Simulation Environment for Comprehensive Design Space
Exploration Verification and Test . . . . . . . . . . . . . . . . . 66
4.8 Lifetime Optimization of Wireless Sensor Networks . . . . . . . 68
6 6
Proceedings of the Joint Workshop of the German Research Training Groups in
Computer Science
4.9 Infrastructureless Localization in WSN . . . . . . . . . . . . . . 69
4.10 Information Dissemination in Urban Wireless Vehicular Networks 71
4.11 Algorithmic Aspects of Sensor Networks - Scheduling, Localiza-
tion and Topology Control . . . . . . . . . . . . . . . . . . . . . 72
5 GRK1298: AlgorithmicSynthesisofReactiveandDiscrete-Continuous
Systems (AlgoSyn) 73
5.1 Synthesis of Behavioral Controllers for Discrete Event Systems
with Augmented Petri Net Models . . . . . . . . . . . . . . . . 74
5.2 Logics for Quantitative Systems . . . . . . . . . . . . . . . . . . 75
5.3 Synthesis of Hardware Simulators for Use in Model Checking . 76
5.4 Reachability Analysis of Hybrid Systems . . . . . . . . . . . . . 77
5.5 The Complexity of Winning Strategies in Infinite Games . . . . 79
5.6 Decision Problems over the Domain of the Real Numbers . . . 80
5.7 Time-Inhomogeneous Markov Chains and Piecewise Determinis-
tic Markov Processes . . . . . . . . . . . . . . . . . . . . . . . . 81
5.8 Aspects of Higher-Order Pushdown Systems - Infinite Regular
Games and Strategies . . . . . . . . . . . . . . . . . . . . . . . 82
5.9 The Network Design Problem for Railway Infrastructure . . . . 83
5.10 Symbolic and Timed Testing . . . . . . . . . . . . . . . . . . . 84
5.11 Synthesis and Probabilistic Analysis of Online Algorithms for
Online Buffering Problems . . . . . . . . . . . . . . . . . . . . . 85
6 GRK1324: Model-BasedDevelopmentofSelf-OrganizingInformation-
Systems for Disaster Management (METRIK) 87
6.1 Formal Verification of Self-Organizing Systems . . . . . . . . . 88
6.2 Self-AwareAdaptiveServiceNetworkswithDependabilityGuar-
antees . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 89
6.3 Self-Organized Data Replication in Wireless Multihop Ad-Hoc
Networks . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 90
6.4 Testing Dynamic Component Systems . . . . . . . . . . . . . . 92
6.5 AModel-basedApproachforTransparentExperimentationWork-
flows . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 93
6.6 WirelessRoutingProtocolsforEarthquakeEarlyWarningSystems 94
6.7 Analysis of Behavioral Exchangeability of Services . . . . . . . 95
6.8 Security in Self-Organizing Systems . . . . . . . . . . . . . . . . 96
6.9 Analysis and Construction of Chorematic Diagrams . . . . . . . 97
6.10 Model-driven Engineering for Environmental Modeling with
Cellular Automata . . . . . . . . . . . . . . . . . . . . . . . . . 98
7 7