Samar Dajani-Brown

Publication Activity (10 Years)

Years Active: 2003-2006
Publications (10 Years): 0

Publications

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