09:00 Uhr Begrüßung
Session Visualisierung I
09:30 Uhr Conrad Thiede: Architecture of Information Visualization in Smart Environments (GRK 1424)
10:00 Uhr Dieter Hildebrand: High-Level Services for Service-oriented 3D Visualization of Virtual 3D City Models (HPI)
10:30 Uhr Torsten Sattler: Using Spatial Relations in Feature Descriptors for Image Matching (GRK 643)
10:45 Uhr Pause
Session Mobile Systeme
11:15 Uhr Kim Listmann: Synchronization of Networks of Dynamical Systems (GRK 1362)
11:45 Uhr Xiang Xu: Graph-based iterative joint detection and channel estimation in OFDM systems (GRK 643)
12:00 Uhr Florian Schmidt: Improving performance in corruption-susceptible networks (GRK 643)
12:15 Uhr Vaishak Belle: Reasoning about Games in the Situation Calculus (GRK 643)
12:30 Uhr Mittagspause
13:30 Uhr Treffen der Professoren
14:00 Uhr Arbeitstreffen I
15:30 Uhr Pause
Session Wireless Sensor Networks I
16:00 Uhr Jens Nachtigall: Wireless Routing Protocols for Earthquake Early Warning Systems (GRK 1324)
16:20 Uhr Felix Jonathan Oppermann: Towards an End-User-Requirements-Driven Design of Wireless Sensor Networks (GRK 1076)
Session Diskrete Systeme
16:50 Uhr Alexandru Mereacre: Parameter Synthesis for Probabilistic Reachability (GRK 1298)
17:10 Uhr Ulrich Loup: Synthesis of Discrete-Continuous Systems using SMT Solving (GRK 1298)
17:30 Uhr Kai Bollue: Synthesis of behavioural controllers for discrete event systems with augmented Petri nets (GRK 1298)
17:50 Uhr Jarungjit Parmjai: Analyzing Behavioral Exchangeability of Services(GRK 1324)
18:10 Uhr Sven Linker: Diagrammatic Reasoning for Spatio-Temporal Systems (GRK 1076)
Session Visualisierung II
09:00 Uhr Harald Obermaier: Multifield Visualization (GRK 1131)
09:30 Uhr Daniel Burkhart: Subdivision for volumetric finite elements (GRK 1131)
10:00 Uhr Gastvortrag DFG
10:30 Uhr Pause
Session Roboter I
11:00 Uhr Natalia Akchurina: In Search of Nash Equilibrium for Multiagent Reinforcement Learning (Paderborn, International Graduate School)
11:20 Uhr Sebastian Degener: Local, distributed online strategies for scheduling and task assignment problems (Paderborn, International Graduate School)
11:40 Uhr Joel Greenyer: Integrating Models for the Design of Mechatronic Systems (Paderborn, International Graduate School)
12:00 Uhr Alexander Kettler: Methods assisting global-to-local programming in robotic swarms (GRK 1194)
12:30 Uhr Mittagspause
14:00 Uhr Arbeitstreffen II
15:30 Uhr Pause
Session Roboter II
16:00 Uhr Johannes Meyer, Karen Petersen und Paul Schnitzspan: Darmstadt Rescue Robots (Grundlagen und Demo) (GRK 1362)
Session Wireless Sensor Networks II
16:45 Uhr Siamak Hashemi: Model-based Development and Deployment For Dynamic Component Systems (GRK 1324)
17:00 Uhr Dennis Schieferdecker: Clustering-based Gaussian Mixture Reduction (GRK 1194)
Session Ubiquitäre Systeme
17:35 Uhr Uhr Andre Peters: Herausforderungen der Anfrageverarbeitung in ubiquitären Umgebungen (GRK 1424)
18:05 Uhr Mahsa Jenabi: Multimodal Interaction with Mobile Phones (GRK 1042)
09:00 Uhr Ergebnisse der Arbeitstreffen
Session Visualisierung III
09:30 Uhr Hendrik Strobelt: Advanced Text Visualizations: Search, Explore and Navigate (GRK 1042)
09:45 Uhr Mathias Heilig: Designing a Next Generation Knowledge Media Workbench (GRK 1042)
10:00 Uhr Thorsten Dahmen: Simulation and Optimization of Race-Bike Training on Real Tracks (GRK 1042)
10:15 Uhr Andreas Reimer: Visual Information Aggregation: Analysis, Modelling and Construction of Chorematic Diagrams (GRK 1324)
10:35 Uhr Pause
Session Modelle
11:00 Uhr Andre Sülfow: Model-Based Diagnosis (Braunschweig, Siemens Transportation)
11:30 Uhr Ramin Harlayati: Analysis of combined use of SCADE and UML (Braunschweig, Siemens Transportation)
12:00 Uhr Ivonne Thomas: A Model for the Credibility of Identity (HPI)
12:30 Uhr Mittagspause
Abreise