Alex Horn

According to our database, Alex Horn authored at least 9 papers between 2011 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

A Precise and Expressive Lattice-theoretical Framework for Efficient Network Verification.

Alex Horn, Ali Kheradmand, Mukul R. Prasad

Proceedings of the 27th IEEE International Conference on Network Protocols, 2019

2017

Delta-net: Real-time Network Verification Using Atoms.

Alex Horn, Ali Kheradmand, Mukul R. Prasad

Proceedings of the 14th USENIX Symposium on Networked Systems Design and Implementation, 2017

2015

Automated concurrency bug finding using partial-orders.

Alex Horn

PhD thesis, 2015

A Concurrency Problem with Exponential DPLL(T) Proofs.

Liana Hadarean, Alex Horn, Tim King

CoRR, 2015

Faster Linearizability Checking via P-Compositionality.

Alex Horn, Daniel Kroening

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2015

On Partial Order Semantics for SAT/SMT-Based Symbolic Encodings of Weak Memory Concurrency.

Alex Horn, Daniel Kroening

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2015

2014

Concurrent Kleene Algebra of Partial Strings.

Alex Horn, Jade Alglave

CoRR, 2014

2013

Formal co-validation of low-level hardware/software interfaces.

Alex Horn, Michael Tautschnig, Celina G. Val, Lihao Liang, Tom Melham, Jim Grundy, Daniel Kroening

Proceedings of the Formal Methods in Computer-Aided Design, 2013

2011

Dynamic Epistemic Algebra with Post-conditions to Reason about Robot Navigation.

Alexander Horn

Proceedings of the Logic, Language, Information and Computation, 2011