Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Pao-Ann Hsiung
@article{DBLP:journals/ijdsa/UtomoHH24, author = {Darmawan Utomo and Liang{-}Cheng Hu and Pao{-}Ann Hsiung}, title = {Deep neural network-based spatiotemporal heterogeneous data reconstruction for landslide detection}, journal = {Int. J. Data Sci. Anal.}, volume = {17}, number = {1}, pages = {93--109}, year = {2024}, url = {https://doi.org/10.1007/s41060-022-00358-5}, doi = {10.1007/S41060-022-00358-5}, timestamp = {Sat, 10 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ijdsa/UtomoHH24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sncs/KarthikeyanH24, author = {P. Karthikeyan and Pao{-}Ann Hsiung}, title = {Multimodal Labor Exploitation Detections for Taiwan Distant Water Fishing Industry}, journal = {{SN} Comput. Sci.}, volume = {5}, number = {1}, pages = {46}, year = {2024}, url = {https://doi.org/10.1007/s42979-023-02346-3}, doi = {10.1007/S42979-023-02346-3}, timestamp = {Sun, 31 Dec 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/sncs/KarthikeyanH24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eaai/ChienKH23, author = {I. Chien and P. Karthikeyan and Pao{-}Ann Hsiung}, title = {Prediction-based peer-to-peer energy transaction market design for smart grids}, journal = {Eng. Appl. Artif. Intell.}, volume = {126}, number = {Part {D}}, pages = {107190}, year = {2023}, url = {https://doi.org/10.1016/j.engappai.2023.107190}, doi = {10.1016/J.ENGAPPAI.2023.107190}, timestamp = {Fri, 26 Jan 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/eaai/ChienKH23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fi/UtomoRHH23, author = {Sapdo Utomo and Adarsh Rouniyar and Hsiu{-}Chun Hsu and Pao{-}Ann Hsiung}, title = {Federated Adversarial Training Strategies for Achieving Privacy and Security in Sustainable Smart City Applications}, journal = {Future Internet}, volume = {15}, number = {11}, pages = {371}, year = {2023}, url = {https://doi.org/10.3390/fi15110371}, doi = {10.3390/FI15110371}, timestamp = {Sat, 13 Jan 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fi/UtomoRHH23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mta/KarthikeyanCH23, author = {P. Karthikeyan and Chih{-}Chun Chang and Pao{-}Ann Hsiung}, title = {Labor exploitation investigation using statistical and multiple object tracking assessment methods}, journal = {Multim. Tools Appl.}, volume = {82}, number = {29}, pages = {46085--46108}, year = {2023}, url = {https://doi.org/10.1007/s11042-023-16094-2}, doi = {10.1007/S11042-023-16094-2}, timestamp = {Sun, 10 Dec 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/mta/KarthikeyanCH23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tasm/KarthikeyanPCH23, author = {Periyasami Karthikeyan and Ayush Pratap and William Cheng{-}Chung Chu and Pao{-}Ann Hsiung}, title = {Analysis of Fisherman Exploitation in Taiwan Distant Water Fishing}, journal = {{IEEE} Technol. Soc. Mag.}, volume = {42}, number = {3}, pages = {88--97}, year = {2023}, url = {https://doi.org/10.1109/MTS.2023.3306539}, doi = {10.1109/MTS.2023.3306539}, timestamp = {Sat, 14 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tasm/KarthikeyanPCH23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ecai/Gupta0JHW23, author = {Sumeet Gupta and Shweta Jain and Shashi Shekhar Jha and Pao{-}Ann Hsiung and Ming{-}Hung Wang}, editor = {Kobi Gal and Ann Now{\'{e}} and Grzegorz J. Nalepa and Roy Fairstein and Roxana Radulescu}, title = {Take Expert Advice Judiciously: Combining Groupwise Calibrated Model Probabilities with Expert Predictions}, booktitle = {{ECAI} 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Krak{\'{o}}w, Poland - Including 12th Conference on Prestigious Applications of Intelligent Systems {(PAIS} 2023)}, series = {Frontiers in Artificial Intelligence and Applications}, volume = {372}, pages = {956--963}, publisher = {{IOS} Press}, year = {2023}, url = {https://doi.org/10.3233/FAIA230366}, doi = {10.3233/FAIA230366}, timestamp = {Fri, 27 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ecai/Gupta0JHW23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/goodit/UtomoRJCTHH23, author = {Sapdo Utomo and Adarsh Rouniyar and Guo Hao Jiang and Chun{-}Hao Chang and Kai Chun Tang and Hsiu{-}Chun Hsu and Pao{-}Ann Hsiung}, title = {Eff-AQI: An Efficient CNN-Based Model for Air Pollution Estimation: {A} Study Case in India}, booktitle = {Proceedings of the 2023 {ACM} Conference on Information Technology for Social Good, GoodIT 2023, Lisbon, Portugal, September 6-8, 2023}, pages = {165--172}, publisher = {{ACM}}, year = {2023}, url = {https://doi.org/10.1145/3582515.3609531}, doi = {10.1145/3582515.3609531}, timestamp = {Thu, 31 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/goodit/UtomoRJCTHH23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/goodit/0004CQCH23, author = {P. Karthikeyan and Yuan{-}Huai Chang and Jia{-}Jun Qiu and Chih{-}Chun Chang and Pao{-}Ann Hsiung}, title = {Tackling Labour Exploitation in Taiwan Distant Water Fishing Industry through Automated Exploitation Detection System}, booktitle = {Proceedings of the 2023 {ACM} Conference on Information Technology for Social Good, GoodIT 2023, Lisbon, Portugal, September 6-8, 2023}, pages = {182--188}, publisher = {{ACM}}, year = {2023}, url = {https://doi.org/10.1145/3582515.3609533}, doi = {10.1145/3582515.3609533}, timestamp = {Thu, 31 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/goodit/0004CQCH23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iccel/Chien0H23, author = {I. Chien and P. Karthikeyan and Pao{-}Ann Hsiung}, title = {Peer to Peer Energy Transaction Market Prediction in Smart Grids using Blockchain and {LSTM}}, booktitle = {{IEEE} International Conference on Consumer Electronics, {ICCE} 2023, Las Vegas, NV, USA, January 6-8, 2023}, pages = {1--2}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.1109/ICCE56470.2023.10043563}, doi = {10.1109/ICCE56470.2023.10043563}, timestamp = {Tue, 21 Feb 2023 18:13:47 +0100}, biburl = {https://dblp.org/rec/conf/iccel/Chien0H23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kst/PratapSUJKH23, author = {Ayush Pratap and Neha Sardana and Sapdo Utomo and A. John and P. Karthikeyan and Pao{-}Ann Hsiung}, title = {Analysis of Defect Associated with Powder Bed Fusion with Deep Learning and Explainable {AI}}, booktitle = {15th International Conference on Knowledge and Smart Technology, {KST} 2023, Phuket, Thailand, February 21-24, 2023}, pages = {1--6}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.1109/KST57286.2023.10086905}, doi = {10.1109/KST57286.2023.10086905}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/kst/PratapSUJKH23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kst/UtomoJPJKH23, author = {Sapdo Utomo and A. John and Ayush Pratap and Zhi{-}Sheng Jiang and P. Karthikeyan and Pao{-}Ann Hsiung}, title = {{AIX} Implementation in Image-Based {PM2.5} Estimation: Toward an {AI} Model for Better Understanding}, booktitle = {15th International Conference on Knowledge and Smart Technology, {KST} 2023, Phuket, Thailand, February 21-24, 2023}, pages = {1--6}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.1109/KST57286.2023.10086917}, doi = {10.1109/KST57286.2023.10086917}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/kst/UtomoJPJKH23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/vcip/WangLH23, author = {Kai{-}Yu Wang and Yu{-}Hsiang Lin and Pao{-}Ann Hsiung}, title = {depthUNet: {A} Dehazing Model with Adaptive Depth Attention for Natural Images}, booktitle = {{IEEE} International Conference on Visual Communications and Image Processing, {VCIP} 2023, Jeju, Republic of Korea, December 4-7, 2023}, pages = {1--5}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.1109/VCIP59821.2023.10402764}, doi = {10.1109/VCIP59821.2023.10402764}, timestamp = {Tue, 13 Feb 2024 21:33:24 +0100}, biburl = {https://dblp.org/rec/conf/vcip/WangLH23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/access/LeeAHH22, author = {Wei{-}Shan Lee and John A and Hsiu{-}Chun Hsu and Pao{-}Ann Hsiung}, title = {SPChain: {A} Smart and Private Blockchain-Enabled Framework for Combining GDPR-Compliant Digital Assets Management With {AI} Models}, journal = {{IEEE} Access}, volume = {10}, pages = {130424--130443}, year = {2022}, url = {https://doi.org/10.1109/ACCESS.2022.3227969}, doi = {10.1109/ACCESS.2022.3227969}, timestamp = {Sun, 15 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/access/LeeAHH22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/algorithms/KarthikeyanCH22, author = {P. Karthikeyan and Wei{-}Lun Chen and Pao{-}Ann Hsiung}, title = {Autonomous Intersection Management by Using Reinforcement Learning}, journal = {Algorithms}, volume = {15}, number = {9}, pages = {326}, year = {2022}, url = {https://doi.org/10.3390/a15090326}, doi = {10.3390/A15090326}, timestamp = {Tue, 18 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/algorithms/KarthikeyanCH22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/algorithms/PratapSUAKH22, author = {Ayush Pratap and Neha Sardana and Sapdo Utomo and John Ayeelyan and P. Karthikeyan and Pao{-}Ann Hsiung}, title = {A Synergic Approach of Deep Learning towards Digital Additive Manufacturing: {A} Review}, journal = {Algorithms}, volume = {15}, number = {12}, pages = {466}, year = {2022}, url = {https://doi.org/10.3390/a15120466}, doi = {10.3390/A15120466}, timestamp = {Sun, 15 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/algorithms/PratapSUAKH22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icbta/Lee0HH22, author = {Wei{-}Shan Lee and John A and Hsiu{-}Chun Hsu and Pao{-}Ann Hsiung}, title = {A Smart and Private Blockchain-enabled Framework for Digital Assets}, booktitle = {Proceedings of the 2022 5th International Conference on Blockchain Technology and Applications, {ICBTA} 2022, Xi'an, China, December 16-18, 2022}, pages = {34--39}, publisher = {{ACM}}, year = {2022}, url = {https://doi.org/10.1145/3581971.3581976}, doi = {10.1145/3581971.3581976}, timestamp = {Sat, 29 Apr 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icbta/Lee0HH22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/isc2/UtomoJRHH22, author = {Sapdo Utomo and A. John and Adarsh Rouniyar and Hsiu{-}Chun Hsu and Pao{-}Ann Hsiung}, title = {Federated Trustworthy {AI} Architecture for Smart Cities}, booktitle = {{IEEE} International Smart Cities Conference, {ISC2} 2022, Pafos, Cyprus, September 26-29, 2022}, pages = {1--7}, publisher = {{IEEE}}, year = {2022}, url = {https://doi.org/10.1109/ISC255366.2022.9922069}, doi = {10.1109/ISC255366.2022.9922069}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/isc2/UtomoJRHH22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sensors/UtomoH20, author = {Darmawan Utomo and Pao{-}Ann Hsiung}, title = {A Multitiered Solution for Anomaly Detection in Edge Computing for Smart Meters}, journal = {Sensors}, volume = {20}, number = {18}, pages = {5159}, year = {2020}, url = {https://doi.org/10.3390/s20185159}, doi = {10.3390/S20185159}, timestamp = {Fri, 25 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/sensors/UtomoH20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/igarss/UtomoHH20, author = {Darmawan Utomo and Liang{-}Cheng Hu and Pao{-}Ann Hsiung}, title = {Deep Neural Network-Based Data Reconstruction for Landslide Detection}, booktitle = {{IEEE} International Geoscience and Remote Sensing Symposium, {IGARSS} 2020, Waikoloa, HI, USA, September 26 - October 2, 2020}, pages = {3119--3122}, publisher = {{IEEE}}, year = {2020}, url = {https://doi.org/10.1109/IGARSS39084.2020.9323124}, doi = {10.1109/IGARSS39084.2020.9323124}, timestamp = {Mon, 22 Feb 2021 16:46:47 +0100}, biburl = {https://dblp.org/rec/conf/igarss/UtomoHH20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/computer/ChuSCAH19, author = {William Cheng{-}Chung Chu and Chihhsiong Shih and Wen{-}Yi Chou and Sheikh Iqbal Ahamed and Pao{-}Ann Hsiung}, title = {Artificial Intelligence of Things in Sports Science: Weight Training as an Example}, journal = {Computer}, volume = {52}, number = {11}, pages = {52--61}, year = {2019}, url = {https://doi.org/10.1109/MC.2019.2933772}, doi = {10.1109/MC.2019.2933772}, timestamp = {Wed, 12 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/computer/ChuSCAH19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cloudcom/HsiungL19, author = {Pao{-}Ann Hsiung and Chih{-}Chen Lin}, title = {Data Reconstruction for Cyber-Physical Landslide Detection System}, booktitle = {2019 {IEEE} International Conference on Cloud Computing Technology and Science (CloudCom), Sydney, Australia, December 11-13, 2019}, pages = {380--386}, publisher = {{IEEE}}, year = {2019}, url = {https://doi.org/10.1109/CloudCom.2019.00065}, doi = {10.1109/CLOUDCOM.2019.00065}, timestamp = {Fri, 31 Jan 2020 18:58:33 +0100}, biburl = {https://dblp.org/rec/conf/cloudcom/HsiungL19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icce-tw/ChenLH19, author = {Wei{-}Lun Chen and Kwan{-}Hung Lee and Pao{-}Ann Hsiung}, title = {Intersection Crossing for Autonomous Vehicles based on Deep Reinforcement Learning}, booktitle = {{IEEE} International Conference on Consumer Electronics - Taiwan, {ICCE-TW} 2019, Yilan, Taiwan, May 20-22, 2019}, pages = {1--2}, publisher = {{IEEE}}, year = {2019}, url = {https://doi.org/10.1109/ICCE-TW46550.2019.8991738}, doi = {10.1109/ICCE-TW46550.2019.8991738}, timestamp = {Thu, 25 Nov 2021 08:23:53 +0100}, biburl = {https://dblp.org/rec/conf/icce-tw/ChenLH19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icce-tw/UtomoH19, author = {Darmawan Utomo and Pao{-}Ann Hsiung}, title = {Anomaly Detection at the IoT Edge using Deep Learning}, booktitle = {{IEEE} International Conference on Consumer Electronics - Taiwan, {ICCE-TW} 2019, Yilan, Taiwan, May 20-22, 2019}, pages = {1--2}, publisher = {{IEEE}}, year = {2019}, url = {https://doi.org/10.1109/ICCE-TW46550.2019.8991929}, doi = {10.1109/ICCE-TW46550.2019.8991929}, timestamp = {Thu, 25 Nov 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icce-tw/UtomoH19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icphys/UtomoYTH19, author = {Darmawan Utomo and Tzu{-}Hsuan Yang and Dao Thi Thanh and Pao{-}Ann Hsiung}, title = {Driver Fatigue Prediction Using Different Sensor Data with Deep Learning}, booktitle = {{IEEE} International Conference on Industrial Cyber Physical Systems, {ICPS} 2019, Taipei, Taiwan, May 6-9, 2019}, pages = {242--247}, publisher = {{IEEE}}, year = {2019}, url = {https://doi.org/10.1109/ICPHYS.2019.8780225}, doi = {10.1109/ICPHYS.2019.8780225}, timestamp = {Wed, 16 Oct 2019 14:14:56 +0200}, biburl = {https://dblp.org/rec/conf/icphys/UtomoYTH19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sensors/ChenH18, author = {Keng{-}Pin Chen and Pao{-}Ann Hsiung}, title = {Vehicle Collision Prediction under Reduced Visibility Conditions}, journal = {Sensors}, volume = {18}, number = {9}, pages = {3026}, year = {2018}, url = {https://doi.org/10.3390/s18093026}, doi = {10.3390/S18093026}, timestamp = {Mon, 29 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sensors/ChenH18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icdsp/HsiungLHU18, author = {Pao{-}Ann Hsiung and Yu{-}Yao Lin and Hsiu{-}Chun Hsu and Darmawan Utomo}, title = {Improving Accuracy in Fatigue Detection/Prediction by Dynamic Weighted Moving Average of Heart-Rate Variabilities}, booktitle = {23rd {IEEE} International Conference on Digital Signal Processing, {DSP} 2018, Shanghai, China, November 19-21, 2018}, pages = {1--5}, publisher = {{IEEE}}, year = {2018}, url = {https://doi.org/10.1109/ICDSP.2018.8631637}, doi = {10.1109/ICDSP.2018.8631637}, timestamp = {Mon, 31 Oct 2022 09:05:23 +0100}, biburl = {https://dblp.org/rec/conf/icdsp/HsiungLHU18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mam/HuangWH17, author = {Chun{-}Hsian Huang and Chien{-}Yu Wang and Pao{-}Ann Hsiung}, title = {Elastic superposition task mapping for NoC-based reconfigurable systems}, journal = {Microprocess. Microsystems}, volume = {51}, pages = {297--312}, year = {2017}, url = {https://doi.org/10.1016/j.micpro.2016.12.002}, doi = {10.1016/J.MICPRO.2016.12.002}, timestamp = {Sat, 22 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/mam/HuangWH17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/desec/ChenH17, author = {Shi{-}Feng Chen and Pao{-}Ann Hsiung}, title = {Landslide prediction with model switching}, booktitle = {{IEEE} Conference on Dependable and Secure Computing, {DSC} 2017, Taipei, Taiwan, August 7-10, 2017}, pages = {232--236}, publisher = {{IEEE}}, year = {2017}, url = {https://doi.org/10.1109/DESEC.2017.8073846}, doi = {10.1109/DESEC.2017.8073846}, timestamp = {Wed, 16 Oct 2019 14:14:49 +0200}, biburl = {https://dblp.org/rec/conf/desec/ChenH17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iccel/HuangCWH17, author = {Ken{-}Shin Huang and Hung{-}Lin Chao and Tsung{-}Tien Wu and Pao{-}Ann Hsiung}, title = {Performance and security oriented Software-Defined Network Interface design}, booktitle = {{IEEE} International Conference on Consumer Electronics, {ICCE} 2017, Las Vegas, NV, USA, January 8-10, 2017}, pages = {129--132}, publisher = {{IEEE}}, year = {2017}, url = {https://doi.org/10.1109/ICCE.2017.7889256}, doi = {10.1109/ICCE.2017.7889256}, timestamp = {Wed, 16 Oct 2019 14:14:51 +0200}, biburl = {https://dblp.org/rec/conf/iccel/HuangCWH17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icwl/HwangHCL17, author = {Ren{-}Hung Hwang and Pao{-}Ann Hsiung and Yau{-}Jane Chen and Chin{-}Feng Lai}, editor = {Tien{-}Chi Huang and Rynson W. H. Lau and Yueh{-}Min Huang and Marc Spaniol and Chun{-}Hung Yuen}, title = {Innovative Project-Based Learning}, booktitle = {Emerging Technologies for Education - Second International Symposium, {SETE} 2017, Held in Conjunction with {ICWL} 2017, Cape Town, South Africa, September 20-22, 2017, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {10676}, pages = {189--194}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-71084-6\_21}, doi = {10.1007/978-3-319-71084-6\_21}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icwl/HwangHCL17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijseke/ChangLCHC16, author = {Chih{-}Hung Chang and Chih{-}Wei Lu and William Cheng{-}Chung Chu and Pao{-}Ann Hsiung and Dong{-}Meau Chang}, title = {SysML-Based Requirement Management to Improve Software Development}, journal = {Int. J. Softw. Eng. Knowl. Eng.}, volume = {26}, number = {3}, pages = {491--512}, year = {2016}, url = {https://doi.org/10.1142/S0218194016500200}, doi = {10.1142/S0218194016500200}, timestamp = {Tue, 29 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ijseke/ChangLCHC16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jsa/HsiungKCH16, author = {Pao{-}Ann Hsiung and Tei{-}Wei Kuo and Yuan{-}Hao Chang and Chun{-}Hsian Huang}, title = {Introduction to the special issue on reconfigurable cyber-physical and embedded system design}, journal = {J. Syst. Archit.}, volume = {62}, pages = {39}, year = {2016}, url = {https://doi.org/10.1016/j.sysarc.2016.01.003}, doi = {10.1016/J.SYSARC.2016.01.003}, timestamp = {Thu, 07 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jsa/HsiungKCH16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jsa/LinTH16, author = {Chih{-}Sheng Lin and Shih{-}Meng Teng and Pao{-}Ann Hsiung}, title = {Auto-tuning for {GPGPU} applications using performance and energy model}, journal = {J. Syst. Archit.}, volume = {62}, pages = {40--53}, year = {2016}, url = {https://doi.org/10.1016/j.sysarc.2015.11.012}, doi = {10.1016/J.SYSARC.2015.11.012}, timestamp = {Mon, 24 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jsa/LinTH16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mam/HsiungCHK16, author = {Pao{-}Ann Hsiung and Yuan{-}Hao Chang and Chun{-}Hsian Huang and Tei{-}Wei Kuo}, title = {Introduction to the special issue on smart reconfigurable system modeling, design, and implementation}, journal = {Microprocess. Microsystems}, volume = {42}, pages = {190}, year = {2016}, url = {https://doi.org/10.1016/j.micpro.2016.03.013}, doi = {10.1016/J.MICPRO.2016.03.013}, timestamp = {Thu, 07 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/mam/HsiungCHK16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mam/ChaoH16, author = {Hung{-}Lin Chao and Pao{-}Ann Hsiung}, title = {A fair energy resource allocation strategy for micro grid}, journal = {Microprocess. Microsystems}, volume = {42}, pages = {235--244}, year = {2016}, url = {https://doi.org/10.1016/j.micpro.2016.02.011}, doi = {10.1016/J.MICPRO.2016.02.011}, timestamp = {Sat, 22 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/mam/ChaoH16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/trets/ChaoTH16, author = {Hung{-}Lin Chao and Sheng{-}Ya Tung and Pao{-}Ann Hsiung}, title = {Dynamic Task Mapping with Congestion Speculation for Reconfigurable Network-on-Chip}, journal = {{ACM} Trans. Reconfigurable Technol. Syst.}, volume = {10}, number = {1}, pages = {3:1--3:25}, year = {2016}, url = {https://doi.org/10.1145/2892633}, doi = {10.1145/2892633}, timestamp = {Sat, 08 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/trets/ChaoTH16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ica3pp/LinLLH16, author = {Feng{-}Sheng Lin and Po{-}Ting Liu and Ming{-}Hua Li and Pao{-}Ann Hsiung}, editor = {Jes{\'{u}}s Carretero and Javier Garc{\'{\i}}a Blas and Ryan K. L. Ko and Peter Mueller and Koji Nakano}, title = {Feedback Control Optimization for Performance and Energy Efficiency on {CPU-GPU} Heterogeneous Systems}, booktitle = {Algorithms and Architectures for Parallel Processing - 16th International Conference, {ICA3PP} 2016, Granada, Spain, December 14-16, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10048}, pages = {388--404}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-49583-5\_29}, doi = {10.1007/978-3-319-49583-5\_29}, timestamp = {Sun, 12 Nov 2023 02:14:42 +0100}, biburl = {https://dblp.org/rec/conf/ica3pp/LinLLH16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iecon/ChaoHYH16, author = {Hung{-}Lin Chao and Pei{-}Chi Hsieh and Tsai{-}Chen Yang and Pao{-}Ann Hsiung}, title = {Model Predictive Optimization for distribution management in smart grids}, booktitle = {{IECON} 2016 - 42nd Annual Conference of the {IEEE} Industrial Electronics Society, Florence, Italy, October 23-26, 2016}, pages = {3984--3989}, publisher = {{IEEE}}, year = {2016}, url = {https://doi.org/10.1109/IECON.2016.7793730}, doi = {10.1109/IECON.2016.7793730}, timestamp = {Wed, 16 Oct 2019 14:14:49 +0200}, biburl = {https://dblp.org/rec/conf/iecon/ChaoHYH16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/itnac/HuangCH16, author = {Ken{-}Shin Huang and Yi{-}Luen Chang and Pao{-}Ann Hsiung}, title = {An efficient and robust method for solving multi-objective constraint-satisfaction problems in Cognitive Radio systems}, booktitle = {26th International Telecommunication Networks and Applications Conference, {ITNAC} 2016, Dunedin, New Zealand, December 7-9, 2016}, pages = {80--82}, publisher = {{IEEE} Computer Society}, year = {2016}, url = {https://doi.org/10.1109/ATNAC.2016.7878787}, doi = {10.1109/ATNAC.2016.7878787}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/itnac/HuangCH16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/itsc/ChenCH16, author = {You{-}Ren Chen and Keng{-}Pin Chen and Pao{-}Ann Hsiung}, title = {Dynamic traffic light optimization and Control System using model-predictive control method}, booktitle = {19th {IEEE} International Conference on Intelligent Transportation Systems, {ITSC} 2016, Rio de Janeiro, Brazil, November 1-4, 2016}, pages = {2366--2371}, publisher = {{IEEE}}, year = {2016}, url = {https://doi.org/10.1109/ITSC.2016.7795937}, doi = {10.1109/ITSC.2016.7795937}, timestamp = {Wed, 16 Oct 2019 14:14:57 +0200}, biburl = {https://dblp.org/rec/conf/itsc/ChenCH16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/compsac/2015, 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 = {39th {IEEE} Annual Computer Software and Applications Conference, {COMPSAC} 2015, Taichung, Taiwan, July 1-5, 2015. Volume 2}, publisher = {{IEEE} Computer Society}, year = {2015}, url = {https://ieeexplore.ieee.org/xpl/conhome/7271781/proceeding}, isbn = {978-1-4673-6563-5}, timestamp = {Wed, 16 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/compsac/2015.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/compsac/2015w, 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 = {39th Annual Computer Software and Applications Conference, {COMPSAC} Workshops 2015, Taichung, Taiwan, July 1-5, 2015}, publisher = {{IEEE} Computer Society}, year = {2015}, url = {https://ieeexplore.ieee.org/xpl/conhome/7271781/proceeding}, timestamp = {Wed, 16 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/compsac/2015w.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/compsac/2015yau, 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 = {39th {IEEE} Annual Computer Software and Applications Conference, {COMPSAC} 2015, Taichung, Taiwan, July 1-5, 2015. Volume 1}, publisher = {{IEEE} Computer Society}, year = {2015}, url = {https://ieeexplore.ieee.org/xpl/conhome/7271781/proceeding}, isbn = {978-1-4673-6564-2}, timestamp = {Wed, 16 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/compsac/2015yau.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/HuangTLLH15, author = {Chun{-}Hsian Huang and Kwuan{-}Wei Tseng and Chih{-}Cheng Lin and Fang{-}Yu Lin and Pao{-}Ann Hsiung}, title = {Virtualization Architecture for NoC-based Reconfigurable Systems}, journal = {CoRR}, volume = {abs/1508.07127}, year = {2015}, url = {http://arxiv.org/abs/1508.07127}, eprinttype = {arXiv}, eprint = {1508.07127}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/HuangTLLH15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijes/ChaoWPLSH14, author = {Hung{-}Lin Chao and Cheng{-}Chien Wu and Chun{-}Yang Peng and Chun{-}Hsien Lu and Jih{-}Sheng Shen and Pao{-}Ann Hsiung}, title = {Dynamic partially reconfigurable architecture for fast Fourier transform computation}, journal = {Int. J. Embed. Syst.}, volume = {6}, number = {2/3}, pages = {207--215}, year = {2014}, url = {https://doi.org/10.1504/IJES.2014.063818}, doi = {10.1504/IJES.2014.063818}, timestamp = {Fri, 11 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ijes/ChaoWPLSH14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tc/ChenYHC14, author = {Yean{-}Ru Chen and Jia{-}Jen Yeh and Pao{-}Ann Hsiung and Sao{-}Jie Chen}, title = {Accelerating Coverage Estimation Through Partial Model Checking}, journal = {{IEEE} Trans. Computers}, volume = {63}, number = {7}, pages = {1613--1625}, year = {2014}, url = {https://doi.org/10.1109/TC.2013.63}, doi = {10.1109/TC.2013.63}, timestamp = {Thu, 08 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tc/ChenYHC14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tvlsi/ShenH14, author = {Jih{-}Sheng Shen and Pao{-}Ann Hsiung}, title = {Reasoning and Learning-Based Dynamic Codec Reconfiguration for Varying Processing Requirements in Network-on-Chip}, journal = {{IEEE} Trans. Very Large Scale Integr. Syst.}, volume = {22}, number = {8}, pages = {1777--1790}, year = {2014}, url = {https://doi.org/10.1109/TVLSI.2013.2278334}, doi = {10.1109/TVLSI.2013.2278334}, timestamp = {Wed, 11 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tvlsi/ShenH14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/vlsisp/LinLHC14, author = {Chao{-}Sheng Lin and Chih{-}Sheng Lin and Pao{-}Ann Hsiung and William C. Chu}, title = {Design Issues in a Performance Monitor for Embedded Multi-core Systems}, journal = {J. Signal Process. Syst.}, volume = {75}, number = {2}, pages = {141--154}, year = {2014}, url = {https://doi.org/10.1007/s11265-013-0771-1}, doi = {10.1007/S11265-013-0771-1}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/vlsisp/LinLHC14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/compsac/ChangLYCYTH14, author = {Chih{-}Hung Chang and Chih{-}Wei Lu and Wen Pin Yang and William Cheng{-}Chung Chu and Chao{-}Tung Yang and Ching{-}Tsorng Tsai and Pao{-}Ann Hsiung}, title = {A SysML Based Requirement Modeling Automatic Transformation Approach}, booktitle = {{IEEE} 38th Annual Computer Software and Applications Conference, {COMPSAC} Workshops 2014, Vasteras, Sweden, July 21-25, 2014}, pages = {474--479}, publisher = {{IEEE} Computer Society}, year = {2014}, url = {https://doi.org/10.1109/COMPSACW.2014.80}, doi = {10.1109/COMPSACW.2014.80}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/compsac/ChangLYCYTH14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fm/LinH14, author = {Shang{-}Wei Lin and Pao{-}Ann Hsiung}, editor = {Cliff B. Jones and Pekka Pihlajasaari and Jun Sun}, title = {Compositional Synthesis of Concurrent Systems through Causal Model Checking and Learning}, booktitle = {{FM} 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8442}, pages = {416--431}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-06410-9\_29}, doi = {10.1007/978-3-319-06410-9\_29}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fm/LinH14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hpcs/ShenHL14, author = {Jih{-}Sheng Shen and Pao{-}Ann Hsiung and Juin{-}Ming Lu}, title = {Reconfigurable Network-on-chip design for heterogeneous multi-core system architecture}, booktitle = {International Conference on High Performance Computing {\&} Simulation, {HPCS} 2014, Bologna, Italy, 21-25 July, 2014}, pages = {523--526}, publisher = {{IEEE}}, year = {2014}, url = {https://doi.org/10.1109/HPCSim.2014.6903730}, doi = {10.1109/HPCSIM.2014.6903730}, timestamp = {Wed, 16 Oct 2019 14:14:55 +0200}, biburl = {https://dblp.org/rec/conf/hpcs/ShenHL14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/intcompsymp/LinTH14, author = {Chih{-}Sheng Lin and Shih{-}Meng Teng and Pao{-}Ann Hsiung}, editor = {William Cheng{-}Chung Chu and Han{-}Chieh Chao and Stephen Jenn{-}Hwa Yang}, title = {Auto-Tuning for {GPGPU} Applications Using Performance and Energy Model}, booktitle = {Intelligent Systems and Applications - Proceedings of the International Computer Symposium {(ICS)} held at Taichung, Taiwan, December 12-14, 2014}, series = {Frontiers in Artificial Intelligence and Applications}, volume = {274}, pages = {195--204}, publisher = {{IOS} Press}, year = {2014}, url = {https://doi.org/10.3233/978-1-61499-484-8-195}, doi = {10.3233/978-1-61499-484-8-195}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/intcompsymp/LinTH14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/intcompsymp/ChaoH14, author = {Hung{-}Lin Chao and Pao{-}Ann Hsiung}, editor = {William Cheng{-}Chung Chu and Han{-}Chieh Chao and Stephen Jenn{-}Hwa Yang}, title = {Micro-grid Design Modeling and Prototyping}, booktitle = {Intelligent Systems and Applications - Proceedings of the International Computer Symposium {(ICS)} held at Taichung, Taiwan, December 12-14, 2014}, series = {Frontiers in Artificial Intelligence and Applications}, volume = {274}, pages = {225--234}, publisher = {{IOS} Press}, year = {2014}, url = {https://doi.org/10.3233/978-1-61499-484-8-225}, doi = {10.3233/978-1-61499-484-8-225}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/intcompsymp/ChaoH14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ithings/HsiehCWH14, author = {Pei{-}Chi Hsieh and You{-}Ren Chen and Wen{-}Hao Wu and Pao{-}Ann Hsiung}, title = {Timing Optimization and Control for Smart Traffic}, booktitle = {2014 {IEEE} International Conference on Internet of Things, {IEEE} Green Computing and Communications, and {IEEE} Cyber, Physical and Social Computing, iThings/GreenCom/CPSCom 2014, Taipei, Taiwan, September 1-3, 2014}, pages = {9--16}, publisher = {{IEEE} Computer Society}, year = {2014}, url = {https://doi.org/10.1109/iThings.2014.11}, doi = {10.1109/ITHINGS.2014.11}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ithings/HsiehCWH14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tsa/ChenCHC14, author = {Yean{-}Ru Chen and Sao{-}Jie Chen and Pao{-}Ann Hsiung and I{-}Hsin Chou}, title = {Unified Security and Safety Risk Assessment - {A} Case Study on Nuclear Power Plant}, booktitle = {2014 International Conference on Trustworthy Systems and their Applications, {TSA} 2014, Taichung, Taiwan, June 9-10, 2014}, pages = {22--28}, publisher = {{IEEE}}, year = {2014}, url = {https://doi.org/10.1109/TSA.2014.13}, doi = {10.1109/TSA.2014.13}, timestamp = {Wed, 16 Oct 2019 14:14:50 +0200}, biburl = {https://dblp.org/rec/conf/tsa/ChenCHC14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cee/ShenHH13, author = {Jih{-}Sheng Shen and Pao{-}Ann Hsiung and Chun{-}Hsian Huang}, title = {Learning-based adaptation to applications and environments in a reconfigurable network-on-chip for reducing crosstalk and dynamic power consumption}, journal = {Comput. Electr. Eng.}, volume = {39}, number = {2}, pages = {453--464}, year = {2013}, url = {https://doi.org/10.1016/j.compeleceng.2012.09.013}, doi = {10.1016/J.COMPELECENG.2012.09.013}, timestamp = {Wed, 19 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/cee/ShenHH13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jsa/LinLLHS13, author = {Chih{-}Sheng Lin and Chao{-}Sheng Lin and Yu{-}Shin Lin and Pao{-}Ann Hsiung and Chihhsiong Shih}, title = {Multi-objective exploitation of pipeline parallelism using clustering, replication and duplication in embedded multi-core systems}, journal = {J. Syst. Archit.}, volume = {59}, number = {10-C}, pages = {1083--1094}, year = {2013}, url = {https://doi.org/10.1016/j.sysarc.2013.05.024}, doi = {10.1016/J.SYSARC.2013.05.024}, timestamp = {Mon, 24 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jsa/LinLLHS13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mam/ChangSH13, author = {J. Morris Chang and Marco D. Santambrogio and Pao{-}Ann Hsiung}, title = {Embedded multicore systems: Architecture, performance and application}, journal = {Microprocess. Microsystems}, volume = {37}, number = {8-B}, pages = {885--886}, year = {2013}, url = {https://doi.org/10.1016/j.micpro.2013.11.001}, doi = {10.1016/J.MICPRO.2013.11.001}, timestamp = {Sat, 22 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/mam/ChangSH13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/trets/HuangH13, author = {Chun{-}Hsian Huang and Pao{-}Ann Hsiung}, title = {Virtualizable hardware/software design infrastructure for dynamically partially reconfigurable systems}, journal = {{ACM} Trans. Reconfigurable Technol. Syst.}, volume = {6}, number = {2}, pages = {11:1--11:18}, year = {2013}, url = {https://doi.org/10.1145/2499625.2499628}, doi = {10.1145/2499625.2499628}, timestamp = {Fri, 24 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/trets/HuangH13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cisis/LinTCH13, author = {Chih{-}Sheng Lin and Shih{-}Meng Teng and Yen{-}Ting Chen and Pao{-}Ann Hsiung}, editor = {Leonard Barolli and Fatos Xhafa and Hsing{-}Chung Chen and Antonio Fernandez G{\'{o}}mez{-}Skarmeta and Farooq Hussain}, title = {Real-Time Object Detection for Multi-Camera on Heterogeneous Parallel Processing Systems}, booktitle = {Seventh International Conference on Complex, Intelligent, and Software Intensive Systems, {CISIS} 2013, Taichung, Taiwan, July 3-5, 2013}, pages = {446--450}, publisher = {{IEEE} Computer Society}, year = {2013}, url = {https://doi.org/10.1109/CISIS.2013.81}, doi = {10.1109/CISIS.2013.81}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cisis/LinTCH13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cisis/KoongSWH13, author = {Chorng{-}Shiuh Koong and Chihhsiong Shih and Chang{-}Chung Wu and Pao{-}Ann Hsiung}, editor = {Leonard Barolli and Fatos Xhafa and Hsing{-}Chung Chen and Antonio Fernandez G{\'{o}}mez{-}Skarmeta and Farooq Hussain}, title = {The Architecture of Parallelized Cloud-Based Automatic Testing System}, booktitle = {Seventh International Conference on Complex, Intelligent, and Software Intensive Systems, {CISIS} 2013, Taichung, Taiwan, July 3-5, 2013}, pages = {467--470}, publisher = {{IEEE} Computer Society}, year = {2013}, url = {https://doi.org/10.1109/CISIS.2013.85}, doi = {10.1109/CISIS.2013.85}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cisis/KoongSWH13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fpt/ChaoPWHLSH13, author = {Hung{-}Lin Chao and Chun{-}Yang Peng and Cheng{-}Chien Wu and Ken{-}Shin Huang and Chun{-}Hsien Lu and Jih{-}Sheng Shen and Pao{-}Ann Hsiung}, title = {Spatio-Temporally-Shared Reconfigurable Fast Fourier Transform architecture design}, booktitle = {2013 International Conference on Field-Programmable Technology, {FPT} 2013, Kyoto, Japan, December 9-11, 2013}, pages = {426--429}, publisher = {{IEEE}}, year = {2013}, url = {https://doi.org/10.1109/FPT.2013.6718405}, doi = {10.1109/FPT.2013.6718405}, timestamp = {Wed, 16 Oct 2019 14:14:52 +0200}, biburl = {https://dblp.org/rec/conf/fpt/ChaoPWHLSH13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/nocs/ChenWHCT13, author = {Yean{-}Ru Chen and Zi{-}Rong Wangt and Pao{-}Ann Hsiung and Sao{-}Jie Chen and Meng{-}Hsun Tsai}, title = {Backward probing deadlock detection for networks-on-chip}, booktitle = {2013 Seventh {IEEE/ACM} International Symposium on Networks-on-Chip (NoCS), Tempe, AZ, USA, April 21-24, 2013}, pages = {1--2}, publisher = {{IEEE}}, year = {2013}, url = {https://doi.org/10.1109/NoCS.2013.6558396}, doi = {10.1109/NOCS.2013.6558396}, timestamp = {Wed, 16 Oct 2019 14:14:48 +0200}, biburl = {https://dblp.org/rec/conf/nocs/ChenWHCT13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/computer/ChuLCCYLH12, author = {William Cheng{-}Chung Chu and Chao{-}Tung Yang and Chih{-}Wei Lu and Chih{-}Hung Chang and Juei{-}Nan Chen and Pao{-}Ann Hsiung and Hahn{-}Ming Lee}, title = {Cloud Computing in Taiwan}, journal = {Computer}, volume = {45}, number = {6}, pages = {48--56}, year = {2012}, url = {https://doi.org/10.1109/MC.2012.188}, doi = {10.1109/MC.2012.188}, timestamp = {Tue, 29 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/computer/ChuLCCYLH12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jirs/ShihKH12, author = {Chihhsiong Shih and Chorng{-}Shiuh Koong and Pao{-}Ann Hsiung}, title = {Billiard Combat Modeling and Simulation Based on Optimal Cue Placement Control and Strategic Planning}, journal = {J. Intell. Robotic Syst.}, volume = {67}, number = {1}, pages = {25--41}, year = {2012}, url = {https://doi.org/10.1007/s10846-011-9639-4}, doi = {10.1007/S10846-011-9639-4}, timestamp = {Tue, 07 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jirs/ShihKH12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jss/KoongSHLCCHY12, author = {Chorng{-}Shiuh Koong and Chihhsiong Shih and Pao{-}Ann Hsiung and Hung{-}Jui Lai and Chih{-}Hung Chang and William C. Chu and Nien{-}Lin Hsueh and Chao{-}Tung Yang}, title = {Automatic testing environment for multi-core embedded software - {ATEMES}}, journal = {J. Syst. Softw.}, volume = {85}, number = {1}, pages = {43--60}, year = {2012}, url = {https://doi.org/10.1016/j.jss.2011.08.030}, doi = {10.1016/J.JSS.2011.08.030}, timestamp = {Tue, 29 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jss/KoongSHLCCHY12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tc/LinH12, author = {Shang{-}Wei Lin and Pao{-}Ann Hsiung}, title = {Model Checking Prioritized Timed Systems}, journal = {{IEEE} Trans. Computers}, volume = {61}, number = {6}, pages = {843--856}, year = {2012}, url = {https://doi.org/10.1109/TC.2011.99}, doi = {10.1109/TC.2011.99}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tc/LinH12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/date/ChaoCTHC12, author = {Hung{-}Lin Chao and Yean{-}Ru Chen and Sheng{-}Ya Tong and Pao{-}Ann Hsiung and Sao{-}Jie Chen}, editor = {Wolfgang Rosenstiel and Lothar Thiele}, title = {Congestion-aware scheduling for NoC-based reconfigurable systems}, booktitle = {2012 Design, Automation {\&} Test in Europe Conference {\&} Exhibition, {DATE} 2012, Dresden, Germany, March 12-16, 2012}, pages = {1561--1566}, publisher = {{IEEE}}, year = {2012}, url = {https://doi.org/10.1109/DATE.2012.6176721}, doi = {10.1109/DATE.2012.6176721}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/date/ChaoCTHC12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icfem/LinLH0D12, author = {Shang{-}Wei Lin and Yang Liu and Pao{-}Ann Hsiung and Jun Sun and Jin Song Dong}, editor = {Toshiaki Aoki and Kenji Taguchi}, title = {Automatic Generation of Provably Correct Embedded Systems}, booktitle = {Formal Methods and Software Engineering - 14th International Conference on Formal Engineering Methods, {ICFEM} 2012, Kyoto, Japan, November 12-16, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7635}, pages = {214--229}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-34281-3\_17}, doi = {10.1007/978-3-642-34281-3\_17}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icfem/LinLH0D12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/paap/LinWH12, author = {Chih{-}Sheng Lin and Bo{-}Hsuan Wang and Pao{-}Ann Hsiung}, title = {Synchronization-Aware Dynamic Thread Scheduling for Improving Performance and Saving Energy in Multi-core Embedded Systems}, booktitle = {Fifth International Symposium on Parallel Architectures, Algorithms and Programming, {PAAP} 2012, Taipei, Taiwan, December 17-20, 2012}, pages = {13--18}, publisher = {{IEEE}}, year = {2012}, url = {https://doi.org/10.1109/PAAP.2012.10}, doi = {10.1109/PAAP.2012.10}, timestamp = {Wed, 16 Oct 2019 14:14:56 +0200}, biburl = {https://dblp.org/rec/conf/paap/LinWH12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/qsic/ChangLCHHKY12, author = {Chih{-}Hung Chang and Chih{-}Wei Lu and William C. Chu and Pao{-}Ann Hsiung and Nien{-}Lin Hsueh and Chorng{-}Shiuh Koong and Chao{-}Tung Yang}, editor = {Antony Tang and Henry Muccini}, title = {An Integrated Development Environment to Support the Multi-core Embedded Systems Development}, booktitle = {2012 12th International Conference on Quality Software, Xi'an, Shaanxi, China, August 27-29, 2012}, pages = {258--264}, publisher = {{IEEE}}, year = {2012}, url = {https://doi.org/10.1109/QSIC.2012.26}, doi = {10.1109/QSIC.2012.26}, timestamp = {Tue, 29 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/qsic/ChangLCHHKY12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/infsof/ChangLH11, author = {Chih{-}Hung Chang and Chih{-}Wei Lu and Pao{-}Ann Hsiung}, title = {Pattern-based framework for modularized software development and evolution robustness}, journal = {Inf. Softw. Technol.}, volume = {53}, number = {4}, pages = {307--316}, year = {2011}, url = {https://doi.org/10.1016/j.infsof.2010.11.006}, doi = {10.1016/J.INFSOF.2010.11.006}, timestamp = {Tue, 29 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/infsof/ChangLH11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/itpro/YangH11, author = {Shu{-}Hui Yang and Pao{-}Ann Hsiung}, title = {Real-Time Services for Special Education}, journal = {{IT} Prof.}, volume = {13}, number = {2}, pages = {14--19}, year = {2011}, url = {https://doi.org/10.1109/MITP.2011.32}, doi = {10.1109/MITP.2011.32}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/itpro/YangH11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jcst/LinLLCH11, author = {Chao{-}Sheng Lin and Chun{-}Hsien Lu and Shang{-}Wei Lin and Yean{-}Ru Chen and Pao{-}Ann Hsiung}, title = {VERTAF/Multi-Core: {A} SysML-Based Application Framework for Multi-Core Embedded Software Development}, journal = {J. Comput. Sci. Technol.}, volume = {26}, number = {3}, pages = {448--462}, year = {2011}, url = {https://doi.org/10.1007/s11390-011-1146-3}, doi = {10.1007/S11390-011-1146-3}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jcst/LinLLCH11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tc/LinH11, author = {Shang{-}Wei Lin and Pao{-}Ann Hsiung}, title = {Counterexample-Guided Assume-Guarantee Synthesis through Learning}, journal = {{IEEE} Trans. Computers}, volume = {60}, number = {5}, pages = {734--750}, year = {2011}, url = {https://doi.org/10.1109/TC.2010.94}, doi = {10.1109/TC.2010.94}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tc/LinH11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tce/YuYHC11, author = {Chu Yu and Mao{-}Hsu Yen and Pao{-}Ann Hsiung and Sao{-}Jie Chen}, title = {A low-power 64-point pipeline {FFT/IFFT} processor for {OFDM} applications}, journal = {{IEEE} Trans. Consumer Electron.}, volume = {57}, number = {1}, pages = {40}, year = {2011}, url = {https://doi.org/10.1109/TCE.2011.5735479}, doi = {10.1109/TCE.2011.5735479}, timestamp = {Thu, 09 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tce/YuYHC11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tii/HuangH11, author = {Chun{-}Hsian Huang and Pao{-}Ann Hsiung}, title = {Model-Based Verification and Estimation Framework for Dynamically Partially Reconfigurable Systems}, journal = {{IEEE} Trans. Ind. Informatics}, volume = {7}, number = {2}, pages = {287--301}, year = {2011}, url = {https://doi.org/10.1109/TII.2011.2123901}, doi = {10.1109/TII.2011.2123901}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tii/HuangH11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aspdac/SuSH11, author = {Wan{-}Ting Su and Jih{-}Sheng Shen and Pao{-}Ann Hsiung}, title = {Network-on-Chip router design with Buffer-Stealing}, booktitle = {Proceedings of the 16th Asia South Pacific Design Automation Conference, {ASP-DAC} 2011, Yokohama, Japan, January 25-27, 2011}, pages = {160--164}, publisher = {{IEEE}}, year = {2011}, url = {https://doi.org/10.1109/ASPDAC.2011.5722177}, doi = {10.1109/ASPDAC.2011.5722177}, timestamp = {Wed, 16 Oct 2019 14:14:52 +0200}, biburl = {https://dblp.org/rec/conf/aspdac/SuSH11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/compsac/ChangLCYHHKS11, author = {Chih{-}Hung Chang and Chih{-}Wei Lu and William C. Chu and Chao{-}Tung Yang and Pao{-}Ann Hsiung and Nien{-}Lin Hsueh and Chorng{-}Shiuh Koong and Kuei{-}Kai Shao}, title = {XML-Based Reusable Component Repository for Embedded Software}, booktitle = {Workshop Proceedings of the 35th Annual {IEEE} International Computer Software and Applications Conference, {COMPSAC} Workshops 2011, Munich, Germany, 18-22 July 2011}, pages = {345--350}, publisher = {{IEEE} Computer Society}, year = {2011}, url = {https://doi.org/10.1109/COMPSACW.2011.64}, doi = {10.1109/COMPSACW.2011.64}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/compsac/ChangLCYHHKS11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icppw/ShihLLHCCHSYK11, author = {Chun{-}Yi Shih and Ming{-}Chih Li and Chao{-}Sheng Lin and Pao{-}Ann Hsiung and Chih{-}Hung Chang and William C. Chu and Nien{-}Lin Hsueh and Chihhsiong Shih and Chao{-}Tung Yang and Chorng{-}Shiuh Koong}, editor = {Jang{-}Ping Sheu and Cho{-}Li Wang}, title = {Adaptive Performance Monitoring for Embedded Multicore Systems}, booktitle = {2011 International Conference on Parallel Processing Workshops, {ICPPW} 2011, Taipei, Taiwan, Sept. 13-16, 2011}, pages = {222--228}, publisher = {{IEEE} Computer Society}, year = {2011}, url = {https://doi.org/10.1109/ICPPW.2011.27}, doi = {10.1109/ICPPW.2011.27}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icppw/ShihLLHCCHSYK11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sac/ChuHLCHC11, author = {Peng{-}Hua Chu and Nien{-}Lin Hsueh and Chien{-}Ching Lee and Min{-}Ju Chuang and Pao{-}Ann Hsiung and William C. Chu}, editor = {William C. Chu and W. Eric Wong and Mathew J. Palakal and Chih{-}Cheng Hung}, title = {A pattern-based verification approach for a multi-core system development}, booktitle = {Proceedings of the 2011 {ACM} Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21 - 24, 2011}, pages = {49--53}, publisher = {{ACM}}, year = {2011}, url = {https://doi.org/10.1145/1982185.1982198}, doi = {10.1145/1982185.1982198}, timestamp = {Tue, 06 Nov 2018 11:06:49 +0100}, biburl = {https://dblp.org/rec/conf/sac/ChuHLCHC11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ssiri/ChangLKCYHHK11, author = {Chih{-}Hung Chang and Chih{-}Wei Lu and Kuo{-}Fong Kao and William C. Chu and Chao{-}Tung Yang and Nien{-}Lin Hsueh and Pao{-}Ann Hsiung and Chorng{-}Shiuh Koong}, title = {A SysML-Based Requirement Supporting Tool for Embedded Software}, booktitle = {Fifth International Conference on Secure Software Integration and Reliability Improvement, {SSIRI} 2011, 27-29 June, 2011, Jeju Island, Korea - Companion Volume}, pages = {202--206}, publisher = {{IEEE} Computer Society}, year = {2011}, url = {https://doi.org/10.1109/SSIRI-C.2011.34}, doi = {10.1109/SSIRI-C.2011.34}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ssiri/ChangLKCYHHK11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/atva/2011, editor = {Tevfik Bultan and Pao{-}Ann Hsiung}, title = {Automated Technology for Verification and Analysis, 9th International Symposium, {ATVA} 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6996}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-24372-1}, doi = {10.1007/978-3-642-24372-1}, isbn = {978-3-642-24371-4}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/atva/2011.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@book{DBLP:books/daglib/0024610, author = {Jih{-}Sheng Shen and Pao{-}Ann Hsiung}, title = {Dynamic Reconfigurable Network-on-Chip Design - Innovations for Computational Processing and Communication}, publisher = {{IGI} Global}, year = {2010}, url = {https://doi.org/10.4018/978-1-61520-807-4}, doi = {10.4018/978-1-61520-807-4}, isbn = {978-1-61520-807-4}, timestamp = {Fri, 28 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/books/daglib/0024610.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijes/LuLH10, author = {Chun{-}Hsien Lu and Hsiao{-}Win Liao and Pao{-}Ann Hsiung}, title = {Multi-objective placement of reconfigurable hardware tasks in real-time system}, journal = {Int. J. Embed. Syst.}, volume = {4}, number = {3/4}, pages = {195--203}, year = {2010}, url = {https://doi.org/10.1504/IJES.2010.039024}, doi = {10.1504/IJES.2010.039024}, timestamp = {Fri, 11 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ijes/LuLH10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jsa/HuangHS10, author = {Chun{-}Hsian Huang and Pao{-}Ann Hsiung and Jih{-}Sheng Shen}, title = {UML-based hardware/software co-design platform for dynamically partially reconfigurable network security systems}, journal = {J. Syst. Archit.}, volume = {56}, number = {2-3}, pages = {88--102}, year = {2010}, url = {https://doi.org/10.1016/j.sysarc.2009.11.007}, doi = {10.1016/J.SYSARC.2009.11.007}, timestamp = {Tue, 16 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jsa/HuangHS10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jsa/HuangHS10a, author = {Chun{-}Hsian Huang and Pao{-}Ann Hsiung and Jih{-}Sheng Shen}, title = {Model-based platform-specific co-design methodology for dynamically partially reconfigurable systems with hardware virtualization and preemption}, journal = {J. Syst. Archit.}, volume = {56}, number = {11}, pages = {545--560}, year = {2010}, url = {https://doi.org/10.1016/j.sysarc.2010.07.007}, doi = {10.1016/J.SYSARC.2010.07.007}, timestamp = {Mon, 24 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jsa/HuangHS10a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/trets/HsiungHSC10, author = {Pao{-}Ann Hsiung and Chun{-}Hsian Huang and Jih{-}Sheng Shen and Cheng{-}Chi Chiang}, title = {Scheduling and Placement of Hardware/Software Real-Time Relocatable Tasks in Dynamically Partially Reconfigurable Systems}, journal = {{ACM} Trans. Reconfigurable Technol. Syst.}, volume = {4}, number = {1}, pages = {9:1--9:32}, year = {2010}, url = {https://doi.org/10.1145/1857927.1857936}, doi = {10.1145/1857927.1857936}, timestamp = {Fri, 24 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/trets/HsiungHSC10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/vlsisp/HsiungLL10, author = {Pao{-}Ann Hsiung and Shang{-}Wei Lin and Chao{-}Sheng Lin}, title = {Real-Time Embedded Software Design for Mobile and Ubiquitous Systems}, journal = {J. Signal Process. Syst.}, volume = {59}, number = {1}, pages = {13--32}, year = {2010}, url = {https://doi.org/10.1007/s11265-008-0268-5}, doi = {10.1007/S11265-008-0268-5}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/vlsisp/HsiungLL10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/compsac/HsuehCHCCCKS10, author = {Nien{-}Lin Hsueh and Peng{-}Hua Chu and Pao{-}Ann Hsiung and Min{-}Ju Chuang and William C. Chu and Chih{-}Hung Chang and Chorng{-}Shiuh Koong and Chihhsiong Shih}, editor = {Sheikh Iqbal Ahamed and Doo{-}Hwan Bae and Sung Deok Cha and Carl K. Chang and Rajesh Subramanyan and W. Eric Wong and Hen{-}I Yang}, title = {Supporting Design Enhancement by Pattern-Based Transformation}, booktitle = {Proceedings of the 34th Annual {IEEE} International Computer Software and Applications Conference, {COMPSAC} 2010, Seoul, Korea, 19-23 July 2010}, pages = {462--467}, publisher = {{IEEE} Computer Society}, year = {2010}, url = {https://doi.org/10.1109/COMPSAC.2010.53}, doi = {10.1109/COMPSAC.2010.53}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/compsac/HsuehCHCCCKS10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/date/ShenHH10, author = {Jih{-}Sheng Shen and Chun{-}Hsian Huang and Pao{-}Ann Hsiung}, editor = {Giovanni De Micheli and Bashir M. Al{-}Hashimi and Wolfgang M{\"{u}}ller and Enrico Macii}, title = {Learning-based adaptation to applications and environments in a reconfigurable Network-on-Chip}, booktitle = {Design, Automation and Test in Europe, {DATE} 2010, Dresden, Germany, March 8-12, 2010}, pages = {381--386}, publisher = {{IEEE} Computer Society}, year = {2010}, url = {https://doi.org/10.1109/DATE.2010.5457173}, doi = {10.1109/DATE.2010.5457173}, timestamp = {Wed, 16 Oct 2019 14:14:53 +0200}, biburl = {https://dblp.org/rec/conf/date/ShenHH10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/nas/YangH10, author = {Shu{-}Hui Yang and Pao{-}Ann Hsiung}, title = {Innovative Application of {RFID} Systems to Special Education Schools}, booktitle = {Fifth International Conference on Networking, Architecture, and Storage, {NAS} 2010, Macau, China, July 15-17, 2010}, pages = {299--304}, publisher = {{IEEE} Computer Society}, year = {2010}, url = {https://doi.org/10.1109/NAS.2010.33}, doi = {10.1109/NAS.2010.33}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/nas/YangH10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/qsic/KoongLCCHHSY10, author = {Chorng{-}Shiuh Koong and Hung{-}Jui Lai and Chih{-}Hung Chang and William C. Chu and Nien{-}Lin Hsueh and Pao{-}Ann Hsiung and Chihhsiong Shih and Chao{-}Tung Yang}, editor = {Ji Wang and W. K. Chan and Fei{-}Ching Kuo}, title = {Supporting Tool for Embedded Software Testing}, booktitle = {Proceedings of the 10th International Conference on Quality Software, {QSIC} 2010, Zhangjiajie, China, 14-15 July 2010}, pages = {481--487}, publisher = {{IEEE} Computer Society}, year = {2010}, url = {https://doi.org/10.1109/QSIC.2010.34}, doi = {10.1109/QSIC.2010.34}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/qsic/KoongLCCHHSY10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sac/ChangLHCSYHK10, author = {Chih{-}Hung Chang and Chih{-}Wei Lu and Nien{-}Lin Hsueh and William C. Chu and Chihhsiong Shih and Chao{-}Tung Yang and Pao{-}Ann Hsiung and Chorng{-}Shiuh Koong}, editor = {Sung Y. Shin and Sascha Ossowski and Michael Schumacher and Mathew J. Palakal and Chih{-}Cheng Hung}, title = {SysML-based requirement modeling environment for multicore embedded system}, booktitle = {Proceedings of the 2010 {ACM} Symposium on Applied Computing (SAC), Sierre, Switzerland, March 22-26, 2010}, pages = {2224--2228}, publisher = {{ACM}}, year = {2010}, url = {https://doi.org/10.1145/1774088.1774555}, doi = {10.1145/1774088.1774555}, timestamp = {Tue, 29 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sac/ChangLHCSYHK10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/samos/ChenHYYSSH10, author = {Sao{-}Jie Chen and Pao{-}Ann Hsiung and Chu Yu and Mao{-}Hsu Yen and Sakir Sezer and Michael J. Schulte and Yu Hen Hu}, editor = {Fadi J. Kurdahi and Jarmo Takala}, title = {{ARAL-CR:} An adaptive reasoning and learning cognitive radio platform}, booktitle = {Proceedings of the 2010 International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation {(IC-SAMOS} 2010), Samos, Greece, July 19-22, 2010}, pages = {324--331}, publisher = {{IEEE}}, year = {2010}, url = {https://doi.org/10.1109/ICSAMOS.2010.5642050}, doi = {10.1109/ICSAMOS.2010.5642050}, timestamp = {Mon, 05 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/samos/ChenHYYSSH10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/uic/HuangSH10, author = {Chun{-}Hsian Huang and Jih{-}Sheng Shen and Pao{-}Ann Hsiung}, editor = {Zhiwen Yu and Ramiro Liscano and Guanling Chen and Daqing Zhang and Xingshe Zhou}, title = {A Self-Adaptive Hardware/Software System Architecture for Ubiquitous Computing Applications}, booktitle = {Ubiquitous Intelligence and Computing - 7th International Conference, {UIC} 2010, Xi'an, China, October 26-29, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6406}, pages = {382--396}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-16355-5\_31}, doi = {10.1007/978-3-642-16355-5\_31}, timestamp = {Wed, 11 Nov 2020 16:58:38 +0100}, biburl = {https://dblp.org/rec/conf/uic/HuangSH10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/esl/HuangH09, author = {Chun{-}Hsian Huang and Pao{-}Ann Hsiung}, title = {Hardware Resource Virtualization for Dynamically Partially Reconfigurable Systems}, journal = {{IEEE} Embed. Syst. Lett.}, volume = {1}, number = {1}, pages = {19--23}, year = {2009}, url = {https://doi.org/10.1109/LES.2009.2028039}, doi = {10.1109/LES.2009.2028039}, timestamp = {Thu, 10 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/esl/HuangH09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jec/HsiungHC09, author = {Pao{-}Ann Hsiung and Chun{-}Hsian Huang and Yuan{-}Hsiu Chen}, title = {Hardware task scheduling and placement in operating systems for dynamically reconfigurable SoC}, journal = {J. Embed. Comput.}, volume = {3}, number = {1}, pages = {53--62}, year = {2009}, url = {https://doi.org/10.3233/JEC-2009-0078}, doi = {10.3233/JEC-2009-0078}, timestamp = {Fri, 07 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jec/HsiungHC09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jss/HsiungLCHSC09, author = {Pao{-}Ann Hsiung and Shang{-}Wei Lin and Yean{-}Ru Chen and Chun{-}Hsian Huang and Chihhsiong Shih and William C. Chu}, title = {Modeling and verification of real-time embedded systems with urgency}, journal = {J. Syst. Softw.}, volume = {82}, number = {10}, pages = {1627--1641}, year = {2009}, url = {https://doi.org/10.1016/j.jss.2009.03.013}, doi = {10.1016/J.JSS.2009.03.013}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jss/HsiungLCHSC09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/compsac/ShihWLHHCKC09, author = {Chihhsiong Shih and Chien{-}Ting Wu and Cheng{-}Yao Lin and Pao{-}Ann Hsiung and Nien{-}Lin Hsueh and Chih{-}Hung Chang and Chorng{-}Shiuh Koong and William C. Chu}, editor = {Sheikh Iqbal Ahamed and Elisa Bertino and Carl K. Chang and Vladimir Getov and Lin Liu and Ming Hua and Rajesh Subramanyan}, title = {A Model-Driven Multicore Software Development Environment for Embedded System}, 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 = {261--268}, publisher = {{IEEE} Computer Society}, year = {2009}, url = {https://doi.org/10.1109/COMPSAC.2009.148}, doi = {10.1109/COMPSAC.2009.148}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/compsac/ShihWLHHCKC09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cse/LuLH09, author = {Chun{-}Hsien Lu and Hsiao{-}Win Liao and Pao{-}Ann Hsiung}, title = {Multi-objective Placement of Reconfigurable Hardware Tasks in Real-Time System}, booktitle = {Proceedings of the 12th {IEEE} International Conference on Computational Science and Engineering, {CSE} 2009, Vancouver, BC, Canada, August 29-31, 2009}, pages = {921--925}, publisher = {{IEEE} Computer Society}, year = {2009}, url = {https://doi.org/10.1109/CSE.2009.489}, doi = {10.1109/CSE.2009.489}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cse/LuLH09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fcs/ChenCHCH09, author = {Yean{-}Ru Chen and To{-}Yu Chen and Pao{-}Ann Hsiung and Sao{-}Jie Chen and Yu Hen Hu}, editor = {Hamid R. Arabnia and George A. Gravvanis}, title = {Compositional Automata Reduction with Non-critical Path Slicing}, booktitle = {Proceedings of the 2009 International Conference on Foundations of Computer Science, {FCS} 2009, July 13-16, 2009, Las Vegas, Nevada, {USA}}, pages = {133--138}, publisher = {{CSREA} Press}, year = {2009}, timestamp = {Wed, 08 Dec 2010 08:03:53 +0100}, biburl = {https://dblp.org/rec/conf/fcs/ChenCHCH09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ica3pp/HsiungLLCLTSSKHCC09, author = {Pao{-}Ann Hsiung and Chao{-}Sheng Lin and Shang{-}Wei Lin and Yean{-}Ru Chen and Chun{-}Hsien Lu and Sheng{-}Ya Tong and Wan{-}Ting Su and Chihhsiong Shih and Chorng{-}Shiuh Koong and Nien{-}Lin Hsueh and Chih{-}Hung Chang and William C. Chu}, editor = {Arrems Hua and Shih{-}Liang Chang}, title = {VERTAF/Multi-Core: {A} SysML-Based Application Framework for Multi-Core Embedded Software Development}, booktitle = {Algorithms and Architectures for Parallel Processing, 9th International Conference, {ICA3PP} 2009, Taipei, Taiwan, June 8-11, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5574}, pages = {303--314}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-03095-6\_30}, doi = {10.1007/978-3-642-03095-6\_30}, timestamp = {Tue, 29 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ica3pp/HsiungLLCLTSSKHCC09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/Hsiung0CHCSKLLT09, author = {Pao{-}Ann Hsiung and Shang{-}Wei Lin and Yean{-}Ru Chen and Nien{-}Lin Hsueh and Chih{-}Hung Chang and Chihhsiong Shih and Chorng{-}Shiuh Koong and Chao{-}Sheng Lin and Chun{-}Hsien Lu and Sheng{-}Ya Tong and Wan{-}Ting Su and William C. Chu}, title = {Model-driven development of multi-core embedded software}, booktitle = {Proceedings of the 2009 {ICSE} Workshop on Multicore Software Engineering, {IWMSE} '09, Vancouver, BC, Canada, May 18, 2009}, pages = {9--16}, publisher = {{IEEE} Computer Society}, year = {2009}, url = {https://doi.org/10.1109/IWMSE.2009.5071378}, doi = {10.1109/IWMSE.2009.5071378}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icse/Hsiung0CHCSKLLT09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iscas/LinYHYYHC09, author = {Jia{-}Wei Lin and Da{-}Tong Yen and Wei{-}Yi Hu and Chu Yu and Mao{-}Hsu Yen and Pao{-}Ann Hsiung and Sao{-}Jie Chen}, title = {A 900 MHz to 5.2 GHz Dual-loop Feedback Multi-band {LNA}}, booktitle = {International Symposium on Circuits and Systems {(ISCAS} 2009), 24-17 May 2009, Taipei, Taiwan}, pages = {1024--1027}, publisher = {{IEEE}}, year = {2009}, url = {https://doi.org/10.1109/ISCAS.2009.5117933}, doi = {10.1109/ISCAS.2009.5117933}, timestamp = {Wed, 16 Oct 2019 14:14:49 +0200}, biburl = {https://dblp.org/rec/conf/iscas/LinYHYYHC09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iscas/HuangH09a, author = {Chun{-}Hsian Huang and Pao{-}Ann Hsiung}, title = {On the Use of a UML-Based {HW/SW} Co-Design Platform for Reconfigurable Cryptographic Systems}, booktitle = {International Symposium on Circuits and Systems {(ISCAS} 2009), 24-17 May 2009, Taipei, Taiwan}, pages = {2221--2224}, publisher = {{IEEE}}, year = {2009}, url = {https://doi.org/10.1109/ISCAS.2009.5118239}, doi = {10.1109/ISCAS.2009.5118239}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iscas/HuangH09a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ispan/ShihLH09, author = {Kai{-}Jung Shih and Yi{-}Hsun Lin and Pao{-}Ann Hsiung}, title = {Quality-of-Service Optimization for Multiple Multimedia Tasks in Real-Time Embedded Systems}, booktitle = {The 10th International Symposium on Pervasive Systems, Algorithms, and Networks, {ISPAN} 2009, Kaohsiung, Taiwan, December 14-16, 2009}, pages = {474--479}, publisher = {{IEEE} Computer Society}, year = {2009}, url = {https://doi.org/10.1109/I-SPAN.2009.143}, doi = {10.1109/I-SPAN.2009.143}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ispan/ShihLH09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/samos/LinYYHCH09, author = {Jui{-}Chieh Lin and Chu Yu and Mao{-}Hsu Yen and Pao{-}Ann Hsiung and Sao{-}Jie Chen and Yu Hen Hu}, editor = {Walid A. Najjar and Michael J. Schulte}, title = {Parallel implementation of convolution encoder for software defined radio on {DSP} architecture}, booktitle = {Proceedings of the 2009 International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation {(IC-SAMOS} 2009), Samos, Greece, July 20-23, 2009}, pages = {180--186}, publisher = {{IEEE}}, year = {2009}, url = {https://doi.org/10.1109/ICSAMOS.2009.5289230}, doi = {10.1109/ICSAMOS.2009.5289230}, timestamp = {Mon, 05 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/samos/LinYYHCH09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cl/HsiungL08, author = {Pao{-}Ann Hsiung and Shang{-}Wei Lin}, title = {Automatic synthesis and verification of real-time embedded software for mobile and ubiquitous systems}, journal = {Comput. Lang. Syst. Struct.}, volume = {34}, number = {4}, pages = {153--169}, year = {2008}, url = {https://doi.org/10.1016/j.cl.2007.06.002}, doi = {10.1016/J.CL.2007.06.002}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/cl/HsiungL08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ejes/HuangH08, author = {Chun{-}Hsian Huang and Pao{-}Ann Hsiung}, title = {Software-Controlled Dynamically Swappable Hardware Design in Partially Reconfigurable Systems}, journal = {{EURASIP} J. Embed. Syst.}, volume = {2008}, year = {2008}, url = {https://doi.org/10.1155/2008/231940}, doi = {10.1155/2008/231940}, timestamp = {Fri, 13 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ejes/HuangH08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/trets/HsiungLL08, author = {Pao{-}Ann Hsiung and Chao{-}Sheng Lin and Chih{-}Feng Liao}, title = {Perfecto: {A} systemc-based design-space exploration framework for dynamically reconfigurable architectures}, journal = {{ACM} Trans. Reconfigurable Technol. Syst.}, volume = {1}, number = {3}, pages = {17:1--17:30}, year = {2008}, url = {https://doi.org/10.1145/1391732.1391737}, doi = {10.1145/1391732.1391737}, timestamp = {Fri, 24 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/trets/HsiungLL08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aPcsac/HuangH08, author = {Chun{-}Hsian Huang and Pao{-}Ann Hsiung}, title = {UML-based hardware/software co-design platform for dynamically partially reconfigurable network security systems}, booktitle = {13th Asia-Pacific Computer Systems Architecture Conference, {ACSAC} 2008, Hsinchu, China, August 4-6, 2008}, pages = {1--8}, publisher = {{IEEE} Computer Society}, year = {2008}, url = {https://doi.org/10.1109/APCSAC.2008.4625436}, doi = {10.1109/APCSAC.2008.4625436}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/aPcsac/HuangH08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aPcsac/ShenHC08, author = {Jih{-}Sheng Shen and Pao{-}Ann Hsiung and Kuei{-}Chung Chang}, title = {A novel spatio-temporal adaptive bus encoding for reducing crosstalk interferences with trade-offs between performance and reliability}, booktitle = {13th Asia-Pacific Computer Systems Architecture Conference, {ACSAC} 2008, Hsinchu, China, August 4-6, 2008}, pages = {1--8}, publisher = {{IEEE} Computer Society}, year = {2008}, url = {https://doi.org/10.1109/APCSAC.2008.4625439}, doi = {10.1109/APCSAC.2008.4625439}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/aPcsac/ShenHC08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijseke/ChenH07, author = {Yean{-}Ru Chen and Pao{-}Ann Hsiung}, title = {Automatic Failure Analysis Using Safecharts}, journal = {Int. J. Softw. Eng. Knowl. Eng.}, volume = {17}, number = {1}, pages = {57--78}, year = {2007}, url = {https://doi.org/10.1142/S0218194007003136}, doi = {10.1142/S0218194007003136}, timestamp = {Wed, 22 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ijseke/ChenH07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tc/HsiungCL07, author = {Pao{-}Ann Hsiung and Yean{-}Ru Chen and Yen{-}Hung Lin}, title = {Model Checking Safety-Critical Systems Using Safecharts}, journal = {{IEEE} Trans. Computers}, volume = {56}, number = {5}, pages = {692--705}, year = {2007}, url = {https://doi.org/10.1109/TC.2007.1021}, doi = {10.1109/TC.2007.1021}, timestamp = {Mon, 13 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tc/HsiungCL07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/codes/HsiungLL07, author = {Pao{-}Ann Hsiung and Pin{-}Hsien Lu and Chih{-}Wen Liu}, editor = {Soonhoi Ha and Kiyoung Choi and Nikil D. Dutt and J{\"{u}}rgen Teich}, title = {Energy efficient co-scheduling in dynamically reconfigurable systems}, booktitle = {Proceedings of the 5th International Conference on Hardware/Software Codesign and System Synthesis, {CODES+ISSS} 2007, Salzburg, Austria, September 30 - October 3, 2007}, pages = {87--92}, publisher = {{ACM}}, year = {2007}, url = {https://doi.org/10.1145/1289816.1289840}, doi = {10.1145/1289816.1289840}, timestamp = {Sat, 05 Sep 2020 18:08:48 +0200}, biburl = {https://dblp.org/rec/conf/codes/HsiungLL07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/euc/HsiungLHFLCCLL07, author = {Pao{-}Ann Hsiung and Shang{-}Wei Lin and Chin{-}Chieh Hung and Jih{-}Ming Fu and Chao{-}Sheng Lin and Cheng{-}Chi Chiang and Kuo{-}Cheng Chiang and Chun{-}Hsien Lu and Pin{-}Hsien Lu}, editor = {Tei{-}Wei Kuo and Edwin Hsing{-}Mean Sha and Minyi Guo and Laurence Tianruo Yang and Zili Shao}, title = {Real-Time Embedded Software Design for Mobile and Ubiquitous 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 = {718--729}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-77092-3\_62}, doi = {10.1007/978-3-540-77092-3\_62}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/euc/HsiungLHFLCCLL07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fpl/HsiungL07, author = {Pao{-}Ann Hsiung and Chih{-}Wen Liu}, editor = {Koen Bertels and Walid A. Najjar and Arjan J. van Genderen and Stamatis Vassiliadis}, title = {Exploiting Hardware and Software Low Power Techniques for Energy Efficient Co-scheduling in Dynamically Reconfigurable Systems}, booktitle = {{FPL} 2007, International Conference on Field Programmable Logic and Applications, Amsterdam, The Netherlands, 27-29 August 2007}, pages = {165--170}, publisher = {{IEEE}}, year = {2007}, url = {https://doi.org/10.1109/FPL.2007.4380642}, doi = {10.1109/FPL.2007.4380642}, timestamp = {Wed, 16 Oct 2019 14:14:53 +0200}, biburl = {https://dblp.org/rec/conf/fpl/HsiungL07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fpt/ShihHH07, author = {Kai{-}Jung Shih and Chin{-}Chieh Hung and Pao{-}Ann Hsiung}, editor = {Hideharu Amano and Andy Ye and Takeshi Ikenaga}, title = {Reconfigurable Hardware Module Sequencer - {A} Tradeoff Between Networked and Data Flow Architectures}, booktitle = {2007 International Conference on Field-Programmable Technology, {ICFPT} 2007, Kitakyushu, Japan, December 12-14, 2007}, pages = {237--240}, publisher = {{IEEE}}, year = {2007}, url = {https://doi.org/10.1109/FPT.2007.4439255}, doi = {10.1109/FPT.2007.4439255}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fpt/ShihHH07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icpads/HsiungL07, author = {Pao{-}Ann Hsiung and Shang{-}Wei Lin}, title = {From {ISA} to application design via {RTOS} - a course design framework for embedded software}, booktitle = {13th International Conference on Parallel and Distributed Systems, {ICPADS} 2007, Hsinchu, Taiwan, December 5-7, 2007}, pages = {1--6}, publisher = {{IEEE} Computer Society}, year = {2007}, url = {https://doi.org/10.1109/ICPADS.2007.4447793}, doi = {10.1109/ICPADS.2007.4447793}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icpads/HsiungL07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iscas/HuangSLCH07, author = {Chun{-}Hsian Huang and Kai{-}Jung Shih and Chao{-}Sheng Lin and Shih{-}Shiue Chang and Pao{-}Ann Hsiung}, title = {Dynamically Swappable Hardware Design in Partially Reconfigurable Systems}, booktitle = {International Symposium on Circuits and Systems {(ISCAS} 2007), 27-20 May 2007, New Orleans, Louisiana, {USA}}, pages = {2742--2745}, publisher = {{IEEE}}, year = {2007}, url = {https://doi.org/10.1109/ISCAS.2007.378620}, doi = {10.1109/ISCAS.2007.378620}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iscas/HuangSLCH07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/safecomp/ChenHC07, author = {Yean{-}Ru Chen and Pao{-}Ann Hsiung and Sao{-}Jie Chen}, editor = {Francesca Saglietti and Norbert Oster}, title = {Modeling and Automatic Failure Analysis of Safety-Critical Systems Using Extended Safecharts}, booktitle = {Computer Safety, Reliability, and Security, 26th International Conference, {SAFECOMP} 2007, Nuremberg, Germany, September 18-21, 2007}, series = {Lecture Notes in Computer Science}, volume = {4680}, pages = {451--464}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-75101-4\_43}, doi = {10.1007/978-3-540-75101-4\_43}, timestamp = {Sat, 30 Sep 2023 09:55:40 +0200}, biburl = {https://dblp.org/rec/conf/safecomp/ChenHC07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/atva/HsiungLCHYSLL06, author = {Pao{-}Ann Hsiung and Shang{-}Wei Lin and Yean{-}Ru Chen and Chun{-}Hsian Huang and Jia{-}Jen Yeh and Hong{-}Yu Sun and Chao{-}Sheng Lin and Hsiao{-}Win Liao}, editor = {Susanne Graf and Wenhui Zhang}, title = {Model Checking Timed Systems with Urgencies}, booktitle = {Automated Technology for Verification and Analysis, 4th International Symposium, {ATVA} 2006, Beijing, China, October 23-26, 2006}, series = {Lecture Notes in Computer Science}, volume = {4218}, pages = {67--81}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/11901914\_8}, doi = {10.1007/11901914\_8}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/atva/HsiungLCHYSLL06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fpl/HsiungHL06, author = {Pao{-}Ann Hsiung and Chun{-}Hsian Huang and Chih{-}Feng Liao}, title = {Perfecto: {A} Systemc-Based Performance Evaluation Framework for Dynamically Partially Reconfigurable Systems}, booktitle = {Proceedings of the 2006 International Conference on Field Programmable Logic and Applications (FPL), Madrid, Spain, August 28-30, 2006}, pages = {1--6}, publisher = {{IEEE}}, year = {2006}, url = {https://doi.org/10.1109/FPL.2006.311213}, doi = {10.1109/FPL.2006.311213}, timestamp = {Wed, 16 Oct 2019 14:14:53 +0200}, biburl = {https://dblp.org/rec/conf/fpl/HsiungHL06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijseke/HsiungK05, author = {Pao{-}Ann Hsiung and Hsin{-}Chieh Kao}, title = {Device-Centric Low-Power Scheduling for Real-Time Embedded Systems}, journal = {Int. J. Softw. Eng. Knowl. Eng.}, volume = {15}, number = {2}, pages = {461--466}, year = {2005}, url = {https://doi.org/10.1142/S021819400500194X}, doi = {10.1142/S021819400500194X}, timestamp = {Wed, 22 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ijseke/HsiungK05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/spe/HsiungLFS05, author = {Pao{-}Ann Hsiung and Trong{-}Yen Lee and Jih{-}Ming Fu and Win{-}Bin See}, title = {{SESAG:} an object-oriented application framework for real-time systems}, journal = {Softw. Pract. Exp.}, volume = {35}, number = {10}, pages = {899--921}, year = {2005}, url = {https://doi.org/10.1002/spe.655}, doi = {10.1002/SPE.655}, timestamp = {Thu, 09 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/spe/HsiungLFS05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/atva/LinHHC05, author = {Shang{-}Wei Lin and Pao{-}Ann Hsiung and Chun{-}Hsian Huang and Yean{-}Ru Chen}, editor = {Doron A. Peled and Yih{-}Kuen Tsay}, title = {Model Checking Prioritized Timed Automata}, booktitle = {Automated Technology for Verification and Analysis, Third International Symposium, {ATVA} 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3707}, pages = {370--384}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11562948\_28}, doi = {10.1007/11562948\_28}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/atva/LinHHC05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/euc/TsengH05, author = {Chih{-}Hao Tseng and Pao{-}Ann Hsiung}, editor = {Laurence Tianruo Yang and Makoto Amamiya and Zhen Liu and Minyi Guo and Franz J. Rammig}, title = {UML-Based Design Flow and Partitioning Methodology for Dynamically Reconfigurable Computing Systems}, booktitle = {Embedded and Ubiquitous Computing - {EUC} 2005, International Conference {EUC} 2005, Nagasaki, Japan, December 6-9, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3824}, pages = {479--488}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11596356\_49}, doi = {10.1007/11596356\_49}, timestamp = {Tue, 14 May 2019 10:00:47 +0200}, biburl = {https://dblp.org/rec/conf/euc/TsengH05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/euc/ChenH05, author = {Yuan{-}Hsiu Chen and Pao{-}Ann Hsiung}, editor = {Laurence Tianruo Yang and Makoto Amamiya and Zhen Liu and Minyi Guo and Franz J. Rammig}, title = {Hardware Task Scheduling and Placement in Operating Systems for Dynamically Reconfigurable SoC}, booktitle = {Embedded and Ubiquitous Computing - {EUC} 2005, International Conference {EUC} 2005, Nagasaki, Japan, December 6-9, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3824}, pages = {489--498}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11596356\_50}, doi = {10.1007/11596356\_50}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/euc/ChenH05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/forte/HsiungL05, author = {Pao{-}Ann Hsiung and Yen{-}Hung Lin}, editor = {Farn Wang}, title = {Modeling and Verification of Safety-Critical Systems Using Safecharts}, booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE} 2005, 25th {IFIP} {WG} 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3731}, pages = {290--304}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11562436\_22}, doi = {10.1007/11562436\_22}, timestamp = {Tue, 14 May 2019 10:00:50 +0200}, biburl = {https://dblp.org/rec/conf/forte/HsiungL05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rtcsa/HsiungL05, author = {Pao{-}Ann Hsiung and Shang{-}Wei Lin}, title = {Model Checking Timed Systems with Priorities}, booktitle = {11th {IEEE} International Conference on Embedded and Real-Time Computing Systems and Applications {(RTCSA} 2005), 17-19 August 2005, Hong Kong, China}, pages = {539--544}, publisher = {{IEEE} Computer Society}, year = {2005}, url = {https://doi.org/10.1109/RTCSA.2005.60}, doi = {10.1109/RTCSA.2005.60}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/rtcsa/HsiungL05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/HsiungL05, author = {Pao{-}Ann Hsiung and Yen{-}Hung Lin}, editor = {William C. Chu and Natalia Juristo Juzgado and W. Eric Wong}, title = {Model-based Verification of Safety-Critical 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 = {596--601}, year = {2005}, timestamp = {Thu, 12 Mar 2020 11:30:49 +0100}, biburl = {https://dblp.org/rec/conf/seke/HsiungL05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tce/LeeH04, author = {Trong{-}Yen Lee and Pao{-}Ann Hsiung}, title = {Embedded software synthesis and prototyping}, journal = {{IEEE} Trans. Consumer Electron.}, volume = {50}, number = {1}, pages = {386--392}, year = {2004}, url = {https://doi.org/10.1109/TCE.2004.1277888}, doi = {10.1109/TCE.2004.1277888}, timestamp = {Thu, 09 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tce/LeeH04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tse/HsiungLTLFS04, author = {Pao{-}Ann Hsiung and Shang{-}Wei Lin and Chih{-}Hao Tseng and Trong{-}Yen Lee and Jih{-}Ming Fu and Win{-}Bin See}, title = {{VERTAF:} An Application Framework for the Design and Verification of Embedded Real-Time Software}, journal = {{IEEE} Trans. Software Eng.}, volume = {30}, number = {10}, pages = {656--674}, year = {2004}, url = {https://doi.org/10.1109/TSE.2004.68}, doi = {10.1109/TSE.2004.68}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tse/HsiungLTLFS04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aplas/HsiungL04, author = {Pao{-}Ann Hsiung and Shang{-}Wei Lin}, editor = {Wei{-}Ngan Chin}, title = {Formal Design and Verification of Real-Time Embedded Software}, booktitle = {Programming Languages and Systems: Second Asian Symposium, {APLAS} 2004, Taipei, Taiwan, November 4-6, 2004. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3302}, pages = {382--397}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30477-7\_26}, doi = {10.1007/978-3-540-30477-7\_26}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aplas/HsiungL04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/atva/LeeH04, author = {Te{-}Chang Lee and Pao{-}Ann Hsiung}, editor = {Farn Wang}, title = {Mutation Coverage Estimation for Model Checking}, booktitle = {Automated Technology for Verification and Analysis: Second International Conference, {ATVA} 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3299}, pages = {354--368}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30476-0\_29}, doi = {10.1007/978-3-540-30476-0\_29}, timestamp = {Tue, 14 May 2019 10:00:49 +0200}, biburl = {https://dblp.org/rec/conf/atva/LeeH04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/euc/HsiungL04, author = {Pao{-}Ann Hsiung and Shang{-}Wei Lin}, editor = {Laurence Tianruo Yang and Minyi Guo and Guang R. Gao and Niraj K. Jha}, title = {Automatic Synthesis and Verification of Real-Time Embedded Software}, booktitle = {Embedded and Ubiquitous Computing, International Conference {EUC} 2004, Aizu-Wakamatsu City, Japan, August 25-27, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3207}, pages = {12--21}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30121-9\_2}, doi = {10.1007/978-3-540-30121-9\_2}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/euc/HsiungL04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/codes/HsiungL03, author = {Pao{-}Ann Hsiung and Cheng{-}Yi Lin}, editor = {Rajesh Gupta and Yukihiro Nakamura and Alex Orailoglu and Pai H. Chou}, title = {Synthesis of real-time embedded software with local and global deadlines}, booktitle = {Proceedings of the 1st {IEEE/ACM/IFIP} International Conference on Hardware/Software Codesign and System Synthesis, {CODES+ISSS} 2003, Newport Beach, CA, USA, October 1-3, 2003}, pages = {114--119}, publisher = {{ACM}}, year = {2003}, url = {https://doi.org/10.1145/944645.944679}, doi = {10.1145/944645.944679}, timestamp = {Mon, 26 Nov 2018 12:14:45 +0100}, biburl = {https://dblp.org/rec/conf/codes/HsiungL03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rtcsa/HsiungLL03, author = {Pao{-}Ann Hsiung and Cheng{-}Yi Lin and Trong{-}Yen Lee}, editor = {Jing Chen and Seongsoo Hong}, title = {Quasi-Dynamic Scheduling for the Synthesis of Real-Time Embedded Software with Local and Global Deadlines}, booktitle = {Real-Time and Embedded Computing Systems and Applications, 9th International Conference, {RTCSA} 2003, Tainan, Taiwan, February 18-20, 2003. Revised Papers}, series = {Lecture Notes in Computer Science}, volume = {2968}, pages = {229--243}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-24686-2\_14}, doi = {10.1007/978-3-540-24686-2\_14}, timestamp = {Tue, 14 May 2019 10:00:43 +0200}, biburl = {https://dblp.org/rec/conf/rtcsa/HsiungLL03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rtcsa/LeeHWS03, author = {Trong{-}Yen Lee and Pao{-}Ann Hsiung and I{-}Mu Wu and Feng{-}Shi Su}, editor = {Jing Chen and Seongsoo Hong}, title = {{RESS:} Real-Time Embedded Software Synthesis and Prototyping Methodology}, booktitle = {Real-Time and Embedded Computing Systems and Applications, 9th International Conference, {RTCSA} 2003, Tainan, Taiwan, February 18-20, 2003. Revised Papers}, series = {Lecture Notes in Computer Science}, volume = {2968}, pages = {529--544}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-24686-2\_33}, doi = {10.1007/978-3-540-24686-2\_33}, timestamp = {Thu, 25 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rtcsa/LeeHWS03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rtcsa/SeeHLC03, author = {Win{-}Bin See and Pao{-}Ann Hsiung and Trong{-}Yen Lee and Sao{-}Jie Chen}, editor = {Jing Chen and Seongsoo Hong}, title = {Software Platform for Embedded Software Development}, booktitle = {Real-Time and Embedded Computing Systems and Applications, 9th International Conference, {RTCSA} 2003, Tainan, Taiwan, February 18-20, 2003. Revised Papers}, series = {Lecture Notes in Computer Science}, volume = {2968}, pages = {545--557}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-24686-2\_34}, doi = {10.1007/978-3-540-24686-2\_34}, timestamp = {Thu, 25 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rtcsa/SeeHLC03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/vlsid/HsiungC03, author = {Pao{-}Ann Hsiung and Shu{-}Yu Cheng}, title = {Automating Formal Modular Verification of Asynchronous Real-Time Embedded Systems}, booktitle = {16th International Conference on {VLSI} Design {(VLSI} Design 2003), 4-8 January 2003, New Delhi, India}, pages = {249--254}, publisher = {{IEEE} Computer Society}, year = {2003}, url = {https://doi.org/10.1109/ICVD.2003.1183145}, doi = {10.1109/ICVD.2003.1183145}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/vlsid/HsiungC03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/vlsid/HsiungS03, author = {Pao{-}Ann Hsiung and Feng{-}Shi Su}, title = {Synthesis of Real-Time Embedded Software by Timed Quasi-Static Scheduling}, booktitle = {16th International Conference on {VLSI} Design {(VLSI} Design 2003), 4-8 January 2003, New Delhi, India}, pages = {579--584}, publisher = {{IEEE} Computer Society}, year = {2003}, url = {https://doi.org/10.1109/ICVD.2003.1183196}, doi = {10.1109/ICVD.2003.1183196}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/vlsid/HsiungS03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tc/WangH02, author = {Farn Wang and Pao{-}Ann Hsiung}, title = {Efficient and User-Friendly Verification}, journal = {{IEEE} Trans. Computers}, volume = {51}, number = {1}, pages = {61--83}, year = {2002}, url = {https://doi.org/10.1109/12.980017}, doi = {10.1109/12.980017}, timestamp = {Sat, 20 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tc/WangH02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apsec/HsiungLS02, author = {Pao{-}Ann Hsiung and Trong{-}Yen Lee and Feng{-}Shi Su}, title = {Formal Synthesis and Code Generation of Real-Time Embedded Software using Time-Extended Quasi-Static Scheduling}, booktitle = {9th Asia-Pacific Software Engineering Conference {(APSEC} 2002), 4-6 December 2002, Gold Coast, Queensland, Australia}, pages = {395--404}, publisher = {{IEEE} Computer Society}, year = {2002}, url = {https://doi.org/10.1109/APSEC.2002.1183009}, doi = {10.1109/APSEC.2002.1183009}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/apsec/HsiungLS02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/codes/SuH02, author = {Feng{-}Shi Su and Pao{-}Ann Hsiung}, editor = {J{\"{o}}rg Henkel and Xiaobo Sharon Hu and Rajesh Gupta and Sri Parameswaran}, title = {Extended quasi-static scheduling for formal synthesis and code generation of embedded software}, booktitle = {Proceedings of the Tenth International Symposium on Hardware/Software Codesign, {CODES} 2002, Estes Park, Colorado, USA, May 6-8, 2002}, pages = {211--216}, publisher = {{ACM}}, year = {2002}, url = {https://doi.org/10.1145/774789.774832}, doi = {10.1145/774789.774832}, timestamp = {Mon, 09 Aug 2021 14:54:01 +0200}, biburl = {https://dblp.org/rec/conf/codes/SuH02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icpads/LeeHC02, author = {Trong{-}Yen Lee and Pao{-}Ann Hsiung and Sao{-}Jie Chen}, title = {{TCN:} Scalable Hierarchical Hypercubes}, booktitle = {9th International Conference on Parallel and Distributed Systems, {ICPADS} 2002, Taiwan, ROC, December 17-20, 2002}, pages = {11--16}, publisher = {{IEEE} Computer Society}, year = {2002}, url = {https://doi.org/10.1109/ICPADS.2002.1183371}, doi = {10.1109/ICPADS.2002.1183371}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icpads/LeeHC02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/isorc/HsiungLSFC02, author = {Pao{-}Ann Hsiung and Trong{-}Yen Lee and Win{-}Bin See and Jih{-}Ming Fu and Sao{-}Jie Chen}, title = {{VERTAF:} An Object-Oriented Application Framework for Embedded Real-Time Systems}, booktitle = {5th International Symposiun on Object Oriented Real-Time Distributed Computing, {ISORC} 2002, Washington, DC, USA, April 29 - May 1, 2002}, pages = {322--329}, publisher = {{IEEE} Computer Society}, year = {2002}, url = {https://doi.org/10.1109/ISORC.2002.1003755}, doi = {10.1109/ISORC.2002.1003755}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/isorc/HsiungLSFC02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/HsiungG02, author = {Pao{-}Ann Hsiung and Chuen{-}Hau Gao}, editor = {Eugene Asarin and Oded Maler and Sergio Yovine}, title = {Formal Synthesis of Real-Time Embedded Software by Time-Memory Scheduling of Colored Time Petri Nets}, booktitle = {Theory and Practice of Timed Systems, Satellite Event of {ETAPS} 2002, Grenoble, France, April 6-7, 2002}, series = {Electronic Notes in Theoretical Computer Science}, volume = {65}, number = {6}, pages = {140--159}, publisher = {Elsevier}, year = {2002}, url = {https://doi.org/10.1016/S1571-0661(04)80474-2}, doi = {10.1016/S1571-0661(04)80474-2}, timestamp = {Mon, 05 Dec 2022 15:10:47 +0100}, biburl = {https://dblp.org/rec/journals/entcs/HsiungG02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/todaes/Hsiung01, author = {Pao{-}Ann Hsiung}, title = {{POSE:} a parallel object-oriented synthesis environment}, journal = {{ACM} Trans. Design Autom. Electr. Syst.}, volume = {6}, number = {1}, pages = {67--92}, year = {2001}, url = {https://doi.org/10.1145/371254.371263}, doi = {10.1145/371254.371263}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/todaes/Hsiung01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apsec/HsiungSLFC01, author = {Pao{-}Ann Hsiung and Win{-}Bin See and Trong{-}Yen Lee and Jih{-}Ming Fu and Sao{-}Jie Chen}, title = {Formal Verification of Embedded Real-Time Software in Component-Based Application Frameworks}, booktitle = {8th Asia-Pacific Software Engineering Conference {(APSEC} 2001), 4-7 December 2001, Macau, China}, pages = {71--78}, publisher = {{IEEE} Computer Society}, year = {2001}, url = {https://doi.org/10.1109/APSEC.2001.991461}, doi = {10.1109/APSEC.2001.991461}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/apsec/HsiungSLFC01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/codes/Hsiung01, author = {Pao{-}Ann Hsiung}, editor = {Jan Madsen and J{\"{o}}rg Henkel and Xiaobo Sharon Hu}, title = {Formal synthesis and code generation of embedded real-time software}, booktitle = {Proceedings of the Ninth International Symposium on Hardware/Software Codesign, {CODES} 2001, Copenhagen, Denmark, 2001}, pages = {208--213}, publisher = {{ACM}}, year = {2001}, url = {https://doi.org/10.1145/371636.371729}, doi = {10.1145/371636.371729}, timestamp = {Mon, 09 Aug 2021 14:54:01 +0200}, biburl = {https://dblp.org/rec/conf/codes/Hsiung01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/forte/Hsiung01, author = {Pao{-}Ann Hsiung}, editor = {Myungchul Kim and Byoungmoon Chin and Sungwon Kang and Danhyung Lee}, title = {Formal Synthesis and Control of Soft Embedded Real-Time Systems}, booktitle = {Formal Techniques for Networked and Distributed Systems, {FORTE} 2001, {IFIP} {TC6/WG6.1} - 21\({}^{\mbox{st}}\) International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea}, series = {{IFIP} Conference Proceedings}, volume = {197}, pages = {35--52}, publisher = {Kluwer}, year = {2001}, timestamp = {Mon, 05 Oct 2020 12:53:08 +0200}, biburl = {https://dblp.org/rec/conf/forte/Hsiung01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rtas/HsiungSGCC01, author = {Pao{-}Ann Hsiung and Feng{-}Shi Su and Chuen{-}Hau Gao and Shu{-}Yu Cheng and Yu{-}Ming Chang}, title = {Verifiable Embedded Real-Time Application Framework}, booktitle = {Proceedings of the 7th {IEEE} Real-Time Technology and Applications Symposium {(RTAS} 2001), 30 May - 1 June 2001, Taipei, Taiwan}, pages = {109--110}, publisher = {{IEEE} Computer Society}, year = {2001}, url = {https://doi.org/10.1109/RTTAS.2001.936258}, doi = {10.1109/RTTAS.2001.936258}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/rtas/HsiungSGCC01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jsa/Hsiung00, author = {Pao{-}Ann Hsiung}, title = {Embedded software verification in hardware-software codesign}, journal = {J. Syst. Archit.}, volume = {46}, number = {15}, pages = {1435--1450}, year = {2000}, url = {https://doi.org/10.1016/S1383-7621(00)00034-5}, doi = {10.1016/S1383-7621(00)00034-5}, timestamp = {Tue, 19 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jsa/Hsiung00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/todaes/Hsiung00, author = {Pao{-}Ann Hsiung}, title = {{CMAPS:} a cosynthesis methodology for application-oriented parallel systems}, journal = {{ACM} Trans. Design Autom. Electr. Syst.}, volume = {5}, number = {1}, pages = {51--81}, year = {2000}, url = {https://doi.org/10.1145/329458.329465}, doi = {10.1145/329458.329465}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/todaes/Hsiung00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/compsac/Hsiung00, author = {Pao{-}Ann Hsiung}, title = {Concurrent Embedded Real-Time Software Verification}, booktitle = {24th International Computer Software and Applications Conference {(COMPSAC} 2000), 25-28 October 2000, Taipei, Taiwan}, pages = {516--521}, publisher = {{IEEE} Computer Society}, year = {2000}, url = {https://doi.org/10.1109/CMPSAC.2000.884775}, doi = {10.1109/CMPSAC.2000.884775}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/compsac/Hsiung00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icdcsw/FuSHCC00, author = {Jih{-}Ming Fu and Win{-}Bin See and Pao{-}Ann Hsiung and Jen{-}Ming Chao and Sao{-}Jie Chen}, editor = {Ten{-}Hwang Lai}, title = {A Java-Based Distributed System Framework for Real-Time Development}, booktitle = {Proceedings of the 2000 {ICDCS} Workshops, April 10, 2000, Taipei, Taiwan, {ROC}}, pages = {B31--B36}, year = {2000}, timestamp = {Mon, 22 Mar 2004 09:40:43 +0100}, biburl = {https://dblp.org/rec/conf/icdcsw/FuSHCC00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rtcsa/HsiungWC00, author = {Pao{-}Ann Hsiung and Farn Wang and Ruey{-}Cheng Chen}, title = {On the verification of Wireless Transaction Protocol using {SGM} and {RED}}, booktitle = {7th International Workshop on Real-Time Computing and Applications Symposium {(RTCSA} 2000), 12-14 December 2000, Cheju Island, South Korea}, pages = {379--383}, publisher = {{IEEE} Computer Society}, year = {2000}, url = {https://doi.org/10.1109/RTCSA.2000.896414}, doi = {10.1109/RTCSA.2000.896414}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/rtcsa/HsiungWC00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/codes/Hsiung99, author = {Pao{-}Ann Hsiung}, editor = {Ahmed Amine Jerraya and Luciano Lavagno and Frank Vahid}, title = {Timing coverification of concurrent embedded real-time systems}, booktitle = {Proceedings of the Seventh International Workshop on Hardware/Software Codesign, {CODES} 1999, Rome, Italy, 1999}, pages = {110--114}, publisher = {{ACM}}, year = {1999}, url = {https://doi.org/10.1145/301177.301501}, doi = {10.1145/301177.301501}, timestamp = {Mon, 09 Aug 2021 14:54:01 +0200}, biburl = {https://dblp.org/rec/conf/codes/Hsiung99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ecrts/Hsiung99, author = {Pao{-}Ann Hsiung}, title = {Hardware-software coverification of concurrent embedded real-time systems}, booktitle = {11th Euromicro Conference on Real-Time Systems {(ECRTS} 1999), 9-11 June 1999, York, England, UK, Proceedings}, pages = {216--223}, publisher = {{IEEE} Computer Society}, year = {1999}, url = {https://doi.org/10.1109/EMRTS.1999.777468}, doi = {10.1109/EMRTS.1999.777468}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ecrts/Hsiung99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/forte/HsiungW99, author = {Pao{-}Ann Hsiung and Farn Wang}, editor = {Jianping Wu and Samuel T. Chanson and Qiang Gao}, title = {User-Friendly Verification}, booktitle = {Formal Methods for Protocol Engineering and Distributed Systems, {FORTE} {XII} / {PSTV} XIX'99, {IFIP} {TC6} {WG6.1} Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols {(FORTE} {XII)} and Protocol Specification, Testing and Verification {(PSTV} XIX), October 5-8, 1999, Beijing, China}, series = {{IFIP} Conference Proceedings}, volume = {156}, pages = {279--294}, publisher = {Kluwer}, year = {1999}, timestamp = {Thu, 03 Jan 2002 11:58:39 +0100}, biburl = {https://dblp.org/rec/conf/forte/HsiungW99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icai/Hsiung99, author = {Pao{-}Ann Hsiung}, editor = {Hamid R. Arabnia}, title = {High Level Design Reuse through Fuzzy Learning}, booktitle = {Proceedings of the International Conference on Artificial Intelligence, {IC-AI} '99, June 28 - July 1, 1999, Las Vegas, Nevada, USA, Volume 2}, pages = {658--661}, publisher = {{CSREA} Press}, year = {1999}, timestamp = {Fri, 26 Mar 2004 14:00:31 +0100}, biburl = {https://dblp.org/rec/conf/icai/Hsiung99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pdpta/Hsiung99, author = {Pao{-}Ann Hsiung}, editor = {Hamid R. Arabnia}, title = {Parallel Object-Oriented Synthesis Methodology}, booktitle = {Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, {PDPTA} 1999, June 28 - Junlly 1, 1999, Las Vegas, Nevada, {USA}}, pages = {2073--2076}, publisher = {{CSREA} Press}, year = {1999}, timestamp = {Tue, 20 Apr 2004 14:47:51 +0200}, biburl = {https://dblp.org/rec/conf/pdpta/Hsiung99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pdpta/LeeHC99, author = {Trong{-}Yen Lee and Pao{-}Ann Hsiung and Sao{-}Jie Chen}, editor = {Hamid R. Arabnia}, title = {A Case Study in Hardware-Software Codesign of Distributed Systems - Vehicle Parking Management System}, booktitle = {Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, {PDPTA} 1999, June 28 - Junlly 1, 1999, Las Vegas, Nevada, {USA}}, pages = {2982--2987}, publisher = {{CSREA} Press}, year = {1999}, timestamp = {Tue, 20 Apr 2004 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/pdpta/LeeHC99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rtcsa/HsiungWK99, author = {Pao{-}Ann Hsiung and Farn Wang and Yue{-}Sun Kuo}, title = {Verification of Concurrent Client-Server Real-Time Scheduling Systems}, booktitle = {6th International Workshop on Real-Time Computing and Applications Symposium {(RTCSA} '99), 13-16 December 1999, Hong Kong, China}, pages = {228--235}, publisher = {{IEEE} Computer Society}, year = {1999}, url = {https://doi.org/10.1109/RTCSA.1999.811234}, doi = {10.1109/RTCSA.1999.811234}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/rtcsa/HsiungWK99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/HsiungWK99, author = {Pao{-}Ann Hsiung and Farn Wang and Yue{-}Sun Kuo}, editor = {Rance Cleaveland}, title = {Scheduling System Verification}, booktitle = {Tools and Algorithms for Construction and Analysis of Systems, 5th International Conference, {TACAS} '99, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1579}, pages = {19--33}, publisher = {Springer}, year = {1999}, url = {https://doi.org/10.1007/3-540-49059-0\_2}, doi = {10.1007/3-540-49059-0\_2}, timestamp = {Tue, 14 May 2019 10:00:53 +0200}, biburl = {https://dblp.org/rec/conf/tacas/HsiungWK99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/todaes/HsiungCLC98, author = {Pao{-}Ann Hsiung and Chung{-}Hwang Chen and Trong{-}Yen Lee and Sao{-}Jie Chen}, title = {{ICOS:} an intelligent concurrent object-oriented synthesis methodology for multiprocessor systems}, journal = {{ACM} Trans. Design Autom. Electr. Syst.}, volume = {3}, number = {2}, pages = {109--135}, year = {1998}, url = {https://doi.org/10.1145/290833.290834}, doi = {10.1145/290833.290834}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/todaes/HsiungCLC98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hase/WangH98, author = {Farn Wang and Pao{-}Ann Hsiung}, title = {Automatic Verification on the Large}, booktitle = {3rd {IEEE} International Symposium on High-Assurance Systems Engineering {(HASE} '98), 13-14 November 1998, Washington, D.C, USA, Proceedings}, pages = {134--141}, publisher = {{IEEE} Computer Society}, year = {1998}, url = {https://doi.org/10.1109/HASE.1998.731605}, doi = {10.1109/HASE.1998.731605}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/hase/WangH98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rtcsa/HsiungW98, author = {Pao{-}Ann Hsiung and Farn Wang}, title = {A State Graph Manipulator Tool for Real-Time System Specification and Verification}, booktitle = {5th International Workshop on Real-Time Computing Systems and Applications {(RTCSA} '98), 27-29 October 1998, Hiroshima, Japan}, pages = {181--188}, publisher = {{IEEE} Computer Society}, year = {1998}, url = {https://doi.org/10.1109/RTCSA.1998.726415}, doi = {10.1109/RTCSA.1998.726415}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/rtcsa/HsiungW98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tools/Hsiung98, author = {Pao{-}Ann Hsiung}, title = {RTFrame: An Object-Oriented Application Framework for Real-Time Applications}, booktitle = {{TOOLS} 1998: 27th International Conference on Technology of Object-Oriented Languages and Systems, 22-25 September 1998, Beijing, China}, pages = {138--147}, publisher = {{IEEE} Computer Society}, year = {1998}, url = {https://doi.org/10.1109/TOOLS.1998.713595}, doi = {10.1109/TOOLS.1998.713595}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/tools/Hsiung98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tools/Hsiung98a, author = {Pao{-}Ann Hsiung}, title = {Parallel Object-Oriented Synthesis Environment Based On Message-Passing}, booktitle = {{TOOLS} 1998: 27th International Conference on Technology of Object-Oriented Languages and Systems, 22-25 September 1998, Beijing, China}, pages = {251}, publisher = {{IEEE} Computer Society}, year = {1998}, url = {https://doi.org/10.1109/TOOLS.1998.713607}, doi = {10.1109/TOOLS.1998.713607}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/tools/Hsiung98a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/amast/WangH97, author = {Farn Wang and Pao{-}Ann Hsiung}, editor = {Michael Johnson}, title = {Parametric Analysis of Computer Systems}, booktitle = {Algebraic Methodology and Software Technology, 6th International Conference, {AMAST} '97, Sydney, Australia, December 13-17, 1997, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1349}, pages = {539--553}, publisher = {Springer}, year = {1997}, url = {https://doi.org/10.1007/BFb0000495}, doi = {10.1007/BFB0000495}, timestamp = {Tue, 14 May 2019 10:00:38 +0200}, biburl = {https://dblp.org/rec/conf/amast/WangH97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tools/HsiungLC97, author = {Pao{-}Ann Hsiung and Trong{-}Yen Lee and Sao{-}Jie Chen}, title = {Object-Oriented Technology Transfer to Multiprocessor System-Level Synthesis}, booktitle = {{TOOLS} 1997: 24th International Conference on Technology of Object-Oriented Languages and Systems, September 1997, Beijing, China}, pages = {284--293}, publisher = {{IEEE} Computer Society}, year = {1997}, url = {https://doi.org/10.1109/TOOLS.1997.713555}, doi = {10.1109/TOOLS.1997.713555}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/tools/HsiungLC97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tvlsi/HsiungCHW96, author = {Pao{-}Ann Hsiung and Sao{-}Jie Chen and Tsung{-}Chien Hu and Shih{-}Chiang Wang}, title = {{PSM:} an object-oriented synthesis approach to multiprocessor system design}, journal = {{IEEE} Trans. Very Large Scale Integr. Syst.}, volume = {4}, number = {1}, pages = {83--97}, year = {1996}, url = {https://doi.org/10.1109/92.486083}, doi = {10.1109/92.486083}, timestamp = {Wed, 11 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tvlsi/HsiungCHW96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
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.