Zobrazeno 1 - 10
of 104
pro vyhledávání: '"Ichiro Hasuo"'
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 257, Iss Proc. FVAV 2017, Pp 3-18 (2017)
Falsification is drawing attention in quality assurance of heterogeneous systems whose complexities are beyond most verification techniques' scalability. In this paper we introduce the idea of causality aid in falsification: by providing a falsificat
Externí odkaz:
https://doaj.org/article/b4136c994aa84afa9df06999ff5054ad
Autor:
Natsuki Urabe, Ichiro Hasuo
Publikováno v:
Logical Methods in Computer Science, Vol Volume 14, Issue 3 (2018)
Kleisli simulation is a categorical notion introduced by Hasuo to verify finite trace inclusion. They allow us to give definitions of forward and backward simulation for various types of systems. A generic categorical theory behind Kleisli simulation
Externí odkaz:
https://doaj.org/article/c28134bda0d842299555ae72d38c3999
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 174, Iss Proc. HAS 2014, Pp 22-39 (2015)
Inspired by a concrete industry problem we consider the input synthesis problem for hybrid systems: given a hybrid system that is subject to input from outside (also called disturbance or noise), find an input sequence that steers the system to the d
Externí odkaz:
https://doaj.org/article/62f8c7b6564e4954b476bb20fa178e89
Autor:
Natsuki Urabe, Ichiro Hasuo
Publikováno v:
Logical Methods in Computer Science, Vol Volume 13, Issue 3 (2017)
Notions of simulation, among other uses, provide a computationally tractable and sound (but not necessarily complete) proof method for language inclusion. They have been comprehensively studied by Lynch and Vaandrager for nondeterministic and timed s
Externí odkaz:
https://doaj.org/article/21cf4986036e4efb8d58c190b8f46fe5
Publikováno v:
Logical Methods in Computer Science, Vol Volume 3, Issue 4 (2007)
Trace semantics has been defined for various kinds of state-based systems, notably with different forms of branching such as non-determinism vs. probability. In this paper we claim to identify one underlying mathematical structure behind these "trace
Externí odkaz:
https://doaj.org/article/3f87bfa7ee57492eb7fb3b963a4768f8
Autor:
MASARU KITSUREGAWA, SHIGEO URUSHIDANI, KAZUTSUNA YAMAJI, HIROKI TAKAKURA, ICHIRO HASUO, IMARI SATO, FUYUKI ISHIKAWA, ISAO ECHIZEN, KENSAKU MORI
Publikováno v:
Communications of the ACM; Jul2023, Vol. 66 Issue 7, p58-63, 6p, 8 Diagrams
Publikováno v:
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 42:1718-1731
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::91a81a9d86b62db681f0638cadf894d6
https://doi.org/10.1109/tcad.2022.3201157
https://doi.org/10.1109/tcad.2022.3201157
Publikováno v:
ACM Transactions on Software Engineering and Methodology. 32:1-35
Given a log and a specification, timed pattern matching aims at exhibiting for which start and end dates a specification holds on that log. For example, “a given action is always followed by another action before a given deadline”. This problem h
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4916db0e03c4c50ad3a5728a4eb9ad7b
https://doi.org/10.1145/3517194
https://doi.org/10.1145/3517194
Publikováno v:
MT@CPSWeek
Optimization-based falsification employs stochastic optimization algorithms to search for error input of hybrid systems. In this paper we introduce a simple idea to enhance falsification, namely time staging, that allows the time-causal structure of
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3fb21597456215c6070ab8dd70d5dc9a
https://doi.org/10.4204/eptcs.361.5
https://doi.org/10.4204/eptcs.361.5
Publikováno v:
Journal of Logic and Computation. 31:1526-1559
Bisimulation and bisimilarity are fundamental notions in comparing state-based systems. Their extensions to a variety of systems have been actively pursued in recent years, a notable direction being quantitative extensions. In this paper we enhance a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::bc50302f3dc09f6f0ab2fea411ac1067
https://doi.org/10.1093/logcom/exab051
https://doi.org/10.1093/logcom/exab051