Alex Horn
- Faster linearizability checking via P-compositionality
2015/04/01 by Alex Horn, Daniel Kroening, Horn, Alex +1 · 3 citations
Computer Science · #Distributed #FOS: Computer and information sciences #Parallel #and Cluster Computing (cs.DC) #cs.DC
- Delta-net: Real-time Network Verification Using Atoms
2017/02/23 by Alex Horn, Horn, Alex, Ali Kheradmand +3 · 1 citation
Computer Science · Engineering · #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Networking and Internet Architecture (cs.NI) #Radiation Effects in Electronics #Software System Performance and Reliability