A Real-Time Scheduling Approach for a Web-Based Rapid Prototyping Manufacturing Platform. - Hsin-Hung Lin; Chih-wen Hsueh; Chung-hung Chen (ICDCS Workshops, 2003)

Care for Asthma via Mobile Phone (CAMP). - Shu-Hui Hung; Huan Chin Tseng; Wen Ho Tsai; Hsin-Hung Lin; Jen Hsien Cheng; Yi-Ming Chang (HealthGrid, 2007)

A New Motion-Tolerant Dissolve Detection Algorithm for Video Content Analysis. - Hsin-Hung Lin; Jin-Jang Leou; Shyi-Shiun Kuo (IPCV, 2007)

An Introduction to the Bike-riders' Safety Ride-free Platform. - Shu-Hui Hung; Chin-Hsian Wang; Hsin-Hung Lin; Jen-Hsian Cheng; Chang-Ming Yang; Jer-Nan Juang (BIOCOMP, 2009)

An innovative breathing game applied with textile sensors. - Chang-Ming Yang; Ching-Wen Yang; Shu-Hui Hung; Chin-Hsian Wang; Hsin-Hung Lin; Wai-Chi Fang; Wei-Chin Huang; Yueh-Ming Huang (ICE-GIC, 2010)

A Distributed Sleep Scheduling Algorithm with Range Adjustment for Wireless Sensor Networks. - Kei-Chen Tung; Jonathan Chun-Hsien Lu; Hsin-Hung Lin (ICCCI (3), 2010)

Non-regular Adaptation of Services Using Model Checking. - Hsin-Hung Lin; Toshiaki Aoki; Takuya Katayama (ISORC, 2010)

An Adaptive Flash Translation Layer for High-Performance Storage Systems. - Chin-Hsien Wu; Hsin-Hung Lin; Tei-Wei Kuo (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2010)

Automated Adaptor Generation for Services Based on Pushdown Model Checking. - Hsin-Hung Lin; Toshiaki Aoki; Takuya Katayama (ECBS, 2011)

Automated Adaptor Generation for Behavioral Mismatching Services Based on Pushdown Model Checking. - Hsin-Hung Lin; Toshiaki Aoki; Takuya Katayama (IEICE Trans. Inf. Syst., 2012)

Timing Analysis of System Initialization and Crash Recovery for a Segment-Based Flash Translation Layer. - Chin-Hsien Wu; Hsin-Hung Lin (ACM Trans. Design Autom. Electr. Syst., 2012)

A Web-based Service for Patients in Taiwan with Chronic Kidney Disease. - Shu-Hui Hung; Hsin-Hung Lin; Chin-Hsian Wang (AMIA, 2013)

SMT-Based Bounded Model Checking for OSEK/VDX Applications. - Haitao Zhang; Toshiaki Aoki; Hsin-Hung Lin; Min Zhang 002; Yuki Chiba; Kenro Yatake (APSEC (1), 2013)

An UPPAAL Framework for Model Checking Automotive Systems with FlexRay Protocol. - Xiaoyun Guo; Hsin-Hung Lin; Kenro Yatake; Toshiaki Aoki (FTSCS, 2013)

Designing mobile support care for patients with chronic kidney disease. - Shu-Hui Hung; Hsin-Hung Lin; Chin-Hsien Wang; Peng-Hsiang Hung (ICCE-Berlin, 2013)

An Approach for Checking OSEK/VDX Applications. - Haitao Zhang; Toshiaki Aoki; Kenro Yatake; Min Zhang 002; Hsin-Hung Lin (QSIC, 2013)

Verifying Curve25519 Software. - Yu-Fang Chen 001; Chang-Hong Hsu; Hsin-Hung Lin; Peter Schwabe; Ming-Hsien Tsai 001; Bow-Yaw Wang; Bo-Yin Yang; Shang-Yi Yang (CCS, 2014)

Generating supportive hypotheses in introducing formal methods using a software processes improvement model. - Shigeru Kusakabe; Hsin-Hung Lin; Yoichi Omori; Keijiro Araki (FormaliSE, 2014)

Requirements Development of Energy Management System for a Unit in Smart Campus. - Shigeru Kusakabe; Hsin-Hung Lin; Yoichi Omori; Keijiro Araki (IIAI-AAI, 2014)

Testing Distributional Hypothesis in Patent Translation. - Hsin-Hung Lin; Yves Lepage (ROCLING, 2014)

Towards Verifying VDM Using SPIN. - Hsin-Hung Lin; Yoichi Omori; Shigeru Kusakabe; Keijiro Araki (FTSCS, 2015)

An Inhaler Dose Recording Service Designed for Patients Who Need Chronic Respiratory Disease Control. - Shu-Hui Hung; Hsin-Hung Lin; Chin-Shian Wong; Ian Kuo; James Pang (IoT 360 (1), 2015)

Visualizing centrality of process area networks in CMMI-DEV. - Shigeru Kusakabe; Hsin-Hung Lin; Yoichi Omori; Keijiro Araki (ICSSP, 2015)

Automobile shape formation and simulation by a computer-aided systematic method. - Shih-Wen Hsiao; Hsin-Hung Lin; Chi-Hung Lo; Ya-Chuan Ko (Concurr. Eng. Res. Appl., 2016)

A Reusable Framework for Modeling and Verifying In-Vehicle Networking Systems in the Presence of CAN and FlexRay. - Xiaoyun Guo; Hsin-Hung Lin; Toshiaki Aoki; Yuki Chiba (APSEC, 2017)

Releasing VDM proof obligations with SMT solvers. - Hsin-Hung Lin; Bow-Yaw Wang (MEMOCODE, 2017)

Creativity is designed to be researched in grey relational. - Hsin-Hung Lin; Jui-Hung Cheng (ICKII, 2018)

Application of ergonomics to the design of suction fans. - Hsin-Hung Lin; Ya-Yu Huang (ICKII, 2018)

J-ReCoVer: Java Reducer Commutativity Verifier. - Yu-Fang Chen 001; Chang-Yi Chiang; Lukás Holík; Wei-Tsung Kao; Hsin-Hung Lin; Tomás Vojnar; Yean-Fu Wen; Wei-Cheng Wu (APLAS, 2019)

Effects of Expandable Optical Design for LED Lighting Products. - Jui-Hung Cheng; Hsin-Hung Lin; Chin-Chen Yen (ICKII, 2019)

The Spotlight Effects of LED Lighting Design for Deep Aquarium Tanks. - Jui-Hung Cheng; Hsin-Hung Lin; Chin-Chen Yen (ICKII, 2019)

Application of the Symmetric Model to the Design Optimization of Fan Outlet Grills. - Hsin-Hung Lin; Jui-Hung Cheng (Symmetry, 2019)

Development and Technical Experience of Plastic Injection Machine for STEAM Education. - Jui-Hung Cheng; Hsin-Hung Lin (HCI (3), 2020)

Application of Fuzzy Decision Model Selection of Product in Human Factors Design. - Hsin-Hung Lin; Jui-Hung Cheng (HCI (28), 2020)

IoT Training System for Smart Manufacturing Education. - Jui-Hung Cheng; Hsin-Hung Lin; Jia-Hong Shen; Bai-Chau Chen; Zih-Ling He (ICKII, 2020)

Efficient handling of string-number conversion. - Parosh Aziz Abdulla; Mohamed Faouzi Atig; Yu-Fang Chen 001; Bui Phi Diep; Julian Dolby; Petr Janku; Hsin-Hung Lin; Lukás Holík; Wei-Cheng Wu (PLDI, 2020)

A Chinese Math Word Problem Solving System Based on Linguistic Theory and Non-statistical Approach. - Wen-Jet Wang; Chia-Jung Chen; Chien-Yu Lai; Chia-Ming Lee; Hsin-Hung Lin (ROCLING, 2020)

Model checking of in-vehicle networking systems with CAN and FlexRay. - Xiaoyun Guo; Toshiaki Aoki; Hsin-Hung Lin (J. Syst. Softw., 2020)

Application of Gray Relational Analysis and Computational Fluid Dynamics to the Statistical Techniques of Product Designs. - Hsin-Hung Lin; Jui-Hung Cheng; Chi-Hsiung Chen (Symmetry, 2020)

Application of People Flow and Face Mask Detection for Smart Anti-Epidemic. - Chien-Hao Tseng; Meng-Wei Lin; Jyh-Horng Wu; Chia-Chien Hsieh; Hsin-Hung Lin (ISPACS, 2021)

Cryo-EM Analyses Permit Visualization of Structural Polymorphism of Biological Macromolecules. - Wei-Hau Chang; Shih-Hsin Huang; Hsin-Hung Lin; Szu-Chi Chung; I-Ping Tu (Frontiers Bioinform., 2021)

Evaluation of Operational Monsoon Moisture Surveillance and Severe Weather Prediction Utilizing COSMIC-2/FORMOSAT-7 Radio Occultation Observations. - Yu-Chun Chen; Chih-Chien Tsai; Yi-Chao Wu; An-Hsiang Wang; Chieh-Ju Wang; Hsin-Hung Lin; Dan-Rong Chen; Yi-Chiang Yu (Remote. Sens., 2021)

Exploring Virtual Collaboration Platforms for Product Design Courses: A Preliminary Evaluation Study. - Kai-Chun Hou; Chi-Hsiung Chen; Ching-Hsien Hsu; Hsin-Hung Lin (ICITL (2), 2024)