Aarti Gupta

A survey of recent advances in SAT-based formal verification

Mukul R. Prasad, Armin Biere, Aarti Gupta · International Journal on Software Tools for Technology Transfer · 2005 · 276 citations

Computing, Computer Engineering, Computer Science +14

A General Approach to Network Configuration Verification

Ryan Beckett, Aarti Gupta, Ratul Mahajan et al. · 2017 · 230 citations

Computing, Computer Science, Fault Tolerance +15

Formal hardware verification methods: A survey

Aarti Gupta · Formal Methods in System Design · 1992 · 198 citations

Computing, Computer Engineering, Computer Science +12

Probabilistic Temporal Logic Falsification of Cyber-Physical Systems

Houssam Abbas, Georgios Fainekos, Sriram Sankaranarayanan et al. · ACM Transactions on Embedded Computing Systems · 2013 · 159 citations

Engineering, Computer Science, Systems Engineering +17

Monte-carlo techniques for falsification of temporal properties of non-linear hybrid systems

Truong X. Nghiem, Sriram Sankaranarayanan, Georgios Fainekos et al. · 2010 · 139 citations

Computing, Systems Engineering, Dynamical Systems +16