Ichiro Hasuo

According to our database, Ichiro Hasuo authored at least 150 papers between 2003 and 2024.

Collaborative distances:

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

2024

Control-data separation and logical condition propagation for efficient inference on probabilistic programs.

Ichiro Hasuo, Yuichiro Oyabu, Clovis Eberhart, Kohei Suenaga, Kenta Cho, Shin-ya Katsumata

J. Log. Algebraic Methods Program., January, 2024

A Unifying Approach to Product Constructions for Quantitative Temporal Inference.

Kazuki Watanabe, Sebastian Junges, Jurriaan Rot, Ichiro Hasuo

CoRR, 2024

Learning Weighted Finite Automata over the Max-Plus Semiring and its Termination.

Takamasa Okudono, Masaki Waga, Taro Sekiyama, Ichiro Hasuo

CoRR, 2024

Efficient Matching with Memoization for Regexes with Look-around and Atomic Grouping (Extended Version).

Hiroya Fujinami, Ichiro Hasuo

CoRR, 2024

Pareto Curves for Compositionally Model Checking String Diagrams of MDPs.

Kazuki Watanabe, Marck van der Vegt, Ichiro Hasuo, Jurriaan Rot, Sebastian Junges

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

Temporal Logic Formalisation of ISO 34502 Critical Scenarios: Modular Construction with the RSS Safety Distance.

Jesse Reimann, Nico Mansion, James Haydon, Benjamin Bray, Agnishom Chattopadhyay, Sota Sato, Masaki Waga, Étienne André, Ichiro Hasuo, Naoki Ueda, Yosuke Yokoyama

Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing, 2024

Winning Strategy Templates for Stochastic Parity Games Towards Permissive and Resilient Control.

Kittiphon Phalakarn, Sasinee Pruekprasert, Ichiro Hasuo

Proceedings of the Theoretical Aspects of Computing - ICTAC 2024, 2024

CauMon: An Informative Online Monitor for Signal Temporal Logic.

Zhenya Zhang, Jie An, Paolo Arcaini, Ichiro Hasuo

Proceedings of the Formal Methods - 26th International Symposium, 2024

The Opacity of Timed Automata.

Jie An, Qiang Gao, Lingtai Wang, Naijun Zhan, Ichiro Hasuo

Proceedings of the Formal Methods - 26th International Symposium, 2024

Efficient Matching with Memoization for Regexes with Look-around and Atomic Grouping.

Hiroya Fujinami, Ichiro Hasuo

Proceedings of the Programming Languages and Systems, 2024

Formal Support for Threat Modeling with Attack Decision Diagrams.

Misato Nakabayashi, Taro Sekiyama, Ichiro Hasuo, Yutaka Ishikawa

Proceedings of the 48th IEEE Annual Computers, Software, and Applications Conference, 2024

Explicit Hopcroft's Trick in Categorical Partition Refinement.

Takahiro Sanada, Ryota Kojima, Yuichi Komorida, Koko Muroya, Ichiro Hasuo

Proceedings of the Coalgebraic Methods in Computer Science, 2024

A Compositional Framework for Petri Nets.

Serge Lechenne, Clovis Eberhart, Ichiro Hasuo

Proceedings of the Coalgebraic Methods in Computer Science, 2024

Coalgebraic CTL: Fixpoint Characterization and Polynomial-Time Model Checking.

Ryota Kojima, Corina Cîrstea, Koko Muroya, Ichiro Hasuo

Proceedings of the Coalgebraic Methods in Computer Science, 2024

Compositional Value Iteration with Pareto Caching.

Kazuki Watanabe, Marck van der Vegt, Sebastian Junges, Ichiro Hasuo

Proceedings of the Computer Aided Verification - 36th International Conference, 2024

Optimization-Based Model Checking and Trace Synthesis for Complex STL Specifications.

Sota Sato, Jie An, Zhenya Zhang, Ichiro Hasuo

Proceedings of the Computer Aided Verification - 36th International Conference, 2024

2023

Activities of National Institute of Informatics in Japan.

Masaru Kitsuregawa, Shigeo Urushidani, Kazutsuna Yamaji, Hiroki Takakura, Ichiro Hasuo, Imari Sato, Fuyuki Ishikawa, Isao Echizen, Kensaku Mori

Commun. ACM, July, 2023

A Robustness-Based Confidence Measure for Hybrid System Falsification.

Toru Takisaka, Zhenya Zhang, Paolo Arcaini, Ichiro Hasuo

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., May, 2023

FalsifAI: Falsification of AI-Enabled Hybrid Control Systems Guided by Time-Aware Coverage Criteria.

Zhenya Zhang, Deyun Lyu, Paolo Arcaini, Lei Ma, Ichiro Hasuo, Jianjun Zhao

IEEE Trans. Software Eng., April, 2023

Goal-Aware RSS for Complex Scenarios via Program Logic.

Ichiro Hasuo, Clovis Eberhart, James Haydon, Jérémy Dubut, Rose Bohrer, Tsutomu Kobayashi, Sasinee Pruekprasert, Xiao-Yi Zhang, Erik André Pallas, Akihisa Yamada, Kohei Suenaga, Fuyuki Ishikawa, Kenji Kamijo, Yoshiyuki Shinya, Takamasa Suetomi

IEEE Trans. Intell. Veh., April, 2023

Online Causation Monitoring of Signal Temporal Logic (Artifact).

Zhenya Zhang, Jie An, Paolo Arcaini, Ichiro Hasuo

Dataset, April, 2023

Online Causation Monitoring of Signal Temporal Logic (Artifact).

Zhenya Zhang, Jie An, Paolo Arcaini, Ichiro Hasuo

Dataset, April, 2023

Parametric Timed Pattern Matching.

Masaki Waga, Étienne André, Ichiro Hasuo

ACM Trans. Softw. Eng. Methodol., January, 2023

Compositional Solution of Mean Payoff Games by String Diagrams.

Kazuki Watanabe, Clovis Eberhart, Kazuyuki Asada, Ichiro Hasuo

CoRR, 2023

Formal Verification of Safety Architectures for Automated Driving.

Clovis Eberhart, Jérémy Dubut, James Haydon, Ichiro Hasuo

Proceedings of the IEEE Intelligent Vehicles Symposium, 2023

Formal Verification of Intersection Safety for Automated Driving.

James Haydon, Martin Bondu, Clovis Eberhart, Jérémy Dubut, Ichiro Hasuo

Proceedings of the 25th IEEE International Conference on Intelligent Transportation Systems, 2023

Automated Security Analysis for Real-World IoT Devices.

Lélio Brun, Ichiro Hasuo, Yasushi Ono, Taro Sekiyama

Proceedings of the 12th International Workshop on Hardware and Architectural Support for Security and Privacy, 2023

Online Causation Monitoring of Signal Temporal Logic.

Zhenya Zhang, Jie An, Paolo Arcaini, Ichiro Hasuo

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

Compositional Probabilistic Model Checking with String Diagrams of MDPs.

Kazuki Watanabe, Clovis Eberhart, Kazuyuki Asada, Ichiro Hasuo

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

Exploiting Adjoints in Property Directed Reachability Analysis.

Mayuko Kori, Flavio Ascari, Filippo Bonchi, Roberto Bruni, Roberta Gori, Ichiro Hasuo

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

2022

Data for "Exemplifying parametric timed specifications over signals with bounded behavior".

Étienne André, Masaki Waga, Natsuki Urabe, Ichiro Hasuo

Dataset, March, 2022

Data for "Exemplifying parametric timed specifications over signals with bounded behavior".

Étienne André, Masaki Waga, Natsuki Urabe, Ichiro Hasuo

Dataset, January, 2022

Model-bounded Monitoring of Hybrid Systems.

Masaki Waga, Étienne André, Ichiro Hasuo

ACM Trans. Cyber Phys. Syst., 2022

Codensity Games for Bisimilarity.

Yuichi Komorida, Shin-ya Katsumata, Nick Hu, Bartek Klin, Samuel Humeau, Clovis Eberhart, Ichiro Hasuo

New Gener. Comput., 2022

Responsibility-Sensitive Safety: an Introduction with an Eye to Logical Foundations and Formalization.

Ichiro Hasuo

CoRR, 2022

The Lattice-Theoretic Essence of PropertyDirected Reachability Analysis.

Mayuko Kori, Natsuki Urabe, Shin-ya Katsumata, Kohei Suenaga, Ichiro Hasuo

CoRR, 2022

Exemplifying Parametric Timed Specifications over Signals with Bounded Behavior.

Étienne André, Masaki Waga, Natsuki Urabe, Ichiro Hasuo

Proceedings of the NASA Formal Methods - 14th International Symposium, 2022

The Lattice-Theoretic Essence of Property Directed Reachability Analysis.

Mayuko Kori, Natsuki Urabe, Shin-ya Katsumata, Kohei Suenaga, Ichiro Hasuo

Proceedings of the Computer Aided Verification - 34th International Conference, 2022

Dynamic Shielding for Reinforcement Learning in Black-Box Environments.

Masaki Waga, Ezequiel Castellano, Sasinee Pruekprasert, Stefan Klikovits, Toru Takisaka, Ichiro Hasuo

Proceedings of the Automated Technology for Verification and Analysis, 2022

2021

Ranking and Repulsing Supermartingales for Reachability in Randomized Programs.

Toru Takisaka, Yuichiro Oyabu, Natsuki Urabe, Ichiro Hasuo

ACM Trans. Program. Lang. Syst., 2021

Falsification of Hybrid Systems Using Adaptive Probabilistic Search.

Gidon Ernst, Sean Sedwards, Zhenya Zhang, Ichiro Hasuo

ACM Trans. Model. Comput. Simul., 2021

Fibrational bisimulations and quantitative reasoning: Extended version.

David Sprunger, Shin-ya Katsumata, Jérémy Dubut, Ichiro Hasuo

J. Log. Comput., 2021

A Compositional Approach to Parity Games.

Kazuki Watanabe, Clovis Eberhart, Kazuyuki Asada, Ichiro Hasuo

Proceedings of the Proceedings 37th Conference on Mathematical Foundations of Programming Semantics, 2021

Time-Staging Enhancement of Hybrid System Falsification.

Gidon Ernst, Ichiro Hasuo, Zhenya Zhang, Sean Sedwards

Proceedings of the Proceedings The 7th International Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT, 2021

Architecture-Guided Test Resource Allocation via Logic.

Clovis Eberhart, Akihisa Yamada, Stefan Klikovits, Shin-ya Katsumata, Tsutomu Kobayashi, Ichiro Hasuo, Fuyuki Ishikawa

Proceedings of the Tests and Proofs - 15th International Conference, 2021

On the Effectiveness of Signal Rescaling in Hybrid System Falsification.

Zhenya Zhang, Deyun Lyu, Paolo Arcaini, Lei Ma, Ichiro Hasuo, Jianjun Zhao

Proceedings of the NASA Formal Methods - 13th International Symposium, 2021

Robustifying Controller Specifications of Cyber-Physical Systems Against Perceptual Uncertainty.

Tsutomu Kobayashi, Rick Salay, Ichiro Hasuo, Krzysztof Czarnecki, Fuyuki Ishikawa, Shin-ya Katsumata

Proceedings of the NASA Formal Methods - 13th International Symposium, 2021

Expressivity of Quantitative Modal Logics : Categorical Foundations via Codensity and Approximation.

Yuichi Komorida, Shin-ya Katsumata, Clemens Kupke, Jurriaan Rot, Ichiro Hasuo

Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021

Predictive PER: Balancing Priority and Diversity Towards Stable Deep Reinforcement Learning.

Sanghwa Lee, Jaeyoung Lee, Ichiro Hasuo

Proceedings of the International Joint Conference on Neural Networks, 2021

Hybrid System Falsification for Multiple-Constraint Parameter Synthesis: A Gas Turbine Case Study.

Sota Sato, Atsuyoshi Saimen, Masaki Waga, Kenji Takao, Ichiro Hasuo

Proceedings of the Formal Methods - 24th International Symposium, 2021

Fibrational Initial Algebra-Final Coalgebra Coincidence over Initial Algebras: Turning Verification Witnesses Upside Down.

Mayuko Kori, Ichiro Hasuo, Shin-ya Katsumata

Proceedings of the 32nd International Conference on Concurrency Theory, 2021

Effective Hybrid System Falsification Using Monte Carlo Tree Search Guided by QB-Robustness.

Zhenya Zhang, Deyun Lyu, Paolo Arcaini, Lei Ma, Ichiro Hasuo, Jianjun Zhao

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

Decision Tree Learning in CEGIS-Based Termination Analysis.

Satoshi Kura, Hiroshi Unno, Ichiro Hasuo

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

Constrained Optimization for Hybrid System Falsification and Application to Conjunctive Synthesis.

Sota Sato, Masaki Waga, Ichiro Hasuo

Proceedings of the 7th IFAC Conference on Analysis and Design of Hybrid Systems, 2021

2020

Hybrid System Falsification Under (In)equality Constraints via Search Space Transformation.

Zhenya Zhang, Paolo Arcaini, Ichiro Hasuo

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020

Constrained Optimization for Falsification and Conjunctive Synthesis.

Sota Sato, Masaki Waga, Ichiro Hasuo

CoRR, 2020

Relational Differential Dynamic Logic.

Juraj Kolcák, Jérémy Dubut, Ichiro Hasuo, Shin-ya Katsumata, David Sprunger, Akihisa Yamada

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

Constraining Counterexamples in Hybrid System Falsification: Penalty-Based Approaches.

Zhenya Zhang, Paolo Arcaini, Ichiro Hasuo

Proceedings of the NASA Formal Methods - 12th International Symposium, 2020

Genetic algorithm for the weight maximization problem on weighted automata.

Elena Gutiérrez, Takamasa Okudono, Masaki Waga, Ichiro Hasuo

Proceedings of the GECCO '20: Genetic and Evolutionary Computation Conference, 2020

Widest Paths and Global Propagation in Bounded Value Iteration for Stochastic Games.

Kittiphon Phalakarn, Toru Takisaka, Thomas Haas, Ichiro Hasuo

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

Weighted Automata Extraction from Recurrent Neural Networks via Regression on State Spaces.

Takamasa Okudono, Masaki Waga, Taro Sekiyama, Ichiro Hasuo

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019

Multi-Armed Bandits for Boolean Connectives in Hybrid System Falsification (Extended Version).

Zhenya Zhang, Ichiro Hasuo, Paolo Arcaini

CoRR, 2019

Towards a Framework for the Analysis of Multi-Product Lines in the Automotive Domain.

Shaukat Ali, Paolo Arcaini, Ichiro Hasuo, Fuyuki Ishikawa, Nian-Ze Lee

Proceedings of the 13th International Workshop on Variability Modelling of Software-Intensive Systems, 2019

Tail Probabilities for Randomized Program Runtimes via Martingales for Higher Moments.

Satoshi Kura, Natsuki Urabe, Ichiro Hasuo

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

Fast Falsification of Hybrid Systems Using Probabilistically Adaptive Input.

Gidon Ernst, Sean Sedwards, Zhenya Zhang, Ichiro Hasuo

Proceedings of the Quantitative Evaluation of Systems, 16th International Conference, 2019

Codensity Games for Bisimilarity.

Yuichi Komorida, Shin-ya Katsumata, Nick Hu, Bartek Klin, Ichiro Hasuo

Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science, 2019

Moore-machine filtering for timed and untimed pattern matching: poster abstract.

Masaki Waga, Ichiro Hasuo

Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, 2019

Relational differential dynamic logic: poster abstract.

Juraj Kolcák, Ichiro Hasuo, Jérémy Dubut, Shin-ya Katsumata, David Sprunger, Akihisa Yamada

Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, 2019

Path Category for Free - Open Morphisms from Coalgebras with Non-deterministic Branching.

Thorsten Wißmann, Jérémy Dubut, Shin-ya Katsumata, Ichiro Hasuo

Proceedings of the Foundations of Software Science and Computation Structures, 2019

Multi-armed Bandits for Boolean Connectives in Hybrid System Falsification.

Zhenya Zhang, Ichiro Hasuo, Paolo Arcaini

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

Symbolic Monitoring Against Specifications Parametric in Time and Data.

Masaki Waga, Étienne André, Ichiro Hasuo

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

2018

Two-Layered Falsification of Hybrid Systems Guided by Monte Carlo Tree Search.

Zhenya Zhang, Gidon Ernst, Sean Sedwards, Paolo Arcaini, Ichiro Hasuo

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018

Moore-Machine Filtering for Timed and Untimed Pattern Matching.

Masaki Waga, Ichiro Hasuo

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018

Coinductive predicates and final sequences in a fibration.

Ichiro Hasuo, Toshiki Kataoka, Kenta Cho

Math. Struct. Comput. Sci., 2018

Coalgebraic Infinite Traces and Kleisli Simulations.

Natsuki Urabe, Ichiro Hasuo

Log. Methods Comput. Sci., 2018

Preface.

Ichiro Hasuo

J. Log. Algebraic Methods Program., 2018

Quantitative Matrix Simulation.

Natsuki Urabe, Ichiro Hasuo

CoRR, 2018

Quantitative bisimulations using coreflections and open morphisms.

Jérémy Dubut, Ichiro Hasuo, Shin-ya Katsumata, David Sprunger

CoRR, 2018

Ranking and Repulsing Supermartingales for Approximating Reachability.

Toru Takisaka, Yuichiro Oyabu, Natsuki Urabe, Ichiro Hasuo

CoRR, 2018

Categorical Buechi and Parity Conditions via Alternating Fixed Points of Functors.

Natsuki Urabe, Ichiro Hasuo

CoRR, 2018

Two-Layered Falsification of Hybrid Systems guided by Monte Carlo Tree Search.

Zhenya Zhang, Ichiro Hasuo, Gidon Ernst, Sean Sedwards

CoRR, 2018

Offline Timed Pattern Matching under Uncertainty.

Étienne André, Ichiro Hasuo, Masaki Waga

Proceedings of the 23rd International Conference on Engineering of Complex Computer Systems, 2018

MONAA: A Tool for Timed Pattern Matching with Automata-Based Acceleration.

Masaki Waga, Ichiro Hasuo, Kohei Suenaga

Proceedings of the 3rd Workshop on Monitoring and Testing of Cyber-Physical Systems, 2018

Coalgebraic Theory of Büchi and Parity Automata: Fixed-Point Specifications, Categorically (Invited Tutorial).

Ichiro Hasuo

Proceedings of the 29th International Conference on Concurrency Theory, 2018

Categorical Büchi and Parity Conditions via Alternating Fixed Points of Functors.

Natsuki Urabe, Ichiro Hasuo

Proceedings of the Coalgebraic Methods in Computer Science, 2018

Fibrational Bisimulations and Quantitative Reasoning.

David Sprunger, Shin-ya Katsumata, Jérémy Dubut, Ichiro Hasuo

Proceedings of the Coalgebraic Methods in Computer Science, 2018

Ranking and Repulsing Supermartingales for Reachability in Probabilistic Programs.

Toru Takisaka, Yuichiro Oyabu, Natsuki Urabe, Ichiro Hasuo

Proceedings of the Automated Technology for Verification and Analysis, 2018

Bounding Errors Due to Switching Delays in Incrementally Stable Switched Systems.

Kengo Kido, Sean Sedwards, Ichiro Hasuo

Proceedings of the 6th IFAC Conference on Analysis and Design of Hybrid Systems, 2018

ARCH-COMP18 Category Report: Results on the Falsification Benchmarks.

Adel Dokhanchi, Shakiba Yaghoubi, Bardh Hoxha, Georgios Fainekos, Gidon Ernst, Zhenya Zhang, Paolo Arcaini, Ichiro Hasuo, Sean Sedwards

Proceedings of the ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2018

2017

Metamathematics for Systems Design - Comprehensive Transfer of Formal Methods Techniques to Cyber-Physical Systems.

Ichiro Hasuo

New Gener. Comput., 2017

Fair Simulation for Nondeterministic and Probabilistic Buechi Automata: a Coalgebraic Perspective.

Natsuki Urabe, Ichiro Hasuo

Log. Methods Comput. Sci., 2017

Quantitative simulations by matrices.

Natsuki Urabe, Ichiro Hasuo

Inf. Comput., 2017

Bounding Errors Due to Switching Delays in Incrementally Stable Switched Systems (Extended Version).

Kengo Kido, Sean Sedwards, Ichiro Hasuo

CoRR, 2017

Causality-Aided Falsification.

Takumi Akazaki, Yoshihiro Kumazawa, Ichiro Hasuo

Proceedings of the Proceedings First Workshop on Formal Verification of Autonomous Vehicles, 2017

Semantics of higher-order quantum computation via geometry of interaction.

Ichiro Hasuo, Naohiko Hoshino

Ann. Pure Appl. Log., 2017

Categorical liveness checking by corecursive algebras.

Natsuki Urabe, Masaki Hara, Ichiro Hasuo

Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, 2017

Efficient Online Timed Pattern Matching by Automata-Based Skipping.

Masaki Waga, Ichiro Hasuo, Kohei Suenaga

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2017

Switching Delays and the Skorokhod Distance in Incrementally Stable Switched Systems.

Kengo Kido, Sean Sedwards, Ichiro Hasuo

Proceedings of the Cyber Physical Systems. Design, Modeling, and Evaluation, 2017

Nonstandard Static Analysis: Literal Transfer of Deductive Verification Frameworks from Discrete to Hybrid.

Ichiro Hasuo

Proceedings of the Cyber Physical Systems. Design, Modeling, and Evaluation, 2017

Parity Automata for Quantitative Linear Time Logics.

Corina Cîrstea, Shunsuke Shimizu, Ichiro Hasuo

Proceedings of the 7th Conference on Algebra and Coalgebra in Computer Science, 2017

Sharper and Simpler Nonlinear Interpolants for Program Verification.

Takamasa Okudono, Yuki Nishida, Kensuke Kojima, Kohei Suenaga, Kengo Kido, Ichiro Hasuo

Proceedings of the Programming Languages and Systems - 15th Asian Symposium, 2017

2016

Special Issue on Quantum Physics and Logic.

Ichiro Hasuo, Prakash Panangaden

New Gener. Comput., 2016

Fair Simulation for Nondeterministic and Probabilistic Buechi Automata: a Coalgebraic Perspective.

Natsuki Urabe, Shunsuke Shimizu, Ichiro Hasuo

CoRR, 2016

Coalgebras and Higher-Order Computation: a GoI Approach.

Ichiro Hasuo

Proceedings of the 1st International Conference on Formal Structures for Computation and Deduction, 2016

Memoryful geometry of interaction II: recursion and adequacy.

Koko Muroya, Naohiko Hoshino, Ichiro Hasuo

Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

Lattice-theoretic progress measures and coalgebraic model checking.

Ichiro Hasuo, Shunsuke Shimizu, Corina Cîrstea

Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

Healthiness from Duality.

Wataru Hino, Hiroki Kobayashi, Ichiro Hasuo, Bart Jacobs

Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016

A Boyer-Moore Type Algorithm for Timed Pattern Matching.

Masaki Waga, Takumi Akazaki, Ichiro Hasuo

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2016

Coalgebraic Trace Semantics for Buechi and Parity Automata.

Natsuki Urabe, Shunsuke Shimizu, Ichiro Hasuo

Proceedings of the 27th International Conference on Concurrency Theory, 2016

2015

Generic weakest precondition semantics from monads enriched with order.

Ichiro Hasuo

Theor. Comput. Sci., 2015

Abstract Interpretation with Infinitesimals: Towards Scalability in Nonstandard Static Analysis (Extended Version).

Kengo Kido, Swarat Chaudhuri, Ichiro Hasuo

CoRR, 2015

Lattice-Theoretic Progress Measures and Coalgebraic Model Checking (with Appendices).

Ichiro Hasuo, Shunsuke Shimizu, Corina Cîrstea

CoRR, 2015

Time Robustness in MTL and Expressivity in Hybrid System Falsification (Extended Version).

Takumi Akazaki, Ichiro Hasuo

CoRR, 2015

Near-Optimal Scheduling for LTL with Future Discounting.

Shota Nakagawa, Ichiro Hasuo

Proceedings of the Trustworthy Global Computing - 10th International Symposium, 2015

Abstract Interpretation with Infinitesimals: Towards Scalability in Nonstandard Static Analysis.

Kengo Kido, Swarat Chaudhuri, Ichiro Hasuo

Proceedings of the 1st International Workshop on Symbolic and Numerical Methods for Reachability Analysis, 2015

Time Robustness in MTL and Expressivity in Hybrid System Falsification.

Takumi Akazaki, Ichiro Hasuo

Proceedings of the Computer Aided Verification - 27th International Conference, 2015

2014

Near-Optimal Scheduler Synthesis for LTL with Future Discounting.

Shota Nakagawa, Ichiro Hasuo

CoRR, 2014

The Geometry of Synchronization (Long Version).

Ugo Dal Lago, Claudia Faggian, Ichiro Hasuo, Akira Yoshimizu

CoRR, 2014

Input Synthesis for Sampled Data Systems by Program Logic.

Takumi Akazaki, Ichiro Hasuo, Kohei Suenaga

Proceedings of the Proceedings 4th Workshop on Hybrid Autonomous Systems, 2014

Measurements in Proof Nets as Higher-Order Quantum Circuits.

Akira Yoshimizu, Ichiro Hasuo, Claudia Faggian, Ugo Dal Lago

Proceedings of the Programming Languages and Systems, 2014

The geometry of synchronization.

Ugo Dal Lago, Claudia Faggian, Ichiro Hasuo, Akira Yoshimizu

Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2014

Memoryful geometry of interaction: from coalgebraic components to algebraic effects.

Naohiko Hoshino, Koko Muroya, Ichiro Hasuo

Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2014

Generic Forward and Backward Simulations III: Quantitative Simulations by Matrices.

Natsuki Urabe, Ichiro Hasuo

Proceedings of the CONCUR 2014 - Concurrency Theory - 25th International Conference, 2014

2013

Coinduction for Computation Structures and Programming Languages (NII Shonan Meeting 2013-11).

Ichiro Hasuo, Keiko Nakata, Tarmo Uustalu

NII Shonan Meet. Rep., 2013

Coinductive Predicates and Final Sequences in a Fibration.

Ichiro Hasuo, Kenta Cho, Toshiki Kataoka, Bart Jacobs

Proceedings of the Twenty-ninth Conference on the Mathematical Foundations of Programming Semantics, 2013

Hyperstream processing systems: nonstandard modeling of continuous-time signals.

Kohei Suenaga, Hiroyoshi Sekine, Ichiro Hasuo

Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2013

2012

Hybrid Systems: Theory and Practice, Seriously (NII Shonan Meeting 2012-2).

Ichiro Hasuo, Takuro Kutsuna, Toshimitsu Ushio

NII Shonan Meet. Rep., 2012

Exercises in Nonstandard Static Analysis of Hybrid Systems.

Ichiro Hasuo, Kohei Suenaga

Proceedings of the Computer Aided Verification - 24th International Conference, 2012

2011

Traces for coalgebraic components.

Ichiro Hasuo, Bart Jacobs

Math. Struct. Comput. Sci., 2011

Programming with Infinitesimals: A While-Language for Hybrid System Modeling.

Kohei Suenaga, Ichiro Hasuo

Proceedings of the Automata, Languages and Programming - 38th International Colloquium, 2011

The Microcosm Principle and Compositionality of GSOS-Based Component Calculi.

Ichiro Hasuo

Proceedings of the Algebra and Coalgebra in Computer Science, 2011

2010

Probabilistic anonymity via coalgebraic simulations.

Ichiro Hasuo, Yoshinobu Kawabe, Hideki Sakurada

Theor. Comput. Sci., 2010

Coalgebraic Representation Theory of Fractals.

Ichiro Hasuo, Bart Jacobs, Milad Niqui

Proceedings of the 26th Conference on the Mathematical Foundations of Programming Semantics, 2010

Categorifying Computations into Components via Arrows as Profunctors.

Kazuyuki Asada, Ichiro Hasuo

Proceedings of the Tenth Workshop on Coalgebraic Methods in Computer Science, 2010

Generic Forward and Backward Simulations II: Probabilistic Simulation.

Ichiro Hasuo

Proceedings of the CONCUR 2010 - Concurrency Theory, 21th International Conference, 2010

2009

Categorical semantics for arrows.

Bart Jacobs, Chris Heunen, Ichiro Hasuo

J. Funct. Program., 2009

Semantics and logic for security protocols.

Bart Jacobs, Ichiro Hasuo

J. Comput. Secur., 2009

Coalgebraic Components in a Many-Sorted Microcosm.

Ichiro Hasuo, Chris Heunen, Bart Jacobs, Ana Sokolova

Proceedings of the Algebra and Coalgebra in Computer Science, 2009

2008

The Microcosm Principle and Concurrency in Coalgebra.

Ichiro Hasuo, Bart Jacobs, Ana Sokolova

Proceedings of the Foundations of Software Science and Computational Structures, 2008

2007

Generic Trace Semantics via Coinduction.

Ichiro Hasuo, Bart Jacobs, Ana Sokolova

Log. Methods Comput. Sci., 2007

Categorical Views on Computations on Trees (Extended Abstract).

Ichiro Hasuo, Bart Jacobs, Tarmo Uustalu

Proceedings of the Automata, Languages and Programming, 34th International Colloquium, 2007

Probabilistic Anonymity Via Coalgebraic Simulations.

Ichiro Hasuo, Yoshinobu Kawabe

Proceedings of the Programming Languages and Systems, 2007

2006

Generic Trace Theory.

Ichiro Hasuo, Bart Jacobs, Ana Sokolova

Proceedings of the Eighth Workshop on Coalgebraic Methods in Computer Science, 2006

Freyd is Kleisli, for Arrows.

Bart Jacobs, Ichiro Hasuo

Proceedings of the Workshop on Mathematically Structured Functional Programming, 2006

Relations Among Notions of Security for Identity Based Encryption Schemes.

Nuttapong Attrapadung, Yang Cui, David Galindo, Goichiro Hanaoka, Ichiro Hasuo, Hideki Imai, Kanta Matsuura, Peng Yang, Rui Zhang

Proceedings of the LATIN 2006: Theoretical Informatics, 2006

Generic Forward and Backward Simulations.

Ichiro Hasuo

Proceedings of the CONCUR 2006 - Concurrency Theory, 17th International Conference, 2006

2005

Security Notions for Identity Based Encryption.

David Galindo, Ichiro Hasuo

IACR Cryptol. ePrint Arch., 2005

Provable anonymity.

Flavio D. Garcia, Ichiro Hasuo, Wolter Pieters, Peter van Rossum

Proceedings of the 2005 ACM workshop on Formal methods in security engineering, 2005

Context-Free Languages via Coalgebraic Trace Semantics.

Ichiro Hasuo, Bart Jacobs

Proceedings of the Algebra and Coalgebra in Computer Science: First International Conference, 2005

2003

Kripke Completeness of First-Order Constructive Logics with Strong Negation.

Ichiro Hasuo, Ryo Kashima

Log. J. IGPL, 2003