Modelle und Theorie Verteilter Systeme

Forschung

Bisherige Korrektheitsuntersuchungen zu verteilten Systemen basieren oftmals auf lediglich informellen oder semi-formalen Methoden. Unsere Vision ist es, systematisch Techniken der formalen Semantik und mathematischen Logik, wie sie im Gebiet der Concurrency Theory seit etwa 30 Jahren entwickelt werden, anzuwenden und anwendungsorientiert weiter zu entwickeln.
Weitere Forschungsinteressen und -ziele sind auf den Seiten Mission & Vision dargestellt.

 

Aktuelles

  • Keynote bei SEFM 2022

    Uwe Nestmann ist Keynote Speaker bei der Internationalen Konferenz Software Engineering and Formal Methods (SEFM 2022).

  • Artikel akzeptiert bei DisCoTec-Konferenz FORTE 2022

    Der Artikel "Fault-Tolerant Multiparty Session Types" (Coautor:innen Kirstin Peters, Uwe Nestmann und Christoph Wagner) wurde zur Publikation bei der DisCoTec-Konferenz FORTE (Formal Techniques for Distributed...

  • CONCUR Test-of-Time Award

    Der Artikel "Decoding Choice Encodings" von Uwe Nestmann und Benjamin C. Pierce aus dem Jahr 1996 erhält 25 Jahre nach seiner Publikation einen CONCUR Test-of-Time Award.

  • Artikel akzeptiert bei ETAPS-Konferenz TACAS 2021

    Der Artikel "A Game for Linear-time–Branching-time Spectroscopy" von Benjamin Bisping (und Uwe Nestmann) wurde zur Publikation bei der Konferenz TACAS (Tools and Algorithms for the Construction and Analysis of Systems)...