Papers

  • Étienne André, Didier Lime, Mathias Ramparison. On the expressive power of invariants in parametric timed automata. The 24th International Conference on Engineering of Complex Computer Systems (ICECCS 2019), 2019
    [doi]
  • Xiaoyi Zhang, Paolo Arcaini, Fuyuki Ishikawa. Assessing the Relation Between Hazards and Variability in Automotive Systems. The 24th International Conference on Engineering of Complex Computer Systems (ICECCS 2019), 2019
    [doi]
  • Ahmet Cetinkaya, Hideaki Ishii, Tomohisa Hayakawa. Randomized Transmissions for Networked Control Under High-Frequency Jamming. 8th IFAC Workshop on Distributed Estimation and Control in Networked Systems (NecSys 2019), 2019
    [doi]
  • Chao Huang, Boyuan Li, Masako Kishida. Model predictive approach to integrated path planning and tracking for autonomous vehicles. IEEE Intelligent Transportation Systems Conference (ITSC 2019), 2019
    [doi | arxiv]
  • Sasinee Pruekprasert, Xiaoyi Zhang, Jérémy Dubut, Chao Huang. Decision Making for Autonomous Vehicles at Unsignalized Intersection in Presence of Malicious Vehicles. IEEE Intelligent Transportation Systems Conference (ITSC 2019), 2019
    [doi | arxiv]
  • Paolo Arcaini, Jan Kofroň, Pavel Ježek. Validation of the Hybrid ERTMS/ETCS Level 3 using SPIN. International Journal on Software Tools for Technology Transfer (STTT), pp.1-24, 2019
    [doi]
  • Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene. Regular expression learning with evolutionary testing and repair. 31st IFIP International Conference On Testing Software And Systems (ICTSS 2019), Lecture Notes in Computer Science, pp.1-19, 2019
    [doi]
  • Reza Babaee, Vijay Ganesh, Sean Sedwards. Accelerated Learning of Predictive Runtime Monitors for Rare Failure. 19th International Conference on Runtime Verification (RV 2019), Lecture Notes in Computer Science, 2019
    [doi]
  • Paolo Arcaini, Angelo Gargantini, Marco Radavelli. A Process for Fault-Driven Repair of Constraints Among Features. 23rd International Systems and Software Product Line Conference – Volume B (VariVolution 2019), pp.1-8, 2019
    [doi]
  • Paolo Arcaini, Angelo Gargantini, Marco Radavelli. Achieving Change Requirements of Feature Models by an Evolutionary Approach (Extended Abstract). 23rd International Systems and Software Product Line Conference – Volume A (SPLC 2019), pp.1-1, 2019
    [doi]
  • Masaki Waga. Online Quantitative Timed Pattern Matching with Semiring-Valued Weighted Automata. 17th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2019), Lecture Notes in Computer Science, 2019
    [doi | arxiv]
  • Étienne André, Jun Sun. Parametric Timed Model Checking for Guaranteeing Timed Opacity. (ATVA 2019), Lecture Notes in Computer Science, 2019
    [doi]
  • Étienne André, Paolo Arcaini, Angelo Gargantini, Marco Radavelli. Repairing Timed Automata Clock Guards through Abstraction and Testing. 13th International Conference on Tests and Proofs (TAP 2019), Lecture Notes in Computer Science, 2019
    [doi | arxiv]
  • Manfred Jaeger, Peter G. Jensen, Kim G. Larsen, Axel Legay. Teaching Stratego to Play Ball : Optimal Synthesis for Continuous Space MDPs. (ATVA 2019), Lecture Notes in Computer Science, 2019
    [doi]
  • Jaeyoung Lee, Aravind Balakrishnan, Ashish Gaurav, Krzysztof Czarnecki. WiseMove: A Framework to Investigate Safe Deep Reinforcement Learning for Autonomous Driving. (QEST 2019), Lecture Notes in Computer Science, 2019
    [doi]
  • Clovis Eberhart, Tom Hirschowitz. Fibred pseudo double categories for game semantics. Theory and Applications of Categories 34, pp.514-572, 2019
    [doi]
  • Gidon Ernst, Sean Sedwards, Zhenya Zhang, Ichiro Hasuo, Sean Sedwards. Fast Falsification of Hybrid Systems using Probabilistically Adaptive Input. (QEST 2019), Lecture Notes in Computer Science, 2019
    [doi]
  • Sasinee Pruekprasert, Toshimitsu Ushio. Supervisory Control of Communicating Timed Discrete Event Systems for State Avoidance Problem. The IEEE Control Systems Letters,
    [doi]
  • Akihisa Yamada, Jérémy Dubut. Complete non-orders and fixed points. 10th International Conference on Interactive Theorem Proving (ITP19), Leibniz International Proceedings in Informatics 141, 2019
    [doi]
  • Xiaoyi Zhang, Junjun Zheng. A Basic Framework for Localizing Aging-Related Bugs in a Random and Dynamic Way. The 1st International Workshop on Dependable Intelligent Systems (DeIS 2019) (DelS19),
    [doi]
  • Shakiba Yaghoubi, Yoriyuki Yamagata, Zhenya Zhang. ARCH-COMP 2019 Category Report: Falsification. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH19), pp.129-140, 2019
    [doi]
  • Hailong Huang, Andrey Savkin, Chao Huang. Optimal control of a hybrid UVA/Train Parcel Delivery System. 38th Chinese Control Conference (CCC2019), 2019
    [doi]
  • Ugo dal Lago, Naohiko Hoshino. The Geometry of Bayesian Programming. Thirty-Fourth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2019), 2019
    [doi | arxiv]
  • Bart Jacobs, David Sprunger. Neural Nets via Forward State Transformation and Backward Loss Transformation. Mathematical Foundations of Programming Semantics XXXV (MFPS 35), Electronic Notes in Theoretical Computer Science,
    [doi]
  • Thorsten Wißmann, Stefan Milius, Shin-ya Katsumata, Jérémy Dubut. A Coalgebraic View on Reachability. Commentationes Mathematicae Universitatis Carolinae special issue dedicated to Vêra Trnková, 2019
    [doi | arxiv]
  • Masaki Waga, Étienne André, Ichiro Hasuo. Symbolic Monitoring against Specifications Parametric in Time and Data. 31st International Conference on Computer Aided Verification (CAV 2019), Lecture Notes in Computer Science 11561, pp.520-539, 2019
    [doi | arxiv]
  • Zhenya Zhang, Ichiro Hasuo, Paolo Arcaini. Multi-Armed Bandits for Boolean Connectives in Hybrid System Falsification. 31st International Conference on Computer Aided Verification (CAV 2019), Lecture Notes in Computer Science 11561, pp.401-420, 2019
    [doi | arxiv]
  • Jose Divasón, Sebastiaan J. C. Joosten, René Thiemann, Akihisa Yamada. A Verified Implementation of the Berlekamp-Zassenhaus Factorization Algorithm. Journal of Automated Reasoning,
    [doi]
  • Clovis Eberhart, Tom Hirschowitz, Alexis Laouar. Template games, simple games, and Day convolution. The 4th International Conference on Formal Structures for Computation and Deduction (FSCD 2019), Leibniz International Proceedings in Informatics, 2019
    [doi]
  • Étienne André, Didier Lime, Mathias Ramparison. Parametric updates in parametric timed automata. 39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2019), Lecture Notes in Computer Science, 2019
    [doi]
  • David Sprunger, Shin-ya Katsumata. Differentiable Causal Computations via Delayed Trace. Thirty-Fourth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2019), 2019
    [doi]
  • Clovis Eberhart, Bartek Klin. History-Dependent Nominal µ-Calculus. Thirty-Fourth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2019), 2019
    [doi]
  • Chao Huang, FazeL Naghdy, Haiping Du, Hailong Huang. Review on human-machine shared control system of automated vehicles. The 3rd International Symposium on Autonomous Systems (ISAS2019 ), 2019
    [doi]
  • Yuichi Komorida, Shin-ya Katsumata, Nick Hu, Bartek Klin. Codensity Games for Bisimilarity. Thirty-Fourth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2019), 2019
    [doi]
  • Zhenya Zhang, Gidon Ernst, Sean Sedwards, Paolo Arcaini. Hybrid System Falsification using Monte Carlo Tree Search (Abstract). 4th Workshop on Monitoring and Testing of Cyber-physical Systems (MT-CPS 2019), 2019
    [doi]
  • Xiaoyi Zhang, Chao Huang. A Dynamic Random Way to Test Path Planning Algorithms. 4th Workshop on Monitoring and Testing of Cyber-physical Systems (MT-CPS 2019), 2019
    [doi]
  • Masaki Waga, Étienne André. Online Parametric Timed Pattern Matching with Automata-Based Skipping. 4th Workshop on Monitoring and Testing of Cyber-physical Systems (MT-CPS 2019), 2019
    [doi]
  • Nian-Ze Lee, Paolo Arcaini, Shaukat Ali, Fuyuki Ishikawa. Stability Analysis for Safety of Automotive Multi-Product Lines: A Search-Based Approach. Proceedings of the Genetic and Evolutionary Computation Conference (GECCO 2019), 2019
    [doi]
  • Étienne André, Emmanuel Coquard, Laurent Fribourg, Jawher Jerray, David Lesens. Scheduling synthesis for a launcher flight control using parametric stopwatch automata. 19th International Conference on Application of Concurrency to System Design (ACSD 2019), 2019
    [doi | arxiv]
  • Étienne André, Didier Lime, Mathias Ramparison. Parametric analyses of attack-fault trees. 19th International Conference on Application of Concurrency to System Design (ACSD 2019), 2019
    [doi | arxiv]
  • Ezio Bartocci, Dirk Beyer, Paul E. Black, Grigory Fedyukovich, Hubert Garavel, Arnd Hartmanns, Marieke Huisman, Fabrice Kordon, Julian Nagele, Mihaela Sighireanu, Bernhard Steffen, Martin Suda, Geoff Sutcliffe, Tjark Weber, Akihisa Yamada. TOOLympics 2019: An Overview of Competitions in Formal Methods. 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2019), Lecture Notes in Computer Science, 2019
    [doi]
  • Jürgen Giesl, Albert Rubio, Christian Sternagel, Johannes Waldmann, Akihisa Yamada. The Termination and Complexity Competition. 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2019), Lecture Notes in Computer Science, 2019
    [doi]
  • Masaki Waga, Étienne André. Online Parametric Timed Pattern Matching with Automata-Based Skipping. 11th Annual NASA Formal Methods Symposium (NFM 2019), Lecture Notes in Computer Science, 2019
    [doi | arxiv]
  • Taro Sekiyama, Atsushi Igarashi. Handling polymorphic algebraic effects. 27th European Symposium on Programming (ESOP 2019), Lecture Notes in Computer Science, 2019
    [doi]
  • Akihisa Yamada, Clovis Eberhart, Fuyuki Ishikawa, Nian-Ze Lee. Scenario Sampling for Cyber Physical Systems using Combinatorial Testing (Extended Abstract). 8th International Workshop on Combinatorial Testing (IWCT 2019), 2019
    [doi]
  • Paolo Arcaini, Angelo Gargantini, Marco Radavelli. Efficient and Guaranteed Detection of t-way Failure-inducing Combinations. 8th International Workshop on Combinatorial Testing (IWCT 2019), 2019
    [doi]
  • Paolo Arcaini, Elvinia Riccobene. Automatic Refinement of ASM Abstract Test Cases. 15th Workshop on Advances in Model Based Testing (A-MOST 2019), 2019
    [doi]
  • Paolo Arcaini, Raffaela Mirandola, Elvinia Riccobene, Patrizia Scandurra. A Pattern-oriented Design Framework for Self-adaptive Software Systems. 2019 International Conference on Software Architecture, Tools track (ICSA 2019), 2019
    [doi]
  • Satoshi Kura, Natsuki Urabe, Ichiro Hasuo. Tail Probabilities for Randomized Program Runtimes via Martingales for Higher Moments. 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2019), Lecture Notes in Computer Science 11428, 2019
    [doi | arxiv]
  • Étienne André, Vincent Bloemen, Laure Petrucci, Jaco Van de Pol. Minimal-Time Synthesis for Parametric Timed Automata . 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2019), Lecture Notes in Computer Science 11428, 2019
    [doi | arxiv]
  • Thorsten Wissmann, Jérémy Dubut, Shin-ya Katsumata, Ichiro Hasuo. Path category for free: Open morphisms from coalgebras with non-deterministic branching. 22nd International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2019), Lecture Notes in Computer Science 11425, 2019
    [doi | arxiv]
  • Christian Sternagel, Akihisa Yamada. Reachability Analysis for Termination and Confluence of Rewriting. 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2019), Lecture Notes in Computer Science 11428, 2019
    [doi]
  • Jérémy Dubut. Trees in Partial Higher Dimensional Automata. 22nd International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2019), Lecture Notes in Computer Science, 2019
    [doi | arxiv]
  • Paolo Arcaini, Angelo Gargantini, Marco Radavelli. Achieving change requirements of feature models by an evolutionary approach. Journal of Systems and Software 150, pp.64-76, 2019
    [doi]
  • Shaukat Ali, Paolo Arcaini, Ichiro Hasuo, Fuyuki Ishikawa, Nian-Ze Lee. Towards a Framework for the Analysis of Multi-Product Lines in the Automotive Domain. 13th International Workshop on Variability Modelling of Software-Intensive Systems (VaMoS 2019), pp.12:1-12:6, 2019
    [doi]
  • Kenta Cho, Bart Jacobs. Disintegration and Bayesian Inversion via String Diagrams. Mathematical Structures in Computer Science, 2019
    [doi | arxiv]
  • Stefan Haar, Juraj Kolčák, Loïc Paulevé. Combining Refinement of Parametric Models with Goal-Oriented Reduction of Dynamics. 20th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2019), Lecture Notes in Computer Science 11388, pp.555-576, 2019
    [doi | arxiv]
  • Étienne André, Laurent Fribourg, Romain Soulat, Jean-Marc Motta. Verification of an industrial asynchronous leader election algorithm using abstractions and parametric model checking. 20th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2019), Lecture Notes in Computer Science 11388, pp.409-424, 2019
    [doi | arxiv]
  • Étienne André, Benoît Delahaye, Paulin Fournier, Didier Lime. Parametric Timed Broadcast Protocols. 20th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2019), Lecture Notes in Computer Science 11388, pp.491-512, 2019
    [doi | arxiv]
  • Hailong Huang, Andrey Savkin, Ming Ding, Chao Huang. Mobile Robots in Wireless Sensor Networks: A survey on Tasks. Computer Networks 148, pp.1-19, 2019
    [doi]
  • Chao Huang, Fazel Naghdy, Haiping Du. Sliding mode predictive tracking control for uncertain Steer-by-Wire system. Control Engineering Practice 85, pp.194-205, 2019
    [doi]
  • Pedro D’Argenio, Arnd Hartmanns, Sean Sedwards. Lightweight Statistical Model Checking in Nondeterministic Continuous Time. 9th International Symposium on Leveraging Applications (ISoLA 2018), Lecture Notes in Computer Science 11245, pp.336-353, 2018
    [doi]
  • Thomas Given-Wilson, Axel Legay, Sean Sedwards, Olivier Zendra. Group abstraction for assisted navigation of social activities in intelligent environments. Journal of Relaiable Intelligent Environments 4, pp.107-120, 2018
    [doi]
  • Étienne André. A benchmarks library for parametric timed model checking. Sixth International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2018), Springer CCIS 1008, pp.75-83, 2018
    [doi | arxiv]
  • Yusuke Miyazaki, Taro Sekiyama, Atsushi Igarashi. Dynamic Type Inference for Gradual Hindley-Milner Typing. the 46th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2019), 2019
    [doi]
  • Markus Weninger, Paul Grünbacher, Huihui Zhang, Tao Yue, Shaukat Ali. Tool Support for Restricted Use Case Specification: Findings from a Controlled Experiment. 25th Asia-Pacific Software Engineering Conference (APSEC 2018), 2018
    [doi]
  • Aitziber Iglesias , Tao Yue, Cristobal Arellano , Shaukat Ali, Goiuria Sagardui. Model-Based Personalized Visualization System for Monitoring Evolving Industrial Cyber-Physical System. 25th Asia-Pacific Software Engineering Conference (APSEC 2018), 2018
    [doi]
  • Sebastiaan Joosten, Rene Thiemann, Akihisa Yamada. A verified implementation of algebraic numbers in Isabelle/HOL. Journal of Automated Reasoning, 2018
    [doi]
  • Taro Sekiyama, Kohei Suenaga. Automated proof synthesis for the minimal logic with deep neural networks. The 16th Asian Symposium on Programming Languages and Systems (APLAS 2018), Lecture Notes in Computer Science, 2018
    [doi]
  • Étienne André, Ichiro Hasuo, Masaki Waga. Offline timed pattern matching under uncertainty. The 23rd International Conference on Engineering of Complex Computer Systems (ICECCS 2018), pp.10-20, 2018
    [doi | arxiv]
  • Ichiro Hasuo. Nonstandard Static Analysis: Literal Transfer of Deductive Verification Frameworks from Discrete to Hybrid. Cyber Physical Systems. Design, Modeling, and Evaluation – 7th International Workshop (CyPhy 2017), Lecture Notes in Computer Science, 2018
    [doi]
  • Kengo Kido, Sean Sedwards, Ichiro Hasuo. Switching Delays and the Skorokhod Distance in Incrementally Stable Switched Systems. Cyber Physical Systems. Design, Modeling, and Evaluation – 7th International Workshop (CyPhy 2017), Lecture Notes in Computer Science, 2018
    [doi]
  • Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene. Interactive Testing and Repairing of Regular Expressions. IFIP International Conference on Testing Software and Systems (ICTSS 2018), Lecture Notes in Computer Science 11146, pp.1-16, 2018
    [doi]
  • Masaki Waga, Ichiro Hasuo. Moore-Machine Filtering for Timed and Untimed Pattern Matching. 2018 International Conference on Embedded Software (EMSOFT 2018), IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 37, pp.2649-2660, 2018
    [doi | arxiv]
  • Zhenya Zhang, Gidon Ernst, Sean Sedwards, Paolo Arcaini, Ichiro Hasuo. Two-layered Falsification of Hybrid Systems Guided by Monte Carlo Tree Search. 2018 International Conference on Embedded Software (EMSOFT 2018), IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 37, pp.2894-2905, 2018
    [doi | arxiv]
  • Yang Chen, Zhenya Zhang, Peng Wu, Yu Zhang. Interleaving Tree Based Fine-grained Linearizability Fault Localization. Dependable Software Engineering: Theories, Tools, and Applications, 4th International Symposium (SETTA 2018), Lecture Notes in Computer Science 10998, pp.108-126, 2018
    [doi]
  • ” “
  • Toru Takisaka, Yuichiro Oyabu, Natsuki Urabe, Ichiro Hasuo. Ranking and Repulsing Supermartingales for Reachability in Probabilistic Programs. 16th International Symposium on Automated Technology for Verification and Analysis (ATVA 2018), Lecture Notes in Computer Science 11138, pp.476-493, 2018
    [doi | arxiv]
  • Fuyuki Ishikawa. Concepts in Quality Assessment for Machine Learning – From Test Data to Arguments. The 37th International Conference on Conceptual Modeling (ER 2018), Lecture Notes in Computer Science 11157, pp.536-544, 2018
    [doi]
  • Fuyuki Ishikawa, Yutaka Matsuno. Continuous Argument Engineering: Tackling Uncertainty in Machine Learning based Systems. Computer Safety, Reliability, and Security SAFECOMP 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Västerås, Sweden, September 18, 2018, Proceedings (ASSURE 2018), Lecture Notes in Computer Science 11094, pp.14-21, 2018
    [doi]
  • Paolo Arcaini, Raffaela Mirandola, Elvinia Riccobene, Patrizia Scandurra. A DSL for MAPE patterns representation in self-adapting systems. 12th European Conference on Software Architecture (ECSA 2018), Lecture Notes in Computer Science 11048, pp.3-19, 2018
    [doi]
  • Jose Divasón, Sebastiaan Joosten, René Thiemann, Akihisa Yamada. A Perron-Frobenius Theorem for Jordan Blocks for Complexity Proving. 16th International Workshop on Termination (WST 2018), 2018
    [doi]
  • Thomas Cottrell, Soichiro Fujii, John Power. Higher dimensional categories: induction on extensivity. 34th Conference on the Mathematical Foundations of Programming Semantics (MFPS 2018), Electronic Notes in Theoretical Computer Science 341, pp.73-90, 2018
    [doi]
  • Paolo Arcaini, Riccardo Melioli, Elvinia Riccobene. AsmetaF: a flattener for the ASMETA framework. 4th Workshop on Formal Integrated Development Environment (F-IDE 2018), Electronic Proceedings in Theoretical Computer Science 284, pp.26-36, 2018
    [doi | arxiv]
  • Ichiro Hasuo, Toshiki Kataoka, Kenta Cho. Coinductive predicates and final sequences in a fibration. Mathematical Structures in Computer Science 28, pp.562-611, 2018
    [doi]
  • Jose Divason, Sebastiaan Joosten, Rene Thiemann, Akihisa Yamada. A Formalization of the LLL Basis Reduction Algorithm. 9th International Conference on Interactive Theorem Proving (ITP 2018), Lecture Notes in Computer Science 10895, pp.160-177, 2018
    [doi]
  • Ichiro Hasuo. Coalgebraic Theory of Büchi and Parity Automata: Fixed-Point Specifications, Categorically. 29th International Conference on Concurrency Theory (CONCUR 2018), Leibniz International Proceedings in Informatics 118, pp.1-2, 2018
    [doi]
  • Carlos Budde, Pedro D’Argenio, Arnd Hartmanns, Sean Sedwards. A Statistical Model Checker for Nondeterminism and Rare Events. Twenty-Fourth International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2018), Lecture Notes in Computer Science, 2018
    [doi]
  • Pedro D’Argenio, Marcus Gerhold, Arnd Hartmanns, Sean Sedwards. A Hierarchy of Scheduler Classes for Stochastic Automata. Twenty-First International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2018), Lecture Notes in Computer Science, 2018
    [doi]
  • Jose Divasón, Sebastiaan Joosten, Ondrej Kuncar, René Thiemann, Akihisa Yamada. Efficient certification of complexity proofs: formalizing the Perron-Frobenius theorem (invited talk paper). The Seventh ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP 2018), pp.2-13, 2018
    [doi]
  • Shin-ya Katsumata. A Double-Category Theoretic Analysis of Graded Linear Exponential Comands. 21st International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2018), Lecture Notes in Computer Science 10803, pp.110-127, 2018
    [doi]
  • Martin Avanzini, Ugo dal Lago, Akihisa Yamada. On Probabilistic Term Rewriting. 14th International Symposium on Functional and Logic Programming (FLOPS 2018), Lecture Notes in Computer Science 10818, pp.132-148, 2018
    [doi]
  • David Sprunger, Shin-ya Katsumata, Jeremy Dubut, Ichiro Hasuo. Fibrational Simulations and Quantitative Reasoning. 14th IFIP WG 1.3 International Workshop on Coalgebraic Methods in Computer Science (CMCS 2018), Lecture Notes in Computer Science 11202, pp.190-213, 2018
    [doi]
  • Natsuki Urabe, Ichiro Hasuo. Categorical Buechi and Parity Conditions via Alternating Fixed Points of Functors. 14th IFIP WG 1.3 International Workshop on Coalgebraic Methods in Computer Science (CMCS 2018), Lecture Notes in Computer Science, 2018
    [doi]
  • Gidon Ernst, Ichiro Hasuo, Sean Sedwards, Zhenya Zhang. Time-Staging Enhancement of Hybrid System Falsification. 4th International Workshop on Symbolic and Numerical Methods for Reachability (SNR 2018), Electronic Proceedings in Theoretical Computer Science, 2018
    [doi]
  • Sasinee Pruekprasert, Toshimitsu Ushio. Supervisory Control of Partially Observed Quantitative Discrete Event Systems for Fixed-Initial-Credit Energy Problem. IEICE Transactions on Information and Systems E100-D, pp.1166-1171, 2017
    [doi]
  • Anna Lukina. Resilient Control and Safety for Cyber-Physical Systems. 3rd Workshop on Monitoring and Testing of Cyber-physical Systems (MT-CPS 2018), 2018
    [doi]
  • Koki Kato, Fuyuki Ishikawa, Shinichi Honiden. Falsification of Cyber-Physical Systems with Reinforcement Learning. 3rd Workshop on Monitoring and Testing of Cyber-physical Systems (MT-CPS 2018), 2018
    [doi]
  • #REF!
  • Masaki Waga, Ichiro Hasuo, Kohei Suenaga. MONAA: a Tool for Timed Pattern Matching with Automata-Based Acceleration. 3rd Workshop on Monitoring and Testing of Cyber-physical Systems (MT-CPS 2018), pp.14-15, 2018
    [doi | arxiv]
  • Kengo Kido, Sean Sedwards, Ichiro Hasuo. Bounding Errors Due to Switching Delays in Incrementally Stable Switched Systems. 6th Conference on Analysis and Design of Hybrid Systems (ADHS 2018), 6th IFAC Conference on Analysis and Design of Hybrid Systems ADHS 2018 51, pp.247-252, 2018
    [doi | arxiv]
  • Thomas Cottrell, Soichiro Fujii, John Power. Enriched and internal categories: an extensive relationship. Tbilisi Mathematical Journal 10, pp.239-254, 2017
    [doi]
  • Takamasa Okudono, Yuki Nishida, Kensuke Kojima, Kohei Suenaga, Kengo Kido, Ichiro Hasuo. Sharper and Simpler Nonlinear Interpolants for Program Verification. 15th Asian Symposium on Programming Languages and Systems (APLAS 2017), Lecture Notes in Computer Science 10695, pp.491-513, 2017
    [doi | arxiv]
  • Takumi Akazaki, Yoshihiro Kumazawa, Ichiro Hasuo. Causality-Aided Falsification. The First International Workshop on Formal Verification of Autonomous Vehicles (FVAV 2017), Electronic Proceedings in Theoretical Computer Science 257, pp.3-18, 2017
    [doi | arxiv]
  • Ichiro Hasuo. Metamathematics for Systems Design: Comprehensive Transfer of Formal Methods Techniques to Cyber-Physical Systems. New Generation Computing 35, pp.271-305, 2017
    [doi]
  • Katsuhiro Ikeshita, Fuyuki Ishikawa, Shinichi Honiden. Test Suite Reduction in Idempotence Testing of Infrastructure as Code. The 11th International Conference on Tests & Proofs (TAP 2017), Lecture Notes in Computer Science 10375, pp.98-115, 2017
    [doi]
  • Masaki Waga, Ichiro Hasuo, Kohei Suenaga. Efficient Online Timed Pattern Matching by Automata-Based Skipping. 15th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2017), Lecture Notes in Computer Science 10419, pp.224-243, 2017
    [doi]
  • Arnd Hartmanns, Sean Sedwards, Pedro D’Argenio. Efficient Simulation-Based Verification of Probabilistic Timed Automata. Fiftieth Winter Simulation Conference (WSC 2017), pp.1419-1430,
    [doi]
  • ” “
  • Kim Larsen, Doron Peled, Sean Sedwards. Memory-Efficient Tactics for Randomized LTL Model Checking. Ninth Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE 2017), Lecture Notes in Computer Science 10712, pp.152-169,
    [doi]
  • Bakh Khoussainov, Toru Takisaka. Large scale geometries of infinite strings. Thirty-Second Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2017), pp.1-12, 2017
    [doi]
  • Taichi Uemura. Fibred Fibration Categories. Thirty-Second Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2017), IEEE, pp.1-12, 2017
    [doi]
  • Ugo Dal Lago, Ryo Tanaka, Akira Yoshimizu. The Geometry of Concurrent Interaction: Handling Multiple Ports by Way of Multiple Tokens. Thirty-Second Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2017), pp.1-12, 2017
    [doi]
  • Corina Cîrstea, Shunsuke Shimizu, Ichiro Hasuo. Parity Automata for Quantitative Linear Time Logics. Seventh Conference on Algebra and Coalgebra in Computer Science (CALCO 2017), Leibniz International Proceedings in Informatics 72, 2017
    [doi]
  • Natsuki Urabe, Masaki Hara, Ichiro Hasuo. Categorical Liveness Checking by Corecursive Algebras. Thirty-Second Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2017), IEEE, pp.1-12, 2017
    [doi | arxiv]
  • Natsuki Urabe, Ichiro Hasuo. Fair Simulation for Nondeterministic and Probabilistic Büchi Automata: a Coalgebraic Perspective. Logimal Methods in Computer Science 13, 2017
    [doi]
  • Natsuki Urabe, Ichiro Hasuo. Quantitative simulations by matrices. Information and Computation 252, pp.110-137, 2017
    [doi | arxiv]
  • Ichiro Hasuo, Naohiko Hoshino. Semantics of higher-order quantum computation via geometry of interaction. Annals of Pure and Applied Logic 168, pp.404-469, 2017
    [doi | arxiv]