Name Card

Full name Familienname, Vorname
Gmeiner, Annu
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-9 of 9 (Search time: 0.003 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Gmeiner Annu - 2015 - Parameterized model checking of fault-tolerant distributed...pdf.jpgGmeiner, Annu Parameterized model checking of fault-tolerant distributed algorithmsThesis Hochschulschrift 2015
2Gmeiner, Annu ; Konnov, Igor ; Schmid, Ulrich ; Veith, Helmut ; Widder, Josef Tutorial on Parameterized Model Checking of Fault-Tolerant Distributed AlgorithmsBuchbeitrag Book Contribution2014
3John, Annu ; Konnov, Igor ; Schmid, Ulrich ; Veith, Helmut ; Widder, Josef Brief announcementKonferenzbeitrag Inproceedings 2013
4John, Annu ; Konnov, Igor ; Schmid, Ulrich ; Veith, Helmut ; Widder, Josef Parameterized model checking of fault-tolerant distributed algorithms by abstractionKonferenzbeitrag Inproceedings 2013
5John, Annu ; Konnov, Igor ; Schmid, Ulrich ; Veith, Helmut ; Widder, Josef Towards Modeling and Model Checking Fault-Tolerant Distributed AlgorithmsKonferenzbeitrag Inproceedings 2013
6John, Annu ; Konnov, Igor ; Schmid, Ulrich ; Veith, Helmut ; Widder, Josef Counter Attack against Byzantine GeneralsPräsentation Presentation2012
7John, Annu ; Konnov, Igor ; Schmid, Ulrich ; Veith, Helmut ; Widder, Josef Who is afraid of Model Checking Distributed Algorithms?Präsentation Presentation2012
8John, Annu ; Konnov, Igor ; Schmid, Ulrich ; Veith, Helmut ; Widder, Josef Parameterized Model Checking of Fault-tolerant Distributed AlgorithmsPräsentation Presentation2012
9Guttenbrunner, Mark ; Ghete, Mihai ; John, Annu ; Lederer, Chrisanth ; Rauber, Andreas Migrating Home Computer Audio Waveforms to Digital Objects: A Case Study on Digital ArchaeologyArtikel Article 2011