|
Search the dblp DataBase
Samar Dajani-Brown:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Brendan Hall, Kevin Driscoll, Michael Paulitsch, Samar Dajani-Brown
Ringing out Fault Tolerance. A New Ring Network for Superior Low-Cost Dependability. [Citation Graph (0, 0)][DBLP] DSN, 2005, pp:298-307 [Conf]
- Samar Dajani-Brown, Darren D. Cofer, Amar Bouali
Formal Verification of an Avionics Sensor Voter Using SCADE. [Citation Graph (0, 0)][DBLP] FORMATS/FTRTFT, 2004, pp:5-20 [Conf]
- Madhukar Anand, Steve Vestal, Samar Dajani-Brown, Insup Lee
Formal Modeling and Analysis of the AFDX Frame Management Design. [Citation Graph (0, 0)][DBLP] ISORC, 2006, pp:393-399 [Conf]
- Samar Dajani-Brown, Darren D. Cofer, Gary Hartmann, Steve Pratt
Formal Modeling and Analysis of an Avionics Triplex Sensor Voter. [Citation Graph (0, 0)][DBLP] SPIN, 2003, pp:34-48 [Conf]
- Murali Rangarajan, Samar Dajani-Brown, Kirk Schloegel, Darren D. Cofer
Analysis of Distributed Spin Applied to Industrial-Scale Models. [Citation Graph (0, 0)][DBLP] SPIN, 2004, pp:267-285 [Conf]
Search in 0.001secs, Finished in 0.002secs
|