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

Collaborated with:
H.Seidl V.Vojdani K.Apinis V.Rõtov V.Vene
Talks about:
approach (1) goblint (1) static (1) solver (1) improv (1) driver (1) detect (1) three (1) devic (1) race (1)

Person: Ralf Vogler

DBLP DBLP: Vogler:Ralf

Contributed to:

ASE 20162016
PPDP 20182018

Wrote 2 papers:

ASE-2016-VojdaniARSVV #approach #concurrent #detection
Static race detection for device drivers: the Goblint approach (VV, KA, VR, HS, VV, RV), pp. 391–402.
PPDP-2018-SeidlV #top-down
Three Improvements to the Top-Down Solver (HS, RV), p. 14.

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.