| ARCH-COMP 2021 Category Report: Falsification with Validation of Results. G Ernst, P Arcaini, I Bennani, A Chandratre, A Donzé, G Fainekos, ... ARCH@ ADHS, 133-152, 2021 | 28 | 2021 |
| Psy-taliro: A python toolbox for search-based test generation for cyber-physical systems Q Thibeault, J Anderson, A Chandratre, G Pedrielli, G Fainekos Formal Methods for Industrial Critical Systems: 26th International …, 2021 | 19 | 2021 |
| Arch-comp 2022 category report: Falsification with ubounded resources G Ernst, P Arcaini, G Fainekos, F Formica, J Inoue, T Khandait, ... Proceedings of 9th International Workshop on Applied Verification of …, 2022 | 14 | 2022 |
| Stealthy attacks formalized as STL formulas for Falsification of CPS Security A Chandratre, T Hernandez Acosta, T Khandait, G Pedrielli, G Fainekos Proceedings of the 26th ACM International Conference on Hybrid Systems …, 2023 | 3 | 2023 |
| Work-in-progress: towards assurance case evidence generation through search based testing Y Cao, Q Thibeault, A Chandratre, G Fainekos, G Pedrielli, ... 2021 International Conference on Embedded Software (EMSOFT), 41-42, 2021 | 3 | 2021 |
| Towards assurance case evidence generation through search based testing: work-in-progress Y Cao, Q Thibeault, A Chandratre, G Fainekos, G Pedrielli, ... Proceedings of the 2021 International Conference on Embedded Software, 41-42, 2021 | 1 | 2021 |
| Optical Character Recognition For Handwritten Forms With Dynamic Layout A Arora, A Chandratre 2018 4th International Conference on Applied and Theoretical Computing and …, 2018 | 1 | 2018 |
| Demo Abstract: Analysing CPS Security with Falsification on the Microsoft Flight Simulator T Khandait, A Chandratre, W Baptista, G Pedrielli, G Fainekos Proceedings of the 26th ACM International Conference on Hybrid Systems …, 2023 | | 2023 |
| Traffic Accident Reconstruction Using Monocular Dashcam Videos AV Chandratre Arizona State University, 2022 | | 2022 |
| 4th International Conference on Applied and Theoretical Computing and Communication Technology (iCATccT-2018) SK Niranjan, DPJ Dattathreya, DV Manjunatha, M Kotari, JK Rathod | | |
Quinn ThibeaultGraduate Student, Arizona State UniversityVerifierad e-postadress på asu.edu
