| 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 | 77 | 2014 |
| 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 | 43 | 2020 |
| 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 | 16 | 2020 |
| SMT-based Bounded Model Checking for OSEK/VDX Applications H Zhang, T Aoki, HH Lin, M Zhang, Y Chiba, K Yatake | 16 | 2013 |
| 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 | 12 | 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 | 11 | 2015 |
| 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 | 10 | 2013 |
| 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 | 10 | 2011 |
| 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 |
| 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 | 6 | 2017 |
| 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 |
| 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 |
| Releasing VDM proof obligations with SMT solvers HH Lin, BY Wang Proceedings of the 15th ACM-IEEE International Conference on Formal Methods …, 2017 | 2 | 2017 |
| 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 |
| Towards Model Checking VDM Specifications HH Lin, Y Omori, S Kusakabe, K Araki IEICE Technical Report; IEICE Tech. Rep. 114 (23), 19-24, 2014 | 1 | 2014 |
| 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 |
| J-ReCoVer: Java Reducer Commutativity Verifier YF Chen, CY Chiang, L Holík, WT Kao, HH Lin, T Vojnar, YF Wen, WC Wu Programming Languages and Systems: 17th Asian Symposium, APLAS 2019, Nusa …, 2019 | | 2019 |
| Centrality analysis of related process areas in a process improvement model CMMI-DEV S Kusakabe, HH Lin, Y Omori, K Araki Computer Software 32 (3), 126-136, 2015 | | 2015 |
Toshiaki AokiJAISTPatvirtintas el. paštas jaist.ac.jp
