Samar Dajani-Brown

According to our database, Samar Dajani-Brown authored at least 5 papers between 2003 and 2006.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2006

Formal Modeling and Analysis of the AFDX Frame Management Design.

Madhukar Anand, Steve Vestal, Samar Dajani-Brown, Insup Lee

Proceedings of the Ninth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2006), 2006

2005

Ringing out Fault Tolerance. A New Ring Network for Superior Low-Cost Dependability.

Brendan Hall, Kevin Driscoll, Michael Paulitsch, Samar Dajani-Brown

Proceedings of the 2005 International Conference on Dependable Systems and Networks (DSN 2005), 28 June, 2005

2004

Analysis of Distributed Spin Applied to Industrial-Scale Models.

Murali Rangarajan, Samar Dajani-Brown, Kirk Schloegel, Darren D. Cofer

Proceedings of the Model Checking Software, 2004

Formal Verification of an Avionics Sensor Voter Using SCADE.

Samar Dajani-Brown, Darren D. Cofer, Amar Bouali

Proceedings of the Formal Techniques, 2004

2003

Formal Modeling and Analysis of an Avionics Triplex Sensor Voter.

Samar Dajani-Brown, Darren D. Cofer, Gary Hartmann, Steve Pratt

Proceedings of the Model Checking Software, 2003