The JBBA Editorial Board spans across 23 countries, including nine US States, and is one of the largest networks of Blockchain academics working at some of the most prestigious institutions in the World. Prof. Shukla currently is the editor-in-chief of ACM Transactions on Embedded Computing Systems, and an associate editor of ACM Transactions on Cyber Physical Systems.
National Health Mission(NHM) website hacked.

August 2018: The paper "Using Probabilistic Model Checking for Dynamic Power Management" is one of 5 selected to "highlight important developments for the scientific community" as part of the 30-year anniversary of the journal Formal Aspects of Computing.
The paper bibiliography: Gethin Norman, David Parker, Marta Kwiatkowska, Sandeep Shukla and Rajesh Gupta. Using Probabilistic Model Checking for Dynamic Power Management. Formal Aspects of Computing, 17(2), pages 160-176, Springer-Verlag. August 2005.August 2018: The paper "Using Probabilistic Model Checking for Dynamic Power Management" is one of 5 selected to "highlight important developments for the scientific community" as part of the 30-year anniversary of the journal Formal Aspects of Computing.
The paper bibiliography: Gethin Norman, David Parker, Marta Kwiatkowska, Sandeep Shukla and Rajesh Gupta. Using Probabilistic Model Checking for Dynamic Power Management. Formal Aspects of Computing, 17(2), pages 160-176, Springer-Verlag. August 2005.

This site is under Maintenance