Hsin-Hung Lin

Orcid: 0000-0001-5518-4669

According to our database1, Hsin-Hung Lin authored at least 43 papers between 2003 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Exploring Virtual Collaboration Platforms for Product Design Courses: A Preliminary Evaluation Study.
Proceedings of the Innovative Technologies and Learning - 7th International Conference, 2024

2021
Evaluation of Operational Monsoon Moisture Surveillance and Severe Weather Prediction Utilizing COSMIC-2/FORMOSAT-7 Radio Occultation Observations.
Remote. Sens., 2021

Cryo-EM Analyses Permit Visualization of Structural Polymorphism of Biological Macromolecules.
Frontiers Bioinform., 2021

Application of People Flow and Face Mask Detection for Smart Anti-Epidemic.
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.
Symmetry, 2020

Model checking of in-vehicle networking systems with CAN and FlexRay.
J. Syst. Softw., 2020

A Chinese Math Word Problem Solving System Based on Linguistic Theory and Non-statistical Approach.
Proceedings of the 32nd Conference on Computational Linguistics and Speech Processing, 2020

Efficient handling of string-number conversion.
Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

IoT Training System for Smart Manufacturing Education.
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.
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.
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.
Symmetry, 2019

The Spotlight Effects of LED Lighting Design for Deep Aquarium Tanks.
Proceedings of the IEEE 2nd International Conference on Knowledge Innovation and Invention, 2019

Effects of Expandable Optical Design for LED Lighting Products.
Proceedings of the IEEE 2nd International Conference on Knowledge Innovation and Invention, 2019

J-ReCoVer: Java Reducer Commutativity Verifier.
Proceedings of the Programming Languages and Systems - 17th Asian Symposium, 2019

2018
Application of ergonomics to the design of suction fans.
Proceedings of the 1st IEEE International Conference on Knowledge Innovation and Invention, 2018

Creativity is designed to be researched in grey relational.
Proceedings of the 1st IEEE International Conference on Knowledge Innovation and Invention, 2018

2017
Releasing VDM proof obligations with SMT solvers.
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.
Proceedings of the 24th Asia-Pacific Software Engineering Conference, 2017

2016
Automobile shape formation and simulation by a computer-aided systematic method.
Concurr. Eng. Res. Appl., 2016

2015
Visualizing centrality of process area networks in CMMI-DEV.
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.
Proceedings of the Internet of Things. IoT Infrastructures, 2015

Towards Verifying VDM Using SPIN.
Proceedings of the Formal Techniques for Safety-Critical Systems, 2015

2014
Testing Distributional Hypothesis in Patent Translation.
Proceedings of the 26th Conference on Computational Linguistics and Speech Processing, 2014

Requirements Development of Energy Management System for a Unit in Smart Campus.
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.
Proceedings of the 2nd FME Workshop on Formal Methods in Software Engineering, 2014

Verifying Curve25519 Software.
Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications Security, 2014

2013
An Approach for Checking OSEK/VDX Applications.
Proceedings of the 2013 13th International Conference on Quality Software, 2013

Designing mobile support care for patients with chronic kidney disease.
Proceedings of the IEEE Third International Conference on Consumer Electronics, 2013

An UPPAAL Framework for Model Checking Automotive Systems with FlexRay Protocol.
Proceedings of the Formal Techniques for Safety-Critical Systems, 2013

SMT-Based Bounded Model Checking for OSEK/VDX Applications.
Proceedings of the 20th Asia-Pacific Software Engineering Conference, 2013

A Web-based Service for Patients in Taiwan with Chronic Kidney Disease.
Proceedings of the AMIA 2013, 2013

2012
Timing Analysis of System Initialization and Crash Recovery for a Segment-Based Flash Translation Layer.
ACM Trans. Design Autom. Electr. Syst., 2012

Automated Adaptor Generation for Behavioral Mismatching Services Based on Pushdown Model Checking.
IEICE Trans. Inf. Syst., 2012

2011
Automated Adaptor Generation for Services Based on Pushdown Model Checking.
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.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2010

Non-regular Adaptation of Services Using Model Checking.
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.
Proceedings of the Computational Collective Intelligence. Technologies and Applications, 2010

An innovative breathing game applied with textile sensors.
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.
Proceedings of the International Conference on Bioinformatics & Computational Biology, 2009

2007
A New Motion-Tolerant Dissolve Detection Algorithm for Video Content Analysis.
Proceedings of the 2007 International Conference on Image Processing, 2007

Care for Asthma via Mobile Phone (CAMP).
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.
Proceedings of the 23rd International Conference on Distributed Computing Systems Workshops (ICDCS 2003 Workshops), 2003


  Loading...