AD Scientific Index
 Open Nav
Login Login Pricing & Plans Pricing & Plans
Jun Inoue

Jun Inoue

National Institute of Advanced Industrial Science & Technology (AIST) - / Japan
Engineering & Technology / Computer Science
AD Scientific Index ID: 4460280
産業技術総合研究所
person_outline Jun Inoue's MOST POPULAR ARTICLES
1-) Anomaly detection for a water treatment system using unsupervised machine learning 2017 IEEE international conference on data mining workshops (ICDMW), 1058-1065, 2017
2-) Mint: Java multi-stage programming using weak separability ACM Sigplan Notices 45 (6), 400-411, 2010
3-) Mathematical equations as executable models of mechanical systems Proceedings of the 1st ACM/IEEE International Conference on Cyber-Physical …, 2010
4-) Acumen: An open-source testbed for cyber-physical systems research International Internet of Things Summit, 118-130, 2015
5-) ARCH-COMP 2021 Category Report: Falsification with Validation of Results. ARCH@ ADHS, 133-152, 2021