direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Forschung

  • Future Trends in SOC 2013 - Eingeladener Vortrag

    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)

    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

    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)

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

  • METHOD 2013 - Programmkommittee

    Uwe Nestmann wurde zum Programmkommittee des"2nd IEEE International Workshop on Methods for Establishing Trust with Open Data" (METHOD 2013) eingeladen.

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe