Ichiro Hasuo
Orcid: 0000-0002-8300-4650Affiliations:
- University of Tokyo
According to our database1,
Ichiro Hasuo
authored at least 154 papers
between 2003 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on dl.acm.org
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
Pareto Curves for Compositionally Model Checking String Diagrams of MDPs: Supplemental Material.
Dataset, January, 2024
Pareto Curves for Compositionally Model Checking String Diagrams of MDPs: Supplemental Material.
Dataset, January, 2024
Artifact Archive for memo-regex: linear-time regex matching implementation with memoization.
Dataset, January, 2024
CoRR, 2024
CoRR, 2024
Efficient Matching with Memoization for Regexes with Look-around and Atomic Grouping (Extended Version).
CoRR, 2024
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.
Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing, 2024
Winning Strategy Templates for Stochastic Parity Games Towards Permissive and Resilient Control.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2024, 2024
Proceedings of the Formal Methods - 26th International Symposium, 2024
Proceedings of the Formal Methods - 26th International Symposium, 2024
Efficient Matching with Memoization for Regexes with Look-around and Atomic Grouping.
Proceedings of the Programming Languages and Systems, 2024
Proceedings of the 48th IEEE Annual Computers, Software, and Applications Conference, 2024
Proceedings of the Coalgebraic Methods in Computer Science, 2024
Proceedings of the Coalgebraic Methods in Computer Science, 2024
Proceedings of the Coalgebraic Methods in Computer Science, 2024
Proceedings of the Computer Aided Verification - 36th International Conference, 2024
Optimization-Based Model Checking and Trace Synthesis for Complex STL Specifications.
Proceedings of the Computer Aided Verification - 36th International Conference, 2024
Proceedings of the Principles of Verification: Cycling the Probabilistic Landscape, 2024
2023
Pareto Curves for Compositionally Model Checking String Diagrams of MDPs: Supplemental Material.
Dataset, December, 2023
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
IEEE Trans. Intell. Veh., April, 2023
Dataset, April, 2023
Dataset, April, 2023
Proceedings of the IEEE Intelligent Vehicles Symposium, 2023
Proceedings of the 25th IEEE International Conference on Intelligent Transportation Systems, 2023
Proceedings of the 12th International Workshop on Hardware and Architectural Support for Security and Privacy, 2023
Proceedings of the Computer Aided Verification - 35th International Conference, 2023
Proceedings of the Computer Aided Verification - 35th International Conference, 2023
Proceedings of the Computer Aided Verification - 35th International Conference, 2023
2022
Data for "Exemplifying parametric timed specifications over signals with bounded behavior".
Dataset, March, 2022
Data for "Exemplifying parametric timed specifications over signals with bounded behavior".
Dataset, January, 2022
Responsibility-Sensitive Safety: an Introduction with an Eye to Logical Foundations and Formalization.
CoRR, 2022
Proceedings of the NASA Formal Methods - 14th International Symposium, 2022
Proceedings of the Computer Aided Verification - 34th International Conference, 2022
Proceedings of the Automated Technology for Verification and Analysis, 2022
2021
ACM Trans. Program. Lang. Syst., 2021
ACM Trans. Model. Comput. Simul., 2021
J. Log. Comput., 2021
Proceedings of the Proceedings 37th Conference on Mathematical Foundations of Programming Semantics, 2021
Proceedings of the Proceedings The 7th International Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT, 2021
Proceedings of the Tests and Proofs - 15th International Conference, 2021
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
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
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
Proceedings of the GECCO '20: Genetic and Evolutionary Computation Conference, 2020
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
Proceedings of the Quantitative Evaluation of Systems, 16th International Conference, 2019
Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science, 2019
Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, 2019
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
Proceedings of the Computer Aided Verification - 31st International Conference, 2019
Proceedings of the Computer Aided Verification - 31st International Conference, 2019
2018
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018
Math. Struct. Comput. Sci., 2018
CoRR, 2018
CoRR, 2018
Proceedings of the 23rd International Conference on Engineering of Complex Computer Systems, 2018
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
Proceedings of the Coalgebraic Methods in Computer Science, 2018
Proceedings of the Coalgebraic Methods in Computer Science, 2018
Proceedings of the Automated Technology for Verification and Analysis, 2018
Proceedings of the 6th IFAC Conference on Analysis and Design of Hybrid Systems, 2018
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
Bounding Errors Due to Switching Delays in Incrementally Stable Switched Systems (Extended Version).
CoRR, 2017
Proceedings of the Proceedings First Workshop on Formal Verification of Autonomous Vehicles, 2017
Ann. Pure Appl. Log., 2017
Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, 2017
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
Proceedings of the 7th Conference on Algebra and Coalgebra in Computer Science, 2017
Proceedings of the Programming Languages and Systems - 15th Asian Symposium, 2017
2016
Fair Simulation for Nondeterministic and Probabilistic Buechi Automata: a Coalgebraic Perspective.
CoRR, 2016
Proceedings of the 1st International Conference on Formal Structures for Computation and Deduction, 2016
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2016
Proceedings of the 27th International Conference on Concurrency Theory, 2016
2015
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
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
Proceedings of the Computer Aided Verification - 27th International Conference, 2015
2014
Proceedings of the Proceedings 4th Workshop on Hybrid Autonomous Systems, 2014
Proceedings of the Programming Languages and Systems, 2014
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
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
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
Proceedings of the Twenty-ninth Conference on the Mathematical Foundations of Programming Semantics, 2013
Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2013
2012
NII Shonan Meet. Rep., 2012
Proceedings of the Computer Aided Verification - 24th International Conference, 2012
2011
Proceedings of the Automata, Languages and Programming - 38th International Colloquium, 2011
Proceedings of the Algebra and Coalgebra in Computer Science, 2011
2010
Proceedings of the 26th Conference on the Mathematical Foundations of Programming Semantics, 2010
Proceedings of the Tenth Workshop on Coalgebraic Methods in Computer Science, 2010
Proceedings of the CONCUR 2010 - Concurrency Theory, 21th International Conference, 2010
2009
Proceedings of the Algebra and Coalgebra in Computer Science, 2009
2008
Proceedings of the Foundations of Software Science and Computational Structures, 2008
2007
Proceedings of the Automata, Languages and Programming, 34th International Colloquium, 2007
Proceedings of the Programming Languages and Systems, 2007
2006
Proceedings of the Eighth Workshop on Coalgebraic Methods in Computer Science, 2006
Proceedings of the Workshop on Mathematically Structured Functional Programming, 2006
Proceedings of the LATIN 2006: Theoretical Informatics, 2006
Proceedings of the CONCUR 2006 - Concurrency Theory, 17th International Conference, 2006
2005
Proceedings of the 2005 ACM workshop on Formal methods in security engineering, 2005
Proceedings of the Algebra and Coalgebra in Computer Science: First International Conference, 2005
2003
Log. J. IGPL, 2003