Follow
Hsin-Hung Lin
Hsin-Hung Lin
Institute of Information Science, Academia Sinica
Verified email at iis.sinica.edu.tw
Title
Cited by
Cited by
Year
Verifying Curve25519 Software
YF Chen, CH Hsu, HH Lin, P Schwabe, MH Tsai, BY Wang, BY Yang, ...
Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications …, 2014
622014
Efficient handling of string-number conversion
PA Abdulla, MF Atig, YF Chen, BP Diep, J Dolby, P Janků, HH Lin, L Holík, ...
Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020
192020
SMT-based Bounded Model Checking for OSEK/VDX Applications
H Zhang, T Aoki, HH Lin, M Zhang, Y Chiba, K Yatake
142013
Automated adaptor generation for services based on pushdown model checking
HH Lin, T Aoki, T Katayama
2011 18th IEEE International Conference and Workshops on Engineering of …, 2011
112011
Requirements development of energy management system for a unit in smart campus
S Kusakabe, HH Lin, Y Omori, K Araki
2014 IIAI 3rd international conference on advanced applied informatics, 405-410, 2014
102014
Dark Energy Survey year 3 results: Constraints on cosmological parameters and galaxy-bias models from galaxy clustering and galaxy-galaxy lensing using the redMaGiC sample
S Pandey, E Krause, J DeRose, N MacCrann, B Jain, M Crocce, J Blazek, ...
Physical Review D 106 (4), 043520, 2022
92022
Model checking of in-vehicle networking systems with CAN and FlexRay
X Guo, T Aoki, HH Lin
Journal of Systems and Software 161, 110461, 2020
82020
An UPPAAL Framework for Model Checking Automotive Systems with FlexRay Protocol
X Guo, HH Lin, K Yatake, T Aoki
Second International Workshop on Formal Techniques for Safety-Critical …, 2013
72013
Generating supportive hypotheses in introducing formal methods using a software processes improvement model
S Kusakabe, HH Lin, Y Omori, K Araki
Proceedings of the 2nd FME Workshop on Formal Methods in Software …, 2014
62014
An approach for checking OSEK/VDX applications
H Zhang, T Aoki, K Yatake, M Zhang, HH Lin
62013
Non-regular adaptation of services using model checking
HH Lin, T Aoki, T Katayama
2010 13th IEEE International Symposium on Object/Component/Service-Oriented …, 2010
62010
Dark Energy Survey Year 3 results: calibration of lens sample redshift distributions using clustering redshifts with BOSS/eBOSS
R Cawthon, J Elvin-Poole, A Porredon, M Crocce, G Giannini, M Gatti, ...
Monthly Notices of the Royal Astronomical Society 513 (4), 5517-5539, 2022
52022
A reusable framework for modeling and verifying in-vehicle networking systems in the presence of CAN and FlexRay
X Guo, HH Lin, T Aoki, Y Chiba
2017 24th Asia-Pacific Software Engineering Conference (APSEC), 140-149, 2017
42017
Dark Energy Survey Year 3 results: Cosmological constraints from galaxy clustering and galaxy-galaxy lensing using the MagLim lens sample
A Porredon, M Crocce, J Elvin-Poole, R Cawthon, G Giannini, ...
arXiv preprint arXiv:2105.13546, 2021
32021
Visualizing centrality of process area networks in CMMI-DEV
S Kusakabe, HH Lin, Y Omori, K Araki
Proceedings of the 2015 International Conference on Software and System …, 2015
32015
Using hazard analysis STAMP/STPA in developing model-oriented formal specification toward reliable cloud service
A Hata, K Araki, S Kusakabe, Y Omori, HH Lin
2015 International Conference on Platform Technology and Service, 23-24, 2015
32015
Releasing VDM proof obligations with SMT solvers
HH Lin, BY Wang
Proceedings of the 15th ACM-IEEE International Conference on Formal Methods …, 2017
22017
Towards Verifying VDM using SPIN⋆
HH Lin, Y Omori, S Kusakabe, K Araki
Fourth International Workshop on Formal Techniques for Safety-Critical …, 2015
22015
Developing core software requirements of energy management system for smart campus with advanced software engineering
S Kusakabe, HH Lin, Y Omori, K Araki
International Journal of New Computer Architectures and Their Applications 4 …, 2014
12014
Automated Adaptor Generation for Behavioral Mismatching Services Based on Pushdown Model Checking
HH Lin, T Aoki, T Katayama
IEICE transactions on information and systems 95 (7), 1882-1893, 2012
12012
The system can't perform the operation now. Try again later.
Articles 1–20