AD Scientific Index
 Open Nav
Login Login Pricing & Plans Pricing & Plans
Pallab Dasgupta

Pallab Dasgupta

Indian Institute of Technology IIT Kharagpur - Kharagpur / India
Engineering & Technology / Computer Science
AD Scientific Index ID: 428309
ইন্ডিয়ান ইনস্টিটিউট অফ টেকনোলজি, খড়গপুর
person_outline Pallab Dasgupta's MOST POPULAR ARTICLES
1-) Synthesis of system verilog assertions Proceedings of the Design Automation & Test in Europe Conference 2, 1-6, 2006
2-) Identification of test cases for automated driving systems using bayesian optimization 2019 IEEE Intelligent Transportation Systems Conference (ITSC), 1961-1967, 2019
3-) A roadmap for formal property verification A Roadmap for Formal Property Verification, 217-241, 2006
4-) Policy based security analysis in enterprise networks: A formal approach IEEE Transactions on Network and Service Management 7 (4), 231-243, 2010
5-) Policy based security analysis in enterprise networks: A formal approachP Bera, SK Ghosh, P DasguptaIEEE Transactions on Network and Service Management 7 (4), 231-243, 2010492010