Nonstandard Static Analysis: Literal Transfer of Deductive Verification Frameworks from Discrete to Hybrid von Hasuo, Ichiro

Volltext

Moore-Machine Filtering for Timed and Untimed Pattern Matching von Waga, Masaki, Hasuo, Ichiro

Volltext

Efficient Online Timed Pattern Matching by Automata-Based Skipping von Waga, Masaki, Hasuo, Ichiro, Suenaga, Kohei

Volltext

Coalgebraic Methods in Computer Science: 13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selecte... von Hasuo, Ichiro

Volltext

Ranking and Repulsing Supermartingales for Reachability in Probabilistic Programs von Takisaka, Toru, Oyabu, Yuichiro, Urabe, Natsuki, Hasuo, Ichiro

Volltext

Generic weakest precondition semantics from monads enriched with order von Hasuo, Ichiro

Volltext

Generic Trace Semantics via Coinduction von Hasuo, Ichiro, Jacobs, Bart, Sokolova, Ana

Volltext

Codensity Games for Bisimilarity von Komorida, Yuichi, Katsumata, Shin-ya, Hu, Nick, Klin, Bartek, Humeau, Samuel, Eberhart, Clovis, Hasuo, Ichiro

Volltext

Generic Forward and Backward Simulations II:Probabilistic Simulation von Hasuo, Ichiro

Volltext

Causality-Aided Falsification von Akazaki, Takumi, Kumazawa, Yoshihiro, Hasuo, Ichiro

Volltext

Goal-Aware RSS for Complex Scenarios via Program Logic von Hasuo, Ichiro, Eberhart, Clovis, Haydon, James, Dubut, Jeremy, Bohrer, Rose, Kobayashi, Tsutomu, Pruekprasert, Sasinee, Zhang, Xiao-Yi, Pallas, Erik Andre, Yamada, Akihisa, Suenaga, Kohei, Ishikawa, Fuyuki, Kamijo, Kenji, Shinya, Yoshiyuki, Suetomi, Takamasa

Volltext

Metamathematics for Systems Design: Comprehensive Transfer of Formal Methods Techniques to Cyber-Physical Systems von Hasuo, Ichiro

Volltext

Categorical semantics for arrows von JACOBS, BART, HEUNEN, CHRIS, HASUO, ICHIRO

Volltext

Hybrid System Falsification Under (In)equality Constraints via Search Space Transformation von Zhang, Zhenya, Arcaini, Paolo, Hasuo, Ichiro

Volltext

Traces for coalgebraic components von HASUO, ICHIRO, JACOBS, BART

Volltext

Preface von Hasuo, Ichiro

Volltext

A Robustness-Based Confidence Measure for Hybrid System Falsification von Takisaka, Toru, Zhang, Zhenya, Arcaini, Paolo, Hasuo, Ichiro

Volltext

Parametric Timed Pattern Matching von Waga, Masaki, André, Étienne, Hasuo, Ichiro

Volltext

Ranking and Repulsing Supermartingales for Reachability in Randomized Programs von Takisaka, Toru, Oyabu, Yuichiro, Urabe, Natsuki, Hasuo, Ichiro

Volltext

Coalgebraic Methods in Computer Science: 13th IFIP WG 1. 3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, the Netherlands, April 2-3, 2016, Revised Select... von Hasuo, Ichiro

Volltext