Sign in
Aniruddh Chandratre
ORCID
Publication Activity (10 Years)
Years Active: 2021-2023
Publications (10 Years): 6
Top Topics
Microsoft Sql Server
Search Based Testing
Inter Annotator Agreement
Fault Injection
Top Venues
HSCC
CoRR
EMSOFT
ARCH@ADHS
</>
Publications
</>
Tanmay Khandait
,
Aniruddh Chandratre
,
Walstan Baptista
,
Giulia Pedrielli
,
Georgios Fainekos
Demo Abstract: Analysing CPS Security with Falsification on the Microsoft Flight Simulator.
HSCC
(2023)
Aniruddh Chandratre
,
Tomas Hernandez Acosta
,
Tanmay Khandait
,
Giulia Pedrielli
,
Georgios Fainekos
Stealthy attacks formalized as STL formulas for Falsification of CPS Security.
HSCC
(2023)
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
ARCH-COMP 2021 Category Report: Falsification with Validation of Results.
ARCH@ADHS
(2021)
Quinn Thibeault
,
Jacob Anderson
,
Aniruddh Chandratre
,
Giulia Pedrielli
,
Georgios Fainekos
PSY-TaLiRo: A Python Toolbox for Search-Based Test Generation for Cyber-Physical Systems.
CoRR
(2021)
Quinn Thibeault
,
Jacob Anderson
,
Aniruddh Chandratre
,
Giulia Pedrielli
,
Georgios Fainekos
PSY-TaLiRo: A Python Toolbox for Search-Based Test Generation for Cyber-Physical Systems.
FMICS
(2021)
Yumeng Cao
,
Quinn Thibeault
,
Aniruddh Chandratre
,
Georgios Fainekos
,
Giulia Pedrielli
,
Mauricio Castillo-Effen
Towards assurance case evidence generation through search based testing: work-in-progress.
EMSOFT
(2021)