Schmid, Ulrich

Network Lab View Statistics Email Alert RSS Feed

Name Card

Full name Familienname, Vorname
Schmid, Ulrich
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Filter:
Author:  Widder, Josef

Results 1-12 of 12 (Search time: 0.004 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Gmeiner, Annu ; Konnov, Igor ; Schmid, Ulrich ; Veith, Helmut ; Widder, Josef Tutorial on Parameterized Model Checking of Fault-Tolerant Distributed AlgorithmsBuchbeitrag Book Contribution2014
2John, Annu ; Konnov, Igor ; Schmid, Ulrich ; Veith, Helmut ; Widder, Josef Brief announcementKonferenzbeitrag Inproceedings 2013
3John, Annu ; Konnov, Igor ; Schmid, Ulrich ; Veith, Helmut ; Widder, Josef Parameterized model checking of fault-tolerant distributed algorithms by abstractionKonferenzbeitrag Inproceedings 2013
4John, Annu ; Konnov, Igor ; Schmid, Ulrich ; Veith, Helmut ; Widder, Josef Towards Modeling and Model Checking Fault-Tolerant Distributed AlgorithmsKonferenzbeitrag Inproceedings 2013
5John, Annu ; Konnov, Igor ; Schmid, Ulrich ; Veith, Helmut ; Widder, Josef Counter Attack against Byzantine GeneralsPräsentation Presentation2012
6John, Annu ; Konnov, Igor ; Schmid, Ulrich ; Veith, Helmut ; Widder, Josef Who is afraid of Model Checking Distributed Algorithms?Präsentation Presentation2012
7John, Annu ; Konnov, Igor ; Schmid, Ulrich ; Veith, Helmut ; Widder, Josef Parameterized Model Checking of Fault-tolerant Distributed AlgorithmsPräsentation Presentation2012
8Widder, Josef ; Schmid, Ulrich The Theta-Model: achieving synchrony without clocksArtikel Article2009
9Widder, Josef ; Schmid, Ulrich Booting Clock Synchronization in Partially Synchronous Systems with Hybrid Process and Link FailuresBuchbeitrag Book Contribution 2007
10Widder, Josef ; Le Lann, G´erard ; Schmid, Ulrich Failure Detection with Booting in Partially Synchronous SystemsKonferenzbeitrag Inproceedings 2005
11Widder, Josef ; Le Lann, G´erard ; Schmid, Ulrich Perfect failure detection with booting in partially synchronous systemsBericht Report2003
12Widder, Josef ; Schmid, Ulrich Booting clock synchronization in partially synchronous systems with hybrid node and link failures.Bericht Report2003

Contributing Publications Mitbeteiligte Publikationen

Filter:
Author:  Widder, Josef

Results 1-2 of 2 (Search time: 0.004 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Widder Josef - 2004 - Distributed computing in the presence of bounded...pdf.jpgWidder, Josef Distributed computing in the presence of bounded asynchronyThesis Hochschulschrift 2004
2Widder Josef - 2002 - Switching on how processes initialize for consistent...pdf.jpgWidder, Josef Switching on : how processes initialize for consistent broadcastThesis Hochschulschrift 2002