direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

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.

Artikel akzeptiert (FORTE 2017)

Donnerstag, 06. April 2017

Artikel "Session Types for Link Failures" akzeptiert für FORTE 2017 (Autoren: Manuel Adameit, Kirstin Peters und Uwe Nestmann). Assoziiert mit DisCoTec 2017.

Artikel akzeptiert (FORTE 2015)

Montag, 30. März 2015

Artikel "Dynamic Causality in Event Structures" akzeptiert für FORTE 2015 (Autoren: Youssef Arbach, David Karcher, Kirstin Peters, Uwe Nestmann). Assoziiert mit DisCoTec 2015.

OPCT - Eingeladener Vortrag

Freitag, 20. Juni 2014

Eingeladener Vortrag von Uwe Nestmann bei Open Problems in Concurrency Theory at the University Residential Center of Bertinoro, organisiert durch die IFIP WG 1.8 Concurrency Theory.

IFIP WG 2.2 Meeting 2013 - Eingeladener Vortrag

Montag, 23. September 2013

Eingeladener Vortrag von Uwe Nestmann beim jährlichen Treffen der IFIP WG 2.2 Formal Description of Programming Concepts, dieses Mal an der Universidade Nove de Lisboa.

TRENDS 2013 - Eingeladener Vortrag

Samstag, 31. August 2013

Eingeladener Vortrag von Uwe Nestmann bei TRENDS 2013, organisiert durch die IFIP WG 1.8 Concurrency Theory, im Rahmen der CONCUR 2013 in Buenos Aires.

Artikel akzeptiert (EXPRESS/SOS 2013)

Montag, 08. Juli 2013

Artikel "Adding Priority to Event Structures" akzeptiert für EXPRESS/SOS 2013 (Co-Autoren Youssef Arbach, Kirstin Peters, Uwe Nestmann)

Future Trends in SOC 2013 - Eingeladener Vortrag

Donnerstag, 20. Juni 2013

Eingeladener Vortrag von Uwe Nestmann zum Thema "Dynamic Coalitions" beim Symposium on Future Trends in Service-Oriented Computing (Future Trends in SOC 2013), am Hasso-Plattner-Institut in Potsdam.

Artikel akzeptiert (METHODS 2013)

Donnerstag, 02. Mai 2013

Artikel "Formal Modeling of Trust-Based Access Control in Dynamic Coalitions" akzeptiert für METHODS 2013 (Autor Nadim Sarrouh), Workshop assoziiert mit IEEE COMPSAC.

Dagstuhl Seminar – Eingeladener Vortrag

Dienstag, 02. April 2013

Eingeladener Vortrag von Uwe Nestmann mit dem Titel "Verifying Consensus ... using Process Calculi, State Machines, and Proof Checkers" beim Dagstuhl Seminar Formal Verification of Distributed Algorithms.

Artikel akzeptiert (ESOP 2013)

Samstag, 15. Dezember 2012

Artikel "On Distributability in Process Calculi" akzeptiert für ESOP 2012 (Co-Autoren Kirstin Peters, Uwe Nestmann, Ursula Goltz)

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe