Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Farokh B. Bastani
@inproceedings{DBLP:conf/icoin/TranMBY23,
author = {Hieu Tran and
Miao Miao and
Farokh B. Bastani and
I{-}Ling Yen},
title = {Multi-Keyword Based Information Routing in Peer-to-Peer Networks},
booktitle = {International Conference on Information Networking, {ICOIN} 2023,
Bangkok, Thailand, January 11-14, 2023},
pages = {791--796},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ICOIN56518.2023.10049045},
doi = {10.1109/ICOIN56518.2023.10049045},
timestamp = {Fri, 24 Feb 2023 15:04:55 +0100},
biburl = {https://dblp.org/rec/conf/icoin/TranMBY23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isads/YenTB23,
author = {I{-}Ling Yen and
Ayu Tiwari and
Farokh B. Bastani},
title = {Access Control in Dynamic IoT Scenarios},
booktitle = {15th {IEEE} International Symposium on Autonomous Decentralized System,
{ISADS} 2023, Mexico City, Mexico, March 15-17, 2023},
pages = {1--8},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ISADS56919.2023.10092159},
doi = {10.1109/ISADS56919.2023.10092159},
timestamp = {Wed, 19 Apr 2023 16:32:41 +0200},
biburl = {https://dblp.org/rec/conf/isads/YenTB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itsc/TranNYB22,
author = {Hieu Tran and
Son Nguyen and
I{-}Ling Yen and
Farokh B. Bastani},
title = {{TLETA:} Deep Transfer Learning and Integrated Cellular Knowledge
for Estimated Time of Arrival Prediction},
booktitle = {25th {IEEE} International Conference on Intelligent Transportation
Systems, {ITSC} 2022, Macau, China, October 8-12, 2022},
pages = {1921--1926},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/ITSC55140.2022.9922555},
doi = {10.1109/ITSC55140.2022.9922555},
timestamp = {Thu, 10 Nov 2022 21:13:36 +0100},
biburl = {https://dblp.org/rec/conf/itsc/TranNYB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2203-10791,
author = {Hieu Tran and
Son Nguyen and
I{-}Ling Yen and
Farokh B. Bastani},
title = {IoT Data Discovery: Routing Table and Summarization Techniques},
journal = {CoRR},
volume = {abs/2203.10791},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2203.10791},
doi = {10.48550/ARXIV.2203.10791},
eprinttype = {arXiv},
eprint = {2203.10791},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2203-10791.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2206-08513,
author = {Hieu Tran and
Son Nguyen and
I{-}Ling Yen and
Farokh B. Bastani},
title = {{TLETA:} Deep Transfer Learning and Integrated Cellular Knowledge
for Estimated Time of Arrival Prediction},
journal = {CoRR},
volume = {abs/2206.08513},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2206.08513},
doi = {10.48550/ARXIV.2206.08513},
eprinttype = {arXiv},
eprint = {2206.08513},
timestamp = {Tue, 21 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2206-08513.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEcloud/TranNYB21,
author = {Hieu Tran and
Son Nguyen and
I{-}Ling Yen and
Farokh B. Bastani},
editor = {Claudio Agostino Ardagna and
Carl K. Chang and
Ernesto Daminai and
Rajiv Ranjan and
Zhongjie Wang and
Robert Ward and
Jia Zhang and
Wensheng Zhang},
title = {Into Summarization Techniques for IoT Data Discovery Routing},
booktitle = {14th {IEEE} International Conference on Cloud Computing, {CLOUD} 2021,
Chicago, IL, USA, September 5-10, 2021},
pages = {96--105},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/CLOUD53861.2021.00023},
doi = {10.1109/CLOUD53861.2021.00023},
timestamp = {Fri, 23 Jun 2023 11:36:46 +0200},
biburl = {https://dblp.org/rec/conf/IEEEcloud/TranNYB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpads/MoeiniYB21,
author = {Hessam Moeini and
I{-}Ling Yen and
Farokh B. Bastani},
title = {Decentralized Service Discovery and Composition in Dynamic IoT Systems},
booktitle = {27th {IEEE} International Conference on Parallel and Distributed Systems,
{ICPADS} 2021, Beijing, China, December 14-16, 2021},
pages = {130--137},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ICPADS53394.2021.00022},
doi = {10.1109/ICPADS53394.2021.00022},
timestamp = {Mon, 09 May 2022 09:35:52 +0200},
biburl = {https://dblp.org/rec/conf/icpads/MoeiniYB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2107-09558,
author = {Hieu Tran and
Son Nguyen and
I{-}Ling Yen and
Farokh B. Bastani},
title = {Into Summarization Techniques for IoT Data Discovery Routing},
journal = {CoRR},
volume = {abs/2107.09558},
year = {2021},
url = {https://arxiv.org/abs/2107.09558},
eprinttype = {arXiv},
eprint = {2107.09558},
timestamp = {Thu, 29 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2107-09558.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/concurrency/YuJYBXG20,
author = {Yongjia Yu and
Vasu Jindal and
I{-}Ling Yen and
Farokh B. Bastani and
Jie Xu and
Peter Garraghan},
title = {Integrating clustering and regression for workload estimation in the
cloud},
journal = {Concurr. Comput. Pract. Exp.},
volume = {32},
number = {23},
year = {2020},
url = {https://doi.org/10.1002/cpe.5931},
doi = {10.1002/CPE.5931},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/concurrency/YuJYBXG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEcloud/MoussaYB20,
author = {Hachem Moussa and
I{-}Ling Yen and
Farokh B. Bastani},
title = {Service Management in the Edge Cloud for Stream Processing of IoT
Data},
booktitle = {13th {IEEE} International Conference on Cloud Computing, {CLOUD} 2020,
Virtual Event, 18-24 October 2020},
pages = {91--98},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/CLOUD49709.2020.00026},
doi = {10.1109/CLOUD49709.2020.00026},
timestamp = {Fri, 15 Jan 2021 13:20:47 +0100},
biburl = {https://dblp.org/rec/conf/IEEEcloud/MoussaYB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2009-02858,
author = {Hessam Moeini and
I{-}Ling Yen and
Farokh B. Bastani},
title = {Summarization in Semantic Based Service Discovery in Dynamic IoT-Edge
Networks},
journal = {CoRR},
volume = {abs/2009.02858},
year = {2020},
url = {https://arxiv.org/abs/2009.02858},
eprinttype = {arXiv},
eprint = {2009.02858},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2009-02858.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/DiaoWAYB19,
author = {Lijuan Diao and
Huaduo Wang and
Sultan Alsarra and
I{-}Ling Yen and
Farokh B. Bastani},
editor = {Vladimir Getov and
Jean{-}Luc Gaudiot and
Nariyoshi Yamai and
Stelvio Cimato and
J. Morris Chang and
Yuuichi Teranishi and
Ji{-}Jiang Yang and
Hong Va Leong and
Hossain Shahriar and
Michiharu Takemoto and
Dave Towey and
Hiroki Takakura and
Atilla El{\c{c}}i and
Susumu Takeuchi and
Satish Puri},
title = {A Smart Role Mapping Recommendation System},
booktitle = {43rd {IEEE} Annual Computer Software and Applications Conference,
{COMPSAC} 2019, Milwaukee, WI, USA, July 15-19, 2019, Volume 2},
pages = {135--140},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/COMPSAC.2019.10196},
doi = {10.1109/COMPSAC.2019.10196},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/compsac/DiaoWAYB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/ZhangZYB19,
author = {Shuai Zhang and
Wenxi Zeng and
I{-}Ling Yen and
Farokh B. Bastani},
editor = {Dongjin Yu and
Vu Nguyen and
Congfeng Jiang},
title = {Semantically Enhanced Time Series Databases in IoT-Edge-Cloud Infrastructure},
booktitle = {19th {IEEE} International Symposium on High Assurance Systems Engineering,
{HASE} 2019, Hangzhou, China, January 3-5, 2019},
pages = {25--32},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/HASE.2019.00014},
doi = {10.1109/HASE.2019.00014},
timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
biburl = {https://dblp.org/rec/conf/hase/ZhangZYB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hpcc/MoeiniZYB19,
author = {Hessam Moeini and
Wenxi Zeng and
I{-}Ling Yen and
Farokh B. Bastani},
editor = {Zheng Xiao and
Laurence T. Yang and
Pavan Balaji and
Tao Li and
Keqin Li and
Albert Y. Zomaya},
title = {Toward Data Discovery in Dynamic Smart City Applications},
booktitle = {21st {IEEE} International Conference on High Performance Computing
and Communications; 17th {IEEE} International Conference on Smart
City; 5th {IEEE} International Conference on Data Science and Systems,
HPCC/SmartCity/DSS 2019, Zhangjiajie, China, August 10-12, 2019},
pages = {2572--2579},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/HPCC/SmartCity/DSS.2019.00360},
doi = {10.1109/HPCC/SMARTCITY/DSS.2019.00360},
timestamp = {Fri, 19 Nov 2021 12:28:04 +0100},
biburl = {https://dblp.org/rec/conf/hpcc/MoeiniZYB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpads/MoeiniYB19,
author = {Hessam Moeini and
I{-}Ling Yen and
Farokh B. Bastani},
title = {Efficient Multi-Keyword Based Service Discovery Routing in Peer-to-Peer
IoT Networks},
booktitle = {25th {IEEE} International Conference on Parallel and Distributed Systems,
{ICPADS} 2019, Tianjin, China, December 4-6, 2019},
pages = {703--710},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ICPADS47876.2019.00104},
doi = {10.1109/ICPADS47876.2019.00104},
timestamp = {Tue, 04 Feb 2020 13:36:54 +0100},
biburl = {https://dblp.org/rec/conf/icpads/MoeiniYB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icws/MoeiniYB19,
author = {Hessam Moeini and
I{-}Ling Yen and
Farokh B. Bastani},
editor = {Elisa Bertino and
Carl K. Chang and
Peter Chen and
Ernesto Damiani and
Michael Goul and
Katsunori Oyama},
title = {Service Specification and Discovery in IoT Networks},
booktitle = {2019 {IEEE} International Conference on Web Services, {ICWS} 2019,
Milan, Italy, July 8-13, 2019},
pages = {55--59},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ICWS.2019.00021},
doi = {10.1109/ICWS.2019.00021},
timestamp = {Wed, 16 Oct 2019 14:14:50 +0200},
biburl = {https://dblp.org/rec/conf/icws/MoeiniYB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isc2/LiWDYB19,
author = {Fang Li and
Huaduo Wang and
Lijuan Diao and
I{-}Ling Yen and
Farokh B. Bastani},
title = {Toward Semi-Automated Role Mapping for IoT Systems in Smart Cities},
booktitle = {2019 {IEEE} International Smart Cities Conference, {ISC2} 2019, Casablanca,
Morocco, October 14-17, 2019},
pages = {205--211},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ISC246665.2019.9071758},
doi = {10.1109/ISC246665.2019.9071758},
timestamp = {Fri, 19 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isc2/LiWDYB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sacmat/AlsarraYHBT19,
author = {Sultan Alsarra and
I{-}Ling Yen and
Yongtao Huang and
Farokh B. Bastani and
Bhavani Thuraisingham},
editor = {Florian Kerschbaum and
Atefeh Mashatan and
Jianwei Niu and
Adam J. Lee},
title = {An OpenRBAC Semantic Model for Access Control in Vehicular Networks},
booktitle = {Proceedings of the 24th {ACM} Symposium on Access Control Models and
Technologies, {SACMAT} 2019, Toronto, ON, Canada, June 03-06, 2019},
pages = {93--102},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3322431.3326328},
doi = {10.1145/3322431.3326328},
timestamp = {Wed, 29 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sacmat/AlsarraYHBT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scc2/MoussaYBDH19,
author = {Hachem Moussa and
I{-}Ling Yen and
Farokh B. Bastani and
Yulin Dong and
Wei He},
editor = {Jo{\~{a}}o Eduardo Ferreira and
Aibek Musaev and
Liang{-}Jie Zhang},
title = {Toward Better Service Performance Management via Workload Prediction},
booktitle = {Services Computing - {SCC} 2019 - 16th International Conference, Held
as Part of the Services Conference Federation, {SCF} 2019, San Diego,
CA, USA, June 25-30, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11515},
pages = {92--106},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-23554-3\_7},
doi = {10.1007/978-3-030-23554-3\_7},
timestamp = {Fri, 05 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/scc2/MoussaYBDH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/soca/Zeng0YBH19,
author = {Wenxi Zeng and
Shuai Zhang and
I{-}Ling Yen and
Farokh B. Bastani and
San{-}Yih Hwang},
title = {Monitoring Data Management Services on the Edge Using Enhanced TSDBs},
booktitle = {12th {IEEE} Conference on Service-Oriented Computing and Applications,
{SOCA} 2019, Kaohsiung, Taiwan, November 18-21, 2019},
pages = {9--16},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/SOCA.2019.00010},
doi = {10.1109/SOCA.2019.00010},
timestamp = {Fri, 17 Jan 2020 14:35:08 +0100},
biburl = {https://dblp.org/rec/conf/soca/Zeng0YBH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sose/Zeng0YB19,
author = {Wenxi Zeng and
Shuai Zhang and
I{-}Ling Yen and
Farokh B. Bastani},
title = {Invited Paper: Semantic IoT Data Description and Discovery in the
IoT-Edge-Fog-Cloud Infrastructure},
booktitle = {13th {IEEE} International Conference on Service-Oriented System Engineering,
{SOSE} 2019, San Francisco, CA, USA, April 4-9, 2019},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/SOSE.2019.00024},
doi = {10.1109/SOSE.2019.00024},
timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
biburl = {https://dblp.org/rec/conf/sose/Zeng0YB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1902-03533,
author = {Shuai Zhang and
Wenxi Zeng and
I{-}Ling Yen and
Farokh B. Bastani},
title = {Semantically Enhanced Time Series Databases in IoT-Edge-Cloud Infrastructure},
journal = {CoRR},
volume = {abs/1902.03533},
year = {2019},
url = {http://arxiv.org/abs/1902.03533},
eprinttype = {arXiv},
eprint = {1902.03533},
timestamp = {Tue, 21 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1902-03533.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/YuJBLY18,
author = {Yongjia Yu and
Vasu Jindal and
Farokh B. Bastani and
Fang Li and
I{-}Ling Yen},
editor = {Sorel Reisman and
Sheikh Iqbal Ahamed and
Claudio Demartini and
Thomas M. Conte and
Ling Liu and
William R. Claycomb and
Motonori Nakamura and
Edmundo Tovar and
Stelvio Cimato and
Chung{-}Horng Lung and
Hiroki Takakura and
Ji{-}Jiang Yang and
Toyokazu Akiyama and
Zhiyong Zhang and
Kamrul Hasan},
title = {Improving the Smartness of Cloud Management via Machine Learning Based
Workload Prediction},
booktitle = {2018 {IEEE} 42nd Annual Computer Software and Applications Conference,
{COMPSAC} 2018, Tokyo, Japan, 23-27 July 2018, Volume 2},
pages = {38--44},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/COMPSAC.2018.10200},
doi = {10.1109/COMPSAC.2018.10200},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/YuJBLY18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/SolankiHYBZ18,
author = {Nidhiben Solanki and
Yongtao Huang and
I{-}Ling Yen and
Farokh B. Bastani and
Yuqun Zhang},
editor = {Sorel Reisman and
Sheikh Iqbal Ahamed and
Claudio Demartini and
Thomas M. Conte and
Ling Liu and
William R. Claycomb and
Motonori Nakamura and
Edmundo Tovar and
Stelvio Cimato and
Chung{-}Horng Lung and
Hiroki Takakura and
Ji{-}Jiang Yang and
Toyokazu Akiyama and
Zhiyong Zhang and
Kamrul Hasan},
title = {Resource and Role Hierarchy Based Access Control for Resourceful Systems},
booktitle = {2018 {IEEE} 42nd Annual Computer Software and Applications Conference,
{COMPSAC} 2018, Tokyo, Japan, 23-27 July 2018, Volume 2},
pages = {480--486},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/COMPSAC.2018.10280},
doi = {10.1109/COMPSAC.2018.10280},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/SolankiHYBZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icws/BistaYBMM18,
author = {Himlun Bista and
I{-}Ling Yen and
Farokh B. Bastani and
Martin Mueller and
Darnell Moore},
title = {Semantic-Based Information Sharing in Vehicular Networks},
booktitle = {2018 {IEEE} International Conference on Web Services, {ICWS} 2018,
San Francisco, CA, USA, July 2-7, 2018},
pages = {282--289},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/ICWS.2018.00043},
doi = {10.1109/ICWS.2018.00043},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icws/BistaYBMM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iri/YenBSH18,
author = {I{-}Ling Yen and
Farokh B. Bastani and
Nidhiben Solanki and
Yongtao Huang},
title = {Trustworthy Computing in the Dynamic IoT Cloud},
booktitle = {2018 {IEEE} International Conference on Information Reuse and Integration,
{IRI} 2018, Salt Lake City, UT, USA, July 6-9, 2018},
pages = {411--418},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/IRI.2018.00067},
doi = {10.1109/IRI.2018.00067},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iri/YenBSH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sose/YenB0MHZ18,
author = {I{-}Ling Yen and
Farokh B. Bastani and
Wei Zhu and
Hessam Moeini and
San{-}Yih Hwang and
Yuqun Zhang},
title = {Service-Oriented IoT Modeling and Its Deviation from Software Services},
booktitle = {{IEEE} Symposium on Service-Oriented System Engineering, {SOSE} 2018,
Bamberg, Germany, March 26-29, 2018},
pages = {40--47},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/SOSE.2018.00014},
doi = {10.1109/SOSE.2018.00014},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sose/YenB0MHZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpads/MoeiniYB17,
author = {Hessam Moeini and
I{-}Ling Yen and
Farokh B. Bastani},
title = {Routing in IoT Network for Dynamic Service Discovery},
booktitle = {23rd {IEEE} International Conference on Parallel and Distributed Systems,
{ICPADS} 2017, Shenzhen, China, December 15-17, 2017},
pages = {360--367},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ICPADS.2017.00055},
doi = {10.1109/ICPADS.2017.00055},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icpads/MoeiniYB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icserv/YenBH0Z17,
author = {I{-}Ling Yen and
Farokh B. Bastani and
San{-}Yih Hwang and
Wei Zhu and
Guang Zhou},
editor = {Yoshinori Hara and
Dimitris Karagiannis},
title = {From Software Services to IoT Services: The Modeling Perspective},
booktitle = {Serviceology for Services - 5th International Conference, ICServ 2017,
Vienna, Austria, July 12-14, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10371},
pages = {215--223},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-61240-9\_20},
doi = {10.1007/978-3-319-61240-9\_20},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/icserv/YenBH0Z17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icws/MoeiniYB17,
author = {Hessam Moeini and
I{-}Ling Yen and
Farokh B. Bastani},
editor = {Ilkay Altintas and
Shiping Chen},
title = {Efficient Caching for Peer-to-Peer Service Discovery in Internet of
Things},
booktitle = {2017 {IEEE} International Conference on Web Services, {ICWS} 2017,
Honolulu, HI, USA, June 25-30, 2017},
pages = {196--203},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/ICWS.2017.33},
doi = {10.1109/ICWS.2017.33},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icws/MoeiniYB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icws/YenBHZY17,
author = {I{-}Ling Yen and
Farokh B. Bastani and
Yongtao Huang and
Yuqun Zhang and
Xin Yao},
editor = {Ilkay Altintas and
Shiping Chen},
title = {SaaS for Automated Job Performance Appraisals Using Service Technologies
and Big Data Analytics},
booktitle = {2017 {IEEE} International Conference on Web Services, {ICWS} 2017,
Honolulu, HI, USA, June 25-30, 2017},
pages = {412--419},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/ICWS.2017.47},
doi = {10.1109/ICWS.2017.47},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icws/YenBHZY17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icws/0002BYFZ17,
author = {Wei Zhu and
Farokh B. Bastani and
I{-}Ling Yen and
Jicheng Fu and
Yuqun Zhang},
editor = {Ilkay Altintas and
Shiping Chen},
title = {Automated Holistic Service Composition: Modeling and Composition Reasoning
Techniques},
booktitle = {2017 {IEEE} International Conference on Web Services, {ICWS} 2017,
Honolulu, HI, USA, June 25-30, 2017},
pages = {596--603},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/ICWS.2017.70},
doi = {10.1109/ICWS.2017.70},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icws/0002BYFZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semco/ZhangYBMM17,
author = {Shuai Zhang and
I{-}Ling Yen and
Farokh B. Bastani and
Hessam Moeini and
Darnell Moore},
title = {A Semantic Model for Information Sharing in Autonomous Vehicle Systems},
booktitle = {11th {IEEE} International Conference on Semantic Computing, {ICSC}
2017, San Diego, CA, USA, January 30 - February 1, 2017},
pages = {32--39},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ICSC.2017.93},
doi = {10.1109/ICSC.2017.93},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/semco/ZhangYBMM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sose/YenZBZ17,
author = {I{-}Ling Yen and
Shuai Zhang and
Farokh B. Bastani and
Yuqun Zhang},
title = {A Framework for IoT-Based Monitoring and Diagnosis of Manufacturing
Systems},
booktitle = {2017 {IEEE} Symposium on Service-Oriented System Engineering, {SOSE}
2017, San Francisco, CA, USA, April 6-9, 2017},
pages = {1--8},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/SOSE.2017.26},
doi = {10.1109/SOSE.2017.26},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sose/YenZBZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/FuJNBY16,
author = {Jicheng Fu and
Andres Calderon Jaramillo and
Vincent Ng and
Farokh B. Bastani and
I{-}Ling Yen},
title = {Fast strong planning for fully observable nondeterministic planning
problems},
journal = {Ann. Math. Artif. Intell.},
volume = {78},
number = {2},
pages = {131--155},
year = {2016},
url = {https://doi.org/10.1007/s10472-016-9517-7},
doi = {10.1007/S10472-016-9517-7},
timestamp = {Mon, 21 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/amai/FuJNBY16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsc/She0YBT16,
author = {Wei She and
Wei Zhu and
I{-}Ling Yen and
Farokh B. Bastani and
Bhavani Thuraisingham},
title = {Role-Based Integrated Access Control and Data Provenance for {SOA}
Based Net-Centric Systems},
journal = {{IEEE} Trans. Serv. Comput.},
volume = {9},
number = {6},
pages = {940--953},
year = {2016},
url = {https://doi.org/10.1109/TSC.2015.2432795},
doi = {10.1109/TSC.2015.2432795},
timestamp = {Wed, 29 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tsc/She0YBT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEcloud/YuJYB16,
author = {Yongjia Yu and
Vasu Jindal and
I{-}Ling Yen and
Farokh B. Bastani},
title = {Integrating Clustering and Learning for Improved Workload Prediction
in the Cloud},
booktitle = {9th {IEEE} International Conference on Cloud Computing, {CLOUD} 2016,
San Francisco, CA, USA, June 27 - July 2, 2016},
pages = {876--879},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/CLOUD.2016.0127},
doi = {10.1109/CLOUD.2016.0127},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/IEEEcloud/YuJYB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icip/ZhouYYB16,
author = {Guang Zhou and
Jinwei Yuan and
I{-}Ling Yen and
Farokh B. Bastani},
title = {Robust real-time {UAV} based power line detection and tracking},
booktitle = {2016 {IEEE} International Conference on Image Processing, {ICIP} 2016,
Phoenix, AZ, USA, September 25-28, 2016},
pages = {744--748},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/ICIP.2016.7532456},
doi = {10.1109/ICIP.2016.7532456},
timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
biburl = {https://dblp.org/rec/conf/icip/ZhouYYB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icws/SolankiZYBR16,
author = {Nidhiben Solanki and
Wei Zhu and
I{-}Ling Yen and
Farokh B. Bastani and
Elham Rezvani},
editor = {Stephan Reiff{-}Marganiec},
title = {Multi-tenant Access and Information Flow Control for SaaS},
booktitle = {{IEEE} International Conference on Web Services, {ICWS} 2016, San
Francisco, CA, USA, June 27 - July 2, 2016},
pages = {99--106},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/ICWS.2016.21},
doi = {10.1109/ICWS.2016.21},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icws/SolankiZYBR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iros/ZhouB0Y16,
author = {Guang Zhou and
Farokh B. Bastani and
Wei Zhu and
I{-}Ling Yen},
title = {A Self-Stabilizing Algorithm for the Foraging Problem in Swarm Robotic
Systems},
booktitle = {2016 {IEEE/RSJ} International Conference on Intelligent Robots and
Systems, {IROS} 2016, Daejeon, South Korea, October 9-14, 2016},
pages = {2907--2912},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/IROS.2016.7759450},
doi = {10.1109/IROS.2016.7759450},
timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
biburl = {https://dblp.org/rec/conf/iros/ZhouB0Y16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semco/ZhangYB16,
author = {Shuai Zhang and
I{-}Ling Yen and
Farokh B. Bastani},
title = {Toward Semantic Enhancement of Monitoring Data Repository},
booktitle = {Tenth {IEEE} International Conference on Semantic Computing, {ICSC}
2016, Laguna Hills, CA, USA, February 4-6, 2016},
pages = {140--147},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/ICSC.2016.68},
doi = {10.1109/ICSC.2016.68},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/semco/ZhangYB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sose/Yen0BHZ16,
author = {I{-}Ling Yen and
Wei Zhu and
Farokh B. Bastani and
Yongtao Huang and
Guang Zhou},
title = {Rapid Service Composition Reasoning for Agile Cyber Physical Systems},
booktitle = {2016 {IEEE} Symposium on Service-Oriented System Engineering, {SOSE}
2016, Oxford, United Kingdom, March 29 - April 2, 2016},
pages = {442--449},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/SOSE.2016.65},
doi = {10.1109/SOSE.2016.65},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sose/Yen0BHZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/SolankiHYBY15,
author = {Nidhiben Solanki and
Timothy Hoffman and
I{-}Ling Yen and
Farokh B. Bastani and
Stephen S. Yau},
editor = {Sheikh Iqbal Ahamed and
Carl K. Chang and
William C. Chu and
Ivica Crnkovic and
Pao{-}Ann Hsiung and
Gang Huang and
Jingwei Yang},
title = {An Access and Information Flow Control Paradigm for Secure Information
Sharing in Service-Based Systems},
booktitle = {39th {IEEE} Annual Computer Software and Applications Conference,
{COMPSAC} 2015, Taichung, Taiwan, July 1-5, 2015. Volume 1},
pages = {60--67},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/COMPSAC.2015.195},
doi = {10.1109/COMPSAC.2015.195},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/SolankiHYBY15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icws/0002ZYB15,
author = {Wei Zhu and
Guang Zhou and
I{-}Ling Yen and
Farokh B. Bastani},
editor = {John A. Miller and
Hong Zhu},
title = {A {PT-SOA} Model for CPS/IoT Services},
booktitle = {2015 {IEEE} International Conference on Web Services, {ICWS} 2015,
New York, NY, USA, June 27 - July 2, 2015},
pages = {647--654},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ICWS.2015.91},
doi = {10.1109/ICWS.2015.91},
timestamp = {Thu, 11 Apr 2024 20:25:44 +0200},
biburl = {https://dblp.org/rec/conf/icws/0002ZYB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icws/YenZ0BH15,
author = {I{-}Ling Yen and
Guang Zhou and
Wei Zhu and
Farokh B. Bastani and
San{-}Yih Hwang},
editor = {John A. Miller and
Hong Zhu},
title = {A Smart Physical World Based on Service Technologies, Big Data, and
Game-Based Crowd Sourcing},
booktitle = {2015 {IEEE} International Conference on Web Services, {ICWS} 2015,
New York, NY, USA, June 27 - July 2, 2015},
pages = {765--772},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ICWS.2015.111},
doi = {10.1109/ICWS.2015.111},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icws/YenZ0BH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isads/PatelJYBXG15,
author = {Jemishkumar Patel and
Vasu Jindal and
I{-}Ling Yen and
Farokh B. Bastani and
Jie Xu and
Peter Garraghan},
title = {Workload Estimation for Improving Resource Management Decisions in
the Cloud},
booktitle = {Twelfth {IEEE} International Symposium on Autonomous Decentralized
Systems, {ISADS} 2015, Taichung, Taiwan, March 25-27, 2015},
pages = {25--32},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ISADS.2015.17},
doi = {10.1109/ISADS.2015.17},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isads/PatelJYBXG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijait/JaramilloFNBY14,
author = {Andres Calderon Jaramillo and
Jicheng Fu and
Vincent Ng and
Farokh B. Bastani and
I{-}Ling Yen},
title = {Fast Strong Planning for {FOND} Problems with Multi-Root Directed
Acyclic Graphs},
journal = {Int. J. Artif. Intell. Tools},
volume = {23},
number = {6},
year = {2014},
url = {https://doi.org/10.1142/S0218213014600288},
doi = {10.1142/S0218213014600288},
timestamp = {Mon, 21 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijait/JaramilloFNBY14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icip/YuanB14,
author = {Jinwei Yuan and
Farokh B. Bastani},
title = {Robust object tracking via online informative feature selection},
booktitle = {2014 {IEEE} International Conference on Image Processing, {ICIP} 2014,
Paris, France, October 27-30, 2014},
pages = {471--475},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/ICIP.2014.7025094},
doi = {10.1109/ICIP.2014.7025094},
timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
biburl = {https://dblp.org/rec/conf/icip/YuanB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icip/YuanB14a,
author = {Jinwei Yuan and
Farokh B. Bastani},
title = {Online feature subset selection for object tracking},
booktitle = {2014 {IEEE} International Conference on Image Processing, {ICIP} 2014,
Paris, France, October 27-30, 2014},
pages = {3253--3257},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/ICIP.2014.7025658},
doi = {10.1109/ICIP.2014.7025658},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icip/YuanB14a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/grid/TuMXYBX13,
author = {Manghui Tu and
Hui Ma and
Liangliang Xiao and
I{-}Ling Yen and
Farokh B. Bastani and
Dianxiang Xu},
title = {Data Placement in {P2P} Data Grids Considering the Availability, Security,
Access Performance and Load Balancing},
journal = {J. Grid Comput.},
volume = {11},
number = {1},
pages = {103--127},
year = {2013},
url = {https://doi.org/10.1007/s10723-012-9232-5},
doi = {10.1007/S10723-012-9232-5},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/grid/TuMXYBX13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEcloud/YeXCYBC13,
author = {Yunqi Ye and
Liangliang Xiao and
Yinzi Chen and
I{-}Ling Yen and
Farokh B. Bastani and
Ing{-}Ray Chen},
title = {Access Protocols in Data Partitioning Based Cloud Storage},
booktitle = {2013 {IEEE} Sixth International Conference on Cloud Computing, Santa
Clara, CA, USA, June 28 - July 3, 2013},
pages = {398--405},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/CLOUD.2013.23},
doi = {10.1109/CLOUD.2013.23},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/IEEEcloud/YeXCYBC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icssi/ZhuHBY13,
author = {Wei Zhu and
Jian Huang and
Farokh B. Bastani and
I{-}Ling Yen},
title = {Multi-purpose Planning for Practical Web Service Composition Problems},
booktitle = {Fifth International Conference on Service Science and Innovation,
{ICSSI} 2013, 29-31 May, 2013, Kaohsiung, Taiwan},
pages = {131--138},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ICSSI.2013.34},
doi = {10.1109/ICSSI.2013.34},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icssi/ZhuHBY13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/FuJNBY13,
author = {Jicheng Fu and
Andres Calderon Jaramillo and
Vincent Ng and
Farokh B. Bastani and
I{-}Ling Yen},
title = {Fast Strong Planning for {FOND} Problems with Multi-root Directed
Acyclic Graphs},
booktitle = {25th {IEEE} International Conference on Tools with Artificial Intelligence,
{ICTAI} 2013, Herndon, VA, USA, November 4-6, 2013},
pages = {87--94},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ICTAI.2013.23},
doi = {10.1109/ICTAI.2013.23},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictai/FuJNBY13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eor/ShahKBY12,
author = {Nirav Shah and
Subodha Kumar and
Farokh B. Bastani and
I{-}Ling Yen},
title = {Optimization models for assessing the peak capacity utilization of
intelligent transportation systems},
journal = {Eur. J. Oper. Res.},
volume = {216},
number = {1},
pages = {239--251},
year = {2012},
url = {https://doi.org/10.1016/j.ejor.2011.07.032},
doi = {10.1016/J.EJOR.2011.07.032},
timestamp = {Thu, 06 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eor/ShahKBY12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cse/HuangZBYF12,
author = {Jian Huang and
Wei Zhu and
Farokh B. Bastani and
I{-}Ling Yen and
Jicheng Fu},
title = {Automated Exception Handling in Service Composition Using Holistic
Planning},
booktitle = {15th {IEEE} International Conference on Computational Science and
Engineering, {CSE} 2012, Paphos, Cyprus, December 5-7, 2012},
pages = {251--258},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICCSE.2012.42},
doi = {10.1109/ICCSE.2012.42},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cse/HuangZBYF12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/ZhangBYHBK12,
author = {Wenke Zhang and
Favyen Bastani and
I{-}Ling Yen and
Kevin Hulin and
Farokh B. Bastani and
Latifur Khan},
title = {Real-Time Anomaly Detection in Streams of Execution Traces},
booktitle = {14th International {IEEE} Symposium on High-Assurance Systems Engineering,
{HASE} 2012, Omaha, NE, USA, October 25-27, 2012},
pages = {32--39},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/HASE.2012.13},
doi = {10.1109/HASE.2012.13},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/ZhangBYHBK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/FuTNBY12,
author = {Jicheng Fu and
Sijie Tian and
Vincent Ng and
Farokh B. Bastani and
I{-}Ling Yen},
title = {Handling Planning Failures with Virtual Actions},
booktitle = {{IEEE} 24th International Conference on Tools with Artificial Intelligence,
{ICTAI} 2012, Athens, Greece, November 7-9, 2012},
pages = {468--475},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICTAI.2012.70},
doi = {10.1109/ICTAI.2012.70},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictai/FuTNBY12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/ZhouZBY12,
author = {Guang Zhou and
Yansheng Zhang and
Farokh B. Bastani and
I{-}Ling Yen},
editor = {Chunming Hu and
Gabor Karsai and
Jie Xu and
Andreas Polze and
Ji Wang and
Andy J. Wellings},
title = {Service-Oriented Robotic Swarm Systems: Model and Structuring Algorithms},
booktitle = {15th {IEEE} International Symposium on Object/Component/Service-Oriented
Real-Time Distributed Computing, {ISORC} 2012, Shenzhen, China, April
11-13, 2012},
pages = {95--102},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ISORC.2012.21},
doi = {10.1109/ISORC.2012.21},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isorc/ZhouZBY12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/XiaoBYP12,
author = {Liangliang Xiao and
Farokh B. Bastani and
I{-}Ling Yen and
Raymond A. Paul},
title = {Information Assurance for Real-Time Decision Support},
booktitle = {15th {IEEE} International Symposium on Object/Component/Service-Oriented
Real-Time Distributed Computing Workshops, {ISORC} Workshops 2012,
Shenzhen, China, April 11, 2012},
pages = {150--155},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ISORCW.2012.35},
doi = {10.1109/ISORCW.2012.35},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isorc/XiaoBYP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEcloud/YeXYB11,
author = {Yunqi Ye and
Liangliang Xiao and
I{-}Ling Yen and
Farokh B. Bastani},
editor = {Ling Liu and
Manish Parashar},
title = {Leveraging Service Clouds for Power and QoS Management for Mobile
Devices},
booktitle = {{IEEE} International Conference on Cloud Computing, {CLOUD} 2011,
Washington, DC, USA, 4-9 July, 2011},
pages = {235--242},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/CLOUD.2011.55},
doi = {10.1109/CLOUD.2011.55},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/IEEEcloud/YeXYB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/PeshaveBY11,
author = {Manasi Peshave and
Farokh B. Bastani and
I{-}Ling Yen},
editor = {Taghi M. Khoshgoftaar},
title = {High-Assurance Reconfigurable Multicore Processor Based Systems},
booktitle = {13th {IEEE} International Symposium on High-Assurance Systems Engineering,
{HASE} 2011, Boca Raton, FL, USA, November 10-12, 2011},
pages = {220--226},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/HASE.2011.33},
doi = {10.1109/HASE.2011.33},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/PeshaveBY11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/ShiaBY11,
author = {Angie Shia and
Farokh B. Bastani and
I{-}Ling Yen},
title = {{ROBUST} Path Strategy Evaluator},
booktitle = {{IEEE} 23rd International Conference on Tools with Artificial Intelligence,
{ICTAI} 2011, Boca Raton, FL, USA, November 7-9, 2011},
pages = {567--574},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICTAI.2011.91},
doi = {10.1109/ICTAI.2011.91},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictai/ShiaBY11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/FuNBY11,
author = {Jicheng Fu and
Vincent Ng and
Farokh B. Bastani and
I{-}Ling Yen},
editor = {Toby Walsh},
title = {Simple and Fast Strong Cyclic Planning for Fully-Observable Nondeterministic
Planning Problems},
booktitle = {{IJCAI} 2011, Proceedings of the 22nd International Joint Conference
on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22,
2011},
pages = {1949--1954},
publisher = {{IJCAI/AAAI}},
year = {2011},
url = {https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-326},
doi = {10.5591/978-1-57735-516-8/IJCAI11-326},
timestamp = {Mon, 21 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/FuNBY11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isads/ShiaBY11,
author = {Angie Shia and
Farokh B. Bastani and
I{-}Ling Yen},
title = {A Highly Resilient Framework for Autonomous Robotic Swarm Systems
Operating in Unknown, Hostile Environments},
booktitle = {10th International Symposium on Autonomous Decentralized Systems,
{ISADS} 2011, Tokyo {\&} Hiroshima, Japan, March 23-17, 2011},
pages = {147--153},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ISADS.2011.104},
doi = {10.1109/ISADS.2011.104},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isads/ShiaBY11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semco/FuHBY11,
author = {Jicheng Fu and
Wei Hao and
Farokh B. Bastani and
I{-}Ling Yen},
title = {Model-Driven Development: Where Does the Code Come From?},
booktitle = {Proceedings of the 5th {IEEE} International Conference on Semantic
Computing {(ICSC} 2011), Palo Alto, CA, USA, September 18-21, 2011},
pages = {255--262},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICSC.2011.76},
doi = {10.1109/ICSC.2011.76},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/semco/FuHBY11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sose/SheYBTT11,
author = {Wei She and
I{-}Ling Yen and
Farokh B. Bastani and
Bao N. Tran and
Bhavani Thuraisingham},
editor = {Jerry Zeyu Gao and
Xiaodong Lu and
Muhammad Younas and
Hong Zhu},
title = {Role-based integrated access control and data provenance for {SOA}
based net-centric systems},
booktitle = {{IEEE} 6th International Symposium on Service Oriented System Engineering,
{SOSE} 2011, Irvine, CA, USA, December 12-14, 2011},
pages = {225--234},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/SOSE.2011.6139111},
doi = {10.1109/SOSE.2011.6139111},
timestamp = {Wed, 21 Jun 2023 16:54:56 +0200},
biburl = {https://dblp.org/rec/conf/sose/SheYBTT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/soca/MoussaGYBJ10,
author = {Hachem Moussa and
Tong Gao and
I{-}Ling Yen and
Farokh B. Bastani and
Jun{-}Jang Jeng},
title = {Toward effective service composition for real-time SOA-based systems},
journal = {Serv. Oriented Comput. Appl.},
volume = {4},
number = {1},
pages = {17--31},
year = {2010},
url = {https://doi.org/10.1007/s11761-010-0057-4},
doi = {10.1007/S11761-010-0057-4},
timestamp = {Thu, 06 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/soca/MoussaGYBJ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/XiaoYYB10,
author = {Liangliang Xiao and
Yunqi Ye and
I{-}Ling Yen and
Farokh B. Bastani},
title = {Evaluation and Comparisons of Dependable Distributed Storage Designs
for Clouds},
booktitle = {12th {IEEE} High Assurance Systems Engineering Symposium, {HASE} 2010,
San Jose, CA, USA, November 3-4, 2010},
pages = {152--161},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/HASE.2010.22},
doi = {10.1109/HASE.2010.22},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/XiaoYYB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpads/XiaoYB10,
author = {Liangliang Xiao and
I{-}Ling Yen and
Farokh B. Bastani},
title = {Scalable Authentication and Key Management in {SCADA}},
booktitle = {16th {IEEE} International Conference on Parallel and Distributed Systems,
{ICPADS} 2010, Shanghai, China, December 8-10, 2010},
pages = {172--179},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/ICPADS.2010.66},
doi = {10.1109/ICPADS.2010.66},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icpads/XiaoYB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpads/YeXYB10,
author = {Yunqi Ye and
Liangliang Xiao and
I{-}Ling Yen and
Farokh B. Bastani},
title = {Cloud Storage Design Based on Hybrid of Replication and Data Partitioning},
booktitle = {16th {IEEE} International Conference on Parallel and Distributed Systems,
{ICPADS} 2010, Shanghai, China, December 8-10, 2010},
pages = {415--422},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/ICPADS.2010.112},
doi = {10.1109/ICPADS.2010.112},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icpads/YeXYB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semco/FuHYB10,
author = {Jicheng Fu and
Wei Hao and
I{-}Ling Yen and
Farokh B. Bastani},
title = {Using Virtual Services to Bridge the Semantic Gap},
booktitle = {Proceedings of the 4th {IEEE} International Conference on Semantic
Computing {(ICSC} 2010), September 22-24, 2010, Carnegie Mellon University,
Pittsburgh, PA, {USA}},
pages = {218--223},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/ICSC.2010.60},
doi = {10.1109/ICSC.2010.60},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/semco/FuHYB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/services/FuHTMBB10,
author = {Jicheng Fu and
Wei Hao and
Michael Tu and
Biao Ma and
Joshua Baldwin and
Farokh B. Bastani},
title = {Virtual Services in Cloud Computing},
booktitle = {6th World Congress on Services, {SERVICES} 2010, Miami, Florida, USA,
July 5-10, 2010},
pages = {467--472},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/SERVICES.2010.125},
doi = {10.1109/SERVICES.2010.125},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/services/FuHTMBB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/services/HuangZYCSBZD10,
author = {Jian Huang and
Yansheng Zhang and
I{-}Ling Yen and
John T. Carson and
Mike F. Siok and
Farokh B. Bastani and
Yajing Zhao and
Jing Dong},
title = {Real-Time Service-Oriented Distributed Governance},
booktitle = {6th World Congress on Services, {SERVICES} 2010, Miami, Florida, USA,
July 5-10, 2010},
pages = {479--484},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/SERVICES.2010.100},
doi = {10.1109/SERVICES.2010.100},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/services/HuangZYCSBZD10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sose/YeJXJYBCB10,
author = {Yunqi Ye and
Nisha Jain and
Longsheng Xia and
Suhas Joshi and
I{-}Ling Yen and
Farokh B. Bastani and
Kenneth L. Cureton and
Mark K. Bowler},
title = {A Framework for QoS and Power Management in a Service Cloud Environment
with Mobile Devices},
booktitle = {The Fifth {IEEE} International Symposium on Service-Oriented System
Engineering, {SOSE} 2010, June 4-5, 2010, Nanjing, China},
pages = {236--243},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/SOSE.2010.53},
doi = {10.1109/SOSE.2010.53},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sose/YeJXJYBCB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sose/HuangBYZ10,
author = {Jian Huang and
Farokh B. Bastani and
I{-}Ling Yen and
Wenke Zhang},
title = {A Framework for Efficient Service Composition in Cyber-Physical Systems},
booktitle = {The Fifth {IEEE} International Symposium on Service-Oriented System
Engineering, {SOSE} 2010, June 4-5, 2010, Nanjing, China},
pages = {291--298},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/SOSE.2010.46},
doi = {10.1109/SOSE.2010.46},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sose/HuangBYZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/srds/YeXYB10,
author = {Yunqi Ye and
Liangliang Xiao and
I{-}Ling Yen and
Farokh B. Bastani},
title = {Secure, Dependable, and High Performance Cloud Storage},
booktitle = {29th {IEEE} Symposium on Reliable Distributed Systems {(SRDS} 2010),
New Delhi, Punjab, India, October 31 - November 3, 2010},
pages = {194--203},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/SRDS.2010.30},
doi = {10.1109/SRDS.2010.30},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/srds/YeXYB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijsc/GhoshB09,
author = {Sumit Ghosh and
Farokh B. Bastani},
title = {Guest Editors' Introduction},
journal = {Int. J. Semantic Comput.},
volume = {3},
number = {1},
pages = {1--3},
year = {2009},
url = {https://doi.org/10.1142/S1793351X0900063X},
doi = {10.1142/S1793351X0900063X},
timestamp = {Fri, 03 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijsc/GhoshB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/HuangBYJ09,
author = {Jian Huang and
Farokh B. Bastani and
I{-}Ling Yen and
Jun{-}Jang Jeng},
editor = {Sheikh Iqbal Ahamed and
Elisa Bertino and
Carl K. Chang and
Vladimir Getov and
Lin Liu and
Ming Hua and
Rajesh Subramanyan},
title = {Toward a Smart Cyber-Physical Space: {A} Context-Sensitive Resource-Explicit
Service Model},
booktitle = {Proceedings of the 33rd Annual {IEEE} International Computer Software
and Applications Conference, {COMPSAC} 2009, Seattle, Washington,
USA, July 20-24, 2009. Volume 2},
pages = {122--127},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/COMPSAC.2009.125},
doi = {10.1109/COMPSAC.2009.125},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/HuangBYJ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/ZhangBY09,
author = {Yansheng Zhang and
Farokh B. Bastani and
I{-}Ling Yen},
title = {Decentralized Path Planner for Multi-robot Systems},
booktitle = {{ICTAI} 2009, 21st {IEEE} International Conference on Tools with Artificial
Intelligence, Newark, New Jersey, USA, 2-4 November 2009},
pages = {171--175},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ICTAI.2009.117},
doi = {10.1109/ICTAI.2009.117},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictai/ZhangBY09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isads/ZhangB09,
author = {Yansheng Zhang and
Farokh B. Bastani},
title = {Virtual-device framework for autonomous decentralized multi-robot
systems},
booktitle = {International Symposium on Autonomous Decentralized Systems {(ISADS}
2009), 23-25 March 2009, Athens, Greece},
pages = {73--80},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ISADS.2009.5207333},
doi = {10.1109/ISADS.2009.5207333},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isads/ZhangB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/ZhangYBTC09,
author = {Yansheng Zhang and
I{-}Ling Yen and
Farokh B. Bastani and
Ann T. Tai and
Savio N. Chau},
title = {Optimal Adaptive System Health Monitoring and Diagnosis for Resource
Constrained Cyber-Physical Systems},
booktitle = {{ISSRE} 2009, 20th International Symposium on Software Reliability
Engineering, Mysuru, Karnataka, India, 16-19 November 2009},
pages = {51--60},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ISSRE.2009.21},
doi = {10.1109/ISSRE.2009.21},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issre/ZhangYBTC09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semco/FuBYH09,
author = {Jicheng Fu and
Farokh B. Bastani and
I{-}Ling Yen and
Wei Hao},
title = {Using Service Patterns to Achieve Web Service Composition},
booktitle = {Proceedings of the 3rd {IEEE} International Conference on Semantic
Computing {(ICSC} 2009), 14-16 September 2009, Berkeley, CA, {USA}},
pages = {402--407},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ICSC.2009.106},
doi = {10.1109/ICSC.2009.106},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/semco/FuBYH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/soca/HuangBYDZWH09,
author = {Jian Huang and
Farokh B. Bastani and
I{-}Ling Yen and
Jing Dong and
Wenke Zhang and
Feng{-}Jian Wang and
Hwai{-}Jung Hsu},
title = {Extending service model to build an effective service composition
framework for cyber-physical systems},
booktitle = {{IEEE} International Conference on Service-Oriented Computing and
Applications, {SOCA} 2009, 14-15 December 2009, Taipei, Taiwan},
pages = {1--8},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/SOCA.2009.5410453},
doi = {10.1109/SOCA.2009.5410453},
timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
biburl = {https://dblp.org/rec/conf/soca/HuangBYDZWH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/YenMBM08,
author = {I{-}Ling Yen and
Hui Ma and
Farokh B. Bastani and
Hong Mei},
title = {QoS-Reconfigurable Web Services and Compositions for High-Assurance
Systems},
journal = {Computer},
volume = {41},
number = {8},
pages = {48--55},
year = {2008},
url = {https://doi.org/10.1109/MC.2008.305},
doi = {10.1109/MC.2008.305},
timestamp = {Tue, 09 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/YenMBM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijait/ChallagullaBYP08,
author = {Venkata U. B. Challagulla and
Farokh B. Bastani and
I{-}Ling Yen and
Raymond A. Paul},
title = {Empirical Assessment of Machine Learning Based Software Defect Prediction
Techniques},
journal = {Int. J. Artif. Intell. Tools},
volume = {17},
number = {2},
pages = {389--400},
year = {2008},
url = {https://doi.org/10.1142/S0218213008003947},
doi = {10.1142/S0218213008003947},
timestamp = {Tue, 12 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijait/ChallagullaBYP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/GaoMYBJ08,
author = {Tong Gao and
Hachem Moussa and
I{-}Ling Yen and
Farokh B. Bastani and
Jun{-}Jang Jeng},
title = {Service Composition for Real-Time Assurance},
booktitle = {Proceedings of the 32nd Annual {IEEE} International Computer Software
and Applications Conference, {COMPSAC} 2008, 28 July - 1 August 2008,
Turku, Finland},
pages = {1174--1179},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/COMPSAC.2008.183},
doi = {10.1109/COMPSAC.2008.183},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/GaoMYBJ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csiirw/XiaoYB08,
author = {Liangliang Xiao and
I{-}Ling Yen and
Farokh B. Bastani},
editor = {Frederick T. Sheldon and
Axel W. Krings and
Robert K. Abercrombie and
Ali Mili},
title = {Security in a peer-to-peer data grid storage system},
booktitle = {Proceedings of the 4th annual workshop on Cyber security and information
intelligence research - developing strategies to meet the cyber security
and information intelligence challenges ahead, {CSIIRW} '08, Oak Ridge,
Tennessee, USA, May 12-14, 2008},
pages = {28:1--28:3},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1413140.1413172},
doi = {10.1145/1413140.1413172},
timestamp = {Wed, 31 Jan 2024 20:36:02 +0100},
biburl = {https://dblp.org/rec/conf/csiirw/XiaoYB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/enc/PadillaGYBO08,
author = {Gerardo Padilla and
Tong Gao and
I{-}Ling Yen and
Farokh B. Bastani and
Carlos Montes de Oca},
editor = {Alexander F. Gelbukh and
Michel E. Adiba},
title = {An Early Reliability Assessment Model for Data-Flow Software Architectures},
booktitle = {Ninth Mexican International Conference on Computer Science, {ENC}
2008, 6-10 October 2008, Mexicali, Baja California, Mexico},
pages = {9--19},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ENC.2008.31},
doi = {10.1109/ENC.2008.31},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/enc/PadillaGYBO08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/XiaoYB08,
author = {Liangliang Xiao and
I{-}Ling Yen and
Farokh B. Bastani},
title = {Low Cost Secure Computation for the General Client-Server Computation
Model},
booktitle = {11th {IEEE} High Assurance Systems Engineering Symposium, {HASE} 2008,
Nanjing, China, December 3 - 5, 2008},
pages = {19--26},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/HASE.2008.31},
doi = {10.1109/HASE.2008.31},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/XiaoYB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/FuBY08,
author = {Jicheng Fu and
Farokh B. Bastani and
I{-}Ling Yen},
title = {Automated Discovery of Loop Invariants for High-Assurance Programs
Synthesized Using {AI} Planning Techniques},
booktitle = {11th {IEEE} High Assurance Systems Engineering Symposium, {HASE} 2008,
Nanjing, China, December 3 - 5, 2008},
pages = {333--342},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/HASE.2008.36},
doi = {10.1109/HASE.2008.36},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/FuBY08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/FuBNYZ08,
author = {Jicheng Fu and
Farokh B. Bastani and
Vincent Ng and
I{-}Ling Yen and
Yansheng Zhang},
title = {{FIP:} {A} Fast Planning-Graph-Based Iterative Planner},
booktitle = {20th {IEEE} International Conference on Tools with Artificial Intelligence
{(ICTAI} 2008), November 3-5, 2008, Dayton, Ohio, USA, Volume 1},
pages = {419--426},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ICTAI.2008.98},
doi = {10.1109/ICTAI.2008.98},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictai/FuBNYZ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/ZhangBYFC08,
author = {Yansheng Zhang and
Farokh B. Bastani and
I{-}Ling Yen and
Jicheng Fu and
Ing{-}Ray Chen},
title = {Availability Analysis of Robotic Swarm Systems},
booktitle = {14th {IEEE} Pacific Rim International Symposium on Dependable Computing,
{PRDC} 2008, 15-17 December 2008, Taipei, Taiwan},
pages = {331--338},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/PRDC.2008.37},
doi = {10.1109/PRDC.2008.37},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/prdc/ZhangBYFC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semco/PaulYBDTKGS08,
author = {Raymond A. Paul and
I{-}Ling Yen and
Farokh B. Bastani and
Jing Dong and
Wei{-}Tek Tsai and
Krishna M. Kavi and
Arif Ghafoor and
Jaideep Srivastava},
title = {An Ontology-Based Integrated Assessment Framework for High-Assurance
Systems},
booktitle = {Proceedings of the 2th {IEEE} International Conference on Semantic
Computing {(ICSC} 2008), August 4-7, 2008, Santa Clara, California,
{USA}},
pages = {386--393},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ICSC.2008.46},
doi = {10.1109/ICSC.2008.46},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/semco/PaulYBDTKGS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/services/HeYPDB08,
author = {Jiang He and
I{-}Ling Yen and
Tu Peng and
Jing Dong and
Farokh B. Bastani},
title = {An Adaptive User Interface Generation Framework for Web Services},
booktitle = {2008 {IEEE} World Congress on Services, {SERVICES} II, Beijing, China,
September 23-26, 2008},
pages = {175--182},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/SERVICES-2.2008.23},
doi = {10.1109/SERVICES-2.2008.23},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/services/HeYPDB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sutc/ShahKBY08,
author = {Nirav Shah and
Subodha Kumar and
Farokh B. Bastani and
I{-}Ling Yen},
editor = {Mukesh Singhal and
Giovanna Di Marzo Serugendo and
Jeffrey J. P. Tsai and
Wang{-}Chien Lee and
Kay R{\"{o}}mer and
Yu{-}Chee Tseng and
Han C. W. Hsiao},
title = {A Space-Time Network Optimization Model for Traffic Coordination and
Its Evaluation},
booktitle = {{IEEE} International Conference on Sensor Networks, Ubiquitous, and
Trustworthy Computing {(SUTC} 2008), 11-13 June 2008, Taichung, Taiwan},
pages = {177--184},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/SUTC.2008.18},
doi = {10.1109/SUTC.2008.18},
timestamp = {Thu, 06 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sutc/ShahKBY08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sqj/GuptaFBKY07,
author = {Manish Gupta and
Jicheng Fu and
Farokh B. Bastani and
Latifur Khan and
I{-}Ling Yen},
title = {Rapid goal-oriented automated software testing using MEA-graph planning},
journal = {Softw. Qual. J.},
volume = {15},
number = {3},
pages = {241--263},
year = {2007},
url = {https://doi.org/10.1007/s11219-007-9018-3},
doi = {10.1007/S11219-007-9018-3},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sqj/GuptaFBKY07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tkde/HeGHYB07,
author = {Jiang He and
Tong Gao and
Wei Hao and
I{-}Ling Yen and
Farokh B. Bastani},
title = {A Flexible Content Adaptation System Using a Rule-Based Approach},
journal = {{IEEE} Trans. Knowl. Data Eng.},
volume = {19},
number = {1},
pages = {127--140},
year = {2007},
url = {https://doi.org/10.1109/TKDE.2007.250590},
doi = {10.1109/TKDE.2007.250590},
timestamp = {Thu, 18 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tkde/HeGHYB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/ChallagullaBPTC07,
author = {Venkata U. B. Challagulla and
Farokh B. Bastani and
Raymond A. Paul and
Wei{-}Tek Tsai and
Yinong Chen},
title = {A Machine Learning-Based Reliability Assessment Model for Critical
Software Systems},
booktitle = {31st Annual International Computer Software and Applications Conference,
{COMPSAC} 2007, Beijing, China, July 24-27, 2007. Volume 1},
pages = {79--86},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/COMPSAC.2007.26},
doi = {10.1109/COMPSAC.2007.26},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/ChallagullaBPTC07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/FuBY07,
author = {Jicheng Fu and
Farokh B. Bastani and
I{-}Ling Yen},
title = {Iterative Planning in the Context of Automated Code Synthesis},
booktitle = {31st Annual International Computer Software and Applications Conference,
{COMPSAC} 2007, Beijing, China, July 24-27, 2007. Volume 1},
pages = {251--259},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/COMPSAC.2007.132},
doi = {10.1109/COMPSAC.2007.132},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/FuBY07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/euc/ZhangBY07,
author = {Yansheng Zhang and
Farokh B. Bastani and
I{-}Ling Yen},
editor = {Tei{-}Wei Kuo and
Edwin Hsing{-}Mean Sha and
Minyi Guo and
Laurence Tianruo Yang and
Zili Shao},
title = {Self-stabilizing Structure Forming Algorithms for Distributed Multi-robot
Systems},
booktitle = {Embedded and Ubiquitous Computing, International Conference, {EUC}
2007, Taipei, Taiwan, December 17-20, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4808},
pages = {754--766},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-77092-3\_65},
doi = {10.1007/978-3-540-77092-3\_65},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/conf/euc/ZhangBY07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/TuXMYB07,
author = {Manghui Tu and
Liangliang Xiao and
Hui Ma and
I{-}Ling Yen and
Farokh B. Bastani},
title = {Placement in Dependable and Secure Peer-to-Peer Data Grids},
booktitle = {Tenth {IEEE} International Symposium on High Assurance Systems Engineering
{(HASE} 2007), November 14-16, 2007, Dallas, Texas, {USA}},
pages = {133--140},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/HASE.2007.51},
doi = {10.1109/HASE.2007.51},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/TuXMYB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itsc/ShahKBY07,
author = {Nirav Shah and
Subodha Kumar and
Farokh B. Bastani and
I{-}Ling Yen},
title = {An Optimization Model for Rigorously Assessing Efficient Heuristics
for Traffic Coordination at Intersections},
booktitle = {{IEEE} Intelligent Transportation Systems Conference, {ITSC} 2007,
Seattle, WA, USA, 30 September-3 October 2007},
pages = {12--17},
publisher = {{IEEE}},
year = {2007},
url = {https://doi.org/10.1109/ITSC.2007.4357642},
doi = {10.1109/ITSC.2007.4357642},
timestamp = {Thu, 06 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/itsc/ShahKBY07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/monterey/FuBY07,
author = {Jicheng Fu and
Farokh B. Bastani and
I{-}Ling Yen},
editor = {Barbara Paech and
Craig H. Martell},
title = {Model-Driven Prototyping Based Requirements Elicitation},
booktitle = {Innovations for Requirement Analysis. From Stakeholders' Needs to
Formal Designs, 14th Monterey Workshop 2007, Monterey, CA, USA, September
10-13, 2007. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5320},
pages = {43--61},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-89778-1\_7},
doi = {10.1007/978-3-540-89778-1\_7},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/monterey/FuBY07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdpta/XiaoYZB07,
author = {Liangliang Xiao and
I{-}Ling Yen and
Yanjin Zhang and
Farokh B. Bastani},
editor = {Hamid R. Arabnia},
title = {Evaluating Dependable Distributed Storage Systems},
booktitle = {Proceedings of the International Conference on Parallel and Distributed
Processing Techniques and Applications, {PDPTA} 2007, Las Vegas, Nevada,
USA, June 25-28, 2007, Volume 2},
pages = {948--954},
publisher = {{CSREA} Press},
year = {2007},
timestamp = {Wed, 12 Dec 2007 09:04:34 +0100},
biburl = {https://dblp.org/rec/conf/pdpta/XiaoYZB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijseke/GaoMYKB06,
author = {Tong Gao and
Hui Ma and
I{-}Ling Yen and
Latifur Khan and
Farokh B. Bastani},
title = {A Repository for Component-based Embedded Software Development},
journal = {Int. J. Softw. Eng. Knowl. Eng.},
volume = {16},
number = {4},
pages = {523--552},
year = {2006},
url = {https://doi.org/10.1142/S0218194006002872},
doi = {10.1142/S0218194006002872},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijseke/GaoMYKB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tkde/TuLXYB06,
author = {Manghui Tu and
Peng Li and
Liangliang Xiao and
I{-}Ling Yen and
Farokh B. Bastani},
title = {Replica Placement Algorithms for Mobile Transaction Systems},
journal = {{IEEE} Trans. Knowl. Data Eng.},
volume = {18},
number = {7},
pages = {954--970},
year = {2006},
url = {https://doi.org/10.1109/TKDE.2006.114},
doi = {10.1109/TKDE.2006.114},
timestamp = {Wed, 22 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tkde/TuLXYB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/www/HaoFHYBC06,
author = {Wei Hao and
Jicheng Fu and
Jiang He and
I{-}Ling Yen and
Farokh B. Bastani and
Ing{-}Ray Chen},
title = {Extending Proxy Caching Capability: Issues and Performance},
journal = {World Wide Web},
volume = {9},
number = {3},
pages = {253--275},
year = {2006},
url = {https://doi.org/10.1007/s11280-006-8556-0},
doi = {10.1007/S11280-006-8556-0},
timestamp = {Thu, 18 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/www/HaoFHYBC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/enc/PadillaBOS06,
author = {Gerardo Padilla and
Farokh B. Bastani and
Carlos Montes de Oca and
Miguel A. Serrano},
title = {Instantiation Semantics for Message Sequence Charts},
booktitle = {Seventh Mexican International Conference on Computer Science, {ENC}
2006, 18-22 September 2006, San Luis Potosi, Mexico},
pages = {191--199},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/ENC.2006.19},
doi = {10.1109/ENC.2006.19},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/enc/PadillaBOS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/ChallagullaBY06,
author = {Venkata U. B. Challagulla and
Farokh B. Bastani and
I{-}Ling Yen},
title = {A Unified Framework for Defect Data Analysis Using the {MBR} Technique},
booktitle = {18th {IEEE} International Conference on Tools with Artificial Intelligence
{(ICTAI} 2006), 13-15 November 2006, Arlington, VA, {USA}},
pages = {39--46},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/ICTAI.2006.23},
doi = {10.1109/ICTAI.2006.23},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictai/ChallagullaBY06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/ZhangFYBTCVF06,
author = {Yansheng Zhang and
Jicheng Fu and
I{-}Ling Yen and
Farokh B. Bastani and
Ann T. Tai and
Savio N. Chau and
Farrokh Vatan and
Amir Fijany},
title = {QoS Adaptive {ISHM} Systems},
booktitle = {18th {IEEE} International Conference on Tools with Artificial Intelligence
{(ICTAI} 2006), 13-15 November 2006, Arlington, VA, {USA}},
pages = {47--54},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/ICTAI.2006.99},
doi = {10.1109/ICTAI.2006.99},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictai/ZhangFYBTCVF06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/FuBY06,
author = {Jicheng Fu and
Farokh B. Bastani and
I{-}Ling Yen},
title = {Automated {AI} Planning and Code Pattern Based Code Synthesis},
booktitle = {18th {IEEE} International Conference on Tools with Artificial Intelligence
{(ICTAI} 2006), 13-15 November 2006, Arlington, VA, {USA}},
pages = {540--546},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/ICTAI.2006.37},
doi = {10.1109/ICTAI.2006.37},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictai/FuBY06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/LiuFZBYTC06,
author = {Jian Liu and
Jicheng Fu and
Yansheng Zhang and
Farokh B. Bastani and
I{-}Ling Yen and
Ann T. Tai and
Savio N. Chau},
title = {Deductive Glue Code Synthesis for Embedded Software Systems Based
on Code Patterns},
booktitle = {Ninth {IEEE} International Symposium on Object-Oriented Real-Time
Distributed Computing {(ISORC} 2006), 24-26 April 2006, Gyeongju,
Korea},
pages = {109--116},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/ISORC.2006.25},
doi = {10.1109/ISORC.2006.25},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isorc/LiuFZBYTC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sose/TsaiMCB06,
author = {Wei{-}Tek Tsai and
Miroslaw Malek and
Yinong Chen and
Farokh B. Bastani},
editor = {Elisabetta Di Nitto and
Robert J. Hall and
Jun Han and
Yanbo Han and
Andrea Polini and
Kurt Sandkuhl and
Andrea Zisman},
title = {Perspectives on Service-Oriented Computing and Service-Oriented System
Engineering},
booktitle = {The 2006 International Workshop on Service Oriented Software Engineering
{(IW-SOSE} '06), May 27-28, 2006, Shanghai, China, in conjunction
with {ICSE} 2006},
pages = {3--10},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/SOSE.2006.24},
doi = {10.1109/SOSE.2006.24},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sose/TsaiMCB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sutc/ShahBY06,
author = {Nirav Shah and
Farokh B. Bastani and
I{-}Ling Yen},
title = {A Real-Time Scheduling Based Framework for Traffic Coordination Systems},
booktitle = {{IEEE} International Conference on Sensor Networks, Ubiquitous, and
Trustworthy Computing {(SUTC} 2006), 5-7 June 2006, Taichung, Taiwan},
pages = {321--325},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.ieeecomputersociety.org/10.1109/SUTC.2006.14},
doi = {10.1109/SUTC.2006.14},
timestamp = {Thu, 06 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sutc/ShahBY06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/kais/GuptaTKBY05,
author = {Manish Gupta and
Manghui Tu and
Latifur Khan and
Farokh B. Bastani and
I{-}Ling Yen},
title = {A study of the model and algorithms for handling location-dependent
continuous queries},
journal = {Knowl. Inf. Syst.},
volume = {8},
number = {4},
pages = {414--437},
year = {2005},
url = {https://doi.org/10.1007/s10115-005-0196-7},
doi = {10.1007/S10115-005-0196-7},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/kais/GuptaTKBY05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/WangBY05,
author = {Dongfeng Wang and
Farokh B. Bastani and
I{-}Ling Yen},
title = {Automated Aspect-Oriented Decomposition of Process-Control Systems
for Ultra-High Dependability Assurance},
journal = {{IEEE} Trans. Software Eng.},
volume = {31},
number = {9},
pages = {713--732},
year = {2005},
url = {https://doi.org/10.1109/TSE.2005.99},
doi = {10.1109/TSE.2005.99},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/WangBY05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpads/MaXYTB05,
author = {Qingkai Ma and
Liangliang Xiao and
I{-}Ling Yen and
Manghui Tu and
Farokh B. Bastani},
title = {An Adaptive Multiparty Protocol for Secure Data Protection},
booktitle = {11th International Conference on Parallel and Distributed Systems,
{ICPADS} 2005, Fuduoka, Japan, July 20-22, 2005},
pages = {43--49},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/ICPADS.2005.69},
doi = {10.1109/ICPADS.2005.69},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icpads/MaXYTB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/LiHMYBP05,
author = {Wei Li and
Jiang He and
Qingkai Ma and
I{-}Ling Yen and
Farokh B. Bastani and
Raymond A. Paul},
title = {A Framework to Support Survivable Web Services},
booktitle = {19th International Parallel and Distributed Processing Symposium {(IPDPS}
2005), {CD-ROM} / Abstracts Proceedings, 4-8 April 2005, Denver, CO,
{USA}},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/IPDPS.2005.27},
doi = {10.1109/IPDPS.2005.27},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ipps/LiHMYBP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/TuLMYB05,
author = {Manghui Tu and
Peng Li and
Qingkai Ma and
I{-}Ling Yen and
Farokh B. Bastani},
title = {On the Optimal Placement of Secure Data Objects over Internet},
booktitle = {19th International Parallel and Distributed Processing Symposium {(IPDPS}
2005), {CD-ROM} / Abstracts Proceedings, 4-8 April 2005, Denver, CO,
{USA}},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/IPDPS.2005.306},
doi = {10.1109/IPDPS.2005.306},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ipps/TuLMYB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/WangBYP05,
author = {Dongfeng Wang and
Farokh B. Bastani and
I{-}Ling Yen and
Raymond A. Paul},
title = {An Approach for Designing Highly Adaptable Process-Control Systems},
booktitle = {Eighth {IEEE} International Symposium on Object-Oriented Real-Time
Distributed Computing {(ISORC} 2005), 18-20 May 2005, Seattle, WA,
{USA}},
pages = {106--113},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/ISORC.2005.10},
doi = {10.1109/ISORC.2005.10},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isorc/WangBYP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtas/MaWBYC05,
author = {Hui Ma and
Dongfeng Wang and
Farokh B. Bastani and
I{-}Ling Yen and
Kendra M. L. Cooper},
title = {A Model and Methodology for Composition QoS Analysis of Embedded Systems},
booktitle = {11th {IEEE} Real-Time and Embedded Technology and Applications Symposium
{(RTAS} 2005), 7-10 March 2005, San Francisco, CA, {USA}},
pages = {56--65},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/RTAS.2005.2},
doi = {10.1109/RTAS.2005.2},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtas/MaWBYC05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/GaoCMYB05,
author = {Tong Gao and
Kendra M. L. Cooper and
Hui Ma and
I{-}Ling Yen and
Farokh B. Bastani},
editor = {William C. Chu and
Natalia Juristo Juzgado and
W. Eric Wong},
title = {An Object-Oriented Modeling Learning Support System With Inspection
Comments},
booktitle = {Proceedings of the 17th International Conference on Software Engineering
and Knowledge Engineering (SEKE'2005), Taipei, Taiwan, Republic of
China, July 14-16, 2005},
pages = {211--216},
year = {2005},
timestamp = {Thu, 12 Mar 2020 11:30:49 +0100},
biburl = {https://dblp.org/rec/conf/seke/GaoCMYB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/GaoCMYB05a,
author = {Tong Gao and
Kendra M. L. Cooper and
Hui Ma and
I{-}Ling Yen and
Farokh B. Bastani},
editor = {William C. Chu and
Natalia Juristo Juzgado and
W. Eric Wong},
title = {Toward a {UML} Profile to Support Component-Based Distributed Adaptive
Systems},
booktitle = {Proceedings of the 17th International Conference on Software Engineering
and Knowledge Engineering (SEKE'2005), Taipei, Taiwan, Republic of
China, July 14-16, 2005},
pages = {217--222},
year = {2005},
timestamp = {Thu, 22 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/seke/GaoCMYB05a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/LiuBY05,
author = {Jian Liu and
Farokh B. Bastani and
I{-}Ling Yen},
editor = {William C. Chu and
Natalia Juristo Juzgado and
W. Eric Wong},
title = {A Formal Foundation of Code Pattern Based Development},
booktitle = {Proceedings of the 17th International Conference on Software Engineering
and Knowledge Engineering (SEKE'2005), Taipei, Taiwan, Republic of
China, July 14-16, 2005},
pages = {274--279},
year = {2005},
timestamp = {Thu, 01 Mar 2007 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/seke/LiuBY05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serp/LiuBY05,
author = {Jian Liu and
Farokh B. Bastani and
I{-}Ling Yen},
editor = {Hamid R. Arabnia and
Hassan Reza},
title = {Meta Code Pattern and Its Refinement},
booktitle = {Proceedings of the International Conference on Software Engineering
Research and Practice, {SERP} 2005, Las Vegas, Nevada, USA, June 27-29,
2005, Volume 2},
pages = {504--510},
publisher = {{CSREA} Press},
year = {2005},
timestamp = {Tue, 31 Jan 2006 11:58:14 +0100},
biburl = {https://dblp.org/rec/conf/serp/LiuBY05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sose/GaoMYBT05,
author = {Tong Gao and
Hui Ma and
I{-}Ling Yen and
Farokh B. Bastani and
Wei{-}Tek Tsai},
title = {Toward QoS analysis of adaptive service-oriented architecture},
booktitle = {2005 {IEEE} International Workshop on Service-Oriented System Engineering
{(SOSE} 2005), 20-21 October 2005, Beijing, China},
pages = {219--226},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/SOSE.2005.37},
doi = {10.1109/SOSE.2005.37},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sose/GaoMYBT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/words/ChallagullaBYP05,
author = {Venkata U. B. Challagulla and
Farokh B. Bastani and
I{-}Ling Yen and
Raymond A. Paul},
title = {Empirical Assessment of Machine Learning based Software Defect Prediction
Techniques},
booktitle = {10th {IEEE} International Workshop on Object-Oriented Real-Time Dependable
Systems {(WORDS} 2005), 2-4 February 2005, Sedona, AZ, {USA}},
pages = {263--270},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/WORDS.2005.32},
doi = {10.1109/WORDS.2005.32},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/words/ChallagullaBYP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bioinformatics/LuoKBYZ04,
author = {Feng Luo and
Latifur Khan and
Farokh B. Bastani and
I{-}Ling Yen and
Jizhong Zhou},
title = {A dynamically growing self-organizing tree {(DGSOT)} for hierarchical
clustering gene expression profiles},
journal = {Bioinform.},
volume = {20},
number = {16},
pages = {2605--2617},
year = {2004},
url = {https://doi.org/10.1093/bioinformatics/bth292},
doi = {10.1093/BIOINFORMATICS/BTH292},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bioinformatics/LuoKBYZ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijseke/WangBY04,
author = {Dongfeng Wang and
Farokh B. Bastani and
I{-}Ling Yen},
title = {A Systematic Design Method For High Quality Process-Control Systems
Development},
journal = {Int. J. Softw. Eng. Knowl. Eng.},
volume = {14},
number = {1},
pages = {43--59},
year = {2004},
url = {https://doi.org/10.1142/S0218194004001555},
doi = {10.1142/S0218194004001555},
timestamp = {Wed, 22 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijseke/WangBY04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/KimBYC04,
author = {Sung Kim and
Farokh B. Bastani and
I{-}Ling Yen and
Ing{-}Ray Chen},
title = {Systematic Reliability Analysis of a Class of Application-Specific
Embedded Software Frameworks},
journal = {{IEEE} Trans. Software Eng.},
volume = {30},
number = {4},
pages = {218--230},
year = {2004},
url = {https://doi.org/10.1109/TSE.2004.1274042},
doi = {10.1109/TSE.2004.1274042},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/KimBYC04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/WangMBY04,
author = {Dongfeng Wang and
Hui Ma and
Farokh B. Bastani and
I{-}Ling Yen},
title = {Decomposition of Fairness and Performance Aspects for High-Assurance
Continuous Process-Control Systems},
booktitle = {8th {IEEE} International Symposium on High-Assurance Systems Engineering
{(HASE} 2004), 25-26 March 2004, Tampa, FL, {USA}},
pages = {3--11},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/HASE.2004.1281725},
doi = {10.1109/HASE.2004.1281725},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/WangMBY04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/MaHYB04,
author = {Qingkai Ma and
Wei Hao and
I{-}Ling Yen and
Farokh B. Bastani},
title = {Multiparty Computation with Full Computation Power and Reduced Overhead},
booktitle = {8th {IEEE} International Symposium on High-Assurance Systems Engineering
{(HASE} 2004), 25-26 March 2004, Tampa, FL, {USA}},
pages = {241--248},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/HASE.2004.1281748},
doi = {10.1109/HASE.2004.1281748},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/MaHYB04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/GuptaBKY04,
author = {Manish Gupta and
Farokh B. Bastani and
Latifur Khan and
I{-}Ling Yen},
title = {Automated Test Data Generation Using MEA-Graph Planning},
booktitle = {16th {IEEE} International Conference on Tools with Artificial Intelligence
{(ICTAI} 2004), 15-17 November 2004, Boca Raton, FL, {USA}},
pages = {174--182},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/ICTAI.2004.35},
doi = {10.1109/ICTAI.2004.35},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictai/GuptaBKY04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/AwadKBY04,
author = {Mamoun Awad and
Latifur Khan and
Farokh B. Bastani and
I{-}Ling Yen},
title = {An Effective Support Vector Machines (SVMs) Performance Using Hierarchical
Clustering},
booktitle = {16th {IEEE} International Conference on Tools with Artificial Intelligence
{(ICTAI} 2004), 15-17 November 2004, Boca Raton, FL, {USA}},
pages = {663--667},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/ICTAI.2004.26},
doi = {10.1109/ICTAI.2004.26},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictai/AwadKBY04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/MaLYBC04,
author = {Qingkai Ma and
Wei Li and
I{-}Ling Yen and
Farokh B. Bastani and
Ing{-}Ray Chen},
title = {Survivable Systems Based on an Adaptive {NMR} Algorithm},
booktitle = {18th International Parallel and Distributed Processing Symposium {(IPDPS}
2004), {CD-ROM} / Abstracts Proceedings, 26-30 April 2004, Santa Fe,
New Mexico, {USA}},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/IPDPS.2004.1302997},
doi = {10.1109/IPDPS.2004.1302997},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ipps/MaLYBC04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/ShengB04,
author = {Bo Sheng and
Farokh B. Bastani},
title = {Secure and Reliable Decentralized Peer-to-Peer Web Cache},
booktitle = {18th International Parallel and Distributed Processing Symposium {(IPDPS}
2004), {CD-ROM} / Abstracts Proceedings, 26-30 April 2004, Santa Fe,
New Mexico, {USA}},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/IPDPS.2004.1302976},
doi = {10.1109/IPDPS.2004.1302976},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ipps/ShengB04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ersa/CooperZMYB03,
author = {Kendra M. L. Cooper and
Jia Zhou and
Hui Ma and
I{-}Ling Yen and
Farokh B. Bastani},
editor = {Toomas P. Plaks},
title = {Code Parameterization for Satisfaction of QoS Requirements in Embedded
Software},
booktitle = {Proceedings of the International Conference on Engineering of Reconfigurable
Systems and Algorithms, June 23 - 26, 2003, Las Vegas, Nevada, {USA}},
pages = {58--64},
publisher = {{CSREA} Press},
year = {2003},
timestamp = {Thu, 22 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ersa/CooperZMYB03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/KimBYC03,
author = {Sung Kim and
Farokh B. Bastani and
I{-}Ling Yen and
Ing{-}Ray Chen},
title = {High-Assurance Synthesis of Security Services from Basic Microservices},
booktitle = {14th International Symposium on Software Reliability Engineering {(ISSRE}
2003), 17-20 November 2003, Denver, CO, {USA}},
pages = {154--168},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/ISSRE.2003.1251039},
doi = {10.1109/ISSRE.2003.1251039},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issre/KimBYC03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/MaYBC03,
author = {Hui Ma and
I{-}Ling Yen and
Farokh B. Bastani and
Kendra M. L. Cooper},
title = {Composition Analysis of QoS Properties for Adaptive Integration of
Embedded Software Components},
booktitle = {14th International Symposium on Software Reliability Engineering {(ISSRE}
2003), 17-20 November 2003, Denver, CO, {USA}},
pages = {383--393},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/ISSRE.2003.1251060},
doi = {10.1109/ISSRE.2003.1251060},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issre/MaYBC03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/WangBY03,
author = {Dongfeng Wang and
Farokh B. Bastani and
I{-}Ling Yen},
title = {Relational Program Architecture for High Quality Software Development},
booktitle = {Proceedings of the Fifteenth International Conference on Software
Engineering {\&} Knowledge Engineering (SEKE'2003), Hotel Sofitel,
San Francisco Bay, CA, USA, July 1-3, 2003},
pages = {346--353},
year = {2003},
timestamp = {Fri, 18 Feb 2005 13:16:38 +0100},
biburl = {https://dblp.org/rec/conf/seke/WangBY03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/WangBY03a,
author = {Dongfeng Wang and
Farokh B. Bastani and
I{-}Ling Yen},
title = {Automated Software Design of Process-Control Systems},
booktitle = {Proceedings of the Fifteenth International Conference on Software
Engineering {\&} Knowledge Engineering (SEKE'2003), Hotel Sofitel,
San Francisco Bay, CA, USA, July 1-3, 2003},
pages = {467--474},
year = {2003},
timestamp = {Fri, 18 Feb 2005 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/seke/WangBY03a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijseke/DengB02,
author = {Yi Deng and
Farokh B. Bastani},
title = {Guest Editors' Introduction: Special Issue on Embedded Software Engineering},
journal = {Int. J. Softw. Eng. Knowl. Eng.},
volume = {12},
number = {2},
pages = {103--105},
year = {2002},
url = {https://doi.org/10.1142/S0218194002000822},
doi = {10.1142/S0218194002000822},
timestamp = {Wed, 22 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijseke/DengB02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/YenBMML02,
author = {I{-}Ling Yen and
Farokh B. Bastani and
Fiaz Mohamed and
Hui Ma and
John Linn},
title = {Application of {AI} Planning Techniques to Automated Code Synthesis
and Testing},
booktitle = {14th {IEEE} International Conference on Tools with Artificial Intelligence
{(ICTAI} 2002), 4-6 November 2002, Washington, DC, {USA}},
pages = {131--137},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/TAI.2002.1180797},
doi = {10.1109/TAI.2002.1180797},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictai/YenBMML02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/PaulBCY02,
author = {Raymond A. Paul and
Farokh B. Bastani and
Venkata U. B. Challagulla and
I{-}Ling Yen},
title = {Software Measurement Data Analysis Using Memory-Based Reasoning},
booktitle = {14th {IEEE} International Conference on Tools with Artificial Intelligence
{(ICTAI} 2002), 4-6 November 2002, Washington, DC, {USA}},
pages = {261--267},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/TAI.2002.1180813},
doi = {10.1109/TAI.2002.1180813},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictai/PaulBCY02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/BastaniKYC02,
author = {Farokh B. Bastani and
Sung Kim and
I{-}Ling Yen and
Ing{-}Ray Chen},
title = {An Architecture-Based Comparison of Verification and Statistical Reliability
Assessment Methods for Embedded Software Systems},
booktitle = {5th International Symposiun on Object Oriented Real-Time Distributed
Computing, {ISORC} 2002, Washington, DC, USA, April 29 - May 1, 2002},
pages = {177--180},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/ISORC.2002.1003691},
doi = {10.1109/ISORC.2002.1003691},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isorc/BastaniKYC02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/YenGBKL02,
author = {I{-}Ling Yen and
Jayabharath Goluguri and
Farokh B. Bastani and
Latifur Khan and
John Linn},
title = {A Component-Based Approach for Embedded Software Development},
booktitle = {5th International Symposiun on Object Oriented Real-Time Distributed
Computing, {ISORC} 2002, Washington, DC, USA, April 29 - May 1, 2002},
pages = {402--412},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/ISORC.2002.1003805},
doi = {10.1109/ISORC.2002.1003805},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isorc/YenGBKL02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/BastaniKYC02,
author = {Farokh B. Bastani and
Sung Kim and
I{-}Ling Yen and
Ing{-}Ray Chen},
title = {Reliability Assessment of Framework-Based Distributed Embedded Software
Systems},
booktitle = {13th International Symposium on Software Reliability Engineering {(ISSRE}
2002), 12-15 November 2002, Annapolis, MD, {USA}},
pages = {367--376},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/ISSRE.2002.1173291},
doi = {10.1109/ISSRE.2002.1173291},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issre/BastaniKYC02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/YenBT01,
author = {I{-}Ling Yen and
Farokh B. Bastani and
David J. Taylor},
title = {Design of Multi-Invariant Data Structures for Robust Shared Accesses
in Multiprocessor Systems},
journal = {{IEEE} Trans. Software Eng.},
volume = {27},
number = {3},
pages = {193--207},
year = {2001},
url = {https://doi.org/10.1109/32.910857},
doi = {10.1109/32.910857},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/YenBT01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/PaulCBY01,
author = {Raymond A. Paul and
Venkata U. B. Challagulla and
Farokh B. Bastani and
I{-}Ling Yen},
title = {A Memory-Based Reasoning Approach for Assessing Software Quality},
booktitle = {25th International Computer Software and Applications Conference {(COMPSAC}
2001), Invigorating Software Development, 8-12 October 2001, Chicago,
IL, {USA}},
pages = {97--103},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/CMPSAC.2001.960603},
doi = {10.1109/CMPSAC.2001.960603},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/PaulCBY01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/BastaniYK01,
author = {Farokh B. Bastani and
I{-}Ling Yen and
Sung Kim},
title = {Highly Reliable Relational Control Programs for Robust Rapid Transit
Systems},
booktitle = {6th {IEEE} International Symposium on High-Assurance Systems Engineering
{(HASE} 2001), Special Topic: Impact of Networking, 24-26 October
2001, Albuquerque, NM, USA, Proceedings},
pages = {65--74},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/HASE.2001.966808},
doi = {10.1109/HASE.2001.966808},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/BastaniYK01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/YenKPBL01,
author = {I{-}Ling Yen and
Latifur Khan and
Balakrishnan Prabhakaran and
Farokh B. Bastani and
John Linn},
title = {An On-Line Repository for Embedded Software},
booktitle = {13th {IEEE} International Conference on Tools with Artificial Intelligence,
{ICTAI} 2001, Dallas, Texas, USA, November 7-9, 2001},
pages = {314},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/ICTAI.2001.974479},
doi = {10.1109/ICTAI.2001.974479},
timestamp = {Mon, 22 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ictai/YenKPBL01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/BastaniYSLR01,
author = {Farokh B. Bastani and
I{-}Ling Yen and
Sung Kim and
John Linn and
Kashi Rao},
title = {Reliability of Systems of Independently Developable End-User Assessable
Logical {(IDEAL)} Programs},
booktitle = {12th International Symposium on Software Reliability Engineering {(ISSRE}
2001), 27-30 November 2001, Hong Kong, China},
pages = {314--323},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/ISSRE.2001.989485},
doi = {10.1109/ISSRE.2001.989485},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issre/BastaniYSLR01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/srds/Bastani01,
author = {Farokh B. Bastani},
title = {High-Quality Customizable Embedded Software from {COTS} Components},
booktitle = {20th Symposium on Reliable Distributed Systems {(SRDS} 2001), 28-31
October 2001, New Orleans, LA, {USA}},
pages = {174--175},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/RELDIS.2001.969771},
doi = {10.1109/RELDIS.2001.969771},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/srds/Bastani01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tkde/Bastani01,
author = {Farokh B. Bastani},
title = {Introducing the New Editor-in-Chief of the {IEEE} Transactions on
Knowledge and Data Engineering},
journal = {{IEEE} Trans. Knowl. Data Eng.},
volume = {13},
number = {1},
pages = {1--2},
year = {2001},
url = {http://doi.ieeecomputersociety.org/10.1109/TKDE.2001.10001},
doi = {10.1109/TKDE.2001.10001},
timestamp = {Sun, 09 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tkde/Bastani01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/Bastani00,
author = {Farokh B. Bastani},
title = {Relational programs},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {25},
number = {1},
pages = {34--35},
year = {2000},
url = {https://doi.org/10.1145/340855.340865},
doi = {10.1145/340855.340865},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/Bastani00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tkde/Bastani00,
author = {Farokh B. Bastani},
title = {Editorial},
journal = {{IEEE} Trans. Knowl. Data Eng.},
volume = {12},
number = {1},
pages = {96--101},
year = {2000},
url = {https://doi.org/10.1109/TKDE.2000.842253},
doi = {10.1109/TKDE.2000.842253},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tkde/Bastani00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tkde/Bastani00a,
author = {Farokh B. Bastani},
title = {Editorial},
journal = {{IEEE} Trans. Knowl. Data Eng.},
volume = {12},
number = {5},
pages = {821--823},
year = {2000},
url = {https://doi.org/10.1109/TKDE.2000.877510},
doi = {10.1109/TKDE.2000.877510},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tkde/Bastani00a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/PaulBYC00,
author = {Raymond A. Paul and
Farokh B. Bastani and
I{-}Ling Yen and
Venkata U. B. Challagulla},
title = {Defect-Based Reliability Analysis for Mission-Critical Software},
booktitle = {24th International Computer Software and Applications Conference {(COMPSAC}
2000), 25-28 October 2000, Taipei, Taiwan},
pages = {439--444},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/CMPSAC.2000.884761},
doi = {10.1109/CMPSAC.2000.884761},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/PaulBYC00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/BastaniNYHMP00,
author = {Farokh B. Bastani and
Simeon C. Ntafos and
I{-}Ling Yen and
Doug E. Harris and
Richard R. Morrow and
Raymond A. Paul},
title = {A high-assurance measurement repository system},
booktitle = {5th {IEEE} International Symposium on High-Assurance Systems Engineering
{(HASE} 2000), 15-17 November 2000, Albuquerque, NM, USA, Proceedings},
pages = {265--272},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/HASE.2000.895471},
doi = {10.1109/HASE.2000.895471},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/BastaniNYHMP00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ansoft/Bastani99,
author = {Farokh B. Bastani},
title = {Relational Programs: An Architecture for Robust Real-Time Safety-Critical
Process-Control Systems},
journal = {Ann. Softw. Eng.},
volume = {7},
pages = {5--24},
year = {1999},
url = {https://doi.org/10.1023/A:1018950608266},
doi = {10.1023/A:1018950608266},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ansoft/Bastani99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tkde/Bastani99,
author = {Farokh B. Bastani},
title = {Editor-in-Chief Prefaces Special-Edition Tribute},
journal = {{IEEE} Trans. Knowl. Data Eng.},
volume = {11},
number = {1},
pages = {1},
year = {1999},
url = {http://doi.ieeecomputersociety.org/10.1109/TKDE.1999.10000},
doi = {10.1109/TKDE.1999.10000},
timestamp = {Sun, 09 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tkde/Bastani99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tkde/Bastani98,
author = {Farokh B. Bastani},
title = {Introducing New Advisory Board and Editorial Board Members},
journal = {{IEEE} Trans. Knowl. Data Eng.},
volume = {10},
number = {6},
pages = {865--867},
year = {1998},
url = {http://doi.ieeecomputersociety.org/10.1109/TKDE.1998.10004},
doi = {10.1109/TKDE.1998.10004},
timestamp = {Sun, 09 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tkde/Bastani98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/BhattacharyaOB97,
author = {Sourav Bhattacharya and
Akira K. Onoma and
Farokh B. Bastani},
title = {High-Assurance Systems (Introduction to the Special Section)},
journal = {Commun. {ACM}},
volume = {40},
number = {1},
pages = {67},
year = {1997},
timestamp = {Thu, 20 Nov 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/BhattacharyaOB97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/HilfordBC97,
author = {Victoria Hilford and
Farokh B. Bastani and
Bojan Cukic},
title = {EH* - Extendible Hashing in a Distributed Environment},
booktitle = {21st International Computer Software and Applications Conference {(COMPSAC}
'97), 11-15 August 1997, Washington, DC, {USA}},
pages = {217--222},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/CMPSAC.1997.624796},
doi = {10.1109/CMPSAC.1997.624796},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/HilfordBC97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/words/HilfordLCJB97,
author = {Victoria Hilford and
Michael R. Lyu and
Bojan Cukic and
Anouar Jamoussi and
Farokh B. Bastani},
title = {Diversity in the software development process},
booktitle = {3rd Workshop on Object-Oriented Real-Time Dependable Systems {(WORDS}
'97), 5-7 February 1997, Newport Beach, CA, {USA}},
pages = {129--136},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/WORDS.1997.609943},
doi = {10.1109/WORDS.1997.609943},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/words/HilfordLCJB97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tkde/Bastani97,
author = {Farokh B. Bastani},
title = {Acknowledging TKDE's Fine Past and Looking to an Even Better Future},
journal = {{IEEE} Trans. Knowl. Data Eng.},
volume = {9},
number = {1},
pages = {1--2},
year = {1997},
url = {http://doi.ieeecomputersociety.org/10.1109/TKDE.1997.10000},
doi = {10.1109/TKDE.1997.10000},
timestamp = {Sun, 09 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tkde/Bastani97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/BastaniC96,
author = {Farokh B. Bastani and
Bojan Cukic},
title = {Impact of program transformation on software reliability assessment},
booktitle = {1st High-Assurance Systems Engineering Workshop {(HASE} '96), October
22, 1996, Niagara, Canada, Proceedings},
pages = {214--221},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://doi.org/10.1109/HASE.1996.618599},
doi = {10.1109/HASE.1996.618599},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/BastaniC96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/CukicB96,
author = {Bojan Cukic and
Farokh B. Bastani},
title = {On reducing the sensitivity of software reliability to variations
in the operational profile},
booktitle = {Seventh International Symposium on Software Reliability Engineering,
{ISSRE} 1996, White Plains, NY, USA, October 30, 1996-Nov. 2, 1996},
pages = {45--54},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://doi.org/10.1109/ISSRE.1996.558694},
doi = {10.1109/ISSRE.1996.558694},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issre/CukicB96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/JamoussiB96,
author = {Anouar Jamoussi and
Farokh B. Bastani},
title = {Efficient Monte Carlo Method for Generating Random Test Data from
Irregular Test Regions"},
booktitle = {The 8th International Conference on Software Engineering and Knowledge
Engineering, {SEKE} '96, Lake Tahoe, Nevada, USA, June 10-12, 1996},
pages = {17--24},
publisher = {Knowledge Systems Institute},
year = {1996},
timestamp = {Thu, 04 Dec 2014 17:19:18 +0100},
biburl = {https://dblp.org/rec/conf/seke/JamoussiB96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/words/BastaniCHJ96,
author = {Farokh B. Bastani and
Bojan Cukic and
Victoria Hilford and
Anouar Jamoussi},
title = {Toward dependable safety-critical software},
booktitle = {Proceedings of WORDS'96. The Second Workshop on Object-Oriented Real-Time
Dependable Systems, February 1-2, 1996, Laguna Beach, California,
{USA}},
pages = {86--92},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://doi.org/10.1109/WORDS.1996.506265},
doi = {10.1109/WORDS.1996.506265},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/words/BastaniCHJ96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jpdc/YenB95,
author = {I{-}Ling Yen and
Farokh B. Bastani},
title = {Parallel Hashing: Collision Resolution Strategies and Performance},
journal = {J. Parallel Distributed Comput.},
volume = {31},
number = {2},
pages = {190--198},
year = {1995},
url = {https://doi.org/10.1006/jpdc.1995.1158},
doi = {10.1006/JPDC.1995.1158},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jpdc/YenB95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tkde/ChenBT95,
author = {Ing{-}Ray Chen and
Farokh B. Bastani and
Ta{-}Wei Tsao},
title = {On the Reliability of {AI} Planning Software in Real-Time Applications},
journal = {{IEEE} Trans. Knowl. Data Eng.},
volume = {7},
number = {1},
pages = {4--13},
year = {1995},
url = {https://doi.org/10.1109/69.368522},
doi = {10.1109/69.368522},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tkde/ChenBT95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/Bastani95,
author = {Farokh B. Bastani},
title = {(Position Paper) Fault-Tolerant Software},
booktitle = {19th International Computer Software and Applications Conference (COMPSAC'95),
August 9-11, 1995, Dallas, Texas, {USA}},
pages = {391},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.ieeecomputersociety.org/10.1109/COMPSAC.1995.10008},
doi = {10.1109/COMPSAC.1995.10008},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/Bastani95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/YenB95,
author = {I{-}Ling Yen and
Farokh B. Bastani},
title = {Robust parallel resource management in shared memory multiprocessor
systems},
booktitle = {Proceedings of {IPPS} '95, The 9th International Parallel Processing
Symposium, April 25-28, 1995, Santa Barbara, California, {USA}},
pages = {458--465},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.org/10.1109/IPPS.1995.395971},
doi = {10.1109/IPPS.1995.395971},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ipps/YenB95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isads/YenB95,
author = {I{-}Ling Yen and
Farokh B. Bastani},
title = {On efficiently tolerating general failures in autonomous decentralized
multiserver systems},
booktitle = {Second International Symposium on Autonomous Decentralized Systems,
{ISADS} 1995, Phoenix, Arizona, USA, April 25-27, 1995},
pages = {288--296},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.org/10.1109/ISADS.1995.398986},
doi = {10.1109/ISADS.1995.398986},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isads/YenB95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/ChenB94,
author = {Ing{-}Ray Chen and
Farokh B. Bastani},
title = {Warm Standby in Hierarchically Structured Process-Control Programs},
journal = {{IEEE} Trans. Software Eng.},
volume = {20},
number = {8},
pages = {658--663},
year = {1994},
url = {https://doi.org/10.1109/32.310674},
doi = {10.1109/32.310674},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/ChenB94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftcs/YenB94,
author = {I{-}Ling Yen and
Farokh B. Bastani},
title = {Systematic Incorporation of Efficient Fault Tolerance in Systems of
Cooperating Parallel Programs},
booktitle = {Digest of Papers: FTCS/24, The Twenty-Fourth Annual International
Symposium on Fault-Tolerant Computing, Austin, Texas, USA, June 15-17,
1994},
pages = {154--163},
publisher = {{IEEE} Computer Society},
year = {1994},
url = {https://doi.org/10.1109/FTCS.1994.315645},
doi = {10.1109/FTCS.1994.315645},
timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
biburl = {https://dblp.org/rec/conf/ftcs/YenB94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/Bastani94,
author = {Bojan Cukic and
Farokh B. Bastani},
editor = {Howard Jay Siegel},
title = {Automatic Array Alignment as a Step in Hierarchical Program Transformation},
booktitle = {Proceedings of the 8th International Symposium on Parallel Processing,
Canc{\'{u}}n, Mexico, April 1994},
pages = {578--582},
publisher = {{IEEE} Computer Society},
year = {1994},
url = {https://doi.org/10.1109/IPPS.1994.288246},
doi = {10.1109/IPPS.1994.288246},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ipps/Bastani94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/BastaniP94,
author = {Farokh B. Bastani and
Alberto Pasquini},
title = {Assessment of a sampling method for measuring safety-critical software
reliability},
booktitle = {5th International Symposium on Software Reliability Engineering, {ISSRE}
1994, Monterey, CA, USA, November 6-9, 1994},
pages = {93--102},
publisher = {{IEEE} Computer Society},
year = {1994},
url = {https://doi.org/10.1109/ISSRE.1994.341358},
doi = {10.1109/ISSRE.1994.341358},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issre/BastaniP94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/words/YenCB94,
author = {I{-}Ling Yen and
Ing{-}Ray Chen and
Farokh B. Bastani},
title = {On the reliability of dependable soft real-time cooperating systems},
booktitle = {Proceedings of {WORDS} '94. The First Workshop on Object-Oriented
Real-Time Dependable Systems, Dana Point, California, USA, October
24-25, 1994},
pages = {132--137},
publisher = {{IEEE} Computer Society},
year = {1994},
url = {https://doi.org/10.1109/WORDS.1994.518682},
doi = {10.1109/WORDS.1994.518682},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/words/YenCB94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/expert/BastaniC93,
author = {Farokh B. Bastani and
Ing{-}Ray Chen},
title = {The Reliability of Embedded {AI} Systems},
journal = {{IEEE} Expert},
volume = {8},
number = {2},
pages = {72--78},
year = {1993},
url = {https://doi.org/10.1109/64.207431},
doi = {10.1109/64.207431},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/expert/BastaniC93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieeecc/YenLB93,
author = {I{-}Ling Yen and
Ernst L. Leiss and
Farokh B. Bastani},
title = {Exploiting redundancy to speed up parallel systems},
journal = {{IEEE} Parallel Distributed Technol. Syst. Appl.},
volume = {1},
number = {3},
pages = {51--60},
year = {1993},
url = {https://doi.org/10.1109/88.242445},
doi = {10.1109/88.242445},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ieeecc/YenLB93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijait/BastaniC93,
author = {Farokh B. Bastani and
Ing{-}Ray Chen},
title = {Assessment of the Reliability of {AI} Programs},
journal = {Int. J. Artif. Intell. Tools},
volume = {2},
number = {2},
pages = {235--248},
year = {1993},
url = {https://doi.org/10.1142/S0218213093000138},
doi = {10.1142/S0218213093000138},
timestamp = {Tue, 12 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijait/BastaniC93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijseke/BastaniCT93,
author = {Farokh B. Bastani and
Ing{-}Ray Chen and
Ta{-}Wei Tsao},
title = {A Software Reliability Model for Artificial Intelligence Programs},
journal = {Int. J. Softw. Eng. Knowl. Eng.},
volume = {3},
number = {1},
pages = {99--114},
year = {1993},
url = {https://doi.org/10.1142/S0218194093000057},
doi = {10.1142/S0218194093000057},
timestamp = {Wed, 22 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijseke/BastaniCT93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Bastani93,
author = {Farokh B. Bastani},
title = {Forword: Software Reliability},
journal = {{IEEE} Trans. Software Eng.},
volume = {19},
number = {11},
pages = {1013--1014},
year = {1993},
url = {http://doi.ieeecomputersociety.org/10.1109/TSE.1993.10002},
doi = {10.1109/TSE.1993.10002},
timestamp = {Thu, 10 Dec 2015 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/Bastani93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/BastaniDP93,
author = {Farokh B. Bastani and
Giuseppe DiMarco and
Alberto Pasquini},
editor = {Victor R. Basili and
Richard A. DeMillo and
Takuya Katayama},
title = {Experimental Evaluation of a Fuzzy-Set Based Measure of Software Correctness
Using Program Mutation},
booktitle = {Proceedings of the 15th International Conference on Software Engineering,
Baltimore, Maryland, USA, May 17-21, 1993},
pages = {45--54},
publisher = {{IEEE} Computer Society / {ACM} Press},
year = {1993},
url = {http://portal.acm.org/citation.cfm?id=257572.257591},
timestamp = {Mon, 14 May 2012 18:17:27 +0200},
biburl = {https://dblp.org/rec/conf/icse/BastaniDP93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/YenDB93,
author = {I{-}Ling Yen and
Rumi M. Dubash and
Farokh B. Bastani},
title = {Strategies for Mapping Lee's Maze Routing Algorithm onto Parallel
Architectures},
booktitle = {The Seventh International Parallel Processing Symposium, Proceedings,
Newport Beach, California, USA, April 13-16, 1993},
pages = {672--679},
publisher = {{IEEE} Computer Society},
year = {1993},
url = {https://doi.org/10.1109/IPPS.1993.262800},
doi = {10.1109/IPPS.1993.262800},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ipps/YenDB93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isads/DubashB93,
author = {Rumi M. Dubash and
Farokh B. Bastani},
title = {A hybrid architecture for mobile robots based on decentralized, parallel
path planning},
booktitle = {International Symposium on Autonomous Decentralized Systems, {ISADS}
1993, Kawasaki, Japan, March 30 - April 1, 1993},
pages = {206--214},
publisher = {{IEEE} Computer Society},
year = {1993},
url = {https://doi.org/10.1109/ISADS.1993.262702},
doi = {10.1109/ISADS.1993.262702},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isads/DubashB93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isads/BastaniY93,
author = {Farokh B. Bastani and
I{-}Ling Yen},
title = {Inherent fault tolerance in decentralized process-control systems},
booktitle = {International Symposium on Autonomous Decentralized Systems, {ISADS}
1993, Kawasaki, Japan, March 30 - April 1, 1993},
pages = {267--274},
publisher = {{IEEE} Computer Society},
year = {1993},
url = {https://doi.org/10.1109/ISADS.1993.262694},
doi = {10.1109/ISADS.1993.262694},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isads/BastaniY93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/ChenTB93,
author = {Ing{-}Ray Chen and
Ta{-}Wei Tsao and
Farokh B. Bastani},
title = {Reliability of uniprocessor and multiprocessor real-time artificial
intelligence planning systems},
booktitle = {Fourth International Symposium on Software Reliability Engineering,
{ISSRE} 1993, Denver, CO, USA, November 3-6, 1993},
pages = {160--167},
publisher = {{IEEE} Computer Society},
year = {1993},
url = {https://doi.org/10.1109/ISSRE.1993.624285},
doi = {10.1109/ISSRE.1993.624285},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issre/ChenTB93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dc/ZhaoB92,
author = {Yi Zhao and
Farokh B. Bastani},
title = {A Self-Adjusting Algorithm for Byzantine Agreement},
journal = {Distributed Comput.},
volume = {5},
number = {4},
pages = {219--226},
year = {1992},
url = {https://doi.org/10.1007/BF02277668},
doi = {10.1007/BF02277668},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dc/ZhaoB92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/DubashYB92,
author = {Rumi M. Dubash and
I{-}Ling Yen and
Farokh B. Bastani},
title = {Fault tolerant process planning and control},
booktitle = {Sixteenth Annual International Computer Software and Applications
Conference, {COMPSAC} 1992, Proceedings, Chicago, IL, USA, 21-25 September,
1992},
pages = {188--193},
publisher = {{IEEE}},
year = {1992},
url = {https://doi.org/10.1109/CMPSAC.1992.217570},
doi = {10.1109/CMPSAC.1992.217570},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/compsac/DubashYB92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/ChenB92,
author = {Yiwei Chen and
Farokh B. Bastani},
title = {Algorithmic Mapping of Neural Networks with Multiactivation Production
Units onto {SIMD} Machines},
booktitle = {Fourth International Conference on Tools with Artificial Intelligence,
{ICTAI} '92, Arlington, Virginia, USA, November 10-13, 1992},
pages = {93--97},
publisher = {{IEEE} Computer Society},
year = {1992},
url = {https://doi.org/10.1109/TAI.1992.246368},
doi = {10.1109/TAI.1992.246368},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictai/ChenB92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/YenB92,
author = {I{-}Ling Yen and
Farokh B. Bastani},
editor = {Viktor K. Prasanna and
Larry H. Canter},
title = {Hash Table in Massively Parallel Systems},
booktitle = {Proceedings of the 6th International Parallel Processing Symposium,
Beverly Hills, CA, USA, March 1992},
pages = {660--664},
publisher = {{IEEE} Computer Society},
year = {1992},
url = {https://doi.org/10.1109/IPPS.1992.222988},
doi = {10.1109/IPPS.1992.222988},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ipps/YenB92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tkde/IyengarB92,
author = {S. Sitharama Iyengar and
Farokh B. Bastani},
title = {Guest Editors' Introduction: Self-Organizing Knowledge and Data Representation
in Distributed Environment},
journal = {{IEEE} Trans. Knowl. Data Eng.},
volume = {4},
number = {2},
pages = {105--108},
year = {1992},
url = {http://doi.ieeecomputersociety.org/10.1109/TKDE.1992.10000},
doi = {10.1109/TKDE.1992.10000},
timestamp = {Sun, 09 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tkde/IyengarB92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/BastaniCB91,
author = {Farokh B. Bastani and
Ing{-}Ray Chen and
Wael Hilal Bahaa{-}El{-}Din},
title = {A Model for the Stability Analysis of Maintenance Stragies for Linear
List},
journal = {Comput. J.},
volume = {34},
number = {1},
pages = {80--87},
year = {1991},
url = {https://doi.org/10.1093/comjnl/34.1.80},
doi = {10.1093/COMJNL/34.1.80},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/BastaniCB91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/BourbakisWGFLLD91,
author = {Nikolaos G. Bourbakis and
Robin Williams and
Forouzan Golshani and
Myron Flickner and
Ted Laliotis and
Sukhan Lee and
Jos{\'{e}} G. Delgado{-}Frias and
Dan Hammerstrom and
Cris Koutsougeras and
Gerald G. Pechanek and
Benjamin W. Wah and
John Yen and
Farokh B. Bastani and
Tom Cooper and
Karan Harbison{-}Briggs and
Rudy Lauber and
Alun D. Preece and
Imran A. Zualkernan and
W. T. Tsai and
Daniel E. Cooke and
Martin S. Feather and
Stephen Fickas and
N. Minsky and
Peter G. Selfridge and
Douglas Smith},
title = {{AI} in multimedia (panel session)},
booktitle = {Third International Conference on Tools for Artificial Intelligence,
{TAI} '91, San Jose, CA, USA, November 10-13, 1991},
pages = {3--12},
publisher = {{IEEE} Computer Society},
year = {1991},
url = {https://doi.org/10.1109/TAI.1991.167067},
doi = {10.1109/TAI.1991.167067},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictai/BourbakisWGFLLD91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/ChenB91,
author = {Yiwei Chen and
Farokh B. Bastani},
title = {The capability of feedforward neural networks with {\(\Omega\)}-shaped
activation functions},
booktitle = {Third International Conference on Tools for Artificial Intelligence,
{TAI} '91, San Jose, CA, USA, November 10-13, 1991},
pages = {200--207},
publisher = {{IEEE} Computer Society},
year = {1991},
url = {https://doi.org/10.1109/TAI.1991.167096},
doi = {10.1109/TAI.1991.167096},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictai/ChenB91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/YenBL91,
author = {I{-}Ling Yen and
Farokh B. Bastani and
Ernst L. Leiss},
editor = {V. K. Prasanna Kumar},
title = {An Inherently Fault Tolerant Sorting Algorithm},
booktitle = {The Fifth International Parallel Processing Symposium, Proceedings,
Anaheim, California, USA, April 30 - May 2, 1991},
pages = {37--42},
publisher = {{IEEE} Computer Society},
year = {1991},
url = {https://doi.org/10.1109/IPPS.1991.153754},
doi = {10.1109/IPPS.1991.153754},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ipps/YenBL91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/YenBAL90,
author = {I{-}Ling Yen and
Farokh B. Bastani and
T. Al{-}Marzooq and
Ernst L. Leiss},
title = {High performance massively parallel abstract data type components},
booktitle = {Proceedings of the Fourteenth Annual International Computer Software
and Applications Conference, {COMPSAC} 1990, Chicago, IL, USA, October
31 1990 - November 2, 1990},
pages = {196--201},
publisher = {{IEEE}},
year = {1990},
url = {https://doi.org/10.1109/CMPSAC.1990.139351},
doi = {10.1109/CMPSAC.1990.139351},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/compsac/YenBAL90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/BastaniC90,
author = {Farokh B. Bastani and
Ing{-}Ray Chen},
title = {Assessment of the reliability of {AI} programs},
booktitle = {Proceedings of the 2nd International {IEEE} Conference on Tools for
Artificial Intelligence, {TAI} 1990, Herndon, VA, USA, November 6-9,
1990},
pages = {753--759},
publisher = {{IEEE} Computer Society},
year = {1990},
url = {https://doi.org/10.1109/TAI.1990.130433},
doi = {10.1109/TAI.1990.130433},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictai/BastaniC90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Bahaa-El-DinBT89,
author = {Wael Hilal Bahaa{-}El{-}Din and
Farokh B. Bastani and
Ju{-}En Teng},
title = {Performance Analysis of Periodic and Concurrent Data Structure Maintenance
Strategies for Network Servers},
journal = {{IEEE} Trans. Software Eng.},
volume = {15},
number = {12},
pages = {1526--1536},
year = {1989},
url = {https://doi.org/10.1109/32.58765},
doi = {10.1109/32.58765},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/Bahaa-El-DinBT89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/BastaniIY88,
author = {Farokh B. Bastani and
S. Sitharama Iyengar and
I{-}Ling Yen},
title = {Concurrent Maintenance of Data Structures in a Distributed Environment},
journal = {Comput. J.},
volume = {31},
number = {2},
pages = {165--174},
year = {1988},
url = {https://doi.org/10.1093/comjnl/31.2.165},
doi = {10.1093/COMJNL/31.2.165},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/BastaniIY88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/nn/BastaniIG88,
author = {Farokh B. Bastani and
S. Sitharama Iyengar and
Sandeep Gulati},
title = {An analysis of competing neural network knowledge representation strategies},
journal = {Neural Networks},
volume = {1},
number = {Supplement-1},
pages = {9},
year = {1988},
url = {https://doi.org/10.1016/0893-6080(88)90051-2},
doi = {10.1016/0893-6080(88)90051-2},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/nn/BastaniIG88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/MoitraIBY88,
author = {Abha Moitra and
S. Sitharama Iyengar and
Farokh B. Bastani and
I{-}Ling Yen},
title = {Multilevel Data Structures: Models and Performance},
journal = {{IEEE} Trans. Software Eng.},
volume = {14},
number = {6},
pages = {858--867},
year = {1988},
url = {https://doi.org/10.1109/32.6164},
doi = {10.1109/32.6164},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/MoitraIBY88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/BastaniYC88,
author = {Farokh B. Bastani and
I{-}Ling Yen and
Ing{-}Ray Chen},
title = {A Class of Inherently Fault Tolerant Distributed Programs},
journal = {{IEEE} Trans. Software Eng.},
volume = {14},
number = {10},
pages = {1432--1442},
year = {1988},
url = {https://doi.org/10.1109/32.6188},
doi = {10.1109/32.6188},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/BastaniYC88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ieaaie/BastaniC88,
author = {Farokh B. Bastani and
Ing{-}Ray Chen},
title = {The Role of Artificial Intelligence in Fault-Tolerant Process-Control
Systems},
booktitle = {Proceedings of the First International Conference on Industrial {\&}
Engineering Applications of Artificial Intelligence {\&} Expert
Systems, {IEA/AIE} 1988, June 1-3, 1988, Tullahoma, TN, {USA-} Volume
2},
pages = {1049--1058},
publisher = {{ACM}},
year = {1988},
url = {https://doi.org/10.1145/55674.55724},
doi = {10.1145/55674.55724},
timestamp = {Wed, 17 Jul 2019 17:09:14 +0200},
biburl = {https://dblp.org/rec/conf/ieaaie/BastaniC88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/BastaniI87,
author = {Farokh B. Bastani and
S. Sitharama Iyengar},
title = {The Effect of Data Structures on the Logical Complexity of Programs},
journal = {Commun. {ACM}},
volume = {30},
number = {3},
pages = {250--259},
year = {1987},
url = {https://doi.org/10.1145/214748.214760},
doi = {10.1145/214748.214760},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/BastaniI87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/BastaniHI87,
author = {Farokh B. Bastani and
Wael Hilal and
S. S. Iyengar},
title = {Efficient Abstract Data Type Components for Distributed and Parallel
Systems},
journal = {Computer},
volume = {20},
number = {10},
pages = {33--44},
year = {1987},
url = {https://doi.org/10.1109/MC.1987.1663386},
doi = {10.1109/MC.1987.1663386},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/BastaniHI87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fjcc/BastaniR87,
author = {Farokh B. Bastani and
C. V. Ramamoorthy},
editor = {Stephen A. Szygenda},
title = {Fault tolerant distributed process-control systems},
booktitle = {Proceedings of the 1987 Fall Joint Computer Conference on Exploring
technology: today and tomorrow},
pages = {522--526},
publisher = {{ACM}},
year = {1987},
url = {http://dl.acm.org/citation.cfm?id=42127},
timestamp = {Fri, 29 Sep 2017 17:14:39 +0200},
biburl = {https://dblp.org/rec/conf/fjcc/BastaniR87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fjcc/BastaniL87,
author = {Farokh B. Bastani and
Ernst L. Leiss},
editor = {Stephen A. Szygenda},
title = {On the overall reliability of hardware/software systems},
booktitle = {Proceedings of the 1987 Fall Joint Computer Conference on Exploring
technology: today and tomorrow},
pages = {528--533},
publisher = {{ACM}},
year = {1987},
url = {http://dl.acm.org/citation.cfm?id=42128},
timestamp = {Fri, 29 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fjcc/BastaniL87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icde/BastaniY87,
author = {Farokh B. Bastani and
I{-}Ling Yen},
title = {A Fault Tolerant Replicated Storage System},
booktitle = {Proceedings of the Third International Conference on Data Engineering,
February 3-5, 1987, Los Angeles, California, {USA}},
pages = {449--454},
publisher = {{IEEE} Computer Society},
year = {1987},
url = {https://doi.org/10.1109/ICDE.1987.7272411},
doi = {10.1109/ICDE.1987.7272411},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icde/BastaniY87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fjcc/BastaniBC86,
author = {Farokh B. Bastani and
Wael Hilal Bahaa{-}El{-}Din and
Ing{-}Ray Chen},
title = {Performance Analysis of Concurrent Maintenance Policies for Servers
in a Distributed Environment},
booktitle = {Proceedings of the Fall Joint Computer Conference, November 2-6, 1986,
Dallas, Texas, {USA}},
pages = {611--619},
publisher = {{IEEE} Computer Society},
year = {1986},
timestamp = {Fri, 29 Sep 2017 14:35:52 +0200},
biburl = {https://dblp.org/rec/conf/fjcc/BastaniBC86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Bastani85,
author = {Farokh B. Bastani},
title = {Experiences with a Feedback Version Development Methodology},
journal = {{IEEE} Trans. Software Eng.},
volume = {11},
number = {8},
pages = {718--723},
year = {1985},
url = {https://doi.org/10.1109/TSE.1985.232521},
doi = {10.1109/TSE.1985.232521},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Bastani85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Bastani85a,
author = {Farokh B. Bastani},
title = {On the Uncertainty in the Correctness of Computer Programs},
journal = {{IEEE} Trans. Software Eng.},
volume = {11},
number = {9},
pages = {857--864},
year = {1985},
url = {https://doi.org/10.1109/TSE.1985.232545},
doi = {10.1109/TSE.1985.232545},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Bastani85a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/GoelB85,
author = {Amrit L. Goel and
Farokh B. Bastani},
title = {Foreword Software Reliability},
journal = {{IEEE} Trans. Software Eng.},
volume = {11},
number = {12},
pages = {1409--1410},
year = {1985},
url = {https://doi.org/10.1109/TSE.1985.232175},
doi = {10.1109/TSE.1985.232175},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/GoelB85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Bastani84,
author = {Farokh B. Bastani},
title = {Performance Improvement of Abstractions Through Context Dependent
Transformations},
journal = {{IEEE} Trans. Software Eng.},
volume = {10},
number = {1},
pages = {100--116},
year = {1984},
url = {https://doi.org/10.1109/TSE.1984.5010204},
doi = {10.1109/TSE.1984.5010204},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Bastani84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/RamamoorthyB82,
author = {C. V. Ramamoorthy and
Farokh B. Bastani},
title = {Software Reliability - Status and Perspectives},
journal = {{IEEE} Trans. Software Eng.},
volume = {8},
number = {4},
pages = {354--371},
year = {1982},
url = {https://doi.org/10.1109/TSE.1982.235728},
doi = {10.1109/TSE.1982.235728},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/RamamoorthyB82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/RamamoorthyMBCS81,
author = {C. V. Ramamoorthy and
Yu{-}King R. Mok and
Farokh B. Bastani and
Gene H. Chin and
Keiichi Suzuki},
title = {Application of a Methodology for the Development and Validation of
Reliable Process Control Software},
journal = {{IEEE} Trans. Software Eng.},
volume = {7},
number = {6},
pages = {537--555},
year = {1981},
url = {https://doi.org/10.1109/TSE.1981.226474},
doi = {10.1109/TSE.1981.226474},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/RamamoorthyMBCS81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/RamamoorthyBFMNS79,
author = {C. V. Ramamoorthy and
Farokh B. Bastani and
John M. Favaro and
Yu{-}King R. Mok and
C. W. Nam and
Keiichi Suzuki},
editor = {Friedrich L. Bauer and
Leon G. Stucki and
Meir M. Lehman},
title = {On {A} Systematic Approach to the Development and Validation of Critical
Software for Nuclear Power Plants},
booktitle = {Proceedings of the 4th International Conference on Software Engineering,
Munich, Germany, September 1979},
pages = {231--240},
publisher = {{IEEE} Computer Society},
year = {1979},
url = {http://dl.acm.org/citation.cfm?id=802943},
timestamp = {Mon, 14 May 2012 18:17:19 +0200},
biburl = {https://dblp.org/rec/conf/icse/RamamoorthyBFMNS79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 02:31 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
