Collaborated with:A.J.Hu T.Klenze J.Backes B.Cook C.Dodge A.Gacek T.Kahsai B.Kocik E.Kotelnikov J.Kukovec S.McLaughlin J.R.0004 N.Rungta J.Sizemore M.A.Stalzer P.Srinivasan P.Subotic C.Varming B.Whaley
Talks about:synthesi (1) reachabl (1) network (1) flexibl (1) analysi (1) minim (1) fast (1) base (1) smt (1) ctl (1)
Person: Sam Bayless
DBLP: Bayless:Sam
Contributed to:
20162019Wrote 3 papers:
- CAV-2016-KlenzeBH #flexibility #performance #smt #synthesis
- Fast, Flexible, and Minimal CTL Synthesis via SMT (TK, SB, AJH), pp. 136–156.
- CAV-2019-BackesBCDGHKKKK #analysis #network #reachability
- Reachability Analysis for AWS-Based Networks (JB, SB, BC, CD, AG, AJH, TK, BK, EK, JK, SM, JR0, NR, JS, MAS, PS, PS, CV, BW), pp. 231–241.