論文

  • Jiahui Wu, Paolo Arcaini, Tao Yue, Shaukat Ali, Huihui Zhang. On the Preferences of Quality Indicators for Multi-Objective Search Algorithms in Search-Based Software Engineering. Empirical Software Engineering, 2022
    [doi]
  • Xinyi Wang, Paolo Arcaini, Tao Yue, Shaukat Ali. QuSBT: Search-Based Testing of Quantum Programs. 44th International Conference on Software Engineering – Demonstrations track (ICSE 2022), 2022
    [doi]
  • Gidon Ernst, Sean Sedwards, Zhenya Zhang, Ichiro Hasuo. Falsification of Hybrid Systems Using Adaptive Probabilistic Search. ACM Transactions on Modeling and Computer Simulation 31, pp.1-22, 2021
    [doi]
  • Yang Liu, Xiao-Yi Zhang. Adaptive Random Testing for Multi-Agent Path Finding Systems. IEEE Transactions on Reliability, 2022
    [doi]
  • Masako Kishida, Ahmet Cetinkaya. Risk-Aware Linear Quadratic Control Using Conditional Value-at-Risk. IEEE Transactions on Automatic Control, 2022
    [doi]
  • Rui Kato, Ahmet Cetinkaya, Hideaki Ishii. Linearization-Based Quantized Stabilization of Nonlinear Systems Under DoS Attacks. IEEE Transactions on Automatic Control, 2022
    [doi]
  • Shota Motoura, Shin-ya Katsumata. On Inverse Operators in Dynamic Epistemic Logic. Symposium on LOGICAL FOUNDATIONS OF COMPUTER SCIENCE (LFCS 2022), Lecture Notes in Computer Science 13137, 2022
    [doi]
  • Paolo Arcaini, Xiao-Yi Zhang, Fuyuki Ishikawa. Less is More: Simplification of Test Scenarios for Autonomous Driving System Testing. 15th IEEE International Conference on Software Testing, Verification and Validation (ICST 2022), 2022
    [doi]
  • Paolo Arcaini, Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Daniele Gamba, Rita Pedercini. Robustness assessment and improvement of a neural network for blood oxygen pressure estimation. 15th IEEE International Conference on Software Testing, Verification and Validation (ICST 2022), 2022
    [doi]
  • Goran Frehse, Khouloud Gaaloul, Jun Inoue, Tanmay Khandait, Logan Mathesen, Claudio Menghi, Giulia Pedrielli, Marc Pouzet, Masaki Waga, Shakiba Yaghoubi, Yoriyuki Yamagata, Zhenya Zhang. ARCH-COMP 2021 Category Report: Falsification with Validation of Results. 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), EPiC Series in Computing 80, pp.133-152, 2021
    [doi]
  • Soichiro Fujii. Completeness and injectivity. Topology and its Applications 301, 2021
    [doi]
  • Soichiro Fujii, Yuni Iwamasa, Kei Kimura. Quantaloidal Approach to Constraint Satisfaction. Fourth International Conference on Applied Category Theory (ACT 2021), Electronic Proceedings of Theoretical Computer Science,
    [doi]
  • Takuma Imamura, Shuya Matsumoto, Shin Quawai. Hypersequent Calculi for Intermediate Predicate Logics. 数理解析研究所講究録 2193, pp.81-89, 2021
    [doi]
  • Takuma Imamura. Relationship among various Vietoris-type and microsimplicial homology theories. Archivum Mathematicum 57, pp.131-150, 2021
    [doi]
  • Haruka Tomita. Planar realizability via left and right applications. 30th EACSL Annual Conference on Computer Science Logic (CSL 2022), Leibniz International Proceedings in Informatics, 2022
    [doi]
  • Ezequiel Castellano, Ahmet Cetinkaya, Paolo Arcaini. Analysis of Road Representations in Search-Based Testing of Autonomous Driving Systems. 21st IEEE International Conference on Software Quality, Reliability and Security (QRS 2021), 2021
    [doi]
  • Xinyi Wang, Paolo Arcaini, Tao Yue, Shaukat Ali. Application of Combinatorial Testing to Quantum Programs. 21st IEEE International Conference on Software Quality, Reliability and Security (QRS 2021), 2021
    [doi]
  • Junya Ikemoto, Toshimitsu Ushio. Continuous deep Q-learning with a simulator for stabilization of uncertain discrete-time systems. Nonlinear Theory and Its Applications, IEICE 12, pp.738-757, 2021
    [doi]
  • Kosuke Toda, Naomi Kuze, Toshimitsu Ushio. Game-Theoretic Approach to a Decision-Making Problem for Blockchain Mining. IEEE Control System Letters 5, pp.1783-1788, 2021
    [doi]
  • Alejandro Aguirre, Gilles Barthe, Marco Gaboardi, Deepak Garg, Shin-ya Katsumata, Tetsuya Sato. Higher-order probabilistic adversarial computations: categorical semantics and program logics. Proc. {ACM} Program. Lang. 5, pp.1-30, 2021
    [doi]
  • Hiroshi Unno, Tachio Terauchi, Eric Koskinen. Constraint-based Relational Verification. 33rd International Conference on Computer-Aided Verification (CAV 2021), Lecture Notes in Computer Science 12759, pp.742-766, 2021
    [doi]
  • Stefan Klikovits, Paolo Arcaini. On the Need for Multi-Level ADS Scenarios. 3rd International Workshop on Multi-Paradigm Modelling for Cyber-Physical Systems (MPM4CPS’21), pp.322-326, 2021
    [doi | arxiv]
  • Stefan Klikovits, Paolo Arcaini. Handling Noise in Search-Based Scenario Generation for Autonomous Driving Systems. 26th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2021), pp.1-6, 2021
    [doi | arxiv]
  • Natasha Fernandes, Yusuke Kawamoto, Takao Murakami. Locality Sensitive Hashing with Extended Differential Privacy. 26th European Symposium on Research in Computer Security (ESORICS 2021), Lecture Notes in Computer Science 12973, pp.563-583, 2021
    [doi | arxiv]
  • Kazuki Watanabe, Clovis Eberhart, Kazuyuki Asada, Ichiro Hasuo. A Compositional Approach to Parity Games. 2021
    [doi]
  • Ahmet Cetinkaya, Masako Kishida. Instabilizability Conditions for Continuous-Time Stochastic Systems Under Control Input Constraints. IEEE Control Systems Letters 6, pp.1430-1435, 2021
    [doi]
  • Ahmet Cetinkaya, Masako Kishida. Nonlinear Data-Driven Control for Stabilizing Periodic Orbits . 60th IEEE Conference on Decision and Control (IEEE CDC 2021), pp.4320-4325, 2021
    [doi]
  • Matias Duran, Xiao-Yi Zhang, Paolo Arcaini, Fuyuki Ishikawa. What to Blame? On the Granularity of Fault Localization for Deep Neural Networks. The 32nd International Symposium on Software Reliability Engineering (ISSRE 2021), pp.264-275, 2021
    [doi]
  • Mingyue Jiang, Houzen Bao, Kaiyi Tu, Xiao-Yi Zhang, Zuohua Ding. Evaluating Natural Language Inference Models: A Metamorphic Testing Approach. The 32nd International Symposium on Software Reliability Engineering (ISSRE 2021), 2021
    [doi]
  • Sasinee Pruekprasert, Kai Cai. Local Opacity Verification for Distributed Discrete Event Systems. 60th IEEE Conference on Decision and Control (IEEE CDC 2021), pp.7015-7020, 2021
    [doi]
  • Sasinee Pruekprasert, Clovis Eberhart, Jérémy Dubut. Fast Synthesis for Symbolic Self-triggered Control under Right-recursive LTL Specifications. 60th IEEE Conference on Decision and Control (IEEE CDC 2021), pp.1321-1328, 2021
    [doi]
  • Adrianto Ravi Ibrahim, Ahmet Cetinkaya, Masako Kishida. Timed Congestion Games with Application to Multi-Fleet Platoon Matching. 60th IEEE Conference on Decision and Control (IEEE CDC 2021), pp.Kato-1682, 2021
    [doi]
  • Rongxin Wu, Tao Xie. Targeting Requirements Violations of Autonomous Driving Systems by Dynamic Evolutionary Search. 36th IEEE/ACM International Conference on Automated Software Engineering (ASE 2021), pp.279-291, 2021
    [doi]
  • Thomas Laurent, Paolo Arcaini, Fuyuki Ishikawa, Anthony Ventresque. Shake Those System Parameters! On the Need for Parameter Coverage for Decision Systems. 36th IEEE/ACM International Conference on Automated Software Engineering – NIER Track (ASE 2021), pp.1327-1331, 2021
    [doi]
  • Xinyi Wang, Paolo Arcaini, Tao Yue, Shaukat Ali. Quito: a Coverage-Guided Test Generator for Quantum Programs. 36th IEEE/ACM International Conference on Automated Software Engineering – Tool Demonstrations Track (ASE 2021), pp.1237-1241, 2021
    [doi]
  • Enaut Mendiluze, Shaukat Ali, Paolo Arcaini, Tao Yue. Muskit: A Mutation Analysis Tool for Quantum Software Testing. 36th IEEE/ACM International Conference on Automated Software Engineering – Tool Demonstrations Track (ASE 2021), pp.1266-1270, 2021
    [doi]
  • Taro Sekiyama, Takeshi Tsukada. CPS Transformation with Affine Types for Call-By-Value Implicit Polymorphism. Proc. ACM Program. Lang. 5, ICFP, Article 95 (ICFP 2021), Proceedings of the ACM on Programming Languages, 2021
    [doi]
  • Paolo Arcaini, Omar Inverso, Catia Trubiani. Automated Model-based Performance Analysis of Software Product Lines under Uncertainty – Extended Abstract. 25th ACM International Systems and Software Product Line Conference – Journal first track (SPLC 2021), pp.112-112, 2021
    [doi]
  • Sota Sato, Atsuyoshi Saimen, Masaki Waga, Kenji Takao, Ichiro Hasuo. Hybrid System Falsification for Multiple-Constraint Parameter Synthesis: a Gas Turbine Case Study. 24th International Symposium on Formal Methods (FM 2021), Lecture Notes in Computer Science 13047, pp.313-329, 2021
    [doi]
  • Zhenya Zhang, Paolo Arcaini. Gaussian Process-Based Confidence Estimation for Hybrid System Falsification. 24th International Symposium on Formal Methods (FM 2021), Lecture Notes in Computer Science 13047, pp.330-348, 2021
    [doi]
  • Akihisa Yamada. Multi-Dimensional Interpretation Methods for Termination of Term Rewriting. The 28th International Conference on Automated Deduction (CADE-28), Lecture Notes in Computer Science 12699, pp.273-290, 2021
    [doi]
  • Xinyi Wang, Paolo Arcaini, Tao Yue, Shaukat Ali. Generating Failing Test Suites for Quantum Programs with Search. 13th Symposium on Search-Based Software Engineering (SSBSE 2021), Lecture Notes in Computer Science 12914, pp.9-25, 2021
    [doi]
  • Mayuko Kori, Ichiro Hasuo, Shin-ya Katsumata. Fibrational Initial Algebra-Final Coalgebra Coincidence over Initial Algebra: Turning Verification Witnesses Upside Down. The 32nd International Conference on Concurrency Theory (CONCUR 2021), 2021
    [doi]
  • Yurid Nugraha, Ahmet Cetinkaya, Tomohisa Hayakawa, Hideaki Ishii, Quanyan Zhu. Cluster Formation in Multiagent Consensus Via Dynamic Resilient Graph Games . 5th IEEE Conference on Control Technology and Applications (IEEE CCTA 2021), 2021
    [doi]
  • Paolo Arcaini, Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini. Efficient Computation of Robustness of Convolutional Neural Networks. 3rd IEEE International Conference on Artificial Intelligence Testing (AITest 2021), pp.21-28, 2021
    [doi]
  • Xiao-Yi Zhang, Mingyue Jiang. SPICA: a Methodology for Reviewing and Analysing Fault Localisation Techniques. the 37th International Conference on Software Maintenance and Evolution (ICSME) 2021 (ICSME21), 2021
    [doi]
  • Kenji Taguchi, Fuyuki Ishikawa. Experimental Conformance Evaluation on UBER ATG Safety Case Framework with ANSL/UL 4600. 4th International Workshop on Artificial Intelligence Safety Engineering (WAISE 2021), Lecture Notes in Computer Science, 2021
    [doi]
  • Florian Hauer, Anthony Ventresque. Parameter-Based Testing and Debugging of Autonomous Driving Systems. 4th workshop on Ensuring and Validating Safety for Automated Vehicles (EVSAV 2021), pp.197-202, 2021
    [doi]
  • Paolo Arcaini, Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra. The ASMETA Approach to Safety Assurance of Software Systems. Lecture Notes in Computer Science 12750, pp.215-238, 2021
    [doi]
  • Stefan Klikovits, Paolo Arcaini. KNN-Averaging for Noisy Multi-Objective Optimisation. Proceedings of the 14th International Conference on the Quality of Information and Communications Technology (QUATIC 2021), Communications in Computer and Information Science (CCIS) 1439, pp.503-518, 2021
    [doi | arxiv]
  • Ezequiel Castellano, Ahmet Cetinkaya, Cedric Ho Thanh, Stefan Klikovits, Xiaoyi Zhang, Paolo Arcaini. Frenetic at the SBST 2021 Tool Competition. 2021 IEEE/ACM 14th International Workshop on Search-Based Software Testing (SBST 2021), pp.36-37, 2021
    [doi]
  • Seira Hidano, Takao Murakami, Yusuke Kawamoto. TransMIA: Membership Inference Attacks Using Transfer Shadow Training. 2021 International Joint Conference on Neural Networks (IJCNN 2021), pp.1-10, 2021
    [doi]
  • Fuyuki Ishikawa. Architecture-Guided Test Resource Allocation Via Logic. 15th International Conference on Tests and Proofs (TAP 2021), Lecture Notes in Computer Science 12740, pp.22-38, 2021
    [doi]
  • Sanghwa Lee, Jaeyoung Lee, Ichiro Hasuo. Predictive PER: Balancing Priority and Diversity Towards Stable Deep Reinforcement Learning. 2021 International Joint Conference on Neural Networks (IJCNN 2021), pp.1-10, 2021
    [doi]
  • Rui Kato, Ahmet Cetinkaya, Hideaki Ishii. Security Analysis of Linearization for Nonlinear Control Systems Under DoS. IEEE Transactions on Control of Network Systems 8, pp.1692-1704, 2021
    [doi]
  • Yuichi Komorida, Shin-ya Katsumata, Clemens Kupke, Jurriaan Rot, Ichiro Hasuo. Expressivity of Quantitative Modal Logics: Categorical Foundations via Codensity and Approximation. 36th Annual Symposium on Logic in Computer Science (LICS 2021), 2021
    [doi | arxiv]
  • Satoshi Kura, Hiroshi Unno, Ichiro Hasuo. Decision Tree Learning in CEGIS-Based Termination Analysis. 33rd International Conference on Computer-Aided Verification (CAV 2021), Lecture Notes in Computer Science, 2021
    [doi | arxiv]
  • Zhenya Zhang, Deyun Lyu, Paolo Arcaini, Lei Ma, Ichiro Hasuo, Jianjun Zhao. Effective Hybrid System Falsification Using Monte Carlo Tree Search Guided by QB-Robustness. 33rd International Conference on Computer-Aided Verification (CAV 2021), Lecture Notes in Computer Science 12759, pp.595-618, 2021
    [doi]
  • Thomas Laurent, Paolo Arcaini, Fuyuki Ishikawa, Anthony Ventresque. Achieving Weight Coverage for an Autonomous Driving System with Search-based Test Generation (HOP Track at GECCO 2021). The Genetic and Evolutionary Computation Conference – Hot off the Press track (GECCO 2021), pp.33-34, 2021
    [doi]
  • Shaukat Ali, Paolo Arcaini, Tao Yue. Do Quality Indicators Prefer Particular Multi-Objective Search Algorithms in Search-Based Software Engineering? (Hot Off the Press track at GECCO 2021). The Genetic and Evolutionary Computation Conference – Hot off the Press track (GECCO 2021), pp.21-22, 2021
    [doi]
  • Kaiou Yin, Paolo Arcaini, Tao Yue, Shaukat Ali. Analyzing the Impact of Product Configuration Variations on Advanced Driver Assistance Systems with Search. The Genetic and Evolutionary Computation Conference (GECCO 2021), pp.1106-1114, 2021
    [doi]
  • Atsushi Igarashi. Helmholtz: A Verifier for Tezos Smart Contracts Based on Refinement Types.. The 27th International Conference, TACAS 2021 (TACAS 2021), Lecture Notes in Computer Science 12652, pp.262-280, 2021
    [doi]
  • Yuhki Hatakeyama, Hiroki Sakuma, Yoshinori Konishi, Kohei Suenaga. Visualizing Color-Wise Saliency of Black-Box Image Classification Models.. The 15th Asian Conference on Computer Vision (ACCV 2020), Lecture Notes in Computer Science 12624, pp.189-205, 2020
    [doi]
  • Akinori Sakaguchi, Takashi Takimoto, Toshimitsu Ushio. Hopf Bifurcations of a Quadrotor with a Tilting Frame. IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences E104-A, pp.632-635, 2021
    [doi]
  • Kosuke Toda, Naomi Kuze, Toshimitsu Ushio. Modeling and Supervisory Control of Blockchain Forks. IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences E104-A, pp.474-475, 2021
    [doi]
  • Junya Ikemoto, Toshimitsu Ushio. Application of deep reinforcement learning to networked control systems with uncertain network delays. Nonlinear Theory and Its Applications, IEICE 11, pp.480-500, 2020
    [doi]
  • Haruka Tomita. Realizability Without Symmetry. 29th EACSL Annual Conference on Computer Science Logic (CSL 2021), Leibniz International Proceedings in Informatics 183, pp.38:1-38:16, 2021
    [doi]
  • Steven Cheung, Dan Ghica, Koko Muroya. Transparent Synchronous Dataflow. The Art, Science, and Engineering of Programming 5, 2021
    [doi | arxiv]
  • Hisashi Aratake. Sheaves of Structures, Heyting-Valued Structures, and a Generalization of Łoś’s Theorem. Mathematical Logic Quarterly, 2021
    [doi | arxiv]
  • Soichiro Fujii. Completeness and injectivity. Topology and its Applications, 2020
    [doi | arxiv]
  • Takuma Imamura. Another view of the coarse invariant $\sigma$. Ball State Undergraduate Mathematics Exchange 14, pp.14-24, 2020
    [doi]
  • Takuma Imamura. A nonstandard invariant of coarse spaces. The Graduate Journal of Mathematics 5, pp.1-8, 2020
    [doi]
  • Aravind Balakrishnan, Jaeyoung Lee, Ashish Gaurav, Krzysztof Czarnecki, Sean Sedwards. Transfer Reinforcement Learning for Autonomous Driving: From WiseMove to WiseSim. ACM Transactions on Modeling and Computer Simulation, 2021
    [doi]
  • Jaeyoung Lee, Richard S Sutton. Policy iterations for reinforcement learning problems in continuous time and space – Fundamental theory and methods. Automatica, 2021
    [doi]
  • Weitao Chen, Rick Salay, Sean Sedwards, Vahdat Abdelzad, Krzysztof Czarnecki. Accelerating the Training of Convolutional Neural Networks for Image Segmentation with Deep Active Learning . Proc. of the 23rd Int. Conf. on Intelligent Transportation Systems (ITSC 2020), 2020
    [doi]
  • ” “
  • Aman Jhunjhunwala, Jaeyoung Lee, Sean Sedwards, Vahdat Abdelzad, Krzysztof Czarnecki. Improved Policy Extraction via Online Q-Value Distillation . Proc. of the International Joint Conference on Neural Networks (IJCNN 2020), 2020
    [doi]
  • Carlos Budde, Pedro D’Argenio, Arnd Hartmanns, Sean Sedwards. An Efficient Statistical Model Checker for Nondeterminism and Rare Events. International Journal on Software Tools For Technology Transfer, 2020
    [doi]
  • Rick Salay, Krzysztof Czarnecki, Ignacio Alvarez, Maria Soledad Elli, Sean Sedwards, Jack Weast. Towards Perceptual Uncertainty Aware Responsibility Sensitive Safety with ML. Proc. of the AAAI Workshop on Artificial Intelligence Safety (SafeAI 2020), 2020
    [doi]
  • Asish Gaurav, Vahdat Abdelzad, Sachin Vernekar, Krzysztof Czarnecki, Jaeyoung Lee, Sean Sedwards. Simple Continual Learning Strategies for Safer Classifiers. Proc. of the AAAI Workshop on Artificial Intelligence Safety (SafeAI 2020), 2020
    [doi]
  • Yoshiyuki Sekiguchi, Hayato Waki. Perturbation Analysis of Singular Semidefinite Programs and Its Applications to Control Problems. Journal of Optimization Theory and Applications 188, pp.52-72, 2021
    [doi]
  • Shuai Feng, Ahmet Cetinkaya, Hideaki Ishii, Pietro Tesi, Claudio De Persis. Resilient Quantized Control under Denial-of-Service with the Application of Variable Bitrate Quantization. 20th European Control Conference (ECC 2021), pp.509-514, 2021
    [doi]
  • Teresa Arauz, José Maria Maestre Torrablanca, Ahmet Cetinkaya, Eduardo F. Camacho. Model-based PI design for irrigation canals with faulty communication networks. 20th European Control Conference (ECC 2021), pp.1236-1242, 2021
    [doi]
  • Sota Sato, Masaki Waga, Ichiro Hasuo. Constrained Optimization for Hybrid System Falsification and Application to Conjunctive Synthesis. 7th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS 2021), IFAC-PapersOnLine, 2021
    [doi | arxiv]
  • Zhenya Zhang, Deyun Lyu, Paolo Arcaini, Lei Ma, Ichiro Hasuo, Jianjun Zhao. On the Effectiveness of Signal Rescaling in Hybrid System Falsification. The 13th NASA Formal Methods Symposium (NFM 2021), Lecture Notes in Computer Science 12673, pp.392-399, 2021
    [doi]
  • Tsutomu Kobayashi, Rick Salay, Ichiro Hasuo, Krzysztof Czarnecki, Fuyuki Ishikawa, Shin-ya Katsumata. Robustifying Controller Specifications of Cyber-Physical Systems Against Perceptual Uncertainty. The 13th NASA Formal Methods Symposium (NFM 2021), Lecture Notes in Computer Science 12673, pp.198-213, 2021
    [doi]
  • Etienne Andre, Didier Lime, Mathias Ramparison, Marielle Stoelinga. Parametric analyses of attack-fault trees. Fundamenta Informatica, 2021
    [doi]
  • Etienne Andre, Emmanuel Coquard, Laurent Fribourg, Jawher Jerray, David Lesens. Parametric schedulability analysis of a launcher flight control system under reactivity constraints. Fundamenta Informatica, 2021
    [doi]
  • Toru Takisaka, Yuichiro Oyabu, Natsuki Urabe, Ichiro Hasuo. Ranking and Repulsing Supermartingales for Reachability in Randomized Programs. ACM Transactions on Programming Languages and Systems 43, pp.1-46, 2021
    [doi]
  • Tao Yue, Paolo Arcaini, Shaukat Ali. Understanding Digital Twins for Cyber-Physical Systems: A Conceptual Model. 9th International Symposium on Leveraging Applications of Formal Methods (ISoLA 2020), Lecture Notes in Computer Science 12479, pp.54-71, 2021
    [doi]
  • Jordan Doyle, Takfarinas Saber, Paolo Arcaini, Anthony Ventresque. Improving Mobile User Interface Testing with Model Driven Monkey Search. 4th International Workshop on User Interface Test Automation and Testing Techniques for Event Based Software (INTUITESTBEDS 2021), pp.138-145, 2021
    [doi]
  • Ahmet Cetinkaya, Masako Kishida. Impossibility Results for Constrained Control of Stochastic Systems. IEEE Transactions on Automatic Control 66, pp.5974-5981, 2021
    [doi]
  • Paolo Arcaini, Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini. ROBY: a Tool for Robustness Analysis of Neural Network Classifiers. 14th IEEE International Conference on Software Testing, Verification and Validation – Testing Tools Track (ICST 2021), pp.442-447, 2021
    [doi]
  • Jérémy Dubut, Akihisa Yamada. Fixed Point Theorem for Non-Transitive Relations. Logical Methods in Computer Science, 2021
    [doi | arxiv]
  • Satoshi Kura. A General Semantic Construction of Dependent Refinement Type Systems, Categorically. 24th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2021), Lecture Notes in Computer Science 12650, pp.406-426, 2021
    [doi | arxiv]
  • Masaki Waga, Etienne Andre, Ichiro Hasuo. Model-Bounded Monitoring of Hybrid Systems. 12th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS 2021), pp.21-32, 2021
    [doi | arxiv]
  • Yoji Fukihara, Shin-ya Katsumata. Generalized Bounded Linear Logic and its Categorical Semantics. 24th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2021), Lecture Notes in Computer Science 12650, pp.226-246, 2021
    [doi]
  • Marco Gaboardi, Shin-ya Katsumata, Dominic Orchard, Tetsuya Sato. Graded Hoare Logic and its Categorical Semantics. 30th European Symposium on Programming (ESOP 2021), Lecture Notes in Computer Science 12648, pp.234-263, 2021
    [doi | arxiv]
  • Shaukat Ali, Paolo Arcaini, Xinyi Wang, Tao Yue. Assessing the Effectiveness of Input and Output Coverage Criteria for Testing Quantum Programs. 14th IEEE International Conference on Software Testing, Verification and Validation (ICST 2021), pp.13-23, 2021
    [doi]
  • Paolo Arcaini, Xiaoyi Zhang, Fuyuki Ishikawa. Targeting Patterns of Driving Characteristics in Testing Autonomous Driving Systems. 14th IEEE International Conference on Software Testing, Verification and Validation (ICST 2021), pp.295-305, 2021
    [doi]
  • Atif Mashkoor, Paolo Arcaini, Angelo Gargantini. Intelligent Autonomous Systems. IEEE Computer 53, pp.20-23, 2020
    [doi]
  • Kiraku Minami. Trace Equivalence and Epistemic Logic to Express Security Properties. Formal Techniques for Distributed Objects, Components, and Systems 2020 (FORTE2020), Lecture Notes in Computer Science 12136, pp.115-132, 2020
    [doi]
  • Junya Ikemoto, Toshimitsu Ushio. Control of Discrete-Time Chaotic Systems with Policy-Based Deep Reinforcement Learning. IEICE Transactions on Fundamentals of Electronics, Communications and Computer Science E103-A, pp.885-892, 2020
    [doi]
  • Ami Sakakibara, Toshimitsu Ushio. On-Line Permissive Supervisory Control of Discrete Event Systems for scLTL Specifications. IEEE Control Systems Letters 4, pp.530-535, 2020
    [doi]
  • Ryohei Oura, Ami Sakakibara, Toshimitsu Ushio. Reinforcement Learning of Control Policy for Linear Temporal Logic Specifications Using Limit-Deterministic Generalized Büchi Automata. IEEE Control Systems Letters 4, pp.761-766, 2020
    [doi]
  • Bakh Khoussainov, Toru Takisaka. Infinite Strings and Their Large Scale Properties. The Journal of Symbolic Logic,
    [doi]
  • Yusuke Kawamoto. An epistemic approach to the formal specification of statistical machine learning. Software and Systems Modeling, 2020
    [doi | arxiv]
  • Goran Frehse, Logan Mathesen, Claudio Menghi, Giulia Pedrielli, Marc Pouzet, Shakiba Yaghoubi, Yoriyuki Yamagata and Zhenya Zhang. ARCH-COMP 2020 Category Report: Falsification. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), EPiC Series in Computing, pp.140-152, 2020
    [doi]
  • Sasinee Pruekprasert, Clovis Eberhart, Jeremy Dubut. Symbolic Self-triggered Control of Continuous-time Non-deterministic Systems without Stability Assumptions for 2-LTL Specifications. The 16th International Conference on Control, Automation, Robotics and Vision (ICARCV 2020), 2020
    [doi]
  • Kazumune Hashimoto. Safe and active parameter exploration for event-triggered control. The 16 th IEEE International Conference on Control & Automation (ICCA 2020) (IEEE ICCA 2020), 2020
    [doi]
  • Xiaoyi Zhang, Paolo Arcaini, Fuyuki Ishikawa, Kun Liu. Investigating the Configurations of an Industrial Path Planner in Terms of Collision Avoidance. 31st International Symposium on Software Reliability Engineering (ISSRE 2020), pp.301-312, 2020
    [doi]
  • Thomas Laurent, Paolo Arcaini, Fuyuki Ishikawa, Anthony Ventresque. Achieving Weight Coverage for an Autonomous Driving System with Search-based Test Generation. 25th International Conference on Engineering of Complex Computer Systems (ICECCS 2020), pp.93-102, 2020
    [doi]
  • David Sprunger, Shin-ya Katsumata, Jérémy Dubut, Ichiro Hasuo. Fibrational Bisimulations and Quantitative Reasoning: Extended Version. Journal of Logic and Computation 31, pp.1526-1559, 2021
    [doi]
  • Ahmet Cetinkaya, Paolo Arcaini, Hideaki Ishii, Tomohisa Hayakawa. A Search-Based Approach to Identifying Jamming Attacks and Defense Policies in Wireless Networked Control. The 59th IEEE Conference on Decision and Control (CDC 2020), pp.5717-5724, 2020
    [doi]
  • Yurid Nugraha, Ahmet Cetinkaya, Tomohisa Hayakawa, Hideaki Ishii, Quanyan Zhu. Dynamic Resilient Network Games Considering Connectivity. The 59th IEEE Conference on Decision and Control (CDC 2020), pp.3379-3384, 2020
    [doi]
  • Guillaume Dupont, Yamine Ait Ameur, Neeraj Singh, Fuyuki Ishikawa, Tsutomu Kobayashi, Marc Pantel. Embedding Approximation in Event-B: Safe Hybrid System Design using Proof and Refinement . The 22nd International Conference on Formal Engineering Methods (ICFEM 2020), Lecture Notes in Computer Science 12531, pp.251-267, 2020
    [doi]
  • Taro Sekiyama, Takeshi Tsukada, Atsushi Igarashi. Signature Restriction for Polymorphic Algebraic Effects. the 25th ACM SIGPLAN International Conference on Functional Programming (ICFP 2020), Proceedings of the ACM on Programming Languages 4, 2020
    [doi | arxiv]
  • Yurid Nugraha, Ahmet Cetinkaya, Tomohisa Hayakawa, Hideaki Ishii, Quanyan Zhu. Dynamic Resilient Network Games with Applications to Multi-Agent Consensus. IEEE Transactions on Control of Network Systems 8, pp.246-259, 2021
    [doi]
  • Shaukat Ali, Paolo Arcaini, Tao Yue. Do Quality Indicators Prefer Particular Multi-Objective Search Algorithms in Search-Based Software Engineering?. 12th Symposium on Search-Based Software Engineering (SSBSE 2020), Lecture Notes in Computer Science 12420, pp.25-41, 2020
    [doi]
  • Zhenya Zhang, Paolo Arcaini, Ichiro Hasuo. Hybrid System Falsification under (In)equality Constraints via Search Space Transformation. 2020 International Conference on Embedded Software (EMSOFT 2020), IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 39, pp.3674-3685, 2020
    [doi]
  • Paolo Arcaini, Omar Inverso, Catia Trubiani. Automated Model-based Performance Analysis of Software Product Lines under Uncertainty. Information and Software Technology 127, pp.1-18, 2020
    [doi]
  • Fuyuki Ishikawa, Yutaka Matsuno. Evidence-driven Requirements Engineering for Uncertainty of Machine Learning-based Systems. The 28th IEEE International Requirements Engineering Conference (RE 2020), 2020
    [doi]
  • Koichi Hamada, Fuyuki Ishikawa, Satoshi Masuda, Mineo Matsuya, Tomoyuki Myojin, Yasuharu Nishi, Hideto Ogawa, Takahiro Toku, Susumu Tokumoto, Kazunori Tsuchiya, Yasuhiro Ujita. Guidelines for Quality Assurance of Machine Learning-based Artificial Intelligence. The 32nd International Conference on Software Engineering & Knowledge Engineering (SEKE 2020), 2020
    [doi]
  • Alejandro Aguirre, Shin-ya Katsumata. Weakest Preconditions in Fibrations. 36th International Conference on Mathematical Foundations of Programming Semantics (MFPS 2020), Electronic Notes in Theoretical Computer Science, 2020
    [doi]
  • Shin-ya Katsumata, Exequiel Rivas, Tarmo Uustalu. Interaction Laws of Monads and Comonads. Thirty-Fifth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (LICS 2020), 2020
    [doi]
  • René Thiemann, Ralph Bottesch, Jose Divasón, Max W. Haslbeck, Sebastiaan J.C. Joosten, Akihisa Yamada. Formalizing the LLL Basis Reduction Algorithm and the LLL Factorization Algorithm in Isabelle/HOL. Journal of Automated Reasoning,
    [doi]
  • Kittiphon Phalakarn, Toru Takisaka, Thomas Haas, Ichiro Hasuo. Widest Paths and Global Propagation in Bounded Value Iteration for Stochastic Games. 32nd International Conference on Computer-Aided Verification (CAV 2020), Lecture Notes in Computer Science 12225, pp.349-371, 2020
    [doi | arxiv]
  • Koko Muroya, Dan Ghica. The Dynamic Geometry of Interaction Machine: A Token-Guided GraphRewriter. Logical Methods in Computer Science 15, pp.1-32, 2019
    [doi]
  • Soichiro Fujii. A unified framework for notions of algebraic theory. Theory and Applications of Categories 34, pp.1246-1316, 2019
    [doi]
  • Masahito Hasegawa. From linear logic to cyclic sharing. Joint Workshop on 5th Workshop on Linearity and 2nd Workshop on Linearity & Trends in Linear Logic and Applications (Linearity-TLLA 2018), Electronic Proceedings in Theoretical Computer Science 292, pp.31-42, 2019
    [doi]
  • John Toman, Ren Siqi, Kohei Suenaga, Atsushi Igarashi, Naoki Kobayashi. ConSORT: Context- and Flow-Sensitive Ownership Refinement Types for Imperative Programs. 29th European Symposium on Programming (ESOP 2020),
    [doi]
  • Kohei Suenaga, Takuya Ishizawa. Generalized Property-Directed Reachability for Hybrid Systems. 21st International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI2020), pp.293-313, 2020
    [doi]
  • Shuai Feng, Ahmet Cetinkaya, Hideaki Ishii, Pietro Tesi, Claudio De Persis. Networked Control under DoS Attacks: Trade-offs between Resilience and Data Rate. IEEE Transactions on Automatic Control 66, pp.460-467, 2021
    [doi]
  • Junya Ikemoto, Toshimitsu Ushio. Networked Control of Nonlinear Systems under Partial Observation Using Continuous Deep Q-Learning. The 58th IEEE Conference on Decision and Control (CDC2019), pp.6793-6798, 2019
    [doi]
  • ” “
  • Junya Ikemoto, Toshimitsu Ushio. Application of Continuous Deep Q-Learning to Networked State-Feed back Control of Nonlinear Systems with Uncertain Network Delays. 2020 International Symposium on Nonlinear Theory and Its Applications (NOLA2019), pp.192-195, 2019
    [doi]
  • ” “
  • Ikumi Ichikawa, Toshimitsu Ushio. Application of reinforcement learning to adaptive control of connected vehicles. Nonlinear Theory and Its Applications, IEICE 10, pp.443-454, 2019
    [doi]
  • ” “
  • Yuma Yamakura, Toshimitsu Ushio. 線形時相論理仕様を満たす階層的制御への強化学習の応用. 電子情報通信学会論文誌A分冊 J102-A, pp.254-263, 2019
    [doi]
  • Elena Gutiérrez, Takamasa Okudono, Masaki Waga, Ichiro Hasuo. Genetic Algorithm for the Weight Maximization Problem on Weighted Automata. Genetic and Evolutionary Computation Conference (GECCO 2020), pp.699-707, 2020
    [doi | arxiv]
  • Alessandro Calò, Paolo Arcaini, Shaukat Ali, Florian Hauer, Fuyuki Ishikawa. Simultaneously Searching and Solving Multiple Avoidable Collisions for Testing Autonomous Driving Systems. The Genetic and Evolutionary Computation Conference (GECCO 2020), pp.1055-1063, 2020
    [doi]
  • Kun Liu, Xiaoyi Zhang, Paolo Arcaini, Fuyuki Ishikawa, Wenpin Jiao. Leveraging Test Logs for Building a Self-Adaptive Path Planner. 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2020), pp.57-63, 2020
    [doi]
  • Kazumune Hashimoto, Yuichi Yoshimura, Toshimitsu Ushio. Learning self-triggered controllers with Gaussian Processes. IEEE Transactions on Cybernetics, 2020
    [doi]
  • Kazumune Hashimoto, Dimos Dimarogonas. Distributed L1-state-and-fault estimation for multi-agent systems.. IEEE Transactions on Control of Network Systems, 2020
    [doi]
  • Kazumune Hashimoto, Dimos Dimarogonas. Synthesizing communication plans for reachability and safety specifications.. IEEE Transactions on Automatic Control 65, pp.561-576, 2020
    [doi]
  • Takuma Kinugawa, Kazumune Hashimoto, Toshimitsu Ushio. Control of Timed Discrete Event Systems with Ticked Linear Temporal Logic Constraints. 21st IFAC World Congress (IFAC 2020), 2020
    [doi]
  • Paulius Stankaitis, Alexei Iliasov, Tsutomu Kobayashi, Yamine Ait-Ameur, Alexander Romanovsky, Fuyuki Ishikawa. Formal distributed protocol development for reservation of railway sections. 7th International Conference on Rigorous State Based Methods (ABZ 2020), Lecture Notes in Computer Science 12071, pp.203-219, 2020
    [doi]
  • Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra. Modelling an automotive software-intensive system with adaptive features using ASMETA. 7th International Conference on Rigorous State Based Methods (ABZ 2020), Lecture Notes in Computer Science 12071, pp.302-317, 2020
    [doi]
  • Sasinee Pruekprasert, Toru Takisaka, Clovis Eberhart, Ahmet Cetinkaya, Jérémy Dubut. Moment Propagation of Discrete-Time Stochastic Polynomial Systems using Truncated Carleman Linearization. 21st IFAC World Congress (IFAC 2020), pp.14663-14670, 2020
    [doi | arxiv]
  • Ahmet Cetinkaya, Masako Kishida. An Impossibility Result Concerning Bounded Average-Moment Control of Linear Stochastic Systems. 21st IFAC World Congress (IFAC 2020), pp.2301-2306, 2020
    [doi]
  • Yurid Nugraha, Ahmet Cetinkaya, Tomohisa Hayakawa, Hideaki Ishii, Quanyan Zhu. Dynamic Resilient Graph Games for State-Dependent Jamming Attacks Analysis on Multi-Agent Systems . 21st IFAC World Congress (IFAC 2020), pp.3483-3488, 2020
    [doi]
  • Rui Kato, Ahmet Cetinkaya, Hideaki Ishii. DoS-Aware Quantized Control of Nonlinear Systems via Linearization. 21st IFAC World Congress (IFAC 2020), pp.3116-3121, 2020
    [doi]
  • Borja Balle, Gilles Barthe, Marco Gaboardi, Justin Hsu, Tetsuya Sato. Hypothesis Testing Interpretations and Renyi Differential Privacy.. The 23rd International Conference on Artificial Intelligence and Statistics (AISTATS 2020), JMLR Workshop and Conference Proceedings, 2020
    [doi | arxiv]
  • Zhenya Zhang, Paolo Arcaini, Ichiro Hasuo. Constraining Counterexamples in Hybrid System Falsification: Penalty-Based Approaches. 12th NASA Formal Methods Symposium (NFM 2020), Lecture Notes in Computer Science 12229, pp.401-419, 2020
    [doi | arxiv]
  • Paolo Arcaini, Raffaela Mirandola, Elvinia Riccobene, Patrizia Scandurra. MSL: a pattern language for engineering self-adaptive systems. Journal of Systems and Software 164, 2020
    [doi]
  • Yuichi Komorida. Injective Objects and Fibered Codensity Liftings. The 15th IFIP WG 1.3 International Workshop on Coalgebraic Methods in Computer Science (CMCS 2020), Lecture Notes in Computer Science 12094, pp.112-132, 2020
    [doi | arxiv]
  • Jérémy Dubut. Bisimilarity of diagrams. 18th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 2020), 2020
    [doi]
  • ” “
  • Xiao-Yi Zhang, Zheng Zheng. Exploring the Characteristics of Spectra Distribution and Their Impacts on Fault Localization. The 24th Evaluation and Assessment in Software Engineering (EASE 2020), pp.100-109, 2020
    [doi]
  • Paolo Arcaini, Raffaela Mirandola, Elvinia Riccobene, Patrizia Scandurra. Model-Based Testing for MAPE-K adaptation control loops. 16th Workshop on Advances in Model Based Testing (A-MOST 2020), pp.43-51, 2020
    [doi]
  • Étienne André, Didier Lime, Nicolas Markey. Language Preservation Problems in Parametric Timed Automata. Logical Method in Computer Science 16, pp.5:1-5:31, 2020
    [doi]
  • Takamasa Okudono, Andy King. Mind the Gap: Bit-vector Interpolation recast over Linear Integer Arithmetic. 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2020), Lecture Notes in Computer Science, 2020
    [doi]
  • Takamasa Okudono, Masaki Waga, Taro Sekiyama, Ichiro Hasuo. Weighted Automata Extraction from Recurrent Neural Networks via Regression on State Spaces. Thirty-Fourth AAAI Conference on Artificial Intelligence (AAAI 2020), AAAI DIGITAL LIBRARY, pp.5306-5314, 2020
    [doi | arxiv]
  • Thomas Pierron, Teresa Arauz, José María Maestre Torreblanca , Ahmet Cetinkaya, Cristina Stoica Maniu. Tree-Based Model Predictive Control for Jamming Attacks. 19th European Control Conference (ECC 2020), pp.948-953, 2020
    [doi]
  • Henri Trenquier, Fuyuki Ishikawa, Susumu Tokumoto. Attribute-based Granular Evaluation for Performance of Machine Learning Models. 2nd IEEE International Conference on Artificial Intelligence Testing (AITest 2020), 2020
    [doi]
  • Paolo Arcaini, Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini. Dealing with Robustness of Convolutional Neural Networks for Image Classification. 2nd IEEE International Conference on Artificial Intelligence Testing (AITest 2020), pp.7-14, 2020
    [doi]
  • Masaki Waga. Falsification of Cyber-Physical Systems with Robustness-Guided Black-Box Checking. 23rd ACM International Conference onHybrid Systems: Computation and Control (HSCC 2020), pp.1-13, 2020
    [doi | arxiv]
  • Satoshi Kura. Graded Algebraic Theories. 23rd International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2020), Lecture Notes in Computer Science 12077, pp.401-421, 2020
    [doi | arxiv]
  • Juraj Kolcak, Jeremy Dubut, Ichiro Hasuo, Shin-ya Katsumata, David Sprunger, Akihisa Yamada. Relational Differential Dynamic Logic. 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2020), Lecture Notes in Computer Science 12078, pp.191-208, 2020
    [doi]
  • Koki Nishizawa, Shin-ya Katsumata, Yuichi Komorida. Stone Duality from Cofibration. 18th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 2020), Lecture Notes in Computer Science 12062, pp.221-236, 2020
    [doi]
  • Alessandro Calò, Paolo Arcaini, Shaukat Ali, Florian Hauer, Fuyuki Ishikawa. Generating Avoidable Collision Scenarios for Testing Autonomous Driving Systems. 13th IEEE International Conference on Software Testing, Verification and Validation (ICST 2020), pp.375-386, 2020
    [doi]
  • Shaukat Ali, Paolo Arcaini, Dipesh Pradhan, Safdar Aqeel Safdar, Tao Yue. Quality Indicators in Search-Based Software Engineering: An Empirical Evaluation. ACM Transactions on Software Engineering and Methodology 29, pp.1-29, 2020
    [doi]
  • Paolo Arcaini, Raffaela Mirandola, Elvinia Riccobene, Patrizia Scandurra, Alberto Arrigoni, Daniele Bosc, Federico Modica, Rita Pedercini. Smart home platform supporting decentralized adaptive automation control. 35th ACM/SIGAPP Symposium On Applied Computing (SAC 2020), pp.1893-1900, 2020
    [doi]
  • Ahmet Cetinkaya, Kaito Kikuchi, Tomohisa Hayakawa, Hideaki Ishii. Randomized Transmission Protocols for Protection against Jamming Attacks in Multi-Agent Consensus. Automatica 117,
    [doi]
  • Shiyao Ding, Toshimitsu Ushio. Learning in Two-Player Matrix Games by Policy Gradient Lagging Anchor. IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences E102-A, pp.708-711, 2019
    [doi]
  • Masashi Wakaiki, Ahmet Cetinkaya, Hideaki Ishii. Stabilization of Networked Control Systems under DoS Attacks and Output Quantization. IEEE Transactions on Automatic Control 65, pp.3560-3575, 2020
    [doi]
  • Kazumune Hashimoto, Adnane Saond, Masako Kishida, Toshimitsu Ushio, Dimos Dimarogonas. A symbolic approach to the self-triggered design for networked control systems. IEEE Control Systems Letters 3, pp.1050-1055, 2019
    [doi]
  • Kazumune Hashimoto, Dimos Dimarogonas. Resource-aware networked control systems under temporal logic specifications.. Discrete Event Dynamic Systems 29, pp.473-499, 2019
    [doi]
  • Thomas Laurent, Paolo Arcaini, Fuyuki Ishikawa, Anthony Ventresque. A mutation-based approach for assessing weight coverage of a path planner. 26th Asia-Pacific Software Engineering Conference (APSEC 2019), 2019
    [doi | arxiv]
  • Koki Kato, Fuyuki Ishikawa. Learning-Based Falsification for Model Families of Cyber-Physical Systems. 24th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2019),
    [doi]
  • Xiao-Yi Zhang, Zheng Zheng. A Visualization Analytical Framework for Software Fault Localization Metrics. 24th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2019), pp.148-14809, 2019
    [doi]
  • Martin Avanzini, Ugo Dal Lago, Akihisa Yamada. On Probabilistic Term Rewriting. Science of Computer Programming, 2019
    [doi]
  • Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra. Addressing Usability in a Formal Development Environment. Workshop on Practical Formal Verification for Software Dependability (AFFORD 2019), Lecture Notes in Computer Science 12232, pp.61-76, 2020
    [doi]
  • É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), pp.87-96, 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), pp.190-199, 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), pp.375-380, 2019
    [doi]
  • Chao Huang, Boyuan Li, Masako Kishida. Model predictive approach to integrated path planning and tracking for autonomous vehicles. the 22nd IEEE Intelligent Transportation Systems Conference (ITSC 2019), 2019
    [doi | arxiv]
  • Sasinee Pruekprasert, Xiaoyi Zhang, Jérémy Dubut, Chao Huang, Masako Kishida. Decision Making for Autonomous Vehicles at Unsignalized Intersection in Presence of Malicious Vehicles. the 22nd 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 22, pp.265-279, 2020
    [doi]
  • Hiroshi Kuwajima, Fuyuki Ishikawa. Adapting SQuaRE for Quality Assessment of Artificial Intelligence Systems. 2019 IEEE International Symposium on Software Reliability Engineering Workshops (ISSRE 2019), pp.13-18,
    [doi | arxiv]
  • Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene. Regular expression learning with evolutionary testing and repair. 31st IFIP International Conference On Testing Software And Systems (IFIP-ICTSS 2019), Lecture Notes in Computer Science 11812, pp.22-40, 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.71:1-71:9, 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.35:1-35: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 11750, pp.3-22, 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 11823, pp.129-146, 2019
    [doi | arxiv]
  • Manfred Jaeger, Peter G. Jensen, Kim G. Larsen, Axel Legay, Sean Sedwards, Jakob H. Taankvist. 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, Sean Sedwards. 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. Fast Falsification of Hybrid Systems using Probabilistically Adaptive Input. 16th International Conference on Quantitative Evaluation of SysTems (QEST 2019), Lecture Notes in Computer Science 11785, pp.165-181, 2019
    [doi]
  • Sasinee Pruekprasert, Toshimitsu Ushio. Supervisory Control of Communicating Timed Discrete Event Systems for State Avoidance Problem. The IEEE Control Systems Letters 1, pp.259-264, 2020
    [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]
  • Shinnosuke Saruwatari, Fuyuki Ishikawa, Tsutomu Kobayashi, Shinichi Honiden. Change Impact Analysis for Refinement-Based Formal Specification. IEICE Transactions on Information and Systems E102.D, pp.1462-1477, 2019
    [doi]
  • Tsutomu Kobayashi, Fuyuki Ishikawa, Shinichi Honiden. Consistency-preserving refactoring of refinement structures in Event-B models. Formal Aspects of Computing 31, pp.287-320, 2019
    [doi]
  • Gidon Ernst, Paolo Arcaini, Alexandre Donze, Georgios Fainekos, Logan Mathesen, Giulia Pedrielli, Shakiba Yaghoubi, Yoriyuki Yamagata, Zhenya Zhang. ARCH-COMP 2019 Category Report: Falsification. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH19), EPiC Series in Computing 61, 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]
  • Koko Muroya, Steven W. T. Cheung, Dan R. Ghica. The Geometry of Computation-Graph Abstraction. Thirty-Third Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2018), pp.749-758, 2018
    [doi]
  • Steven W. T. Cheung, Victor Darvariu, Dan R. Ghica, Koko Muroya, Reuben N. S. Rowe. . Fourteenth International Symposium on Functional and Logic Programming (FLOPS 2018), Lecture Notes in Computer Science 10818, pp.84-98, 2018
    [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á, 2020
    [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 64, pp.699-735, 2020
    [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 131, pp.16:1-16:19, 2019
    [doi | arxiv]
  • É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]
  • Arthur Azevedo de Amorim, Marco Gaboardi, Justin Hsu, Shin-ya Katsumata. Probabilistic Relational Reasoning via Metrics. Thirty-Fourth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2019), 2019
    [doi]
  • Tetsuya Sato, Gilles Barthe, Marco Gaboardi, Justin Hsu, Shin-ya Katsumata. Approximate Span Liftings: Compositional Semantics for Relaxations of Differential Privacy. Thirty-Fourth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2019), 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), pp.42:1-42:13, 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, Ichiro Hasuo. Codensity Games for Bisimilarity. Thirty-Fourth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2019), 2019
    [doi | arxiv]
  • Zhenya Zhang, Gidon Ernst, Sean Sedwards, Paolo Arcaini, Ichiro Hasuo. 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]
  • Étienne André. Formalizing Time4sys using parametric timed automata. the 13th International Symposium on Theoretical Aspects of Software Engineering (TASE 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. the Genetic and Evolutionary Computation Conference (GECCO 2019), pp.1241-1249, 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 11460, pp.371-389, 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 IEEE International Conference on Software Testing, Verification and Validation Workshops, pp.198-199, 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), pp.200-209, 2019
    [doi]
  • Paolo Arcaini, Elvinia Riccobene. Automatic Refinement of ASM Abstract Test Cases. 15th Workshop on Advances in Model Based Testing (A-MOST 2019), pp.1-10, 2019
    [doi]
  • Paolo Arcaini, Raffaela Mirandola, Elvinia Riccobene, Patrizia Scandurra. A Pattern-oriented Design Framework for Self-adaptive Software Systems. 2019 IEEE International Conference on Software Architecture Companion (ICSA-C) (ICSA 2019), pp.166-169, 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, pp.135-153, 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, pp.211-228, 2019
    [doi | arxiv]
  • Thorsten Wißmann, 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 29, pp.938-971, 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), pp.1-29, 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 64, pp.363-389, 2020
    [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 11267, pp.3-7, 2019
    [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 11267, pp.109-126, 2019
    [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]
  • 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]
  • 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]
  • 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), pp.30-34, 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 10806, pp.340-358, 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 10803, pp.384-402, 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 11202, pp.214-234, 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]
  • Paolo Arcaini, Ichiro Hasuo, and Sean Sedwards. ARCH-COMP18 Category Report: Results on the Falsification Benchmarks. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH18), EPiC Series in Computing 54, pp.104-109, 2018
    [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]
  • Zhenya Zhang, Gidon Ernst, Ichiro Hasuo, Sean Sedwards. Time-Staging Enhancement of Hybrid System Falsification (Abstract). 3rd Workshop on Monitoring and Testing of Cyber-Physical Systems (MT-CPS 2018), pp.3-4, 2018
    [doi]
  • 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]