Table of Contents

• A Platform-Based Modeling Approach Supporting C2X System DesignHarald Bucher. 3
• Optimization-based Control for Networked Control SystemsMaxim Dolgov. 4
• Distributed Algorithms for Scheduling in Wireless NetworksFabian Fuchs. 5
• Precise and Scalable Localization in Ad-hoc Networks using Inertial Data FusionTobias Gädeke. 6
• Estimation and Scheduling in Sensor-Networks Involving Periodic DataIgor Gilitschenski. 7
• Shared Reconfigurable Sensor-Actuator NetworksChih-Ming Hsieh. 8
• Outlier Mining in Sensor-networksFabian Keller. 9
• Correlation Analysis for Data AnalyticsHoang Vu Nguyen. 10
• Shape Reconstruction of Flexible Objects via the Evaluation of Tensor FieldsHendrikje Pauer. 11
• Graph Embeddings for Routing in Wireless NetworksRoman Prutkin. 12
• Decentralized Estimation in Sensor NetworksMarc Reinhardt. 13
• Energy efficiency in multi-application wireless sensor networksFarzad Samie. 14
• Verbally Assisted Haptic Graph ComprehensionÖzge Alaçam. 17
• Modeling Multi-Sensory Integration For Orientation and Action Selection in The Superior ColliculusJohannes Bauer. 18
• Efficient Grammar Induction for Wide-coverage Semantic ParsingSebastian Beschke. 19
• Discovering the neural basis for setting learning rates during value-based decision-makingSamson Chien. 20
• Neural Sound Source Localisation for Speech Processing Based on the Inferior ColliculusJorge Dávila-Chacón. 21
• Multimodal integration in graspingChristian Floß-Löwenkamp. 22
• Multimodal based Objects Categorization and RecognitionHaojun Guan. 23
• Haptic Perception in In-hand Manipulation SystemJunhu He. 24
• Event Recognition during Exploration of Line-Based Graphics in Virtual Haptic EnvironmentsMatthias Kerzel. 25
• Using Cross-Modal Context for Diagnosing Language Learner ErrorsChristine Köhn. 26
• Spatial number representation depends on both semantic and visual properties of numbersKarl K. Kopiske. 27
• An Affordance-Based Conception of Social Space for Socially-Aware Robot PlacementFelix Lindner 0001. 28
• Evaluating computational models of sensorimotor contingenciesStefan Skoruppa. 29
• Neurofeedback training on interhemispheric parietal gamma coherenceMircea Stoica. 30
• Ongoing oscillatory brain activity in pain perceptionPhilipp Taesler. 31
• Haptic-sonified Virtuals Environment for Spatial Knowledge Acquisition of Blind and Visually-impaired peopleJunlei Yu. 32
• Neural Representation of Social Influence on Human Decision-MakingLei Zhang. 33
• Own Actions and Multisensory IntegrationBjörn Zierul. 34
• Verification of Code for Programmable Logic ControllersSebastian Biallas. 37
• Generation and Refinement of PLC Function BlocksFlorian Göbe. 38
• Approximation Algorithms for Combinatorial AuctionsOliver Göbel 0002. 39
• Invariant Generation for Probabilistic ProgramsFriedrich Gretz. 40
• Model Synthesis through TransformationsKatrin Hölldobler. 41
• Using Cylindrical Algebraic Decomposition in Satisfiability Modulo TheoriesGereon Kremer. 42
• Counting Logics and Games with CountersSimon Leßenich. 43
• Capacity of a railway networkChristian Meirich. 44
• Using Static Analysis to Support Programming on Devices with Touch Based InputMathias Obster. 45
• Specification and Verification of Distributed SystemsDeni Raco. 46
• Automatic presentations of infinite structuresFrederic Reinhardt. 47
• Analysis and Synthesis of Interactive Component and Connector SystemsJan Oliver Ringert. 48
• Mechanism Design for Combinatorial AuctionsAndreas Tönnis. 49
• Robotic Self-Exploration and Acquisition of Sensorimotor PrimitivesOswald Berthold. 53
• Management of Complex DataPanagiotis Bouros. 54
• Event Pattern MatchingBruno Cadonna. 55
• Information Extraction for Disaster ManagementLars Döhling. 56
• Efficient Processing of geodata in the context of other attributesFabian Fier. 57
• Towards Adaptive Wireless Multi-Hop Networks Optimizing Network LifetimeMichael Frey. 58
• Automated Pattern Learning for Event Pattern MatchingLars George. 59
• Uncertainty in Land-Use Change ModelingCarsten Krüger. 60
• Model-Based Test Design for Software Product LinesHarmut Lackner. 61
• Spatial Active World Modeling for Autonomous Mobile RobotsHeinrich Mellmann. 62
• A computational approach for analyzing recurrences in long time seriesTobias Rawald. 63
• Localization in Wireless Sensor NetworksVladica Sark. 64
• Automatic Optimization for Data-Parallel Streaming SystemsMatthias J. Sax. 65
• Coupled Evolution in Model-based Domain-specific Language DevelopmentMartin Schmidt. 66
• A Protocol Framework for Highly Reliable Ultra-Low Latency CommunicationMartina Brachmann. 69
• Active Intrusion Detection in Self-Organized Wireless Multihop NetworksRodrigo do Carmo. 70
• Peer-to-Peer Protocol Security in Critical and Mobile EnvironmentsDaniel Germanus. 71
• A model-based Optical Navigation SystemThorsten Graber. 72
• A Holistic Framework for Realistic, Reproducible, Real-world Sensor Network ExperimentationIliya Gurov. 73
• Coordination of Multi-Robot SystemsLukas Klodt. 74
• Design and Setup of Mechanical and Electronical Control for Elastically Actuated RobotsStefan Kurowski. 75
• Flight control for tilt-rotor UAVJavier López. 76
• Efficient Spatiotemporal Sampling in Wireless Sensor Networks based on Compressed SensingMohammadreza Mahmudimanesh. 77
• Object and scene relations in 3D scene understandingStephan Richter 0001. 78
• Activity Recognition with Instrumented Artifacts: The Wavelet ApproachPhilipp M. Scholl. 79
• World Modeling and Movement Planning for Mobile RobotsAlexander Stumpf. 80
• Security Quantification in Mixed Mode SystemsTsvetoslava Vateva-Gurova. 81
• Scenario-based Creation of Behavioural Models and their Evaluation in Smart EnvironmentsGregor Buchholz. 85
• Information presentation in multi-presenter scenariosChristian Eichner. 86
• Enhancement of Mobility and Multi-homing in Heterogeneous Network EnvironmentsAlexander Gladisch. 87
• Efficient device oriented Plug and Play Middleware ArchitectureBjörn Konieczek. 88
• Predictive User Models in Smart EnvironmentRedwan Abdo A. Mohammed. 89
• Situation-Aware Control of Smart Meeting RoomsDaniel Moos. 90
• Enhancing Multi-Display Environments using Private Mobile DevicesRobin Nicolay. 91
• Efficient Probabilistic Semantics for Symbolic Behavioural ModelsMartin Nyolt. 93
• Programming Abstractions for Ubiquitous ApplicationsMatthias Prellwitz. 94
• Dynamic Optimization of Communication Resources and Communication Strategies in Wireless Mesh NetworksMichael Rethfeldt. 95
• Sec-Home: A Security-Enhanced Framework for Smart Home EnvironmentsRene Romann. 96
• Using BCI techniques for intention recognition in smart environmentSudhir Sasane. 97
• Telepresence in high resolution multi display environmentsChristian Scheel. 98
• Data Collection and Data Processing for On-Line Simulation in Smart EnvironmentsJohannes Schützel. 99
• Automatic Deployment and Adaptive Placement of Ubiquitous ApplicationsEnrico Seib. 100
• Secure Web Services for ambient embedded SystemsSebastian Unger. 101
• Methods and algorithms of multi-dimensional user-localizationBenjamin Wagner. 102
• Methods for Engineering Symbolic Human Behaviour Models for Activity RecognitionKristina Yordanova. 103
• Deciding MSO over w-Words by means of Finite AutomataStephan Barth 0001. 104
• Formal Verification of ODE-SolversFabian Immler. 105
• Inter-procedural Herbrand EqualitiesStefan Schulze Frielinghaus. 106
• Efficient, Robust, and Scale-Invariant Decomposition of Raman SpectraJulian Bader. 109
• Compressive Sensing for Photonic Mixer DeviceMiguel Heredia Conde. 110
• Content based image authentication with tamper detection capabilityJinse Shin. 111
• 3D Sensor Data FusionDamien Lefloch. 112
• Processing and Visualization of THz-DataMartin Pätzold. 113
• High-Resolution Texture TransferMarcel Piotraschke. 114
• Thermal Infrared Textures of 3D FacesBjörn Schiefen. 115
• Face Recognition in Unknown and Difficult Lighting ConditionsDavoud Shahlaei. 116
• Robust Skin Detection with an Active Near-Infrared Camera SystemHolger Steiner. 117
• Foundations of Dynamic Coalitions Process-Oriented Modeling of Dynamic CoalitionsYoussef Arbach. 121
• Data-Dependent Controller Synthesis for Correct Service CompositionFranziska Bathelt-Tok. 122
• A Language-Based Approach to Specification, Execution, and Optimization of Scientific WorkflowsJörgen Brandt. 123
• Adaptive Scheduling of Scientific WorkflowsMarc Bux. 124
• A Design Framework for Mobile Service-Oriented Sensor-Actuator NetworksHelena Gruhn. 125
• Process Architectures in HealthcareMarcin Hewelt. 126
• Dynamic Event Structures and ConcurrencyDavid S. Karcher. 127
• Classifying Partners of Services with Temporal LogicAndre Moelle. 128
• Privacy Aware Data Exchange in Distributed Health InfrastructuresJan Hendrik Nielsen. 129
• Scenario-Based Design of Data-Dependent ServicesRobert Prüfer. 130
• Transforming BPMN-treatment models into CSPsDenny Schneeweiß. 131
• Congestion Control for Routing OverlaysFlorian Tschorsch. 132
• Certifying Algorithms for Interactive Components and Distributed SystemsKim Völlinger. 133
• Running Data-Intensive Services on Multicores ArchitecturesSteffen Zeuch. 134
• Quantitative automata and logics for infinite discrete structuresParvaneh Babari. 137
• Learning Terminological Knowledge with High Confidence from Erroneous DataDaniel Borchmann. 138
• Fuzzy Description Logics with General Concept InclusionsStefan Borgwardt. 139
• User-definable Concrete DomainsClaudia Carapelle. 140
• Quantitative Automata and Logics on Tree-like StructuresStefan Dück. 141
• Quantitative methods for similarity and generalization in Description LogicsAndreas Ecke. 142
• Weighted Temporal LogicShiguang Feng. 143
• Qualitative and Quantitative Approaches to Formalizing Prototypes in Knowledge RepresentationOliver Fernandez Gil. 144
• Weighted Models over Discrete StructuresDoreen Götze. 145
• Interface Theory for Stochastic Hybrid SystemsDaniel Krähmann. 146
• Compositionality in Probabilistic Model CheckingLinda Leuschner. 147
• Temporalised Description Logics for Monitoring Partially Observable EventsMarcel Lippmann. 148
• Alternative automata-based approaches to probabilistic model checkingDavid Müller 0001. 149
• Weighted Automata and Logics for Natural Language ProcessingJohannes Osterholzer. 150
• Multi-weighted automata models and quantitative logicsVitaly Perevoshchikov. 151
• Grammar-based statistical machine translationMarkus Teichmann. 152
• Probabilistic Logic and Probabilistic AutomataThomas Weidner. 153
• Model Checking with Accumulated WeightsSascha Wunderlich. 154
• Design and analysis of power conservation techniques for maximizing the lifetime expectancy of tiny sensing devicesMohamed Abdelaal 0001. 157
• Verification Techniques for Dynamically Typed ProgramsBjörn Engelmann. 158
• Formalisms for concurrency and distributionEvgeny Erofeev. 159
• Structure-Changing Petri Nets as a Mode! of Adverse ConditionsNils Erik Flick. 160
• Decision Procedure for Stochastic Satisfiability Modulo Theories with Continuous DomainYang Gao. 162
• Cooperation and Network Coding based MAC Protocol for VANETsSaifullah Khan. 163
• Robust Spatio-Temporal Logic for Mobile AgentsHeinrich Ody. 164
• Correctness of Attributed Graph Transformation Systems under Adverse ConditionsChristoph Peuser. 165
• Graph Conditions with Variables and their Application in Metamodel Instance GenerationHendrik Radke. 166
• Design and Analysis of Highly Available Region-Adherent Distributed Algorithms in Faulty EnvironmentsDilshod Rahmatov. 167
• Motion Correction for Weight-Bearing C-arm CT of KneesMartin Berger. 171
• Vision-based Autonomous Navigation of Quadrotors in Unstructured EnvironmentSergiu Dotenco. 172
• Efficient Coding of Non-Conventional Video Data StructuresAndrea Eichenseer. 173
• Fast and Generic Hardware Architectures for 3D Image Acquisition and ProcessingKonrad Häublein. 174
• Image Processing Architecture Synthesis (IPAS)Christian Hartmann 0003. 175
• Energy Consumption of Video Decoding SystemsChristian Herglotz. 176
• Interactive Hyperspectral Image Visualization and AnalysisJohannes Jordan. 177
• Scalable Global IlluminationBenjamin Keinert. 178
• Development of Image Guided Surgical ProceduresJessica Magaraggia. 179
• New Processor Architectures Utilizing 3D Chip StackingBenjamin Pfundt. 180
• Consistent Programming Models and Tools for Designing Heterogeneous Image SystemsOliver Reiche. 181
• Efficient Visibility EstimationKai Selgrad. 182
• Concept of a Novel CMOS Image Sensor Architecture for Analog Image Pre-ProcessingLan Shi. 184
• Integrated Circuits for Analog Signalprocessing in Heterogeneous Image SystemsChristopher Soell. 185
• Resource-aware Computer Vision Algorithms on Heterogeneous MPSoC ArchitecturesÉricles Rodrigues Sousa. 186
• Stateless Level of Detail Lighting for Automotive VisualizationChristoph Weber. 187
• A Framework for Sharing GPGPUs in Multi-tasking EnvironmentsHao Wu. 188
• A memory-centric run-time executive for heterogeneous many-core systemsAlexander Würstlein. 189
• Spectrum Binning Approach for Statistical Polychromatic Reconstruction in CTQiao Yang. 190
• Model Support in Design, Test and Monitoring of Image System ArchitecturesAnna Yupatova, Vitali Schneider. 191
• Mobile ScanningMichael Zollhöfer. 192
• Technisation of the Social in Social RoboticsAndreas Bischof. 195
• Motor Learning in Immersive Virtual EnvironmentsSteve Funke. 196
• Potentialities for Intertwinements of Interactive Systems and Cultural SpacesMichael Heidt. 197
• Processes of Cooperation around Tabletops for MuseumsKalja Kanellopoulos. 198
• A Framework for Interaction in a Virtual 3D Stereoscopic Environment for Multiple PersonsVincent Küszter. 200
• Authentic Facial Expressions of Emotion and their Impact on User EvaluationBenny Liebold. 201
• Sensor-Assisted Mobile LearningKai-Uwe Martin. 203
• Spatial Mapping of Input, Content and Output Spaces in VE and Effects on Spatial Presence ExperiencesDaniel Pietschmann. 204
• Making Multi Touch Tabletops perceive their UsersMichael Storz. 206
• Sensor-based Perception of non-verbal CommunicationAnke Tallig. 207
• Modeling VisionMichael Teichmann. 208
• Supporting Learners with Pro-Active Pedagogical AgentsMadlen Wuttke. 209
• Formal Semantics for Models with Meta-PredicatesStephan Böhme. 213
• Context-sensitive Knowledge Representation and ReasoningIsmael Ceylan. 214
• Role-based Excecution Execution of Ubiquitous Interactive ProcessesSteffen Huber. 215
• Role-based Database Model and ArchitectureTobias Jäkel. 216
• Formal Semantics for RolesThomas Kühn 0001. 217
• Explicit Role Invocation DispatchMax Leuthäuser. 218
• Improving RDF Data with Data MiningZiawasch Abedjan. 221
• Service-Oriented Integration, Processing, and Provision of Massive 3D Point CloudsSören Discher. 222
• Graph Transformation Systems and Verification with k-Inductive Invariants Johannes Dyck. 223
• Babelsberg: Unifying Constraint Satisfaction with Object-oriented ExecutionTim Felgentreff. 224
• A 3-Stage Evaluation Framework for Layout Stability of Hierarchical Visualization TechniquesSebastian Hahn 0003. 225
• Analysis of fault tolerant software systemsLena Herscheid. 226
• Modeling Interestingness and Serendipity in Relevance SearchMaximilian Jenders. 227
• Comparing and Describing Datasets on the Web of DataAnja Jentzsch. 228
• Managing the Performance vs. Productivity Trade-off in Hybrid Parallel ComputingFahad Khalid. 229
• Talking directly to the body: the user's muscles ELS wearable input & output devices through computer-controlled electrical muscle stimulationPedro Lopes 0001. 230
• Adaptive Data Structures Optimizations in Language ImplementationsTobias Pape. 231
• Design, Implementation and Application of Multi-Perspective 3D Panoramas for 3D GeovisualizationSebastian Pasewaldt. 232
• High-Availability Through Software Fault ToleranceDaniel Richter. 233
• Securing Multi-Tenant SaaS EnvironmentsEyad Saleh. 234
• Interleaving of Modification and Use in Dataflow-driven Tool DevelopmentMarcel Taeumel. 235
• Understanding Code with Execution TracesArian Treffer. 236
• Concept Based Multimodal Learning For Multimedia RetrievalCheng Wang. 237