Annu John

According to our database, Annu John authored at least 7 papers between 2009 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2013

Towards Modeling and Model Checking Fault-Tolerant Distributed Algorithms.

Annu John, Igor Konnov, Ulrich Schmid, Helmut Veith, Josef Widder

Proceedings of the Model Checking Software - 20th International Symposium, 2013

Brief announcement: parameterized model checking of fault-tolerant distributed algorithms by abstraction.

Annu John, Igor Konnov, Ulrich Schmid, Helmut Veith, Josef Widder

Proceedings of the ACM Symposium on Principles of Distributed Computing, 2013

Parameterized model checking of fault-tolerant distributed algorithms by abstraction.

Annu John, Igor Konnov, Ulrich Schmid, Helmut Veith, Josef Widder

Proceedings of the Formal Methods in Computer-Aided Design, 2013

2012

Counter Attack on Byzantine Generals: Parameterized Model Checking of Fault-tolerant Distributed Algorithms

Annu John, Igor Konnov, Ulrich Schmid, Helmut Veith, Josef Widder

CoRR, 2012

Starting a Dialog between Model Checking and Fault-tolerant Distributed Algorithms

Annu John, Igor Konnov, Ulrich Schmid, Helmut Veith, Josef Widder

CoRR, 2012

2011

Migrating Home Computer Audio Waveforms to Digital Objects: A Case Study on Digital Archaeology.

Mark Guttenbrunner, Mihai Ghete, Annu John, Chrisanth Lederer, Andreas Rauber

Int. J. Digit. Curation, 2011

2009

Digital Archeology: Recovering Digital Objects from Audio Waveforms.

Mark Guttenbrunner, Andreas Rauber, Chrisanth Lederer, Annu John, Mihai Ghete

Proceedings of the 6th International Conference on Digital Preservation, 2009