Anu Singh

According to our database, Anu Singh authored at least 6 papers between 2007 and 2011.

Collaborative distances:

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

2011

Using integer clocks to verify clock-synchronization protocols.

Xiaowan Huang, Anu Singh, Scott A. Smolka

Innov. Syst. Softw. Eng., 2011

2010

A process calculus for Mobile Ad Hoc Networks.

Anu Singh, C. R. Ramakrishnan, Scott A. Smolka

Sci. Comput. Program., 2010

Using Integer Clocks to Verify the Timing-Sync Sensor Network Protocol.

Xiaowan Huang, Anu Singh, Scott A. Smolka

Proceedings of the Second NASA Formal Methods Symposium, 2010

2009

Query-Based Model Checking of Ad Hoc Network Protocols.

Anu Singh, C. R. Ramakrishnan, Scott A. Smolka

Proceedings of the CONCUR 2009 - Concurrency Theory, 20th International Conference, 2009

2008

A methodology for in-network evaluation of integrated logical-statistical models.

Anu Singh, C. R. Ramakrishnan, I. V. Ramakrishnan, David Scott Warren, Jennifer L. Wong

Proceedings of the 6th International Conference on Embedded Networked Sensor Systems, 2008

2007

Security policy analysis using deductive spreadsheets.

Anu Singh, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott D. Stoller, David Scott Warren

Proceedings of the 2007 ACM workshop on Formal methods in security engineering, 2007