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
432017
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
322013
Faster Linearizability Checking via P-compositionality
A Horn, D Kroening
FORTE: International Conference on Formal Techniques for Distributed Objects …, 2015
162015
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
112015
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
42019
Dynamic Epistemic Algebra with Post-conditions to Reason about Robot Navigation
A Horn
WoLLIC: Workshop on Logic, Language, Information and Computation, 2011
32011
Network verification
A Horn, MR Prasad, A Kheradmand
US Patent 10,057,166, 2018
22018
Network verification
A Horn, MR Prasad, A KHERADMAND
US Patent 10,057,166, 2018
22018
Network property verification
A Horn, A Kheradmand
US Patent 10,574,582, 2020
12020
Network analysis
A Horn, A Kheradmand
US Patent 10,439,926, 2019
12019
Network property verification
H Alex, MR Prasad
US Patent 10,355,985, 2019
12019
Concurrent Kleene Algebra of Partial Strings
A Horn, J Alglave
arXiv preprint arXiv:1407.0385, 2014
12014
Network property verification
A Horn, MR Prasad, N Oguchi, P Palacharla
US Patent 10,693,744, 2020
2020
Collection of forwarding rules
A Horn, E Campbell, MR Prasad
US Patent App. 16/123,992, 2020
2020
Network property verification in hybrid networks
A Horn, MR Prasad
US Patent 10,462,017, 2019
2019
Network verification
A Horn, A KHERADMAND
US Patent 10,305,776, 2019
2019
Network verification
A Horn, A Kheradmand
US Patent 10,305,776, 2019
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–19