Alex Horn
Alex Horn
Geverifieerd e-mailadres voor apple.com
Titel
Geciteerd door
Geciteerd door
Jaar
Delta-net: Real-time Network Verification Using Atoms
A Horn, A Kheradmand, MR Prasad
NSDI: USENIX Symposium on Networked Systems Design and Implementation, 2017
512017
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
352013
Faster Linearizability Checking via P-compositionality
A Horn, D Kroening
FORTE: International Conference on Formal Techniques for Distributed Objects …, 2015
172015
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
62019
Network verification
A Horn, MR Prasad, A Kheradmand
US Patent 10,057,166, 2018
32018
Network verification
A Horn, MR Prasad, A KHERADMAND
US Patent 10,057,166, 2018
32018
Dynamic Epistemic Algebra with Post-conditions to Reason about Robot Navigation
A Horn
WoLLIC: Workshop on Logic, Language, Information and Computation, 2011
32011
Network analysis
A Horn, A Kheradmand
US Patent 10,439,926, 2019
22019
Network property verification
A Horn, A Kheradmand
US Patent 10,574,582, 2020
12020
Network property verification
H Alex, MR Prasad
US Patent 10,355,985, 2019
12019
Network verification
A Horn, A KHERADMAND
US Patent 10,305,776, 2019
12019
Network verification
A Horn, A Kheradmand
US Patent 10,305,776, 2019
12019
Concurrent Kleene Algebra of Partial Strings
A Horn, J Alglave
arXiv preprint arXiv:1407.0385, 2014
12014
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 in hybrid networks
A Horn, MR Prasad
US Patent 10,462,017, 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
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20