| Arch-comp 2023 category report: Falsification C Menghi, P Arcaini, W Baptista, G Ernst, G Fainekos, F Formica, S Gon, ... 10th International Workshop on Applied Verification of Continuous and Hybrid …, 2023 | 16 | 2023 |
| Data-driven falsification of cyber-physical systems A Kundu, S Gon, R Ray Proceedings of the 17th Innovations in Software Engineering Conference, 1-5, 2024 | 6 | 2024 |
| ARCH-COMP 2024 Category Report: Falsification T Khandait, F Formica, P Arcaini, S Chotaliya, G Fainekos, A Hekal, ... Proceedings of the 11th Int. Workshop on Applied 103, 122-144, 2024 | 3 | 2024 |
| SAT-Reach: A Bounded Model Checker for Affine Hybrid Systems A Kundu, S Das, R Ray ACM Transactions on Embedded Computing Systems 22 (2), 1-36, 2023 | 2 | 2023 |
| Arch-comp22 category report: Hybrid systems with piecewise constant dynamics and bounded model checking L Bu, G Frehse, A Kundu, R Ray, Y Shi, E Zaffanella Proceedings of 9th International Workshop on Applied Verification of …, 2022 | 2 | 2022 |
| ARCH-COMP 2023 Category Report: Falsification-Validation C Menghi, P Arcaini, W Baptista, G Ernst, G Fainekos, F Formica, S Gon, ... (No Title), 2023 | | 2023 |
Rajarshi RayIndian Association for the Cultivation of Science, KolkataE-mail megerősítve itt: iacs.res.in