Travelled to:1 × USA
Collaborated with:A.Gacek D.D.Cofer K.Slind M.W.Whalen M.Whalen L.G.Wagner E.Ghassabani S.Bayless B.Cook C.Dodge A.J.Hu 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:model (2) architectur (1) reachabl (1) resolut (1) network (1) languag (1) checker (1) analysi (1) assur (1) kind (1)
Person: John Backes
DBLP: Backes:John
Contributed to:
2014
20182019Wrote 3 papers:
- HILT-2014-GacekBCSW #architecture #assurance #modelling #named
- Resolute: an assurance case language for architecture models (AG, JB, DDC, KS, MWW), pp. 19–28.
- CAV-2018-GacekBWWG #model checking
- The JKind Model Checker (AG, JB, MW, LGW, EG), pp. 20–27.
- 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.