BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Backes:John

Contributed to:

HILT 20142014
CAV (2) 20182018
CAV (2) 20192019

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.