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 × France
1 × Ireland
1 × Japan
1 × Switzerland
Collaborated with:
P.T.Devanbu P.F.Syverson P.W.L.Fong
Talks about:
softwar (3) verif (2) trust (2) engin (2) cryptograph (1) techniqu (1) research (1) roadmap (1) princip (1) hardwar (1)

Person: Stuart G. Stubblebine

DBLP DBLP: Stubblebine:Stuart_G=

Contributed to:

ICSE — Future of SE Track 20002000
World Congress on Formal Methods 19991999
ICSE 19981998
ASE 19971997
ESEC/FSE 19971997

Wrote 5 papers:

FoSE-2000-DevanbuS #re-engineering #roadmap #security
Software engineering for security: a roadmap (PTD, SGS), pp. 227–239.
FM-v1-1999-SyversonS #formal method
Group Principals and the Formalization of Anonymity (PFS, SGS), pp. 814–833.
ICSE-1998-DevanbuFS #re-engineering
Techniques for Trusted Software Engineering (PTD, PWLF, SGS), pp. 126–135.
ASE-1997-DevanbuS #automation #hardware #research #using #verification
Research Directions for Automated Software Verification: Using Trusted Hardware (PTD, SGS), pp. 274–279.
ESEC-FSE-1997-DevanbuS #encryption #test coverage #verification
Cryptographic Verification of Test Coverage Claims (PTD, SGS), pp. 395–413.

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.