Suchergebnisse - Chauhan, Avriti | OPAC THWS

1

Eliminating Static Analysis False Positives Using Loop Abstraction and Bounded Model Checking von Chimdyalwar, Bharti, Darke, Priyanka, Chavda, Anooj, Vaghani, Sagar, Chauhan, Avriti

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
2

VeriAbs: Verification by Abstraction (Competition Contribution) von Chimdyalwar, Bharti, Darke, Priyanka, Chauhan, Avriti, Shah, Punit, Kumar, Shrawan, Venkatesh, R.

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
3

Efficiently Finding Adversarial Examples with DNN Preprocessing von Chauhan, Avriti, Afzal, Mohammad, Karmarkar, Hrishikesh, Elboher, Yizhak, Madhukar, Kumar, Katz, Guy

Volltext bestellen

Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
4

SYSTEM AND METHOD FOR SOFTWARE VERIFICATION von SHAH, PUNIT, KUMAR, SHRAWAN, AFZAL, MOHAMMAD, RAMANATHAN, Venkatesh, AKHTAR, ASIA, CHAUHAN, AVRITI, DARKE, PRIYANKA, SHAH, TANHA, CHIMDYALWAR, BHARTI, DATAR, ADVAITA

Volltext bestellen

Patent

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
5

SYSTEM AND METHOD FOR SOFTWARE VERIFICATION von SHAH, PUNIT, KUMAR, SHRAWAN, AFZAL, MOHAMMAD, RAMANATHAN, Venkatesh, AKHTAR, ASIA, CHAUHAN, AVRITI, DARKE, PRIYANKA, SHAH, TANHA, CHIMDYALWAR, BHARTI, DATAR, ADVAITA

Volltext bestellen

Patent

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
6

Efficiently Finding Adversarial Examples with DNN Preprocessing von Chauhan, Avriti, Afzal, Mohammad, Karmarkar, Hrishikesh, Elboher, Yizhak, Kumar, Madhukar, Katz, Guy

Veröffentlicht in arXiv.org

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
7

System and method for software verification von Afzal, Mohammad, Chauhan, Avriti, Shah, Punit, Datar, Advaita, Akhtar, Asia, Ramanathan, Venkatesh, Shah, Tanha, Kumar, Shrawan, Darke, Priyanka, Chimdyalwar, Bharti

Volltext bestellen

Patent

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
8

SYSTEM AND METHOD FOR SOFTWARE VERIFICATION von DARKE, Priyanka, CHAUHAN, Avriti, RAMANATHAN, Venkatesh, DATAR, Advaita, KUMAR, Shrawan, SHAH, Tanha, CHIMDYALWAR, Bharti, AKHTAR, Asia, SHAH, Punit, AFZAL, Mohammad

Volltext bestellen

Patent

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
9

SYSTEM AND METHOD FOR SOFTWARE VERIFICATION von SHAH, PUNIT, KUMAR, SHRAWAN, AFZAL, MOHAMMAD, RAMANATHAN, Venkatesh, AKHTAR, ASIA, CHAUHAN, AVRITI, DARKE, PRIYANKA, SHAH, TANHA, CHIMDYALWAR, BHARTI, DATAR, ADVAITA

Volltext bestellen

Patent

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in: