Amol Wakankar

Bhabha Atomic Research Centre - /

Others

AD Scientific Index ID: 5637476

Registration, Add Profile,
Premium Membership

Print Your Certificate

Amol Wakankar's MOST POPULAR ARTICLES

1-) Architectural model driven dependability analysis of computer based safety system in nuclear power plantA Wakankar, A Kabra, AK Bhattacharjee, G KarmakarNuclear Engineering and Technology 51 (2), 463-478, 2019142019

2-) Automatic test case generation in model based software design to achieve higher reliabilityA Wakankar, AK Bhattacharjee, SD Dhodapkar, PK Pandya, K Arya2010 2nd International Conference on Reliability, Safety and Hazard-Risk …, 2010122010

3-) Formalization of sequential function chart as synchronous model in LustreA Kabra, A Bhattacharjee, G Karmakar, A Wakankar2012 3rd National Conference on Emerging Trends and Applications in Computer …, 2012102012

4-) Formalizing timing diagram requirements in discrete duration calculusRM Matteplackel, PK Pandya, A WakankarSoftware Engineering and Formal Methods: 15th International Conference, SEFM …, 201782017

5-) Dcsynth: Guided reactive synthesis with soft requirementsA Wakankar, PK Pandya, RM MatteplackelVerified Software. Theories, Tools, and Experiments: 11th International …, 202072020

ARTICLES

Add your articles