Jun Inoue

According to our database, Jun Inoue authored at least 14 papers between 2009 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Quantitative Analysis of Sparsely Synchronized Fail-Safe Processors.

Jun Inoue, Hideaki Nishihara, Akira Mori

Proceedings of the 22nd IEEE International Conference on Software Quality, 2022

2021

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, Tanmay Khandait, Logan Mathesen, Claudio Menghi, Giulia Pedrielli, Marc Pouzet, Masaki Waga, Shakiba Yaghoubi, Yoriyuki Yamagata, Zhenya Zhang

Proceedings of the 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), 2021

2018

Detecting Errors in a Humanoid Robot.

Jun Inoue, Fumio Kanehiro, Mitsuharu Morisawa, Akira Mori

Proceedings of the 2018 IEEE International Conference on Software Quality, 2018

2017

Operational Semantics of Process Monitors.

Jun Inoue, Yoriyuki Yamagata

Proceedings of the Runtime Verification - 17th International Conference, 2017

Anomaly Detection for a Water Treatment System Using Unsupervised Machine Learning.

Jun Inoue, Yoriyuki Yamagata, Yuqi Chen, Christopher M. Poskitt, Jun Sun

Proceedings of the 2017 IEEE International Conference on Data Mining Workshops, 2017

2016

Reasoning about multi-stage programs.

Jun Inoue, Walid Taha

J. Funct. Program., 2016

Sundials/ML: Connecting OCaml to the Sundials Numeric Solvers.

Timothy Bourke, Jun Inoue, Marc Pouzet

Proceedings of the Proceedings ML Family Workshop / OCaml Users and Developers workshops, 2016

Runtime Monitoring for Concurrent Systems.

Yoriyuki Yamagata, Cyrille Artho, Masami Hagiya, Jun Inoue, Lei Ma, Yoshinori Tanabe, Mitsuharu Yamamoto

Proceedings of the Runtime Verification - 16th International Conference, 2016

Staging beyond terms: prospects and challenges.

Jun Inoue, Oleg Kiselyov, Yukiyoshi Kameyama

Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2016

2015

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, 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

Proceedings of the Internet of Things. IoT Infrastructures, 2015

2013

PENCIL: Towards a Platform-Neutral Compute Intermediate Language for DSLs

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

CoRR, 2013

2010

Mint: Java multi-stage programming using weak separability.

Edwin M. Westbrook, Mathias Ricken, Jun Inoue, Yilong Yao, Tamer Abdelatif, Walid Taha

Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2010

Mathematical equations as executable models of mechanical systems.

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

Proceedings of the ACM/IEEE 1st International Conference on Cyber-Physical Systems, 2010

2009

Implementing Haptic Feedback Environments from High-Level Descriptions.

Angela Yun Zhu, Jun Inoue, Marisa Linnea Peralta, Walid Taha, Marcia K. O'Malley, Dane Powell

Proceedings of the International Conference on Embedded Software and Systems, 2009