| 2026-07 |
Robustness Verification of Recurrent Neural Networks with Abstraction Refinement |
conference |
web page(61) |
| 2026-07 |
Influence-Guided Concolic Testing of Transformer Robustness |
conference |
web page(115) |
| 2026-07 |
ConcoLixir: Reactive LLM Discovery Oracles for Python Concolic Testing |
conference |
web page(94) |
| 2024-07 |
Concolic Testing on Individual Fairness of Neural Network Models |
conference |
pdf(326) |
| 2024-01 |
Regular Abstractions for Array Systems |
conference |
web page(430) |
| 2020-11 |
Parameterized Synthesis with Safety Properties |
conference |
web page(402) |
| 2019-07 |
Probabilistic Bisimulation for Parameterized Systems |
conference |
web page(459) |
| 2019-07 |
Monadic Decomposability of Regular Relations |
conference |
web page(393) |
| 2017-10 |
Learning to prove safety over parameterised concurrent systems |
conference |
web page(481) |
