A.K. Bhattacharjee
Cited by
Cited by
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
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
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
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
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
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
Validated code generation for activity diagrams
AK Bhattacharjee, RK Shyamasundar
Distributed Computing and Internet Technology: Second International …, 2005
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
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
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
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
Scriptorc: A specification language for web service choreography
AK Bhattacharjee, RK Shyamasundar
2008 IEEE Asia-Pacific Services Computing Conference, 1089-1096, 2008
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
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
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
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
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
Real time jitters and cyber physical system
H Gawand, AK Bhattacharjee, K Roy
2014 International Conference on advances in computing, communications and …, 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
High capacity reversible data hiding using IWT
T Meenpal, AK Bhattacharjee
2011 International Symposium on Electronic System Design, 352-357, 2011
The system can't perform the operation now. Try again later.
Articles 1–20