Neha Rungta - Publications, H-index & Citations

Neha Rungta

amazon.com

19H指数

85论文数

1.7K被引数

收录论文 4

发表时间

Editorial: Special issue on formal methods in computer-aided design 编辑：计算机辅助设计中形式方法的特刊

Formal Methods in System Design

IF0.8

2025-10-01

OAAI

Griggio, Alberto; Rungta, Neha

One-Click Formal Methods

IEEE SOFTWARE

IF3

2019-11-01

PREAI

Backes, John; Bolignano, Pauline; Cook, Byron; Gacek, Andrew; Luckow, Kasper Soe; Rungta, Neha; Schaef, Martin; Schlesinger, Cole; Tanash, Rima; Varming, Carsten; Whalen, Michael

Special Issue on Systematic Approaches to Human-Machine Interface: Improving Resilience, Robustness, and Stability

IEEE TRANSACTIONS ON HUMAN-MACHINE SYSTEMS

IF4.4

2016-04-01

PREAI

Mercer, Eric; Rungta, Neha; Gillan, Douglas J.

Directed Incremental Symbolic Execution 有向增量符号执行

ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY

IF6.2

2014-10-07

OAAI

Yang, Guowei; Person, Suzette; Rungta, Neha; Khurshid, Sarfraz

研究方向