Ichiro Hasuo

Affiliations:
  • University of Tokyo


According to our database1, Ichiro Hasuo authored at least 134 papers between 2003 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Control-data separation and logical condition propagation for efficient inference on probabilistic programs.
J. Log. Algebraic Methods Program., January, 2024

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

Pareto Curves for Compositionally Model Checking String Diagrams of MDPs.
CoRR, 2024

2023
Activities of National Institute of Informatics in Japan.
Commun. ACM, July, 2023

A Robustness-Based Confidence Measure for Hybrid System Falsification.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., May, 2023

FalsifAI: Falsification of AI-Enabled Hybrid Control Systems Guided by Time-Aware Coverage Criteria.
IEEE Trans. Software Eng., April, 2023

Goal-Aware RSS for Complex Scenarios via Program Logic.
IEEE Trans. Intell. Veh., April, 2023

Parametric Timed Pattern Matching.
ACM Trans. Softw. Eng. Methodol., January, 2023

Explicit Hopcroft's Trick in Categorical Partition Refinement.
CoRR, 2023

Compositional Solution of Mean Payoff Games by String Diagrams.
CoRR, 2023

Formal Verification of Safety Architectures for Automated Driving.
Proceedings of the IEEE Intelligent Vehicles Symposium, 2023

Formal Verification of Intersection Safety for Automated Driving.
Proceedings of the 25th IEEE International Conference on Intelligent Transportation Systems, 2023

Automated Security Analysis for Real-World IoT Devices.
Proceedings of the 12th International Workshop on Hardware and Architectural Support for Security and Privacy, 2023

Online Causation Monitoring of Signal Temporal Logic.
Proceedings of the Computer Aided Verification - 35th International Conference, 2023

Compositional Probabilistic Model Checking with String Diagrams of MDPs.
Proceedings of the Computer Aided Verification - 35th International Conference, 2023

Exploiting Adjoints in Property Directed Reachability Analysis.
Proceedings of the Computer Aided Verification - 35th International Conference, 2023

2022
Model-bounded Monitoring of Hybrid Systems.
ACM Trans. Cyber Phys. Syst., 2022

Codensity Games for Bisimilarity.
New Gener. Comput., 2022

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

The Lattice-Theoretic Essence of PropertyDirected Reachability Analysis.
CoRR, 2022

Exemplifying Parametric Timed Specifications over Signals with Bounded Behavior.
Proceedings of the NASA Formal Methods - 14th International Symposium, 2022

The Lattice-Theoretic Essence of Property Directed Reachability Analysis.
Proceedings of the Computer Aided Verification - 34th International Conference, 2022

Dynamic Shielding for Reinforcement Learning in Black-Box Environments.
Proceedings of the Automated Technology for Verification and Analysis, 2022

2021
Ranking and Repulsing Supermartingales for Reachability in Randomized Programs.
ACM Trans. Program. Lang. Syst., 2021

Falsification of Hybrid Systems Using Adaptive Probabilistic Search.
ACM Trans. Model. Comput. Simul., 2021

Fibrational bisimulations and quantitative reasoning: Extended version.
J. Log. Comput., 2021

A Compositional Approach to Parity Games.
Proceedings of the Proceedings 37th Conference on Mathematical Foundations of Programming Semantics, 2021

Time-Staging Enhancement of Hybrid System Falsification.
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.
Proceedings of the Tests and Proofs - 15th International Conference, 2021

On the Effectiveness of Signal Rescaling in Hybrid System Falsification.
Proceedings of the NASA Formal Methods - 13th International Symposium, 2021

Robustifying Controller Specifications of Cyber-Physical Systems Against Perceptual Uncertainty.
Proceedings of the NASA Formal Methods - 13th International Symposium, 2021

Expressivity of Quantitative Modal Logics : Categorical Foundations via Codensity and Approximation.
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.
Proceedings of the International Joint Conference on Neural Networks, 2021

Hybrid System Falsification for Multiple-Constraint Parameter Synthesis: A Gas Turbine Case Study.
Proceedings of the Formal Methods - 24th International Symposium, 2021

Fibrational Initial Algebra-Final Coalgebra Coincidence over Initial Algebras: Turning Verification Witnesses Upside Down.
Proceedings of the 32nd International Conference on Concurrency Theory, 2021

Effective Hybrid System Falsification Using Monte Carlo Tree Search Guided by QB-Robustness.
Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

Decision Tree Learning in CEGIS-Based Termination Analysis.
Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

Constrained Optimization for Hybrid System Falsification and Application to Conjunctive Synthesis.
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.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020

Constrained Optimization for Falsification and Conjunctive Synthesis.
CoRR, 2020

Relational Differential Dynamic Logic.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

Constraining Counterexamples in Hybrid System Falsification: Penalty-Based Approaches.
Proceedings of the NASA Formal Methods - 12th International Symposium, 2020

Genetic algorithm for the weight maximization problem on weighted automata.
Proceedings of the GECCO '20: Genetic and Evolutionary Computation Conference, 2020

Widest Paths and Global Propagation in Bounded Value Iteration for Stochastic Games.
Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

Weighted Automata Extraction from Recurrent Neural Networks via Regression on State Spaces.
Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

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

Towards a Framework for the Analysis of Multi-Product Lines in the Automotive Domain.
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.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

Fast Falsification of Hybrid Systems Using Probabilistically Adaptive Input.
Proceedings of the Quantitative Evaluation of Systems, 16th International Conference, 2019

Codensity Games for Bisimilarity.
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.
Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, 2019

Relational differential dynamic logic: poster abstract.
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.
Proceedings of the Foundations of Software Science and Computation Structures, 2019

Multi-armed Bandits for Boolean Connectives in Hybrid System Falsification.
Proceedings of the Computer Aided Verification - 31st International Conference, 2019

Symbolic Monitoring Against Specifications Parametric in Time and Data.
Proceedings of the Computer Aided Verification - 31st International Conference, 2019

2018
Two-Layered Falsification of Hybrid Systems Guided by Monte Carlo Tree Search.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018

Moore-Machine Filtering for Timed and Untimed Pattern Matching.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018

Coinductive predicates and final sequences in a fibration.
Math. Struct. Comput. Sci., 2018

Coalgebraic Infinite Traces and Kleisli Simulations.
Log. Methods Comput. Sci., 2018

Preface.
J. Log. Algebraic Methods Program., 2018

Quantitative Matrix Simulation.
CoRR, 2018

Quantitative bisimulations using coreflections and open morphisms.
CoRR, 2018

Ranking and Repulsing Supermartingales for Approximating Reachability.
CoRR, 2018

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

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

Offline Timed Pattern Matching under Uncertainty.
Proceedings of the 23rd International Conference on Engineering of Complex Computer Systems, 2018

MONAA: A Tool for Timed Pattern Matching with Automata-Based Acceleration.
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).
Proceedings of the 29th International Conference on Concurrency Theory, 2018

Categorical Büchi and Parity Conditions via Alternating Fixed Points of Functors.
Proceedings of the Coalgebraic Methods in Computer Science, 2018

Fibrational Bisimulations and Quantitative Reasoning.
Proceedings of the Coalgebraic Methods in Computer Science, 2018

Ranking and Repulsing Supermartingales for Reachability in Probabilistic Programs.
Proceedings of the Automated Technology for Verification and Analysis, 2018

Bounding Errors Due to Switching Delays in Incrementally Stable Switched Systems.
Proceedings of the 6th IFAC Conference on Analysis and Design of Hybrid Systems, 2018

ARCH-COMP18 Category Report: Results on the Falsification Benchmarks.
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.
New Gener. Comput., 2017

Fair Simulation for Nondeterministic and Probabilistic Buechi Automata: a Coalgebraic Perspective.
Log. Methods Comput. Sci., 2017

Quantitative simulations by matrices.
Inf. Comput., 2017

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

Causality-Aided Falsification.
Proceedings of the Proceedings First Workshop on Formal Verification of Autonomous Vehicles, 2017

Semantics of higher-order quantum computation via geometry of interaction.
Ann. Pure Appl. Log., 2017

Categorical liveness checking by corecursive algebras.
Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, 2017

Efficient Online Timed Pattern Matching by Automata-Based Skipping.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2017

Switching Delays and the Skorokhod Distance in Incrementally Stable Switched Systems.
Proceedings of the Cyber Physical Systems. Design, Modeling, and Evaluation, 2017

Nonstandard Static Analysis: Literal Transfer of Deductive Verification Frameworks from Discrete to Hybrid.
Proceedings of the Cyber Physical Systems. Design, Modeling, and Evaluation, 2017

Parity Automata for Quantitative Linear Time Logics.
Proceedings of the 7th Conference on Algebra and Coalgebra in Computer Science, 2017

Sharper and Simpler Nonlinear Interpolants for Program Verification.
Proceedings of the Programming Languages and Systems - 15th Asian Symposium, 2017

2016
Special Issue on Quantum Physics and Logic.
New Gener. Comput., 2016

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

Coalgebras and Higher-Order Computation: a GoI Approach.
Proceedings of the 1st International Conference on Formal Structures for Computation and Deduction, 2016

Memoryful geometry of interaction II: recursion and adequacy.
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

Lattice-theoretic progress measures and coalgebraic model checking.
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

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

A Boyer-Moore Type Algorithm for Timed Pattern Matching.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2016

Coalgebraic Trace Semantics for Buechi and Parity Automata.
Proceedings of the 27th International Conference on Concurrency Theory, 2016

2015
Generic weakest precondition semantics from monads enriched with order.
Theor. Comput. Sci., 2015

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

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

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

Near-Optimal Scheduling for LTL with Future Discounting.
Proceedings of the Trustworthy Global Computing - 10th International Symposium, 2015

Abstract Interpretation with Infinitesimals: Towards Scalability in Nonstandard Static Analysis.
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.
Proceedings of the Computer Aided Verification - 27th International Conference, 2015

2014
Near-Optimal Scheduler Synthesis for LTL with Future Discounting.
CoRR, 2014

The Geometry of Synchronization (Long Version).
CoRR, 2014

Input Synthesis for Sampled Data Systems by Program Logic.
Proceedings of the Proceedings 4th Workshop on Hybrid Autonomous Systems, 2014

Measurements in Proof Nets as Higher-Order Quantum Circuits.
Proceedings of the Programming Languages and Systems, 2014

The geometry of synchronization.
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.
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.
Proceedings of the CONCUR 2014 - Concurrency Theory - 25th International Conference, 2014

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

Coinductive Predicates and Final Sequences in a Fibration.
Proceedings of the Twenty-ninth Conference on the Mathematical Foundations of Programming Semantics, 2013

Hyperstream processing systems: nonstandard modeling of continuous-time signals.
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).
NII Shonan Meet. Rep., 2012

Exercises in Nonstandard Static Analysis of Hybrid Systems.
Proceedings of the Computer Aided Verification - 24th International Conference, 2012

2011
Traces for coalgebraic components.
Math. Struct. Comput. Sci., 2011

Programming with Infinitesimals: A While-Language for Hybrid System Modeling.
Proceedings of the Automata, Languages and Programming - 38th International Colloquium, 2011

The Microcosm Principle and Compositionality of GSOS-Based Component Calculi.
Proceedings of the Algebra and Coalgebra in Computer Science, 2011

2010
Probabilistic anonymity via coalgebraic simulations.
Theor. Comput. Sci., 2010

Coalgebraic Representation Theory of Fractals.
Proceedings of the 26th Conference on the Mathematical Foundations of Programming Semantics, 2010

Categorifying Computations into Components via Arrows as Profunctors.
Proceedings of the Tenth Workshop on Coalgebraic Methods in Computer Science, 2010

Generic Forward and Backward Simulations II: Probabilistic Simulation.
Proceedings of the CONCUR 2010 - Concurrency Theory, 21th International Conference, 2010

2009
Categorical semantics for arrows.
J. Funct. Program., 2009

Semantics and logic for security protocols.
J. Comput. Secur., 2009

Coalgebraic Components in a Many-Sorted Microcosm.
Proceedings of the Algebra and Coalgebra in Computer Science, 2009

2008
The Microcosm Principle and Concurrency in Coalgebra.
Proceedings of the Foundations of Software Science and Computational Structures, 2008

2007
Generic Trace Semantics via Coinduction.
Log. Methods Comput. Sci., 2007

Categorical Views on Computations on Trees (Extended Abstract).
Proceedings of the Automata, Languages and Programming, 34th International Colloquium, 2007

Probabilistic Anonymity Via Coalgebraic Simulations.
Proceedings of the Programming Languages and Systems, 2007

2006
Generic Trace Theory.
Proceedings of the Eighth Workshop on Coalgebraic Methods in Computer Science, 2006

Freyd is Kleisli, for Arrows.
Proceedings of the Workshop on Mathematically Structured Functional Programming, 2006

Relations Among Notions of Security for Identity Based Encryption Schemes.
Proceedings of the LATIN 2006: Theoretical Informatics, 2006

Generic Forward and Backward Simulations.
Proceedings of the CONCUR 2006 - Concurrency Theory, 17th International Conference, 2006

2005
Security Notions for Identity Based Encryption.
IACR Cryptol. ePrint Arch., 2005

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

Context-Free Languages via Coalgebraic Trace Semantics.
Proceedings of the Algebra and Coalgebra in Computer Science: First International Conference, 2005

2003
Kripke Completeness of First-Order Constructive Logics with Strong Negation.
Log. J. IGPL, 2003


  Loading...