Minal Suresh Patil
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2023–2025
Best venue rank
C
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | NeSy | Generating Safety-Critical Automotive C-programs using LLMs with Formal Verification. | Merlijn Sevenhuijsen, Minal Suresh Patil, Mattias Nyberg, Gustav Ung |
| 2024 | IJCNN | Enhancing Vulnerable Class Robustness in Adversarial Machine Learning. | Minal Suresh Patil, Kary Frmling |
| 2024 | VECoS | Towards Specification-Driven LLM-Based Generation of Embedded Automotive Software. | Minal Suresh Patil, Gustav Ung, Mattias Nyberg |
| 2023 | ICANN | Improving Neural Network Verification Efficiency Through Perturbation Refinement. | Minal Suresh Patil, Kary Frmling |