BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
2 × USA
Collaborated with:
R.Drechsler H.M.Le D.Große H.M.L.0001
Talks about:
symbol (3) simul (3) verifi (2) system (2) use (2) intermedi (1) parallel (1) languag (1) effici (1) compil (1)

Person: Vladimir Herdt

DBLP DBLP: Herdt:Vladimir

Contributed to:

DAC 20152015
DAC 20132013
CAV (2) 20162016

Wrote 3 papers:

DAC-2015-HerdtLD #simulation #using #verification
Verifying SystemC using stateful symbolic simulation (VH, HML, RD), p. 6.
DAC-2013-LeGHD #simulation #using #verification
Verifying SystemC using an intermediate verification language and symbolic simulation (HML, DG, VH, RD), p. 6.
CAV-2016-HerdtLGD #named #performance #simulation
ParCoSS: Efficient Parallelized Compiled Symbolic Simulation (VH, HML0, DG, RD), pp. 177–183.

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.