Aniruddh Chandratre

According to our database, Aniruddh Chandratre authored at least 5 papers between 2021 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Demo Abstract: Analysing CPS Security with Falsification on the Microsoft Flight Simulator.

Tanmay Khandait, Aniruddh Chandratre, Walstan Baptista, Giulia Pedrielli, Georgios Fainekos

Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, 2023

Stealthy attacks formalized as STL formulas for Falsification of CPS Security.

Aniruddh Chandratre, Tomas Hernandez Acosta, Tanmay Khandait, Giulia Pedrielli, Georgios Fainekos

Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, 2023

2021

PSY-TaLiRo: A Python Toolbox for Search-Based Test Generation for Cyber-Physical Systems.

Quinn Thibeault, Jacob Anderson, Aniruddh Chandratre, Giulia Pedrielli, Georgios Fainekos

Proceedings of the Formal Methods for Industrial Critical Systems, 2021

Towards assurance case evidence generation through search based testing: work-in-progress.

Yumeng Cao, Quinn Thibeault, Aniruddh Chandratre, Georgios Fainekos, Giulia Pedrielli, Mauricio Castillo-Effen

Proceedings of the EMSOFT '21: Proceedings of the 2021 International Conference on Embedded Software, Virtual Event, October 8, 2021

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

Gidon Ernst, Paolo Arcaini, Ismail Bennani, Aniruddh Chandratre, Alexandre Donzé, Georgios Fainekos, Goran Frehse, Khouloud Gaaloul, Jun Inoue, Tanmay Khandait, Logan Mathesen, Claudio Menghi, Giulia Pedrielli, Marc Pouzet, Masaki Waga, Shakiba Yaghoubi, Yoriyuki Yamagata, Zhenya Zhang

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