Alex Horn

12 papers B 2C 2Misc 1Journal 6
YearRankTypeTitle / Venue / Authors
2019 B conf
A Precise and Expressive Lattice-theoretical Framework for Efficient Network Verification.
ICNP
Alex Horn, Ali Kheradmand, Mukul R. Prasad
2019 J jnl
A Precise and Expressive Lattice-theoretical Framework for Efficient Network Verification.
CoRR
Alex Horn, Ali Kheradmand, Mukul R. Prasad
2017 Misc conf
Delta-net: Real-time Network Verification Using Atoms.
NSDI
Alex Horn, Ali Kheradmand, Mukul R. Prasad
2017 J jnl
Delta-net: Real-time Network Verification Using Atoms.
CoRR
Alex Horn, Ali Kheradmand, Mukul R. Prasad
2015 J jnl
A Concurrency Problem with Exponential DPLL(T) Proofs.
CoRR
Liana Hadarean, Alex Horn, Tim King
2015 — —
Automated concurrency bug finding using partial-orders.
Alex Horn
2015 C conf
Faster Linearizability Checking via P-Compositionality.
FORTE
Alex Horn, Daniel Kroening
2015 J jnl
Faster linearizability checking via $P$-compositionality.
CoRR
Alex Horn, Daniel Kroening
2015 C conf
On Partial Order Semantics for SAT/SMT-Based Symbolic Encodings of Weak Memory Concurrency.
FORTE
Alex Horn, Daniel Kroening
2015 J jnl
On partial order semantics for SAT/SMT-based symbolic encodings of weak memory concurrency.
CoRR
Alex Horn, Daniel Kroening
2014 J jnl
Concurrent Kleene Algebra of Partial Strings.
CoRR
Alex Horn, Jade Alglave
2013 B conf
Formal co-validation of low-level hardware/software interfaces.
FMCAD
Alex Horn, Michael Tautschnig, Celina G. Val, Lihao Liang, Tom Melham, Jim Grundy, Daniel Kroening