A translation of Statecharts to Esterel SA Seshia, RK Shyamasundar, AK Bhattacharjee, SD Dhodapkar FM’99—Formal Methods: World Congress on Formal Methods in the Development …, 1999 | 47 | 1999 |
Activity diagrams: A formal framework to model business processes and code generation AK Bhattacharjee, RK Shyamasundar Journal of Object Technology 8 (1), 189-220, 2009 | 38 | 2009 |
Securing a cyber physical system in nuclear power plants using least square approximation and computational geometric approach HL Gawand, AK Bhattacharjee, K Roy Nuclear Engineering and Technology 49 (3), 484-494, 2017 | 28 | 2017 |
IDS alerts classification using knowledge-based evaluation D Gupta, PS Joshi, AK Bhattacharjee, RS Mundada 2012 fourth international conference on communication systems and networks …, 2012 | 22 | 2012 |
Online monitoring of a cyber physical system against control aware cyber attacks HL Gawand, AK Bhattacharjee, K Roy Procedia Computer Science 70, 238-244, 2015 | 16 | 2015 |
Validated code generation for activity diagrams AK Bhattacharjee, RK Shyamasundar Distributed Computing and Internet Technology: Second International …, 2005 | 15 | 2005 |
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 |
PERTS: an environment for specification and verification of reactive systems AK Bhattacharjee, SD Dhodapkar, RK Shyamasundar Reliability Engineering & System Safety 71 (3), 299-310, 2001 | 13 | 2001 |
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 |
Automatic construction of runtime monitors for FPGA based designs P Sawhney, G Ganesh, AK Bhattacharjee 2011 International Symposium on Electronic System Design, 164-169, 2011 | 9 | 2011 |
Scriptorc: A specification language for web service choreography AK Bhattacharjee, RK Shyamasundar 2008 IEEE Asia-Pacific Services Computing Conference, 1089-1096, 2008 | 9 | 2008 |
A graphical environment for the specification and verification of reactive systems A Pasquini, AK Bhattacharjee, SD Dhodapkar, S Seshia, ... Computer Safety, Reliability and Security: 18th International Conference …, 1999 | 9 | 1999 |
Qualification of hardware description language designs for safety critical applications in nuclear power plants AK John, AK Bhattacharjee IEEE Transactions on Nuclear Science 67 (3), 502-507, 2020 | 8 | 2020 |
A system for object code validation AK Bhattacharjee, G Sen, SD Dhodapkar, K Karunakar, B Rajan, ... Formal Techniques in Real-Time and Fault-Tolerant Systems: 6th International …, 2000 | 8 | 2000 |
A novel collaborative platform for document management S Singhal, JJ Kulkarni, P Chand, AK Bhattacharjee Proceedings of the 7th India Software Engineering Conference, 1-6, 2014 | 7 | 2014 |
Confirmation of theoretical results regarding control theoretic cyber attacks on controllers H Gawand, AK Bhattacharjee, K Roy IFAC Proceedings Volumes 46 (32), 702-707, 2013 | 7 | 2013 |
Real time jitters and cyber physical system H Gawand, AK Bhattacharjee, K Roy 2014 International Conference on advances in computing, communications and …, 2014 | 6 | 2014 |
Control aware techniques for protection of industrial control system H Gawand, AK Bhattacharjee, K Roy 2014 Annual IEEE India Conference (INDICON), 1-6, 2014 | 5 | 2014 |
High capacity reversible data hiding using IWT T Meenpal, AK Bhattacharjee 2011 International Symposium on Electronic System Design, 352-357, 2011 | 4 | 2011 |