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 × Croatia
1 × The Netherlands
Collaborated with:
S.Basu H.Rajan
Talks about:
verif (2) lightweight (1) parameter (1) implement (1) protocol (1) independ (1) composit (1) behavior (1) automata (1) topolog (1)

Person: Youssef Hanna

DBLP DBLP: Hanna:Youssef

Contributed to:

ESEC/FSE 20092009
ESEC/FSE 20072007

Wrote 2 papers:

ESEC-FSE-2009-HannaBR #automation #automaton #behaviour #composition #independence #verification
Behavioral automata composition for automatic topology independent verification of parameterized systems (YH, SB, HR), pp. 325–334.
ESEC-FSE-2007-Hanna #implementation #lightweight #named #network #protocol #security #verification
SLEDE: lightweight verification of sensor network security protocol implementations (YH), pp. 591–594.

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.