Using PVS to Prove Properties of Systems Modelled in a Synchronous Dataflow Language. - Sanjai Rayadurgam; Anjali Joshi; Mats Per Erik Heimdahl (ICFEM, 2003)

Model-Based Safety Analysis of Simulink Models Using SCADE Design Verifier. - Anjali Joshi; Mats Per Erik Heimdahl (SAFECOMP, 2005)

Behavioral Fault Modeling for Model-based Safety Analysis. - Anjali Joshi; Mats Per Erik Heimdahl (HASE, 2007)

Medical Image Registration Using Genetic Algorithm. - V. T. Ingole; C. N. Deshmukh; Anjali Joshi; Deepak Shete (ICETET, 2009)

Primum Non Nocere: Healthcare In The Digital Age. - Anjali Joshi (WSDM, 2017)

Fusion-based Representation Learning Model for Multimode User-generated Social Network Content. - R. John Martin; Rajvardhan Oak; Mukesh Soni; V. Mahalakshmi; Arsalan Muhammad Soomar; Anjali Joshi (ACM J. Data Inf. Qual., 2023)

Deep learning model to detect deceptive generative adversarial network generated images using multimedia forensic. - Haewon Byeon; Mohammad Shabaz; Kapil Shrivastava; Anjali Joshi; Ismail Keshta; Rajvardhan Oak; Pavitar Parkash Singh; Mukesh Soni (Comput. Electr. Eng., 2024)

Formally Verified Cloud-Scale Authorization. - Aleks Chakarov; Jaco Geldenhuys; Matthew Heck; Michael Hicks 001; Sam Huang; Georges-Axel Jaloyan; Anjali Joshi; K. Rustan M. Leino; Mikael Mayer; Sean McLaughlin; Akhilesh Mritunjai; Clément Pit-Claudel; et al. (ICSE, 2025)

Verified Foundations for Differential Privacy. - Markus de Medeiros; Muhammad Naveed; Tancrède Lepoint; Temesghen Kahsai; Tristan Ravitch; Stefan Zetzsche; Anjali Joshi; Joseph Tassarotti; Aws Albarghouthi; Jean-Baptiste Tristan (Proc. ACM Program. Lang., 2025)

Optimizing energy and latency trade-offs in mobile ultra-dense IoT networks within futuristic smart vertical networks. - Venkata Chunduri 001; Atul Kumar; Anjali Joshi; Soumya Ranjan Jena; Akbar Jumaev; Sujeet More (Int. J. Data Sci. Anal., 2025)