Jun Inoue

Publication Activity (10 Years)

Years Active: 2009-2022
Publications (10 Years): 12

Top Topics

Operational Semantics

Detecting Anomalous

Numeric Attributes

Water Treatment

Top Venues

Publications

Gidon Ernst, Paolo Arcaini, Georgios Fainekos, Federico Formica, Jun Inoue, Tanmay Khandait, Mohammad Mahdi Mahboob, Claudio Menghi, Giulia Pedrielli, Masaki Waga, Yoriyuki Yamagata, Zhenya Zhang
ARCH-COMP 2022 Category Report: Falsification with Ubounded Resources. ARCH@SAFECOMP (2022)
Jun Inoue, Hideaki Nishihara, Akira Mori
Quantitative Analysis of Sparsely Synchronized Fail-Safe Processors. QRS (2022)
Gidon Ernst, Paolo Arcaini, Ismail Bennani, Aniruddh Chandratre, Alexandre Donzé, Georgios Fainekos, Goran Frehse, Khouloud Gaaloul, Jun Inoue, Tanmay Khandait, Logan Mathesen, Claudio Menghi, Giulia Pedrielli, Marc Pouzet, Masaki Waga, Shakiba Yaghoubi, Yoriyuki Yamagata, Zhenya Zhang
ARCH-COMP 2021 Category Report: Falsification with Validation of Results. ARCH@ADHS (2021)
Jun Inoue, Fumio Kanehiro, Mitsuharu Morisawa, Akira Mori
Detecting Errors in a Humanoid Robot. QRS (2018)
Jun Inoue, Yoriyuki Yamagata, Yuqi Chen, Christopher M. Poskitt, Jun Sun
Anomaly Detection for a Water Treatment System Using Unsupervised Machine Learning. ICDM Workshops (2017)
Jun Inoue, Yoriyuki Yamagata, Yuqi Chen, Christopher M. Poskitt, Jun Sun
Anomaly Detection for a Water Treatment System Using Unsupervised Machine Learning. CoRR (2017)
Jun Inoue, Yoriyuki Yamagata
Operational Semantics of Process Monitors. RV (2017)
Jun Inoue, Yoriyuki Yamagata
Operational Semantics of Process Monitors. CoRR (2017)
Jun Inoue, Walid Taha
Reasoning about multi-stage programs. J. Funct. Program. 26 (2016)
Timothy Bourke, Jun Inoue, Marc Pouzet
Sundials/ML: Connecting OCaml to the Sundials Numeric Solvers. ML/OCAML (2016)
Yoriyuki Yamagata, Cyrille Artho, Masami Hagiya, Jun Inoue, Lei Ma, Yoshinori Tanabe, Mitsuharu Yamamoto
Runtime Monitoring for Concurrent Systems. RV (2016)
Jun Inoue, Oleg Kiselyov, Yukiyoshi Kameyama
Staging beyond terms: prospects and challenges. PEPM (2016)
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, Pererik Andreasson, Jun Inoue, Anita Pinheiro Sant'Anna, Roland Philippsen, Alexandre Chapoutot, Marcia O'Malley, Aaron D. Ames, Verónica Gaspes, Lise Hvatum, Shyam Mehta, Henrik Eriksson, Christian Grante
Acumen: An Open-Source Testbed for Cyber-Physical Systems Research. IoT 360 (1) (2015)
Riyadh Baghdadi, Albert Cohen, Serge Guelton, Sven Verdoolaege, Jun Inoue, Tobias Grosser, Georgia Kouveli, Alexey Kravets, Anton Lokhmotov, Cedric Nugteren, Fraser Waters, Alastair F. Donaldson
PENCIL: Towards a Platform-Neutral Compute Intermediate Language for DSLs CoRR (2013)
Jun Inoue, Walid Taha
Reasoning about Multi-stage Programs. ESOP (2012)
Edwin M. Westbrook, Mathias Ricken, Jun Inoue, Yilong Yao, Tamer Abdelatif, Walid Taha
Mint: Java multi-stage programming using weak separability. PLDI (2010)
Angela Yun Zhu, Edwin M. Westbrook, Jun Inoue, Alexandre Chapoutot, Cherif R. Salama, Marisa Linnea Peralta, Travis Martin, Walid Taha, Marcia K. O'Malley, Robert Cartwright, Aaron D. Ames, Raktim Bhattacharya
Mathematical equations as executable models of mechanical systems. ICCPS (2010)
Angela Yun Zhu, Jun Inoue, Marisa Linnea Peralta, Walid Taha, Marcia K. O'Malley, Dane Powell
Implementing Haptic Feedback Environments from High-Level Descriptions. ICESS (2009)