Masaki Waga

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., November, 2024

Learning Weighted Finite Automata over the Max-Plus Semiring and its Termination.

[BibT_eX]

[DOI]

CoRR, 2024

Temporal Logic Formalisation of ISO 34502 Critical Scenarios: Modular Construction with the RSS Safety Distance.

[BibT_eX]

[DOI]

Agnishom Chattopadhyay

Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing, 2024

Oblivious Monitoring for Discrete-Time STL via Fully Homomorphic Encryption.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification - 24th International Conference, 2024

2023

Probabilistic Black-Box Checking via Active MDP Learning.

[BibT_eX]

[DOI]

Junya Shijubo

ACM Trans. Embed. Comput. Syst., October, 2023

Parametric Timed Pattern Matching.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., January, 2023

Active Learning of Deterministic Timed Automata with Myhill-Nerode Style Characterization.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

Learning Nonlinear Hybrid Automata from Input-Output Time-Series Data.

[BibT_eX]

[DOI]

Amit Gurung

Proceedings of the Automated Technology for Verification and Analysis, 2023

ARCH-COMP23 Category Report: Falsification.

[BibT_eX]

[DOI]

Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23), 2023

2022

Data for "Exemplifying parametric timed specifications over signals with bounded behavior".

[BibT_eX]

[DOI]

Dataset, March, 2022

Data for "Exemplifying parametric timed specifications over signals with bounded behavior".

[BibT_eX]

[DOI]

Dataset, January, 2022

Model-bounded Monitoring of Hybrid Systems.

[BibT_eX]

[DOI]

ACM Trans. Cyber Phys. Syst., 2022

Exemplifying Parametric Timed Specifications over Signals with Bounded Behavior.

[BibT_eX]

[DOI]

Proceedings of the NASA Formal Methods - 14th International Symposium, 2022

Oblivious Online Monitoring for Safety LTL Specification via Fully Homomorphic Encryption.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 34th International Conference, 2022

Dynamic Shielding for Reinforcement Learning in Black-Box Environments.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2022

ARCH-COMP 2022 Category Report: Falsification with Ubounded Resources.

[BibT_eX]

[DOI]

Mohammad Mahdi Mahboob

Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22), 2022

BOREx: Bayesian-Optimization-Based Refinement of Saliency Map for Image- and Video-Classification Models.

[BibT_eX]

[DOI]

Proceedings of the Computer Vision - ACCV 2022, 2022

2021

Efficient Black-Box Checking via Model Checking with Strengthened Specifications.

[BibT_eX]

[DOI]

Junya Shijubo

Proceedings of the Runtime Verification - 21st International Conference, 2021

Hybrid System Falsification for Multiple-Constraint Parameter Synthesis: A Gas Turbine Case Study.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods - 24th International Symposium, 2021

ARCH-COMP 2021 Category Report: Falsification with Validation of Results.

[BibT_eX]

[DOI]

Proceedings of the 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), 2021

Constrained Optimization for Hybrid System Falsification and Application to Conjunctive Synthesis.

[BibT_eX]

[DOI]

Sota Sato

Proceedings of the 7th IFAC Conference on Analysis and Design of Hybrid Systems, 2021

2020

Empowering Runtime Verification with Polyhedra.

[BibT_eX]

[DOI]

PhD thesis, 2020

Constrained Optimization for Falsification and Conjunctive Synthesis.

[BibT_eX]

[DOI]

Sota Sato

CoRR, 2020

Falsification of cyber-physical systems with robustness-guided black-box checking.

[BibT_eX]

[DOI]

Proceedings of the HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control, 2020

Genetic algorithm for the weight maximization problem on weighted automata.

[BibT_eX]

[DOI]

Proceedings of the GECCO '20: Genetic and Evolutionary Computation Conference, 2020

Weighted Automata Extraction from Recurrent Neural Networks via Regression on State Spaces.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019

Online Parametric Timed Pattern Matching with Automata-Based Skipping.

[BibT_eX]

[DOI]

Proceedings of the NASA Formal Methods - 11th International Symposium, 2019

Moore-machine filtering for timed and untimed pattern matching: poster abstract.

[BibT_eX]

[DOI]

Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, 2019

Online Quantitative Timed Pattern Matching with Semiring-Valued Weighted Automata.

[BibT_eX]

[DOI]

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2019

Symbolic Monitoring Against Specifications Parametric in Time and Data.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

2018

Moore-Machine Filtering for Timed and Untimed Pattern Matching.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018

Offline Timed Pattern Matching under Uncertainty.

[BibT_eX]

[DOI]

Proceedings of the 23rd International Conference on Engineering of Complex Computer Systems, 2018

MONAA: A Tool for Timed Pattern Matching with Automata-Based Acceleration.

[BibT_eX]

[DOI]

Proceedings of the 3rd Workshop on Monitoring and Testing of Cyber-Physical Systems, 2018

2017

Efficient Online Timed Pattern Matching by Automata-Based Skipping.

[BibT_eX]

[DOI]

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2017

2016

A Boyer-Moore Type Algorithm for Timed Pattern Matching.

[BibT_eX]

[DOI]

Takumi Akazaki