Papers

  • 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-1.59444444444444, 2021
    [doi]
  • Soichiro Fujii. Completeness and injectivity. Topology and its Applications, 2020
    [doi | arxiv]
  • 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]
  • 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]
  • 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]
  • 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]
  • 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]
  • Yusuke Kawamoto. An epistemic approach to the formal specification of statistical machine learning. Software and Systems Modeling, 2020
    [doi | arxiv]
  • Gidon Ernst, Paolo Arcaini, Ismail Bennani, Alexandre Donzé, Georgios Fainekos, 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]
  • 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]
  • 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]
  • 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]
  • 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]
  • 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]
  • 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, Dimos Dimarogonas. Synthesizing communication plans for reachability and safety specifications.. IEEE Transactions on Automatic Control 65, pp.561-576, 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]
  • 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]
  • 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-0.229861111111111, 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]
  • 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]
  • 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]
  • 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]
  • 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]
  • 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]
  • 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é, 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]
  • 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]
  • 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]
  • 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]
  • 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]
  • 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]
  • 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]
  • 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]
  • 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]
  • 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]
  • É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]
  • 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]
  • 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]
  • 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]
  • 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]
  • 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]