| Architectural model driven dependability analysis of computer based safety system in nuclear power plant A Wakankar, A Kabra, AK Bhattacharjee, G Karmakar Nuclear Engineering and Technology 51 (2), 463-478, 2019 | 12 | 2019 |
| Automatic test case generation in model based software design to achieve higher reliability A Wakankar, AK Bhattacharjee, SD Dhodapkar, PK Pandya, K Arya 2010 2nd International Conference on Reliability, Safety and Hazard-Risk …, 2010 | 12 | 2010 |
| Formalization of sequential function chart as synchronous model in Lustre A Kabra, A Bhattacharjee, G Karmakar, A Wakankar 2012 3rd National Conference on Emerging Trends and Applications in Computer …, 2012 | 10 | 2012 |
| Formalizing timing diagram requirements in discrete duration calculus RM Matteplackel, PK Pandya, A Wakankar Software Engineering and Formal Methods: 15th International Conference, SEFM …, 2017 | 8 | 2017 |
| Dcsynth: Guided reactive synthesis with soft requirements A Wakankar, PK Pandya, RM Matteplackel Verified Software. Theories, Tools, and Experiments: 11th International …, 2020 | 7 | 2020 |
| Theories, Techniques and Tools for High Integrity Heterogeneous Embedded Systems A Wakankar PhD dissertation (Homi Bhabha National Institute, Mumbai, 2020), 2020 | 5 | 2020 |
| Logical specification and uniform synthesis of robust controllers PK Pandya, A Wakankar Proceedings of the 17th ACM-IEEE International Conference on Formal Methods …, 2019 | 5 | 2019 |
| Specification and optimal reactive synthesis of run-time enforcement shields PK Pandya, A Wakankar Information and Computation 285, 104865, 2022 | 4 | 2022 |
| DCSYNTH: Guided reactive synthesis with soft requirements for robust controller and shield synthesis A Wakankar, PK Pandya, RM Matteplackel arXiv preprint arXiv:1711.01823, 2017 | 4 | 2017 |
| SPERTS: A Tool for Development of Safety-Critical Systems S Mukade, P Sawhney, P Saxena, A Kabra, A Wakankar, KJ Ajith, ... BARC newsletter, 2023 | 3 | 2023 |
| Architecture-Centric Dependability Analysis for I&C Safety Systems in NPP: A Case Study A Wakankar, A Kabra, AK Bhattacharjee, G Karmakar Reliability, Safety and Hazard Assessment for Risk-Based Technologies …, 2020 | 3 | 2020 |
| Specification and Reactive Synthesis of Robust Controllers PK Pandya, A Wakankar arXiv preprint arXiv:1905.11157, 2019 | 1 | 2019 |
| DCSYNTH: A tool for guided reactive synthesis with soft requirements A Wakankar, PK Pandya, RM Matteplackel CoRR, abs/1903.03991, 2019 | 1 | 2019 |
| Formal Model Based Methodology for Developing controllers for Nuclear Applications A Wakankar, R Mitra, AK Bhattacharjee, SV Shrikhande, SD Dhodapkar, ... Proceedings of 20th IEEE International Symposium on Software Reliability …, 2009 | 1 | 2009 |
| Development of Safety-Critical Systems: Architecture and Software G Karmakar, A Wakankar, A Kabra, P Pandya Springer Nature, 2023 | | 2023 |
| Software Development Process G Karmakar, A Wakankar, A Kabra, P Pandya Development of Safety-Critical Systems: Architecture and Software, 75-141, 2023 | | 2023 |
| Formal Modeling, Verification and Automated Synthesis G Karmakar, A Wakankar, A Kabra, P Pandya Development of Safety-Critical Systems: Architecture and Software, 219-274, 2023 | | 2023 |
| Qualification of Safety System Software G Karmakar, A Wakankar, A Kabra, P Pandya Development of Safety-Critical Systems: Architecture and Software, 195-218, 2023 | | 2023 |
| System Architecture and Dependability G Karmakar, A Wakankar, A Kabra, P Pandya Development of Safety-Critical Systems: Architecture and Software, 17-74, 2023 | | 2023 |
| Complying with Standards and Guides G Karmakar, A Wakankar, A Kabra, P Pandya Development of Safety-Critical Systems: Architecture and Software, 143-193, 2023 | | 2023 |
Paritosh PandyaAdjunct Professor, CSE, IIT Bombay, Former Professor and Dean, STCS, TIFREmail verificata su tifr.res.in
