Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Daniel P. Kennedy
Roland Zumkeller
Fei Song
Maximilian Dürr
Dan Graur
Liangliang Shang
Amir Hossein Nabizadeh
Min Zeng
Chen Ma
Barbara Aquilani
Home
/
Author
/
ICHIRO HASUO
Author Info
Open Visualization
Name
Affiliation
Papers
ICHIRO HASUO
Univ Tokyo, Dept Comp Sci, Tokyo, Japan
23
Collaborators
Citations
PageRank
38
29
8.36
Referers
Referees
References
79
119
75
Search Limit
100
119
Publications (23 rows)
Collaborators (38 rows)
Referers (79 rows)
Referees (100 rows)
Title
Citations
PageRank
Year
Hybrid System Falsification for Multiple-Constraint Parameter Synthesis: A Gas Turbine Case Study
0
0.34
2021
Ranking and Repulsing Supermartingales for Reachability in Randomized Programs
0
0.34
2021
Constrained Optimization for Hybrid System Falsification and Application to Conjunctive Synthesis
0
0.34
2021
Predictive PER: Balancing Priority and Diversity Towards Stable Deep Reinforcement Learning
0
0.34
2021
Genetic algorithm for the weight maximization problem on weighted automata
0
0.34
2020
Weighted Automata Extraction From Recurrent Neural Networks Via Regression On State Spaces
0
0.34
2019
Symbolic Monitoring against Specifications Parametric in Time and Data.
0
0.34
2019
Multi-Armed Bandits For Boolean Connectives In Hybrid System Falsification
3
0.39
2019
Moore-machine filtering for timed and untimed pattern matching - poster abstract.
0
0.34
2019
Relational differential dynamic logic - poster abstract.
0
0.34
2019
Moore-Machine Filtering for Timed and Untimed Pattern Matching.
0
0.34
2018
ARCH-COMP18 Category Report: Results on the Falsification Benchmarks.
0
0.34
2018
Offline Timed Pattern Matching under Uncertainty
2
0.36
2018
MONAA: A Tool for Timed Pattern Matching with Automata-Based Acceleration
1
0.35
2018
Nonstandard Static Analysis - Literal Transfer of Deductive Verification Frameworks from Discrete to Hybrid.
0
0.34
2017
Metamathematics for Systems Design - Comprehensive Transfer of Formal Methods Techniques to Cyber-Physical Systems.
1
0.36
2017
Switching Delays and the Skorokhod Distance in Incrementally Stable Switched Systems.
0
0.34
2017
A Boyer-Moore Type Algorithm for Timed Pattern Matching.
6
0.47
2016
Time Robustness In Mtl And Expressivity In Hybrid System Falsification
15
0.65
2015
Time Robustness in MTL and Expressivity in Hybrid System Falsification (Extended Version)
1
0.37
2015
Input Synthesis For Sampled Data Systems By Program Logic
0
0.34
2014
Coinduction for Computation Structures and Programming Languages (NII Shonan Meeting 2013-11).
0
0.34
2013
Hybrid Systems: Theory and Practice, Seriously (NII Shonan Meeting 2012-2).
0
0.34
2012
1
