Immad Naseer

Publication Activity (10 Years)

Years Active: 2008-2021
Publications (10 Years): 2

Top Topics

Formal Verification

Mobile Services

Dynamic Allocation

Top Venues

Publications

Udit Agarwal, Pantazis Deligiannis, Cheng Huang, Kumseok Jung, Akash Lal, Immad Naseer, Matthew Parkinson, Arun Thangamani, Jyothi Vedurada, Yunpeng Xiao
Nekara: Generalized Concurrency Testing. ASE (2021)
Yuepeng Wang, Shuvendu K. Lahiri, Shuo Chen, Rong Pan, Isil Dillig, Cody Born, Immad Naseer, Kostas Ferles
Formal Verification of Workflow Policies for Smart Contracts in Azure Blockchain. VSTTE (2019)
Ryan M. Golbeck, Samuel Davis, Immad Naseer, Igor Ostrovsky, Gregor Kiczales
Lightweight virtual machine support for AspectJ. AOSD (2008)