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 × United Kingdom
Collaborated with:
G.Balakrishnan T.W.Reps T.Teitelbaum N.Kidd A.Lal J.Lim D.Melski S.H.Yong C.Chen
Talks about:
surfer (2) execut (2) code (2) platform (1) analyz (1) model (1) check (1) wpds (1)

Person: Radu Gruian

DBLP DBLP: Gruian:Radu

Contributed to:

CAV 20052005
CC 20052005

Wrote 2 papers:

CAV-2005-BalakrishnanRKLLMGYCT #bytecode #model checking
Model Checking x86 Executables with CodeSurfer/x86 and WPDS++ (GB, TWR, NK, AL, JL, DM, RG, SHY, CHC, TT), pp. 158–163.
CC-2005-BalakrishnanGRT #bytecode #framework #named #platform
CodeSurfer/x86 — A Platform for Analyzing x86 Executables (GB, RG, TWR, TT), pp. 250–254.

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.