| Coordinated scheduling of thermostatically controlled real-time systems under peak power constraint G Karmakar, A Kabra, K Ramamritham 2013 IEEE 19th Real-Time and Embedded Technology and Applications Symposium …, 2013 | 41 | 2013 |
| Maintaining thermal comfort in buildings: feasibility, algorithms, implementation, evaluation G Karmakar, A Kabra, K Ramamritham Real-Time Systems 51, 485-525, 2015 | 15 | 2015 |
| 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 | 13 | 2019 |
| 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 |
| Energy-aware thermal comfort-band maintenance scheduling under peak power constraint G Karmakar, A Kabra 2013 IEEE Recent Advances in Intelligent Computational Systems (RAICS), 122-127, 2013 | 9 | 2013 |
| A structured text to MISRA-C translator and issues with IEC 61131-3 standard A Kabra, G Karmakar, RK Patil Proceedings of 2012 IEEE 17th International Conference on Emerging …, 2012 | 8 | 2012 |
| A review of defences against common cause failures in reactor protection systems M Kumar, A Kabra, G Karmakar, PP Marathe 2015 4th International Conference on Reliability, Infocom Technologies and …, 2015 | 7 | 2015 |
| ST to MISRA-C translator and proposed changes in IEC61131-3 standard A Kabra, G Karmakar, J Joseph International Journal of Information and Electronics Engineering 2 (4), 575, 2012 | 6 | 2012 |
| Sensitivity analysis of safety system architectures A Kabra, G Karmakar, M Kumar, PP Marathe 2015 International Conference on Industrial Instrumentation and Control …, 2015 | 5 | 2015 |
| Dependability analysis of proposed I&C architecture for safety systems of a large PWR A Kabra, M Kumar, G Karmakar, PP Marathe, AP Tiwari Symposium on Advances in Control & Instrumentation (SACI-2014) 24, 26, 2014 | 4 | 2014 |
| Partitioned environment for Programmable Controller in safety applications G Karmakar, A Kabra, RK Patil, K Ramamritham Proceedings of 2012 IEEE 17th International Conference on Emerging …, 2012 | 4 | 2012 |
| Introduction J Vilar | 4 | 2012 |
| 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 |
| 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 |
