Anu Singh

12 papers B 1C 1Misc 1Journal 4Unranked 5
YearRankTypeTitle / Venue / Authors
2025 J jnl
Rethinking Robustness: A New Approach to Evaluating Feature Attribution Methods.
CoRR
Panagiota Kiourti, Anu Singh, Preeti Duraipandian, Weichao Zhou, Wenchao Li
2024 — conf
A Typology of Errors for User Utterances in Chatbots.
LREC/COLING
Anu Singh, Esmé Manandise
2024 — conf
An improved machine learning approach for streamline the real time analysis in Big-data applications.
ICCCNT
Anu Singh, Digvijay Singh, Priti Ramani Nayyar, Ruchika Bhakar, Viranshu Kumar, Saket Mishra
2024 — conf
HyQE: Ranking Contexts with Hypothetical Query Embeddings.
EMNLP (Findings)
Weichao Zhou, Jiaxin Zhang, Hilaf Hasson, Anu Singh, Wenchao Li
2024 J jnl
HyQE: Ranking Contexts with Hypothetical Query Embeddings.
CoRR
Weichao Zhou, Jiaxin Zhang, Hilaf Hasson, Anu Singh, Wenchao Li
2011 J jnl
Using integer clocks to verify clock-synchronization protocols.
Innov. Syst. Softw. Eng.
Xiaowan Huang, Anu Singh, Scott A. Smolka
2010 J jnl
A process calculus for Mobile Ad Hoc Networks.
Sci. Comput. Program.
Anu Singh, C. R. Ramakrishnan, Scott A. Smolka
2010 — conf
Using Integer Clocks to Verify the Timing-Sync Sensor Network Protocol.
NASA Formal Methods
Xiaowan Huang, Anu Singh, Scott A. Smolka
2009 B conf
Query-Based Model Checking of Ad Hoc Network Protocols.
CONCUR
Anu Singh, C. R. Ramakrishnan, Scott A. Smolka
2008 C conf
A Process Calculus for Mobile Ad Hoc Networks.
COORDINATION
Anu Singh, C. R. Ramakrishnan, Scott A. Smolka
2008 Misc conf
A methodology for in-network evaluation of integrated logical-statistical models.
SenSys
Anu Singh, C. R. Ramakrishnan, I. V. Ramakrishnan, David Scott Warren, Jennifer L. Wong
2007 — conf
Security policy analysis using deductive spreadsheets.
FMSE
Anu Singh, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott D. Stoller, David Scott Warren