| 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 | 65 | 2014 |
| 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 | 34 | 2022 |
| 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 | 25 | 2020 |
| 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 | 19 | 2022 |
| SMT-based Bounded Model Checking for OSEK/VDX Applications H Zhang, T Aoki, HH Lin, M Zhang, Y Chiba, K Yatake | 14 | 2013 |
| 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, ... Physical Review D 106 (10), 103530, 2022 | 13 | 2022 |
| 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 | 11 | 2011 |
| 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 | 10 | 2014 |
| 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 | 9 | 2020 |
| 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 | 8 | 2013 |
| 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 | 7 | 2014 |
| 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 | 6 | 2015 |
| An approach for checking OSEK/VDX applications H Zhang, T Aoki, K Yatake, M Zhang, HH Lin | 6 | 2013 |
| 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 | 6 | 2010 |
| 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 | 4 | 2017 |
| Releasing VDM proof obligations with SMT solvers HH Lin, BY Wang Proceedings of the 15th ACM-IEEE International Conference on Formal Methods …, 2017 | 3 | 2017 |
| 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 | 3 | 2015 |
| Towards Verifying VDM using SPIN⋆ HH Lin, Y Omori, S Kusakabe, K Araki Fourth International Workshop on Formal Techniques for Safety-Critical …, 2015 | 2 | 2015 |
| 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 | 1 | 2014 |
| 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 | 1 | 2012 |
Toshiaki AokiJAISTVerified email at jaist.ac.jp
