Implementing Haptic Feedback Environments from High-Level Descriptions. - Angela Yun Zhu; Jun Inoue 001; Marisa Linnea Peralta; Walid Taha; Marcia K. O'Malley; Dane Powell (ICESS, 2009)

Mathematical equations as executable models of mechanical systems. - Angela Yun Zhu; Edwin M. Westbrook; Jun Inoue 001; Alexandre Chapoutot; Cherif R. Salama; Marisa Linnea Peralta; Travis Martin; Walid Taha; Marcia K. O'Malley; Robert Cartwright; Aaron D. Ames; Raktim Bhattacharya (ICCPS, 2010)

Mint: Java multi-stage programming using weak separability. - Edwin M. Westbrook; Mathias Ricken; Jun Inoue 001; Yilong Yao; Tamer Abdelatif; Walid Taha (PLDI, 2010)

PENCIL: Towards a Platform-Neutral Compute Intermediate Language for DSLs - Riyadh Baghdadi; Albert Cohen 001; Serge Guelton; Sven Verdoolaege; Jun Inoue 001; Tobias Grosser; Georgia Kouveli; Alexey Kravets; Anton Lokhmotov; Cedric Nugteren; Fraser Waters; Alastair F. Donaldson (CoRR, 2013)

Acumen: An Open-Source Testbed for Cyber-Physical Systems Research. - Walid Taha; Adam Duracz; Yingfu Zeng; Kevin Atkinson; Ferenc A. Bartha; Paul Brauner; Jan Duracz; Fei Xu; Robert Cartwright; Michal Konecný; Eugenio Moggi; Jawad Masood; et al. (IoT 360 (1), 2015)

Staging beyond terms: prospects and challenges. - Jun Inoue 001; Oleg Kiselyov; Yukiyoshi Kameyama (PEPM, 2016)

Runtime Monitoring for Concurrent Systems. - Yoriyuki Yamagata; Cyrille Artho; Masami Hagiya; Jun Inoue 001; Lei Ma 003; Yoshinori Tanabe; Mitsuharu Yamamoto (RV, 2016)

Sundials/ML: Connecting OCaml to the Sundials Numeric Solvers. - Timothy Bourke; Jun Inoue 001; Marc Pouzet (ML/OCAML, 2016)

Reasoning about multi-stage programs. - Jun Inoue 001; Walid Taha (J. Funct. Program., 2016)

Anomaly Detection for a Water Treatment System Using Unsupervised Machine Learning. - Jun Inoue 001; Yoriyuki Yamagata; Yuqi Chen 001; Christopher M. Poskitt; Jun Sun 001 (ICDM Workshops, 2017)

Operational Semantics of Process Monitors. - Jun Inoue 001; Yoriyuki Yamagata (RV, 2017)

Detecting Errors in a Humanoid Robot. - Jun Inoue 001; Fumio Kanehiro; Mitsuharu Morisawa; Akira Mori (QRS, 2018)

ARCH-COMP 2021 Category Report: Falsification with Validation of Results. - Gidon Ernst; Paolo Arcaini; Ismail Bennani; Aniruddh Chandratre; Alexandre Donzé; Georgios Fainekos; Goran Frehse; Khouloud Gaaloul; Jun Inoue 001; Tanmay Khandait; Logan Mathesen; Claudio Menghi; et al. (ARCH@ADHS, 2021)

ARCH-COMP 2022 Category Report: Falsification with Ubounded Resources. - Gidon Ernst; Paolo Arcaini; Georgios Fainekos; Federico Formica; Jun Inoue 001; Tanmay Khandait; Mohammad Mahdi Mahboob; Claudio Menghi; Giulia Pedrielli; Masaki Waga; Yoriyuki Yamagata; Zhenya Zhang (ARCH@SAFECOMP, 2022)

Quantitative Analysis of Sparsely Synchronized Fail-Safe Processors. - Jun Inoue 001; Hideaki Nishihara; Akira Mori (QRS, 2022)

Quantum Programming Without the Quantum Physics. - Jun Inoue 001 (APLAS, 2024)

Toward Individual Fairness Testing with Data Validity. - Takashi Kitamura 001; Sousuke Amasaki; Jun Inoue 001; Yoshinao Isobe; Takahisa Toda (ASE, 2024)