Youssef Hanna

发表

Manual for Slede Annotation Language

Youssef Hanna, 2008 .

Verifying Fault-Tolerance of Sensor Network Applications Using Auto-generated Fault Injection Mechanisms

Hridesh Rajan, Youssef Hanna, Youssef Hanna, 2007 .

Real time adaptive PID controller based on quantum neural network for nonlinear systems

Ahmad M. El-Nagar, M. El-Bardini, Youssef Hanna, 2023, Engineering applications of artificial intelligence.

Automating Cut-off for Multi-parameterized Systems

Samik Basu, Hridesh Rajan, Youssef Hanna, 2010, ICFEM.

Golok: Push-button Verification of Parameterized Systems

Samik Basu, Youssef Hanna, David Samuelson, 2011 .

Slede: a domain-specific verification framework for sensor network security protocol implementations

Hridesh Rajan, Wensheng Zhang, Youssef Hanna, 2008, WiSec '08.

SLEDE: lightweight verification of sensor network security protocol implementations

Youssef Hanna, Youssef Hanna, 2007, ESEC-FSE companion '07.

SLEDE: event-based specification of sensor network security protocols

Hridesh Rajan, Youssef Hanna, Youssef Hanna, 2006, SOEN.

Verifying sensor network security protocol implementations

Youssef Hanna, Youssef Hanna, 2008 .

Lightweight Specification Language and Verification Framework for Sensor Network Security Protocols

Hridesh Rajan, Zhang Wensheng, Youssef Hanna, 2006 .