HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Ichiro Hasuo

Publications
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 and Sean Sedwards
In:ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems
Abstract Interpretation with Infinitesimals: Towards Scalability in Nonstandard Static Analysis
Kengo Kido, Swarat Chaudhuri and Ichiro Hasuo
In:Symbolic and Numerical Methods for Reachability Analysis, 1st International Workshop, SNR 2015

Keyphrases

abstract interpretation, hybrid system, Nonstandard Analysis, reachability analysis, Symbolic Analysis.

Copyright © 2012-2025 easychair.org. All rights reserved.