Author: Farokh B. Bastani

Publications

Publication period start: 1997
Number of co-authors: 6

Co-authors

Number of publications with favourite co-authors
Akira K. Onoma
1
Nirav Shah
2
I-Ling Yen
2

Productive Colleagues

Most productive colleagues in number of publications
I-Ling Yen
5
Sourav Bhattacharya
5
S. Sitharama Iyengar
14

Publications

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