Follow
Alex Horn
Alex Horn
Verified email at apple.com
Title
Cited by
Cited by
Year
Delta-net: Real-time Network Verification Using Atoms
A Horn, A Kheradmand, MR Prasad
NSDI: USENIX Symposium on Networked Systems Design and Implementation, 2017
1072017
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
442013
Faster Linearizability Checking via P-compositionality
A Horn, D Kroening
FORTE: International Conference on Formal Techniques for Distributed Objects …, 2015
242015
Network verification
A Horn, A Kheradmand
US Patent 10,305,776, 2019
182019
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
142019
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
132015
Network analysis
A Horn, A Kheradmand
US Patent 10,439,926, 2019
112019
Network property verification
A Horn, A Kheradmand
US Patent 10,574,582, 2020
72020
Network verification
A Horn, MR Prasad, A KHERADMAND
US Patent 10,057,166, 2018
62018
Dynamic Epistemic Algebra with Post-conditions to Reason about Robot Navigation
A Horn
WoLLIC: Workshop on Logic, Language, Information and Computation, 2011
62011
Concurrent Kleene Algebra of Partial Strings
A Horn, J Alglave
arXiv preprint arXiv:1407.0385, 2014
42014
Network property verification in hybrid networks
A Horn, MR Prasad
US Patent 10,462,017, 2019
12019
Network property verification
H Alex, MR Prasad
US Patent 10,355,985, 2019
12019
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
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
The system can't perform the operation now. Try again later.
Articles 1–18