| Anomaly detection for a water treatment system using unsupervised machine learning J Inoue, Y Yamagata, Y Chen, CM Poskitt, J Sun 2017 IEEE international conference on data mining workshops (ICDMW), 1058-1065, 2017 | 451 | 2017 |
| Mint: Java multi-stage programming using weak separability E Westbrook, M Ricken, J Inoue, Y Yao, T Abdelatif, W Taha ACM Sigplan Notices 45 (6), 400-411, 2010 | 71 | 2010 |
| Mathematical equations as executable models of mechanical systems Y Zhu, E Westbrook, J Inoue, A Chapoutot, C Salama, M Peralta, T Martin, ... Proceedings of the 1st ACM/IEEE International Conference on Cyber-Physical …, 2010 | 55 | 2010 |
| Acumen: An open-source testbed for cyber-physical systems research W Taha, A Duracz, Y Zeng, K Atkinson, FA Bartha, P Brauner, J Duracz, ... International Internet of Things Summit, 118-130, 2015 | 44 | 2015 |
| ARCH-COMP 2021 Category Report: Falsification with Validation of Results. G Ernst, P Arcaini, I Bennani, A Chandratre, A Donzé, G Fainekos, ... ARCH@ ADHS, 133-152, 2021 | 43 | 2021 |
| Arch-comp 2022 category report: Falsification with ubounded resources G Ernst, P Arcaini, G Fainekos, F Formica, J Inoue, T Khandait, ... Proceedings of 9th International Workshop on Applied Verification of …, 2022 | 36 | 2022 |
| Reasoning about multi-stage programs JUN INOUE, W TAHA Journal of Functional Programming 26, 2016 | 35* | 2016 |
| PENCIL: Towards a platform-neutral compute intermediate language for DSLs R Baghdadi, A Cohen, S Guelton, S Verdoolaege, J Inoue, T Grosser, ... arXiv preprint arXiv:1302.5586, 2013 | 26 | 2013 |
| Staging beyond terms: Prospects and challenges J Inoue, O Kiselyov, Y Kameyama Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and …, 2016 | 18 | 2016 |
| Runtime monitoring for concurrent systems Y Yamagata, C Artho, M Hagiya, J Inoue, L Ma, Y Tanabe, M Yamamoto International Conference on Runtime Verification, 386-403, 2016 | 14 | 2016 |
| Implementing haptic feedback environments from high-level descriptions AY Zhu, J Inoue, ML Peralta, W Taha, MK O'Malley, D Powell 2009 International Conference on Embedded Software and Systems, 482-489, 2009 | 8 | 2009 |
| Multi-stage programming for mainstream languages E Westbrook, M Ricken, J Inoue, Y Yao, T Abdelatif, W Taha Technical Report TR09-02, Rice University, 2009 | 3 | 2009 |
| Detecting errors in a humanoid robot J Inoue, F Kanehiro, M Morisawa, A Mori 2018 IEEE International Conference on Software Quality, Reliability and …, 2018 | 2 | 2018 |
| Operational semantics of process monitors J Inoue, Y Yamagata International Conference on Runtime Verification, 403-409, 2017 | 2 | 2017 |
| Sundials/ML: interfacing with numerical solvers T Bourke, J Inoue, M Pouzet ACM Workshop on ML, 2016 | 2 | 2016 |
| Supercompiling with Staging J Inoue Fourth International Valentin Turchin Workshop on Metacomputation, 2014 | 2 | 2014 |
| Quantum Programming Without the Quantum Physics J Inoue Asian Symposium on Programming Languages and Systems, 155-175, 2024 | 1 | 2024 |
| Sundials/ML: Connecting OCaml to the Sundials Numeric Solvers T Bourke, J Inoue, M Pouzet arXiv preprint arXiv:1812.11668, 2018 | 1 | 2018 |
| The next stage of staging J Inoue, O Kiselyov, Y Kameyama Proceedings of the 17th workshop on Programming and Programming Languages (PPL), 2015 | 1 | 2015 |
| Multi-stage Programming for Mainstream Languages T Abdelatif, J Inoue, M Ricken, W Taha, E Westbrook, Y Yao | 1 | 2009 |
