Kai Bollue , Dominique Gückel , Ulrich Loup , Jacob Spönemann , Melanie Winkler (Eds.):
Proceedings of the Joint Workshop of the German Research Training Groups in Computer Science, Algorithmic synthesis of reactive and discrete-continuous systems, AlgoSyn 2010, May 31 - June 2, 2010.
Verlagshaus Mainz, Aachen, Germany 2010, ISBN 3-86130-146-6 GRK 643:
Software for Mobile Communication Systems
export record as
dblp key:
export record as
dblp key:
conf/dagstuhl/Hannemann10 export record as
dblp key:
Di Li :
Cluster-based Channel Assignment for Multi-radio Multi-channel Wireless Mesh Networks.
19
export record as
dblp key:
export record as
dblp key:
Cem Mengi :
Integrated Design and Configuration of Versatile Software Documents in Automotive Software Engineering.
21
export record as
dblp key:
conf/dagstuhl/Panchenko10 export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Florian Schmidt :
Improving Performance in Corruption-susceptible Networks.
25
export record as
dblp key:
Xiang Xu :
Factor-graph Based Channel Estimation for MIMO-OFDM Systems.
27
GRK 1042:
Explorative Analysis and Visualization of Large Information Spaces
export record as
dblp key:
conf/dagstuhl/Bondarenko10 Vladimir Bondarenko :
Adaptive Thinning Algorithms of Atmospheric Observations in Data Assimilation for Numerical Weather Prediction.
30
export record as
dblp key:
Thorsten Dahmen :
Simulation and Optimization of Race-Bike Training on Realistic Tracks.
31
export record as
dblp key:
Mathias Heilig :
Novel Interaction Techniques for Information Seeking.
32
export record as
dblp key:
Mahsa Jenabi :
Cross-Display Input Device for Co-located Collaborative Work.
33
export record as
dblp key:
conf/dagstuhl/Kisilevich10 export record as
dblp key:
export record as
dblp key:
Milos Krstajic :
Visual Analytics Methods for Large-Scale Analysis of Information Dynamics in News Streams.
37
export record as
dblp key:
Martin Mader :
Network Visualization: Dynamics, Modes, and Collections.
38
export record as
dblp key:
export record as
dblp key:
Sören Pirk :
Real-Time Rendering and Modeling of Vegetation.
40
export record as
dblp key:
Mirco Richter :
High-Dimensional Methods for Dementia Analysis.
41
export record as
dblp key:
Andreas Stoffel :
Document Structure Analysis for Large Document Collections.
42
export record as
dblp key:
GRK 1076/3:
TrustSoft
export record as
dblp key:
Amna Asif :
Multimodal User Interfaces for a Car Navigation System.
46
export record as
dblp key:
Ahmad El Maamoun :
Achieving Fault Tolerance for Arithmetic Circuits with a Mutable RNS Monitor.
48
export record as
dblp key:
Muhammad Imran Asad Gul :
Self-Managed Resource Consumption Optimization by Near-Future User Behavior Prediction at Application Level.
50
export record as
dblp key:
Christian Jakob :
Gesellschaftsrechtliche Anforderungen an Risikomanagementsysteme.
51
export record as
dblp key:
export record as
dblp key:
Sven Linker :
Diagrammatic Specification and Verification of Mobile Real-Time Systems.
53
export record as
dblp key:
Nils Müllner :
Unmasking Fault Tolerance: Masking vs. Non-masking Fault-tolerant Systems.
54
export record as
dblp key:
conf/dagstuhl/Oppermann10 export record as
dblp key:
Hendrik Radke :
Correctness of Graph Programs Relative to Hyperedge Replacement Conditions.
56
export record as
dblp key:
export record as
dblp key:
André van Hoorn :
Online Capacity Management for Increased Resource Efficiency of Software Systems.
58
GRK 1194:
Self-organizing Sensor-Actuator-Networks
export record as
dblp key:
Martin Heine :
Privacy and Reciprocity in Sensor-Networks.
60
export record as
dblp key:
Jens Horneber :
Managing Energy Efficient and Reliable Communication in Wireless Sensor Networks.
61
export record as
dblp key:
export record as
dblp key:
Alexander Kettler :
Decentral Task Processing by Cooperation and Interaction: Models Assisting in Local Algorithm Design.
63
export record as
dblp key:
Daniel Lyons :
Scheduling and Ressource Allocation in Decentralized Sensor-actor-networks.
64
export record as
dblp key:
Benjamin Noack :
Decentralized Reconstruction of Continuous Distributed Phenomena based on Discrete Measurements.
65
export record as
dblp key:
Christoph Roth :
V2X Simulation Environment for Comprehensive Design Space Exploration Verification and Test.
66
export record as
dblp key:
conf/dagstuhl/Schieferdecker10 export record as
dblp key:
export record as
dblp key:
Tessa Tielert :
Information Dissemination in Urban Wireless Vehicular Networks.
71
export record as
dblp key:
Markus Völker :
Algorithmic Aspects of Sensor Networks - Scheduling, Localization and Topology Control.
72
GRK 1298:
Algorithmic Synthesis of Reactive and Discrete-Continuous Systems (AlgoSyn)
export record as
dblp key:
Kai Bollue :
Synthesis of Behavioral Controllers for Discrete Event Systems with Augmented Petri Net Models.
74
export record as
dblp key:
export record as
dblp key:
Dominique Gückel :
Synthesis of Hardware Simulators for Use in Model Checking.
76
export record as
dblp key:
Paul Hänsch :
Reachability Analysis of Hybrid Systems.
77
export record as
dblp key:
export record as
dblp key:
Ulrich Loup :
Decision Problems over the Domain of the Real Numbers.
80
export record as
dblp key:
Alexandru Mereacre :
Time-Inhomogeneous Markov Chains and Piecewise Deterministic Markov Processes.
81
export record as
dblp key:
Michaela Slaats :
Aspects of Higher-Order Pushdown Systems - Infinite Regular Games and Strategies.
82
export record as
dblp key:
conf/dagstuhl/Sponemann10 export record as
dblp key:
export record as
dblp key:
Melanie Winkler :
Synthesis and Probabilistic Analysis of Online Algorithms for Online Buffering Problems.
85
GRK 1324:
Model-Based Development of Self-Organizing Information-Systems for Disaster Management (METRIK)
export record as
dblp key:
Jan Calta :
Formal Verification of Self-Organizing Systems.
87
export record as
dblp key:
Andreas Dittrich :
Self-Aware Adaptive Service Networks with Dependability Guarantees.
88
export record as
dblp key:
Joanna Geibig :
Self-Organized Data Replication in Wireless Multihop Ad-Hoc Networks.
90
export record as
dblp key:
export record as
dblp key:
Frank Kühnlenz :
A Model-based Approach for Transparent Experimentation Workflows.
93
export record as
dblp key:
conf/dagstuhl/Nachtigall10 Jens Nachtigall :
Wireless Routing Protocols for Earthquake Early Warning Systems.
94
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/dagstuhl/Theisselmann10 Falko Theisselmann :
Model-driven Engineering for Environmental Modeling with Cellular Automata.
98
export record as
dblp key:
export record as
dblp key:
Arif Wider :
Metamodel-based Technologies for the Development of Optical Nanostructures.
100
GRK 1362:
Cooperative, Adaptive and Responsive Monitoring in Mixed-Mode Environments
export record as
dblp key:
conf/dagstuhl/Andriluka10 export record as
dblp key:
export record as
dblp key:
Arthur Herzog :
Device-Agent Based Middleware Approach for Mixed Mode Environments.
106
export record as
dblp key:
Daniel Jacobi :
Scopes - A Framework for Multi-Purpose Wireless Sensor Networks.
107
export record as
dblp key:
Matthias Kropff :
Multi-Modal Sensor Monitoring for Context-Aware Assistance.
108
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Johannes Meyer :
Real-time Obstacle and Terrain Mapping for Unmanned Aerial Vehicles.
111
export record as
dblp key:
Karen Petersen :
General Concepts for the Support of Autonomous Teams of Robots by a Human Operator.
112
export record as
dblp key:
Katayon Radkhah :
Design, Actuation, and Control for Biologically Inspired Four-Legged and Two-Legged Robots.
113
export record as
dblp key:
Christian Reinl :
Trajectory Planning and Task Allocation of Cooperating Vehicles: Discrete-Continuous Modeling and Optimization.
114
export record as
dblp key:
conf/dagstuhl/Sachidananda10 export record as
dblp key:
conf/dagstuhl/Schnitzspan10 Paul Schnitzspan :
Conditional Random Fields for Detection of Visual Object Classes.
116
export record as
dblp key:
Marco Serafini :
Fault Characterization and Diagnosis in Distributed Systems.
117
export record as
dblp key:
Armin Strobel :
Distributed and Predictive Control of UAV Swarms for Measurement of Scalar Fields in Lower Airspace.
118
export record as
dblp key:
Farid Zaid :
Towards Enablement of Mobile Orientation-aware Services.
119
GRK 1387/1:
dIEM oSiRiS - Integrative Development of Modeling and Simulation Methods for Regenerative Systems
export record as
dblp key:
Fiete Haack :
Brownian Dynamics Simulations for Cell Biological Applications.
122
export record as
dblp key:
Ron Henkel :
Distributed Information Retrieval of Computational Biological Models.
123
export record as
dblp key:
Matthias Jeschke :
Efficient Non-spatial and Spatial Simulation of Biochemical Reaction Networks.
124
export record as
dblp key:
export record as
dblp key:
Carsten Maus :
Multi-Level Modelling for Systems Biology.
127
export record as
dblp key:
export record as
dblp key:
Yvonne Schmitz :
Mathematical Modeling of Cell Signalling: Kinetic Properties of the Wnt Pathway.
129
export record as
dblp key:
GRK 1424:
Multimodal Smart Appliance Ensembles for Mobile Applications(MuSAMA)
export record as
dblp key:
Christian Bünnig :
Smart Privacy Management in Ubiquitous Computing Environments.
134
export record as
dblp key:
conf/dagstuhl/Burghardt10 export record as
dblp key:
David Gassmann :
Distribution Strategies of Data and Functionality in a Spontaneous Linked-up Sensor Network.
136
export record as
dblp key:
Enrico Heinrich :
Development of a Flexible, Locatable and Safe Radio Platform.
137
export record as
dblp key:
Anke Lehmann :
Interaction in High-resolution Display Environments.
138
export record as
dblp key:
Philipp Lehsten :
Intelligent Integration and Dissemination of Services in a Smart Environment.
139
export record as
dblp key:
export record as
dblp key:
Axel Radloff :
User-driven Visual Interfaces for Smart Meeting Rooms.
141
export record as
dblp key:
Henry Ristau :
Intelligent and Distributed Content Addressable Memory.
142
export record as
dblp key:
conf/dagstuhl/Steiniger10 export record as
dblp key:
Maik Wurdel :
An Integrated Approach for Task Specification for Smart Environments.
144
GRK 1480:
Programm- und Modell-Analyse (PUMA)
export record as
dblp key:
Lukas Bulwahn :
Counterexample Generation for Higher-order Logic Using Logic Programming.
146
export record as
dblp key:
export record as
dblp key:
Andreas Gaiser :
Probabilistic Verification Techniques and Probabilistic Program Analysis.
148
export record as
dblp key:
Johannes Hölzl :
Quantitative Information Flow Analysis in Isabelle.
150
export record as
dblp key:
Jan Hoffmann :
An Automatic Amortized Analysis of the Resource Consumption of Functional Programs.
151
export record as
dblp key:
conf/dagstuhl/Karbyshev10 export record as
dblp key:
export record as
dblp key:
Máté Kovács :
Information Flow Analysis in Business Processes.
156
export record as
dblp key:
conf/dagstuhl/Latte-Freiberger10 export record as
dblp key:
export record as
dblp key:
conf/dagstuhl/Rodriguez10 Dulma Rodriguez :
A Type System for Amortised Heap-Space Analysis of Object-Oriented Programs.
159
GRK 1487:
Self-organized Mobile Communication Systems for Disaster Scenarios
export record as
dblp key:
export record as
dblp key:
Md. Akbar Hossain :
Optimization of Spectrum Handoff in Cognitive Radio Ad-Hoc Networks.
163
export record as
dblp key:
Christian Brosch :
Self-Organized Service Placement in Mobile Communication Networks.
164
export record as
dblp key:
Markus Brückner :
A Framework for Robust and Efficient Movement-Based Message Forwarding.
165
export record as
dblp key:
Michael Grimm :
Cognitive Control of a FPGA-based RF Interface for Cognitive Radio in Disaster Scenarios.
167
export record as
dblp key:
Alexander Krah :
Electromagnetic Wave Field Synthesis for an Over-the-Air Test of Radios in the Graduate School.
168
export record as
dblp key:
conf/dagstuhl/Krasovsky10 Pavlo Krasovsky :
Monitor and Control System of Distributed Data Exchange in MANETs for Dissaster Scenarious.
169
export record as
dblp key:
Omar Ahmed :
Self-Organized Routing in Cognitive Radio Ad Hoc Networks.
170
export record as
dblp key:
conf/dagstuhl/Ribe-Baumann10 export record as
dblp key:
Saleh Hussin :
Opportunistic Spectrum Access in Cognitive Radio Ad Hoc Networks.
173
export record as
dblp key:
export record as
dblp key:
Tobias Simon :
Self-organized Mission Planning and Control for UAV Communication Platforms.
175
export record as
dblp key:
Mikhail Tarasov :
Self-Organized Network Optimization via Placement of Additional Nodes.
176
export record as
dblp key:
export record as
dblp key:
Jin Yang :
Self-organization Data Harvesting and Fusion for Building a Resource Map.
178
export record as
dblp key:
Bilal Zafar :
Control of Distributed Heterogenous MIMO.
179
International Graduate School:
Dynamic Intelligent Systems
export record as
dblp key:
conf/dagstuhl/Dumitrescu10 Roman Dumitrescu :
Developing Cognitive Functions in Self-Optimizing Systems with Solution Patterns.
182
export record as
dblp key:
Christian Gerth :
A Framework for Change Management of Business Process Models.
182
export record as
dblp key:
conf/dagstuhl/Kemmerich10 export record as
dblp key:
Emi Mathews :
Maintaining Connectivity of Autonomous Agents Using Mobile Ad-hoc Robotic Network.
187
Research College:
Service-Oriented Systems Engineering
export record as
dblp key:
conf/dagstuhl/AbuJarour10 export record as
dblp key:
export record as
dblp key:
conf/dagstuhl/Appeltauer10 export record as
dblp key:
Basil Becker :
Modeling and Verification of Self-Adaptive Service-Oriented Systems.
193
export record as
dblp key:
export record as
dblp key:
Regina Hebig :
Mega-modeling the Development of Service-Oriented Enterprise Systems.
195
export record as
dblp key:
conf/dagstuhl/Hentschel10 export record as
dblp key:
conf/dagstuhl/Hildebrandt10 Dieter Hildebrandt :
Service-Oriented Visualization of 3D Geovirtual Environments based on Standards and Images.
197
export record as
dblp key:
Stephan Kluth :
Quantitative Modeling and Analysis with FMC-QE.
198
export record as
dblp key:
Thomas Kowark :
Towards a Service Landscape for a Project Management Dashboard.
199
export record as
dblp key:
export record as
dblp key:
Michael Menzel :
Model-driven Generation of Security Policies for Service-oriented Architectures.
201
export record as
dblp key:
export record as
dblp key:
Emilian Pascalau :
Web Systems Design with Process-based Self Adaptive Behavior.
203
export record as
dblp key:
conf/dagstuhl/Perscheid10 export record as
dblp key:
conf/dagstuhl/Polyvyanyy10 export record as
dblp key:
Alexander Schmidt :
Operating System Support for Monitoring Parallel Software Systems.
207
export record as
dblp key:
export record as
dblp key:
Ivonne Thomas :
Reliable Digital Identities for SOA and the Web.
209
export record as
dblp key:
export record as
dblp key:
Thomas Vogel :
Models and Infrastructure Support for Self-Adaptive Service-Oriented Software Systems.
211
export record as
dblp key:
Tobias Vogel :
Dynamically Adaptive Data Quality Web Services.
213
data released under the ODC-BY 1.0 license
