Youssef Hanna

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Hridesh Rajan

> Home > Persons > Youssef Hanna

Publications

2010
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/HannaSBR10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/HannaSBR10
Youssef Hanna, David Samuelson, Samik Basu, Hridesh Rajan:
Automating Cut-off for Multi-parameterized Systems. ICFEM 2010: 338-354
2009
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/HannaR09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/HannaR09
Youssef Hanna, Hridesh Rajan:
Slede: Framework for automatic verification of sensor network security protocol implementations. ICSE Companion 2009: 427-428
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/HannaBR09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/HannaBR09
Youssef Hanna, Samik Basu, Hridesh Rajan:
Behavioral automata composition for automatic topology independent verification of parameterized systems. ESEC/SIGSOFT FSE 2009: 325-334
2008
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/wisec/HannaRZ08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wisec/HannaRZ08
Youssef Hanna, Hridesh Rajan, Wensheng Zhang:
Slede: a domain-specific verification framework for sensor network security protocol implementations. WISEC 2008: 109-118
2006
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/sigsoft/HannaR06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigsoft/HannaR06
Youssef Hanna, Hridesh Rajan:
SLEDE: event-based specification of sensor network security protocols. ACM SIGSOFT Softw. Eng. Notes 31(6): 1-2 (2006)

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.