Dynamic Epistemic Algebra with Post-conditions to Reason about Robot Navigation. - Alexander Horn (WoLLIC, 2011)

Formal co-validation of low-level hardware/software interfaces. - Alex Horn; Michael Tautschnig; Celina G. Val; Lihao Liang; Tom Melham; Jim Grundy; Daniel Kroening (FMCAD, 2013)

Concurrent Kleene Algebra of Partial Strings. - Alex Horn; Jade Alglave (CoRR, 2014)

On Partial Order Semantics for SAT/SMT-Based Symbolic Encodings of Weak Memory Concurrency. - Alex Horn; Daniel Kroening (FORTE, 2015)

Faster Linearizability Checking via P-Compositionality. - Alex Horn; Daniel Kroening (FORTE, 2015)

A Concurrency Problem with Exponential DPLL(T) Proofs. - Liana Hadarean; Alex Horn; Tim King 001 (CoRR, 2015)

Automated concurrency bug finding using partial-orders. - Alex Horn (2015)

Delta-net: Real-time Network Verification Using Atoms. - Alex Horn; Ali Kheradmand; Mukul R. Prasad (NSDI, 2017)

A Precise and Expressive Lattice-theoretical Framework for Efficient Network Verification. - Alex Horn; Ali Kheradmand; Mukul R. Prasad (ICNP, 2019)