Number of cases campus Koblenz: 1 (warning level Gelb until 26.07.2021) Action plan


News are also available on Twitter :

04-10.10.2011 Workshop on SLE for CPS at INFORMATIK 2011

Workshop on Software Language Engineering for Cyber-physical Systems: WS4C 2011 aims at interaction between researchers and practioners interested in SLE (as means to address the abovementioned requirements or challenges) and application areas of CPS (e.g., robotics for search and rescue, or collision avoidance in autonomous driving). More..

19-23.09.2011 ADAPT summer school

Software adaptation is a topic that crosscuts much of software engineering, programming languages, information systems, formal methods, and other major areas of computer science. ADAPT 2011 is the second edition in a series of summer schools on software adaptation. More..


ADAPT-related talk in room B233, 13:00. Manfred Kerber, University of Birmingham, with talk "Using Theorema in the Formalization of Theoretical Economics"

Abstract: Theoretical economics makes use of strict mathematical methods. For instance, games as introduced by von Neumann and Morgenstern allow for formal mathematical proofs for certain axiomatized economical situations. Such proofs can - at least in principle - also be carried through in formal systems such as Theorema. In this talk I will describe experiments carried through using the Theorema system to prove theorems about a particular form of games called pillage games. A pillage game is characterized by a power function which must satisfy some monotonicity axioms. The question then arises whether certain solution sets (in particular two sets, called core and stable set) exist and what they look like.


ADAPT-related talk in room B016, 16:15. Prof. Dr. Manuel Capel-Tunon, University of Granada, with talk "Automatic Verification of Processes Using Formulas of an Interval Logic". More..


ADAPT-related talk in room B017, 16:15. Dr. Mahdi Derakhshanmanesh with talk "Leveraging Model-Based Techniques for Runtime Adaptivity in Software Systems". More..


ADAPT-related talk in room B017, 16:15. Marco Wagner with talk "Adaptive Software- und Systemarchitektur für Rückfahrassistenzsysteme für Fahrzeuge mit Anhänger". More..


  • ADAPT-related talk in room E524, 10:15. Nicolai Wojke with talk "Detection and Tracking of Moving Objects in Unstructured Environments". More..
  • ADAPT-related talk in room E524, 11:00. Sönke Greve with talk "The DMF Cam - A low-budget implementation of an object tracking, self adjusting mobile follow-cam in highly dynamic environments". More..
  • ADAPT-related talk in room A213, 18:00. Jonas Zitz with talk "ODRL 2.0-zu-RDF-Konverter auf Basis von TURM". More..


  • ADAPT-related talk in room B233, 13:00. Oliver Obst with talk "Recurrent neural networks - Information Processing and self-organization at the Edge of Chaos". More..
  • ADAPT-related talk in room E524, 10:00. Laura Haraké with talk "Entwicklung einer globalen Pfadplanung für einen autonomen Outdoor-Roboter". More..
  • ADAPT-related talk in room E524, 10:45. Matthias von Steimker with talk "Entwicklung eines 3D Kartierungsalgorithmus für RoboCup Rescue". More..


ADAPT-related talk in room B231, 13:00. Christian Schwarz Christian Schwarz with talk "An Undecidable Problem for Timed Automata".

Abstract: Timed Automata are a means to model real-time systems. They are equipped with formal sematics, which make them accessible to formal analysis methods like model checking. Model checking is usually done via reachability analysis of certain states. It is known, that the reachability problem for timed automata with rational coefficients is decidable. In this talk, we will show, that reachability becomes undecidable, if coefficients are chosen from {0,1,sqrt(2)}. As a consequence, reachability is undecidable for timed automata with even a single parameter. To conclude, we will discuss ways to avoid this problem.


Submitted a workshop proposal at the Informatik 2011


ADAPT Oberseminar announces a summer pause until September.


ADAPT Oberseminar in room B233, 17:30. with talk "A Formal Model of Events Based on the Foundational Ontology DOLCE+DnS Ultralight". (Slides)

Abstract: The lack of a formal event model hinders interoperability in distributed event-based systems. Consequently, we present in this talk a formal model of events, called F. The model bases on an upper-level ontology and provides comprehensive support for all aspects of events such as time and space, objects and persons involved, as well as the structural aspects, namely mereological, causal, and correlational relationships. The event model provides a flexible means for event composition, modeling of event causality and correlation, and allows for representing different interpretations of the same event. The foundational event model F is developed in a pattern-oriente approach, modularized in different ontologies, and can be easily extended by domain specific ontologies. 


 ADAPT Oberseminar in room B233, 17:30. Dr. Johannes Pellenz with talk "Stable Mapping Using a Hyper Particle Filter"(Slides)

Abstract: In this talk, we present a Hyper Particle Filter (HPF) -- a Particle Filter of Particle Filters -- for solving the SLAM (Simultaneous Localization and Mapping) problem in unstructured environments. Each particle of the HPF contains a standard localization Particle Filter (with a map and a set particles, that model the belief of the robot pose in this particular map). To measure the weight of a particle in the HPF, we developed two map quality measures that can be calculated automatically and do not rely on a ground truth map: The first map quality measure determines the contrast of the occupancy map, the second determines the distribution of the orientation of wall pixels. Using the two measures, broken maps can automatically be detected. The corresponding particle is then more likely to be replaced by a particle with a better map within the HPF. We implemented the approach on our robot ``Robbie 12'', which was used in the RoboCup Rescue league in 2009. We tested the HPF using the log files from last years RoboCup Rescue autonomy final, and with new data of a larger building. The quality of the generated maps outperformed our last years (league's best) maps. With the data acquired in the larger structure, Robbie was able to close loops in the map. Due to a highly efficient implementation, the algorithm still runs online during the autonomous exploration.


ADAPT Oberseminar in room B233, 17:30. and Fernando Silva Parreiras with talk "OntoDSL: An Ontology-Based Framework for Domain-Specific Languages"(Slides)


ADAPT Oberseminar in room B233, 17:30. Dr. Ulf Lotzmann with talk "Simulation with Normative Agents"(Slides)


ADAPT Oberseminar in room B233, 17:30. Ekaterina Pek Ekaterina Pek with talk "Enforcement of Privacy Preferences in WebService Architectures".


ADAPT Oberseminar in room B233, 17:30. with talk "DIALOG: Distributed Auditing Logs". (Slides)


ADAPT Oberseminar in room B233, 17:30. Christian Schwarz Christian Schwarz with talk "Hybrid Automata as an Approach to Model and Check Software Adaptation".


Press release (in German) by the government of Rhineland Palatinate on the launch of its Research Initiative 2008-2011, as part of which the Research Focus ADAPT is funded.

A brochure (in German) on the Research Initiative is available as well : PDF (4.6 MB)


We are hiring ! One post-doc and one PhD position are available in ADAPT. (Positions were closed in January 2009).