Arunabh Chattopadhyay

According to our database, Arunabh Chattopadhyay authored at least 7 papers between 2010 and 2019.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2019

Formal Methods Assisted Training of Safe Reinforcement Learning Agents.

Anitha Murugesan, Mohammad Moghadamfalahi, Arunabh Chattopadhyay

Proceedings of the NASA Formal Methods - 11th International Symposium, 2019

2016

Contract-Based Verification of Complex Time-Dependent Behaviors in Avionic Systems.

Devesh Bhatt, Arunabh Chattopadhyay, Wenchao Li, David Oglesby, Sam Owre, Natarajan Shankar

Proceedings of the NASA Formal Methods - 8th International Symposium, 2016

2013

Electric vehicle smart charging and vehicle-to-grid operation.

Siddhartha Mal, Arunabh Chattopadhyay, Albert Yang, Rajit Gadh

Int. J. Parallel Emergent Distributed Syst., 2013

2012

Modeling an Radio Frequency Identification Asset Management Solution Hosted on a Cloud Service and Its Characterization.

Arunabh Chattopadhyay, Jérémy Stentz, Rajit Gadh

J. Comput. Inf. Sci. Eng., 2012

2011

Web based RFID asset management solution established on cloud services.

Arunabh Chattopadhyay, B. S. Prabhu, Rajit Gadh

Proceedings of the 2011 IEEE International Conference on RFID-Technologies and Applications, 2011

2010

Planetary-Scale RFID Services in an Age of Uberveillance.

Katina Michael, George Roussos, George Q. Huang, Arunabh Chattopadhyay, Rajit Gadh, B. S. Prabhu, Chi-Cheng Peter Chu

Proc. IEEE, 2010

Feasibility study through design and implementation of a web services based RFID solution.

Arunabh Chattopadhyay

Proceedings of the Eigth Annual IEEE International Conference on Pervasive Computing and Communications, 2010