Anu Singh

Publication Activity (10 Years)

Years Active: 2007-2024
Publications (10 Years): 1

Top Topics

Top Venues

Publications

Anu Singh, Esmé Manandise
A Typology of Errors for User Utterances in Chatbots. LREC/COLING (2024)
Xiaowan Huang, Anu Singh, Scott A. Smolka
Using integer clocks to verify clock-synchronization protocols. Innov. Syst. Softw. Eng. 7 (2) (2011)
Xiaowan Huang, Anu Singh, Scott A. Smolka
Using Integer Clocks to Verify the Timing-Sync Sensor Network Protocol. NASA Formal Methods (2010)
Anu Singh, C. R. Ramakrishnan, Scott A. Smolka
A process calculus for Mobile Ad Hoc Networks. Sci. Comput. Program. 75 (6) (2010)
Anu Singh, C. R. Ramakrishnan, Scott A. Smolka
Query-Based Model Checking of Ad Hoc Network Protocols. CONCUR (2009)
Anu Singh, C. R. Ramakrishnan, Scott A. Smolka
A Process Calculus for Mobile Ad Hoc Networks. COORDINATION (2008)
Anu Singh, C. R. Ramakrishnan, I. V. Ramakrishnan, David Scott Warren, Jennifer L. Wong
A methodology for in-network evaluation of integrated logical-statistical models. SenSys (2008)
Anu Singh, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott D. Stoller, David Scott Warren
Security policy analysis using deductive spreadsheets. FMSE (2007)