Export 10 results:
Sort by: Filters: Author is F.B. Bastani [Clear All Filters]
"Survivable systems based on an adaptive NMR algorithm",
18th International Parallel and Distributed Processing Symposium, Santa Fe, New Mexico, April 2004.
"Systematic reliability analysis of a class of application-specific embedded software frameworks",
IEEE Transactions on Software Engineering, vol. 30, no. 4, pp. 218-230, 2004.
"High assurance synthesis of security services from basic microservices",
14th IEEE International Symposium on Software Reliability Engineering, Denver, Colorado, November 2003.
"Reliability assessment of framework-based distributed embedded software systems",
13th IEEE Symposium on Software Reliability Engineering, Annapolis, Maryland, November 2002.
"An architecture-based comparison of verification and statistical reliability assessment methods for embedded software systems",
5th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, Washington DC, May 2002.
"A systematic approach for integration of multimedia capabilities in consulting systems",
1995 Pacific Workshop on Distributed Multimedia Systems, Hawaii, March 1995.
"On the reliability of AI planning software in real-time applications",
IEEE Transactions on Knowledge and Data Engineering, vol. 7, no. 1, pp. 4-13, February 1995.
"Warm standby in hierarchically structured process--control programs",
IEEE Transactions on Software Engineering (Concise), vol. 20, no. 8, pp. 658-663, August 1994.
"On the reliability of embedded AI systems",
IEEE Expert, vol. 8, no. 2, pp. 72-78, April 1993.
"Assessment of the reliability of AI programs",
International Journal on Artificial Intelligence Tools, vol. 2, no. 2, pp. 235-247, 1993.