Alex Horn
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2013–2019
Best venue rank
C
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | ICNP | A Precise and Expressive Lattice-theoretical Framework for Efficient Network Verification. | Alex Horn, Ali Kheradmand, Mukul R. Prasad |
| 2017 | NSDI | Delta-net: Real-time Network Verification Using Atoms. | Alex Horn, Ali Kheradmand, Mukul R. Prasad |
| 2015 | FORTE | On Partial Order Semantics for SAT/SMT-Based Symbolic Encodings of Weak Memory Concurrency. | Alex Horn, Daniel Kroening |
| 2015 | FORTE | Faster Linearizability Checking via P-Compositionality. | Alex Horn, Daniel Kroening |
| 2013 | FMCAD | Formal co-validation of low-level hardware/software interfaces. | Alex Horn, Michael Tautschnig, Celina G. Val, Lihao Liang, Tom Melham, Jim Grundy, Daniel Kroening |