Hsin-Hung Lin

Publication Activity (10 Years)

Years Active: 2007-2024
Publications (10 Years): 23

Top Topics

Hierarchical Problem Solving

Lung Cancer Patients

Grey Relational

Top Venues

Publications

Kai-Chun Hou, Chi-Hsiung Chen, Ching-Hsien Hsu, Hsin-Hung Lin
Exploring Virtual Collaboration Platforms for Product Design Courses: A Preliminary Evaluation Study. ICITL (2) (2024)
Wei-Hau Chang, Shih-Hsin Huang, Hsin-Hung Lin, Szu-Chi Chung, I-Ping Tu
Cryo-EM Analyses Permit Visualization of Structural Polymorphism of Biological Macromolecules. Frontiers Bioinform. 1 (2021)
Yu-Chun Chen, Chih-Chien Tsai, Yi-Chao Wu, An-Hsiang Wang, Chieh-Ju Wang, Hsin-Hung Lin, Dan-Rong Chen, Yi-Chiang Yu
Evaluation of Operational Monsoon Moisture Surveillance and Severe Weather Prediction Utilizing COSMIC-2/FORMOSAT-7 Radio Occultation Observations. Remote. Sens. 13 (15) (2021)
Chien-Hao Tseng, Meng-Wei Lin, Jyh-Horng Wu, Chia-Chien Hsieh, Hsin-Hung Lin
Application of People Flow and Face Mask Detection for Smart Anti-Epidemic. ISPACS (2021)
Jui-Hung Cheng, Hsin-Hung Lin, Jia-Hong Shen, Bai-Chau Chen, Zih-Ling He
IoT Training System for Smart Manufacturing Education. ICKII (2020)
Hsin-Hung Lin, Jui-Hung Cheng
Application of Fuzzy Decision Model Selection of Product in Human Factors Design. HCI (28) (2020)
Xiaoyun Guo, Toshiaki Aoki, Hsin-Hung Lin
Model checking of in-vehicle networking systems with CAN and FlexRay. J. Syst. Softw. 161 (2020)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Bui Phi Diep, Julian Dolby, Petr Janku, Hsin-Hung Lin, Lukás Holík, Wei-Cheng Wu
Efficient handling of string-number conversion. PLDI (2020)
Jui-Hung Cheng, Hsin-Hung Lin
Development and Technical Experience of Plastic Injection Machine for STEAM Education. HCI (3) (2020)
Wen-Jet Wang, Chia-Jung Chen, Chien-Yu Lai, Chia-Ming Lee, Hsin-Hung Lin
A Chinese Math Word Problem Solving System Based on Linguistic Theory and Non-statistical Approach. ROCLING (2020)
Hsin-Hung Lin, Jui-Hung Cheng, Chi-Hsiung Chen
Application of Gray Relational Analysis and Computational Fluid Dynamics to the Statistical Techniques of Product Designs. Symmetry 12 (2) (2020)
Yu-Fang Chen, Chang-Yi Chiang, Lukás Holík, Wei-Tsung Kao, Hsin-Hung Lin, Tomás Vojnar, Yean-Fu Wen, Wei-Cheng Wu
J-ReCoVer: Java Reducer Commutativity Verifier. APLAS (2019)
Jui-Hung Cheng, Hsin-Hung Lin, Chin-Chen Yen
The Spotlight Effects of LED Lighting Design for Deep Aquarium Tanks. ICKII (2019)
Hsin-Hung Lin, Jui-Hung Cheng
Application of the Symmetric Model to the Design Optimization of Fan Outlet Grills. Symmetry 11 (8) (2019)
Jui-Hung Cheng, Hsin-Hung Lin, Chin-Chen Yen
Effects of Expandable Optical Design for LED Lighting Products. ICKII (2019)
Hsin-Hung Lin, Ya-Yu Huang
Application of ergonomics to the design of suction fans. ICKII (2018)
Hsin-Hung Lin, Jui-Hung Cheng
Creativity is designed to be researched in grey relational. ICKII (2018)
Hsin-Hung Lin, Bow-Yaw Wang
Releasing VDM proof obligations with SMT solvers. MEMOCODE (2017)
Xiaoyun Guo, Hsin-Hung Lin, Toshiaki Aoki, Yuki Chiba
A Reusable Framework for Modeling and Verifying In-Vehicle Networking Systems in the Presence of CAN and FlexRay. APSEC (2017)
Shih-Wen Hsiao, Hsin-Hung Lin, Chi-Hung Lo, Ya-Chuan Ko
Automobile shape formation and simulation by a computer-aided systematic method. Concurr. Eng. Res. Appl. 24 (3) (2016)
Hsin-Hung Lin, Yoichi Omori, Shigeru Kusakabe, Keijiro Araki
Towards Verifying VDM Using SPIN. FTSCS (2015)
Shu-Hui Hung, Hsin-Hung Lin, Chin-Shian Wong, Ian Kuo, James Pang
An Inhaler Dose Recording Service Designed for Patients Who Need Chronic Respiratory Disease Control. IoT 360 (1) (2015)
Shigeru Kusakabe, Hsin-Hung Lin, Yoichi Omori, Keijiro Araki
Visualizing centrality of process area networks in CMMI-DEV. ICSSP (2015)
Shigeru Kusakabe, Hsin-Hung Lin, Yoichi Omori, Keijiro Araki
Generating supportive hypotheses in introducing formal methods using a software processes improvement model. FormaliSE (2014)
Yu-Fang Chen, Chang-Hong Hsu, Hsin-Hung Lin, Peter Schwabe, Ming-Hsien Tsai, Bow-Yaw Wang, Bo-Yin Yang, Shang-Yi Yang
Verifying Curve25519 Software. CCS (2014)
Shigeru Kusakabe, Hsin-Hung Lin, Yoichi Omori, Keijiro Araki
Requirements Development of Energy Management System for a Unit in Smart Campus. IIAI-AAI (2014)
Hsin-Hung Lin, Yves Lepage
Testing Distributional Hypothesis in Patent Translation. ROCLING (2014)
Xiaoyun Guo, Hsin-Hung Lin, Kenro Yatake, Toshiaki Aoki
An UPPAAL Framework for Model Checking Automotive Systems with FlexRay Protocol. FTSCS (2013)
Shu-Hui Hung, Hsin-Hung Lin, Chin-Hsian Wang
A Web-based Service for Patients in Taiwan with Chronic Kidney Disease. AMIA (2013)
Haitao Zhang, Toshiaki Aoki, Kenro Yatake, Min Zhang, Hsin-Hung Lin
An Approach for Checking OSEK/VDX Applications. QSIC (2013)
Shu-Hui Hung, Hsin-Hung Lin, Chin-Hsien Wang, Peng-Hsiang Hung
Designing mobile support care for patients with chronic kidney disease. ICCE-Berlin (2013)
Haitao Zhang, Toshiaki Aoki, Hsin-Hung Lin, Min Zhang, Yuki Chiba, Kenro Yatake
SMT-Based Bounded Model Checking for OSEK/VDX Applications. APSEC (1) (2013)
Chin-Hsien Wu, Hsin-Hung Lin
Timing Analysis of System Initialization and Crash Recovery for a Segment-Based Flash Translation Layer. ACM Trans. Design Autom. Electr. Syst. 17 (2) (2012)
Hsin-Hung Lin, Toshiaki Aoki, Takuya Katayama
Automated Adaptor Generation for Behavioral Mismatching Services Based on Pushdown Model Checking. IEICE Trans. Inf. Syst. (7) (2012)
Hsin-Hung Lin, Toshiaki Aoki, Takuya Katayama
Automated Adaptor Generation for Services Based on Pushdown Model Checking. ECBS (2011)
Chang-Ming Yang, Ching-Wen Yang, Shu-Hui Hung, Chin-Hsian Wang, Hsin-Hung Lin, Wai-Chi Fang, Wei-Chin Huang, Yueh-Ming Huang
An innovative breathing game applied with textile sensors. ICE-GIC (2010)
Kei-Chen Tung, Jonathan Chun-Hsien Lu, Hsin-Hung Lin
A Distributed Sleep Scheduling Algorithm with Range Adjustment for Wireless Sensor Networks. ICCCI (3) (2010)
Chin-Hsien Wu, Hsin-Hung Lin, Tei-Wei Kuo
An Adaptive Flash Translation Layer for High-Performance Storage Systems. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 29 (6) (2010)
Hsin-Hung Lin, Toshiaki Aoki, Takuya Katayama
Non-regular Adaptation of Services Using Model Checking. ISORC (2010)
Shu-Hui Hung, Chin-Hsian Wang, Hsin-Hung Lin, Jen-Hsian Cheng, Chang-Ming Yang, Jer-Nan Juang
An Introduction to the Bike-riders' Safety Ride-free Platform. BIOCOMP (2009)
Hsin-Hung Lin, Jin-Jang Leou, Shyi-Shiun Kuo
A New Motion-Tolerant Dissolve Detection Algorithm for Video Content Analysis. IPCV (2007)
Shu-Hui Hung, Huan Chin Tseng, Wen Ho Tsai, Hsin-Hung Lin, Jen Hsien Cheng, Yi-Ming Chang
Care for Asthma via Mobile Phone (CAMP). HealthGrid (2007)