Papers

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