Anjali Joshi

13 papers A* 1A 1B 2C 1Journal 6Unranked 2
YearRankTypeTitle / Venue / Authors
2025 A* conf
Formally Verified Cloud-Scale Authorization.
ICSE
Aleks Chakarov, Jaco Geldenhuys, Matthew Heck, Michael Hicks, Sam Huang, Georges-Axel Jaloyan, Anjali Joshi, K. Rustan M. Leino, Mikael Mayer, Sean McLaughlin, Akhilesh Mritunjai, Clément Pit-Claudel, Sorawee Porncharoenwase, Florian Rabe, Marianna Rapoport, Giles Reger, Cody Roux, Neha Rungta, Robin Salkeld, Matthias Schlaipfer, Daniel Schoepe, Johanna Schwartzentruber, Serdar Tasiran, Aaron Tomb, Emina Torlak, Jean-Baptiste Tristan, Lucas G. Wagner, Michael W. Whalen, Remy Willems, Tongtong Xiang, Tae Joon Byun, Joshua M. Cohen, Ruijie Fang, Junyoung Jang, Jakob Rath, Hira Taqdees Syeda, Dominik Wagner, Yongwei Yuan
2025 J jnl
Optimizing energy and latency trade-offs in mobile ultra-dense IoT networks within futuristic smart vertical networks.
Int. J. Data Sci. Anal.
Venkata Chunduri, Atul Kumar, Anjali Joshi, Soumya Ranjan Jena, Akbar Jumaev, Sujeet More
2025 B conf
Static Coverage in Deductive Software Verification.
FMCAD
Aaron Tomb, Anjali Joshi
2025 J jnl
Verified Foundations for Differential Privacy.
Proc. ACM Program. Lang.
Markus de Medeiros, Muhammad Naveed, Tancrède Lepoint, Temesghen Kahsai, Tristan Ravitch, Stefan Zetzsche, Anjali Joshi, Joseph Tassarotti, Aws Albarghouthi, Jean-Baptiste Tristan
2024 J jnl
Deep learning model to detect deceptive generative adversarial network generated images using multimedia forensic.
Comput. Electr. Eng.
Haewon Byeon, Mohammad Shabaz, Kapil Shrivastava, Anjali Joshi, Ismail Keshta, Rajvardhan Oak, Pavitar Parkash Singh, Mukesh Soni
2024 J jnl
Verified Foundations for Differential Privacy.
CoRR
Markus de Medeiros, Muhammad Naveed, Tancrède Lepoint, Temesghen Kahsai, Tristan Ravitch, Stefan Zetzsche, Anjali Joshi, Joseph Tassarotti, Aws Albarghouthi, Jean-Baptiste Tristan
2024 J jnl
Verified Foundations for Differential Privacy.
IACR Cryptol. ePrint Arch.
Markus de Medeiros, Muhammad Naveed, Tancrède Lepoint, Temesghen Kahsai, Tristan Ravitch, Stefan Zetzsche, Anjali Joshi, Joseph Tassarotti, Aws Albarghouthi, Jean-Baptiste Tristan
2023 J jnl
Fusion-based Representation Learning Model for Multimode User-generated Social Network Content.
ACM J. Data Inf. Qual.
R. John Martin, Rajvardhan Oak, Mukesh Soni, V. Mahalakshmi, Arsalan Muhammad Soomar, Anjali Joshi
2017 A conf
Primum Non Nocere: Healthcare In The Digital Age.
WSDM
Anjali Joshi
2009 — conf
Medical Image Registration Using Genetic Algorithm.
ICETET
V. T. Ingole, C. N. Deshmukh, Anjali Joshi, Deepak Shete
2007 — conf
Behavioral Fault Modeling for Model-based Safety Analysis.
HASE
Anjali Joshi, Mats Per Erik Heimdahl
2005 B conf
Model-Based Safety Analysis of Simulink Models Using SCADE Design Verifier.
SAFECOMP
Anjali Joshi, Mats Per Erik Heimdahl
2003 C conf
Using PVS to Prove Properties of Systems Modelled in a Synchronous Dataflow Language.
ICFEM
Sanjai Rayadurgam, Anjali Joshi, Mats Per Erik Heimdahl