Annu John

Publication Activity (10 Years)

Years Active: 2009-2013
Publications (10 Years): 0

Top Topics

Concurrent Systems

Formal Specification

Temporal Properties

Top Venues

Publications

Annu John, Igor Konnov, Ulrich Schmid, Helmut Veith, Josef Widder
Brief announcement: parameterized model checking of fault-tolerant distributed algorithms by abstraction. PODC (2013)
Annu John, Igor Konnov, Ulrich Schmid, Helmut Veith, Josef Widder
Parameterized model checking of fault-tolerant distributed algorithms by abstraction. FMCAD (2013)
Annu John, Igor Konnov, Ulrich Schmid, Helmut Veith, Josef Widder
Towards Modeling and Model Checking Fault-Tolerant Distributed Algorithms. SPIN (2013)
Annu John, Igor Konnov, Ulrich Schmid, Helmut Veith, Josef Widder
Starting a Dialog between Model Checking and Fault-tolerant Distributed Algorithms CoRR (2012)
Annu John, Igor Konnov, Ulrich Schmid, Helmut Veith, Josef Widder
Counter Attack on Byzantine Generals: Parameterized Model Checking of Fault-tolerant Distributed Algorithms CoRR (2012)
Mark Guttenbrunner, Mihai Ghete, Annu John, Chrisanth Lederer, Andreas Rauber
Migrating Home Computer Audio Waveforms to Digital Objects: A Case Study on Digital Archaeology. Int. J. Digit. Curation 6 (1) (2011)
Mark Guttenbrunner, Andreas Rauber, Chrisanth Lederer, Annu John, Mihai Ghete
Digital Archeology: Recovering Digital Objects from Audio Waveforms. iPRES (2009)