Author: Farokh B. Bastani

Bhattacharya, Sourav, Onoma, Akira K., Bastani, Farokh B. (1997): High-Assurance Systems (Introduction to the Special Section). In Communications of the ACM, 40 (1) pp. 67.

Bastani, Farokh B., Iyengar, S. Sitharama (1987): The Effect of Data Structures on the Logical Complexity of Programs. In Communications of the ACM, 30 (3) pp. 250-259.

Shah, Nirav, Bastani, Farokh B., Yen, I-Ling (2006): A Real-Time Scheduling Based Framework for Traffic Coordination Systems. In: SUTC 2006 - IEEE International Conference on Sensor Networks, Ubiquitous, and Trustworthy Computing 5-7 June, 2006, Taichung, Taiwan. pp. 321-325. https://doi.ieeecomputersociety.org/10.1109/SUTC.2006.14

Shah, Nirav, Kumar, Subodha, Bastani, Farokh B., Yen, I-Ling (2008): A Space-Time Network Optimization Model for Traffic Coordination and Its Evaluation. In: Singhal, Mukesh, Serugendo, Giovanna Di Marzo, Tsai, Jeffrey J. P., Lee, Wang-Chien, Romer, Kay, Tseng, Yu-Chee, Hsiao, Han C. W. (eds.) SUTC 2008 - IEEE International Conference on Sensor Networks, Ubiquitous, and Trustworthy Computing 11-13 June, 2008, Taichung, Taiwan. pp. 177-184. https://doi.ieeecomputersociety.org/10.1109/SUTC.2008.18