BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Collaborated with:
I.Konnov Thanh-Hai Tran J.Backes S.Bayless B.Cook C.Dodge A.Gacek A.J.Hu T.Kahsai B.Kocik E.Kotelnikov S.McLaughlin J.R.0004 N.Rungta J.Sizemore M.A.Stalzer P.Srinivasan P.Subotic C.Varming B.Whaley
Talks about:
reachabl (1) network (1) analysi (1) symbol (1) model (1) check (1) made (1) base (1) tla (1)

Person: Jure Kukovec

DBLP DBLP: Kukovec:Jure

Contributed to:

CAV (2) 20192019
OOPSLA 20192019

Wrote 2 papers:

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.
OOPSLA-2019-KonnovKT #model checking
TLA+ model checking made symbolic (IK, JK, THT), p. 30.

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.