| 2006 |
|---|
| 5 | EE | Madhukar Anand,
Steve Vestal,
Samar Dajani-Brown,
Insup Lee:
Formal Modeling and Analysis of the AFDX Frame Management Design.
ISORC 2006: 393-399 |
| 2005 |
|---|
| 4 | EE | Brendan Hall,
Kevin Driscoll,
Michael Paulitsch,
Samar Dajani-Brown:
Ringing out Fault Tolerance. A New Ring Network for Superior Low-Cost Dependability.
DSN 2005: 298-307 |
| 2004 |
|---|
| 3 | EE | Samar Dajani-Brown,
Darren D. Cofer,
Amar Bouali:
Formal Verification of an Avionics Sensor Voter Using SCADE.
FORMATS/FTRTFT 2004: 5-20 |
| 2 | EE | Murali Rangarajan,
Samar Dajani-Brown,
Kirk Schloegel,
Darren D. Cofer:
Analysis of Distributed Spin Applied to Industrial-Scale Models.
SPIN 2004: 267-285 |
| 2003 |
|---|
| 1 | EE | Samar Dajani-Brown,
Darren D. Cofer,
Gary Hartmann,
Steve Pratt:
Formal Modeling and Analysis of an Avionics Triplex Sensor Voter.
SPIN 2003: 34-48 |
