Hsin-Hung Lin

According to our database, Hsin-Hung Lin authored at least 42 papers between 2003 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

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

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

Proceedings of the International Symposium on Intelligent Signal Processing and Communication Systems, 2021

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

Model checking of in-vehicle networking systems with CAN and FlexRay.

Xiaoyun Guo, Toshiaki Aoki, Hsin-Hung Lin

J. Syst. Softw., 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

Proceedings of the 32nd Conference on Computational Linguistics and Speech Processing, 2020

Efficient handling of string-number conversion.

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

Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

IoT Training System for Smart Manufacturing Education.

Jui-Hung Cheng, Hsin-Hung Lin, Jia-Hong Shen, Bai-Chau Chen, Zih-Ling He

Proceedings of the 3rd IEEE International Conference on Knowledge Innovation and Invention, 2020

Application of Fuzzy Decision Model Selection of Product in Human Factors Design.

Hsin-Hung Lin, Jui-Hung Cheng

Proceedings of the Human Aspects of IT for the Aged Population. Healthy and Active Aging, 2020

Development and Technical Experience of Plastic Injection Machine for STEAM Education.

Jui-Hung Cheng, Hsin-Hung Lin

Proceedings of the Human-Computer Interaction. Human Values and Quality of Life, 2020

2019

Application of the Symmetric Model to the Design Optimization of Fan Outlet Grills.

Hsin-Hung Lin, Jui-Hung Cheng

Symmetry, 2019

The Spotlight Effects of LED Lighting Design for Deep Aquarium Tanks.

Jui-Hung Cheng, Hsin-Hung Lin, Chin-Chen Yen

Proceedings of the IEEE 2nd International Conference on Knowledge Innovation and Invention, 2019

Effects of Expandable Optical Design for LED Lighting Products.

Jui-Hung Cheng, Hsin-Hung Lin, Chin-Chen Yen

Proceedings of the IEEE 2nd International Conference on Knowledge Innovation and Invention, 2019

J-ReCoVer: Java Reducer Commutativity Verifier.

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

Proceedings of the Programming Languages and Systems - 17th Asian Symposium, 2019

2018

Application of ergonomics to the design of suction fans.

Hsin-Hung Lin, Ya-Yu Huang

Proceedings of the 1st IEEE International Conference on Knowledge Innovation and Invention, 2018

Creativity is designed to be researched in grey relational.

Hsin-Hung Lin, Jui-Hung Cheng

Proceedings of the 1st IEEE International Conference on Knowledge Innovation and Invention, 2018

2017

Releasing VDM proof obligations with SMT solvers.

Hsin-Hung Lin, Bow-Yaw Wang

Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2017

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

Proceedings of the 24th Asia-Pacific Software Engineering Conference, 2017

2016

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

2015

Visualizing centrality of process area networks in CMMI-DEV.

Shigeru Kusakabe, Hsin-Hung Lin, Yoichi Omori, Keijiro Araki

Proceedings of the 2015 International Conference on Software and System Process, 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

Proceedings of the Internet of Things. IoT Infrastructures, 2015

Towards Verifying VDM Using SPIN.

Hsin-Hung Lin, Yoichi Omori, Shigeru Kusakabe, Keijiro Araki

Proceedings of the Formal Techniques for Safety-Critical Systems, 2015

2014

Testing Distributional Hypothesis in Patent Translation.

Hsin-Hung Lin, Yves Lepage

Proceedings of the 26th Conference on Computational Linguistics and Speech Processing, 2014

Requirements Development of Energy Management System for a Unit in Smart Campus.

Shigeru Kusakabe, Hsin-Hung Lin, Yoichi Omori, Keijiro Araki

Proceedings of the IIAI 3rd International Conference on Advanced Applied Informatics, 2014

Generating supportive hypotheses in introducing formal methods using a software processes improvement model.

Shigeru Kusakabe, Hsin-Hung Lin, Yoichi Omori, Keijiro Araki

Proceedings of the 2nd FME Workshop on Formal Methods in Software Engineering, 2014

Verifying Curve25519 Software.

Yu-Fang Chen, Chang-Hong Hsu, Hsin-Hung Lin, Peter Schwabe, Ming-Hsien Tsai, Bow-Yaw Wang, Bo-Yin Yang, Shang-Yi Yang

Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications Security, 2014

2013

An Approach for Checking OSEK/VDX Applications.

Haitao Zhang, Toshiaki Aoki, Kenro Yatake, Min Zhang, Hsin-Hung Lin

Proceedings of the 2013 13th International Conference on Quality Software, 2013

Designing mobile support care for patients with chronic kidney disease.

Shu-Hui Hung, Hsin-Hung Lin, Chin-Hsien Wang, Peng-Hsiang Hung

Proceedings of the IEEE Third International Conference on Consumer Electronics, 2013

An UPPAAL Framework for Model Checking Automotive Systems with FlexRay Protocol.

Xiaoyun Guo, Hsin-Hung Lin, Kenro Yatake, Toshiaki Aoki

Proceedings of the Formal Techniques for Safety-Critical Systems, 2013

SMT-Based Bounded Model Checking for OSEK/VDX Applications.

Haitao Zhang, Toshiaki Aoki, Hsin-Hung Lin, Min Zhang, Yuki Chiba, Kenro Yatake

Proceedings of the 20th Asia-Pacific Software Engineering Conference, 2013

A Web-based Service for Patients in Taiwan with Chronic Kidney Disease.

Shu-Hui Hung, Hsin-Hung Lin, Chin-Hsian Wang

Proceedings of the AMIA 2013, 2013

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

Automated Adaptor Generation for Behavioral Mismatching Services Based on Pushdown Model Checking.

Hsin-Hung Lin, Toshiaki Aoki, Takuya Katayama

IEICE Trans. Inf. Syst., 2012

2011

Automated Adaptor Generation for Services Based on Pushdown Model Checking.

Hsin-Hung Lin, Toshiaki Aoki, Takuya Katayama

Proceedings of the 18th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, 2011

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

Non-regular Adaptation of Services Using Model Checking.

Hsin-Hung Lin, Toshiaki Aoki, Takuya Katayama

Proceedings of the 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2010

A Distributed Sleep Scheduling Algorithm with Range Adjustment for Wireless Sensor Networks.

Kei-Chen Tung, Jonathan Chun-Hsien Lu, Hsin-Hung Lin

Proceedings of the Computational Collective Intelligence. Technologies and Applications, 2010

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

Proceedings of the 2010 International IEEE Consumer Electronics Society's Games Innovations Conference, 2010

2009

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

Proceedings of the International Conference on Bioinformatics & Computational Biology, 2009

2007

A New Motion-Tolerant Dissolve Detection Algorithm for Video Content Analysis.

Hsin-Hung Lin, Jin-Jang Leou, Shyi-Shiun Kuo

Proceedings of the 2007 International Conference on Image Processing, 2007

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

Proceedings of the From Genes to Personalized HealthCare: Grid Solutions for the Life Sciences, 2007

2003

A Real-Time Scheduling Approach for a Web-Based Rapid Prototyping Manufacturing Platform.

Hsin-Hung Lin, Chih-wen Hsueh, Chung-hung Chen

Proceedings of the 23rd International Conference on Distributed Computing Systems Workshops (ICDCS 2003 Workshops), 2003