Dependable Systems Group

Third Party Funding


BMWi AirPortMover (2018-21)

Jan 08, 2019

The BMWi joint project AirPortMover serves to investigate techniques and concepts of autonomous driving in the application context of airports.

Duration: December 2018 until November 2021

Funds: approx. 852,000 EUR


DFG Combinatorics of Word Morphisms (2018-21)

Apr 16, 2018

The Deutsche Forschungsgemeinschaft (DFG) funds Florin Manea's research on combinatorics on words, in particular word morphisms.


Duration (presumably): July 2018 until June 2021

Funds: 421,400 EUR

BMVI NAF-BUS (2017-20)

Sep 28, 2017

The BMVI joint project NAF-BUS serves to investigate techniques and concepts of autonomous driving in the application context of rural areas.

Duration: July 2017 until June 2020

Funds: approx. 200,000 EUR


BMBF ARAMiS II (2016-19)

Sep 12, 2016

In the continuation of the BMBF project Automotive, Rail and Avionics Multicore Systems (ARAMiS II) we are concerned with the development processes, methods, tools, and platforms of safety critical multicore systems.

Duration: October 2016 until September 2019

Funds: 316,500 EUR


BMBF HPSV (2016-19)

Dec 11, 2015

Our group is part of the BMBF combined project "Highly Parallel Software Verification of Concurrent Applications in the Automotive Industrie" (HPSV). We are concerned with the development and implementation of parallel procedures for the simulation and verification of models of embedded multicore systems. Our primary industrial partners are from the automotive industry. The expected results will also be applicable to other areas.

Our group serves as project leader.
Duration: February 2016 until January 2019
Project number: 01IH15006A
Funds: 450,000 EUR
Zwei Studenten und eine Tasse Kaffee

ITEA ASSUME (2015-18)

Sep 01, 2015

Our group is part of the ITEA "Affordable Safe & Secure Mobility Evolution" (ASSUME) project. We are concerned with the implementation of effective static code analysis in the development process and the corresponding tool chains of embedded systems with a multicore architecture.

Duration: September 2015 until August 2018

Project number: 01IS15031J

Funds: 351,000 EUR


DAAD FIT worldwide (2015)

Jun 22, 2016

The German Academic Exchange Service (DAAD) supports Thorsten Ehlers with a 6 months FIT worldwide grant, which he spent at the Melbourne University, Australia.

Duration: April 2015 until September 2015

Project-ID: 57041638


Funds: 8,400 EUR

DAAD P.R.I.M.E. (2014-16)

Sep 08, 2014

The German Academic Exchange Service (DAAD) supports Dr. Robert Mercas with an 18 month P.R.I.M.E. grant, of which he will spend 12 months at the King's College London, UK, and 6 months at the Kiel University.

Duration: September 2014 until February 2016

Project-ID: 57154435

Funds: 110,124 EUR

DFG Algorithmic Combinatorics on Words (2013-18)

May 01, 2013

The Deutsche Forschungsgemeinschaft (DFG) funds Florin Manea's research on algorithmic combinatorics on words. The study of the combinatorial properties of words finds many applications in language theory, data compression or cryptography. Nowadays, a series of new concepts, belonging to this topic, were developed following an increased interest in the study and processing of biological data, which are represented as words over a restricted alphabet. As such data usually comes in huge amounts, we propose the study of several combinatoric concepts from an algorithmic point of view. The problems we investigate require processing different types of words using efficient algorithms, which exploit their combinatorial structure. On one hand, we solve problems regarding partial words, canonical extensions of the classical words that can be used to model data with errors. Besides regular symbols, such words contain unknown symbols that can stand for any of the regular symbols of the working alphabet. On the other hand, we investigate classes of words that can be described by common properties of their factors as well as of the images of their factors under certain functions. Such words have less obvious (even hidden) combinatorial structure, that may be important in applications. Several other problems, related to operations on words and numerical properties of words are approached.

Duration: May 2013 until April 2016 (extension from 01.11.2016 until 31.10.2018)

Funds: 227,000 EUR (+ 147,000 EUR)

BMBF ARAMiS (2012-15)

May 07, 2012

Within the framework of the BMBF (Federal Ministry of Education and Research) program Automotive, Rail and Avionics Multicore Systems (ARAMiS) we investigate the reuse of legacy code of embedded single core systems for upcoming multicore systems. Our tools and methods are to support the detection of possible faults, like race conditions, of programs working in parallel.

Duration: April 2012 until November 2014 (extended with additional funds until March 2015)

Funds: 272,500 EUR (+ 41,700 EUR)



DFG Heisenberg-Professorship (2011-16)

May 08, 2012

The Deutsche Forschungsgemeinschaft (DFG) supports Dirk Nowotka with a Heisenberg-Professorship at the Computer Science department of the Kiel University. The initial funding period is 36 months and can be extended after a successful evaluation to 60 months in total.

The professorship has been positively evaluated, and the funding has been extended until 2016.

Duration: 2011 until 2014 (extension from 2014 until 2016)

Funds: 284.400 EUR (+ 187,300 EUR)

DFG Combinatorial Aspects of Words and their Applications (2011-18)

May 07, 2012

The Deutsche Forschungsgemeinschaft (DFG) funds our research on combinatorial problems of sequences (aka words). Fundamental combinatorial problems about sequential objects and the processing of them appear in many areas. Examples are the analysis of large DNA data sets in the field of computational biology, the fast calculation of the convex hull from the contour word in discrete geometry, and efficient text search. Although, for quite some time results from combinatorics on words (aka sequences or strings) have contributed to a better understanding of that data structure and lead to several algorithmic applications surprisingly many basic questions are still open.

Combinatorics on words shall be substantially further advanced within this project. Longstanding open problems about the periodicity of words, word equations and mor- phisms are investigated with recently found results and methods. The aspect of the applicability of results and the transfer of the developed combinatorial methods to other fields is particularly emphasized. Generalizations of the developed theory to, for ex- ample, partial words and multidimensional patterns additionally serves the applicability aspect.

This project has been extended by two years and additionally equipped with a Mercator professorship.

Duration: May 2011 until October 2014 (extension from November 2014 until October 2018)

Funds: 365,000 EUR (+ 320,400 EUR)

DAAD PPP-Finland (2008-10)

May 08, 2012

The German Academic Exchange Service (DAAD) supports with in the PPP-Finland framework research visits at the University of Turku, Finland. The finnish partner is the group of Prof. Juhani Karhumäki at the Department of Mathematics. The project title is Foundations of Combinatorics on Words.

Duration: June 2008 until May 2010

Funds: 10,772 EUR

Conferences and Workshops:

Computability in Europe (2018)

Apr 10, 2018

Florin Manea (CAU), Russell Miller (CUNY), and Dirk Nowotka (CAU) host the Computability in Europe 2018 conference at the CAU.

Conference dates: July 30 until August 3, 2018


Theorietag (2016)

Apr 10, 2018

From October 4 through 7, 2016 we organised the joint conference of the 26th Theorietag „Automaten und Formale Sprachen“ and the 23rd Jahrestagung „Logik in der Informatik“ in Tannenfelde (Schleswig-Holstein).


Luminy Conference (2016)

Oct 16, 2015

Together with Julien Cassagne we organize a conference with the title Combinatorics on Words at the Centre International de Rencontres Mathématiques (CIRM) in Marseille, France.; see here.

Duration: March 14 - 18, 2016

WORDS Conference @ CAU (2015)

Oct 16, 2015

WORDS is a biannual international conference about mathematical aspects on words (sequences of symbols). 46 scientists from 11 countries came to Kiel to discuss algorithmic and combinatorial questions about sequences and present their latest findings.

Duration: September 14 - 17, 2015


Dagstuhl Seminar (2014)

May 09, 2012

Together with Maxime CrochemoreJames Currie, and Gregory Kucherov, we organize the seminar Combinatoris and Algorithmics of Strings (14111) in the Leibniz-Zentrum für Informatik Schloss Dagstuhl in March 2014. About 40 researchers will meet and discuss combinatorial questions and problems of efficient processing of sequential data.

Duration: March 9 until 14, 2014

Workshop @ Fields Institute (2013)

May 09, 2012

Together with James Currie and Jeffrey Shallit we organize the workshop Challenges in Combinatorics on Words at the Fields Institute, Toronto, Canada, in April 2013. About 45 researchers will meet and discuss questions of combinatorial nature on sequential structures.

Duration: April 22 - 26, 2013

Dagstuhl Seminar (2011)

May 09, 2012

Together with Maxime CrochemoreLila Kari, and Mehryar Mohri, we organized the seminar Combinatorial and Algorithmic Aspects of Sequence Processing (11081in the Leibniz-Zentrum für Informatik Schloss Dagstuhl in February 2011. Forty scientists from 13 countries working in the areas

  • Combinatorics on Words
  • Computational Biology
  • Stringology
  • Natural Computing
  • Machine Learning
gathered to discuss various questions and problems around the efficient processing of sequential data.
Duration: February 20 until 25, 2011


Oberwolfach Mini-Workshop (2010)

May 09, 2012

Together with Valerie BertheJuhani Karhumäki und Jeffrey Shallit, we organized a mini-workshop (1034b) at the Mathematisches Forschungsinstitut Oberwolfach (MFO) with the title Combinatorics on Words.

Duration: August 22 until 28, 2010