| Delta-net: Real-time Network Verification Using Atoms A Horn, A Kheradmand, MR Prasad NSDI: USENIX Symposium on Networked Systems Design and Implementation, 2017 | 131 | 2017 |
| Formal Co-validation of Low-level Hardware/Software Interfaces A Horn, M Tautschnig, C Val, L Liang, T Melham, J Grundy, D Kroening FMCAD: Formal Methods in Computer-Aided Design, 121-128, 2013 | 50 | 2013 |
| Faster Linearizability Checking via P-compositionality A Horn, D Kroening FORTE: International Conference on Formal Techniques for Distributed Objects …, 2015 | 24 | 2015 |
| A precise and expressive lattice-theoretical framework for efficient network verification A Horn, A Kheradmand, MR Prasad 2019 IEEE 27th International Conference on Network Protocols (ICNP), 1-12, 2019 | 18 | 2019 |
| Network verification A Horn, A Kheradmand US Patent 10,305,776, 2019 | 18 | 2019 |
| On Partial Order Semantics for SAT/SMT-based Symbolic Encodings of Weak Memory Concurrency A Horn, D Kroening FORTE: International Conference on Formal Techniques for Distributed Objects …, 2015 | 14 | 2015 |
| Network analysis A Horn, A Kheradmand US Patent 10,439,926, 2019 | 11 | 2019 |
| Network property verification A Horn, A Kheradmand US Patent 10,574,582, 2020 | 8 | 2020 |
| Network verification A Horn, MR Prasad, A KHERADMAND US Patent 10,057,166, 2018 | 7 | 2018 |
| Dynamic Epistemic Algebra with Post-conditions to Reason about Robot Navigation A Horn WoLLIC: Workshop on Logic, Language, Information and Computation, 2011 | 6 | 2011 |
| Concurrent Kleene Algebra of Partial Strings A Horn, J Alglave arXiv preprint arXiv:1407.0385, 2014 | 5 | 2014 |
| Network property verification in hybrid networks A Horn, MR Prasad US Patent 10,462,017, 2019 | 1 | 2019 |
| Collection of forwarding rules A Horn, E Campbell, MR Prasad US Patent 10,728,147, 2020 | | 2020 |
| Network property verification A Horn, MR Prasad, N Oguchi, P Palacharla US Patent 10,693,744, 2020 | | 2020 |
| Network property verification H Alex, MR Prasad US Patent 10,355,985, 2019 | | 2019 |
| PROCEEDINGS-INTERNATIONAL CONFERENCE ON NETWORK PROTOCOLS, ICNP V Demianiuk, S Gorinsky, K Kogan, S Nikolenko, G Bankhamer, ... | | 2019 |
| A Concurrency Problem with Exponential DPLL (T) Proofs L Hadarean, A Horn, T King arXiv preprint arXiv:1506.01602, 2015 | | 2015 |
| Automated Concurrency Bug Finding using Partial-orders A Horn University of Oxford, 2015 | | 2015 |
Mukul R PrasadAWS ScienceVerified email at amazon.com
