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: Hanna:Youssef
Contributed to:
20092007Wrote 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.